Výsledky vyhľadávania - "((\"programming in (abstrakte OR abstrakty) spaces\") OR (\"programming in abstracts spaces\"))~"

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

Autori: Dallmeyer, Nils

Témy: 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

Abstract Reasoning with Deep Learning

Autori: Purgał, Stanisław

Témy: 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

Autori: Purgał, Stanisław Jozef

Témy: 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

Autori: Jochen Kibel Nina Meier Silke Steets a ďalší

Typ zdroja: eBook.

Predmet: Public spaces--Social aspects

Kategórie: SOCIAL SCIENCE / Anthropology / Cultural & Social, SOCIAL SCIENCE / Human Geography, SOCIAL SCIENCE / Sociology / Urban

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

Autori: YONGKUN LI PAN WANG

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

Predmety: PERIODIC functions, TIME, BANACH spaces, MATHEMATICAL mappings, DYNAMIC programming

Über ein abstraktes Maximumprinzip

Autori: I. Kolumbán

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

Predmety: Nonlinear programming, QA1-939, Optimality conditions for problems in abstract spaces, Mathematics

Popis súboru: application/xml

Prístupová URL adresa: https://zbmath.org/3568373
https://doaj.org/article/8169f3db16bf4051a1f7bb07f5f9c21f
https://doaj.org/article/ccf3158069d74717be1d535a52cab37c

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

Autori: Maja Hultman Joachim Schlör

Typ zdroja: eBook.

Kategórie: HISTORY / Jewish, HISTORY / General, HISTORY / Study & Teaching, RELIGION / Judaism / History

History, Space and Place

Autori: Susanne Rau

Typ zdroja: eBook.

Predmet: Place (Philosophy), Space--Philosophy

Kategórie: HISTORY / General, HISTORY / Historiography

Deep Immediacy: Programming Beauty.

Autori: Rutzinger, Stefan Schinegger, Kristina

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

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

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)

Autori: Xu, J.

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

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

Autori: Dou, Guowei Yu, Wensheng

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

Predmety: REAL numbers, CONTINUUM hypothesis, NUMBER systems, SET theory, ULTRAFILTERS (Mathematics)

On optimality in abstract convex programming.

Autori: Trudzik, L.

Zdroj: ZOR: Mathematical Methods of Operations Research; Dec1983, Vol. 27 Issue 1, p1-16, 16p

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

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

Autori: Wittwer, David Lindner, Mirko Schmidt, Thorsten a ďalší

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

Predmety: CORN harvesting, COOPERATIVE agriculture, TRANSPORT vehicles, SLURRY, MATHEMATICAL models, AGRICULTURAL innovations, INTEGER programming

Ein Modell für eine Klasse von Aufgaben optimaler Steuerung

Autori: Leonhard Bittner

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

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

Popis súboru: application/xml

Prístupová URL adresa: http://ui.adsabs.harvard.edu/abs/1978ZaMM...58..251B/abstract

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

Autori: Wicke, Peter

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

Predmety: POPULAR music, SOUND studios, SOUND design, SOCIAL reproduction, CULTURAL relations

Osoby: FOUCAULT, Michel, 1926-1984

Zu einer dualen Aufgabe bei abstrakten Optimalsteuerproblemen. (On a dual problem related with abstract optimal control problems)

Autori: Hoffmann, Armin

Predmety: Programming in abstract spaces, Banach space, asymptotic solvability, dual operator, abstract control, Duality theory (optimization)

Popis súboru: application/xml

Prístupová URL adresa: https://zbmath.org/4114426

Model Driven Visual Programming for Serious Games

Autori: Thillainathan Niroshan

Typ zdroja: eBook.

Predmet: Model-driven software architecture, Video games--Programming, Domain-specific programming languages

Kategórie: TECHNOLOGY & ENGINEERING / Mechanical, GAMES & ACTIVITIES / Board Games

Nut graphs with a given automorphism group.

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

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

Ghosts in the Machine: Kafka and AI.

Autori: Meyer, Imke

Zdroj: Humanities (2076-0787); Feb2025, Vol. 14 Issue 2, p25, 19p

Predmety: ARTIFICIAL intelligence, COMMUNICATION in literature, DIGITAL media, MEDIA studies, HORROR in literature

NEUE BEWEGUNGSRÄUME! (German)

Alternate Title: NEW EXERCISE SPACES! (English)

Autori: Fux, Harald

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