GitHub

EasyCrypt: Computer-Aided Cryptographic Proofs

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, ...
LJMU

BSc (Hons) Computer Science with Foundation Year

The BSc (Hons) Computer Science with Foundation Year at Liverpool John Moores University is the ideal course if you are interested in this subject but lack the necessary qualifications to study it at ...
C&EN

Computer-Aided Retrosynthesis for Greener and Optimal Total Synthesis of a Helicase-Primase Inhibitor Active Pharmaceutical Ingredient

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 ...
Frontiers

A Review of Stochastic Programming Methods for Optimization of Process Systems Under Uncertainty

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 ...
C&EN

Drug Design Workshop: A Web-Based Educational Tool To Introduce Computer-Aided Drug Design to the General Public

† 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 ...