Smart Crawling: A New Approach toward Focus Crawling from Twitter

Graph Neural Network-based Surrogate Models for Finite Element Analysis

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

A multi-source graph database to showcase a recommender system for dyslexic students

A Hierarchical Deep Learning Approach for Minority Instrument Detection

A Formal Analysis of Quantum Algorithms

A linear-non-linear model for a computational call-by-value lambda calculus (extended abstract)

A lambda calculus for quantum computation with classical control

Programmer un ordinateur quantique

Toward analytic rewriting theory

Programming the quantum future

Generating reversible circuits from higher-order functional programs

A time synchronization protocol for A664-P7

The vectorial λ-calculus

Toward certified quantum programming

Synthesizing Quantum Circuits via Numerical Optimization

From Symmetric Pattern-Matching to Quantum Control

On the Semantics of Polychronous Polytimed Specifications

Concrete Resource Analysis of the Quantum Linear System Algorithm used to Compute the Electromagnetic Scattering Cross Section of a 2D Target

Reuse method for quantum circuit synthesis

Realizability in the Unitary Sphere

Quantum circuits synthesis using Householder transformations

A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing

Parallelism and Synchronization in an Infinitary Context

Categorical Semantics of Reversible Pattern-Matching

The Geometry of Parallelism: Classical, Probabilistic, and Quantum Effects

Proceedings 20th International Conference on Quantum Physics and Logic

Semantics of quantum programming languages: Classical control, quantum control

Proceedings 17th International Conference on Quantum Physics and Logic

Semantics for a Higher Order Functional Programming Language for Quantum Computation

Non-deterministic, probabilistic, and quantum effects through the lens of event structures

Decoding techniques applied to the compilation of CNOT circuits for NISQ architectures

Qbricks, un environnement pour la vérification formelle en informatique quantique *

Towards a formal semantics of the TESL specification language

Equivalence of algebraic λ-calculi

Undecidable Case and Decidable Case of Joint Diagnosability in Distributed Discrete Event Systems

A general algorithm for pattern diagnosability of distributed discrete event systems

SMT-based Diagnosability Analysis of Real-Time Systems

New Results for Joint Diagnosability of Self-observed Distributed Discrete Event Systems

A Probabilistic Analysis of Predictability in Discrete Event Systems

An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures

Diagnosability analysis for self-observed distributed discrete event systems

A general algorithm for pattern diagnosability of distributed discrete event systems

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

About Decisiveness of Dynamic Probabilistic Models

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

Probabilistic Analysis of Predictability in Discrete Event Systems

Diagnosability for Patterns in Distributed Discrete Event Systems

Debugging Process Algebra Specifications

How to be Sure a Faulty System Does not Always Appear Healthy?