Suchergebnisse - "((\"programming in (abstract OR abstrakty) spaces\") 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

Sensitivity Analysis for Convex Multiobjective Programming in Abstract Spaces

Autoren: Balbás, A. Guerra, P.Jiménez

Quelle: Journal of Mathematical Analysis and Applications ; volume 202, issue 2, page 645-658 ; ISSN 0022-247X

Verfügbarkeit: http://dx.doi.org/10.1006/jmaa.1996.0339
https://api.elsevier.com/content/article/PII:S0022247X9690339X?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0022247X9690339X?httpAccept=text/plain

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

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

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

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

Convex Parametric Programming in Abstract Spaces

Autoren: Asgharian, M. Zlobec, S.

Quelle: Optimization ; volume 51, issue 6, page 841-861 ; ISSN 0233-1934 1029-4945

Verfügbarkeit: https://doi.org/10.1080/0233193021000015659
http://www.tandfonline.com/doi/pdf/10.1080/0233193021000015659

A semi-automatic end-user programming approach for smart space application development.

Autoren: Palviainen, Marko Kuusijärvi, Jarkko Ovaska, Eila

Quelle: Pervasive & Mobile Computing. Jun2014, Vol. 12, p17-36. 20p.

Schlagwörter: End users (Information technology), Automatic programming (Computer science), Application software, Computer software, Automation, Visual programming (Computer science)