Search for a funded project
Tractable quasI-Newton non-smooth Optimization Methods for large scale Data Science – TRINOM-DS
data science, which makes this project a unique opportunity to give a scalable, computational and practical [...] proved to be extremely useful in data science, where a common trend is the deluge of large-scale multidimensional [...] data science. These algorithms will be developed in a variety of challenging settings, and are expected
Exploring the Limits of Tractability – ELIT
complexity. I.e., our aim is to tackle problems for which a sharp distinction between the "easy" and "hard" cases [...] parameterized algorithms for forbidding structures in a graph (such as minors of induced subgraphs), (2)
Combinatorics of 3D Maps – 3DMaps
purpose of this proposal is to study 3D maps, seen as a natural generalization of 2D combinatorial maps. While [...] tensor models which were recently shown to play a crucial role in theoretical physics. The second objective
F3CAS: Rethinking FPGA-Accelerated Computer Architecture Simulation for Data Storage Exploration – F3CAS
memory systems. Accordingly, this project proposes a new paradigm to build user-Friendly, Fast and Faithful [...] soft-processors to encapsulate the simulator in a software-like abstraction. The F3CAS simulation will
In situ structure of actin polymerization and cell adhesion machineries by cryo-electron tomography – CryoAdhesome
the plasma membrane through the integrin adhesome, a complex network of hundreds of interacting proteins [...] the coupling of both machineries. Podosomes present a central core of actin filaments surrounded by an adhesion [...] transmitted. 2- The composition and structure of a megadalton protein adhesion complex and its role in
Unifying Theories for Multivariate Algorithms – UTMA
Studying the tractability of computational problems is a core challenge in theoretical computer science. A central question is when, why, and how computational problems can be solved efficiently. Towards answering this question, the theory of algorithms has offered powerful unifying results, called algorithmic meta-theorems (AMTs) that provide general mathematical conditions implying the automatic derivation of efficient algorithms.
MOBILITY AND CULTURAL CONTACT IN THE SHAPING OF SOUTHERN CALIFORNIA LANDSCAPES – MeSCAL
The California coast is a worldwide biodiversity hotspot with a long and rich history of prehistoric [...] This ambitious interdisciplinary project proposes a novel approach based on the coupling of 1) high temporal [...] colonial control and hinterland areas exposed to a lesser colonial influence that may have served as
Living in between: Strategies of adaptation and horizons of expectations in Ukraine and Moldova – LimSpaces
Living with uncertainty. Strategies of adaptation and horizons of expectations in Ukraine and Moldova
Augmented prediction and analysis of massive data for the identification of key parameters controlling internal aerodynamics (ALEKCIA) – ALEKCIA
for example associated to robustness of concepts on a cycle basis, rapid variations of engine loads observed [...] transients, the occurrence of extreme cycles for a wider range of operating conditions. Numerical, e [...] internal turbulent dynamics and combustion during a cycle is affected by epistemic uncertainties. Therefore
PREdicting Solar Activity using machine learning on heteroGEneous data – PRESAGE
PREdicting Solar Activity using machine learning on heteroGEneous data