Sort by
Refine Your Search
-
factors should commonly interact to drive plant fitness and potential shifts in specific range positions (e.g., margins or center) under a changing climate, yet correlative-based SDMs lack a formal method
-
Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | 1 day ago
repeated over several trials (to collect multiple samples) before making a decision. For these applications, statistical methods for hypothesis testing and estimation are needed, with formal guarantees
-
density functional to ab initio methods coupled to effective field theory) and related numerical and formal techniques. We are particularly fond of interdisciplinary connections and emerging technologies
-
of 3D crystalline structures; – depending on the candidate's profile, implementing machine learning methods (AI & machine learning) for the analysis of physicochemical data from the hpmat.org database
-
SD-26085 POSTDOCTORAL RESEARCHER IN THE OXIDATIVE CHEMICAL VAPOR DEPOSITION OF FUNCTIONAL BUILDIN...
in their decisions and businesses in their strategies. Do you want to know more about LIST? Check our website: https://www.list.lu/ How will you contribute? The CLEANH3 project investigates the gas
-
complex and performance-oriented features, present a large attack surface that traditional verification techniques—such as formal methods—struggle to cover. To effectively mitigate this growing threat
-
applications for a postdoctoral position on logical foundations and formal methods for quantum programming languages. Topics of interest (non-exhaustive) : • Models of quantum computation (λ-calculi, term
-
track record on one of the following research areas: Trustworthy AI AI for formal methods Formal methods for AI The successful candidate will participate in the activities of the research group led by
-
the formal and functional properties of gestures and their relationship to discourse. - Support for computational modeling: o Contributing to the gesture–speech modeling carried out by Loria, based
-
(HORIZON-INFRA-2024-TECH-01-01 – R&D for the next generation of scientific instrumentation, tools, methods, and solutions for RI upgrade), this position focuses on data curation activities under Work Package