Results 81 to 90 of about 46,642 (251)

Semantically informed methods in structural proof theory

, 2023
This thesis is part of a line of research aimed at investigating how insights and results from the algebraic and relational semantics of given families of logics can contribute to the design of ‘good’ proof calculi for these logics. It focuses on the intersection between syntax and semantics in structural proof theory.
openaire   +2 more sources

Brain‐Computer Interface Training Fosters Perceptual Skills to Detect Errors

Advanced Science, EarlyView.
Accurate perception of visuomotor errors underpins motor precision and learning, yet conventional behavioral training fails to improve sensitivity to subtle errors. Real‐time EEG‐based brain‐computer interface feedback targeting the error positivity component enhances perceptual learning of small errors.
Deland H. Liu, Fumiaki Iwane, Minsu Zhang, Leonardo G. Cohen, José del R. Millán   +4 more
wiley   +1 more source

Research on Development of Agricultural Geographic Information Ontology

Journal of Integrative Agriculture, 2012
This paper first analyzes the reason that agricultural geographic information gives rise to semantic heterogeneity and solution thereof. Although OWL (web ontology language) is the standard of ontology representation language in semantic web, it is ...
Yong-qi HUANG, Wei-hong CUI, Yang-jian ZHANG, Gao-yan DENG   +3 more
doaj   +1 more source

CD177 Deficiency Defines a Stable Subtype of Human Neutrophil Granulocytes with Tumor Promoting Activity

Advanced Science, EarlyView.
Human neutrophils exist as two epigenetically imprinted subtypes defined by stable CD177 expression or absence — a ratio that persists across time, circadian rhythms, and inflammation. CD177− neutrophils display a distinct molecular landscape enriched in arginase 1 and lipid metabolism markers, accumulate in head‐and‐neck tumors, and associate with ...
Marcel Jung, Alexander Beer, Susmita Ghosh, Ekaterina Pylaeva, Belal Alshaar, Tobias Tertel, Nils Bastian Leimkühler, Thomas Schroeder, Janine Gronewold, Nina Hagemann, Ayan Mohamud Yusuf, Benedikt Frank, Yiqiao Zhang, Dennis Nagel, Kim Schloeßer, Laura Karsch, Emily Hedtfeld, Sabrina Lohmann, Kathrin Blank, Andreas Kraus, Max Krumbein, Nastassia Kabankova, Hongxiao Wang, Almke Bader, Mathis Richter, Fengjun Zhang, Raphael Chevre, Bernd Giebel, Stephan Lang, Anika Grüneboom, Daniela Maier‐Begandt, Anja Hasenberg, Oliver Soehnlein, Hans Christian Reinhardt, Sven Heiles, Jianxu Chen, Jadwiga Jablonska, Albert Sickmann, Dirk M. Hermann, Matthias Gunzer   +39 more
wiley   +1 more source

Experience‐Dependent Reorganization of Hippocampal CA3 Neuronal Ensembles Associates With Memory Generalization

Advanced Science, EarlyView.
Mice can transfer the learned rule of spatial working memory to guide similar but novel tasks. Hippocampal CA3 populational activity dynamically reorganize during memory generalization, shifting from task‐specific to generalized coding over testing days. Sparse yet redundant neural representations of CA3 enable rule transfer and cognitive map formation,
Da Song, Zilu Zhu, Yujun Deng, Yujie Song, Hui Li, Junjun Ni, Zhenzhen Quan, Yan Yan, Hong Qing   +8 more
wiley   +1 more source

An Evaluative Baseline for Sentence-Level Semantic Division

Machine Learning and Knowledge Extraction
Semantic folding theory (SFT) is an emerging cognitive science theory that aims to explain how the human brain processes and organizes semantic information. The distribution of text into semantic grids is key to SFT.
Kuangsheng Cai, Zugang Chen, Hengliang Guo, Shaohua Wang, Guoqing Li, Jing Li, Feng Chen, Hang Feng   +7 more
doaj   +1 more source

On the Methodology of Informal Rigour: Set Theory, Semantics, and Intuitionism

Journal of Philosophical Logic
Abstract The thesis underlying this paper is that informal rigour – a term famously coined by Kreisel in [63] – corresponds to a more definite method than has previously been recognized. We will illustrate this by first presenting a scheme for what we will refer to as an
Walter Dean, Hidenori Kurokawa
openaire   +2 more sources

Pattern‐Aware Intelligence Enables Nondestructive, Rapid Quantification of High‐Aspect‐Ratio Silicon Etching

Advanced Science, EarlyView.
Pattern‐dependent etching is converted into a physical prior for intelligent reconstruction of high‐aspect‐ratio silicon structures. Combining YOLO‐Pose feature extraction with a topography network, the framework retrieves depth, sidewall angle, and scallop texture from minimal destructive observations, enabling accurate cross‐scale metrology and near ...
Shuyan He, Lang Chen, Bo Wen, Yufeng Jin, Wei Wang   +4 more
wiley   +1 more source

A Partition-Based Semantics for Deontic Modals

Principia: An International Journal of Epistemology
Kolodny and MacFarlane (“Ifs and oughts,” JPhil 107(3)) and MacFarlane (Assessment sensitivity, Chapter 11) describe the distinctive behavior of deontic modals in deliberation. They highlight two main features that any semantic theory should account for.
Ramiro Caso
doaj   +1 more source

A Unified Paradigm of Organized Complexity and Semantic Information Theory

CoRR, 2016
One of the most fundamental problems in science is to define {\it quantitatively} the complexity of organized matters, i.e., {\it organized complexity}. Although many measures have been proposed toward this aim in previous decades, there is no agreed upon definition. This paper presents a new quantitative definition of organized complexity.
openaire   +2 more sources