Sciweavers

2730 search results - page 400 / 546
» An Abstract Model for Process Mediation
Sort
View
FSKD
2006
Springer
127views Fuzzy Logic» more  FSKD 2006»
15 years 9 months ago
On the Society of Genome: Social Affiliation Network Analysis of Microarray Data
Abstract. To investigate the structure of the genomic interaction network built from yeast gene-expression compendium dataset of hundreds of systematic perturbations, social affili...
Jung Hun Ohn, Jihoon Kim, Ju Han Kim
COORDINATION
2000
Springer
15 years 9 months ago
GCCS: A Graphical Coordination Language for System Specification
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
Rance Cleaveland, Xiaoqun Du, Scott A. Smolka
ESOP
2000
Springer
15 years 9 months ago
A Kleene Analysis of Mobile Ambients
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv
ASYNC
1997
IEEE
140views Hardware» more  ASYNC 1997»
15 years 9 months ago
The Design and Verification of A High-Performance Low-Control-Overhead Asynchronous Differential Equation Solver
Abstract-This paper describes the design and verification of a high-performance asynchronous differential equation solver benchmark circuit. The design has low control overhead whi...
Kenneth Y. Yun, Ayoob E. Dooply, Julio Arceo, Pete...
ICAISC
2010
Springer
15 years 7 months ago
Computer Assisted Peptide Design and Optimization with Topology Preserving Neural Networks
Abstract. We propose a non-standard neural network called TPNN which offers the direct mapping from a peptide sequence to a property of interest in order to model the quantitative ...
Jörg D. Wichard, Sebastian Bandholtz, Carsten...