Search Results - logic AND constraint programming. keywords AND phrases ((automate OR automatic) OR automaty) theory

Synthesizing Invariants for Polynomial Programs by Semidefinite Programming.

Authors: Wu, Hao Wang, Qiuye Xue, Bai et al.

Source: ACM Transactions on Programming Languages & Systems; Mar2025, Vol. 47 Issue 1, p1-35, 35p

Subject Terms: SEMIDEFINITE programming, POLYNOMIALS, CONSTRAINT programming, INVARIANT theory, ALGORITHMS, ROBUST optimization, CONSTRAINT satisfaction

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

Digital Twin Applications in the Water Sector: A Review.

Authors: Ghorbani Bam, Pooria Rezaei, Nader Roubanis, Alexander et al.

Source: Water (20734441); Oct2025, Vol. 17 Issue 20, p2957, 49p

Subject Terms: DIGITAL twin, WATER management, REAL-time computing, PREDICTIVE control systems, RESOURCE allocation, RESOURCE management, ENVIRONMENTAL infrastructure

A Semi-Automated Framework for Flood Ontology Construction with an Application in Risk Communication.

Authors: Li, Shenglin Erickson, Caleb Zajac, Michal et al.

Source: Water (20734441); Oct2025, Vol. 17 Issue 19, p2801, 31p

Subject Terms: FLOODS, RISK communication, ONTOLOGY, LANGUAGE models, COMMUNITY involvement, EMERGENCY communication systems, AUTOMATION software

AUGS 46th Annual Scientific Meeting.

Source: Urogynecology; 2025Supplement, Vol. 31, pS1-S542, 542p

Guidelines From the American Society of Pain and Neuroscience for Using Artificial Intelligence in Interventional Spine and Nerve Treatment.

Authors: Massey, Christopher Latif, Usman Deer, Timothy R et al.

Source: Journal of Pain Research; Aug2025, Vol. 18, p4211-4235, 25p

Subject Terms: ARTIFICIAL intelligence, PAIN management, NEUROSURGERY, MEDICAL care, PATIENT safety, MEDICAL protocols

Platforms as laboratories of the social: How digital capitalism matters for computational social research in North America.

Authors: Ak, Onurhan

Source: Social Studies of Science (Sage Publications, Ltd.); Oct2025, Vol. 55 Issue 5, p711-731, 21p

Subject Terms: SOCIAL media, SOCIAL science research, ARTIFICIAL intelligence, MACHINE learning, DATA science

A Survey on String Constraint Solving.

Authors: AMADINI, ROBERTO

Source: ACM Computing Surveys; Jan2023, Vol. 55 Issue 1, p1-38, 38p, 1 Illustration

Subject Terms: PROBLEM solving, CONSTRAINT programming, INTERNET security

AI and Democracy: Concerns, scenarios and ethical dilemmas.

Alternate Title: ΤΝ και Δημοκρατία: Προβληματισμοί, σενάρια και ηθικά διλήμματα. (Greek, Ancient (to 1453))

Authors: Sampathianaki, Aikaterini

Source: Bioethica; Sep2025, Vol. 11 Issue 2, p41-56, 16p

Securitizing carceral health: a realist review of Canada's prison needle exchange program.

Authors: Michaud, Liam Stöver, Heino van der Meulen, Emily et al.

Source: Health & Justice; 7/3/2025, Vol. 13 Issue 1, p1-19, 19p

Subject Terms: DRUG abuse, NEEDLE exchange programs, CRIMINAL justice policy, HEPATITIS C virus, HARM reduction

A Survey on String Constraint Solving.

Authors: AMADINI, ROBERTO

Source: ACM Computing Surveys; Jan2022, Vol. 54 Issue 1, p1-38, 38p, 2 Illustrations

Subject Terms: DATABASES, CONSTRAINT programming, PROBLEM solving, INTERNET security, COMPUTER software

Program Abstracts from the GSA 2024 Annual Scientific Meeting, “The Fortitude Factor”.

