R-1 - PDFSEARCH.IO - Document Search Engine

R-1
Results: 38318

#	Item
1	Conflict-Directed Graph Coverage Daniel Schwartz-Narbonne1 , Martin Sch¨af2 , Dejan Jovanovi´c2 , Philipp R¨ ummer3 , and Thomas Wies1 1 Add to Reading List Source URL: csl.sri.com Language: English - Date: 2015-02-14 13:21:39
2	R E P O RT R E P R I N T Datadog sniffs out opportunity in APM N A NCY GOHR ING 1 8 JA N Add to Reading List Source URL: www.datadoghq.com Language: English - Date: 2018-06-01 15:28:46 Information technology management Management Computing Performance management Datadog Systems management Cloud infrastructure Cloud computing Serverless computing AppDynamics Anomaly detection New Relic
3	Hierarchical segmentation of graphical interfaces for Document Object Model reconstruction C˘at˘alin F. Pert, icas, 1 Mihai S. Baba 1 Homa Davoudi 1 R˘azvan V. Florian 1 Figure 1. Detection of graphical elements usin Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 Computational neuroscience Artificial intelligence Artificial neural networks Computing Applied mathematics Computational statistics Market research Mathematical psychology Convolutional neural network Image segmentation Document Object Model Market segmentation
4	R E P O RT R E P R I N T In monitoring, the platform approach is leading the market N A NCY GOHR ING, YU L I TZA PERAZA 1 5 AU G Add to Reading List Source URL: www.datadoghq.com Language: English - Date: 2018-08-17 12:10:16 Cloud computing Cloud infrastructure Computing
5	Hedera: A Governing Council & Public Hashgraph Network The trust layer of the internet Leemon Baird, Mance Harmon, and Paul Madsen w h i t e pa p e r V.1 . 4 L a s t u p d at e d 1 7 O C T SU B J Add to Reading List Source URL: www.hedera.com Language: English - Date: 2018-10-17 22:19:08 Cryptocurrencies Blockchains Concurrent computing Computing Hashgraph Distributed ledger Ethereum Hedera NEO Smart contract Draft:Hedera Hashgraph
6	Formal Derivation of Concurrent Garbage Collectors Dusko Pavlovic1 , Peter Pepper2 , and Douglas R. Smith1 1 2 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:24:03 Computing Memory management Knowledge representation Mutator Garbage collection Garbage Connectivity Tree Tracing garbage collection
7	CLARK COUNTY BOARD OF ELECTIONS Board Members  Ted McClenen, Chairperson  Lynda Smith  Max Cordle  David Hartley Director  Jason Baker Deputy Director  Amber Lopez August 1, 2016 The Board will hold a r Add to Reading List Source URL: clark.ohioboe.com - Date: 2017-04-21 08:14:08
8	Generating Programs plus Proofs by Refinement Douglas R. Smith Kestrel Institute, Palo Alto, CaliforniaUSA 1 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:27:15 Formal methods Computing Software engineering Theoretical computer science Specification language Refinement Abstract state machines Domain-specific language Specification Programming language Integrated circuit design Formal specification
9	w a d s a c k t r e u h a n d g e s e l l s c h a f t SteuertippsEigenheim: In den meisten Kantonen ist es für die Steuerpflichtigen wählbar, ob die effektiven Unterhaltskosten oder ein Pauschalabzug (meist 1 Add to Reading List Source URL: www.treuhand-zug.com Language: German - Date: 2018-03-05 02:45:16
10	Journal fu¨r die reine und angewandte Mathematik J. reine angew. Math), 1—35 DOICRELLE Add to Reading List Source URL: math.univ-bpclermont.fr Language: English - Date: 2018-03-05 11:11:23 Mathematics Mathematical analysis Topology Vector bundles Differential geometry Differential topology Geometry processing Differential operators Lie algebroid Lie groupoid Groupoid Differentiable manifold

UPDATE