Publications associées à Moteur de règles

Orthologic with Axioms

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

Lin Yuan, Yumeng Hou

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, Jérémy Vuilleumier, Adrian Stefan Gheata, Dario Diviani, Luigi Bonacina, Simon Kaiser

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, Miroslav Caban, Joachim von Zitzewitz, Hari Prasanth, Urs Keller

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, Mukesh Kumar Tripathi, Ahmet Avsar, Yanfei Zhao, Guilherme Migliato Marega, Zhenyu Wang

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

Elise Acheson

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