Sciweavers

1805 search results - page 174 / 361
» Functional programming with structured graphs
Sort
View
TYPES
1993
Springer
15 years 5 months ago
The Expressive Power of Structural Operational Semantics with Explicit Assumptions
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...
Marino Miculan
BMCBI
2007
115views more  BMCBI 2007»
15 years 1 months ago
Correlation between structure and temperature in prokaryotic metabolic networks
Background: In recent years, an extensive characterization of network structures has been made in an effort to elucidate design principles of metabolic networks, providing valuabl...
Kazuhiro Takemoto, Jose C. Nacher, Tatsuya Akutsu
WFLP
2009
Springer
277views Algorithms» more  WFLP 2009»
15 years 8 months ago
Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures
Context-sensitive rewriting is a restriction of rewriting that can be used to elegantly model declarative specification and programming languages such as Maude. Furthermore, it ca...
Stephan Falke, Deepak Kapur
ICDM
2009
IEEE
125views Data Mining» more  ICDM 2009»
15 years 8 months ago
A Fully Automated Method for Discovering Community Structures in High Dimensional Data
—Identifying modules, or natural communities, in large complex networks is fundamental in many fields, including social sciences, biological sciences and engineering. Recently s...
Jianhua Ruan
CORR
2010
Springer
168views Education» more  CORR 2010»
14 years 11 months ago
Gaussian Process Structural Equation Models with Latent Variables
In a variety of disciplines such as social sciences, psychology, medicine and economics, the recorded data are considered to be noisy measurements of latent variables connected by...
Ricardo Silva