M-theory - PDFSEARCH.IO - Document Search Engine

M-theory
Results: 6111

#	Item
91	Uniqueness Typing Simplified Edsko de Vries1⋆ , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-23 03:13:56 Software engineering Computer programming Computing Type theory Data types Functional programming Subroutines Lambda calculus Subtyping Const Unification Type system
92	A UNIFIED ALGORITHMIC APPROACH TO DISTRIBUTED OPTIMIZATION João F. C. Mota1,2 , João M. F. Xavier2 , Pedro M. Q. Aguiar2 , and Markus Püschel3 1 2 Add to Reading List Source URL: users.isr.ist.utl.pt Language: English - Date: 2013-09-21 01:26:18 Routing algorithms Mathematics Combinatorial optimization Search algorithms Graph theory Applied mathematics A* search algorithm Game artificial intelligence Model predictive control Belief propagation Decomposition method
93	TelegraphCQ: Continuous Dataflow Processing for an Uncertain World+ Sirish Chandrasekaran, Owen Cooper, Amol Deshpande, Michael J. Franklin, Joseph M. Hellerstein, Wei Hong, Sailesh Krishnamurthy, Sam Madden, Vijayshank Add to Reading List Source URL: db.lcs.mit.edu Language: English* - Date: 2004-01-06 11:09:25 Computing Data management Software Database management systems Database theory Query languages Data stream management system Relational database management systems Relational database PostgreSQL Dataflow Query optimization
94	MITSUBISHI ELECTRIC RESEARCH LABORATORIES http://www.merl.com Proportional–Integral Extremum Seeking for Vapor Compression Systems Burns, D.J.; Laughman, C.R.; Guay, M. Add to Reading List Source URL: www.merl.com Language: English - Date: 2016-07-07 10:39:48 Engineering Systems science Systems theory Control theory Control engineering Automation Cybernetics Industrial automation PID controller Adaptive control Mathematical optimization Control system
95	CORRECTIONS TO EXPONENTIAL SUMS AND DIFFERENTIAL EQUATIONS NICHOLAS M. KATZ Corrections to Chapter 7 page 232, line 6: “7.40.4” should be Add to Reading List Source URL: web.math.princeton.edu Language: English - Date: 2007-03-14 19:25:01 Algebra Abstract algebra Mathematics Algebraic topology Polynomials Algebraic number theory Mathematical analysis Monodromy Discriminant Divisor Sheaf Ring
96	MATEC Web of Conferences 4 2 , ) DOI: m atecconf0 9 C Owned by the authors, published by EDP Sciences, 2016 Comparison of the SLAM algorithms: Hangar experiments Add to Reading List Source URL: www.matec-conferences.org Language: English Robotics Robot control Control theory Telecommunications engineering Extended Kalman filter Kalman filter Simultaneous localization and mapping Particle filter Unscented transform UKF Robotic mapping Robot
97	Automatic Proof and Disproof in Isabelle/HOL Jasmin Christian Blanchette, Lukas Bulwahn, and Tobias Nipkow Fakult¨at f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. Isabelle/HOL is a popular interactive t Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-05-21 06:02:19 Theoretical computer science Software engineering Programming language theory Logic in computer science Proof assistants Formal methods Automated theorem proving Isabelle Satisfiability modulo theories ACL2 Curry Logic for Computable Functions
98	arXiv:1505.04514v1 [cs.DC] 18 MayA Local Broadcast Layer for the SINR Network Model Magn´ us M. Halld´orsson∗ Add to Reading List Source URL: arxiv.org Language: English - Date: 2015-05-18 20:53:11 Computational complexity theory Mathematics Graph theory Theoretical computer science Maximal independent set Signal-to-interference-plus-noise ratio Time complexity Algorithm
99	Posted date: 17 DecemberM J Mapp appointed by Salmon Harvester to manage two Shopping Centres M J Mapp has been appointed by Salmon Harvester Opportunity Fund Add to Reading List Source URL: www.mjmapp.com Language: English - Date: 2015-12-17 09:08:40 Droitwich Spa John Michell Fringe theory Science Fringe science
100	Embedding in 2-generated semigroups using transformations Peter M. Higgins University of Essex Add to Reading List Source URL: www.maths.dur.ac.uk Language: English - Date: 2015-07-16 10:58:14 Semigroup theory Algebraic structures Semigroup Regular semigroup Semigroup with involution Inverse semigroup

UPDATE