Search results for "inhibitor"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Franco Cicirelli, Angelo Furfaro, Libero Nigro	Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty.	Real Time Syst.	2007	DBLP DOI BibTeX RDF	Temporal uncertainty, Time interval based event delivery, Modelling complex real-time systems, Modularity constructs, Petri Net Markup Language, Distributed simulation, Time Petri nets, Time warp, Temporal analysis, Logical clocks
14	Patricia Buendia	Reconstructing Mutational Pathways from Serial Evolutionary Trees.	BIBE	2007	DBLP DOI BibTeX RDF
14	Majid Masso, Iosif I. Vaisman	A Novel Sequence-Structure Approach for Accurate Prediction of Resistance to HIV-1 Protease Inhibitors.	BIBE	2007	DBLP DOI BibTeX RDF
14	Akiyuki Iwasaki, Tadasuke Nozoe, Takashi Kawauchi, Masahiro Okamoto	Design of Bio-inspired Fault-tolerant Adaptive Routing Based on Enzymatic Feedback Control in the Cell: Towards Averaging Load Balance in the Network.	FBIT	2007	DBLP DOI BibTeX RDF
14	Robert Lorenz 0001, Sebastian Mauser, Gabriel Juhás	How to synthesize nets from languages: a survey.	WSC	2007	DBLP DOI BibTeX RDF
14	Nadia Busi, Claudio Zandron	On the Computational Power of Genetic Gates with Interleaving Semantics: The Power of Inhibition and Degradation.	FCT	2007	DBLP DOI BibTeX RDF
14	Gennady Verkhivker	Computational Proteomics of Biomolecular Interactions in Sequence and Structure Space of the Tyrosine Kinome: Evolutionary Constraints and Protein Conformational Selection Determine Binding Signatures of Cancer Drugs.	WILF	2007	DBLP DOI BibTeX RDF
14	Carlotta Orsenigo, Carlo Vercellis	Predicting HIV Protease-Cleavable Peptides by Discrete Support Vector Machines.	EvoBIO	2007	DBLP DOI BibTeX RDF	HIV protease, cleavable peptides prediction, discrete support vector machines
14	Óscar R. Ribeiro, João M. Fernandes	Translating Synchronous Petri Nets into PROMELA for Verifying Behavioural Properties.	SIES	2007	DBLP DOI BibTeX RDF
14	C. J. Rose, Samantha J. Mills, J. P. B. O'Connor, Giovanni A. Buonaccorsi, Caleb Roberts, Yvonne Watson, Brandon J. Whitcher, Gordon C. Jayson, Alan Jackson, Geoffrey J. M. Parker	Quantifying Heterogeneity in Dynamic Contrast-Enhanced MRI Parameter Maps.	MICCAI (2)	2007	DBLP DOI BibTeX RDF
14	Nadia Busi, Claudio Zandron	Computing with Genetic Gates.	CiE	2007	DBLP DOI BibTeX RDF
14	Maria Bina, Dimitrios C. Karaiskos, George M. Giaglis	Motives and Barriers Affecting the Use of Mobile Data Services.	ICMB	2007	DBLP DOI BibTeX RDF
14	Muffy Calder, Stephen Gilmore, Jane Hillston	Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA.	Trans. Comp. Sys. Biology	2006	DBLP DOI BibTeX RDF
14	David R. Gilbert, Monika Heiner	From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis.	ICATPN	2006	DBLP DOI BibTeX RDF
14	Dirk Ryan Padfield, Jens Rittscher, Thomas Sebastian, Nick Thomas, Badrinath Roysam	Spatio-temporal cell cycle analysis using 3D level set segmentation of unstained nuclei in line scan confocal fluorescence images.	ISBI	2006	DBLP DOI BibTeX RDF
14	Francesco Caruso, David J. Milham, Steve Orobec	Emerging industry standard for managing next generation transport networks: TMF MTOSI.	NOMS	2006	DBLP DOI BibTeX RDF
14	Gabriel Juhás, Robert Lorenz 0001, Sebastian Mauser	Synchronous + Concurrent + Sequential = Earlier than + Not later than.	ACSD	2006	DBLP DOI BibTeX RDF
14	Yongfeng Gu, Tom Van Court, Martin C. Herbordt	Integrating FPGA Acceleration into the Protomol Molecular Dynamics Code: Preliminary Report.	FCCM	2006	DBLP DOI BibTeX RDF
14	Steven Rigby, Melissa Dark	Designing a flexible, multipurpose remote lab for the IT curriculum.	SIGITE Conference	2006	DBLP DOI BibTeX RDF	curriculum, IT education, remote labs
14	Nadia Busi, Claudio Zandron	Computing with Genetic Gates, Proteins, and Membranes.	Workshop on Membrane Computing	2006	DBLP DOI BibTeX RDF
14	Paul Brown, Peter J. Haas, Jussi Myllymaki, Hamid Pirahesh, Berthold Reinwald, Yannis Sismanis	Toward Automated Large-Scale Information Integration and Discovery.	Data Management in a Connected World	2005	DBLP DOI BibTeX RDF
14	Paolo Baldan, Andrea Corradini 0001	On the Concurrent Semantics of Algebraic Graph Grammars.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
14	Tarek S. Najdi, Chin-Rang Yang, Bruce E. Shapiro, G. Wesley Hatfield, Eric Mjolsness	Application of a Generalized MWC Model for the Mathematical Simulation of Metabolic Pathways Regulated by Allosteric Enzymes.	CSB	2005	DBLP DOI BibTeX RDF
14	Christopher S. Campbell, Eser Kandogan, Adam November, Rob Barrett, Paul P. Maglio	Policity: An Experimental Evaluation of Policy-Based Administration in a City Simulation.	POLICY	2005	DBLP DOI BibTeX RDF
14	Yukako Tohsato, Takahiro Kosaka, Susumu Date, Shinji Shimojo, Hideo Matsuda	Heterogeneous Database Federation Using Grid Technology for Drug Discovery Process.	LSGRID	2004	DBLP DOI BibTeX RDF
14	Yang An, Bo Zhao, Fuling Bian	Geo Web Services Based on Semantic.	ER (Workshops)	2004	DBLP DOI BibTeX RDF
14	Hans Albrecht Schmid	Performance Problems of Large Operational Systems Based on Web Services and a Solution.	IEEE SCC	2004	DBLP DOI BibTeX RDF
14	Peter Sanders 0001, Sebastian Egner, Jan H. M. Korst	Fast Concurrent Access to Parallel Disks.	Algorithmica	2003	DBLP DOI BibTeX RDF
14	Holger Mauch	Evolving Petri Nets with a Genetic Algorithm.	GECCO	2003	DBLP DOI BibTeX RDF
14	Kwang-Hyun Cho, Sung-Young Shin, Hyeon-Woo Lee, Olaf Wolkenhauer	Simulation Study of the TNF alpha Mediated NF-kappa B Signaling Pathway.	CMSB	2003	DBLP DOI BibTeX RDF
14	Kwang-Hyun Cho, Sung-Young Shin, Hyun Woo Kim, Olaf Wolkenhauer, Brian McFerran, Walter Kolch	Mathematical Modeling of the Influence of RKIP on the ERK Signaling Pathway.	CMSB	2003	DBLP DOI BibTeX RDF
14	Jörg Desel, Gabriel Juhás, Robert Lorenz 0001	Petri Nets over Partial Algebra.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
14	Fabian Breg, Constantine D. Polychronopoulos	Java virtual machine support for object serialization.	Java Grande	2001	DBLP DOI BibTeX RDF	Java
14	Karsten Schmidt 0004	How to Calculate Symmetries of Petri Nets.	Acta Informatica	2000	DBLP DOI BibTeX RDF
14	Blair Nonnecke, Jennifer Preece	Persistence and Lurkers in Discussion Lists: A Pilot Study.	HICSS	2000	DBLP DOI BibTeX RDF
14	Jeffrey L. Kretsch	Shuttle Radar Topography Mission Overview.	AIPR	2000	DBLP DOI BibTeX RDF
14	Xiuwen Liu, DeLiang L. Wang	Range image segmentation using a relaxation oscillator network.	IEEE Trans. Neural Networks	1999	DBLP DOI BibTeX RDF
14	Cédric Bertolini, Hélène Paugam-Moisy, Didier Puzenat	Priming an Artificial Associative Memory.	IWANN (1)	1999	DBLP DOI BibTeX RDF	Cascaded processing, Artificial neural networks, Associative memory, Connectionism, Priming
14	Piotr Chrzastowski-Wachtel	Testing Undecidability of the Reachability in Petri Nets with the Help of 10th Hilbert Problem.	ICATPN	1999	DBLP DOI BibTeX RDF
14	Larry Gilg	Known Good Die.	J. Electron. Test.	1997	DBLP DOI BibTeX RDF	known good die, KGD, chip scale (size) package, multi-chip module (MCM), wafer probe, membrane probe card, buckling beam probe card, KGD carrier, CSP, burn-in
14	Nadia Busi, Roberto Gorrieri	A Petri Net Semantics for pi-Calculus.	CONCUR	1995	DBLP DOI BibTeX RDF
14	Cosimo Anglano, Luigi Portinale	B-W Analysis: A Backward Reachability Analysis for Diagnostic Problem Solving Suitable to Parallel Implementation.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
14	Giovanni Chiola, Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte	Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	qualitative behavior, firing probabilities, net-level specification, model specification, performance evaluation, formal specification, Petri nets, stochastic processes, structural analysis, structural properties, generalized stochastic Petri net
14	Teruhiro Shimura, Jorge Lobo 0001, Tadao Murata	A Petri Net Semantics for Logic Programs with Negation.	SEKE	1992	DBLP DOI BibTeX RDF
14	Ryszard Janicki, Maciej Koutny	Invariants and Paradigms of Concurrency Theory.	PARLE (2)	1991	DBLP DOI BibTeX RDF
14	Wlodzimierz M. Zuberek	Modified M-timed Petri nets in modelling and performance evaluation of systems.	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF