Rupak - PDFSEARCH.IO - Document Search Engine

Rupak
Results: 94

#	Item
11	Synthesis of Fixed-Point Programs Eva Darulova EPFL Rupak Majumdar Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-03-18 13:47:34
12	Rupak Mahapatra, Ph.D. Texas A&M University Searches for New Physics through Dark Matter and Neutrino Interactions Weakly Interacting Massive Particles (WIMP) are Add to Reading List Source URL: physics.tamu.edu Language: English - Date: 2015-08-28 10:38:30
13	Dynamic Package Interfaces Shahram Esmaeilsabzali1⋆ , Rupak Majumdar2, Thomas Wies3 , and Damien Zufferey4⋆⋆ 1 University of Waterloo Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2014-04-10 15:23:05
14	Generating Tests from Counterexamples Rupak Majumdar Dirk Beyer Adam J. Chlipala Thomas A. Henzinger Ranjit Jhala Electrical Engineering and Computer Sciences Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 07:00:05
15	Rupak Das Emergency Fund GAABESU Emergency Fund Committee launched a fund drive to help a fellow alumnus in medical emergency. An appeal from Sri Rupak DasME in CE) along with a medical report is attached here for Add to Reading List Source URL: www.becollege.org Language: English - Date: 2010-10-06 01:45:41
16	Spahn, Paul Bernd (2008), „Managing Fiscal Conflicts“, in: Unity in Diversity: Learning from Each Other, Vol. 2, Emerging Issues in Fiscal Federalism, Edited by Ronal L. Watts and Rupak Chattopadhyay, Forum of Federa Add to Reading List Source URL: www.wiwi.uni-frankfurt.de Language: English - Date: 2013-12-26 09:40:48
17	Synthesis of Fixed-Point Programs Eva Darulova EPFL Rupak Majumdar Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-08-05 05:55:21 Primitive types Software engineering Mathematics Numerical analysis Floating point Genetic algorithm Error detection and correction C Affine arithmetic Computer arithmetic Computing Data types
18	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
19	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
20	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

UPDATE