Org - PDFSEARCH.IO - Document Search Engine

Org
Results: 4040769

#	Item
621	Upcoming Events LISA18 OpML ’19: 2019 USENIX Conference on Operational Machine Learning Add to Reading List Source URL: www.usenix.org Language: English - Date: 2018-10-15 19:34:07 Unix System administration Computing USENIX Large Installation System Administration Conference Computer science Information technology ACM SIGOPS LISA Niels Provos
622	A Minimum Viable Strategy for Archives and Linked Data using Schema.org Mark A. Matienzo, Stanford University / @anarchivist Society of American Archivists Session 303 #s303 16 August 2018 Add to Reading List Source URL: matienzo.org Language: English Computing Semantic Web Data Information Semantic HTML Markup languages Resource Description Framework Data management Schema.org Microdata JSON-LD Creative work
623	Wyoming State Energy Office Add to Reading List Source URL: www.wyomingbusiness.org Language: English - Date: 2018-03-30 10:23:50 Energy efficiency Energy Sustainable energy Energy policy Energy conservation Energy audit Low-energy building Public schemes for energy efficient refurbishment Draft:Efficiency Services Agreement
624	Microsoft Word - Final Decision SB amendment IPREE_webpublication.docx Add to Reading List Source URL: documents.epo.org Language: French - Date: 2017-09-29 08:42:38
625	MetroCount Traffic Executive Daily Classes DailyClassEnglish (ENU) Datasets: [Road U] Rd U approx 300ft west of Hwy 491 <40mph><30mph trk> Add to Reading List Source URL: montezumacounty.org Language: English - Date: 2015-08-26 09:14:19 Republican Party presidential primaries 201516 Real Madrid Baloncesto season
626	New Challenges in Model Checking Gerard J. Holzmann, Rajeev Joshi, and Alex Groce NASA/JPL Laboratory for Reliable Software, Pasadena, CA 91109, USA {Gerard.Holzmann, Rajeev.Joshi,Alex.Groce}@jpl.nasa.gov Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:32:09 Formal methods Theoretical computer science Software engineering Computing Logic in computer science Software testing Model checking Formal verification Software verification Flash memory Verification Software quality
627	Denali: A Goal-directed Superoptimizer Rajeev Joshi Greg Nelson ∗ Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03 Theoretical computer science Logic Mathematical logic Formal methods Boolean algebra NP-complete problems Logic in computer science Propositional calculus Algorithm Boolean satisfiability problem NP Modal logic
628	On the space of left-orderings of virtually solvable groups Cristobal Rivas & Romain Tessera∗ Abstract We show that the space of left-orderings of a countable virtually solvable group is either finite or homeomorphic t Add to Reading List Source URL: www.normalesup.org Language: English - Date: 2013-03-14 07:03:47 Group theory Geometry Algebra Geometric group theory Topological groups Amenable group Kazhdan's property Index of a subgroup Commutator subgroup Solvable group Coset Virtually
629	The Smithsonian Affiliated National Atomic Testing Museum “Using lessons of the past to better understand the present.” Executive Summary Mission Add to Reading List Source URL: nationalatomictestingmuseum.org Language: English - Date: 2017-06-30 02:49:20 Nevada Western United States National Atomic Testing Museum Paradise Nevada Nuclear weapons Nevada Test Site Atomic Age Nuclear proliferation Museum National Museum of Nuclear Science & History
630	´sume ´ Re Eftychios Theodorakis Academic Education Add to Reading List Source URL: eftychis.org Language: English - Date: 2018-02-05 23:18:18 Software Application software Administrative regions of Greece SPICE Field-programmable gate array Patras

UPDATE