Panagiotis - PDFSEARCH.IO - Document Search Engine

Panagiotis
Results: 208

#	Item
71	The Challenge of Hardware-Software Co-Verification⋆ Panagiotis Manolios College of Computing Georgia Institute of Technology Atlanta, GA 30318 Add to Reading List Source URL: vstte.ethz.ch Language: English - Date: 2005-10-11 03:37:06
72	Letter pubs.acs.org/NanoLett Kapitza Resistance between Few-Layer Graphene and Water: Liquid Layering Eﬀects Dmitry Alexeev,† Jie Chen,†,‡,§ Jens H. Walther,†,∥ Konstantinos P. Giapis,⊥ Panagiotis Angeliko Add to Reading List Source URL: www.cse-lab.ethz.ch Language: English - Date: 2015-08-18 14:29:35 Thermodynamics Chemistry Physics Emerging technologies Heat conduction Heat transfer Monolayers Nanomaterials Graphene Potential applications of graphene Interfacial thermal resistance Carbon nanotube
73	User-Generated Content as cues for performance in LittleBigPlanet Panagiotis Koutsouras Paul Cairns Add to Reading List Source URL: www.fdg2013.org Language: English - Date: 2013-05-14 19:33:39
74	Partial Quantifier Elimination Eugene Goldberg, Panagiotis Manolios Northeastern University, USA {eigold,pete}@ccs.neu.edu Abstract. We consider the problem of Partial Quantifier Elimination (PQE). Given formula ∃X[F ( Add to Reading List Source URL: eigold.tripod.com Language: English - Date: 2014-11-20 15:57:44
75	The Dynamics of Micro-Task Crowdsourcing The Case of Amazon MTurk Djellel Eddine Difallah∗ , Michele Catasta† , Gianluca Demartini‡ , Panagiotis G. Ipeirotis , Philippe Cudré-Mauroux∗ ∗ Add to Reading List Source URL: exascale.info Language: English
76	Quantifier Elimination via Clause Redundancy Eugene Goldberg and Panagiotis Manolios Northeastern University, USA, {eigold,pete}@ccs.neu.edu Abstract—We consider the problem of existential quantifier elimination for Bo Add to Reading List Source URL: eigold.tripod.com Language: English - Date: 2013-11-02 17:54:28
77	Quantifier Elimination by Dependency Sequents Eugene Goldberg, Panagiotis Manolios arXiv:1201.5653v4 [cs.LO] 2 JunNortheastern University, USA {eigold,pete}@ccs.neu.edu Add to Reading List Source URL: eigold.tripod.com Language: English - Date: 2013-06-17 10:29:50
78	Software for Quantifier Elimination in Propositional Logic Eugene Goldberg1 and Panagiotis Manolios2 1 Northeastern University, USA Add to Reading List Source URL: eigold.tripod.com Language: English - Date: 2014-09-14 04:33:44
79	REVIEWS Bridging the regeneration gap: genetic insights from diverse animal models Alejandro Sánchez Alvarado* and Panagiotis A. Tsonis‡ Add to Reading List Source URL: www.udayton.edu Language: English - Date: 2013-06-06 09:17:56
80	From Obscurity to Prominence in Minutes: Political Speech and Real-Time Search Panagiotis Takis Metaxas Eni Mustafaraj Add to Reading List Source URL: journal.webscience.org Language: English - Date: 2011-10-24 11:15:21

UPDATE