Results 41 to 50 of about 11,463 (263)
Le Parménide de Platon : une cosmologie sans kosmos ?
Études Platoniciennes, 2019 The aim of this paper is to question the absence, in the second part of Plato’s Parmenides, of the word kosmos and kindred words such as diakosmos etc., whereas they are frequent in others Plato’s dialogues, a question all the more necessary if one ...
Gabrièle Wersinger Taylor
doaj +1 more source
Digital twins to accelerate target identification and drug development for immune‐mediated disorders
FEBS Open Bio, EarlyView.Digital twins integrate patient‐derived molecular and clinical data into personalised computational models that simulate disease mechanisms. They enable rapid identification and validation of therapeutic targets, prediction of drug responses, and prioritisation of candidate interventions.
Anna Niarakis, Philippe Moingeon
wiley +1 more source
Every metric space is separable in function realizability [PDF]
, 2019 We first show that in the function realizability topos every metric space is separable, and every object with decidable equality is countable. More generally, working with synthetic topology, every $T_0$-space is separable and every discrete space is ...
Bauer, Andrej, Swan, Andrew
core +2 more sources
Arthritis Care &Research, EarlyView.Objective We aimed to validate the Pediatric Arthritis Ultrasound Scoring System (PAUSS) for upper extremity joints in children with juvenile idiopathic arthritis (JIA). Methods Children with JIA were evaluated for elbow, wrist, or finger arthritis by clinical examination (CE) and musculoskeletal ultrasound (MSUS) with images scored according to the ...
Patricia Vega‐Fernandez +12 more
wiley +1 more source
Several types of types in programming languages [PDF]
, 2015 Types are an important part of any modern programming language, but we often forget that the concept of type we understand nowadays is not the same it was perceived in the sixties. Moreover, we conflate the concept of "type" in programming languages with
A Church +19 more
core +5 more sources
Higher-Order Illative Combinatory Logic [PDF]
The Journal of Symbolic Logic, 2013 AbstractWe show a model construction for a system of higher-order illative combinatory logic thus establishing its strong consistency. We also use a variant of this construction to provide a complete embedding of first-order intuitionistic predicate logic with second-order propositional quantifiers into the system of Barendregt, Bunder and Dekkers ...
openaire +4 more sources
A Q‐Learning Algorithm to Solve the Two‐Player Zero‐Sum Game Problem for Nonlinear Systems
International Journal of Adaptive Control and Signal Processing, Volume 39, Issue 3, Page 566-581, March 2025.A Q‐learning algorithm to solve the two‐player zero‐sum game problem for nonlinear systems. ABSTRACT This paper deals with the two‐player zero‐sum game problem, which is a bounded L2$$ {L}_2 $$‐gain robust control problem. Finding an analytical solution to the complex Hamilton‐Jacobi‐Issacs (HJI) equation is a challenging task.
Afreen Islam +2 more
wiley +1 more source
Interfaces: A Journal of Medieval European Literatures, 2015 A study of the practice of dictamen among the schools and chanceries of Late medieval Europe (13th–15th c.) offers a broad range of perspectives in order to map neglected dimensions of late medieval textual cultures.
Benoît Grévin
doaj +1 more source
Finite State Machine Synthesis for Evolutionary Hardware
, 2013 This article considers application of genetic algorithms for finite machine synthesis. The resulting genetic finite state machines synthesis algorithm allows for creation of machines with less number of states and within shorter time.
Bereza, Andrey +2 more
core +1 more source
Planar Solid‐State Nanopores Toward Scalable Nanofluidic Integration Based on CMOS Technology
Advanced Engineering Materials, EarlyView.We present a scalable silicon‐based fabrication strategy for planar solid‐state nanopores to enable their integration with complex nanofluidic systems. Prototype devices demonstrate normal voltage‐current characteristics, good noise performance, and appreciable streaming currents. Our CMOS‐compatible fabrication process offers precise geometric control
Ngan Hoang Pham +7 more
wiley +1 more source