Efficient E-matching for SMT Solvers Leonardo de Moura, Nikolaj Bjørner Microsoft Research, Redmond

Source URL: www.lsi.upc.edu

• Computer programming
• Software engineering
• Combinatorial optimization
• Matching
• Monad
• Conditional

An Algorithmic Framework for Synthesis of Concurrent Programs E. Allen Emerson and Roopsha Samanta Dept. of Computer Science and Computer Engineering Research Centre, University of Texas, Austin, TX 78712, USA. {emerson,

Source URL: www.cs.purdue.edu

• Concurrency control
• Computing
• Edsger W. Dijkstra
• Concurrent computing
• Computer programming
• Concurrency
• Transaction processing
• Synchronization
• Lock
• Monitor
• Parallel computing
• Granularity

451 RESEARCH REPRINT R E P O RT R E P R I N T Open source supporter Crunchy Data gives PostgreSQL a place in

Source URL: www.crunchydata.com

• Computing
• Software
• Data management
• Cross-platform software
• Relational database management systems
• PostgreSQL
• Web services
• Cloud storage
• EnterpriseDB
• MySQL
• Oracle Corporation
• Oracle Database

The use of theorem-proving techniques in question-answering systems by C. C O R D E L L G R E E N and BERTRAM RAPHAEL Stanford Research Institute Menlo Park, California

Source URL: www.kestrel.edu

• Logic
• Mathematics
• Mathematical logic
• Metalogic
• Model theory
• Syntax
• Well-formed formula
• First-order logic
• Resolution
• Logic programming
• Tautology

A Survey of Rollback-Recovery Protocols in Message-Passing Systems E.N. (MOOTAZ) ELNOZAHY IBM Research LORENZO ALVISI The University of Texas at Austin

Source URL: www.cs.utexas.edu

• Transaction processing
• Computing
• Fault-tolerant computer systems
• Data management
• Application checkpointing
• Data
• Rollback
• Database transaction
• Checkpoint
• Communication protocol
• Two-phase commit protocol

Neural Machine Translation for Query Construction and Composition Tommaso Soru 1 Edgard Marx 1 Andr´e Valdestilhas 1 Diego Esteves 2 Diego Moussallem 1 Gustavo Publio 1 Abstract Research on question answering with know

Source URL: uclmr.github.io

• Computing
• Computational linguistics
• Linguistics
• Information science
• Artificial neural network
• SPARQL
• Semantic parsing
• Word-sense disambiguation
• Semantic Web
• Natural language processing
• Query language
• Question answering

ASSOCIATION FOR CONSUMER RESEARCH Labovitz School of Business & Economics, University of Minnesota Duluth, 11 E. Superior Street, Suite 210, Duluth, MNAwe Expands People’S Perception of Time, Alters Decision Mak

Source URL: www.acrwebsite.org

• Psychology
• Emotions
• Positive psychology
• Mind
• Quality of life
• Happiness
• Well-being
• Awe
• Jennifer Aaker
• Dacher Keltner
• Prosocial behavior
• Life satisfaction

451 RESEARCH REPRINT R E P O RT R E P R I N T Datadog solidifies expansion aspirations with Logmatic.io buy

Source URL: www.datadoghq.com

• Information technology management
• Computing
• System software
• System administration
• Network management
• Performance management
• Data security
• Datadog
• Splunk
• Sumo Logic
• Loggly
• SolarWinds

Behavior Research Methods, Instruments, and Computers 2005, 37 (1), 71-81 Dismal: A spreadsheet for sequential data analysis and HCI experimentation FRANK E. RITTER and ALEXANDER B. WOOD

Source URL: acs.ist.psu.edu

CHANGES IN RESEARCH ASSESSMENT PRACTICES IN OTHER COUNTRIES SINCE 1999: FINAL REPORT 28 FEBRUARY 2003 Authors: N von Tunzelmann, E Kraemer Mbula

Source URL: www.ra-review.ac.uk