- Taming the Complexity of Biochemical Models through Bisimulation and Collapsing
- 1The recent biotechnology revolution resembles information 1 (Professor of Computer Science, Mathemat-
- Semi-Algebraic Constant Reset Hybrid Automata -SACoRe Alberto Casagrande, Carla Piazza, Bud Mishra
- Comparing De Novo Genome Assembly: The Long and Short of It
- Three Finger Optimal Planar Grasp B. Mishra M. Teichmann \Lambda
- Extended version of paper in KR-2010 NYU CIMS Technical Report: TR2010-926 The Temporal Logic of Token Causes
- Foundations of a Query and Simulation System for the Modeling of Biochemical and Biological
- The Complexity of Resolvent Resolved \Lambda Giovanni Gallo
- On Immobility Marek Teichmann & Bud Mishra
- 4 NYU EDUCATIONAL ROBOT 2. Hardware
- 33 COMPUTATIONAL REAL ALGEBRAIC GEOMETRY
- Reactive Algorithms for 2 and 3 Finger Grasping Marek Teichmann and Bud Mishra
- 1 Dexterous manipulation, a major subfield of robotics and 1 (Professor of Mathematics and Computer
- Genomics via Optical Mapping (I): 0-1 Laws for Single Molecules
- 1 communications of the acm | march 2009 | vol. 52 | no. 3 research highlights
- Predicting Malaria Interactome Classifications from Time-Course Transcriptomic Data along the
- Genome Evolution by Substitutions, Duplications and Deletions Yi Zhou and Bhubaneswar Mishra
- Decidable Compositions of O-minimal Automata Alberto Casagrande1,2,3
- Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks
- Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking
- Translating Time-course Gene Expression Profiles into Semi-Algebraic Hybrid Automata
- Discovering Relations among GO-annotated Clusters by Graph Kernel Methods
- BIOINFORMATICS Functional Genomics via Multiscale Analysis: Application
- A Multi-Strip Algorithm and Its Application to Gene Characterization Using DNA-Array Data
- SEPA: Approximate Non-Subjective Empirical p-Value Estimation for Nucleotide Sequence
- Emergency Response Planning for a Potential Sarin Gas Attack in Manhattan using Agent-based Models
- The Importance of Being Bounded Alberto Casagrande1,2
- Algorithmic Algebraic Model Checking II: Decidability of Semi-Algebraic Model Checking
- Algorithmic Algebraic Model Checking I: Challenges from Systems Biology
- Reconstructing Temporal Logic Models using the GO Process Ontology Reconstructing Formal Temporal Logic Models of Cellular Events
- GOALIE, A Common Lisp Application to Discover Kripke Models: Redescribing Biological Processes from Time-Course Data
- Models of Genome Evolution and Bud Mishra2,3
- 0018-9162/02/$17.00 2002 IEEE July 2002 11 C O V E R F E A T U R E
- www.sciencemag.org SCIENCE VOL 296 24 MAY 2002 1407 crobial community is extremely sensitive
- s new ways of using biological material to solve difficult computational prob-
- Shotgun Optical Maps of the Whole Escherichia coli O157:H7 Genome
- Optical Mapping of Plasmodium falciparum Chromosome 2
- Proc. Natl. Acad. Sci. USA Vol. 95, pp. 33903395, March 1998
- Fine Manipulation with Multifinger Hands J. Hong G. Lafferriere B. Mishra X. Tan
- Arithmetic with real algebraic numbers is in NC Bud Mishra Paul Pedersen
- 40 NYU EDUCATIONAL ROBOT [1] C. An, C. Atkeson, and J. Hollerbach. ModelBased Control of a Robot Manipu
- Grasp Metrics: Optimality and Complexity B. Mishra, Courant Institute, New York University, NY, USA
- Aligning Sequences with Non-Affine Gap Penalty: PLAINS Algorithm, a Practical Implementation, and its
- labeled with FITC-or PE-conjugated mAbs directed against the following markers: CD45 (HLe1), CD34
- MULTI-OBJECTIVE EVOLUTIONARY OPTIMIZATION OF AGENT-BASED MODELS: AN APPLICATION TO EMERGENCY RESPONSE PLANNING
- Systems Biology via Redescription and Ontologies (III): Protein Classification using Malaria Parasite's Temporal Transcriptomic Profiles
- NYU Educational Robot With contributions from
- 14 NYU EDUCATIONAL ROBOT 3. Software
- INFINITY 2005 Preliminary Version Algorithmic Algebraic Model Checking III
- Integrative Protein Function Transfer using Factor Graphs and Heterogeneous Data Sources
- Version 1:0 a0020756 a0001 Transposable Element-
- False Positives in Genomic Map Assembly and Sequence Validation 1
- Improved Estimation of Correlation in Microarray Data Analysis Marc Sobel1
- Detecting Gene Copy Number Fluctuations in Tumor Cells by Microarray Analysis of
- The Temporal Logic of Token Causes Samantha Kleinberg and Bud Mishra
- Shrinkage-Based Similarity Metric for Cluster Analysis of Microarray Data (Full Technical Report)
- The Supervisor Synthesis Problem for Unrestricted CTL is
- A Symbolic Approach to Modeling Cellular Bhubaneswar Mishra
- Notes on Grobner Basis Bud Mishra and Chee Yap
- On the K-Populations Problem Laxmi Parida Bud Mishra y
- A Complex Adaptive Financial Environment Courant Institute of Mathematical Sciences
- Quantitative Steinitz's Theorems with Applications to Multifingered Grasping 1
- Recent Progress in Characteristic Set Computation: Complexity & Open Problems
- COMPUTATIONAL REAL ALGEBRAIC GEOMETRY
- Preface vii 1 Introduction 1
- Admissible Orderings and Bounds for Grobner Basis Normal Form Algorithms
- Remembrance of Experiments Past
- INSTITUTE OF PHYSICS PUBLISHING NANOTECHNOLOGY Nanotechnology 18 (2007) 044032 (15pp) doi:10.1088/0957-4484/18/4/044032
- Section 0 1 On the Existence and Synthesis of Multifinger
- A Survey of Computational Differential Algebra
- Reactive Robotics I: Reactive Grasping with a Modified Gripper and Multifingered Hands
- Algebraic Systems Biology: Theses and Hypotheses Bud Mishra1,2
- Reactive Algorithms for Grasping using a modified parallel jaw gripper
- HYBRID CONTROLLERS FOR ROBOTICS BUD MISHRA 1
- XS-systems: eXtended S-Systems and Algebraic Di erential Automata for Modeling Cellular
- Simulating Large Biochemical and Biological Processes and Reasoning about their Behaviour
- Time-Frequency Feature Detection for Time-course Microarray Data
- On the Other Hands: Geometric Ideas in Robotics
- Shrinkage-based similarity metric for cluster analysis of microarray data
- September 22, 2008 10:2 Proceedings Trim Size: 9in x 6in mitrofanovaPSBfinalversion EFFICIENT AND ROBUST PREDICTION ALGORITHMS
- Validation of S. Pombe Sequence Assembly by Micro-Array Hybridization
- Complexities, Catastrophes and Cities: Emergency Dynamics in Varying
- nature genetics volume 23 november 1999 309 A shotgun optical map of the entire
- Composing Semi-algebraic O-Minimal A. Casagrande1,2
- Stability of Hybrid Systems and Related Questions from Systems Biology
- Efficient Algorithms and Bounds WuRitt Characteristic Sets 1
- Complexities, Catastrophes and Cities: Unraveling Emergency Dynamics
- Probabilistic Algorithms for Efficient Grasping and Fixturing Marek Teichmann \Lambda Bud Mishra y
- In the fall of 1987, I taught a graduate computer science course entitled ``Symbolic Computational Algebra'' at New York University. A rough set
- An Algorithmic Approach to Fixturing New York University
- calculus, 4 AAAS, American Association for the
- The Santa Fe Bar Problem Revisited: Theoretical and Practical Implications
- Bidirectional Edges Problem: Part I A Simple Algorithm
- Some Constructions in Rings of Differential Polynomials \Lambda
- AAECC 3, 79-98 (1992) AAECCApplicableAlgebrain
- JOURNAL OF IEEE/ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, VOL. 6, NO. 1, OCTOBER 2009 1 Prediction of Protein Functions with Gene
- Proceedings of the 2008 Winter Simulation Conference S. J. Mason, R. R. Hill, L. Moench, O. Rose, eds.
- An NL Hierarchy Jianer Chen 1 Jim Cox 2
- WuRitt Characteristic Sets and Their Complexity
- Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing
- Dexterous Manipulation: A Geometric Approach
- Placing Probes along the Genome Using Pair-wise Distance Data
- Genomics via Optical Mapping II: Ordered Restriction Maps
- Distribution of short paired duplications in mammalian genomes
- Section Appendix: B 33 Appendix: B
- Report to NSF on Banbury Workshop on
- Shrinkage-Based Similarity Metric for Cluster Analysis of Microarray Data (Full Technical Report)
- Inclusion Dynamics Hybrid Automata Alberto Casagrande a,b,c
- Perspective From Bytes to Bedside: Data Integration
- Optical Mapping of BAC Clones from the Human Y Chromosome DAZ Locus
- APPLIED AND ENVIRONMENTAL MICROBIOLOGY, Dec. 2002, p. 63216331 Vol. 68, No. 12 0099-2240/02/$04.00 0 DOI: 10.1128/AEM.68.12.63216331.2002
- Resilience in the Face of Disaster: Accounting for Varying Disaster Magnitudes, Resource
- Some Discussion of Static Gripping and Its Stability Bud Mishra and Naomi Silver
- Int. J. Data Mining and Bioinformatics, Vol. x, No. x, xxxx 1 On a novel coalescent model for genome-wide
- IEEE TRANSACTIONS ON COMPUTERS, VOL. C-35, NO. 12, DECEMBER 1986 Automatic Verification of Sequential Circuits Using
- The Power of Friction: Quantifying the ``Goodness'' of Frictional Grasps \Lambda
- Systems Biology via Redescription and
- The Temporal Logic of Causal Structures Samantha Kleinberg
- 10.2217/14622416.7.3.xxx 2006 Future Medicine Ltd ISSN 1462-2416 Pharmacogenomics (2006) 7(3), xxxxxx 1 Interpreter of maladies: redescription mining
- (Extended Abstract) Complexity of Buchberger's Algorithm for
- WORKHOLDING Analysis and Planning
- Genomics via Optical Mapping III: Contiging Genomic DNA
- Algorithmic Algebra Bhubaneswar Mishra
- Section 6 Concluding Remarks 31 6. Concluding Remarks
- Quantitative Steinitz's Theorems with Applications to Multi ngered Grasping1
- Systems Biology via Redescription and Ontologies: Untangling the Malaria Parasite Life
- A Nearly LinearTime General Algorithm for BiAllele Haplotype Phasing
- Fast and Cheap Genome wide Haplotype Construction via Optical Mapping
- A LinearTime Algorithm for Finding an Ambitus B. Mishra 1
- REFERENCES 28 Articulation Point
- A Solution to Kronecker's Problem Giovanni Gallo
- COMBAT: Search Rapidly For Highly Similar Protein-Coding Sequences Using Bipartite
- Improved Assembly Accuracy by Integrating Base-Calling, Error Correction and Assembly
- Modeling Hospitalization Outcomes with Random Decision Trees and Bayesian Feature Selection
- Cancer Hallmark Automata (I): Model, Therapy and Complexity
- Feature-by-Feature Evaluating De Novo Sequence Francesco Vezzi1,2
- 77FEBRUARY 2012 DISCOVERY ANALYTICS
- (Professor of Computer Science, Mathemat-ics, Cell Biology, Courant Institute and NYU
- JOURNAL OF LATEX CLASS FILES, VOL. 6, NO. 1, DECEMBER 2011 1 Image Analysis and Length Estimation of
- 1 It is often said that genomics science is on a Moore's law, 1 (Professor of Mathematics and Computer
