Sort by
Refine Your Search
-
proof systems for #SAT can be seen as DNNF proofs? Can known separations between different classes of DNNF be lifted to proof systems? Which natural restrictions or extensions of DNNF lead to useful proof
-
old. The PhD will be supervised by Thibaut Louis, co-lead of the data analysis for the Simons Observatory Large Aperture Telescope, and co-supervised by Léo Vacher, co-lead of the characterization
-
states. In addition, hybridization between electronic states from different layers can significantly change the electronic band structure and lead to new physical phenomena. In this postdoctoral project
-
damage mechanisms governing shell failure. The results will lead to the development of predictive design rules and digital tools to support high-throughput investment casting strategies. In the longer term
-
-stream, etc. These instabilities can lead to wave turbulence, which modifies the macroscopic properties of the discharge (e.g., the electric current, plasma density, etc). For this reason, a better
-
knowledge of site recording and documentation methods in archaeology ; - Fluency in spoken and written English (minimum level C1); - Ability to communicate at a basic level in Arabic; - Ability to lead a team
-
(minimum level C1); - Some knowledge of spoken and written Arabic desirable.; - Ability to lead a team and to train technicians and/or students in an international linguistic and cultural context; - Proven
-
dynamics simulations to understand the growth mechanisms of thin films deposited by magnetron sputtering, with or without ion beam assistance (IBAS), particularly for metallic materials (Ag) and oxides (ZnO
-
be carried out in collaboration with Jérôme Chanut, the lead developer of the NEMO model's numerical core at Mercator Ocean International. The NEMO Research & Development team at LOCEAN investigates
-
, consequently, to function as a molecular motor. Furthermore, it exhibits unique disordered extensions within the myosin superfamily. We propose a PhD project aimed at understanding, at the atomic scale, how