Suchergebnisse - sequential (programs OR process) - syntax AND semantics*

Verification of Distributed Systems via Sequential Emulation.

Autoren: DI STEFANO, LUCA DE NICOLA, ROCCO INVERSO, OMAR

Quelle: ACM Transactions on Software Engineering & Methodology; Jul2022, Vol. 31 Issue 3, p1-41, 41p

Schlagwörter: SEQUENTIAL analysis, LANGUAGE & languages, PETRI nets, SEMANTICS

Multigraph learning for parallelism discovery in sequential programs.

Autoren: Shen, Yuanyuan Peng, Manman Wu, Qiang et al.

Quelle: Concurrency & Computation: Practice & Experience; 4/25/2023, Vol. 35 Issue 9, p1-16, 16p

Schlagwörter: CONVOLUTIONAL neural networks, ARTIFICIAL neural networks, MULTIGRAPH, FLOW control (Data transmission systems), DEEP learning, MATHEMATICAL optimization

The Sequential Unfolding of First Phase Syntax: Tutorial and Applications to Development

Autoren: Rispoli, Matthew

Quelle: Journal of Speech, Language, and Hearing Research. Mar 2019 62(3):693-705.

Peer Reviewed: Y

Page Count: 13

Sponsoring Agency: National Institute on Deafness and Other Communication Disorders (NIDCD)
National Science Foundation (NSF)

Descriptors: Syntax, Tutorial Programs, Verbs, Semantics, Sentences, Form Classes (Languages), Longitudinal Studies, Toddlers, Sentence Structure, Teaching Methods

The Social Grammar(s) of Future-Making.

Autoren: Walter, Timo

Quelle: Sociological Theory; Dec2025, Vol. 43 Issue 4, p335-359, 25p

Schlagwörter: FUTURES studies, SOCIAL interaction, SOCIAL theory, SITUATED learning theory, CONTEXTUALISM (Philosophy), SOCIAL intelligence, INDEXICALS (Semantics)

Functional priority of syntax over semantics in Chinese 'ba' construction: evidence from eye-tracking during natural reading.

Autoren: Wei, Yanjun Tang, Yingjuan Privitera, Adam John

Quelle: Language & Cognition (Cambridge University Press); Jun2024, Vol. 16 Issue 2, p380-400, 21p

Schlagwörter: CHINESE language, EYE tracking, SYNTAX (Grammar), SEMANTICS, YOUNG adults

Solving Abstract Reasoning Problems With Neurosymbolic Program Synthesis and Task Generation.

Autoren: Bednarek, Jakub Krawiec, Krzysztof

Quelle: Neurosymbolic Artificial Intelligence; 3/2/2026, Vol. 2, p1-21, 21p

Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs.

Autoren: Fernando, Vimuth Joshi, Keyur Laurel, Jacob et al.

Quelle: International Journal on Software Tools for Technology Transfer; Aug2023, Vol. 25 Issue 4, p521-539, 19p

Schlagwörter: MESSAGE passing (Computer science), DISTRIBUTED computing, MATHEMATICAL optimization, DYNAMICAL systems, NEUROLINGUISTICS, PRECISION farming

An Integrated Methodology for Novel Algorithmic Modeling of Non-Spherical Particle Terminal Settling Velocities and Comprehensive Digital Image Analysis.

Autoren: Yetilmezsoy, Kaan Ilhan, Fatih Kıyan, Emel

Quelle: Water (20734441); Nov2025, Vol. 17 Issue 22, p3268, 56p

Schlagwörter: ENVIRONMENTAL management, SUSTAINABILITY, WATER purification, SIMULATION methods & models, MATHEMATICAL optimization, DATA analysis, PARTICLE physics, SETTLEMENT of structures

Linguistic structure from a bottleneck on sequential information processing.

Autoren: Futrell R Hahn M

Quelle: Nature human behaviour [Nat Hum Behav] 2025 Nov 24. Date of Electronic Publication: 2025 Nov 24.

Publikationsart: Journal Article

Info zur Zeitschrift: Publisher: Springer Nature Publishing Country of Publication: England NLM ID: 101697750 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 2397-3374 (Electronic) Linking ISSN: 23973374 NLM ISO Abbreviation: Nat Hum Behav Subsets: MEDLINE

Combining LLMs and Knowledge Graphs to Reduce Hallucinations in Biomedical Question Answering.

Autoren: Pusch, Larissa Conrad, Tim O. F.

Quelle: BioMedInformatics; Dec2025, Vol. 5 Issue 4, p70, 32p

