Suchergebnisse - "((\"programming in abstrakte spaces\") OR (\"programming in abstraktes spaces\"))~"

Space optimizations in deterministic and concurrent call-by-need functional programming languages

Autoren: Dallmeyer, Nils

Index Begriffe: ddc:004, doctoralthesis, doc-type:doctoralThesis

URL: http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/56199
https://nbn-resolving.org/urn:nbn:de:hebis:30:3-561992
http://publikationen.ub.uni-frankfurt.de/files/56199/Dissertation-Dallmeyer-Nils.pdf

Über ein abstraktes Maximumprinzip

Autoren: I. Kolumbán

Quelle: Journal of Numerical Analysis and Approximation Theory, Vol 3, Iss 1 (1974)

Schlagwörter: Nonlinear programming, QA1-939, Optimality conditions for problems in abstract spaces, Mathematics

Dateibeschreibung: application/xml

Zugangs-URL: https://zbmath.org/3568373
https://doaj.org/article/8169f3db16bf4051a1f7bb07f5f9c21f
https://doaj.org/article/ccf3158069d74717be1d535a52cab37c

Raum für Veränderung: Wie die Lernwerkstatt das Lernen im Austausch fördert. (German)

Alternate Title: Space for Change – Learning Workshops Boost Learning Activities Through Exchange. (English)

Autoren: Krähling-Pilarek, Maren

Quelle: Bibliotheksdienst; Aug2023, Vol. 57 Issue 7/8, p410-420, 11p

Schlagwörter: CLASSROOM environment, INFORMATION literacy, LEARNING, LIBRARIES

Firma/Körperschaft: BADISCHE Landesbibliothek Karlsruhe

ALMOST PERIODIC SOLUTION FOR NEUTRAL FUNCTIONAL DYNAMIC EQUATIONS WITH STEPANOV-ALMOST PERIODIC TERMS ON TIME SCALES.

Autoren: YONGKUN LI PAN WANG

Quelle: Discrete & Continuous Dynamical Systems - Series S; Jun2017, Vol. 10 Issue 3, p463-473, 11p

Schlagwörter: PERIODIC functions, TIME, BANACH spaces, MATHEMATICAL mappings, DYNAMIC programming

Abstract Reasoning with Deep Learning

Autoren: Purgał, Stanisław

Index Begriffe: Künstliche Intelligenz, Tiefe neuronale Netze, Automatisierte Theorembeweisung, Neuronale Graphen-Netzwerke, Induktive logische Programmierung, Artificial Intelligence, Deep Neural Networks, Automated Theorem Proving, Graph Neural Networks, Inductive Logic Programming, Text, Thesis, Hochschulschrift, DoctoralThesis

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

Abstract reasoning with Deep Learning

Autoren: Purgał, Stanisław Jozef

Index Begriffe: Künstliche Intelligenz, Tiefe neuronale Netze, Automatisierte Theorembeweisung, Neuronale Graphen-Netzwerke, Induktive logische Programmierung, Artificial Intelligence, Deep Neural Networks, Automated Theorem Proving, Graph Neural Networks, Inductive Logic Programming, Text, Thesis, Hochschulschrift, DoctoralThesis

URL: https://resolver.obvsg.at/urn:nbn:at:at-ubi:1-124033
vignette : https://ulb-dok.uibk.ac.at/titlepage/urn/urn:nbn:at:at-ubi:1-124033/128

Figuring Out Spaces : Über die Sozialität von Räumen und die Räumlichkeit des Sozialen

Autoren: Jochen Kibel Nina Meier Silke Steets et al.

Resource Type: eBook.

Schlagworte: Public spaces--Social aspects

Categories: SOCIAL SCIENCE / Anthropology / Cultural & Social, SOCIAL SCIENCE / Human Geography, SOCIAL SCIENCE / Sociology / Urban

Deep Immediacy: Programming Beauty.

Autoren: Rutzinger, Stefan Schinegger, Kristina

Quelle: Architectural Design; Sep2019, Vol. 89 Issue 5, p98-103, 6p

Schlagwörter: ART theory, TEACHER-principal relationships, SOFTWARE architecture, INTELLIGENT personal assistants, BIG data, ARTIFICIAL intelligence, EXERCISE

Modellierung der einphasigen Häckselkette zur Ressourcenplanung landwirtschaflicher Logistikprozesse. (German)

Alternate Title: Modeling the forage harvester logistics process for agricultural resource planning. (English)

Autoren: Wittwer, David Lindner, Mirko Schmidt, Thorsten et al.

Quelle: Landtechnik; 2022, Vol. 77 Issue 3, p86-101, 33p

Schlagwörter: CORN harvesting, COOPERATIVE agriculture, TRANSPORT vehicles, SLURRY, MATHEMATICAL models, AGRICULTURAL innovations, INTEGER programming

Virtual and Real-Life Spaces of Jewish Europe in the 21st Century

Autoren: Maja Hultman Joachim Schlör

Resource Type: eBook.

Categories: HISTORY / Jewish, HISTORY / General, HISTORY / Study & Teaching, RELIGION / Judaism / History

History, Space and Place

Autoren: Susanne Rau

Resource Type: eBook.

Schlagworte: Place (Philosophy), Space--Philosophy

Categories: HISTORY / General, HISTORY / Historiography

Augmented Spaces and Maps : Das Design von kartenbasierten Interfaces

Autoren: Christine Schranz

Resource Type: eBook.

Schlagworte: Digital maps, Digital mapping

Categories: DESIGN / Graphic Arts / General, DESIGN / General

A Machine Proof of the Filter-Method Construction for Real Numbers.

Autoren: Dou, Guowei Yu, Wensheng

Quelle: Mathematics (2227-7390); Sep2025, Vol. 13 Issue 17, p2707, 30p

Schlagwörter: REAL numbers, CONTINUUM hypothesis, NUMBER systems, SET theory, ULTRAFILTERS (Mathematics)

The auxiliary space method and optimal multigrid preconditioning techniques for unstructured grids.

Alternate Title: Die Hilfsraummethode und optimale Mehrgitter-Präkonditionierungstechniken für unstrukturierte Gitter. (German)

Autoren: Xu, J.

Quelle: Computing; 1996, Vol. 56 Issue 3, p215-235, 21p

Sound, dispositif and power: sound formations in pop music.

Autoren: Wicke, Peter

Quelle: Sound Studies; Sep2024, Vol. 10 Issue 2, p147-178, 32p

Schlagwörter: POPULAR music, SOUND studios, SOUND design, SOCIAL reproduction, CULTURAL relations

People: FOUCAULT, Michel, 1926-1984

Entwicklung von Methoden zur abstrakten Modellierung von Automotive Systems-on-Chips

Autoren: Aljoscha Kirchner

Resource Type: eBook.

Schlagworte: Automobile industry and trade--Electric equipment

Categories: TRANSPORTATION / General, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Applied, TECHNOLOGY & ENGINEERING / Engineering (General), TECHNOLOGY & ENGINEERING / Automotive

NEUE BEWEGUNGSRÄUME! (German)

Alternate Title: NEW EXERCISE SPACES! (English)

Autoren: Fux, Harald

Quelle: Sportstättenbau + Bäderanlagen (sb); 2020, Vol. 54 Issue 1, p54-55, 4p

Ein Modell für eine Klasse von Aufgaben optimaler Steuerung

Autoren: Leonhard Bittner

Quelle: ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik. 58:251-260

Schlagwörter: Numerical methods based on nonlinear programming, Maximum Principles, Abstract Control Problem, Necessary Optimally Conditions, Variational Inequalities, 0211 other engineering and technologies, Nonlinear Optimization, 02 engineering and technology, Optimality conditions for problems in abstract spaces, Variational inequalities, Transversality Conditions

Dateibeschreibung: application/xml

Zugangs-URL: http://ui.adsabs.harvard.edu/abs/1978ZaMM...58..251B/abstract

Fremde Galaxien und abstrakte Welten : Open Access in Astronomie und Mathematik. Soziologische Perspektiven

Autoren: Niels Taubert

Resource Type: eBook.

Schlagworte: Wissenschaft, Soziologie, Mathematik, Mathematics, Communication in science, Digitalisierung, Astronomy

Categories: SOCIAL SCIENCE / Sociology / General

Nut graphs with a given automorphism group.

Autoren: Bašić, Nino Fowler, Patrick W.

Quelle: Journal of Algebraic Combinatorics; Mar2025, Vol. 61 Issue 2, p1-12, 12p