Search
Multifractals and metric theory of Diophantine Approximation – MUTADIS
Multifractals and metric theory of Diophantine Approximation
Polish groups and Continuous logic – Grupoloco
Our proposal is mainly concerned with the interactions of Descriptive Set Theory and Continuous Logic, and applications of the methods of these domains to various mathematical structures, in particular « large » Polish groups.
Liquidity effects, risk control and BSDEs – LIQUIRISK
From the financial point of view, the purpose of this proposal is to take into consideration liquidity market frictions and risk management constraints in hedging and optimal allocation problems. From
Contemporary Topics in Conservation Laws – CoToCoLa
Contemporary Topics in Conservation Laws<br /><br />Web site http://lmb.univ-fcomte.fr/rubrique.php3?id_rubrique=366
Weak Memory Concurrency and Verified Compilation – WMC
The WMC project investigates the formal verification of realistic compilers for concurrent dialects of the mainstram languages C and C++. It targets both the x86 and Power/ARM architectures, which require radically different compilation strategies and proof methods. In addition it studies the design and correctness proofs of novel compile-time optimisations for these languages and compilers.<br />
Learning with Multi-objective OptimizatioN – LEMON
he LeMOn project is an academic project with strong potential repercussions in many application domains. It takes place at the frontiers between three research communities that strongly interplay : ma
Specification of GRAPHIcal Visual Instructional Design Languages centered on LMS languages and directed towards Teachers-designers needs and practices – GRAPHIT
Practitioners using existent Learning Management Systems within their academic organizations ask for appropriate tools helping them in focusing on the design of learning situations. <br />Current proposals rely on a same underlying idea about extending LMSs by large add-ons (editors or runtime engines) and new semantics. On the contrary, we suggest to exploit the LMS implicit learning design language in order to allow the elaboration of external, well- suited and dedicated authoring tools.
Implicit Models and Meshes – IM&M
We propose to study and develop simple to implement, intuitive and robust tools for modeling tridimensional objects. A substantial impact on the general public is the access to both the expression via the creation and the animation of tridimensional virtual objects, and the free creation of real objects using, for instance, 3D printers.
Verification of Indistinguishability Properties – VIP
1. Modelling protocols and their privacy properties.<br />2. Algorithms for verifying equivalence-based properties.<br />3. Modularity issues.<br />