Results 91 to 100 of about 1,497,677 (335)
Nanosafety data provide a guiding example for establishing best practices in data management, aligning with FAIR principles and quality criteria. This review explores existing quality assessment approaches for reliability, relevance, and completeness, emphasizing the need for harmonization and adaptation to nanomaterials and advanced materials. The aim
Verónica I. Dumit +43 more
wiley +1 more source
This study examines the experiences of gifted high school students in transforming mathematical logic knowledge and skills into creative project productivity and computational thinking skills (CTS) through their logic-based project productions.
Gülnur Özbek +2 more
doaj +1 more source
CellPolaris decodes how transcription factors guide cell fate by building gene regulatory networks from transcriptomic data using transfer learning. It generates tissue‐ and cell‐type‐specific networks, identifies master regulators in cell state transitions, and simulates TF perturbations in developmental processes.
Guihai Feng +27 more
wiley +1 more source
Relational Version of the Multi-agent Computation Tree Logic $\mathcal{CTLK}$
This paper deals with multi-agent computation tree logic --- $\mathcal{CTLK}$ (Computation Tree Logic with Knowledge). Each agent represents its own computational route of the initial problem, and new branches of possible computational routes spawn new ...
S. I. Bashmakov, K. A. Smelykh
doaj +1 more source
Knowledge Graph Reasoning with Logics and Embeddings: Survey and Perspective [PDF]
Wen Zhang +5 more
openalex +1 more source
Problem solving in ID-logic with aggregates: some experiments
The goal of the LP+ project at the K.U.Leuven is to design an expressive logic, suitable for declarative knowledge representation, and to develop intelligent systems based on Logic Programming technology for solving computational problems using the ...
Denecker, Marc, Van Nuffelen, Bert
core +1 more source
This study presents a novel microscopic imaging system capable of rapid, section‐free scanning of irregular tissue surfaces, delivering high sensitivity for detecting cancer cell clusters during intraoperative tumor margin assessment. Abstract Rapid and accurate intraoperative examination of tumor margins is crucial for precise surgical treatment, yet ...
Zhicheng Shao +17 more
wiley +1 more source
Dynamic Logic of Knowledge DKpr: its Metalogical Properties
The paper shows that the author's first order modal logic of knowledge DKpr is consistent and complete, that compactness theorem, Lewenheim-Skolem theorem and Craig interpolation theorem may be true of it.
E E Lednikov
doaj
Single‐cell sequencing reveals stress‐programmed immune states driving TNFα–TNFR2–mediated Treg activation and therapy resistance in breast cancer, while targeting this axis restores antitumor immunity. ABSTRACT The tumor microenvironment (TME) harbors diverse immune cell states that shape therapeutic outcomes in breast cancer.
Zhibo Shao +18 more
wiley +1 more source
Convergent and Divergent Connectivity Patterns of the Arcuate Fasciculus in Macaques and Humans
This study employs viral‐based single‐neuron tracing and dMRI‐based whole‐brain tractography to investigate arcuate fasciculus (AF) trajectories in macaque monkeys, and compares with the human AF connectome using spectral embedding. Results demonstrate conserved AF topography spanning temporoparietal‐auditory‐frontal pathways across primates, with ...
Jiahao Huang +17 more
wiley +1 more source

