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

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

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

Authors: Bednarek, Jakub Krawiec, Krzysztof

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

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

Authors: Tverdyi, Dmitriy Parovik, Roman

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

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

Authors: Wang, Huiyong Gao, Shan Zhang, Xiaoming

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

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

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

Subject Terms: SEWAGE disposal plants, SEWAGE sludge, SLUDGE management, MAXIMUM likelihood statistics, KALMAN filtering, ACTIVATED sludge process

The Social Grammar(s) of Future-Making.

Authors: Walter, Timo

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

Subject Terms: FUTURES studies, SOCIAL interaction, SOCIAL theory, SITUATED learning theory, CONTEXTUALISM (Philosophy), SOCIAL intelligence, INDEXICALS (Semantics)

From Evidence to Insight: An Umbrella Review of Computational Thinking Research Syntheses.

Authors: Zhang, Jin Wu, Yaxin Ning, Yimin et al.

Source: Journal of Intelligence; Dec2025, Vol. 13 Issue 12, p157, 30p

Subject Terms: PROGRAM effectiveness (Education), LEARNING strategies, ECOLOGICAL systems theory, RESEARCH integrity, PERIODICAL articles, RESEARCH methodology, SYSTEMS theory

Integrating Linguistic and Eye Movements Features for Arabic Text Readability Assessment Using ML and DL Models.

Authors: Baazeem, Ibtehal Al-Khalifa, Hend Al-Salman, Abdulmalik

Source: Computation; Nov2025, Vol. 13 Issue 11, p258, 36p

Subject Terms: EYE tracking, MACHINE learning, SEMANTICS, DEEP learning, COGNITIVE psychology, ARABIC language, READABILITY formulas

Computational Infrastructure for Modern Greek: From Grammar to Ontology.

Authors: Samaridi, Nikoletta E. Karanikolas, Nikitas N. Papakitsos, Evangelos C. et al.

Source: Computation; Nov2025, Vol. 13 Issue 11, p272, 27p

Subject Terms: GRAMMAR, ONTOLOGY, NATURAL language processing, INFORMATION storage & retrieval systems, CONCEPTUAL structures, GREEK language, PHILOSOPHY of language

NESTML: a generic modeling language and code generation tool for the simulation of spiking neural networks with advanced plasticity rules.

Authors: Linssen, Charl Babu, Pooja N. Eppler, Jochen M. et al.

Source: Frontiers in Neuroinformatics; 2025, p1-21, 21p

Subject Terms: ARTIFICIAL neural networks, MODELING languages (Computer science), SYNAPSES, C++, SYNTAX (Grammar)

Artificial Intelligence as a Catalyst for Antimicrobial Discovery: From Predictive Models to De Novo Design.

Authors: Boudza, Romaisaa Bounou, Salim Segura-Garcia, Jaume et al.

Source: Microorganisms; Feb2026, Vol. 14 Issue 2, p394, 30p

Subject Terms: ARTIFICIAL intelligence, DRUG design, ANTIMICROBIAL peptides, MACHINE learning, ANTI-infective agents, DRUG resistance in microorganisms, PROBABILISTIC generative models, DEEP learning

Intrinsic Learning Rather than External Difficulty Dominates Decision Performance: Integrated Evidence from the Drift-Diffusion Model and Random Forest Analysis.

Authors: Liu, Yanzhe Zhang, Qihan

Source: Behavioral Sciences (2076-328X); Feb2026, Vol. 16 Issue 2, p300, 22p

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

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

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

Subject Terms: CHINESE language, EYE tracking, SYNTAX (Grammar), SEMANTICS, YOUNG adults

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

Time-domain brain: temporal mechanisms for brain functions using time-delay nets, holographic processes, radio communications, and emergent oscillatory sequences.

Authors: Baker, Janet M. Cariani, Peter

Source: Frontiers in Computational Neuroscience; 2025, p1-35, 35p

Subject Terms: TELECOMMUNICATION systems, ASSOCIATIVE storage, DELAY lines, COMMUNICATION models, TEMPORARY stores, MOTOR learning

A Self-Supervised Pre-Trained Transformer Model for Accurate Genomic Prediction of Swine Phenotypes.

Authors: Xiang, Weixi Li, Zhaoxin Sun, Qixin et al.

Source: Animals (2076-2615); Sep2025, Vol. 15 Issue 17, p2485, 17p

Subject Terms: DEEP learning, TRANSFORMER models, GENETIC profile, ANIMAL breeding, HERITABILITY, SUPERVISED learning, SWINE breeds

Idea Density and Grammatical Complexity as Neurocognitive Markers.

Authors: Iacono, Diego Feltis, Gloria C.

Source: Brain Sciences (2076-3425); Sep2025, Vol. 15 Issue 9, p1022, 33p

Subject Terms: LINGUISTIC complexity, NEUROBIOLOGY, LINGUISTICS, COGNITIVE load, LANGUAGE & languages, DIAGNOSIS, COMPUTATIONAL linguistics

People: CHOMSKY, Noam, 1928-

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

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

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

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

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

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

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

An Analysis of the Linguistic Structure of the Kagan Language in the Davao Region: A Lexico-Grammatical Study.

Authors: Pacio, Hasmera M. Baradillo, Danilo G. Galvez, Mildred P.

Source: Psychology & Education: A Multidisciplinary Journal; 2025, Vol. 48 Issue 7, p1073-1108, 36p