A U G U S T 2018 V O LU ME 76, N U MB E R 8 Monitoring the State’s Economy ECONOMY AT A GLANCE

Source URL: www.mississippi.edu

A Practical Application of Blockchain for the Travel Industry _ã É ™ÂК¿š±³É £š±ÉÐÂЭÿ éÐ £É™Â ¬ ß ÉŸ ÉŸǵšÐÈÜ£é³é³ø£ǵéߍø£ÂǵŸ³ãéß³™îé³ÐÉǵȍ߿

Source URL: windingtree.com

Coping with Inconsistent Databases Semantics, Algorithms, and Complexity Phokion G. Kolaitis University of California Santa Cruz and

Source URL: sat2016.labri.fr

• Database theory
• Computing
• Data management
• Information science
• Conjunctive query
• Relational model
• Boolean conjunctive query
• Relational database
• FO
• Functional dependency
• Query language

Breaking down the EIP-999 debate Pros, Cons… and e v e r y t h i n g in b e t w e e n. Where it all starts: The Parity Hack

Source URL: edcon.io

• Cryptocurrencies
• Blockchains
• Ethereum
• Cross-platform software
• Alternative currencies
• Concurrent computing
• Distributed computing
• Smart contract
• EIP
• Computing
• Ethereum Classic

P Systems with Endosomes R. Barbuti G. Caravagna A. Maggiolo-Schettini

Source URL: pages.di.unipi.it

• Biology
• Cell biology
• Membrane biology
• Anatomy
• Organelles
• Vesicles
• Cellular processes
• Models of computation
• Endosome
• Endocytosis
• Rab
• Cell membrane

C L I M A T E C H A N G E A C T I O N PL AN REC OMMEND AT IONS T O T HE GOVERNOR Alaska Climate Change ACTION PLAN recommendations

Source URL: climatechange.gov.alaska.gov

• Geography of Alaska
• Alaska
• Global warming
• Arctic Ocean
• Climate change adaptation
• Climate resilience
• University of Alaska Fairbanks
• Individual and political action on climate change
• Iupiat
• Index of Alaska-related articles
• Arctic policy of the United States

U NIVERSITAT DE G IRONA ` ` D EPARTAMENT D ’I NFORM ATICA , M ATEM ATICA

Source URL: icaps16.icaps-conference.org

• Theoretical computer science
• Logic
• Mathematical logic
• Logic in computer science
• Constraint programming
• Electronic design automation
• Formal methods
• NP-complete problems
• Satisfiability modulo theories
• Automated planning and scheduling
• Solver
• Planning Domain Definition Language

Toward G-OWL: A graphical, polymorphic and typed syntax for building formal OWL2 ontologies Michel Héon Université du Québec à Montréal Montréal (Québec)

Source URL: gdac.uqam.ca

• Semantic Web
• Computing
• Information science
• World Wide Web Consortium
• Knowledge engineering
• Knowledge representation
• Technical communication
• Web Ontology Language
• Ontology
• Description logic
• Resource Description Framework
• RDF Schema

On SAT Modulo Theories and Optimization Problems Robert Nieuwenhuis and Albert Oliveras? Abstract. Solvers for SAT Modulo Theories (SMT) can nowadays handle large industrial (e.g., formal hardware and software verificati

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Mathematics
• Mathematical logic
• Logic in computer science
• Automated theorem proving
• Electronic design automation
• Formal methods
• NP-complete problems
• Satisfiability modulo theories
• Boolean satisfiability problem
• Maximum satisfiability problem
• Unit propagation