Suchergebnisse - (( Programming in abstrakty spaces ) OR ( Programming in abstracts spaces ))

Formal Methods for Robot Motion Planning with Time and Space Constraints (Extended Abstract)

Autoren: Barbosa, Fernando S. Karlsson, Jesper Tajvar, Pouria et al.

Quelle: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). :1-14

Schlagwörter: Feedback control, Motion planning, MTL, RRT, STL, Temporal logic, Computer circuits, Cost functions, Feedback, Fixed wings, Formal methods, Robots, Time sharing systems, Topology, Unmanned aerial vehicles (UAV), Asymptotically optimal, Autonomous exploration, Computational tractability, Hybrid feedback control, Interval temporal logic, Linear temporal logic, Motion planning algorithms, Robot motion planning, Robot programming

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-311761

Programming Aspiration: Mack Scogin Merrill Elam Knowlton Hall

Autoren: Elam, Mack Scogin Merrill

Quelle: PRAXIS: Journal of Writing + Building, 2006 Jan 01(8), 36-47.

Zugangs-URL: https://www.jstor.org/stable/24328973

Goal-Space Planning with Subgoal Models.

Autoren: Chunlok Lo Roice, Kevin Panahi, Parham Mohammad et al.

Quelle: Journal of Machine Learning Research. Jan-Dec2024, Vol. 25, p1-57. 57p.

Schlagwörter: *DYNAMIC programming, *ALGORITHMS, REINFORCEMENT learning, MEMORY

Markovian Decision Processes with Compact Action Spaces

Autoren: Furukawa, Nagata

Quelle: The Annals of Mathematical Statistics, 1972 Oct 01. 43(5), 1612-1622.

Zugangs-URL: https://www.jstor.org/stable/2240083

Maximal Average-Reward Policies for Semi-Markov Decision Processes With Arbitrary State and Action Space

Autoren: Lippman, Steven A.

Quelle: The Annals of Mathematical Statistics, 1971 Oct 01. 42(5), 1717-1726.

Zugangs-URL: https://www.jstor.org/stable/2240295

When do bounds and domain propagation lead to the same search space?

Autoren: Schulte, Christian Stuckey, P. J.

Quelle: ACM Transactions on Programming Languages and Systems. 27(3):388-425

Schlagwörter: constraint (logic) programming, finite domain constraints, bounds propagation, domain propagation, abstract interpretation, program analysis, logic programs, constraint

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-14844

Dynamic programming and brachistochrone problems in abstract spaces. Technical report No. RB73-28

Weitere Verfasser: Bellman, R

Quelle: Other Information: Orig. Receipt Date: 31-DEC-74

Dateibeschreibung: Medium: X; Size: Pages: 17

Zugangs-URL: http://www.osti.gov/scitech/biblio/4278165

A sequential homotopy method for mathematical programming problems.

Autoren: Potschka, Andreas Bock, Hans Georg

Quelle: Mathematical Programming. May2021, Vol. 187 Issue 1/2, p459-486. 28p.

Schlagwörter: *MATHEMATICAL programming, HILBERT space, EULER equations, LAGRANGE multiplier, CONTINUATION methods

The UPC++ PGAS library for Exascale Computing: Extended Abstract

Autoren: Bonachea, D Bachan, J Hargrove, P et al.

Quelle: 2017-January

Schlagwörter: Exascale computing, Global Address Space, PGAS, UPC++, 4606 Distributed Computing and Systems Software (for-2020), 46 Information and Computing Sciences (for-2020), PGAS, Global Address Space, UPC plus, Exascale computing

Dateibeschreibung: application/pdf

Zugangs-URL: https://escholarship.org/uc/item/5pq438t6
https://escholarship.org/content/qt5pq438t6/qt5pq438t6.pdf

An approach to duality via image space analysis and applications to linear vector optimization problems.

Autoren: Yao, Chaoli Wang, Siqi

Quelle: Optimization. Nov2024, Vol. 73 Issue 11, p3437-3449. 13p.

Schlagwörter: *DUALITY theory (Mathematics), *MATHEMATICAL economics, *IMAGE analysis, *GENERALIZED spaces, *CONSTRAINED optimization, *GOAL programming

