FOR-A - PDFSEARCH.IO - Document Search Engine

FOR-A
Results: 646152

#	Item
351	SMITH A parallel Hardware Architecture for fast Gaussian Elimination over GF(2) Add to Reading List Source URL: www.hyperelliptic.org Language: English - Date: 2006-04-09 07:56:31 Numerical linear algebra Linear algebra Gaussian elimination Matrix Elementary matrix
352	Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–964) GLOBAL SURFACES OF SECTION FOR REEB FLOWS IN DIMENSION THREE AND BEYOND Pedro A. S. Salomão and Umberto L. Hryniewicz Add to Reading List Source URL: eta.impa.br Language: English - Date: 2018-07-25 13:17:43 Differential topology Topology Theoretical physics Hamiltonian mechanics Symplectic topology Contact geometry Symplectomorphism Symplectic geometry Foliation Geodesic Differential geometry of surfaces Riemannian geometry
353	A Relational Encoding for a Clash-Free Subset of ASMs Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {schellhorn,ernst, Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2017-01-11 10:50:05 Functional predicate Model theory Symbol Limit of a function Universal quantification Mathematical logic Mathematics Logic
354	Advances and Challenges of Quantitative Verification and Synthesis for Cyber-Physical Systems Marta Kwiatkowska Department of Computer Science, University of Oxford, UK Abstract—We are witnessing a huge growth of cyber Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-09-02 06:46:32 Model checkers Software engineering Formal methods Theoretical computer science Software quality Computing PRISM model checker Model checking Formal verification Markov chain Stochastic Reliability engineering
355	Learning Outcomes for Master of Science (MSc) in Corporate Finance National Qualification Framework for Iceland MSc in Corporate Finance at Reykjavik University MSc in Corporate Finance is a 90 ECTS-credit master’s deg Add to Reading List Source URL: en.ru.is Language: English - Date: 2018-06-27 06:50:00 Education Master's degree Finance Academic degree Master of Science Research Corporate finance Science Human behavior Management education Corporate governance European Qualifications Framework
356	OpenROADM Compliant SDN Controller for a Full Interoperability of the Optical Transport Network Ahmed Triki(1) , Christophe Betoule(1) , Gilles Thouenon(1) , Olivier Renais(1) Nicolas Pelloquin(1) , Guillaume Lambert (1) Add to Reading List Source URL: www.research.att.com Language: English - Date: 2018-10-23 15:32:38 Ethernet Computing Network architecture Reconfigurable optical add-drop multiplexer Interoperability Optical networking 100 Gigabit Ethernet Mesh networking Gigabit Ethernet Information and communications technology Optical add-drop multiplexer
357	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: www.prismmodelchecker.org Language: English - Date: 2017-06-28 16:10:52 Probability theory Statistical randomness Probability Markov models Graph theory Stochastic game Probabilistic automaton Game theory Markov chain Determinacy Strategy Markov decision process
358	Formal Specication of Control Software for a Radiation Therapy Machine (Revised) Jonathan Jacky Michael Patrick Jonathan Unger Add to Reading List Source URL: staff.washington.edu Language: English - Date: 2015-02-13 17:16:24 Radiobiology Radiation therapy Radioactivity Medical prescription Health Medicine Physics
359	Are you a motivated/organized individual who is looking for an opportunity to grow with a company? Rossdown Natural Foods is a rapidly expanding business which hosts a family friendly environment and reliable hours with Add to Reading List Source URL: www.rossdown.com Language: English - Date: 2018-03-21 15:53:52 Economy Production economics Manufacturing Business Management Economic growth Lean manufacturing Supply chain management Productivity Supervisor Production Unit production manager
360	Published as a conference paper at ICLRP ROGRAM S YNTHESIS FOR C HARACTER L EVEL L ANGUAGE M ODELING Pavol Bielik, Veselin Raychev & Martin Vechev Department of Computer Science, ETH Z¨urich, Switzerland Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:55:59 Artificial neural networks Computational neuroscience Machine learning Artificial intelligence Applied mathematics Computational linguistics Natural language processing Speech recognition Convolutional neural network Language model Long short-term memory Neural network

UPDATE