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

Solving Algebraic Problems with Geometry Diagrams Using Syntax-Semantics Diagram Understanding.

Autoren: Litian Huang Xinguo Yu Lei Niu et al.

Quelle: Computers, Materials & Continua; 2023, Vol. 77 Issue 1, p517-539, 23p

Schlagwörter: ALGEBRAIC geometry, PROBLEM solving, WORD problems (Mathematics), ARTIFICIAL intelligence, SEMANTICS, GENERAL semantics, GEOMETRY, MATHEMATICS

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

A Trustworthy Dataset for APT Intelligence with an Auto-Annotation Framework.

Autoren: Qi, Rui Xiang, Ga Zhang, Yangsen et al.

Quelle: Electronics (2079-9292); Aug2025, Vol. 14 Issue 16, p3251, 22p

Schlagwörter: KNOWLEDGE graphs, DATA quality, ANNOTATIONS, CYBERTERRORISM, DATA mining, DATA curation, LANGUAGE models, INTERNET security

Sentiment analysis of classical Chinese literature: An unsupervised deep learning model with BERT and graph attention networks.

Autoren: Yu, Xiaohan Wang, Jin

Quelle: PLoS ONE; 9/23/2025, Vol. 20 Issue 9, p1-23, 23p

Schlagwörter: TRANSFORMER models, SENTIMENT analysis, CHINESE literature, CHINESE language, CLASSICAL literature, NATURAL language processing, DEEP learning

Cortical γ-oscillations implement basic language operations: Evidence from electroencephalography in anaphora during english filler-gap dependency processing.

Autoren: Dekydtspotter, Laurent Miller, A. Kate Meinert, Kent et al.

Quelle: PLoS ONE; 10/21/2025, Vol. 20 Issue 10, p1-26, 26p

Schlagwörter: ELECTROENCEPHALOGRAPHY, BRAIN waves, LINGUISTICS, DISCOURSE analysis, FREQUENCIES of oscillating systems

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

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

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

For a new semiotics in Construction Grammar: A statistical analysis of the relationship between transitive syntax and semantics.

Autoren: Lepesqueur, Marcus Tenuta, Adriana Maria

Quelle: Cognitive Semiotics; Nov2019, Vol. 12 Issue 2, pN.PAG-N.PAG, 9p

Schlagwörter: CONSTRUCTION grammar, STATISTICS, DISCOURSE analysis, SEMANTICS, SEMIOTICS, SYNTAX (Grammar)

A Unified Theory of Program Logics: An Approach based on the π-Calculus1.

Autoren: Honda, Kohei Yoshida, Nobuko

Quelle: Computer Journal; Jan2011, Vol. 54 Issue 1, p88-107, 20p

Schlagwörter: GRAND unified theories (Nuclear physics), LOGIC, CALCULUS, COMPUTER software, SOFTWARE engineering, SEMANTICS, INFORMATION processing

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

Integrating multi-modal data fusion approaches for analysis of dairy cattle vocalizations.

Autoren: Jobarteh, Bubacarr Mincu-Iorga, Madalina Gavojdian, Dinu et al.

Quelle: Frontiers in Veterinary Science. 2025, p1-13. 13p.

Verifying Determinism in Sequential Programs.

Autoren: Mudduluru, Rashmi Waataja, Jason Millstein, Suzanne et al.

Quelle: ICSE: International Conference on Software Engineering; 5/22/2021, p37-49, 13p

Schlagwörter: DEBUGGING, ARTIFICIAL intelligence, SOFTWARE engineering, COMPUTER software development, HASHING

Is Alzheimer’s Disease a Cross-Linguistic Issue? Comparing Corpora from a Role and Reference Grammar Perspective.

Autoren: Suárez Rodríguez, Alejandro

Quelle: CIRCULO de Linguistica Aplicada a la Comunicacion; 2024, Vol. 99, p249-261, 13p

Schlagwörter: CORPORA, GRAMMAR, SYNTAX (Grammar), SEMANTICS, PRAGMATICS

RGITL: A temporal logic framework for compositional reasoning about interleaved programs.

Autoren: Schellhorn, Gerhard Tofan, Bogdan Ernst, Gidon et al.

Quelle: Annals of Mathematics & Artificial Intelligence; Jul2014, Vol. 71 Issue 1-3, p131-174, 44p

Schlagwörter: REASONING, SEMANTICS, CALCULUS, MATHEMATICAL decomposition, ALGORITHMS

The semantics and verification of timed service choreography.

Autoren: Zhao, Yongxin Xiao, Hao Wang, Zheng et al.

Quelle: International Journal of Computer Mathematics; Mar2014, Vol. 91 Issue 3, p384-402, 19p

Schlagwörter: SEMANTICS, CONFIRMATION (Logic), CHOREOGRAPHY, ENGLISH language, COMPUTER simulation, WEB services, COORDINATE constructions (Linguistics)

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

Aspect Sentiment Triplet Extraction with Syntax-Semantics Graph Convolutional Network.

Autoren: Zhang, Jingyun Xu, Shuwei Gao, Xin et al.

Quelle: International Journal of Computational Intelligence Systems; 7/1/2025, Vol. 18 Issue 1, p1-17, 17p

P - A logic - a compositional proof system for distributed programs.

Autoren: Pandya, Partosh Joseph, Mathai

Quelle: Distributed Computing; Jun1991, Vol. 5 Issue 1, p37-54, 18p

THE 'GENERATIVE-AI CHALLENGE': RE-EVALUATING CORE LINGUISTIC THEORIES IN THE AGE OF LARGE LANGUAGE MODELS.

Autoren: Salman, Aliyev Ceyhun, Aliyev Zeynab, Mammadova

Quelle: German International Journal of Modern Science / Deutsche Internationale Zeitschrift für Zeitgenössische Wissenschaft; Nov2025, Issue 116, p60-61, 2p

Schlagwörter: GENERATIVE grammar, LANGUAGE models, COGNITIVE linguistics, SYNTAX (Grammar), PHILOSOPHY of language, GENERATIVE artificial intelligence, GENERATIVE pre-trained transformers, SEMANTICS

People: CHOMSKY, Noam, 1928-