Suchergebnisse - "((\"programming in (abstract OR abstrakty) space\") OR (\"programming in abstracts space\"))~"

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

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

Enhancing programming learning performance through a Jigsaw collaborative learning method in a metaverse virtual space

Autoren: Chih-Ming Chen Ming-Yan Huang

Quelle: International Journal of STEM Education, Vol 11, Iss 1, Pp 1-24 (2024)

Schlagwörter: Computational thinking, Programming learning, Jigsaw collaborative learning method, Metaverse virtual space, Learning attitude, Education, Education (General), L7-991, Special aspects of education, LC8-6691, Theory and practice of education, LB5-3640

Dateibeschreibung: electronic resource

Relation: https://doaj.org/toc/2196-7822

Zugangs-URL: https://doaj.org/article/e83f06d9e38e407f8b89130486048191

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

A path-following algorithm for stochastic quadratically constrained convex quadratic programming in a Hilbert space.

Autoren: Oulha, Amira Achouak Alzalg, Baha

Quelle: Communications in Combinatorics & Optimization. 2024, Vol. 9 Issue 2, p353-387. 35p.

Schlagwörter: *HILBERT space, *STOCHASTIC analysis, *STOCHASTIC control theory, *INTERIOR-point methods, *CONSTRAINED optimization

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

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

2018 Brick & Click: An Academic Library Conference (18th, Maryville, Missouri, November 2, 2018)

Autoren: Northwest Missouri State University Baudino, Frank Johnson, Carolyn et al.

Quelle: Online Submission. 2018.

Peer Reviewed: N

Page Count: 158

Descriptors: Academic Libraries, Inclusion, Homosexuality, Sexual Orientation, Sexual Identity, Library Instruction, Adult Students, Andragogy, Reference Services, Library Services, Librarian Teacher Cooperation, College Faculty, Creative Writing, Library Materials, Geographic Location, Information Literacy, Community Colleges, Periodicals, Bias, Humanities, Electronic Libraries, Library Administration, Active Learning, Learning Activities, Metadata, Story Telling, High School Students, College Students, Online Courses, Outreach Programs, Institutional Mission, Access to Information, Distance Education, Hispanic Americans, Social Media, Accreditation (Institutions), Internet, Best Practices, Archives, Resumes (Personal), Research Skills, Books, Electronic Publishing, Comparative Analysis, Citations (References), Computer Software, Library Facilities, Space Utilization, Use Studies, Educational Resources, Programming Languages

Geografische Kategorien: Nebraska, Missouri, Kansas, New Hampshire, Colorado

Abstract Tubes, Improved Inclusion-Exclusion Identities and Inequalities and Importance Sampling

Autoren: Naiman, Daniel Q. Wynn, Henry P.

Quelle: The Annals of Statistics, 1997 Oct 01. 25(5), 1954-1983.

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

Range Space and Similarity Transformation Using Symbolic Mathematics in Python

Autoren: Chainarong Wisassakwichai Prasert Phaochoo

Quelle: IEEE Access, Vol 12, Pp 182788-182798 (2024)

Schlagwörter: Similarity transformation, linear algebra, symbolic mathematics, Python, SymPy, object-oriented programming, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

Dateibeschreibung: electronic resource

Relation: https://ieeexplore.ieee.org/document/10772442/; https://doaj.org/toc/2169-3536

Zugangs-URL: https://doaj.org/article/896cdd3067e34ce39125d503ff1c593f

Barrier methods based on Jordan–Hilbert algebras for stochastic optimization in spin factors.

Autoren: Alzalg, Baha¹ (AUTHOR) baha2math@gmail.com

Quelle: RAIRO: Operations Research (2804-7303). 2024, Vol. 58 Issue 1, p1011-1044. 34p.

Schlagwörter: *DIFFERENTIAL equations, ALGEBRA, INTERIOR-point methods, HILBERT space, HILBERT transform, STOCHASTIC programming

HW-SW components for parallel embedded computing on Noc-based MPSoCs

Autoren: Joven Murillo, Jaume

Weitere Verfasser: University/Department: Universitat Autònoma de Barcelona. Departament de Microelectrònica i Sistemes Electrònics

Thesis Advisors: Carrabina Bordoll, Jordi

Quelle: TDX (Tesis Doctorals en Xarxa)

Schlagwörter: Parallel programming models, NOC-Based MPSoCs, Quality of service, Tecnologies

Dateibeschreibung: application/pdf

Zugangs-URL: http://www.tdx.cat/TDX-1222110-163429
http://hdl.handle.net/10803/5779

Crowd simulation and visualization

Autoren: Pérez, Hugo

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

Thesis Advisors: Rudomín, Isaac, Ayguadé i Parra, Eduard

Quelle: TDX (Tesis Doctorals en Xarxa)

Schlagwörter: Àrees temàtiques de la UPC::Informàtica

Dateibeschreibung: application/pdf

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

Periodic time dependent Hamiltonian systems and applications

Autoren: Jorba-Cuscó, Marc

Weitere Verfasser: University/Department: Universitat de Barcelona. Departament de Matemàtiques i Informàtica

Thesis Advisors: Farrés Basiana, Ariadna, Jorba i Monte, Àngel

Quelle: TDX (Tesis Doctorals en Xarxa)

Schlagwörter: Sistemes hamiltonians, Sistemas de Hamilton, Hamiltonian systems, Invariants, Invariantes, Astrofísica, Astrophysics, Ciències Experimentals i Matemàtiques

Dateibeschreibung: application/pdf

Zugangs-URL: http://hdl.handle.net/10803/666655