Search Results - sequential (programs OR (progress OR process)) - syntax AND semantics

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

Authors: Litian Huang Xinguo Yu Lei Niu et al.

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

Subject Terms: ALGEBRAIC geometry, PROBLEM solving, WORD problems (Mathematics), ARTIFICIAL intelligence, SEMANTICS, GENERAL semantics, GEOMETRY, MATHEMATICS

Verification of Distributed Systems via Sequential Emulation.

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

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

Subject Terms: SEQUENTIAL analysis, LANGUAGE & languages, PETRI nets, SEMANTICS

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

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

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

Subject Terms: 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.

Authors: Yu, Xiaohan Wang, Jin

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

Subject Terms: 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.

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

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

Subject Terms: ELECTROENCEPHALOGRAPHY, BRAIN waves, LINGUISTICS, DISCOURSE analysis, FREQUENCIES of oscillating systems

Multigraph learning for parallelism discovery in sequential programs.

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

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

Subject Terms: 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

Authors: Rispoli, Matthew

Source: 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

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

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

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

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

Authors: Kuczynski, J.-M.

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

Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs.

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

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

Subject Terms: MESSAGE passing (Computer science), DISTRIBUTED computing, MATHEMATICAL optimization, DYNAMICAL systems, NEUROLINGUISTICS, PRECISION farming

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

Authors: Lepesqueur, Marcus Tenuta, Adriana Maria

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

Subject Terms: CONSTRUCTION grammar, STATISTICS, DISCOURSE analysis, SEMANTICS, SEMIOTICS, SYNTAX (Grammar)

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

Authors: Honda, Kohei Yoshida, Nobuko

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

Subject Terms: GRAND unified theories (Nuclear physics), LOGIC, CALCULUS, COMPUTER software, SOFTWARE engineering, SEMANTICS, INFORMATION processing

Verifying Determinism in Sequential Programs.

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

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

Subject Terms: 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.

Authors: Suárez Rodríguez, Alejandro

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

Subject Terms: CORPORA, GRAMMAR, SYNTAX (Grammar), SEMANTICS, PRAGMATICS

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

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

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

Subject Terms: REASONING, SEMANTICS, CALCULUS, MATHEMATICAL decomposition, ALGORITHMS

The semantics and verification of timed service choreography.

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

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

Subject Terms: SEMANTICS, CONFIRMATION (Logic), CHOREOGRAPHY, ENGLISH language, COMPUTER simulation, WEB services, COORDINATE constructions (Linguistics)

An Automatic Transformer from Sequential to Parallel Java Code.

Authors: Midolo, Alessandro Tramontana, Emiliano

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

Subject Terms: BIRDSONGS, PARALLEL algorithms, SOFTWARE architecture, DATA analysis

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

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

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

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

Authors: Salman, Aliyev Ceyhun, Aliyev Zeynab, Mammadova

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

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

People: CHOMSKY, Noam, 1928-

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

Authors: Pandya, Partosh Joseph, Mathai

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