Search Results - "((\"programming in (abstract OR abstrakty) space\") OR (\"programming in abstracts 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

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

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

Authors: Chih-Ming Chen Ming-Yan Huang

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

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

File Description: electronic resource

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

Access URL: https://doaj.org/article/e83f06d9e38e407f8b89130486048191

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

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

Authors: Oulha, Amira Achouak Alzalg, Baha

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

Subject Terms: *HILBERT space, *STOCHASTIC analysis, *STOCHASTIC control theory, *INTERIOR-point methods, *CONSTRAINED optimization

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

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

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

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

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

Geographic Terms: Nebraska, Missouri, Kansas, New Hampshire, Colorado

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

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

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

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

Range Space and Similarity Transformation Using Symbolic Mathematics in Python

Authors: Chainarong Wisassakwichai Prasert Phaochoo

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

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

File Description: electronic resource

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

Access URL: https://doaj.org/article/896cdd3067e34ce39125d503ff1c593f

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

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

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

Subject Terms: *DIFFERENTIAL equations, ALGEBRA, INTERIOR-point methods, HILBERT space, HILBERT transform, STOCHASTIC programming

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

Authors: Joven Murillo, Jaume

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

Thesis Advisors: Carrabina Bordoll, Jordi

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: Parallel programming models, NOC-Based MPSoCs, Quality of service, Tecnologies

File Description: application/pdf

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

Crowd simulation and visualization

Authors: Pérez, Hugo

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

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

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: Àrees temàtiques de la UPC::Informàtica

File Description: application/pdf

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

Periodic time dependent Hamiltonian systems and applications

Authors: Jorba-Cuscó, Marc

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

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

Source: TDX (Tesis Doctorals en Xarxa)

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

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/666655