Results 51 to 60 of about 41,558 (198)
Schematic Cut elimination and the Ordered Pigeonhole Principle [Extended Version]
, 2016 In previous work, an attempt was made to apply the schematic CERES method [8] to a formal proof with an arbitrary number of {\Pi} 2 cuts (a recursive proof encapsulating the infinitary pigeonhole principle) [5].
Cerna, David, Leitsch, Alexander
core +1 more source
Micro/Nanorobots for Combating Brain Disorders: Challenges, Advances, and Perspectives
Advanced Science, EarlyView.Micro/nanorobots (MNRs) offer a transformative approach for precision therapy in brain disorders. By overcoming biological barriers and enabling controlled propulsion, targeted delivery, and real‐time imaging/tracking, MNRs pave the way toward effective, minimally invasive treatments. This review outlines the interplay between brain disease challenges,
Qi Zhang, Dong Sun
wiley +1 more source
Necessary Conditions for Extended Noncontextuality in General Sets of Random Variables
, 2017 We explore the graph approach to contextuality to restate the extended definition of noncontextuality as given by J. Kujala et. al. [Phys. Rev. Lett. 115, 150401 (2015)] using graph-theoretical terms. This extended definition avoids the assumption of the
Amaral, Barbara +2 more
core +1 more source
A Pull‐Out Mooring Wave Energy Converter: Design, Analysis, and Application
Advanced Science, EarlyView.A pull‐out mooring wave energy converter (POM‐WEC) with a high‐performance electromagnetic power take‐off system efficiently converts low‐frequency wave excitation into high‐speed rotor motion, enabling reliable energy harvesting in real marine environments.
Weihan Xu +4 more
wiley +1 more source
An Abstract Approach to Stratification in Linear Logic
, 2013 We study the notion of stratification, as used in subsystems of linear logic with low complexity bounds on the cut-elimination procedure (the so-called light logics), from an abstract point of view, introducing a logical system in which stratification is
Boudes, Pierre +2 more
core +1 more source
Advanced Energy Materials, EarlyView.This perspective highlights how machine learning accelerates sustainable energy materials discovery by integrating quantum‐accurate interatomic potentials with property prediction frameworks. The evolution from statistical methods to physics‐informed neural networks is examined, showcasing applications across batteries, catalysts, and photovoltaics ...
Kwang S. Kim
wiley +1 more source
Price Premiums for Single‐Name and Compound‐Name Geographical Indications in Swiss Cheese Trade
Agribusiness, EarlyView.ABSTRACT Geographical indications (GIs) have become increasingly important in agri‐food markets, especially in Europe. For Swiss cheese imports and exports, we analyze whether GIs are associated with higher trade prices. We find that price premiums can be obtained for both exports and imports. However, this is only the case for cheeses with single name
Judith Irek
wiley +1 more source
Advanced Intelligent Discovery, EarlyView.Combining machine learning and probabilistic statistical learning is a powerful way to discover and design new materials. A variety of machine learning approaches can be used to identify promising candidates for target applications, and causal inference can help identify potential ways to make them a reality.
Jonathan Y. C. Ting, Amanda S. Barnard
wiley +1 more source
The cut elimination theorem in the unary second order language [PDF]
, 1966 Mitsuru Yasuhara
openalex +2 more sources
Fast Cut-Elimination using Proof Terms: An Empirical Study
, 2018 Urban and Bierman introduced a calculus of proof terms for the sequent calculus LK with a strongly normalizing reduction relation. We extend this calculus to simply-typed higher-order logic with inferences for induction and equality, albeit without ...
Ebner, Gabriel
core +2 more sources