A deterministic solver for a hybrid quantum-classical transport model in nanoMOSFETs N. Ben Abdallah, M. J. C´aceres, J. A. Carrillo and F. Vecil 1,2,3,4 Abstract

Source URL: francescovecil.it

The HLLC Riemann Solver Eleuterio TORO Laboratory of Applied Mathematics University of Trento, Italy http://www.ing.unitn.it/toro

Source URL: www.prague-sum.com

Head-Count Allocation Solver Investigator: Scott E. Grasman (, Funding Source: Intel Corporation

Source URL: isc.mst.edu

Dear G30 Students, Notice for Applied Taiiku in 2016 The online system “SOLVER” for PE class (starting from spring

Source URL: www.sapec.tsukuba.ac.jp

On Solving Boolean Multilevel Optimization Problems∗ Josep Argelich INESC-ID Lisbon

Source URL: www.mancoosi.org

• Theoretical computer science
• Mathematics
• Computational complexity theory
• Operations research
• Logic in computer science
• Mathematical optimization
• NP-complete problems
• Boolean algebra
• Maximum satisfiability problem
• Boolean satisfiability problem
• Constraint satisfaction
• Solver

EasyAnalyzer: an object-oriented framework for the experimental analysis of stochastic local search algorithms? Luca Di Gaspero1 , Andrea Roli2 , and Andrea Schaerf1 1 DIEGM, University of Udine, via delle Scienze 208,

Source URL: tmancini.di.uniroma1.it

• Software engineering
• Software
• Numerical analysis
• Mathematical optimization
• Numerical software
• Distributed computing architecture
• Operations research
• Paradiseo
• Algorithm
• Solver
• Design Patterns
• User interface

ACES: A Cartographic Expert System C. Pfefferkorn, D. Burr, D. Harrison, B. Heckman, C. Oresky, and J. Rothermel ESL, Incorporated 495 Java Drive

Source URL: mapcontext.com

• Academia
• Neuropsychology
• Cognition
• Automatic label placement
• Cartographic labeling
• Problem solving
• Label
• Cartography
• Heuristic
• Solver
• Procedural knowledge
• Algorithm

A semi-Lagrangian AMR scheme for 2D transport problems in conservation form Pep Mulet, Francesco Vecil abstract In this paper, we construct a semi-Lagrangian (SL) Adaptive-Mesh-Refinement (AMR) solver

Source URL: francescovecil.it

• Mathematics
• Interpolation
• Polynomials
• Polynomial interpolation
• Lagrange polynomial
• Partition of an interval
• Cover

Boolean Lexicographic Optimization Joao Marques-Silva1 , Josep Argelich2 , Ana Grac¸a3 , and Inˆes Lynce3 1 2 CSI/CASL, University College Dublin, Ireland

Source URL: ceur-ws.org

• Theoretical computer science
• Mathematics
• Mathematical optimization
• Numerical analysis
• Combinatorial optimization
• Operations research
• Constraint programming
• Logic in computer science
• Maximum satisfiability problem
• Linear programming
• Constrained optimization
• Solver

A SAT-based Method for Solving the Two-dimensional Strip Packing Problem Takehide Soh1 , Katsumi Inoue12 , Naoyuki Tamura3 , Mutsunori Banbara3 , and Hidetomo Nabeshima4 1

Source URL: ceur-ws.org

• Theoretical computer science
• Computational complexity theory
• Mathematics
• Constraint programming
• Numerical software
• Automated theorem proving
• DPLL algorithm
• Packing problems
• Solver
• Constraint satisfaction
• Reduction
• Algorithm