Results 61 to 70 of about 103,776 (269)

Continual Learning for Multimodal Data Fusion of a Soft Gripper

Advanced Robotics Research, EarlyView.
Models trained on a single data modality often struggle to generalize when exposed to a different modality. This work introduces a continual learning algorithm capable of incrementally learning different data modalities by leveraging both class‐incremental and domain‐incremental learning scenarios in an artificial environment where labeled data is ...
Nilay Kushawaha, Egidio Falotico
wiley   +1 more source

Meaning and Reference in Programming Languages

Philosophies
This paper provides an analysis of the meaning–reference problem, as traditionally advanced in the philosophy of language, for imperative programming languages.
Nicola Angius
doaj   +1 more source

A Semantics for Tracing [PDF]

, 2001
We define a small step operational semantics for a core of Haskell. We modify this semantics to generate traces, specifically Augmented Redex Trails. This small and direct definition of Augmented Redex Trails shall improve our understanding of them and ...
Chitil, Olaf
core   +1 more source

Robustness of a bisimulation-type faster-than preorder

, 2009
TACS is an extension of CCS where upper time bounds for delays can be specified. Luettgen and Vogler defined three variants of bismulation-type faster-than relations and showed that they all three lead to the same preorder, demonstrating the robustness ...
A. Kiehn, Daniele Gorla, F. Corradini, F. Corradini, G. Lüttgen, K. Iltgen, Katrin Iltgen, M.C.B. Hennessy, N. Lynch, R. Milner, S. Arun-Kumar, Sibylle Fröschle, W. Vogler, Walter Vogler   +13 more
core   +2 more sources

Microglial Deletion of Hrh4 Alleviates Alzheimer's Disease Pathologies by Enhancing Microglial Phagocytosis of Amyloid‐β and Tau

Advanced Science, EarlyView.
Histamine H4 receptor (H4R) antagonist VUF6002 mimics low‐dose X‐ray irradiation in aged Alzheimer's disease (AD) mice, enhancing microglial clearance of amyloid‐beta/hyperphosphorylated tau aggregates and restoring cognition. Microglial H4R deletion activates cAMP/TGF‐β1/Smad3 pathway, enhancing phagocytosis, while TGF‐β receptor 1 deletion abolishes ...
Yi‐Jun Xu, Tan Wu, Larry Tso‐Lun Lo, Chi‐Chiu Ko, Xin Wang, Chi Him Eddie Ma   +5 more
wiley   +1 more source

Stepped Frequency Microwave Radiometer Wind-Speed Retrieval Improvements

Remote Sensing, 2019
With the operational deployment of the *SFMR, hurricane reconnaissance and research aircraft provide near real-time observations of the 10 m ocean-surface wind-speed both within and around tropical cyclones.
Joseph W. Sapp, Suleiman O. Alsweiss, Zorana Jelenak, Paul S. Chang, James Carswell   +4 more
doaj   +1 more source

Dynamic Neural Deactivation Bridges Direct and Competitive Inhibition Processes

Advanced Science, EarlyView.
Dynamic neural deactivation bridges traditionally distinct inhibitory mechanisms—direct inhibition and competition‐induced inhibition—revealing a common neural signature across modalities. Multimodal neuroimaging and behavioral experiments demonstrate a temporal dynamic characterized by progressive frontoparietal activation decay and enhanced sensory ...
Zhenhong He, Yifan Du, Ziqi Fu, Youcun Zheng, Nils Muhlert, Barbara Sahakian, Rebecca Elliott   +6 more
wiley   +1 more source

Indicators: Syntactic Vision and Semantic Vision: First Part (Indicadores: la Visión Sintáctica y la Visión Semántica: Primera Parte)

Science & Philosophy, 2017
In this essay several aspects of the concept ‘indicator’ are criticized, as well as the technical consequences of those misconceptions. The most relevant among them is the pretence of measuring the validity of an indicator, e. g.
Alberto Marradi
doaj   +1 more source

Automatically deriving control-flow graph generators from operational semantics [PDF]

, 2022
James Koppel, Jackson Kearl, Armando Solar-Lezama   +2 more
openalex   +1 more source

Transformations of Logic Programs with Goals as Arguments

, 2002
We consider a simple extension of logic programming where variables may range over goals and goals may be arguments of predicates. In this language we can write logic programs which use goals as data.
Pettorossi, Alberto, Proietti, Maurizio
core   +5 more sources