Search results for "AB"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Wei Niu 0001, Dongming Wang 0001	Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems.	AB	2008	DBLP DOI BibTeX RDF
1	Heike Siebert	Local Structure and Behavior of Boolean Bioregulatory Networks.	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	Tatsuya Akutsu, Morihiro Hayashida, Takeyuki Tamura	Algorithms for Inference, Analysis and Control of Boolean Networks.	AB	2008	DBLP DOI BibTeX RDF
1	Chris McCaig, Rachel Norman, Carron Shankland	Process Algebra Models of Population Dynamics.	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	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	Armin Biere	Tutorial on Model Checking: Modelling and Verification in Computer Science.	AB	2008	DBLP DOI BibTeX RDF
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	Thomas Sturm 0001, Andreas Weber 0004	Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology.	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	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 DOI 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	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 Cardelli, Gianluigi Zavattaro	On the Computational Power of Biochemistry.	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	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	Luca Bortolussi, Alberto Policriti	Hybrid Semantics for Stochastic pi-Calculus.	AB	2008	DBLP DOI BibTeX RDF
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	Ashish Tiwari 0001, Carolyn L. Talcott, Merrill Knapp, Patrick Lincoln, Keith Laderoute	Analyzing Pathways Using SAT-Based Approaches.	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	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	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	John Harrison 0001	A Short Survey of Automated Reasoning.	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	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	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 DOI BibTeX RDF
1	Eugene Asarin, Thierry Cachat, Alexander V. Seliverstov, Tayssir Touili, Vassily A. Lyubetsky	Attenuation Regulation as a Term Rewriting System.	AB	2007	DBLP DOI BibTeX RDF
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	Venkatesh Mysore, Bud Mishra	Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks.	AB	2007	DBLP DOI BibTeX RDF
1	Limsoon Wong	Manifestation and Exploitation of Invariants in Bioinformatics.	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	Maria Luisa Guerriero, Corrado Priami, Alessandro Romanel	Modeling Static Biological Compartments with Beta-binders.	AB	2007	DBLP DOI BibTeX RDF
1	Tetsuya Sato 0003, 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	Jittisak Senachak, Mun'delanji Vestergaard, René Vestergaard	Cascaded Games.	AB	2007	DBLP DOI BibTeX RDF
1	Bud Mishra	Algebraic Systems Biology: Theses and Hypotheses.	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	Ana Graça, João Marques-Silva 0001, 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	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	Gheorghe Paun	Membrane Computing as a Framework for Bio-modeling (An Informal Glimpse).	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	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	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	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