Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Moteur de règles

Publications associées (25)

Orthologic with Axioms

Viktor Kuncak, Simon Guilloud

We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having polyno ...

Association for Computing Machinery2024

Building a Knowledge Graph of Chinese Kung Fu Masters From Heterogeneous Bilingual Data

Yumeng Hou, Lin Yuan, Lin Yuan

Various endeavours into semantic web technologies and ontology engineering have been made within the organisation of cultural data, facilitating public access to digital assets. Although models for conceptualising objects have reached a certain level of ma ...

2023

Photoresponsive Nanocarriers Based on Lithium Niobate Nanoparticles for Harmonic Imaging and On-Demand Release of Anticancer Chemotherapeutics

Sandrine Gerber, Luigi Bonacina, Jérémy Vuilleumier, Adrian Stefan Gheata, Dario Diviani

Nanoparticle-based drug delivery systems have the potential for increasing the efficiency of chemotherapeutics by enhancing the drug accumulation at specific target sites, therebyreducing adverse side effects and mitigating patient acquired resistance. In ...

2022

Wearable Sensor-Based Real-Time Gait Detection: A Systematic Review

Auke Ijspeert, Grégoire Courtine, Joachim von Zitzewitz, Miroslav Caban

Gait analysis has traditionally been carried out in a laboratory environment using expensive equipment, but, recently, reliable, affordable, and wearable sensors have enabled integration into clinical applications as well as use during activities of daily ...

2021

Predictive user-based relocation through incentives in one-way car-sharing systems

Nikolaos Geroliminis, Patrick Stefan Adriaan Stokkink

Car-sharing systems are an attractive alternative to private vehicles due to their benefits in terms of mobility and sustainability. However, the distribution of vehicles throughout the network in one-way systems is disturbed due to asymmetry and stochasti ...

2021

Automated Design Tool for Automotive Control Actuators

Jürg Alexander Schiffmann, Cyril Picard

Automated design tools are seldom used in industry. Their potential, however, is high, especially in companies mostly active in variant design, where custom tools could help cut down development time in the early stages. The design of geared electro-mechan ...

2020

Logic-in-memory based on an atomically thin semiconductor

Aleksandra Radenovic, Andras Kis, Ahmet Avsar, Zhenyu Wang, Yanfei Zhao, Mukesh Kumar Tripathi, Guilherme Migliato Marega

The growing importance of applications based on machine learning is driving the need to develop dedicated, energy-efficient electronic hardware. Compared with von Neumann architectures, which have separate processing and storage units, brain-inspired in-me ...

2020

Machine learning for cross-gazetteer matching of natural features

Defining and identifying duplicate records in a dataset is a challenging task which grows more complex when the modeled entities themselves are hard to delineate. In the geospatial domain, it may not be clear where a mountain, stream, or valley ends and be ...

2020

Quantification of the conditional value of SHM data for the fatigue safety evaluation of a road viaduct

Eugen Brühwiler, Imane Bayane

Fatigue safety verification of existing bridges that uses ‘‘re-calculation’’ based on codes, usually results in insufficient fatigue safety, triggering invasive interventions. Instead of “re-calculation”, Structural Health Monitoring (SHM) should be used f ...

2019

A Rule Synthesis Algorithm for Programmable Stochastic Self-Assembly of Robotic Modules

Alcherio Martinoli, Bahar Haghighat

Programmable self-assembly of modular robots offers promising means for structure formation at different scales. Rule-based approaches have been previously employed for distributed control of stochastic self-assembly processes. The assembly rate in the pro ...

SPRINGER INTERNATIONAL PUBLISHING AG2019

Raspberry-Pi based system for propofol monitoring

Sandro Carrara, Danilo Demarchi, Francesca Stradolini, Tugba Kilic, Abuduwaili Tuoheti

Induction of anesthesia with propofol is a largely adopted technique in hospital environments. The correct dosage of this compound is essential to avoid under- or over-anesthesia that may result in serious side-effects. Therefore, in clinical settings, lon ...

ELSEVIER SCIENCE BV2018

Linking interactive optimization for urban planning with a semantic 3D city model

François Maréchal, Nils Christian Schüler, Sébastien Cajot

The cities in which we live are constantly evolving. The active management of this evolution is referred to as urban planning. The according development process could go in many directions resulting in a large number of potential future scenarios of a city ...

Copernicus GmbH2018

Lightfields behind amplitude masks: Creating phase discontinuities

Hans Peter Herzig, Toralf Scharf, Wilfried Noell, Myun Sik Kim, Krishnaparvathy Puthankovilakam

Shaping of light fields behind amplitude and phase masks the basis the lithographic structure reproduction. The aerial image or better the intensity distribution defines the resolution of the structure to be printed. Contrast is the main parameter and to a ...

Ieee2016

A Theory Agenda for Component-Based Design

Simon Bliudze, Joseph Sifakis

The aim of the paper is to present a theory agenda for component-based design based on results that motivated the development of the BIP component framework, to identify open problems and discuss further research directions. The focus is on proposing a sem ...

Springer International Publishing2015

Discriminant Multi-Label Manifold Embedding for Facial Action Unit Detection

Jean-Philippe Thiran, Anil Yuce, Hua Gao

This article describes a system for participation in the Facial Expression Recognition and Analysis (FERA2015) sub-challenge for spontaneous action unit occurrence detection. The problem of AU detection is a multi-label classification problem by its nature ...

2015

Chaotropic Agents Boosting the Performance of Photo-ionic Cells

Hubert Girault, Pekka Eero Peljo, Heron Vrubel, Manuel Alejandro Méndez Agudelo, Astrid Johana Olaya Avendano, Jelissa Risse

Photo-ionic cells are a simple and scalable concept for direct solar energy storage, where the redox fuels produced by the photoreaction are separated in different phases to prevent recombination. The presence of chaotropic agents such as urea, that break ...

Amer Chemical Soc2015

High-resolution, large-area fabrication of compliant electrodes via laser ablation for robust, stretchable dielectric elastomer actuators and sensors

Herbert Shea, Samuel Rosset, Oluwaseun Adelowo Araromi

A key element in stretchable actuators, sensors and systems based on elastomer materials are compliant electrodes. While there exist many methodologies for fabricating electrodes on dielectric elastomers, very few succeed in achieve high-resolution pattern ...

Amer Chemical Soc2015

Minimizing Efforts in Validating Crowd Answers

Karl Aberer, Quoc Viet Hung Nguyen, Chi Thang Duong

In recent years, crowdsourcing has become essential in a wide range of Web applications. One of the biggest challenges of crowdsourcing is the quality of crowd answers as workers have wide-ranging levels of expertise and the worker community may contain fa ...

2015

Verification of Component-based Systems via Predicate Abstraction and Simultaneous Set Reduction

Simon Bliudze, Qiang Wang

This paper presents a novel safety property verification approach for component-based systems modelled in BIP (Behaviour, Interaction and Priority), encompassing multiparty synchronisation with data transfer and priority. Our contributions consist of: (1 ...

Springer2015

Classification of selectively constrained DNA elements using feature vectors and rule-based classifiers

Philipp Bucher, Slavica Dimitrieva Janeva

Scarce work has been done in the analysis of the composition of conserved non-coding elements (CNEs) that are identified by comparisons of two or more genomes and are found to exist in all metazoan genomes. Here we present the analysis of CNEs with a metho ...

Academic Press Inc Elsevier Science2014