Fractional Collections with Cardinality Bounds, and Mixed Integer Linear Arithmetic with Stars

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

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 ...

In this thesis, we propose to formally derive amplitude equations governing the weakly nonlinear evolution of non-normal dynamical systems, when they respond to harmonic or stochastic forcing, or to an initial condition. This approach reconciles the non-mo ...

The ability to reason, plan and solve highly abstract problems is a hallmark of human intelligence. Recent advancements in artificial intelligence, propelled by deep neural networks, have revolutionized disciplines like computer vision and natural language ...

In light of the challenges posed by climate change and the goals of the Paris Agreement, electricity generation is shifting to a more renewable and decentralized pattern, while the operation of systems like buildings is increasingly electrified. This calls ...

We establish shape holomorphy results for general weakly- and hyper-singular boundary integral operators arising from second-order partial differential equations in unbounded two-dimensional domains with multiple finite-length open arcs. After recasting th ...

We study quantifiers and interpolation properties in ortho- logic, a non-distributive weakening of classical logic that is sound for formula validity with respect to classical logic, yet has a quadratic-time decision procedure. We present a sequent-based p ...

This work considers which higher order modeling e ffects on the cosmic shear angular power spectra must be taken into account for Euclid. We identified the relevant terms and quantified their individual and cumulative impact on the cosmological parameter i ...

In Part I of this paper, an inequality satisfied by the vacuum energy density of the universe was derived using an indirect and heuristic procedure. The derivation is based on a proposed thought experiment, according to which an electron is accelerated to ...

We discuss two extensions to a recently introduced theory of arrays, which are based on considerations coming from the model theory of power structures. First, we discuss how the ordering relation on the index set can be expressed succinctly by referring t ...

In the standard model of particle physics, the chiral anomaly can occur in relativistic plasmas and plays a role in the early Universe, protoneutron stars, heavy-ion collisions, and quantum materials. It gives rise to a magnetic instability if the number d ...

The recent advance of large language models (LLMs) demonstrates that these large-scale foundation models achieve remarkable capabilities across a wide range of language tasks and domains. The success of the statistical learning approach challenges our unde ...

This article explores how the logic underlying modal practices tends to modulate the population’s responsiveness to improvements in global transport supply. Based on a quantitative survey conducted in 2018–2019 among the working population of the cantons o ...

A critical component of a successful language generation pipeline is the decoding algorithm. However, the general principles that should guide the choice of a decoding algorithm re- main unclear. Previous works only compare decoding algorithms in narrow sc ...

A rare case of a quasar acting as a gravitational lens allows a precise determination of the mass of the quasar's host galaxy and offers a new path to studying the connections between supermassive black holes and their host galaxies. ...

This paper describes CosmoGattice, a modern package for lattice simulations of the dynamics of interacting scalar and gauge fields in an expanding universe. CosmoGattice incorporates a series of features that makes it very versatile and powerful: i) it is ...

Primordial black holes (PBHs) are black holes that might have formed in high density regions in the early universe. The presence of local-type non-Gaussianity can lead to large-scale fluctuations in the PBH formation rate. If PBHs make up a non-negligible ...

The popular isolation level multiversion Read Committed (RC) exchanges some of the strong guarantees of serializability for increased transaction throughput. Nevertheless, transaction workloads can sometimes be executed under RC while still guaranteeing se ...

Machine learning models trained with passive sensor data from mobile devices can be used to perform various inferences pertaining to activity recognition, context awareness, and health and well-being. Prior work has improved inference performance through t ...

In this text, we will show the existence of lattice packings in a family of dimensions by employing division algebras. This construction is a generalization of Venkatesh's lattice packing result Venkatesh (Int Math Res Notices 2013(7): 1628-1642, 2013). In ...

We study the homogenization of the Poisson equation with a reaction term and of the eigenvalue problem associated to the generator of multiscale Langevin dynamics. Our analysis extends the theory of two-scale convergence to the case of weighted Sobolev spa ...

Fractional Collections with Cardinality Bounds, and Mixed Integer Linear Arithmetic with Stars

Chat with Graph Search

Orthologic with Axioms

Non-normal forms

Infusing structured knowledge priors in neural models for sample-efficient symbolic reasoning

Quantifying the Unknown: Data-Driven Approaches and Applications in Energy Systems

Shape Holomorphy of Boundary Integral Operators on Multiple Open Arcs

Interpolation and Quantifiers in Ortholattices

Euclid preparation XXXVI. Modelling the weak lensing angular power spectrum

Heuristic Estimation of the Vacuum Energy Density of the Universe: Part II-Analysis Based on Frequency Domain Electromagnetic Radiation

Succinct ordering and aggregation constraints in algebraic array theories

Chiral Anomaly and Dynamos from Inhomogeneous Chemical Potential Fluctuations

Monotonicity Reasoning in the Age of Neural Foundation Models

Analysing the potential for modal shiftbased on the logic of modal choice

Language Model Decoding as Likelihood–Utility Alignment

Strong gravitational lensing by AGNs as a probe of the quasar-host relations in the distant Universe

CosmoLattice: A modern code for lattice simulations of scalar and gauge field dynamics in an expanding universe

Primordial black hole isocurvature modes from non-Gaussianity

When is it safe to run a transactional workload under Read Committed?

Keep Sensors in Check: Disentangling Country-Level Generalization Issues in Mobile Sensor-Based Models with Diversity Scores

Lattice packings through division algebras

Homogenization results for the generator of multiscale Langevin dynamics in weighted Sobolev spaces