Majumdar - PDFSEARCH.IO - Document Search Engine

Majumdar
Results: 109

#	Item
41	A Uniformization Theorem for Nested Word to Word Transductions Dmitry Chistikov and Rupak Majumdar Max Planck Institute for Software Systems (MPI-SWS) Kaiserslautern and Saarbr¨ ucken, Germany Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-06-13 07:29:10 Nested word Finite state transducer Finite-state machine Büchi automaton Automata theory Theoretical computer science Computer science
42	Curriculum Vitae Rupak Majumdar Department: Email: Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-11-23 07:15:23 Principles of Programming Languages Max Planck Institute for Software Systems International Colloquium on Automata Languages and Programming Lecture Notes in Computer Science Computing CHIC Computer science Automata theory Association for Computing Machinery
43	Complexity of 10 Decision Problems in Continuous Time Dynamical Systems Amir Ali Ahmadi IBM Watson Research Center Anirudha Majumdar MIT Add to Reading List Source URL: web.mit.edu Language: English - Date: 2013-06-23 10:21:36 Dynamical systems Stability theory Lyapunov function Lyapunov stability Quadratic Polynomial P versus NP problem Time complexity Lyapunov theory Theoretical computer science Mathematics Computational complexity theory
44	Safety Verification of Reactive Controllers for UAV Flight in Cluttered Environments using Barrier Certificates Andrew J. Barry, Anirudha Majumdar, and Russ Tedrake Abstract— Unmanned aerial vehicles (UAVs) have a so-f Add to Reading List Source URL: abarry.org Language: English - Date: 2012-02-11 02:59:02 Operations research Mathematical optimization Dynamical systems Control theory Cybernetics Linear programming Interior point method Convex optimization Vector space Mathematics Algebra Mathematical analysis
45	Abstractions from Proofs∗ Thomas A. Henzinger Ranjit Jhala Rupak Majumdar Add to Reading List Source URL: www.kenmcmil.com Language: English - Date: 2006-06-02 17:23:14 Propositional calculus Model theory Predicate logic Formal languages First-order logic Function Interpretation Entailment Partition Logic Mathematics Mathematical logic
46	Two Paradigms Are Better Than One, And Multiple Paradigms Are Even Better Arun K. Majumdar and John F. Sowa VivoMind Intelligence, Inc. Abstract. During the past half century, the field of artificial intelligence has dev Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2009-08-05 14:09:03 Reasoning Programming paradigms Software architecture Intelligent agent Society of Mind Cognitive architecture Reasoning system Logic programming Frame language Artificial intelligence Science Knowledge
47	IO-Top-k at TREC 2006: Terabyte Track Holger Bast Debapriyo Majumdar Ralf Schenkel Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2007-02-16 13:07:43 Data management Search algorithms Searching Database management systems Inverted index Search engine indexing Okapi BM25 Bit array Document retrieval Information science Information Information retrieval
48	Trapped-ion quantum simulation of tunable-range Heisenberg chains Add to Reading List Source URL: www.epjquantumtechnology.com Language: English Lattice models Quantum magnetism Quantum phases Heisenberg model Majumdar–Ghosh Model Ising model Spin model Quantum entanglement Quantum mechanics Physics Magnetic ordering Statistical mechanics
49	Indian J Med Res 141, February 2015, ppMolecular characterization of hepatitis A virus strains in a tertiary care health set up in north western India Mini Pritam Singh, Manasi Majumdar, Babu Ram Thapa, Puneet Add to Reading List Source URL: www.icmr.nic.in Language: English* - Date: 2015-04-17 06:57:54 Medicine Picornaviruses Hepatitis A Virology Viral hepatitis Hepatitis E Hepatitis B Viral load Viruses Microbiology Biology
50	The Meteorology program encourages research leading to senior theses. We provide examples of past theses here to give a flavor of the undergraduate research topics. A typical course is for students to first enroll in a o Add to Reading List Source URL: www.rsmas.miami.edu Language: English - Date: 2013-01-09 21:31:14 Christopher Landsea Education Majumdar Tropical cyclone Thesis Sharan Global warming and hurricanes Meteorology Atmospheric sciences

UPDATE