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

Treffer weiter einschränken
  1. 1

    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

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  2. 2

    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

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  3. 3

    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

    Nájsť tento článok vo Web of Science
    Zu den Favoriten
  4. 4

    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

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  5. 5

    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

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  6. 6

    AUGS 46th Annual Scientific Meeting.

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

    Nájsť tento článok vo Web of Science
    Zu den Favoriten
  7. 7

    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

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  8. 8

    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

    Full Text Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  9. 9

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

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

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

    Schlagwörter: DRUG abuse, NEEDLE exchange programs, CRIMINAL justice policy, HEPATITIS C virus, HARM reduction

    Full Text Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  10. 10

    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

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  11. 11

    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

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  12. 12

    Certainty Closure: Reliable Constraint Reasoning with Incomplete or Erroneous Data.

    Autoren: YORKE-SMITH, NEIL GERVET, CARMEN

    Quelle: ACM Transactions on Computational Logic; Jan2009, Vol. 10 Issue 1, p3-3:41, 41p, 4 Diagrams, 5 Charts, 2 Graphs

    Schlagwörter: CONSTRAINT programming, COMBINATORIAL optimization, MATHEMATICAL optimization, COMPUTER programming, COMPUTER networks

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  13. 13

    Chinese Academy of Sciences

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

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

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

    Schlagwörter: 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

    Dateibeschreibung: application/pdf

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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  14. 14

    Schreye. Termination Proofs for Logic Programs with Tabling

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

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

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

    Schlagwörter: 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

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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  15. 15

    Polymorphic specialization for ML

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

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

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

    Schlagwörter: 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

    Dateibeschreibung: application/pdf

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

    Verfügbarkeit: 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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  16. 16

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

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

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

    PDF-Volltext
    Zu den Favoriten
  17. 17

    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

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  18. 18

    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

    PDF-Volltext ePub Volltext
    Zu den Favoriten
  19. 19

    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

    PDF-Volltext ePub Volltext
    Zu den Favoriten
  20. 20

    Algorithmic Foundations for Social Advancement

    Autoren: Shin-ichi Minato Takeaki Uno Norihito Yasuda et al.

    Resource Type: eBook.

    Schlagworte: Algorithms, Automatic differentiation

    Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Algorithms

    PDF-Volltext ePub Volltext
    Zu den Favoriten

Suchwerkzeuge: