Suchergebnisse - logic AND constraint programming. keywords AND phrases ((automata OR automate) OR automatic) theory

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

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

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

Schlagwörter: FLOODS, RISK communication, ONTOLOGY, LANGUAGE models, COMMUNITY involvement, EMERGENCY communication systems, AUTOMATION software

Computational Infrastructure for Modern Greek: From Grammar to Ontology.

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

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

Schlagwörter: GRAMMAR, ONTOLOGY, NATURAL language processing, INFORMATION storage & retrieval systems, CONCEPTUAL structures, GREEK language, PHILOSOPHY of language

A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals.

Autoren: Cristiá, Maximiliano Rossi, Gianfranco

Quelle: ACM Transactions on Computational Logic; Jan2024, Vol. 25 Issue 1, p1-34, 34p

Schlagwörter: SET theory, CONSTRAINT programming, LOGIC programming

Synthesizing Invariants for Polynomial Programs by Semidefinite Programming.

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

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

Schlagwörter: SEMIDEFINITE programming, POLYNOMIALS, CONSTRAINT programming, INVARIANT theory, ALGORITHMS, ROBUST optimization, CONSTRAINT satisfaction

A new two-stage constraint programming approach for open shop scheduling problem with machine blocking.

Autoren: Abreu, Levi R. Nagano, Marcelo S. Prata, Bruno A.

Quelle: International Journal of Production Research; Dec2023, Vol. 61 Issue 24, p8560-8579, 20p

Schlagwörter: CONSTRAINT programming, RETAIL store openings, JOB shops, LINEAR programming, NP-hard problems, INTEGER programming, SHIFT systems

Digital Twin Applications in the Water Sector: A Review.

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

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

Schlagwörter: DIGITAL twin, WATER management, REAL-time computing, PREDICTIVE control systems, RESOURCE allocation, RESOURCE management, ENVIRONMENTAL infrastructure

A Survey on String Constraint Solving.

Autoren: AMADINI, ROBERTO

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

Schlagwörter: PROBLEM solving, CONSTRAINT programming, INTERNET security

Vulnerability Repair via Concolic Execution and Code Mutations.

Autoren: Shariffdeen, Ridwan Timperley, Christopher S. Noller, Yannic et al.

Quelle: ACM Transactions on Software Engineering & Methodology; May2025, Vol. 34 Issue 4, p1-27, 27p

Schlagwörter: COMPUTER security vulnerabilities, PROGRAM transformation, CONSTRAINT programming, PENETRATION testing (Computer security)

Reachability analysis of first-order definable pushdown systems

Autoren: Lorenzo Clemente Sławomir Lasota The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Lorenzo Clemente Sławomir Lasota The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.mimuw.edu.pl/%7Esl/PAPERS/csl15.pdf.

Schlagwörter: putation, F.2.2 [Nonnumerical Algorithms and Problems, Computations on discrete structures, F.3.1 [Specifying and Verifying and Reasoning about Programs, Mechanical verification, F.4.1 [Mathematical Logic, Logic and constraint programming. Keywords and phrases automata theory, pushdown systems, sets with atoms, saturation tech- nique. Digital Object Identifier 10.4230/LIPIcs.xxx.yyy.p

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.696.7211; http://www.mimuw.edu.pl/%7Esl/PAPERS/csl15.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.696.7211
http://www.mimuw.edu.pl/%7Esl/PAPERS/csl15.pdf

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

Autoren: Ak, Onurhan

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

Schlagwörter: SOCIAL media, SOCIAL science research, ARTIFICIAL intelligence, MACHINE learning, DATA science

AUGS 46th Annual Scientific Meeting.

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

A Survey on String Constraint Solving.

Autoren: AMADINI, ROBERTO

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

Schlagwörter: DATABASES, CONSTRAINT programming, PROBLEM solving, INTERNET security, COMPUTER software

AI and Democracy: Concerns, scenarios and ethical dilemmas.

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

Autoren: Sampathianaki, Aikaterini

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

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

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

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

Schlagwörter: ARTIFICIAL intelligence, PAIN management, NEUROSURGERY, MEDICAL care, PATIENT safety, MEDICAL protocols

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

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

Autoren: Peng Jiny Midhunchakkaravarthy, Divya

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

Schlagwörter: DIGITAL forensics, CRIMINAL investigation, DATA recovery, CORPORATE governance, CYBERTERRORISM

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.

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

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

Assistive Technology for Inclusive Education: A Single-Case Study of a Child with Spastic Tetraplegia, Visual and Motor Disabilities in Ecuador.

Autoren: Campoverde-Molina, Milton Cobos-Torres, Juan-Carlos Luján-Mora, Sergio et al.

Quelle: International Journal of Online & Biomedical Engineering; 2025, Vol. 21 Issue 11, p45-65, 21p

Foundations of Software Science and Computation Structures

Autoren: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

Schlagworte: Software engineering--Congresses, Computer software--Congresses

Categories: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Hardware / General, MATHEMATICS / Discrete Mathematics

How to Write Effective Prompts for Screening Biomedical Literature Using Large Language Models.

Autoren: Colangelo, Maria Teresa Guizzardi, Stefano Meleti, Marco et al.

Quelle: BioMedInformatics; Mar2025, Vol. 5 Issue 1, p15, 20p