Using GORE method for Requirement Engineering of Planning & Scheduling Javier Martnez Silva Department of Mechatronics Engineering University of S˜ao Paulo, S˜ao Paulo, Brazil, Professor Morais, 2231

Source URL: icaps16.icaps-conference.org

• Software engineering
• Computing
• Software requirements
• Modeling languages
• Systems engineering
• Systems analysis
• Enterprise modelling
• KAOS
• Planning Domain Definition Language
• I*
• Diagram
• Use case

66 IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOL. 46, NO. 1, FEBRUARY 2016 The GRASP Taxonomy of Human Grasp Types Thomas Feix, Javier Romero, Heinz-Bodo Schmiedmayer, Aaron M. Dollar, and Danica Kragic

Source URL: www.is.mpg.de

• Metaphysics
• Learning
• Child development
• Grasp
• Ontology
• Aptitude
• Motor control
• Motor skills
• Palmar grasp reflex
• Fine motor skill
• Thumb
• Taxonomy

Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates Javier Larrosa, Robert Nieuwenhuis, Albert Oliveras, Enric Rodr´ıguez-Carbonell? Abstract. We consider optimization problems of th

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Mathematics
• Formal methods
• Mathematical logic
• Boolean algebra
• Boolean satisfiability problem
• Electronic design automation
• Logic in computer science
• Resolution
• COMPASS/Sample Code
• BCD

Semiring-Induced Propositional Logic: Definition and Basic Algorithms ∗ † Javier Larrosa, Albert Oliveras and Enric Rodr´ıguez-Carbonell Technical University of Catalonia Barcelona, Spain larrosa,oliveras,erodri@ls

Source URL: www.lsi.upc.edu

• Mathematics
• Theoretical computer science
• Automated theorem proving
• Algebra
• Logic in computer science
• Algebraic structures
• Semiring
• Boolean satisfiability problem
• DPLL algorithm
• Unit propagation
• Maximum satisfiability problem
• Resolution

MiniMaxSat: a New Weighted Max-SAT Solver Federico Heras, Javier Larrosa, and Albert Oliveras Universitat Politecnica de Catalunya, Jordi Girona 1-3, 08034 Barcelona, Spain Abstract. In this paper we introduce M INI M A

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Mathematics
• Computational complexity theory
• Logic in computer science
• Automated theorem proving
• Boolean algebra
• NP-complete problems
• Combinatorial optimization
• Maximum satisfiability problem
• Boolean satisfiability problem
• Resolution
• Unit propagation

Synthesis and verification of self-aware systems Radu Calinescu, Marco Autili, Javier C´amara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Kwiatkowska

Source URL: qav.comlab.ox.ac.uk

• Computing
• Electronic engineering
• Theoretical computer science
• Electronic design automation
• Service choreography
• Formal verification
• Orchestration
• Autonomic computing
• Transition
• Business Process Execution Language
• High-level synthesis
• Systems engineering

PDF Document

Source URL: javier.fresan.perso.math.cnrs.fr

The pressure towards mutualism in information ecosystems Javier Borge-Holthoefer Carlos Gracia-Lazaro

Source URL: www.jbh.cat

Peregrine: A Tool for the Analysis of Population Protocols ? Michael Blondin[0000−0003−2914−2734] , Javier Esparza[0000−0001−9862−4919] , and Stefan Jaax[0000−0001−5789−8091] Technische Universit¨ at M

Source URL: www7.in.tum.de

HDTQ: Managing RDF Datasets in Compressed Space Javier D. Fern´andez1,2 , Miguel A. Mart´ınez-Prieto3 , Axel Polleres1,2,4 , and Julian Reindorf1 1

Source URL: aic.ai.wu.ac.at