Search Results - Semantics of Programming Languages—Process models

A Natural Language Process based LSTM Framework for Keyword Extraction.

Authors: Karumanchi, Vishnu Teja Rachapudi, Venubabu

Source: International Journal of Environmental Sciences (2229-7359); 2025 Special Issue, Vol. 11, p661-669, 9p

Subject Terms: NATURAL language processing, RECURRENT neural networks, ARTIFICIAL neural networks, DATA mining, STATISTICAL reliability, DATA extraction, INFORMATION retrieval

Using Graph-Based Maximum Independent Sets with Large Language Models for Extractive Text Summarization.

Authors: Hark, Cengiz

Source: Applied Sciences (2076-3417); Jun2025, Vol. 15 Issue 12, p6395, 28p

Subject Terms: LANGUAGE models, TEXT summarization, AUTOMATIC summarization, INDEPENDENT sets, GRAPH theory

SAGA: Summarization-Guided Assert Statement Generation.

Authors: Zhang, Yu-Wei Jin, Zhi Wang, Ze-Jun et al.

Source: Journal of Computer Science & Technology (10009000); Jan2025, Vol. 40 Issue 1, p138-157, 20p

Subject Terms: LANGUAGE models, ARTIFICIAL intelligence, DEEP learning, PROGRAMMING languages, NATURAL languages

A Survey of Semantic Parsing Techniques.

Authors: Jiang, Peng Cai, Xiaodong

Source: Symmetry (20738994); Sep2024, Vol. 16 Issue 9, p1201, 48p

Subject Terms: MACHINE learning, LANGUAGE acquisition, INFORMATION society, ARTIFICIAL intelligence, INDUSTRIAL applications

A Calculus for Team Automata

Authors: ter Beek M. GADDUCCI, FABIO Janssens D.

