The problem of evaluating a function by sequentially testing a subset of variables whose values uniquely identify the function's value arises in several domains of computer science.A typical example is from the field of automatic diagnosis in Artificial Intelligence. Automatic diagnosis systems employ a sequence of tests and based on their outco...
Creator:
Cicalese, Ferdinando (Università di Salerno)
Created:
2012-02-15
Contributed By:
University of Minnesota, Institute for Mathematics and its Applications.
We present the need (especially critical for multiscale simulations) of extending standard equilibrium Molecular Dynamics to nonequilibrium situations. We show how this is possible in full rigor by use of the nonlinear Kubo-Onsager relation, connecting dynamical nonequilibrium averages to equilibrium (more genarally, initial distribution) averag...
Creator:
Ciccotti, Giovanni (Università di Roma 'La Sapienza')
Created:
2009-05-19
Contributed By:
University of Minnesota, Institute for Mathematics and its Applications.
The Burer-Monteiro method is one of the most widely used techniques for solving large-scale semidefinite programs (SDP). The basic idea is to solve a nonconvex program in Y, where Y is an n×p matrix such that X = YYT. We show that this method can solve SDPs in polynomial time in a smoothed analysis setting. More precisely, we consider an S...
Creator:
Cifuentes, Diego (Massachusetts Institute of Technology)
Created:
2021-04-27
Contributed By:
University of Minnesota, Institute for Mathematics and its Applications.
The aim of this talk is to introduce a direct method allowing to solve numerically inverse type problems for linear hyperbolic equations. We first consider the reconstruction of the full solution of the equation from a partial distributed observation. We employ a least-squares technique and minimize the norm of the distance from the observation ...
Creator:
Cindea, Nicolae (Blaise Pascal University)
Created:
2016-03-24
Contributed By:
University of Minnesota, Institute for Mathematics and its Applications.