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 ...
Motivated by the transfer of proofs between proof systems, and in particular from first order automated theorem provers (ATPs) to interactive theorem provers (ITPs), we specify an extension of the TPTP derivation text format to describe proofs in first-ord ...
In this paper, we present a model for the analytical computation of the power flow sensitivity coefficients (SCs) for hybrid AC/DC networks. The SCs are defined as the partial derivates of the nodal voltages with respect to the active and reactive power in ...
Modern power distribution systems are experiencing a large-scale integration of Converter-Interfaced Distributed Energy Resources (CIDERs). Their presence complicates the analysis and mitigation of harmonics, whose creation and propagation may be amplified ...
We prove the non-planarity of a family of 3-regular graphs constructed from the solutions to the Markoff equation x2 + y2 + z2 = xyz modulo prime numbers greater than 7. The proof uses Euler characteristic and an enumeration of the short cycles in these gr ...
A hash proof system (HPS) is a form of implicit proof of membership to a language. Out of the very few existing post-quantum HPS, most are based on languages of ciphertexts of code-based or lattice-based cryptosystems and inherently suffer from a gap cause ...
We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and fun ...
Dagstuhl, Germany, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik2023
The peripheral nervous system (PNS) regulates the exchange of sensory information and
motor commands between the body and the central nervous system. Further, through the
autonomic nervous system, the PNS plays a pivotal role in controlling vital physiolog ...
Prediction of ground motion triggered by earthquakes is a prime concern for both the seismology community and geotechnical earthquake engineering one. The subfield occupied with such a problem is termed site response analysis (SRA), its one-dimensional fla ...
Edible electronics leverages the electronic properties of food-derived materials to deliver safer technologies that can be degraded (or digested) in the environment (or body) at the end-of-life. Sensors will be central to future smart edible robots, and ed ...
