Results 81 to 90 of about 3,345 (227)

Evaluating the Impact of Circuit Representation on LLM‐Based Functional Block Recognition in Analogue Circuits

Electronics Letters, Volume 62, Issue 1, January/December 2026.
This paper investigates how circuit representation, flat SPICE Netlists versus structured PySpice code, influences LLM performance in functional block recognition tasks. Using a benchmark of six analogue comparator circuits derived from a standard educational collection. Our results reveal that most models showed decreased performance on the structured
Andrei Dăescu, Alexandru Guzu, Georgian Nicolae, Claudius Dan   +3 more
wiley   +1 more source

An Abstract Approach to Consequence Relations

, 2019
We generalise the Blok-J\'onsson account of structural consequence relations, later developed by Galatos, Tsinakis and other authors, in such a way as to naturally accommodate multiset consequence.
Cintula, Petr, Férez, José Gil, Moraschini, Tommaso, Paoli, Francesco   +3 more
core   +1 more source

For your eyes too: a new set of images of biological materials from the scientific commissioning of the MOGNO beamline at Sirius

Journal of Synchrotron Radiation, Volume 33, Issue 1, Page 170-180, January 2026.
From whole specimens to histological level reconstructions, images derived from 3D synchrotron‐based microtomography (SR‐microCT) have emerged as a tool that is revolutionizing a wide range of biological research. This paper presents the first commissioning results from experiments to image the anatomy of small animals and specimens from zooarchaeology
Marcos Vinicius Colaço, Thaina Alvarenga, Nathaly Lopes Archilha, Elis Barroso, Gustavo Colaço, Camila Cupello, Helio Ricardo da Silva, Gabriel Fidalgo, Anderson Marques Garcia, Samara Oliveira, Katrine Paiva, Gabriela Sena, Tayane Tanure, Regina Cely Barroso   +13 more
wiley   +1 more source

Sequent Systems for Consequence Relations of Cyclic Linear Logics

Bulletin of the Section of Logic
Linear Logic is a versatile framework with diverse applications in computer science and mathematics. One intriguing fragment of Linear Logic is Multiplicative-Additive Linear Logic (MALL), which forms the exponential-free component of the larger ...
Paweł Płaczek
doaj   +1 more source

Hybrid Modeling for Bioprocesses: Architectures, Applications, and Perspectives

Engineering Reports, Volume 7, Issue 12, December 2025.
This review analyzes 270 studies on hybrid semi‐parametric modeling in bioprocess engineering, highlighting dominant architectures, applications, and tools. It emphasizes the potential of hybrid models and process‐systems engineering to improve accuracy, extrapolation, and sustainability, aligning bioprocess development with key UN Sustainable ...
Juan Federico Herrera‐Ruiz, Javier Fontalvo, Oscar Andrés Prado‐Rubio   +2 more
wiley   +1 more source

A Paradox of Inferentialism [PDF]

, 2015
John McDowell articulated a radical criticism of normative inferentialism against Robert Brandom’s expressivist account of conceptual contents. One of his main concerns consists in vindicating a notion of intentionality that could not be reduced to the ...
Turbanti, Giacomo
core  

Artificial Intelligence Revolutionizes Anti‐Infective Drug Discovery: From Target Identification to Lead Optimization

iMetaMed, Volume 1, Issue 2, December 2025.
Artificial intelligence (AI) technology is revolutionizing antimicrobial drug development. In response to increasingly severe antimicrobial resistance challenges, AI can efficiently predict pathogen evolutionary trends, identify potential drug targets, and accelerate compound design and optimization, thereby significantly shortening the development ...
Kexin Li, Quan Yuan, Chang Qi, Ying Shi, Hong Yang, Anqi Lin, Shuofeng Yuan   +6 more
wiley   +1 more source

The gulf between behavioural psychology and fundamental physiology: a systematic attempt to bridge the gap [PDF]

, 2007
Direct experimentation in much of this area is very difficult or impossible. For such circumstances, it is argued that much can be achieved by a rigorous quantitative programme of interdisciplinary theorizing based on available data.
Traill, RR
core  

A Substructural Modal Logic of Utility

Journal of Logic and Computation, 2017
Abstract We introduce a substructural modal logic of utility that can be used to reason aboutoptimality with respect to properties of states. Our notion of state is quite general, and is able to represent resource allocation problems in distributed systems. The underlying logic is a variant of the modal logic of bunched implications, and
Pym, D, Anderson, G
openaire   +2 more sources

Algebraic proof theory for LE-logics

, 2018
In this paper we extend the research programme in algebraic proof theory from axiomatic extensions of the full Lambek calculus to logics algebraically captured by certain varieties of normal lattice expansions (normal LE-logics).
Greco, Giuseppe, Jipsen, Peter, Liang, Fei, Palmigiano, Alessandra, Tzimoulis, Apostolos   +4 more
core   +1 more source