Systems - PDFSEARCH.IO - Document Search Engine

Systems
Results: 323656

#	Item
1	! Ecole Doctorale des Sciences Fondamentales Title of the thesis: Resolution of non-linear systems using Least-squares type methods. Supervisor : Arnaud Münch Laboratory : UMR 6620 – Laboratoire de Mathématiques - C Add to Reading List Source URL: recherche.math.univ-bpclermont.fr Language: English - Date: 2018-03-06 08:58:14 Classical control theory Controllability Least squares OLS
2	Compositional Semantics of Spiking Neural P Systems Roberto Barbutia , Andrea Maggiolo-Schettinia, Paolo Milazzoa,∗, Simone Tinib a Dipartimento di Informatica, Universit` a di Pisa, Largo B. Pontecorvo 3, 56127 Pisa, Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:15 Computational neuroscience Neural networks Artificial neural networks Neuroscience Cybernetics Nervous system Spiking neural network Neuron Artificial neuron Nervous system network models GalvesLcherbach model
3	Alignment-based Translations Across Formal Systems Using Interface Theories Dennis M¨uller Colin Rothgang Add to Reading List Source URL: pxtp.github.io Language: English - Date: 2017-09-19 19:50:55 Logic Mathematical logic Abstraction Formal languages Syntax Formal systems Proof assistants Type theory Metamath Formal proof Theory OMDoc
4	InsFtute of Molecular Systems Biology   Accelerating 3D Protein Modeling Using Cloud Computing   Lars Malmström, Ruedi Aebersold – ETH Zürich, IMSB h?p://www.imsb.ethz.ch  Wibke Sud Add to Reading List Source URL: www.cloudbroker.com Language: English - Date: 2011-09-20 05:40:42 Cloud infrastructure IBM cloud computing Computing Cloud computing
5	Certification procedure for games of chance machines and jackpot systems Add to Reading List Source URL: www.esbk.admin.ch Language: English - Date: 2009-12-28 04:54:20 Quality assurance Standards Professional certification Accreditation Certification Slot machine Human behavior Evaluation Applied ethics ECOGRA
6	1 Annotation inference for modular checkers Cormac Flanagan, Rajeev Joshi, and K. Rustan M. Leino Compaq Systems Research Center, 130 Lytton Ave., Palo Alto, CA 94301, U.S.A. Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03 Software engineering Formal methods Mathematical logic Type theory Theoretical computer science Type systems Edsger W. Dijkstra Predicate transformer semantics Extended static checking ESC/Java Type inference HindleyMilner type system
7	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
8	SYSTEMS OF POINTS WITH COULOMB INTERACTIONS SYLVIA SERFATY Abstract. Large ensembles of points with Coulomb interactions arise in various settings of condensed matter physics, classical and quantum mechanics, statistical Add to Reading List Source URL: eta.impa.br Language: English - Date: 2018-07-28 17:09:48 Physics Theoretical physics Chemistry Quantum mechanics Algebra of random variables Random matrix Partition function Hamiltonian
9	Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial, Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2016-04-24 16:51:40 Mathematical analysis Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Determinacy Stochastic game Linear temporal logic Markov chain Markov decision process
10	USENIX Association Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI ’16) Add to Reading List Source URL: www.usenix.org Language: English - Date: 2017-07-14 07:19:47 Microsoft Research Aditya Akella Carnegie Mellon University Carnegie Mellon Silicon Valley Research Computer science Knowledge