Single-Layer Quad-Band Printed Reflectarray Antenna with Dual Linear Polarization

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

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

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

Redox reactions underlie several biogeochemical processes and are typically spatiotemporally heterogeneous in soils and sediments. However, redox heterogeneity has yet to be incorporated into mainstream conceptualizations and modeling of soil biogeochemist ...

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

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

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

There is a widespread belief that the tone of political debate in the US has become more negative recently, in particular when Donald Trump entered politics. At the same time, there is disagreement as to whether Trump changed or merely continued previous t ...

A data storage medium (2) comprising a stacked plurality of layers (9), each layer composed of a layer material selected from a group comprising at least two different dielectric materials, adjacent layers being formed of different materials, and at least ...

Protein-based therapeutics, such as monoclonal antibodies and cytokines, are important therapies for various pathophysiological conditions such as oncology, autoimmune disorders, and viral infections. However, the wide application of such protein therapeut ...

Approximate message passing (AMP) algorithms have become an important element of high-dimensional statistical inference, mostly due to their adaptability and concentration properties, the state evolution (SE) equations. This is demonstrated by the growing ...

Preventing the misfolding or aggregation of transactive response DNA binding protein with 43 kDa (TDP-43) is the most actively pursued disease-modifying strategy to treat amyotrophic lateral sclerosis and other neurodegenerative diseases. In this work, we ...

In the framework of Impagliazzo's five worlds, a distinction is often made between two worlds, one where public-key encryption exists (Cryptomania), and one in which only one-way functions exist (MiniCrypt). However, the boundaries between these worlds can ...

Over the past century, our understanding of life has been focused on its most fundamental building blocks: molecules. Biological molecules, such as proteins found in blood, other body fluids, or tissues, are excellent guides to identifying a normal or abno ...

Additive Manufacturing also commonly referred as 3D printing has been given a lot of interest lately. Market is growing exponentially and the aim for obtaining more complex and ready-to use parts is emerging. All the 3D printing processes consist in buildi ...

This contribution outlines a research proposal combining ethical guidelines on AI and a law-as-data approach. Building upon the definitions of soft law discussed in legal scholarship, it proposes a way of structuring the regulatory landscape on AI and of a ...

Advances in mobile computing have paved the way for new types of distributed applications that can be executed solely by mobile devices on Device-to-Device (D2D) ecosystems (e.g., crowdsensing). Sophisticated applications, like cryptocurrencies, need distr ...

MRI is a non-invasive medical imaging modality that is sensitive to patient motion, which constitutes a major limitation in most clinical applications. Solutions may arise from the reduction of acquisition times or from motion-correction techniques, either ...

Single-Layer Quad-Band Printed Reflectarray Antenna with Dual Linear Polarization

Chat with Graph Search

Orthologic with Axioms

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus

Analytical Computation of the Sensitivity Coefficients in Hybrid AC/DC Networks

Non-planarity of Markoff graphs mod p

X-ray chemical imaging for assessing redox microsites within soils and sediments

A Gapless Post-quantum Hash Proof System in the Hamming Metric

LISA – A Modern Proof System

A Sprayable Electrically Conductive Edible Coating for Piezoresistive Strain Sensing

Data-driven 1D wave propagation for site response analysis

United States politicians' tone became more negative with 2016 primary campaigns

Non-volatile data storage medium and system

Rational Design of Chemically Controlled Antibodies and Protein Therapeutics

Graph-based approximate message passing iterations

Effective Inhibition of TDP-43 Aggregation by Native State Stabilization

Public-Key Encryption with Quantum Keys

Dielectric metasurfaces and their applications for optical biosensing

A hybrid Selective Laser Sintering based process for the additive manufacturing of architectured composites

Learning from the Ethics of AI-A Research Proposal on Soft Law and Ethics of AI

Toward Mobile Distributed Ledgers

Choreography Controlled (ChoCo) brain MRI artifact generation for labeled motion-corrupted datasets