Have you ever wondered what is the secret sauce of Scala.js? What defines Scala.js, above all else, is the overarching will to make it cross-platform. A cross-platform language is both portable-most source code cross-compiles and behaves the same way on mu ...
The discovery of new homogeneous catalysts that preferentially form one product over another in regio- or enantioselective chemical reactions has traditionally been the province of experimental chemists. Today, computational-based approaches have carved an ...
Teaching and learning support for bioinformatics has become a popular research area. Proteomics education can be bridged with technology enhancements such that tool support for protein structures experiments. Generally, students in proteomics require diffe ...
In a previous research, a tool integrating the HAZOP analysis method and Coloured Petri Net formalism to support the analysis carried out by specialists during a HAZOP brainstorming session has been provided. In that work, the tool was used to simulate the ...
We propose a conditional gradient framework for a composite convex minimization template with broad applications. Our approach combines the notions of smoothing and homotopy under the CGM framework, and provably achieves the optimal O(1/sqrt(k)) convergenc ...
Programming languages are increasingly compiled to multiple runtimes, each featuring their own rich structures such as their object model.
Furthermore, they need to interact with other languages targeting said runtimes.
A language targeting only one runtim ...
Our work addresses the problem of placement of threads, or virtual cores, onto physical cores in a multicore NUMA system. Different placements result in varying degrees of contention for shared resources, so choosing the right placement can have a large ef ...
This dissertation discusses algorithmic verification techniques for concurrent component-based systems modeled in the Behavior-Interaction-Priority (BIP) framework with both bounded and unbounded concurrency. BIP is a component framework for mixed software ...
The computing platform (OSMOSELua) has been developed in the Industrial Process and Energy Systems Engineering group IPESE at EPFL as a flexible and robust tool for the design of complex integrated energy systems. The decision tool has been developed using ...
