Results 111 to 120 of about 176,906 (321)
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 +4 more
wiley +1 more source
Context Semantics, Linear Logic and Computational Complexity
, 2006 We show that context semantics can be fruitfully applied to the quantitative analysis of proof normalization in linear logic. In particular, context semantics lets us define the weight of a proof-net as a measure of its inherent complexity: it is both an
Lago, Ugo Dal
core +3 more sources
The Journal of Studies in Language, Culture and SocietyOur study deals with the systematic construction of the structural representation of meaning, as it is based on a basic topic, which is structure, as it goes beyond the representation of meaning for its parts, as logical representations are usually used
Aida Haouchi
doaj
Large Language Model in Materials Science: Roles, Challenges, and Strategic Outlook
Advanced Intelligent Discovery, EarlyView.Large language models (LLMs) are reshaping materials science. Acting as Oracle, Surrogate, Quant, and Arbiter, they now extract knowledge, predict properties, gauge risk, and steer decisions within a traceable loop. Overcoming data heterogeneity, hallucinations, and poor interpretability demands domain‐adapted models, cross‐modal data standards, and ...
Jinglan Zhang +4 more
wiley +1 more source
Towards a computational formalization of natural language semantics [PDF]
, 1969 Robert Schwarcz
openalex +1 more source
Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.A laser pointer‐guided robotic grasping method for arbitrary objects based on promptable segment anything model and force‐closure analysis is presented. Grasp generation methods based on force‐closure analysis can calculate the optimal grasps for objects through their appearances. However, the limited visual perception ability makes robots difficult to
Yan Liu +5 more
wiley +1 more source
, 2012 An algebraic method is used to study the semantics of exceptions in computer languages. The exceptions form a computational effect, in the sense that there is an apparent mismatch between the syntax of exceptions and their intended semantics.
Dumas, Jean-Guillaume +3 more
core +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
Large Language Model‐Based Chatbots in Higher Education
Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.The use of large language models (LLMs) in higher education can facilitate personalized learning experiences, advance asynchronized learning, and support instructors, students, and researchers across diverse fields. The development of regulations and guidelines that address ethical and legal issues is essential to ensure safe and responsible adaptation
Defne Yigci +4 more
wiley +1 more source
On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks [PDF]
, 2014 We analyse the expressiveness of the two-valued semantics of abstract argumentation frameworks, normal logic programs and abstract dialectical frameworks.
Strass, Hannes
core