Výsledky vyhľadávania - logic AND constraint programming. keywords AND phrases (automat OR automate) theory

Computational Infrastructure for Modern Greek: From Grammar to Ontology.

Autori: Samaridi, Nikoletta E. Karanikolas, Nikitas N. Papakitsos, Evangelos C. a ďalší

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

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

Autori: Ghorbani Bam, Pooria Rezaei, Nader Roubanis, Alexander a ďalší

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

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

Autori: Li, Shenglin Erickson, Caleb Zajac, Michal a ďalší

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

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

Autori: Ak, Onurhan

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

Predmety: SOCIAL media, SOCIAL science research, ARTIFICIAL intelligence, MACHINE learning, DATA science

AUGS 46th Annual Scientific Meeting.

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

AI and Democracy: Concerns, scenarios and ethical dilemmas.

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

Autori: Sampathianaki, Aikaterini

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

Autori: Massey, Christopher Latif, Usman Deer, Timothy R a ďalší

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

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

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

Autori: Peng Jiny Midhunchakkaravarthy, Divya

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

Predmety: DIGITAL forensics, CRIMINAL investigation, DATA recovery, CORPORATE governance, CYBERTERRORISM

Propositional Satisfiability and Constraint Programming: A Comparative Survey.

Autori: Bordeaux, Lucas Hamadi, Youssef Zhang, Lintao

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

Predmety: SATISFACTION, CONSTRAINT programming, COMPUTER programming, COMPUTER science, COMPUTERS, PROBLEM solving, ALGORITHMS, TECHNOLOGICAL innovations, DECISION making

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

Autori: Colangelo, Maria Teresa Guizzardi, Stefano Meleti, Marco a ďalší

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

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

Autori: Hong Mei Wei Zhang Haiyan Zhao

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

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

Autori: Stephanie Weirich

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Engines of Order : A Mechanology of Algorithmic Techniques

Autori: Bernhard Rieder

Typ zdroja: eBook.

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

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

Autori: Thomas Wies

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Programming / Compilers

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

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

Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

Autori: Ilya Sergey

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Hardware / General

Programming Languages and Systems : 30th European Symposium on Programming, ESOP 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

Autori: Nobuko Yoshida

Typ zdroja: eBook.

Predmet: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses, Natural language processing (Computer science)

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Autori: Luís Caires

Typ zdroja: eBook.

Predmet: Information theory, Computer industry, Computer science, Software engineering, Computer system performance, Electronic data processing

Kategórie: COMPUTERS / Programming / Compilers, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

Machine Learning Under Resource Constraints - Fundamentals

Autori: Katharina Morik Peter Marwedel

Typ zdroja: eBook.

Predmet: Machine learning

Kategórie: COMPUTERS / Information Technology, COMPUTERS / Data Science / General, COMPUTERS / Data Science / Data Analytics, COMPUTERS / Programming / Algorithms

Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Autori: Peter Müller

Typ zdroja: eBook.

Predmet: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses, Natural language processing (Computer science)

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing