EasyCrypt is a toolset for reasoning about relational properties of probabilistic computations with adversarial code. Its main application is the construction and verification of code-based, ...
Abstract: The ability to understand spatialtemporal patterns for crowds of people is crucial for achieving long-term autonomy of mobile robots deployed in human environments. The traditional ...
Creative Commons (CC): This is a Creative Commons license. Attribution (BY): Credit must be given to the creator. This study leverages and upgrades the capabilities of computer-aided retrosynthesis ...
This course is aimed at students who are interested and inspired by the new AI technologies and want to work to become a leader in meeting the challenges posed by AI and big data. This course will ...
Uncertainties are widespread in the optimization of process systems, such as uncertainties in process technologies, prices, and customer demands. In this paper, we review the basic concepts and recent ...
† Molecular Modeling Group, SIB Swiss Institute of Bioinformatics, Bâtiment Génopode, Quartier Sorge, 1015 Lausanne, Switzerland ‡ Outreach Team, SIB Swiss Institute of Bioinformatics, Bâtiment ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results