This paper presents an empirical study on using syntactic and semantic information for Concept Segmentation and Labeling (CSL), a well-known component in spoken language understanding. Our approach is based on reranking N -best outputs from a state-of-the-art CSL parser. We perform extensive experimentation by comparing different tree-based kernels with a variety of representations of the avail...

In this paper we investigate a potential use of fluid approximation techniquesin the context of stochastic model checking of CSL formulae. We focus onproperties describing the behaviour of an individual agent in a (large) pop-ulation of agents, exploiting a limit result known as fast simulation. Inparticular, we will approximate the behaviour of a single agent with a time-in...

The Ackermann Award is presented to the recipients at the annual conference of the EACSL. The jury is entitled to give more than one award per year. The award consists of a diploma, an invitation to present the thesis at the CSL conference, the publication of the abstract of the thesis and the citation in the CSL proceedings, and travel support to attend the conference. The first Ackermann Awar...

Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We compare the two solution techniques when applied to the verification of time-bounded until formulae in the temporal stochastic logic CSL. This study differs from most previous comparisons of numerical and statistical ...

Résumé : La logique de similarité comparative des concepts CSL a été introduite en 2005 par Shremet, Tishkowsky, Wolter et Zakharyaschev pour représenter des informations qualitatives sur la similarité entre des concepts, du type “A est plus similaire à B qu’à C”. La sémantique utilise des espaces de distances afin de représenter le degré de similarité entre objets du domaine. Dans cet article,...

Introduction: A Direct Simulation Monte Carlo (DSMC) solver with a modified collisional routine is used to investigate an argon gas flow through millimeter-scaled thruster nozzle high-density ratios. Method: The limiter scheme, denoted as the constant selection (CSL), limits possible number of selected pairs value in accordance present simulation particles cell. Results: Results CSL scheme are ...

Selected area channeling patterns imaged on an SEM are digitized and displayed on the screen of a Macintosh computer, on which the user selects channeling bands that are measured to determine orientation. Grain boundary misorientations are found using the orientation information for pairs of grains adjacent at grain boundaries, and the boundaries are classified as low angle boundaries (LABs), c...

NOTCH3 gene amplification plays an important role in the progression ofmany ovarian and breast cancers, but the targets of NOTCH3 signaling are unclear. Here, we report the use of an integrated systems biology approach to identify direct target genes for NOTCH3. Transcriptome analysis showed that suppression of NOTCH signaling in ovarian and breast cancer cells led to downregulation of genes in...

NOTCH3 gene amplification plays an important role in the progression of many ovarian and breast cancers, but the targets of NOTCH3 signaling are unclear. Here, we report the use of an integrated systems biology approach to identify direct target genes for NOTCH3. Transcriptome analysis showed that suppression of NOTCH signaling in ovarian and breast cancer cells led to downregulation of genes i...