Multiobjective interval linear programming in admissible-order vector space.

Autoren: Li, Dechao Leung, Yee Wu, Weizhi

Quelle: Information Sciences. Jun2019, Vol. 486, p1-19. 19p.

Schlagwörter: *LINEAR programming, *PROBLEM solving, VECTOR spaces, MULTIDISCIPLINARY design optimization, OPERATOR theory

Toward HPC application portability via C++ PSTL: the Gaia AVU-GSR code assessment.

Autoren: Malenza, Giulio Cesare, Valentina Aldinucci, Marco et al.

Quelle: Journal of Supercomputing. Jul2024, Vol. 80 Issue 10, p14369-14390. 22p.

Schlagwörter: *C++, *PROCESS capability, *HIGH performance computing, *MILKY Way, *LINEAR equations, *LINEAR systems

Firma/Körperschaft: GAIA (Artificial satellite) , EUROPEAN Space Agency , NVIDIA Corp. 806724555 NVDA

A novel feature selection for evolving compact dispatching rules using genetic programming for dynamic job shop scheduling.

Autoren: Shady, Salama Kaihara, Toshiya Fujii, Nobutada et al.

Quelle: International Journal of Production Research. Jul2022, Vol. 60 Issue 13, p4025-4048. 24p. 4 Diagrams, 6 Charts, 5 Graphs.

Schlagwörter: *PRODUCTION scheduling, *DYNAMIC programming, GENETIC programming, FEATURE selection, MACHINE learning, DISCRETE event simulation

Upward Slopes and Inf-Convolutions

Autoren: Flåm, Sjur Didrik

Quelle: Mathematics of Operations Research, 2006 Feb 01. 31(1), 188-198.

Zugangs-URL: https://www.jstor.org/stable/25151715

Damon Krukowski listens to 2001: A Space Odyssey

Autoren: Krukowski, Damon

Quelle: Film Comment, 2002 Jan 01. 38(1), 16-16.

Zugangs-URL: https://www.jstor.org/stable/43754775

Bridging the gap between object stores and HPC

Autoren: Barceló Cuerda, Alex

Weitere Verfasser: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

Thesis Advisors: Queralt Calafat, Anna, Cortés, Toni

Quelle: TDX (Tesis Doctorals en Xarxa)

Schlagwörter: Object store, Active storage system, Data locality, Non-volatile memory, Persistent memory, HPC, Distributed computing, DataClay, COMPSs, Dask, Àrees temàtiques de la UPC::Informàtica

Dateibeschreibung: application/pdf

Zugangs-URL: http://hdl.handle.net/10803/692793
https://dx.doi.org/10.5821/dissertation-2117-420703

Space station orbit design using dynamic programming.

Autoren: Lin, Kun-Peng Luo, Ya-Zhong Tang, Guo-Jin

Quelle: Acta Astronautica. Aug2013, Vol. 89, p195-204. 10p.

Schlagwörter: *SPACE stations, *DYNAMIC programming, *PROPELLANTS, *ORBITS (Astronomy), *AERONAUTICS, *AEROSPACE engineering

Tangent Cones, Generalized Gradients and Mathematical Programming in Banach Spaces

Autoren: Hiriart-Urruty, J. B.

Quelle: Mathematics of Operations Research, 1979 Feb 01. 4(1), 79-97.

Zugangs-URL: https://www.jstor.org/stable/3689241

Innovation in Music 2022: Book of Abstracts: CONFERENCE PROGRAMME 17-19 June 2022

Weitere Verfasser: Gullö, Jan-Olof, Editor Hepworth-Sawyer, Russ, Editor Toulson, Rob, Editor et al.

Quelle: Innovation in Music.

Schlagwörter: Innovation in Music, Book of Abstracts, Conference Programme

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kmh:diva-4771
https://kmh.diva-portal.org/smash/get/diva2:1722857/FULLTEXT01.pdf

Ordinal space projection learning via neighbor classes representation.

Autoren: Tian, Qing Chen, Songcan Ma, Tinghuai

Quelle: Computer Vision & Image Understanding. Sep2018, Vol. 174, p24-32. 9p.

Schlagwörter: Metric spaces, Ordinal measurement, Mathematical optimization, Algorithms, Semidefinite programming