Search Results - (( Programming in abstracts spaces ) OR ( programming in abstrakty spaces ))

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

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

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

Subject Terms: 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

File Description: print

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

Programming Aspiration: Mack Scogin Merrill Elam Knowlton Hall

Authors: Elam, Mack Scogin Merrill

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

Access URL: https://www.jstor.org/stable/24328973

Goal-Space Planning with Subgoal Models.

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

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

Subject Terms: *DYNAMIC programming, *ALGORITHMS, REINFORCEMENT learning, MEMORY

Markovian Decision Processes with Compact Action Spaces

Authors: Furukawa, Nagata

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

Access URL: https://www.jstor.org/stable/2240083

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

Authors: Lippman, Steven A.

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

Access URL: https://www.jstor.org/stable/2240295

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

Authors: Schulte, Christian Stuckey, P. J.

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

Subject Terms: constraint (logic) programming, finite domain constraints, bounds propagation, domain propagation, abstract interpretation, program analysis, logic programs, constraint

File Description: print

Access 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

Contributors: Bellman, R

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

File Description: Medium: X; Size: Pages: 17

Access URL: http://www.osti.gov/scitech/biblio/4278165

A sequential homotopy method for mathematical programming problems.

Authors: Potschka, Andreas Bock, Hans Georg

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

Subject Terms: *MATHEMATICAL programming, HILBERT space, EULER equations, LAGRANGE multiplier, CONTINUATION methods

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

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

Source: 2017-January

Subject Terms: 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

File Description: application/pdf

Access 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.

Authors: Yao, Chaoli Wang, Siqi

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

Subject Terms: *DUALITY theory (Mathematics), *MATHEMATICAL economics, *IMAGE analysis, *GENERALIZED spaces, *CONSTRAINED optimization, *GOAL programming

Multiobjective interval linear programming in admissible-order vector space.

Authors: Li, Dechao Leung, Yee Wu, Weizhi

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

Subject Terms: *LINEAR programming, *PROBLEM solving, VECTOR spaces, MULTIDISCIPLINARY design optimization, OPERATOR theory

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

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

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

Subject Terms: *C++, *PROCESS capability, *HIGH performance computing, *MILKY Way, *LINEAR equations, *LINEAR systems

Company/Entity: 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.

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

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

Subject Terms: *PRODUCTION scheduling, *DYNAMIC programming, GENETIC programming, FEATURE selection, MACHINE learning, DISCRETE event simulation

Upward Slopes and Inf-Convolutions

Authors: Flåm, Sjur Didrik

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

Access URL: https://www.jstor.org/stable/25151715

Damon Krukowski listens to 2001: A Space Odyssey

Authors: Krukowski, Damon

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

Access URL: https://www.jstor.org/stable/43754775

Bridging the gap between object stores and HPC

Authors: Barceló Cuerda, Alex

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

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

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: 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

File Description: application/pdf

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

Space station orbit design using dynamic programming.

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

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

Subject Terms: *SPACE stations, *DYNAMIC programming, *PROPELLANTS, *ORBITS (Astronomy), *AERONAUTICS, *AEROSPACE engineering

Tangent Cones, Generalized Gradients and Mathematical Programming in Banach Spaces

Authors: Hiriart-Urruty, J. B.

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

Access URL: https://www.jstor.org/stable/3689241

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

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

Source: Innovation in Music.

Subject Terms: Innovation in Music, Book of Abstracts, Conference Programme

File Description: electronic

Access 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.

Authors: Tian, Qing Chen, Songcan Ma, Tinghuai

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

Subject Terms: Metric spaces, Ordinal measurement, Mathematical optimization, Algorithms, Semidefinite programming