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

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

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

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

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

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

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

Propositional Satisfiability and Constraint Programming: A Comparative Survey.

Autoren: Bordeaux, Lucas Hamadi, Youssef Zhang, Lintao

Quelle: ACM Computing Surveys; Dec2006, Vol. 38 Issue 4, p1-54, 54p

Schlagwörter: SATISFACTION, CONSTRAINT programming, COMPUTER programming, COMPUTER science, COMPUTERS, PROBLEM solving, ALGORITHMS, TECHNOLOGICAL innovations, DECISION making

Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines.

Autoren: DI ALESIO, STEFANO BRIAND, LIONEL C. NEJATI, SHIVA et al.

Quelle: ACM Transactions on Software Engineering & Methodology; Nov2015, Vol. 25 Issue 1, p4:1-4:37, 37p

Schlagwörter: GENETIC algorithms, CONSTRAINT programming, EMBEDDED computer systems, COMPUTER software execution, FINANCIAL stress tests

A metamodel for modeling system features and their refinement, constraint and interaction relationships.

Autoren: Hong Mei Wei Zhang Haiyan Zhao

Quelle: Software & Systems Modeling; Jun2006, Vol. 5 Issue 2, p172-186, 15p, 13 Diagrams, 8 Charts

Schlagwörter: MODELING (Sculpture), COMPUTER simulation, COMPUTER software, CONSTRAINT programming, SEMANTICS

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

Autoren: Stephanie Weirich

Resource Type: eBook.

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

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

Engines of Order : A Mechanology of Algorithmic Techniques

Autoren: Bernhard Rieder

Resource Type: eBook.

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

A Unified Hierarchy for AI and Natural Intelligence through Auto-Programming for General Purposes.

Autoren: Juyang Weng

Quelle: Journal of Cognitive Science; 2020, Vol. 21 Issue 1, p53-102, 50p

Partial Constraint Checking for Context Consistency in Pervasive Computing.

Autoren: CHANG XU CHEUNG, S. C. CHAN, W. K. et al.

Quelle: ACM Transactions on Software Engineering & Methodology; Jan2010, Vol. 19 Issue 3, p9-9:61, 61p, 7 Diagrams, 2 Charts

Schlagwörter: UBIQUITOUS computing, CONTEXT-aware computing, CONSTRAINT programming, SOFTWARE engineering, COMPUTER science

Programming Languages and Systems : 32nd European Symposium on Programming, ESOP 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Autoren: Thomas Wies

Resource Type: eBook.

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

Categories: COMPUTERS / Programming / Compilers

Motivational Interviewing Conversational Agent for Parents as Proxies for Their Children in Healthy Eating: Development and User Testing.

Autoren: Smriti, Diva Tsui-Sui Annie Kao Rathod, Rahil et al.

Quelle: JMIR Human Factors; Oct-Dec2022, Vol. 9 Issue 4, p1-21, 21p

Schlagwörter: CHATBOTS, MOTIVATIONAL interviewing, COST effectiveness, HEALTH behavior, BEHAVIOR modification

Architecture-Level Configuration of Large-Scale Embedded Software Systems.

Autoren: BEHJATI, RAZIEH NEJATI, SHIVA BRIAND, LIONEL C.

Quelle: ACM Transactions on Software Engineering & Methodology; May2014, Vol. 23 Issue 3, p25:1-25:43, 43p

Schlagwörter: EMBEDDED computer systems, SOFTWARE architecture, SOFTWARE configuration management, AUTOMATION, SOFTWARE engineering, CONSTRAINT programming