Results 61 to 70 of about 241,667 (307)

Discrete Group Actions on Digital Objects and Fixed Point Sets by Iso_k(·)-Actions

Mathematics, 2021
Given a digital image (or digital object) (X,k),X⊂Zn, this paper initially establishes a group structure of the set of self-k-isomorphisms of (X,k) with the function composition, denoted by Isok(X) or Autk(X).
Sang-Eon Han
doaj   +1 more source

Deriving real-time action systems with multiple time bands using algebraic reasoning [PDF]

, 2014
The verify-while-develop paradigm allows one to incrementally develop programs from their specifications using a series of calculations against the remaining proof obligations.
Derrick, J, Dongol, B, Hayes, IJ
core   +1 more source

Flexible and fine-grained simulation of speed in language processing

Frontiers in Psychology
According to the embodied cognition theory, language comprehension is achieved through mental simulation. This account is supported by a number of studies reporting action simulations during language comprehension. However, which details of sensory-motor
Xueyao Pan, Bingqian Liang, Xi Li
doaj   +1 more source

Examining Whether Semantic Cues Can Affect Felt Heaviness When Lifting Novel Objects

Journal of Cognition, 2020
It is well established that manipulations of low-level stimulus properties unrelated to mass can impact perception of heaviness, the most famous example being the size-weight illusion whereby small objects feel heavier than equally-weighted larger ...
Caitlin Elisabeth Naylor, T. J. Power, Gavin Buckingham   +2 more
doaj   +1 more source

Solving Action Semantic Conflict in Physically Heterogeneous Multi-Agent Reinforcement Learning with Generalized Action-Prediction Optimization

Applied Sciences
Traditional multi-agent reinforcement learning (MARL) algorithms typically implement global parameter sharing across various types of heterogeneous agents without meticulously differentiating between different action semantics.
Xiaoyang Yu, Youfang Lin, Shuo Wang, Sheng Han   +3 more
doaj   +1 more source

Embodiment, Semantics and Social Action: The Case of Object-Transfer in L2 Classroom Interaction

Frontiers in Communication, 2021
Using conversation analysis and usage-based linguistics, I focus on a beginning L2 user in an ESL classroom and trace his use of a “family of expressions” which, from the perspective of linguistic theory, are instantiations of either the ditransitive ...
S. W. Eskildsen
doaj   +1 more source

The Use of Action Semantics

DAIMI Report Series, 1986
Formal descriptions of semantics have so far failed to match the acceptance and popularity of formal descriptions of syntax. Thus, in current standards for programming languages, syntax is usually described formally but semantics informally, despite the greater danger of impreciseness in the description of semantics.
David A. Watt, Peter D. Mosses
openaire   +3 more sources

VERBS MEANING NEGATIVE ATTENDING CIRCUMSTANCES IN THE MODERN RUSSIAN LANGUAGE: SYSTEMATIC AND FUNCTIONAL ASPECTS

Гуманитарные и юридические исследования, 2021
The article is devoted to the verbs of the mode of action in which excessiveness and duration are combined with negative consequences. This combination of excessiveness and duration with negative result of the action is characteristic of a number of pre ...
Van Cyan
doaj  

Functional Connectivity Associations With Markers of Disease Progression in GRN Pathogenic Variant Carriers

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Autosomal dominant progranulin (GRN) pathogenic variants are a genetic cause of frontotemporal lobar degeneration. Though clinical trials for GRN‐related therapies are underway, there is an unmet need for biomarkers that can predict symptom onset and track disease progression.
Taru M. Flagan, Stephanie A. Chu, Suvi Häkkinen, Liwen Zhang, David McFall, Jonathan D. Rohrer, Jesse A. Brown, Alex J. Lee, Kristen Fernhoff, Lorenzo Pasquini, Katherine P. Rankin, Maria Luisa Mandelli, Maria Luisa Gorno‐Tempini, Jennifer S. Yokoyama, Virginia E. Sturm, Brian Appleby, Bradford C. Dickerson, Kimiko Domoto‐Reilly, Tatiana Foroud, Daniel H. Geschwind, Nupur Ghoshal, Neill R. Graff‐Radford, Ging‐Yuek Robin Hsiung, Eric J. Huang, Edward Huey, Kejal Kantarci, Irene Litvan, Ian R. Mackenzie, Mario F. Mendez, Chiadi U. Onyike, Leonard Petrucelli, Eliana Marisa Ramos, Erik D. Roberson, Julio C. Rojas, Maria Carmela Tartaglia, Arthur W. Toga, Sandra Weintraub, Leah K. Forsberg, Hilary W. Heuer, Brad F. Boeve, Adam L. Boxer, Howard J. Rosen, Bruce L. Miller, Fermin Moreno, William W. Seeley, Suzee E. Lee, on behalf of the ALLFTD Consortium   +46 more
wiley   +1 more source

Constructing programs or processes [PDF]

, 2005
We define interacting sequential programs, motivated originally by constructivist considerations. We use them to investigate notions of implementation and determinism. Process algebras do not define what can be implemented and what cannot.
Reeves, Steve, Streader, David
core   +3 more sources