We are improving our search experience.

As we work to add all features, to check which content you have full access to, or for advanced search, go back to the old search.

Search

Please fill in this field.

Search Results

Showing 1-20 of 228 results
  1. Active wireless ultrawideband networks based on chaotic radio pulses

    Active wireless networks with ultrawideband chaotic pulses used as the data carrier for wireless transmission are discussed. A universal transceiver...

    A. S. Dmitriev, M. Yu. Gerasimov, ... A. I. Ryzhov in Journal of Communications Technology and Electronics
    Article 26 April 2017
  2. Final Thoughts

    In sum, we have presented an epigenetic catalysis epigenetic catalysis model of development that can, in a natural manner,...
    Rodrick Wallace, Deborah Wallace in Gene Expression and Its Discontents
    Chapter 2016
  3. Timely Dataflow: A Model

    This paper studies timely dataflow, a model for data-parallel computing in which each communication event is associated with a virtual time. It...
    Conference paper 2015
  4. Speed-Up of Stochastic Simulation of PCTMC Models by Statistical Model Reduction

    We present a novel statistical model reduction method which can significantly boost the speed of stochastic simulation of a population...
    Cheng Feng, Jane Hillston in Computer Performance Engineering
    Conference paper 2015
  5. On the Implementation of Quantitative Model Refinement

    The iterative process of adding details to a model while preserving its numerical behavior is called quantitative model refinement, and it has been...
    Bogdan Iancu, Diana-Elena Gratie, ... Ion Petre in Algorithms for Computational Biology
    Conference paper 2014
  6. Extensible and Executable Stochastic Models of Fatty Acid and Lipid Metabolism

    Stochastic reaction-centric views are suitable for exploring hybrid minimal mechanism-statistical models of fatty acid and lipid metabolism, the...
    Argyris Zardilis, João Dias, ... James Smith in Computational Methods in Systems Biology
    Conference paper 2014
  7. Biomechanical modelling in nanomedicine: multiscale approaches and future challenges

    Nanomedicine is the branch of nanotechnology devoted to the miniaturization of devices and to the functionalization of processes for the diagnosis...

    Matteo Taffetani, Carlo de Falco, ... Pasquale Ciarletta in Archive of Applied Mechanics
    Article 01 July 2014
  8. Transactions on Computational Systems Biology XIV Special Issue on Computational Models for Cell Processes

    The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science...
    Corrado Priami, Ion Petre, Erik Vink in Lecture Notes in Computer Science
    Conference proceedings 2012
  9. Minimal Reaction Systems Defining Subset Functions

    In reaction systems introduced by Ehrenfeucht and Rozenberg the number of resources is essential when various questions concerning generative...
    Chapter 2014
  10. Qualitative modelling via constraint programming

    Qualitative modelling is a technique integrating the fields of theoretical computer science, artificial intelligence and the physical and biological...

    Thomas W. Kelsey, Lars Kotthoff, ... Ian P. Gent in Constraints
    Article 12 February 2014
  11. A Bioinspired Computing Approach to Model Complex Systems

    The use of models is intrinsic to any scientific activity. In particular, formal/mathematical models provide a relevant tool for scientific...
    Mario J. Pérez-Jiménez in Membrane Computing
    Conference paper 2014
  12. Empirical Study of Computational Intelligence Strategies for Biochemical Systems Modelling

    Modelling biochemical networks can be achieved by iteratively analyzing parts of the systems via top-down or bottom-up approaches. It is feasible to...
    Chapter 2014
  13. Mean Field for Performance Models with Generally-Distributed Timed Transitions

    In this paper we extend the mean-field limit of a class of stochastic models with exponential and deterministic delays to include exponential and...
    Richard A. Hayden, Illés Horváth, Miklós Telek in Quantitative Evaluation of Systems
    Conference paper 2014
  14. Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions

    A central problem in systems biology is to identify parameter values such that a biological model satisfies some behavioral constraints (e.g., time...
    Bing Liu, Soonho Kong, ... Edmund M. Clarke in Computational Methods in Systems Biology
    Conference paper 2014
  15. Characterization of Reachable Attractors Using Petri Net Unfoldings

    Attractors of network dynamics represent the long-term behaviours of the modelled system. Their characterization is therefore crucial for...
    Thomas Chatain, Stefan Haar, ... Stefan Schwoon in Computational Methods in Systems Biology
    Conference paper 2014
  16. 50 Shades of Rule Composition

    Graph rewriting has been applied quite successfully to model chemical and biological systems at different levels of abstraction. A particularly...
    Jakob Lykke Andersen, Christoph Flamm, ... Peter F. Stadler in Formal Methods in Macro-Biology
    Conference paper 2014
  17. The Benefits of Sometimes Not Being Discrete

    Discrete representations of systems are usual in theoretical computer science and they have many benefits. Unfortunately they also suffer from the...
    Conference paper 2014
  18. Processes Inspired by the Functioning of Living Cells: Natural Computing Approach

    Natural Computing (cf., e.g., [12,13]) is concerned with human-designed computing inspired by nature as well as with computation taking place in...
    Andrzej Ehrenfeucht, Grzegorz Rozenberg in The Nature of Computation. Logic, Algorithms, Applications
    Conference paper 2013
  19. Processes Inspired by the Functioning of Living Cells: Natural Computing Approach

    Natural Computing (see, e.g., [12,13]) is concerned with human-designed computing inspired by nature as well as with computation taking place in...
    Andrzej Ehrenfeucht, Grzegorz Rozenberg in Unconventional Computation and Natural Computation
    Conference paper 2013