Results 111 to 120 of about 20,008 (316)

A Hybrid Intuitionistic Logic: Semantics and Decidability

, 2005
An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced by Jia and Walker. The modalities of the logic allow validation of properties in a particular place, in some place and in all places.
Damiano Macedonio, Rohit Chadha, Chadha, R., Vladimiro Sassone, Macedonio, D., Sassone, V.   +5 more
core  

Revising Z: part II - logical development

, 1999
This is the second of two related papers. In "Revising Z: Part I - logic and semantics" (this journal) we introduced a simple specification logic ZC comprising a logic and a semantics (in ZF set theory). We then provided an interpretation for (a rational
Reeves, Steve, Henson, Martin C.
core   +1 more source

Computable Semantic Stability Theory

This document introduces the Computable Semantic Stability Theory (CSST), a formal model describing how artificial agents maintain semantic correctness when operating under finite processing capacity. The theory defines semantic density, agent semantic energy, field alignment, processability confidence, and a self-silencing condition.
openaire   +1 more source

Calculation of the Relaxation Modulus in the Andrade Model by Using the Laplace Transform

Fractal and Fractional
In the framework of the theory of linear viscoelasticity, we derive an analytical expression of the relaxation modulus in the Andrade model Gαt for the case of rational parameter α=m/n∈(0,1) in terms of Mittag–Leffler functions from its Laplace transform
Juan Luis González-Santander, Giorgio Spada, Francesco Mainardi, Alexander Apelblat   +3 more
doaj   +1 more source

Consumer Acceptance of New Sustainable Food Technologies: Upcycling Technology, Biostimulants, and Artificial Intelligence

Agribusiness, EarlyView.
ABSTRACT Food systems have a significant impact on environmental sustainability, underscoring the need for innovative technologies to support more sustainable agricultural methods. However, the adoption of these technologies hinges on consumer acceptance, making the analysis of consumer perceptions essential.
Greta Castellini, Guendalina Graffigna
wiley   +1 more source

Biswas–Chatterjee–Sen Model Defined on Solomon Networks in (1 ≤ D ≤ 6)-Dimensional Lattices

Entropy
The discrete version of the Biswas–Chatterjee–Sen model, defined on D-dimensional hypercubic Solomon networks, with 1≤D≤6, has been studied by means of extensive Monte Carlo simulations.
Gessineide Sousa Oliveira, David Santana Alencar, Tayroni Alencar Alves, José Ferreira da Silva Neto, Gladstone Alencar Alves, Antônio Macedo-Filho, Ronan S. Ferreira, Francisco Welington Lima, João Antônio Plascak   +8 more
doaj   +1 more source

The Necessity of Dynamic Workflow Managers for Advancing Self‐Driving Labs and Optimizers

Advanced Intelligent Discovery, EarlyView.
We assess the maturity and integration readiness of key methodologies for Materials Acceleration Platforms, highlighting the need for dynamic workflow managers. Demonstrating this, we integrate PerQueue into a color‐mixing robot, showing how flexible orchestration improves coordination and optimization.
Simon K. Steensen, Patrick W. V. Butler, Jesper R. Pedersen, Nis Fisker‐Bødker, Tejs Vegge, Jin Hyun Chang, Ivano E. Castelli   +6 more
wiley   +1 more source

Ten Theses on Logic Languages for the Semantic Web [PDF]

, 2005
This articles discusses the logic, or logic-based, languages required for a full deployment of the SemanticWeb. It presents ten theses addressing 1. the kinds of logic languages needed, 2. data and data processing, 3. semantics, and 4.
Massimo Marchiori, Bry, François, Marchiori, Massimo, F. Bry, François Bry   +4 more
core   +1 more source

From Complexity Theory to Computational Wisdom: Enhancing EEG–Neurotransmitter Models Through Sophimatics for Brain Data Analysis

Algorithms
The analysis of brain data through electroencephalography (EEG) has become essential in neuroscience, affective computing, and brain–computer interfaces. Recent work associates EEG features with artificial neurotransmitter models, simulating emotions and
Gerardo Iovane, Giovanni Iovane
doaj   +1 more source

Deep Learning‐Assisted Coherent Raman Scattering Microscopy

Advanced Intelligent Discovery, EarlyView.
The analytical capabilities of coherent Raman scattering microscopy are augmented through deep learning integration. This synergistic paradigm improves fundamental performance via denoising, deconvolution, and hyperspectral unmixing. Concurrently, it enhances downstream image analysis including subcellular localization, virtual staining, and clinical ...
Jianlin Liu, Rujia Liu, Xinyan Zhang, Xun Chen, Shuhua Yue   +4 more
wiley   +1 more source