1![Efficient E-matching for SMT Solvers Leonardo de Moura, Nikolaj Bjørner Microsoft Research, Redmond Efficient E-matching for SMT Solvers Leonardo de Moura, Nikolaj Bjørner Microsoft Research, Redmond](https://www.pdfsearch.io/img/91448503a160c185236a1d8763dc23a3.jpg) | Add to Reading ListSource URL: www.lsi.upc.eduLanguage: English - Date: 2007-07-25 04:45:02
|
---|
2![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, 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,](https://www.pdfsearch.io/img/6ffa95bb82484eac335f267edc2faeb4.jpg) | Add to Reading ListSource URL: www.cs.purdue.eduLanguage: English - Date: 2016-07-15 23:00:36
|
---|
3![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 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](https://www.pdfsearch.io/img/bddb01d9b9fb340bb4470ba8388393b5.jpg) | Add to Reading ListSource URL: www.crunchydata.comLanguage: English - Date: 2018-10-22 15:02:19
|
---|
4![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 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](https://www.pdfsearch.io/img/c8d067ac2b5a51ba180c69b7b3642a9a.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2011-11-16 13:36:18
|
---|
5![A Survey of Rollback-Recovery Protocols in Message-Passing Systems E.N. (MOOTAZ) ELNOZAHY IBM Research LORENZO ALVISI The University of Texas at Austin A Survey of Rollback-Recovery Protocols in Message-Passing Systems E.N. (MOOTAZ) ELNOZAHY IBM Research LORENZO ALVISI The University of Texas at Austin](https://www.pdfsearch.io/img/8bfaf34dc14f4a3e2b72a58b0cbaee05.jpg) | Add to Reading ListSource URL: www.cs.utexas.eduLanguage: English - Date: 2002-05-07 12:54:50
|
---|
6![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 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](https://www.pdfsearch.io/img/a7dbded46bcecabf43a5b897e67dd382.jpg) | Add to Reading ListSource URL: uclmr.github.ioLanguage: English - Date: 2018-08-06 06:17:49
|
---|
7![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 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](https://www.pdfsearch.io/img/8dc416cb82fead1fb0edfc6e58b630b4.jpg) | Add to Reading ListSource URL: www.acrwebsite.orgLanguage: English - Date: 2015-10-24 03:29:40
|
---|
8![451 RESEARCH REPRINT R E P O RT R E P R I N T Datadog solidifies expansion aspirations with Logmatic.io buy 451 RESEARCH REPRINT R E P O RT R E P R I N T Datadog solidifies expansion aspirations with Logmatic.io buy](https://www.pdfsearch.io/img/3fb5140724cb264652feda2722a57ee6.jpg) | Add to Reading ListSource URL: www.datadoghq.comLanguage: English - Date: 2018-06-01 15:28:46
|
---|
9![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 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](https://www.pdfsearch.io/img/9af3d17b01066cdc51e3618772bed52b.jpg) | Add to Reading ListSource URL: acs.ist.psu.eduLanguage: English - Date: 2006-08-27 13:12:44
|
---|
10![CHANGES IN RESEARCH ASSESSMENT PRACTICES IN OTHER COUNTRIES SINCE 1999: FINAL REPORT 28 FEBRUARY 2003 Authors: N von Tunzelmann, E Kraemer Mbula CHANGES IN RESEARCH ASSESSMENT PRACTICES IN OTHER COUNTRIES SINCE 1999: FINAL REPORT 28 FEBRUARY 2003 Authors: N von Tunzelmann, E Kraemer Mbula](https://www.pdfsearch.io/img/315aea4cbd90ba8a602c486bc39f68fd.jpg) | Add to Reading ListSource URL: www.ra-review.ac.ukLanguage: English - Date: 2003-05-19 11:19:01
|
---|