EVIDENCE FROM LARGE LANGUAGE MODELS, HOW AI VINDICATES CLASSICAL THEORIES OF MEANING: FOR THE SEMANTICS AND PRAGMATICS DISTINCTION; CLASSICAL THEORIES OF GRAMMAR: FOR THE SYNTAX-SEMANTICS INTERFACE; THE ALIGNMENT OF GRAMMAR AND LOGIC: FOR THE UNITY OF FORM

Autoren: Kuczynski, J.-M.

Quelle: Communication & Cognition; 2025, Vol. 58 Issue 3/4, p101-122, 22p

A Study of the Efficiency of Parallel Computing for Constructing Bifurcation Diagrams of the Fractional Selkov Oscillator with Variable Coefficients and Memory.

Autoren: Tverdyi, Dmitriy Parovik, Roman

Quelle: Computation; Feb2026, Vol. 14 Issue 2, p32, 20p

Schlagwörter: PARALLEL programming, BIFURCATION diagrams, NUMERICAL analysis, BENCHMARK problems (Computer science), DISTRIBUTED computing

A method for analyzing handwritten program flowchart based on detection transformer and logic rules.

Autoren: Wang, Huiyong Gao, Shan Zhang, Xiaoming

Quelle: International Journal on Document Analysis & Recognition; Dec2025, Vol. 28 Issue 4, p487-504, 18p

Stochastic State-Space Modeling for Sludge Concentration Height at the Ucubamba Guangarcucho Wastewater Treatment Plant.

Autoren: Inca-Balseca, Cristian-Luis Salazar, Cristian Rodríguez, Jesús et al.

Quelle: Water (20734441); Mar2025, Vol. 17 Issue 6, p793, 16p

Schlagwörter: SEWAGE disposal plants, SEWAGE sludge, SLUDGE management, MAXIMUM likelihood statistics, KALMAN filtering, ACTIVATED sludge process

A Hybrid Semantics and Syntax-Based Graph Convolutional Network for Aspect-Level Sentiment Classification.

Autoren: Huang, Chen Li, Xianyong Du, Yajun et al.

Quelle: Cognitive Computation; Feb2025, Vol. 17 Issue 1, p1-19, 19p

Sequential syntactic knowledge supports item but not order recall in verbal working memory.

Autoren: Querella P Majerus S

Quelle: Memory & cognition [Mem Cognit] 2024 Nov; Vol. 52 (8), pp. 1737-1761. Date of Electronic Publication: 2023 Oct 23.

Publikationsart: Journal Article; Research Support, Non-U.S. Gov't

Info zur Zeitschrift: Publisher: Psychonomic Society Country of Publication: United States NLM ID: 0357443 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1532-5946 (Electronic) Linking ISSN: 0090502X NLM ISO Abbreviation: Mem Cognit Subsets: MEDLINE

MeSH-Schlagworte: Memory, Short-Term*/physiology , Mental Recall*/physiology , Psycholinguistics*, Serial Learning/physiology ; Verbal Learning/physiology ; Humans ; Adult ; Young Adult ; Female ; Male ; Semantics

An Automatic Transformer from Sequential to Parallel Java Code.

Autoren: Midolo, Alessandro Tramontana, Emiliano

Quelle: Future Internet; Sep2023, Vol. 15 Issue 9, p306, 19p

Schlagwörter: BIRDSONGS, PARALLEL algorithms, SOFTWARE architecture, DATA analysis

SCJ-Circus: Specification and refinement of Safety-Critical Java programs.

Autoren: Miyazawa, Alvaro Cavalcanti, Ana Wellings, Andy

Quelle: Science of Computer Programming. Jul2019, Vol. 181, p140-176. 37p.

Schlagwörter: *TECHNICAL specifications, *CIRCUS, *MULTIPROCESSORS, *SEMANTICS, *ALGEBRA

Sequential composition of propositional logic programs.

Autoren: Antić, Christian¹ (AUTHOR) christian.antic@icloud.com

Quelle: Annals of Mathematics & Artificial Intelligence. Apr2024, Vol. 92 Issue 2, p505-533. 29p.

A research program in neuroimaging for an evolutionary theory of syntax.

Autoren: Tettamanti, Marco

Quelle: Language & Cognition (De Gruyter); 2013, Vol. 5 Issue 2/3, p157-166, 10p

Schlagwörter: SYNTAX (Grammar), SEMANTICS (Philosophy), MODERN languages, BRAIN imaging, MULTILINGUALISM

People: ARBIB, Michael