Source: Brazilian Symposium on Formal Methods (SBMF'06), pp. 41–55, Natal, Rio Grande do Norte, Brazil, 17-23 Settembre 2006
info:cnr-pdr/source/autori:Ter Beek M. H.; Gadducci F.; Janssens D./congresso_nome:Brazilian Symposium on Formal Methods (SBMF'06)/congresso_luogo:Natal, Rio Grande do Norte, Brazil/congresso_data:17-23 Settembre 2006/anno:2008/pagina_da:41/pagina_a:55/intervallo_pagine:41–55
Brazilian Symposium on Formal Methods (SBMF'06), Natal, Rio Grande do Norte, Br, 17-23/09/2017
info:cnr-pdr/source/autori:Ter Beek M., Gadducci F., Janssens D./congresso_nome:Brazilian Symposium on Formal Methods (SBMF'06)/congresso_luogo:Natal, Rio Grande do Norte, Br/congresso_data:17-23%2F09%2F2017/anno:2006/pagina_da:/pagina_a:/intervallo_pagine
ISTI Technical reports, 2005
Brazilian Symposium on Formal Methods, 59-72, Universitate Federal do Rio Grande do Sul, Natal, Brazil, September 17-23, 2006
Electronic notes in theoretical computer science

Subject Terms: Computer. Automation, process calculi, Semantics of Programming Languages. Algebraic approaches to semantics, Semantics of Programming Languages. Process models, F.1.1 Models of Computation. Automata, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Process calculi, Team automata, Theoretical Computer Science, F.3.2 Models of Computation. Relations between models, 0202 electrical engineering, electronic engineering, information engineering, Compositional specification, Process calculus, Computer Science(all)

File Description: application/pdf; pdf

Access URL: https://publications.cnr.it/doc/120355
http://fmt.isti.cnr.it/~mtbeek/terBeekGadducciJanssens.pdf
http://www.cnr.it/prodotto/i/120355
https://publications.cnr.it/doc/160216
http://www.cnr.it/prodotto/i/160216
https://www.sciencedirect.com/science/article/abs/pii/S157106610800011X
https://core.ac.uk/display/54913895
http://fmt.isti.cnr.it/~mtbeek/SBMF08.pdf
https://repository.uantwerpen.be/docman/irua/4ee01a/7a249c44.pdf
https://dblp.uni-trier.de/db/journals/entcs/entcs195.html#BeekGJ08
https://arpi.unipi.it/handle/11568/125939
https://hdl.handle.net/20.500.14243/102149
http://fmt.isti.cnr.it/~mtbeek/terBeekGadducciJanssens.pdf
https://hdl.handle.net/20.500.14243/58471
https://doi.org/10.1016/j.entcs.2007.08.022
https://hdl.handle.net/10067/646170151162165141
https://repository.uantwerpen.be/docman/irua/4ee01a/7a249c44.pdf
https://hdl.handle.net/10067/1009270151162165141

A User-Centered Framework for Data Privacy Protection Using Large Language Models and Attention Mechanisms.

Authors: Zhou, Shutian Zhou, Zizhe Wang, Chenxi et al.

Source: Applied Sciences (2076-3417); Aug2024, Vol. 14 Issue 15, p6824, 25p

Subject Terms: LANGUAGE models, DATA privacy, COMPUTER vision, TECHNOLOGICAL innovations, ELECTRONIC data processing

CPEQA: A Large Language Model Based Knowledge Base Retrieval System for Chinese Confidentiality Knowledge Question Answering.

Authors: Cao, Jian Cao, Jiuxin

Source: Electronics (2079-9292); Nov2024, Vol. 13 Issue 21, p4195, 19p

Subject Terms: LANGUAGE models, NATURAL language processing, DATABASES, INFORMATION retrieval, KNOWLEDGE base, QUESTION answering systems

A Comprehensive Survey of MapReduce Models for Processing Big Data.

Authors: Abdalla, Hemn Barzan Kumar, Yulia Zhao, Yue et al.

Source: Big Data & Cognitive Computing; Apr2025, Vol. 9 Issue 4, p77, 37p

Subject Terms: BIG data, DATA mining, ELECTRONIC data processing, SOFTWARE development tools, DECISION making

A Cloud-Based Sentiment Analysis System with a BERT Algorithm for Fake News on Twitter.

Authors: Cavus, Nadire Oktekin, Bora Goksu, Murat

Source: Applied Sciences (2076-3417); Oct2025, Vol. 15 Issue 20, p11046, 23p

Subject Terms: SENTIMENT analysis, FAKE news, EMOTIONS, SOFTWARE as a service, SOCIAL networks, COVID-19 pandemic, LANGUAGE models

Reviews & Products: TWITTER (Web resource)

Model‐based AI planning and execution platforms for robotics.

Authors: Wertheim, Or Brafman, Ronen I.

Source: AI Magazine; Sep2025, Vol. 46 Issue 3, p1-23, 23p

Subject Terms: AUTONOMOUS robots, AUTOMATED planning & scheduling, ROBOTICS software, ROBOT control systems, COMPUTING platforms, ROBOTICS, HYPOTHESIS, SOFTWARE frameworks

A Logic for True Concurrency

Authors: Paolo Baldan Silvia Crafa The Pennsylvania State University CiteSeerX Archives

Contributors: Paolo Baldan Silvia Crafa The Pennsylvania State University CiteSeerX Archives

Source: http://www.math.unipd.it/%7Ebaldan/Papers/Soft-copy-pdf/JACM-ConcLogic-2014.pdf.

Subject Terms: Categories and Subject Descriptors, F.1.2 [Computation by Abstract Devices, Modes of Computation— Parallelism and concurrency, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Process models, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic— Temporal logic General Terms, Languages, Theory, Verification Additional Key Words and Phrases, True concurrency, causality, mu-calculus, behavioural equivalences, history-preserving bisimilarity, event structures

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.697.320

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.697.320
http://www.math.unipd.it/%7Ebaldan/Papers/Soft-copy-pdf/JACM-ConcLogic-2014.pdf

Size matters less: how fine-tuned small LLMs excel in BPMN generation.

Authors: Soliman, Ghada Abdel Wars, Nour Hesham, Hagar

Source: Journal of Electrical Systems & Information Technology; 11/20/2025, Vol. 12 Issue 1, p1-31, 31p

Subject Terms: BUSINESS process modeling, LANGUAGE models, AUTOMATION software, COMPUTER performance

Acyclic Solos and Differential Interaction Nets ∗

Authors: Thomas Ehrhard Preuves Programmes Systèmes Olivier Laurent et al.

Contributors: Thomas Ehrhard Preuves Programmes Systèmes Olivier Laurent et al.

Source: http://www.pps.jussieu.fr/%7Eehrhard/pub/solos.pdf.

Subject Terms: solos calculus, pi-calculus, prefix, typing, differential interaction nets. ACM classification, F.3.2 Semantics of Programming Languages — Process models, F.4.1 Mathematical Logic — Lambda calculus and related systems, F.1.2 Modes of Computation —

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.224.1775; http://www.pps.jussieu.fr/%7Eehrhard/pub/solos.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.224.1775
http://www.pps.jussieu.fr/%7Eehrhard/pub/solos.pdf

Safeguarding large language models: a survey.

Authors: Dong, Yi Mu, Ronghui Zhang, Yanghao et al.

Source: Artificial Intelligence Review; Dec2025, Vol. 58 Issue 12, p1-56, 56p

An overview of domain-specific foundation model: key technologies, applications and challenges.

Authors: Chen, Haolong Chen, Hanzhi Zhao, Zijian et al.

Source: SCIENCE CHINA Information Sciences; Jan2026, Vol. 69 Issue 1, p1-31, 31p

InsNet-CRAFTY v1.0: integrating institutional network dynamics powered by large language models with land use change simulation.

Authors: Zeng, Yongchao Brown, Calum Byari, Mohamed et al.

Source: Geoscientific Model Development; 2025, Vol. 18 Issue 15, p4983-5013, 31p

Subject Terms: LAND use, SUSTAINABILITY, MULTIAGENT systems, DECISION making, COMPUTER simulation, INSTITUTIONAL environment, POLICY analysis, LANGUAGE models

Multilingual spatial domain natural language interface to databases.

Authors: Wang, Wenlu Li, Jingjing Ku, Wei-Shinn et al.

Source: GeoInformatica; Jan2024, Vol. 28 Issue 1, p29-52, 24p

Subject Terms: NATURAL languages, DATABASES, MACHINE translating, SEMANTICS, AMBIGUITY, QUERY languages (Computer science)

Second language embodiment of action verbs: the impact of bilingual experience as a multidimensional spectrum.

Authors: Lu, Xiaojun Yang, Jing

Source: Bilingualism: Language & Cognition; Aug2025, Vol. 28 Issue 4, p1117-1133, 17p

Subject Terms: BILINGUALISM, SECOND language acquisition, LANGUAGE ability, VERBAL behavior, MENTAL representation, MEANING (Philosophy), EXPERTISE, LARGE-scale brain networks

Aberrant brain language network in schizophrenia spectrum disorder: a systematic review of its relation to language signs beyond symptoms.

Authors: Alonso-Sanchez, María F. Z-Rivera, Lucía Otero, Mónica et al.

Source: Frontiers in Psychiatry; 2024, p01-20, 20p

Subject Terms: SCHIZOPHRENIA, LANGUAGE models, TEMPORAL lobe, SIGN language, SYMPTOMS, SPECIFIC language impairment in children

Developing Data Workflows: From Conceptual Blueprints to Physical Implementation.

Authors: Oliveira, Bruno Oliveira, Óscar

Source: Data (2306-5729); Jul2025, Vol. 10 Issue 7, p97, 27p

Subject Terms: DATA integration, BUSINESS process modeling, DATA flow computing, RESEARCH methodology, DATA mining, DATA structures, WORKFLOW management systems, AUTOMATION software