Výsledky vyhledávání - automatische programming general terms algorithms

Reliable confluence analysis of conditional term rewrite systems

Autoři: Sternagel, Thomas

Témata: Termersetzungssystem, Konfluenz , Zertifizierung, Termersetzung, Konfluenz, theoretische Informatik, Automatisierung, Formalisierung, Isabelle, term rewriting, confluence, theoretical computer science, automation, certification, formalization, Text, Thesis, Hochschulschrift, DoctoralThesis

URL: vignette : https://diglib.uibk.ac.at/titlepage/urn/urn:nbn:at:at-ubi:1-9288/128

Automatic- and Transformer-Based Automatic Item Generation: A Critical Review.

Autoři: Sommer, Markus Arendasy, Martin

Zdroj: Journal of Intelligence; Aug2025, Vol. 13 Issue 8, p102, 42p

Témata: PSYCHOMETRICS, TEST validity, TRANSFORMER models, CALIBRATION, CRITICAL analysis, UNIVERSITY research

Digital-Twin-Based Management of Sewer Systems: Research Strategy for the KaSyTwin Project.

Autoři: Hartmann, Sabine Valles, Raquel Schmitt, Annette a další

Zdroj: Water (20734441); Feb2025, Vol. 17 Issue 3, p299, 13p

Témata: STRUCTURAL health monitoring, EXTREME weather, BUILDING information modeling, DIGITAL twin, FLOOD control, OPTICAL scanners

Combined Districting and Main Line Routing—A Method to Implement a Basic Drinking Water Supply Infrastructure in Informal Settlements.

Autoři: Mosbach, Julian Krämer, Moritz Fiedler, Justus Ernst a další

Zdroj: Water (20734441); Sep2022, Vol. 14 Issue 18, p2805-N.PAG, 21p

Témata: WATER supply, ENVIRONMENTAL infrastructure, DRINKING water, RECURSIVE partitioning, PARALLEL algorithms

The Writer Independent Online Handwriting Recognition System frog on hand and Cluster Generative Statistical Dynamic Time Warping.

Autoři: Bahlmann, Claus Burkhardt, Hans

Zdroj: IEEE Transactions on Pattern Analysis & Machine Intelligence; Mar2004, Vol. 26 Issue 3, p299-310, 12p, 4 Black and White Photographs, 1 Diagram, 1 Chart, 7 Graphs

Témata: PATTERN recognition systems, GRAPHOLOGY, MARKOV processes, DYNAMIC programming, CLUSTER analysis (Statistics), OPTICAL character recognition devices, ARTIFICIAL intelligence

59. Jahrestagung der Deutschen Gesellschaft für Neuroradiologie e. V.

Zdroj: Clinical Neuroradiology; 2024 Suppl 1, Vol. 34, p1-110, 110p

Témata: DORSAL root ganglia, IMAGE reconstruction, MAGNETIC resonance, RADIATION exposure, QUALITY assurance

Algorithmen : Eine Einführung

Autoři: Thomas H. Cormen Charles E. Leiserson Ronald Rivest a další

Resource Type: eBook.

Categories: COMPUTERS / Programming / Algorithms, COMPUTERS / General, COMPUTERS / Information Technology, COMPUTERS / Programming / General

Applications of Artificial Intelligence in Optical Coherence Tomography Angiography Imaging.

Alternate Title: Anwendungen der künstlichen Intelligenz in der optischen Kohärenztomografie-Angiografie-Bildgebung. (German)

Autoři: Schottenhamml, Julia Hohberger, Bettina Mardin, Christian Yahya

Zdroj: Klinische Monatsblätter für Augenheilkunde; Dec2022, Vol. 239 Issue 12, p1412-1426, 15p

Erfolgreich mit LLMs : Praktische Ansätze zur Gestaltung eigener KI-Lösungen

Autoři: Jakob J. Degen

Resource Type: eBook.

Categories: COMPUTERS / Data Science / Data Visualization, BUSINESS & ECONOMICS / Business Mathematics, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms, COMPUTERS / Computer Simulation, COMPUTERS / Human-Computer Interaction (HCI), SCIENCE / Cognitive Science

Programmierung, Algorithmen und Datenstrukturen

Autoři: Heinz-Peter Gumm Manfred Sommer

Resource Type: eBook.

Témata: Data structures (Computer science), Computer programming, Computer algorithms

Categories: COMPUTERS / General, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms, LAW / General, TECHNOLOGY & ENGINEERING / Electrical, TECHNOLOGY & ENGINEERING / Engineering (General)

Die Rostocker Methode zur qualitativen und quantitativen Bewertung von Intraokularlinsen. (German)

Alternate Title: The Rostock Method for Qualitative and Quantitative Evaluation of Intraocular Lenses. (English)

Autoři: Elsner, Ricardo Sievers, Jan Kunert, Martin a další

Zdroj: Klinische Monatsblätter für Augenheilkunde; Dec2022, Vol. 239 Issue 12, p1440-1446, 7p

Abstracts des Kongresses für Kinder- und Jugendmedizin 2023. (German)

Zdroj: Monatsschrift Kinderheilkunde; 2023 Suppl 3, Vol. 171, p213-308, 96p

Neugierige Strukturvorschläge im maschinellen Lernen : Eine technikphilosophische Verortung

Autoři: Sebastian Harrach

Resource Type: eBook.

Témata: Machinery--Philosophy, Algorithms, Technology--Philosophy, Machine learning, Computer algorithms

Categories: PHILOSOPHY / Reference, PHILOSOPHY / Essays, TECHNOLOGY & ENGINEERING / General

Development and Status of Image Matching in Photogrammetry.

Autoři: Gruen, Armin

Zdroj: Photogrammetric Record; Mar2012, Vol. 27 Issue 137, p36-57, 22p

Témata: PHOTOGRAMMETRY, TEMPLATE matching (Digital image processing), IMAGE registration, COMPUTER vision, IMAGE analysis, ANALYSIS of covariance

Smart Contracts

Autoři: Martin Fries Boris P. Paal

Resource Type: eBook.

Témata: Blockchains (Databases)--Law and legislation--Germany, Contracting out--Germany, Smart contracts, Contracts--Germany, Electronic data processing--Germany

Categories: LAW / Arbitration, Negotiation, Mediation, LAW / Bankruptcy & Insolvency, LAW / Civil Law, LAW / Civil Procedure, LAW / Commercial / General, LAW / Contracts, LAW / Jurisprudence

Conceptualising Programming Language Semantics.

Autoři: Astarte, Troy Kaighin

Zdroj: Philosophies; Aug2025, Vol. 10 Issue 4, p90, 22p

Témata: PROGRAMMING languages, SEMANTICS, COMPUTER science education, HISTORICAL analysis, THEORY of knowledge, METAPHOR

The Two Powers: How Pascal and Python Shaped Programming Education.

Autoři: KOHN, Tobias STAUB, Jacqueline

Zdroj: Informatics in Education; Dec2024, Vol. 23 Issue 4, p837-868, 32p

Témata: PROGRAMMING languages, PYTHON programming language, PYTHONS, BEST practices, ACADEMIA

Model-driven execution of phenotype algorithms – introduction of the Terminology- and Ontology-based Phenotyping Framework.

Alternate Title: Modell-getriebene Ausführung von Phänotyp-Algorithmen – Einführung des Terminology- and Ontology-based Phenotyping Framework. (German)

Autoři: Beger, Christoph Matthies, Franz Schäfermeier, Ralph a další

Zdroj: GMS Medizinische Informatik, Biometrie und Epidemiologie; 2023, Vol. 19, p1-6, 6p

Témata: MEDICAL information storage & retrieval systems, APPLICATION software, INFORMATION professionals, CONCEPTUAL structures, KNOWLEDGE base, CLINICAL medicine, AUTOMATION, INFORMATION retrieval, QUALITY assurance, INFORMATION resources, ELIGIBILITY (Social aspects), RESEARCH funding, ONTOLOGIES (Information retrieval), PROGRAMMING languages, ELECTRONIC health records, PATIENT care, MEDICAL informatics, HOSPITAL information systems, PHENOTYPES, ALGORITHMS, WORLD Wide Web

Ernst Denert Award for Software Engineering 2020 : Practice Meets Foundations

Autoři: Michael Felderer Wilhelm Hasselbring Heiko Koziolek a další

Resource Type: eBook.

Témata: Software engineering, Software engineering--Awards

Categories: COMPUTERS / Software Development & Engineering / General, BUSINESS & ECONOMICS / Information Management, COMPUTERS / Management Information Systems

Dezentrale autonome Organisationen (DAOs) und Gesellschaftsrecht : Zum Spannungsverhältnis Blockchain-basierter und juristischer Regeln

Autoři: Biyan Mienert

Resource Type: eBook.

Témata: Blockchains (Databases)--Law and legislation, Cryptocurrencies, Tokens

Categories: LAW / Commercial / General, LAW / Comparative, LAW / Conflict of Laws, LAW / International