MarinEye – A prototype for multitrophic oceanic monitoring A. dos Santos, C. Magalhães, E. Silva, C. Bartilotti, C. Churro, S. Cotrim, R. Marques, A. Silva, S. M. Leandro, and the MarinEye project team Introduction

Source URL: websig.hidrografico.pt

• Workflow technology
• Pharmaceutical industry
• Validity
• Process management
• Quality
• Validation
• Workflow

On Improving MUS Extraction Algorithms Joao Marques-Silva1,2 and Ines Lynce2 1 2

Source URL: www.mancoosi.org

• Automated theorem proving
• Logic in computer science
• Propositional calculus
• Unsatisfiable core
• Boolean algebra
• Resolution
• Exponential time hypothesis
• Algorithm
• Maximum satisfiability problem
• Boolean satisfiability problem
• DavisPutnam algorithm

Abstraction-Based Algorithm for 2QBF Mikol´asˇ Janota2 and Joao Marques-Silva1,2 1 University College Dublin, Ireland 2

Source URL: www.mancoosi.org

• Logic in computer science
• Boolean algebra
• Electronic design automation
• Formal methods
• NP-complete problems
• Boolean satisfiability problem
• True quantified Boolean formula
• Maximum satisfiability problem
• Model checking
• Conjunctive normal form
• Satisfiability
• Tseytin transformation

DEMANDE D’AUTORISATION D’UTILISER DES MARQUES OFFICIELLES DÉTENUES PAR LA RÉGIE La Régie détient les huit marques officielles suivantes : Fleur de lys (graphisme d’une), Carte soleil (graphisme de la), Carte s

Source URL: www.ramq.gouv.qc.ca

1 STUDY OF HEAVY METALS AND OTHER ELEMENTS IN MACROPHYTE ALGAE USING ENERGY-DISPERSIVE X-RAY FLUORESCENCE M.L. Carvalho, J. G. Ferreira, P. Amorim, M.I.M. Marques & M.T. Ramos Running head: Elemental analysis in algae b

Source URL: www.fojo.org

• Fucales
• Spectroscopy
• X-rays
• X-ray fluorescence
• Fucus
• Heavy metal
• Energy-dispersive X-ray spectroscopy
• Fluorescence
• Brown algae
• X-ray
• Algae
• Fucus spiralis

Association of socioeconomic status with sleep disturbances in the Swiss population-based CoLaus study Silvia Stringhini1, José Haba-Rubio1, Pedro Marques-Vidal1, Gerard Waeber1, Martin Preisig1, Idris Guessous1,2, Pasc

Source URL: sph14.organizers-congress.ch

• Sleep disorders
• Sleep
• Psychiatric diagnosis
• Insomnia
• RTT
• Slow-wave sleep

Département fédéral de justice et police DFJP Institut Fédéral de la Propriété Intellectuelle IPI Révision de l’ordonnance sur la protection des marques Rapport explicatif relatif au droit d’exécution «

Source URL: www.ipi.ch

Par AIM - MaiLa préférence des consommateurs mauriciens comme avantage compétitif Les marques sont un actif très important des entreprises, si ce n’est leur plus grand actif. En effet, la marque représente

Source URL: www.analysis.im

EUROPEAN ARCHAEOLOGICAL HERITAGE PRIZE Decision The EAA Committe for the European Archaeological Heritage Prize, consisting of Teresa Marques, Portugal, Anna Maria Bietti Sestieri, Italy, and Kristian Kristiansen (chair

Source URL: www.e-a-a.org

• Paleolithic Europe
• Petroglyphs
• Prehistoric Rock-Art Site of the Ca Valley
• Prehistoric art
• Ca River
• Vila Nova de Foz Ca
• Rock art
• Douro
• Anna Maria Bietti Sestieri
• Portugal

Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem Ant´ onio Morgado and Joao Marques-Silva School of Electronics and Computer Science, University of Southampton, UK ,jpms@e

Source URL: ceur-ws.org

• Operations research
• Mathematical optimization
• Constraint programming
• Logic in computer science
• NP-complete problems
• Topology
• Satisfiability modulo theories
• Dynamic programming
• Semidefinite programming