University - PDFSEARCH.IO - Document Search Engine

University
Results: 634567

#	Item
11	Effective Identification of Failure-Inducing Changes: A Hybrid Approach∗ Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao School of Software Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Software development Computing Debugging Aspect-oriented software development Aspect-oriented programming Delta debugging Extreme programming Software testing Debugger Software bug AspectJ Spring Framework
12	Using GORE method for Requirement Engineering of Planning & Scheduling Javier Martnez Silva Department of Mechatronics Engineering University of S˜ao Paulo, S˜ao Paulo, Brazil, Professor Morais, 2231 Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:34 Software engineering Computing Software requirements Modeling languages Systems engineering Systems analysis Enterprise modelling KAOS Planning Domain Definition Language I* Diagram Use case
13	Who Gets In? Nonstate Actor Access at International Organizations∗ Heidi McNamara† University of California, San Diego October 12, 2018 Add to Reading List Source URL: www.saramitchell.org Language: English - Date: 2018-10-12 16:42:15 World International relations Global politics Political philosophy Central African Republic Republics IOS Non-governmental organization Io Global governance
14	Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan1 , Xiaowei Huang2 , Marta Kwiatkowska1 Department of Computer Science, University of Oxford, UK 2 Department of Computer Science, Univers Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2018-05-14 04:41:41 Artificial neural networks Mathematics Computational neuroscience Applied mathematics Mathematical analysis Lipschitz continuity operator Continuous function Gradient descent Convolutional neural network Rectifier Deep learning
15	Configuration Spaces and Graph Complexes Najib Idrissi June 2018 @ University of Regina Configuration Spaces Add to Reading List Source URL: idrissi.eu Language: English - Date: 2018-10-19 04:32:45 Topology Mathematics Homotopy theory Algebraic topology Maps of manifolds Geometry processing Configuration space Braid theory Homotopy Cohomology Manifold Rational homotopy theory
16	EXPRESSMatching Systems for Concurrent Calculi Bjørn Haagensen1 Aalborg University Denmark Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2009-08-14 07:09:04 Theoretical computer science Process calculi -calculus Process calculus
17	Stochastic Synthesis for Stochastic Computing Vincent T. Lee, Armin Alaghi, Luis Ceze, Mark Oskin University of Washington arXiv:1810.04756v1 [cs.ET] 10 Oct 2018 Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-10-11 21:16:46 Probability and statistics Statistics Statistical randomness Stochastic computing Applied mathematics Stochastic optimization Artificial neural network Mathematical optimization Stochastic process
18	The Mercury Library Reference Manual Version c 1995–1997,1999–2014 The University of Melbourne. Copyright Permission is granted to make and distribute verbatim copies of this manual provided the Add to Reading List Source URL: mercurylang.org Language: English - Date: 2016-03-18 02:30:36 Computing Software engineering Computer programming Programming languages Cross-platform software Object-oriented programming languages Procedural programming languages Data types Array data structure Array data type Getopt Lua
19	UNIVERSITY OF WYOMING WYOHACKATHON AUTHORIZATION FOR MINOR TO PARTICIPATE, AND RELEASE, ASSUMPTION OF RISK & AGREEMENT TO HOLD HARMLESS I am the parent or legal guardian of _______________ (Participant) who is a minor be Add to Reading List Source URL: cdn.landinglion.net Language: English - Date: 2018-08-29 20:03:22 University of Wyoming Wyoming Western United States

UPDATE