Search results for "Biochemical"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
72	Susmit Jha, R. K. Shyamasundar	Adapting Biochemical Kripke Structures for Distributed Model Checking.	Trans. Comp. Sys. Biology	2006	DBLP DOI BibTeX RDF
72	Jürgen Zobeley, Dirk Lebiedz, Julia Kammerer, Anton Ishmurzin, Ursula Kummer	A New Time-Dependent Complexity Reduction Method for Biochemical Systems.	Trans. Comp. Sys. Biology	2005	DBLP DOI BibTeX RDF
70	Liliana Félix, Francesc Rosselló, Gabriel Valiente	Reconstructing Metabolic Pathways by Bidirectional Chemical Search.	CMSB	2007	DBLP DOI BibTeX RDF	biochemical reaction, metabolic pathway, Artificial chemistry
64	Ming-Guang Shi, Michael R. Lyu, Tat-Ming Lok	Maximal-Robustness-Minimal-Fragility Controller: A Compromise between Robustness and Fragility of Biochemical Networks.	ICIC (2)	2008	DBLP DOI BibTeX RDF	?/H2/H??? control, Biochemical networks, Maximal-Robustness- Minimal-Fragility controller, Perfect Bayesian-Nash equilibrium
64	James Decraene, George G. Mitchell, Barry McMullin, Ciaran Kelly	The Holland Broadcast Language and the Modeling of Biochemical Networks.	EuroGP	2007	DBLP DOI BibTeX RDF	Broadcast Language, biochemical networks modeling, adaptable representation
64	Yasunori Osana, Tomonori Fukushima, Masato Yoshimi, Yow Iwaoka, Yuichiro Shibata, Hiroaki Kitano, Akira Funahashi, Noriko Hiroi, Hideharu Amano	An FPGA-Based, Multi-model Simulation Method for Biochemical Systems.	IPDPS	2005	DBLP DOI BibTeX RDF	Biochemical simulation, FPGA, ODE, SBML, Multimodel
63	Brian Fett, Marc D. Riedel	Module locking in biochemical synthesis.	ICCAD	2008	DBLP DOI BibTeX RDF
63	Huaiguo Fu, Engelbert Mephu Nguifo	Clustering Binary Codes to Express the Biochemical Properties of Amino Acids.	Intelligent Information Processing	2004	DBLP DOI BibTeX RDF	Bioinformatics and AI, Clustering, Classification, Amino acids
63	Esteban Zimányi, Sabri Skhiri dit Gabouje	Semantic Visualization of Biochemical Databases.	ICSNW	2004	DBLP DOI BibTeX RDF
58	Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley	Safety Analysis of Sugar Cataract Development Using Stochastic Hybrid Systems.	HSCC	2007	DBLP DOI BibTeX RDF
54	Michele Curti, Pierpaolo Degano, Cosima Tatiana Baldari	Causal pi-Calculus for Biochemical Modelling.	CMSB	2003	DBLP DOI BibTeX RDF	Formal Description of Biochemical Processes, Concurrency, Causality, Bio-informatics, Reduction Semantics
53	Joseph O. Dada, Pedro Mendes 0001	Design and Architecture of Web Services for Simulation of Biochemical Systems.	DILS	2009	DBLP DOI BibTeX RDF
53	Andrzej Ehrenfeucht, Grzegorz Rozenberg	Modeling Interactions between Biochemical Reactions.	Petri Nets	2008	DBLP DOI BibTeX RDF
53	Brian Fett, Jehoshua Bruck, Marc D. Riedel	Synthesizing Stochasticity in Biochemical Systems.	DAC	2007	DBLP DOI BibTeX RDF
53	Tong Zhao, Arye Nehorai	Detecting and estimating biochemical dispersion of a moving source in a semi-infinite medium.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
53	Yasunori Osana, Masato Yoshimi, Akira Funahashi, Noriko Hiroi, Yuichiro Shibata, Naoki Iwanaga, Hiroaki Kitano, Hideharu Amano	Performance Evaluation of an Fpga-Based Biochemical Simulator ReCSip.	FPL	2006	DBLP DOI BibTeX RDF
53	Tae-Sung Jung, Kyoung-Ran Kim, Seung-Hyun Jung, Tae-Kyung Kim, Myung-Sang Ahn, Jong-Hak Lee, Wan-Sup Cho	SPDBS: An SBML-Based Biochemical Pathway Database System.	ICIC (3)	2006	DBLP DOI BibTeX RDF
53	Yves Deville, David R. Gilbert, Jacques van Helden, Shoshana J. Wodak	An Overview of Data Models for the Analysis of Biochemical Pathways.	CMSB	2003	DBLP DOI BibTeX RDF
45	Paola Lecca, Alida Palmisano, Corrado Priami, Guido Sanguinetti	A new probabilistic generative model of parameter inference in biochemical networks.	SAC	2009	DBLP DOI BibTeX RDF	biochemical networks, parameter estimation, systems biology, maximum likelihood methods
45	Simon Hardy, Pierre N. Robillard	Visualization of the simulation data of biochemical network models: a painted Petri net approach.	SCSC	2007	DBLP BibTeX RDF	biochemical modeling, quantitative studies, visualization, petri net, invariants
45	Jane Hillston	Quantitative analysis of biochemical signalling pathways.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	biochemical signalling pathways, systems biology, stochastic process algebra
45	Marc Vass, Clifford A. Shaffer, Naren Ramakrishnan, Layne T. Watson, John J. Tyson	The JigCell Model Builder: A Spreadsheet Interface for Creating Biochemical Reaction Network Models.	IEEE ACM Trans. Comput. Biol. Bioinform.	2006	DBLP DOI BibTeX RDF	Biochemical reaction networks, user interface paradigms, modeling, bioinformatics
45	Paola Lecca	A time-dependent extension of gillespie algorithm for biochemical stochastic pi-calculus.	SAC	2006	DBLP DOI BibTeX RDF	biochemical systems modeling, chemical kinetics simulation, gillespie algorithm, passive transport, stochastic ?-calculus
43	Mathias Ortner, Arye Nehorai	A Sequential Detector for Biochemical Release in Realistic Environments.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
43	Andrzej Ehrenfeucht, Grzegorz Rozenberg	Biochemical Reactions as Computations.	CiE	2007	DBLP DOI BibTeX RDF
43	Laurence Calzone, Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman	Machine Learning Biochemical Networks from Temporal Logic Properties.	Trans. Comp. Sys. Biology	2006	DBLP DOI BibTeX RDF
43	Masato Yoshimi, Yasunori Osana, Yow Iwaoka, Yuri Nishikawa, Toshinori Kojima, Akira Funahashi, Noriko Hiroi, Yuichiro Shibata, Naoki Iwanaga, Hiroaki Kitano, Hideharu Amano	An FPGA Implementation of High Throughput Stochastic Simulator for Large-Scale Biochemical Systems.	FPL	2006	DBLP DOI BibTeX RDF
43	Matt Coatney, Srinivasan Parthasarathy 0001	MotifMiner: Efficient discovery of common substructures in biochemical molecules.	Knowl. Inf. Syst.	2005	DBLP DOI BibTeX RDF	Substructure discovery, Macromolecules, Cheminformatics, Bioinformatics, Frequent-pattern discovery
43	Leila Shepherd, Chris Toumazou	Towards an implantable ultra-low power biochemical signal processor for blood and tissue monitoring.	ISCAS (5)	2005	DBLP DOI BibTeX RDF
43	Federico Fontana, Luca Bianco, Vincenzo Manca	P Systems and the Modeling of Biochemical Oscillations.	Workshop on Membrane Computing	2005	DBLP DOI BibTeX RDF
43	Patrick Doherty 0001, Steve Kertes, Martin Magnusson 0001, Andrzej Szalas	Towards a Logical Analysis of Biochemical Pathways.	JELIA	2004	DBLP DOI BibTeX RDF
43	Dragan Bosnacki	Black Box Checking for Biochemical Networks.	CMSB	2004	DBLP DOI BibTeX RDF
43	Jing Ding, Daniel Berleant, Jun Xu, Andy W. Fulmer	Extracting Biochemical Interactions from MEDLINE Using a Link Grammar Parser.	ICTAI	2003	DBLP DOI BibTeX RDF
41	Richard J. Boys, Darren J. Wilkinson, Thomas B. L. Kirkwood	Bayesian inference for a discretely observed stochastic kinetic model.	Stat. Comput.	2008	DBLP DOI BibTeX RDF	Biochemical networks, Block updating, Lotka-Volterra model, Markov jump process, MCMC methods, Parameter estimation, Systems biology, Reversible jump
41	Hauke Busch, Werner Sandmann, Verena Wolf	A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion.	CMSB	2006	DBLP DOI BibTeX RDF	Biochemical Reactions, Markov Chain, Aggregation, Stochastic Model
39	Elena Maftei, Paul Pop, Jan Madsen	Tabu search-based synthesis of dynamically reconfigurable digital microfluidic biochips.	CASES	2009	DBLP DOI BibTeX RDF	reconfigurability, microfluidics, biochips
39	Anqi Cui, Hua Xu, Peifa Jia	Anti-germ Performance Prediction for Detergents Based on Elman Network on Small Data Sets.	ADMA	2009	DBLP DOI BibTeX RDF	Anti-germ performance prediction, Monotonicity rule, Pre-processing methods, Artificial neural networks
39	Venkatesh Mysore, Bud Mishra	Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks.	AB	2007	DBLP DOI BibTeX RDF
39	François Fages, Sylvain Soliman	Type Inference in Systems Biology.	CMSB	2006	DBLP DOI BibTeX RDF
39	Jason H. Moore, Lance W. Hahn	An Improved Grammatical Evolution Strategy for Hierarchical Petri Net Modeling of Complex Genetic Systems.	EvoWorkshops	2004	DBLP DOI BibTeX RDF
35	Orsalia Georgia Hazapis, Elias S. Manolakos	Scalable FRM-SSA SoC Design for the Simulation of Networks with Thousands of Biochemical Reactions in Real Time.	FPL	2011	DBLP DOI BibTeX RDF	Biochemical reaction networks, GillespieÂ¢s stochastic simulation algorithm, First Reaction Method, FPGAs, SoCs, Systems Biology
35	Jyh-Jong Tsay, Bo-Liang Wu, Chang-Ching Hsieh	Automatic Extraction of Kinetic Information from Biochemical Literatures.	FSKD (5)	2009	DBLP DOI BibTeX RDF	Biochemical Literatures, kinetic parameter, Literatures mining
35	Jyh-Jong Tsay, Bo-Liang Wu, Yu-Sen Jeng	Hierarchically Organized Layout for Visualization of Biochemical Pathway.	BMEI (1)	2008	DBLP DOI BibTeX RDF	Pathway Layout, Biochemical
33	Tomoya Ishimori, Hideki Yamada, Yuichiro Shibata, Yasunori Osana, Masato Yoshimi, Yuri Nishikawa, Hideharu Amano, Akira Funahashi, Noriko Hiroi, Kiyoshi Oguri	Pipeline Scheduling with Input Port Constraints for an FPGA-Based Biochemical Simulator.	ARC	2009	DBLP DOI BibTeX RDF
33	Daniela Besozzi, Paolo Cazzaniga, Giancarlo Mauri, Dario Pescini, Leonardo Vanneschi	A Comparison of Genetic Algorithms and Particle Swarm Optimization for Parameter Estimation in Stochastic Biochemical Systems.	EvoBIO	2009	DBLP DOI BibTeX RDF
33	Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley	Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process.	HSCC	2008	DBLP DOI BibTeX RDF
33	Mónica F. Bugallo, Petar M. Djuric	A stochastic approach to solving inverse problems of biochemical networks.	ICASSP	2008	DBLP DOI BibTeX RDF
33	Mathias Ortner, Arye Nehorai	Biochemical transport modeling, estimation and detection in realistic environments.	ICASSP	2008	DBLP DOI BibTeX RDF
33	Maria Rodriguez-Fernandez, Julio R. Banga	Global Sensitivity Analysis of a Biochemical Pathway Model.	IWPACBB	2008	DBLP DOI BibTeX RDF	Identifiability analysis, global sensitivity analysis, Sobol’ indices, derivative based sensitivity measures
33	Dirk Lebiedz, Dominik Skanda, Marc Fein	Automatic Complexity Analysis and Model Reduction of Nonlinear Biochemical Systems.	CMSB	2008	DBLP DOI BibTeX RDF
33	Michael Pedersen, Gordon D. Plotkin	A Language for Biochemical Systems.	CMSB	2008	DBLP DOI BibTeX RDF	parametrised modules, subtyping, coloured Petri nets, Large-scale
33	Junior Altamiranda, José Aguilar 0001, Luis Hernández	Data Mining system for biochemical analysis in experimental physiology.	IJCNN	2008	DBLP DOI BibTeX RDF
33	Mathias Ortner, Arye Nehorai, Aleksandar Jeremic	Biochemical Transport Modeling and Bayesian Source Estimation in Realistic Environments.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
33	Panos Tzanos, Milos Zefran	Locating a Circular Biochemical Source: Modeling and Control.	ICRA	2007	DBLP DOI BibTeX RDF
33	Lingzhi Luo, Srinivas Akella	Optimal scheduling of biochemical analyses on digital microfluidic systems.	IROS	2007	DBLP DOI BibTeX RDF
33	M. W. J. M. Musters, Hidde de Jong, P. P. J. van den Bosch, Natal A. W. van Riel	Qualitative Analysis of Nonlinear Biochemical Networks with Piecewise-Affine Functions.	HSCC	2007	DBLP DOI BibTeX RDF
33	David R. Gilbert, Monika Heiner, Sebastian Lehrack	A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets.	CMSB	2007	DBLP DOI BibTeX RDF
33	Oana Andrei, Hélène Kirchner	Graph Rewriting and Strategies for Modeling Biochemical Networks.	SYNASC	2007	DBLP DOI BibTeX RDF
33	Elena S. Dimitrova, Abdul Salam Jarrah, Reinhard C. Laubenbacher, Brandilyn Stigler	A Gröbner fan method for biochemical network modeling.	ISSAC	2007	DBLP DOI BibTeX RDF	gröbner bases, gröbner fan, monomial orderings, polynomial dynamical systems, reverse engineering, model selection, computational algebra, network inference
33	Xiaolue Lai, Jaijeet S. Roychowdhury	Fast simulation of large networks of nanotechnological and biochemical oscillators for investigating self-organization phenomena.	ASP-DAC	2006	DBLP DOI BibTeX RDF
33	Akira Funahashi, Yukiko Matsuoka, Akiya Jouraku, Hiroaki Kitano, Norihiro Kikuchi	CellDesigner: a modeling tool for biochemical networks.	WSC	2006	DBLP DOI BibTeX RDF
33	Andrzej Ehrenfeucht, Grzegorz Rozenberg	Computational Nature of Biochemical Reactions.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
33	Erik Winfree	Fault-Tolerance in Biochemical Systems.	UC	2006	DBLP DOI BibTeX RDF
33	Tran Hoai Nam, Chitta Baral, Vinay J. Nagaraj, Lokesh Joshi	Knowledge-Based Integrative Framework for Hypothesis Formation in Biochemical Networks.	DILS	2005	DBLP DOI BibTeX RDF
33	Federico Fontana, Luca Bianco, Vincenzo Manca	A symbolic approach to the simulation of biochemical models: application to circadian rhythms.	CSB Workshops	2005	DBLP DOI BibTeX RDF
33	François Fages	Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM.	LOPSTR	2005	DBLP DOI BibTeX RDF
33	Nicolas Boghossian, Oliver Kohlbacher, Hans-Peter Lenhof	BALL: Biochemical Algorithms Library.	WAE	1999	DBLP BibTeX RDF
33	Carl-Christian Kanne, Falk Schreiber, Dietrich Trümbach	Electronic Biochemical Pathways.	GD	1999	DBLP DOI BibTeX RDF
31	Jialiang Wu, Eberhard Voit	Integrative biological systems modeling: challenges and opportunities.	Frontiers Comput. Sci. China	2009	DBLP DOI BibTeX RDF	biochemical systems theory, hybrid functional Petri net, toggle switch, canonical modeling, stochastic delay, Petri net, hybrid modeling
31	Shanhong Zheng, Chunguang Zhou, Guixia Liu	Signaling Pathway Reconstruction by Fusing Priori Knowledge.	ICIC (1)	2009	DBLP DOI BibTeX RDF	Pathway prediction, HMM model, Biochemical reaction information, Signaling transduction
31	Michael Pedersen	Compositional Definitions of Minimal Flows in Petri Nets.	CMSB	2008	DBLP DOI BibTeX RDF	minimal flows, minimal invariants, the Calculus of Biochemical Systems, Petri nets, modularity
31	John K. Goutsias	A Hidden Markov Model for Transcriptional Regulation in Single Cells.	IEEE ACM Trans. Comput. Biol. Bioinform.	2006	DBLP DOI BibTeX RDF	stochastic biochemical systems, stochastic dynamical systems, transcriptional regulatory systems, Hidden Markov models, Monte Carlo simulation, transcriptional regulation
31	Eugene V. Mamontov, Andrei Koptioug	Nonsearch Paradigm for Large-Scale Parameter-Identification Problems in Dynamical Systems Related to Oncogenic Hyperplasia.	Systems, Control, Modeling and Optimization	2006	DBLP DOI BibTeX RDF	non-search parameter, Krasovskii method, biochemical kinetics, identification, nonlinear dynamic system
31	Patricia Melin, Oscar Castillo 0001	A new method for adaptive model-based control of non-linear dynamic plants using a neuro-fuzzy-fractal approach.	Soft Comput.	2001	DBLP DOI BibTeX RDF	Biochemical reactors, Neural networks, Fuzzy logic, Adaptive control, Fractal theory
29	Maria Luisa Guerriero	Qualitative and Quantitative Analysis of a Bio-PEPA Model of the Gp130/JAK/STAT Signalling Pathway.	Trans. Comp. Sys. Biology	2009	DBLP DOI BibTeX RDF
29	Grzegorz Rozenberg	Reaction Systems: A Formal Framework for Processes.	Petri Nets	2009	DBLP DOI BibTeX RDF
29	Lorenzo Dematté, Tommaso Mazza	On Parallel Stochastic Simulation of Diffusive Systems.	CMSB	2008	DBLP DOI BibTeX RDF	Gillespie SSA, Parallel and distributed simulation, reaction-diffusion systems
29	Hiroyuki Kuwahara, Chris J. Myers	Production-Passage-Time Approximation: A New Approximation Method to Accelerate the Simulation Process of Enzymatic Reactions.	RECOMB	2007	DBLP DOI BibTeX RDF
29	Claudio Eccher, Paola Lecca	Translating SBML Models into the Stochastic pi-Calculus for Stochastic Simulation.	Trans. Comp. Sys. Biology	2006	DBLP DOI BibTeX RDF
29	Masashi Shiozaki, Hirotaka Ono 0001, Kunihiko Sadakane, Masafumi Yamashita	A Probabilistic Model of the DNA Conformational Change.	DNA	2006	DBLP DOI BibTeX RDF
29	Luca Bianco, Federico Fontana, Vincenzo Manca	Reaction-Driven Membrane Systems.	ICNC (2)	2005	DBLP DOI BibTeX RDF
29	Dariusz Mrozek, Bozena Malysiak, Jacek Fraczek, Pawel Kasprowski	Signal Cascades Analysis in Nanoprocesses with Distributed Database System.	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF
29	Franco P. Preparata	Sequencing-by-Hybridization Revisited: The Analog-Spectrum Proposal.	IEEE ACM Trans. Comput. Biol. Bioinform.	2004	DBLP DOI BibTeX RDF
29	Krishna Gopalakrishnan, R. H. Zadeh, Kayvan Najarian, Alireza Darvish	Computational Analysis and Classification of p53 Mutants According to Primary Structure.	CSB	2004	DBLP DOI BibTeX RDF
29	Gong-Xin Yu, George Ostrouchov, Al Geist, Nagiza F. Samatova	An SVM-based Algorithm for Identification of Photosynthesis-specific Genome Features.	CSB	2003	DBLP DOI BibTeX RDF	key genome features, oxygenic photosynthetic process, genome comparative analysis, support vector machines
29	Jie Ding, Krishnendu Chakrabarty, Richard B. Fair	Scheduling of microfluidic operations for reconfigurabletwo-dimensional electrowetting arrays.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
28	Matej Troják, David Safránek, Lubos Brim	Executable Biochemical Space for Specification and Analysis of Biochemical Systems.	CoRR	2020	DBLP BibTeX RDF
28	Matej Troják, David Safránek, Lubos Brim, Jakub Salagovic, Jan Cervený	Executable Biochemical Space for Specification and Analysis of Biochemical Systems.	SASB	2020	DBLP DOI BibTeX RDF
28	Bin Cheng, Marc D. Riedel	Stochastic Transient Analysis of Biochemical Systems and Its Application to the Design of Biochemical Logic Gates.	Pacific Symposium on Biocomputing	2009	DBLP BibTeX RDF
28	David Adalsteinsson, David R. McMillen, Timothy C. Elston	Biochemical Network Stochastic Simulator (BioNetS): software for stochastic modeling of biochemical networks.	BMC Bioinform.	2004	DBLP DOI BibTeX RDF
24	Brendan Elliott, Stephen Mayes, Ali Cakmak 0001, Gultekin Özsoyoglu, Z. Meral Özsoyoglu	Advanced querying interface for biochemical network databases.	SAC	2010	DBLP DOI BibTeX RDF
24	Yu-Yen Ou, Shu-An Chen	Using Efficient RBF Networks to Classify Transport Proteins Based on PSSM Profiles and Biochemical Properties.	IWANN (1)	2009	DBLP DOI BibTeX RDF
24	Jianxiong Ye, Enmin Feng, Lei Wang 0035, Zhilong Xiu, Yaqin Sun	Modeling and Robustness Analysis of Biochemical Networks of Glycerol Metabolism by Klebsiella Pneumoniae.	Complex (1)	2009	DBLP DOI BibTeX RDF	Metabolic network inference, Biological robustness, Transport across cell membrane, Parameter identification
24	Thomas R. Kiehl	Evolving biochemical reaction networks with stochastic attributes.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	intracellular signalling, genetic algorithms, stochastic simulation
24	Mirko Viroli, Matteo Casadei	Biochemical Tuple Spaces for Self-organising Coordination.	COORDINATION	2009	DBLP DOI BibTeX RDF
24	Martin Schwarick, Monika Heiner	CSL Model Checking of Biochemical Networks with Interval Decision Diagrams.	CMSB	2009	DBLP DOI BibTeX RDF
24	Baozhen Chen, Chengwu Tao, Sumarlin William, Santosh Pandey	Biochemical sensing of charged polyelectrolytes with a novel CMOS floating-gate device architecture.	EIT	2008	DBLP DOI BibTeX RDF
24	Masato Yoshimi, Yuri Nishikawa, Yasunori Osana, Akira Funahashi, Yuichiro Shibata, Hideki Yamada, Noriko Hiroi, Hiroaki Kitano, Hideharu Amano	Practical implementation of a network-based stochastic biochemical simulation system on an FPGA.	FPL	2008	DBLP DOI BibTeX RDF
24	Marek Kwiatkowski, Ian Stark	The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling.	CMSB	2008	DBLP DOI BibTeX RDF
24	Robin Donaldson, David R. Gilbert	A Model Checking Approach to the Parameter Estimation of Biochemical Pathways.	CMSB	2008	DBLP DOI BibTeX RDF