Source: Innovation in Aging; 2024 Supplement, Vol. 8, p1-1377, 1377p

A Discussion Regarding The Function Of Computers In Online Criminal Investigation For Companies During Disasters And Cyber Crises: An Exhaustive Research.

Authors: Peng Jiny Midhunchakkaravarthy, Divya

Source: Frontiers in Health Informatics; 2024, Vol. 13 Issue 8, p5334-5342, 9p

Subject Terms: DIGITAL forensics, CRIMINAL investigation, DATA recovery, CORPORATE governance, CYBERTERRORISM

Chinese Academy of Sciences

Authors: Yi-dong Shen Jia-huai You Li-yan Yuan et al.

Contributors: Yi-dong Shen Jia-huai You Li-yan Yuan et al.

Source: http://www.cs.ust.hk/~qyang/Docs/2003/p417-shen.pdf.

Subject Terms: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, D.1.2 [Programming Techniques, Automatic Programming, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Logic and constraint programming General Terms, Languages, Theory Additional Key Words and Phrases, Termination analysis, dynamic characterization, Prolog

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.4478
http://www.cs.ust.hk/~qyang/Docs/2003/p417-shen.pdf

Schreye. Termination Proofs for Logic Programs with Tabling

Authors: Sofie Verbaeten Danny De Schreye The Pennsylvania State University CiteSeerX Archives

Contributors: Sofie Verbaeten Danny De Schreye The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.kuleuven.be/~dtai/publications/files/35050.pdf.

Subject Terms: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, D.1.2 [Programming Techniques, Automatic Programming, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—logic programming General Terms, Languages, Theory Additional Key Words and Phrases, Prolog, tabling, SLG-resolution

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.8927; http://www.cs.kuleuven.be/~dtai/publications/files/35050.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.8927
http://www.cs.kuleuven.be/~dtai/publications/files/35050.pdf

Polymorphic specialization for ML

Authors: Simon Helsen Peter Thiemann Universität Freiburg et al.

Contributors: Simon Helsen Peter Thiemann Universität Freiburg et al.

Source: http://www.swen.uwaterloo.ca/~shelsen/papers/helsen-thiemann-toplas-2004.pdf.

Subject Terms: Categories and Subject Descriptors, D.1.1 [PROGRAMMING TECHNIQUES, Applicative (Functional) Programming, D.3.1 [PROGRAMMING LANGUAGES, Formal Definitions and Theory, D.3.4 [PROGRAMMING LANGUAGES, Processors, F.3.2 [LOGICS AND MEANINGS OF PROGRAMS, Semantics of Programming Languages—Operational semantics, I.2.2 [ARTIFICIAL INTELLIGENCE, Automatic Programming—Program Transformation, Program Synthesis General Terms, Design, Languages, Theory Additional Key Words and Phrases, Binding-time Analysis, Program Specialization, Regions 1 Work performed while at the Universität Freiburg, Germany

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.1022
http://www.swen.uwaterloo.ca/~shelsen/papers/helsen-thiemann-toplas-2004.pdf

An Analysis Of The Concept Of Law And Its Importance In Society And Education Of Jean-Jacques Rousseau.

Authors: P. P., Yathukrishna Neena, T. S.

Source: Journal of Advanced Zoology. 2024, Vol. 45 Issue 2, p42-44. 3p.

On the Work of the Institute of Control Sciences of the Russian Academy of Sciences in the Field of Pattern Recognition Theory and Applications in the 20th Century.

Authors: Mandel, A. S. Mikhalsky, A. I.

Source: Pattern Recognition & Image Analysis; Dec2023, Vol. 33 Issue 4, p1593-1623, 31p

Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Authors: Stephanie Weirich

Resource Type: eBook.

Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Engines of Order : A Mechanology of Algorithmic Techniques

Authors: Bernhard Rieder

Resource Type: eBook.

Categories: COMPUTERS / Information Theory, COMPUTERS / Programming / Algorithms, LANGUAGE ARTS & DISCIPLINES / Library & Information Science / General, PHILOSOPHY / Epistemology