A Joint Spectral Radius for $$\omega $$-Regular Language-Driven Switched Linear Systems

Belief Revision Theory

Method for Synchronizing a Set of Devices, Associated Computer Program and Synchronization System

Smart Crawling: A New Approach toward Focus Crawling from Twitter

A Floating-Point Numbers Theory for Event-B

The Competitiveness of Randomized Strategies for Canadians via Systems of Linear Inequalities

New lower bounds for Schur and weak Schur numbers

A Comparison Study of Graph Neural Network and Support Vector Machine

Human-Centric AI to Mitigate AI Biases

Automatisation du codage des récits de rêve : une approche basée sur la génération de paraphrases

Détection de l'émotion à partir de ses composantes dans des récits émotionnels

Graph Neural Network-based Surrogate Models for Finite Element Analysis

Point-Cloud-based Deep Learning Models for Finite Element Analysis

Étude de transférabilité des clés pour le liage de données entre graphes de connaissances

On the Parameterized Complexity of Counting Small-Sized Minimum \(\boldsymbol{(S,T)}\)-Cuts

Le problème du décor revisité : un modèle logique pour le diagnostic d'erreurs humaines

Knowledge Graph Refinement based on Triplet BERT-Networks

Modelling and Proving Safety in Autonomous Cars Scenarios in HOL-CSP

Capturer les biais cognitifs dans un processus de prise de décision erroné

Low-order models for predicting radiative transfer effects on Rayleigh–Bénard convection in a cubic cell at different Rayleigh numbers

B-GRAP: Balanced GRAph Partitioning Algorithm for Large Graphs

OntoEventB: A Generator of Event-B contexts from Ontologies

Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking

Numerical tools to study hydrogen flame acceleration

Microwave Imaging by Elastic Deformation

Using Delay Blocks to Make Non-Diagnosable Discrete Event Systems Diagnosable

Modeling and analysing Cyber–Physical Systems in HOL-CSP

Philosophers may Dine - Definitively!

Knowledge Graph Refinement based on Triplet BERT-Networks

Micro-Doppler Signal Representation for Drone Classification by Deep Learning

Effect of tension and compression stress on the magnetic losses in a low-Carbon steel

Conception des onduleurs de tension : Comparaison entre une structure classique et une structure multiniveau NPC

Hardy-type inequalities for the Carnot-Carathéodory distance in the Heisenberg group

A prevalent cancer susceptibility APOBEC3A hybrid allele bearing APOBEC3B 3′UTR enhances chromosomal DNA damage

Design of a passive dispersive filter for analog pulse compression radar

Mean-Covariance Steering of a Linear Stochastic System with Input Delay and Additive Noise

Stochastic Adversarial Gradient Embedding for Active Domain Adaptation

Nonlinear enhancement of locking range of mutually injection-locked oscillators for resonant sensing applications

Nonlinear operation of resonant sensors based on weakly-coupled resonators: Experimental investigation of an actively-coupled architecture

A Workflow Perspective in Aviation

Synergistic Effects of BaTiO 3 /Multiwall Carbon Nanotube as Fillers on the Electrical Performance of Triboelectric Nanogenerator Based on Polydimethylsiloxane Composite Films

Vibration Reduction Control of Switched Reluctance Machine

Multi-physics modeling and optimization of a multi-V-shape IPM with concentrated winding

Resilience Management of Infrastructure Systems from a Multistage Decision Making Perspective

Feedback on Innovative Pedagogy for teaching Systems Modeling

Nonlinear operation of resonant sensors based on weakly-coupled resonators: experimental investigation of an actively-coupled architecture

Decision support for R&D activities of innovative technologies

Effect of torrefaction intensity on the flow properties of lignocellulosic biomass powders

A Narrative Approach to Strategy as Practice: strategy making from texts and narratives

Parallel Light Speed Labeling: an efficient connected component algorithm for labeling and analysis on multi-core processors