Search results for "AB"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Chris McCaig, Rachel Norman, Carron Shankland	Process Algebra Models of Population Dynamics.	AB	2008	DBLP DOI BibTeX RDF
1	Kord Eickmeyer, Ruriko Yoshida	The Geometry of the Neighbor-Joining Algorithm for Small Trees.	AB	2008	DBLP DOI BibTeX RDF
1	Heike Siebert	Local Structure and Behavior of Boolean Bioregulatory Networks.	AB	2008	DBLP DOI BibTeX RDF
1	Anne Shiu	The Smallest Multistationary Mass-Preserving Chemical Reaction Network.	AB	2008	DBLP DOI BibTeX RDF	Chemical reaction network, bistability
1	Armin Biere	Tutorial on Model Checking: Modelling and Verification in Computer Science.	AB	2008	DBLP DOI BibTeX RDF
1	Thomas Sturm, Andreas Weber 0004	Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology.	AB	2008	DBLP DOI BibTeX RDF
1	Wei Niu, Dongming Wang	Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems.	AB	2008	DBLP DOI BibTeX RDF
1	Luca Cardelli, Gianluigi Zavattaro	On the Computational Power of Biochemistry.	AB	2008	DBLP DOI BibTeX RDF
1	Takeyuki Tamura, Tatsuya Akutsu	An Improved Algorithm for Detecting a Singleton Attractor in a Boolean Network Consisting of AND/OR Nodes.	AB	2008	DBLP DOI BibTeX RDF
1	Katsuhisa Horimoto, Georg Regensburger, Markus Rosenkranz, Hiroshi Yoshida (eds.)	Algebraic Biology, Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings	AB	2008	DBLP BibTeX RDF
1	Johannes Wollbold, Reinhard Guthke, Bernhard Ganter	Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods.	AB	2008	DBLP DOI BibTeX RDF	temporal logic, reasoning, gene expression, Complete lattices
1	François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant	Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits.	AB	2008	DBLP DOI BibTeX RDF
1	Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall	Property Preservation along Embedding of Biological Regulatory Networks.	AB	2008	DBLP DOI BibTeX RDF	Biological regulatory networks, mathematical modeling, computational tree logic, network embedding, property preservation
1	François Boulier, François Lemaire	Differential Algebra and System Modeling in Cellular Biology.	AB	2008	DBLP DOI BibTeX RDF	cellular biology, system modeling, Computer algebra, differential algebra
1	Tatsuya Akutsu, Morihiro Hayashida, Takeyuki Tamura	Algorithms for Inference, Analysis and Control of Boolean Networks.	AB	2008	DBLP DOI BibTeX RDF
1	Liliana Ironi, Luigi Panzeri, Erik Plahte	An Algorithm for Qualitative Simulation of Gene Regulatory Networks with Steep Sigmoidal Response Functions.	AB	2008	DBLP DOI BibTeX RDF	singular perturbation analysis, Gene regulatory network, qualitative simulation
1	Erwin Engeler	Neural Algebra and Consciousness: A Theory of Structural Functionality in Neural Nets.	AB	2008	DBLP DOI BibTeX RDF	combinatory algebra, functional structures, models of consciousness, Neural nets, emergent properties
1	Luca Bortolussi, Alberto Policriti	Hybrid Semantics for Stochastic pi-Calculus.	AB	2008	DBLP DOI BibTeX RDF
1	Ioannis Z. Emiris, Sotirios I. Pantos	Protein Structure Prediction Using Residual Dipolar Couplings.	AB	2007	DBLP DOI BibTeX RDF	MAPLE implementation, protein kinematics, RDC data, Saupe tensor, Inverse kinematics, protein fold, secondary structure, polynomial equations
1	Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia (eds.)	Algebraic Biology, Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings	AB	2007	DBLP BibTeX RDF
1	Jittisak Senachak, Mun'delanji Vestergaard, René Vestergaard	Cascaded Games.	AB	2007	DBLP DOI BibTeX RDF
1	Cor A. J. Hurkens, Leo van Iersel, Judith Keijsper, Steven Kelk, Leen Stougie, John Tromp	Prefix Reversals on Binary and Ternary Strings.	AB	2007	DBLP DOI BibTeX RDF
1	Heike Siebert, Alexander Bockmayr	Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory Networks.	AB	2007	DBLP DOI BibTeX RDF
1	Bud Mishra	Algebraic Systems Biology: Theses and Hypotheses.	AB	2007	DBLP DOI BibTeX RDF
1	Alberto Casagrande, Kevin Casey, Rachele Falchi, Carla Piazza, Benedetto Ruperti, Giannina Vizzotto, Bud Mishra	Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction.	AB	2007	DBLP DOI BibTeX RDF
1	Gheorghe Paun	Membrane Computing as a Framework for Bio-modeling (An Informal Glimpse).	AB	2007	DBLP DOI BibTeX RDF
1	Maria Luisa Guerriero, Corrado Priami, Alessandro Romanel	Modeling Static Biological Compartments with Beta-binders.	AB	2007	DBLP DOI BibTeX RDF
1	Ana Graça, João Marques-Silva, Inês Lynce, Arlindo L. Oliveira	Efficient Haplotype Inference with Pseudo-boolean Optimization.	AB	2007	DBLP DOI BibTeX RDF	pure parsimony, pseudo-Boolean optimization, haplotype inference
1	Limsoon Wong	Manifestation and Exploitation of Invariants in Bioinformatics.	AB	2007	DBLP DOI BibTeX RDF
1	Eugene Asarin, Thierry Cachat, Alexander Seliverstov, Tayssir Touili, Vassily A. Lyubetsky	Attenuation Regulation as a Term Rewriting System.	AB	2007	DBLP DOI BibTeX RDF
1	Alexandre Sedoglavic	Reduction of Algebraic Parametric Systems by Rectification of Their Affine Expanded Lie Symmetries.	AB	2007	DBLP DOI BibTeX RDF
1	François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant, Asli Ürgüplü	On Proving the Absence of Oscillations in Models of Genetic Circuits.	AB	2007	DBLP DOI BibTeX RDF
1	John Harrison	A Short Survey of Automated Reasoning.	AB	2007	DBLP DOI BibTeX RDF
1	Venkatesh Mysore, Bud Mishra	Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks.	AB	2007	DBLP DOI BibTeX RDF
1	Levente Kovács, Béla Paláncz	Glucose-Insulin Control of Type1 Diabetic Patients in H2/Hinfinity Space Via Computer Algebra.	AB	2007	DBLP DOI BibTeX RDF
1	Sachiyo Aburatani	Inference of Complex Regulatory Network for the Cell Cycle System in Saccharomyces Cerevisiae.	AB	2007	DBLP DOI BibTeX RDF	graphical chain modeling, gene expression profile, cell cycle
1	Ashish Tiwari, Carolyn L. Talcott, Merrill Knapp, Patrick Lincoln, Keith Laderoute	Analyzing Pathways Using SAT-Based Approaches.	AB	2007	DBLP DOI BibTeX RDF
1	Céline Kuttler, Cédric Lhoussaine, Joachim Niehren	A Stochastic Pi Calculus for Concurrent Objects.	AB	2007	DBLP DOI BibTeX RDF
1	Tetsuya Sato, Yoshihiro Yamanishi, Katsuhisa Horimoto, Minoru Kanehisa, Hiroyuki Toh	Inference of Protein-Protein Interactions by Using Co-evolutionary Information.	AB	2007	DBLP DOI BibTeX RDF	protein-protein, partial correlation coefficient, co-evolution, projection operation
1	Igor Zinovik, Daniel Kroening, Yury Chebiryak	An Algebraic Algorithm for the Identification of Glass Networks with Periodic Orbits Along Cyclic Attractors.	AB	2007	DBLP DOI BibTeX RDF
1	Elena Chorukova, Sette Diop, Ivan Simeonov	On Differential Algebraic Decision Methods for the Estimation of Anaerobic Digestion Models.	AB	2007	DBLP DOI BibTeX RDF	Differential algebraic decision methods, Observability, Dynamic systems, Differential algebra, Characteristic set, Software sensors
1	Abdul Salam Jarrah, Reinhard C. Laubenbacher	Discrete Models of Biochemical Networks: The Toric Variety of Nested Canalyzing Functions.	AB	2007	DBLP DOI BibTeX RDF
1	Paolo Baldan, Andrea Bracciali, Linda Brodo, Roberto Bruni	Deducing Interactions in Partially Unspecified Biological Systems.	AB	2007	DBLP DOI BibTeX RDF
1	Hiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, Katsuhisa Horimoto	Exact Parameter Determination for Parkinson's Disease Diagnosis with PET Using an Algebraic Approach.	AB	2007	DBLP DOI BibTeX RDF
1	Julia Chifman, Sonja Petrovic	Toric Ideals of Phylogenetic Invariants for the General Group-Based Model on Claw Trees K 1, n .	AB	2007	DBLP DOI BibTeX RDF
1	Carl Bracken, Eimear Byrne, Nadya Markin, Gary McGuire	Determining the Nonlinearity of a New Family of APN Functions.	AAECC	2007	DBLP DOI BibTeX RDF	Almost perfect nonlinear, APN, almost bent, Walsh spectrum, discrete binary Fourier transform, nonlinearity, Walsh transform, AB