Sciweavers

3032 search results - page 339 / 607
» Complexity of sequences and dynamical systems
Sort
View
PCI
2005
Springer
16 years 3 days ago
Middleware for Building Ubiquitous Computing Applications Using Distributed Objects
Ubiquitous systems are characterized by multi-fold complexity, stemming mainly from the vast number of possible interactions between many heterogeneous objects and services. Device...
Nicolas Drossos, Eleni Christopoulou, Achilles Kam...
ASPDAC
1999
ACM
117views Hardware» more  ASPDAC 1999»
15 years 11 months ago
Analysing Forced Oscillators with Multiple Time Scales
We present a novel formulation, called the WaMPDE, for solving systems with forced autonomous components. An important feature of the WaMPDE is its ability to capture frequency mo...
Onuttom Narayan, Jaijeet S. Roychowdhury
ML
2008
ACM
104views Machine Learning» more  ML 2008»
15 years 6 months ago
Many holes in hindley-milner
We implement statically-typed multi-holed contexts in OCaml using an underlying algebraic datatype augmented with phantom types. Existing approaches require dynamic checks or more...
Sam Lindley
MAGS
2007
100views more  MAGS 2007»
15 years 6 months ago
Engineering agent-mediated integration of bioinformatics analysis tools
Abstract. The availability of massive amounts of biological data, distributed in various data sources, has prompted the development of a wide range of data analysis tools. However,...
Vassilis Koutkias, Andigoni Malousi, Nicos Maglave...
FMSB
2008
129views Formal Methods» more  FMSB 2008»
15 years 8 months ago
Rule-Based Modelling, Symmetries, Refinements
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...
Vincent Danos, Jérôme Feret, Walter F...