University - PDFSEARCH.IO - Document Search Engine

University
Results: 634567

#	Item
131	How to Ask for a Favor: A Case Study on the Success of Altruistic Requests Tim Althoff∗ , Cristian Danescu-Niculescu-Mizil† , Dan Jurafsky∗ ∗ Stanford University, † Max Planck Institute SWS Add to Reading List Source URL: www.timalthoff.com Language: English - Date: 2014-03-25 14:46:16 Human behavior Psychology Behavior Normative ethics Interpersonal relationships Cognition Experimental psychology Motivation Reciprocity Social networking service Social proof Persuasion
132	Models and Metrics to Enable Energy-Efficiency Optimizations Suzanne Rivoire, Stanford University Mehul A. Shah and Parthasarathy Ranganathan, Hewlett-Packard Laboratories Christos Kozyrakis, Stanford University Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:44:54 Computing Computer architecture Concurrent computing Central processing unit Parallel computing Computer performance Computers and the environment Microprocessors Performance per watt Benchmark SPECint Standard Performance Evaluation Corporation
133	High-Frequency Trading in the U.S. Treasury Market around Macroeconomic News Announcements George J. Jiang Washington State University Ingrid Lo Add to Reading List Source URL: www.hkimr.org Language: English - Date: 2018-08-16 22:14:26 Financial markets Finance Money Economy Share trading High-frequency trading Market liquidity Order
134	Learning Static Constraints for Domain Modeling from Training Plans Rabia Jilani School of Computing and Engineering University of Huddersfield United Kingdom Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:30 Computing Software engineering Notation Systems engineering Automated planning and scheduling Planning Domain Definition Language Conceptual model Object Process Methodology Prolog
135	Cooperating Proof Attempts Giles Reger, Dmitry Tishkovsky, and Andrei Voronkov ? University of Manchester, Manchester, UK Abstract. This paper introduces a pseudo-concurrent architecture for first-order saturation-based Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 13:24:09 Formal methods Theoretical computer science Complexity classes Automated theorem proving Vampire NP IP Mathematics Constraint programming Proof compression
136	Model Checking Probabilistic Knowledge: A PSPACE Case Xiaowei Huang and Marta Kwiatkowska University of Oxford, UK Abstract Model checking probabilistic knowledge of memoryful semantics is undecidable, even for a simple Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2015-12-10 11:06:15 Temporal logic Mathematics Mathematical analysis Theoretical computer science Linear temporal logic Computation tree logic IP Symbol Distribution Craig interpolation Universal representation
137	Planning with Flexible Timelines in the Real World Alessandro Umbrico, Marta Cialdea Mayer University Roma TRE, Italy Abstract Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:45 Automated planning and scheduling Planning Framework Constraint satisfaction Planner
138	AVATAR Modulo Theories Nikolaj Bjøner1 Giles Reger2 Martin Suda3 Andrei Voronkov2,4,5 1 Microsoft Research, Redmond, USA University of Manchester, Manchester, UK Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-10-06 05:17:59 Theoretical computer science Logic Mathematical logic Logic in computer science Artificial intelligence Automated reasoning Automated theorem proving Predicate logic Quantifier Andrei Voronkov Z3 Alt-Ergo
139	JouleSort: A Balanced Energy-Efficiency Benchmark Suzanne Rivoire Mehul A. Shah Stanford University Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:44:50 Computing Computers and the environment Computer performance Universe Information and communications technology Electric power Energy conservation Performance per watt Benchmark External sorting Energy density Standard Performance Evaluation Corporation
140	UNIVERSITY OF DAYTON LAW REVIEW VOLUME 34 WINTERNUMBER 2 Add to Reading List Source URL: www.tapr.org Language: English - Date: 2009-10-11 21:02:52 Electronic engineering Electronic design automation Digital electronics Diagrams Technical communication Free culture movement Open-source hardware Schematic capture TARGET TAPR Open Hardware License GEDA Electric

UPDATE