Aligator: A mathematica package for invariant generation

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (31)

Creating and controlling exceptional points of non-Hermitian Hamiltonians via homodyne Lindbladian invariance

Fabrizio Minganti

The exceptional points (EPs) of non-Hermitian Hamiltonians (NHHs) are spectral degeneracies associated with coalescing eigenvalues and eigenvectors, which are associated with remarkable dynamical properties. These EPs can be generated experimentally in ope ...

AMER PHYSICAL SOC2022

Formula Normalizations in Verification

Viktor Kuncak, Mario Bucev, Simon Guilloud, Dragana Milovancevic

We propose a new approach for normalization and simplification of logical formulas. Our approach is based on algorithms for lattice-like structures. Specifically, we present two efficient algorithms for computing a normal form and deciding the word problem ...

2023

Automating cutting planes is NP-hard

Mika Tapani Göös

We show that Cutting Planes (CP) proofs are hard to find: Given an unsatisfiable formula F, It is -hard to find a CP refutation of F in time polynomial in the length of the shortest such refutation; and unless Gap-Hitting-Set admits a nontrivial algorithm, ...

ACM2021

Stretchable tubular device and use thereof as a counterpulsation device

Yves Perriard, Yoan René Cyrille Civet, Jonathan André Jean-Marie Chavanne, Thomas Guillaume Martinez, Morgan Almanza

The present invention is related to a stretchable tubular device (1) comprising at least one layer (Lx) of a stretchable polymer, a power supply (2) and a set of electrodes (3a, 3b) connected to said power supply (2). The power supply can supply at least a ...

2021

Model order reduction of flow based on a modular geometrical approximation of blood vessels

Simone Deparis, Luca Pegolotti

We are interested in a reduced order method for the efficient simulation of blood flow in arteries. The blood dynamics is modeled by means of the incompressible Navier–Stokes equations. Our algorithm is based on an approximated domain-decomposition of the ...

2021

The completeness of the generalized eigenfunctions and an upper bound for the counting function of the transmission eigenvalue problem for Maxwell equations

Hoài-Minh Nguyên, Jean Louis-Alexandre Fornerod

Cakoni and Nguyen recently proposed very general conditions on the coefficients of Maxwell equations for which they established the discreten ess of the set of eigenvalues of the transmission problem and studied their locations. In this paper, we establish ...

2021

Guidelines for performing lignin-first biorefining

Jeremy Luterbacher, Feng Wang

The valorisation of the plant biopolymer lignin is now recognised as essential to enabling the economic viability of the lignocellulosic biorefining industry. In this context, the "lignin-first" biorefining approach, in which lignin valorisation is conside ...

2021

Model-Based Interpretation of Measurements for Fatigue Evaluation of Existing Reinforced Concrete Bridges

Eugen Brühwiler, Ian Smith, Sai Ganesh Sarvotham Pai, Imane Bayane

New methods are required for sustainable and economical management of bridges. Efficient management can be achieved by a detailed understanding of bridge behavior through monitoring and model-based data interpretation. This paper presents a methodology to ...

2021

Flow Path Optimization for Soft Pneumatic Actuators: Towards Optimal Performance and Portability

Jamie Paik, Harshal Arun Sonar, Sagar Dattatray Joshi

Soft pneumatic actuators (SPAs) are highly desirable for interactive robotics applications owing to their unconventional properties like high compliance, safe human-machine interaction and adaptable design space. The SPA dynamic behaviour is governed by pn ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2021

Aligning the Design of Educational Robotics Tools With Classroom Activities

Francesco Mondada, Christian Giang, Alberto Piatti

This chapter addresses the alignment of educational robotics (ER) tools with classroom activities. To this end, it first introduces a conceptualization of ER activities describing the relevant cognitive artifacts and the learning theories underlying such a ...

IGI Global2021

Distributed Learning in Non-Convex Environments-Part II: Polynomial Escape From Saddle-Points

Ali H. Sayed, Stefan Vlaski

The diffusion strategy for distributed learning from streaming data employs local stochastic gradient updates along with exchange of iterates over neighborhoods. In Part I [3] of this work we established that agents cluster around a network centroid and pr ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2021

Page 2 sur 2