5k citations
- Istituto Nazionale di Fisica Nucleare, Sezione di PisaIT416 papers
- Centre National de la Recherche ScientifiqueFR414 papers
- Heidelberg UniversityDE414 papers
- University of OxfordGB410 papers
- National Institute for Subatomic PhysicsNL405 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di Roma IIT399 papers
- University of LiverpoolGB399 papers
- University of ManchesterGB398 papers
- Rutherford Appleton LaboratoryGB395 papers
- University of EdinburghGB394 papers
- Sorbonne UniversitéFR389 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR383 papers
75 papers · 1 filter
ADD-Lib: Decision Diagrams in Practice
Frederik Gossen, Alnis Murtovi, Philip Zweihoff +1
In the paper, we present the ADD-Lib, our efficient and easy to use framework for Algebraic Decision Diagrams (ADDs). The focus of the ADD-Lib is not so much on its efficient imple…
Aggressive Aggregation: a New Paradigm for Program Optimization
Frederik Gossen, Marc Jasper, Alnis Murtovi +1
In this paper, we propose a new paradigm for program optimization which is based on aggressive aggregation, i.e., on a partial evaluation-based decomposition of acyclic program fra…
Large Random Forests: Optimisation for Rapid Evaluation
Frederik Gossen, Bernhard Steffen
Random Forests are one of the most popular classifiers in machine learning. The larger they are, the more precise is the outcome of their predictions. However, this comes at a cost…
Experience Report: Towards Moving Things with Types -- Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis
Jan Bessai, Moritz Roidl, Anna Vasileva
One of the ultimate goals of software engineering is to leave virtual spaces and move real things. We take one step toward supporting users with this goal by connecting a type-base…
Asymptotic Unbiasedness of the Permutation Importance Measure in Random Forest Models
Burim Ramosaj, Markus Pauly
Variable selection in sparse regression models is an important task as applications ranging from biomedical research to econometrics have shown. Especially for higher dimensional r…
A complete update of in the Standard Model
V. Cirigliano, H. Gisbert, A. Pich +1
The recent release of improved lattice data has revived again the interest on precise theoretical calculations of the direct CP-violation ratio . We prese…