FOR-A - PDFSEARCH.IO - Document Search Engine

FOR-A
Results: 646152

#	Item
391	ISSI2019 with a Special STI Indicators Conference Track Call for papers 17th International Conference on Scientometrics & Informetrics September 2–5, 2019, Rome Italy Add to Reading List Source URL: issi-society.org Language: English Information science Library science Bibliometrics Science policy Scientometrics Webometrics Discipline Informetrics ISSI College and university rankings Library and information science Web of Science
392	A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1 University of Waterloo (Canada) Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Pointer Graph
393	Conic Abstractions for Hybrid Systems Sergiy Bogomolov12 , Mirco Giacobbe2 , Thomas A. Henzinger2 , and Hui Kong2 1 Australian National University, Canberra, Australia 2 Add to Reading List Source URL: repository.ist.ac.at Language: English - Date: 2017-06-29 11:28:39 Mathematics Geometry Algebra Analytic geometry Linear algebra Algebraic curves Cone Surfaces Conic section Convex cone Line Hybrid system
394	Inside a Verified Flash File System: Transactions & Garbage Collection ? ?? Gidon Ernst, J¨ org Pf¨ ahler, Gerhard Schellhorn, and Wolfgang Reif Institute for Software and Systems Engineering Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2017-01-11 10:48:58 Computer memory Computer data storage Embedded Linux Data management Computing Non-volatile memory Flash file system Flash memory Data UBIFS File system JFFS2
395	Using a SAT Solver as a Fast Decision Procedure for Propositional Logic in an LCF-style Theorem Prover Tjark Weber Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:36:36 Theoretical computer science NP-complete problems Formal methods Boolean algebra Boolean satisfiability problem Electronic design automation Logic in computer science Isabelle Constructible universe LCF Mathematics (SAT -UNSAT)
396	Learning Outcomes for Master of Science (MSc) in Corporate Finance National Qualification Framework for Iceland Master of Corporate Finance at Reykjavik University Master of Science in Corporate Finance (MSc MCF) is a 12 Add to Reading List Source URL: www.ru.is Language: English - Date: 2017-06-23 07:02:12 Finance Corporate finance Master's degree Academic degree Education Economy Professional certification in finance Management education Vocational education Chartered Financial Analyst Knowledge worker
397	Global ID Roadmap Mapping out the Future Direction for the Global ID System Version 0.2 This document is intended to lay out our thinking on a number of areas where the current Global ID Add to Reading List Source URL: www.globalid.net Language: English - Date: 2018-06-28 10:17:43 Software Computer access control Federated identity Instant messaging clients Computing Identity management Identity Telegram Information Card Online identity
398	Random Testing and Model Checking: Building a Common Framework for Nondeterministic Exploration Alex Groce Rajeev Joshi Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:44:46 Model checkers Software testing Software engineering Concurrent computing Model checking Promela SPIN model checker Probability and statistics Statistical theory Random testing Java Pathfinder Actor model
399	For the purpose of this document, a child is defined as anyone who has not yet reached their 18th birthday. From this point, HackTheMidlands will be referred to as H TM. This policy applies exclusively to EVENTS Add to Reading List Source URL: hackthemidlands.co.uk Language: English - Date: 2018-10-24 08:00:12 Human behavior Childhood Abuse Social work Child welfare Child abuse Child sexual abuse Child protection Psychological abuse Children's rights National Society for the Prevention of Cruelty to Children Mandatory reporting in the United States
400	Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives N. Basseta , M. Kwiatkowskaa,∗, C. Wiltschea a Department of Computer Science, University of Oxford, United Kingdom Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-04-04 09:30:36 Probability theory Statistical randomness Probability Markov models Stochastic game Markov chain Determinacy Game theory Strategy Probabilistic automaton Markov decision process Stochastic process

UPDATE