Institute for Computational Mathematics
Research topics
Our main research areas are the following: numerical linear algebra,
numerical integration, foundations of parallel and distributed computing,
computational complexity, computational biology and other interdisciplinary
applications.
Numerical Analysis
Contributors: P. Favati, G. Del Corso, M. Leoncini, and G. Manzini.
-
Numerical Integration;
-
Numerical Linear Algebra;
-
Sparse Matrix Computations.
We have active collaborat
ions with B.N. Datta, Northern Illinois University,
Dekalb IL USA (numerical problems in control theory), with R. Bru and his
group, Universidad Politecnica de Valencia (linear algebra primitives for
universal networks), and with several researchers at Pisa University and
Parma University (numerical integration).
Algorithms and Complexity
Contributors: B. Codenotti, M. Pellegrini, G. Resta, L. Margara,
A. Bernasconi, and D. Finocchiaro.
-
Complexity of Boolean Functions;
-
Complexity of Linear Algebra Problems;
-
Stability and Complexity;
-
Communication Complexity;
-
Program Checking;
-
Computational Geometry;
-
Efficient Heuristics for NP-hard problems.
We have active collaborations with P. Gemmell, Sandia National Laboratories,
Albuquerque, NM (program checking) and J. Simon, University of Chicago
(distributed computing and complexity of boolean functions).
Parallel and Distribu
ted Computing
Contributors: B. Codenotti, M. Leoncini, and G. Resta.
-
Parallel Machine Models;
-
Primitive Operations on Parallel Machines;
-
Stability and Parallel Computing;
-
Parallel Algorithms for Linear Algebra;
-
Distributed Search Techniques.
We have active collaborations with I. Bar-On, Technion, Haifa, (parallel
algorithms for Linear Algebra), with G. Bilardi, University of Padova (universal
networks, theory of
parallel machines), with G. Cybenko, Dartmouth College,
NH, USA, F. Preparata, Brown University, RI, USA (distributed computing),
and with A. Segre, The University of Iowa, Iowa City, (distributed algorithms
for protein structure prediction). Part of these activities are founded
by a BRA ESPRIT project.
Computational Biology
Contributors: B. Codenotti, M. Leoncini, M. Pellegrini, A. Bernasconi,
G. Resta.
-
Protein Structure Prediction;
-
Residue Packing.
We have active collaborations with A. Segre, The University of Iowa, Iowa
City, (distributed algorithms for protein structure prediction).
Wireless Ad Hoc Networks
Contributors: P. Santi, G. Resta, G. De Marco, M. Leoncini
-
Characterization of connectivity and coverage properties;
-
Analysis of network lifetime;
-
Topology control algotithms;
-
Fault diagnosis in ad hoc networks
We have active collaboratio
ns with Doug Blough, Georgia Institute of Technology,
Atlanta, (connectivity and coverage properties, network lifetime and topology
control algorithms) and Stefano Basagni, University of Texas, Dallas (analysis
of network lifetime).
Interdisciplinary Applications
Contributors: L. Margara, G. Manzini, M. Pellegrini, and G. Resta.
-
Chaos in Discrete Models;
-
Models for Biological Applications;
-
Data Compression.
We have acti
ve collaborations with the CNR Institute for Neurophysiology
in Pisa and with Johns Hopkins University. Other activities started in
1995.
Back to IMC home page