System - PDFSEARCH.IO - Document Search Engine

System
Results: 641854

#	Item
81	Formal Specication and Development of Control System Input/Output Jonathan Jacky Radiation Oncology Department RC-08 University of Washington Add to Reading List Source URL: staff.washington.edu Language: English - Date: 2015-02-13 18:58:47 Computing Models of computation Software engineering Control engineering Cognition State Control theory Lookup table Variable Dependent and independent variables
82	A tried-and-tested system – in simple terms Switzerland’s old-age insurance Add to Reading List Source URL: www.bsv.admin.ch Language: English Economy Finance Money Financial services Social programs Pension Personal finance Social law Insurance Social insurance Social Security Health insurance
83	DOMAIN SPECIFIC LANGUAGES FOR EFFICIENT SATELLITE CONTROL SOFTWARE DEVELOPMENT Andreas Wortmann, Martin Beet OHB System AG, Universitätsallee 27-29, 28359 Bremen, Germany, Email: Tel.: + Add to Reading List Source URL: mbeddr.com Language: English - Date: 2018-08-02 04:06:51 Computing Software engineering Software architecture Information and communications technology Domain-specific language Software development Software Component-based software engineering Application software
84	Federal Register / Vol. 66, NoMonday, December 10, Notices adopted an effective visa system and related procedures to prevent unlawful Others (Including Non-Profit transshipment and the use of counterfeit Add to Reading List Source URL: 34.232.160.87 Language: English - Date: 2001-12-11 09:44:20 Foreign relations of the United States 106th United States Congress African Growth and Opportunity Act Economy of the United States Geography of Africa Office of the United States Trade Representative Namibia
85	NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System Xi Victoria Lin, Chenglong Wang, Luke Zettlemoyer, Michael D. Ernst Salesforce Research, University of Washington, Unive Add to Reading List Source URL: victorialin.net Language: English* - Date: 2018-10-26 01:53:41 Computing Scripting languages Xargs Semantic parsing Filter Sed GNU parallel Find Command-line interface Redirection Parsing Pipeline
86	HONG KONG INSTITUTE FOR MONETARY RESEARCH THE ROLE OF LOAN PORTFOLIO LOSSES AND BANK CAPITAL FOR ASIAN FINANCIAL SYSTEM RESILIENCE Daniel Rosch and Harald Scheule Add to Reading List Source URL: www.hkimr.org Language: English - Date: 2018-03-26 02:56:52 Economy Money Finance Actuarial science Systemic risk Financial risk Financial law Economic bubbles Credit risk Bank Value at risk Financial crisis of 20072008
87	The Operating System for DAOs WhitePaper V1.0 Add to Reading List Source URL: icorating.com Language: English - Date: 2018-04-05 05:55:46 Cryptocurrencies Blockchains Concurrent computing Computing Ethereum Cross-platform software Distributed computing Alternative currencies The DAO Decentralization Bitcoin Tao
88	Formal Methods in System Design manuscript No. (will be inserted by the editor) Automatic Verification of Competitive Stochastic Systems Taolue Chen · Vojtˇ Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2013-10-04 14:46:58 Mathematics Temporal logic Mathematical analysis Theoretical computer science Linear temporal logic Mathematical logic Formal languages Computation tree logic Constructible universe Markov decision process Well-formed formula IP
89	Dtre\|A Semi-Automatic Transformation System Lee Blaine and Allen Goldberg Kestrel Institute, 3260 Hillview Avenue, Palo Alto, California 94304, USA Abstract Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-08 19:03:01 Mathematical logic Mathematics Logic Type theory Model theory Hierarchy Interpretation Axiom Sheaf Theory Implementation of mathematics in set theory ZermeloFraenkel set theory
90	Sept 2018-system-mapai Add to Reading List Source URL: transportation.stanford.edu Language: English - Date: 2018-10-18 21:04:00 Geography of California California National Register of Historic Places in Santa Clara County California Palo Alto station Palo Alto California Stanford Marguerite Shuttle Transport English phonology English orthography

UPDATE