Stochastic fragments: A framework for the exact reduction of the stochastic semantics of rule-based models

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Music is hierarchically structured, both in how it is perceived by listeners and how it is composed. Such structure can be elegantly captured using probabilistic grammatical models similar to those used to study natural language. They address the complexit ...

When an epidemic spreads in a given network of individuals or communities, can we detect its source using only the information provided by a small set of nodes? We propose a general framework that incorporates two dimensions. First, we can either rely excl ...

The Web constitutes a valuable source of information. In recent years, it fostered the construction of large-scale knowledge bases, such as Freebase, YAGO, and DBpedia. The open nature of the Web, with content potentially being generated by everyone, howev ...

DNA-protein interactions play an important role in all living organisms on Earth. The advent of atomic force microscopy permitted for the first time to follow and to characterize interaction forces between these two molecular species. After a short descrip ...

Background: Goat populations that are characterized within the AdaptMap project cover a large part of the worldwide distribution of this species and provide the opportunity to assess their diversity at a global scale. We analysed genome-wide 50K single nuc ...

Beryllium oxide (BeO) and deuteroxide (BeOxDy) have been found on the melted zone of a beryllium tile extracted from the upper dump plate of JET-ILW (2011-2012 campaign). Results have been obtained using Raman microscopy, which is sensitive to both the che ...

Programming languages are increasingly compiled to multiple runtimes, each featuring their own rich structures such as their object model. Furthermore, they need to interact with other languages targeting said runtimes. A language targeting only one runtim ...

All organisms leave traces of DNA in their environment. This environmental DNA (eDNA) is often used to track occurrence patterns of target species. Applications are especially promising in rivers, where eDNA can integrate information about populations upst ...

While type soundness proofs are taught in every graduate PL class, the gap between realistic languages and what is accessible to formal proofs is large. In the case of Scala, it has been shown that its formal model, the Dependent Object Types (DOT) calculu ...

Understanding a program entails understanding its context; dependencies, configurations and even implementations are all forms of contexts. Modern programming languages and theorem provers offer an array of constructs to define contexts, implicitly. Scala ...

Experience leaves a trace in the nervous system through plasticity. However, the exact meaning of the mnesic trace is poorly defined in current literature. This article provides a historical review of the term trace in neuroscience and psychoanalysis liter ...

Stochastic fragments: A framework for the exact reduction of the stochastic semantics of rule-based models

Chattez avec Graph Search

Harmonic Syntax in Time: Rhythm Improves Grammatical Models of Harmony

A General Framework for Sensor Placement in Source Localization

User Guidance for Efficient Fact Checking

User Guidance for Efficient Fact Checking

DNA-protein interactions explored by atomic force microscopy

Genome-wide SNP profiling of worldwide goat populations reveals strong partitioning of diversity and highlights post-domestication migration routes

Identification of BeO and BeOxDy in melted zones of the JET Be limiter tiles: Raman study using comparison with laboratory samples

Cross-Platform Language Design

Estimating species distribution and abundance in river networks using environmental DNA

Type Soundness Proofs with Definitional Interpreters

Simplicitly: Foundations and Applications of Implicit Function Types

A Historical Review of Diachrony and Semantic Dimensions of Trace in Neurosciences and Lacanian Psychoanalysis