Sciweavers

8699 search results - page 1397 / 1740
» Elements of the Theory of Computation
Sort
View
RECOMB
2005
Springer
16 years 9 days ago
An Interactive Map of Regulatory Networks of Pseudomonas aeruginosa Genome
For studying gene regulatory and protein signaling networks, we have developed an interactive map for the Pseudomonas aeruginosa genome. We first represent genes, proteins and the...
Weihui Wu, Yongling Song, Shouguang Jin, Su-Shing ...
SAC
2004
ACM
16 years 7 days ago
A method to define an Enterprise Architecture using the Zachman Framework
The proliferation of IT and its consequent dispersion is an enterprise reality, however, most organizations do not have adequate tools and/or methodologies that enable the managem...
Carla Marques Pereira, Pedro Sousa
IMR
2004
Springer
16 years 5 days ago
Mesh Movement Governed by Entropy Production
The aim of this paper is to study the feasibility of using (irreversible) entropy production as driving force for a moving mesh. Such a method should be able to capture or track p...
Edwin M. Knobbe
IMR
2004
Springer
16 years 5 days ago
3D Hybrid Mesh Generation for Reservoir Flow Simulation
A great challenge for flow simulators of new generation is to gain more accuracy at well proximity within complex geological structures. For this purpose, a new approach based on...
N. Flandrin, Houman Borouchaki, Chakib Bennis
LATIN
2004
Springer
16 years 5 days ago
Approximating the Expressive Power of Logics in Finite Models
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...
Argimiro Arratia, Carlos E. Ortiz
« Prev « First page 1397 / 1740 Last » Next »