Results 31 to 40 of about 125,940 (271)
, 2018 argumentation frameworks are formal systems that facilitate obtaining conclusions from non-monotonic knowledge systems. Within such a system, an argumentation semantics is defined as a set of arguments with some desired qualities, for example, that the ...
Wong, Renata
core +2 more sources
A κ-denotational semantics for map theory in ZFC + SI [PDF]
Theoretical Computer Science, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Berline, Chantal, Grue, Klaus
openaire +2 more sources
Intuitionistic computability logic [PDF]
, 2006 Computability logic (CL) is a systematic formal theory of computational tasks and resources, which, in a sense, can be seen as a semantics-based alternative to (the syntactically introduced) linear logic.
Japaridze, Giorgi
core +2 more sources
LIN28B Promotes Cancer Cell Dissemination and Angiogenesis
Advanced Biology, EarlyView.Children diagnosed with high‐risk neuroblastoma have a 5‐year event‐free survival rate of less than 50% and poor outcomes after recurrence. Deregulation of the LIN28B oncogene can be addressed in these patients. Upregulation of LIN28B is shown to support the metastatic cascade.
Diana Corallo +8 more
wiley +1 more source
A Montague-based model of Generative Lexical Semantics [PDF]
, 2007 International audienceComputational semantics has long relied upon the Montague correspondance between syntax and semantics, which is not by itself well suited for the computing of some phenomena, such as logical polysemy, addressed by recent advances in
Bassac, Christian +2 more
core +2 more sources
Some fundamental algebraic tools for the semantics of computation
Theoretical Computer Science, 1984 AbstractThis paper develops a number of fundamental tools from category theory and applies them to problems in computation. The tools include algebraic theories, colimits, comma categories and two-dimensional categories. The applications concern making program specifications understandable by expressing them as interconnections of smaller ‘mind sized ...
Rod M. Burstall, Joseph A. Goguen
openaire +3 more sources
Advanced Functional Materials, EarlyView.AI is transforming the research paradigm of battery materials and reshaping the entire landscape of battery technology. This comprehensive review summarizes the cutting‐edge applications of AI in the advancement of battery materials, underscores the critical challenges faced in harnessing the full potential of AI, and proposes strategic guidance for ...
Qingyun Hu +5 more
wiley +1 more source
Bioinspired Adaptive Sensors: A Review on Current Developments in Theory and Application
Advanced Materials, EarlyView.This review comprehensively summarizes the recent progress in the design and fabrication of sensory‐adaptation‐inspired devices and highlights their valuable applications in electronic skin, wearable electronics, and machine vision. The existing challenges and future directions are addressed in aspects such as device performance optimization ...
Guodong Gong +12 more
wiley +1 more source
Deep Learning Analysis of Solid‐Electrolyte Interphase Microstructures in Lithium‐Ion Batteries
Advanced Materials Interfaces, EarlyView.A transformer‐based deep learning model is developed for segmenting and analyzing high‐resolution TEM images of the solid‐electrolyte interphase (SEI) in lithium‐ion batteries. The model is trained on DFT‐based simulated images and predicts SEI grain and grain boundaries, revealing key microstructural features that govern ion transport and degradation.
Ishraque Zaman Borshon +4 more
wiley +1 more source
A Calculus of Mobility and Communication for Ubiquitous Computing
, 2015 We propose a Calculus of Mobility and Communication (CMC) for the modelling of mobility, communication and context-awareness in the setting of ubiquitous computing.
Gul, Nosheen
core +2 more sources