Suchergebnisse - Programming in abstracts spaces

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

Correct-by-construction instantiation of abstract scenarios.

Autoren: Becker, Jan Steffen Neurohr, Christian

Quelle: International Journal on Software Tools for Technology Transfer. Oct2025, Vol. 27 Issue 5, p465-485. 21p.

Schlagwörter: *AUTOMOTIVE engineering, *MOTOR vehicle dynamics, *CONSTRAINT programming, *MOTOR vehicle driving

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

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

Indefinite Abstract Splines with a Quadratic Constraint.

Autoren: Gonzalez Zerbo, Santiago Maestripieri, Alejandra Martínez Pería, Francisco

Quelle: Journal of Optimization Theory & Applications. Jul2020, Vol. 186 Issue 1, p209-225. 17p.

Schlagwörter: *QUADRATIC programming, *HILBERT space, *SPLINES

The digest framework: concurrency-sensitivity for abstract interpretation.

Autoren: Schwarz, Michael Erhard, Julian

Quelle: International Journal on Software Tools for Technology Transfer. Dec2024, Vol. 26 Issue 6, p727-746. 20p.

Schlagwörter: *PROGRAMMING languages, *COST analysis, *SCALABILITY, *EXPLOSIONS

Space cost analysis using sized types

Autoren: Vasconcelos, Pedro B. Hammond, Kevin

Weitere Verfasser: Vasconcelos, Pedro B. Hammond, Kevin

Schlagwörter: 005.1, Functional programming, Cost analysis, Program analysis, Type and effect systems, Abstract interpretation, QA76.62V2, Functional programming (Computer science), System analysis, Computer programming--Costs

Zugangs-URL: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.552180

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

Convex Parametric Programming in Abstract Spaces.

Autoren: Asgharian, M. Zlobec, S.

Quelle: Optimization. Dec2002, Vol. 51 Issue 6, p841. 21p.

Schlagwörter: *CONVEX programming, *CONVEX sets

Lexicographic Ordering in n-dimensional Space: Exploring Completeness Properties.

Autoren: Mulyaning A., Endang Cahya Cahyono, Edi Masta, Al Azhary et al.

Quelle: IAENG International Journal of Applied Mathematics. Oct2025, Vol. 55 Issue 10, p3231-3241. 11p.

Schlagwörter: *MATHEMATICS, *ARCHIMEDEAN property, *MATHEMATICAL inequalities, *LINEAR orderings, *DATA structures

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: *REINFORCEMENT learning, *DYNAMIC programming, *ALGORITHMS, *MEMORY

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

Solving nonlinear and dynamic programming equations on extended b-metric spaces with the fixed-point technique

Autoren: Abdelkader Belhenniche Liliana Guran Sfya Benahmed et al.

Quelle: Fixed Point Theory and Algorithms for Sciences and Engineering, Vol 2022, Iss 1, Pp 1-22 (2022)

Schlagwörter: Single-valued mappings, Extended b-metric spaces, Common fixed point, Nonlinear integral equations, Fractional differential equations system, Bellman’s equation, Applied mathematics. Quantitative methods, T57-57.97, Analysis, QA299.6-433

Dateibeschreibung: electronic resource

Relation: https://doaj.org/toc/2730-5422

Zugangs-URL: https://doaj.org/article/4fb09239bef74c7da7d96d5c60bde1fe

Programming nonreciprocity and harmonic beam steering via a digitally space-time-coded metamaterial antenna

Autoren: Shaghayegh Vosoughitabar Chung-Tse Michael Wu

Quelle: Scientific Reports, Vol 13, Iss 1, Pp 1-11 (2023)

Schlagwörter: Medicine, Science

Dateibeschreibung: electronic resource

Relation: https://doaj.org/toc/2045-2322

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

Notation for mass parallel algorithms: computing Petri net state space on GPU case study.

Autoren: Zaitsev, D. A. Zhang, Z. Liu, D. et al.

Quelle: International Journal of Parallel, Emergent & Distributed Systems. Apr2025, Vol. 40 Issue 2, p101-115. 15p.

Schlagwörter: *GRAPH algorithms, *TIME complexity, *PARALLEL programming, *ALGORITHMS, *CUBES, *PETRI nets

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

The inertial iterative extragradient methods for solving pseudomonotone equilibrium programming in Hilbert spaces

Autoren: Habib ur Rehman Poom Kumam Ioannis K. Argyros et al.

Quelle: Journal of Inequalities and Applications, Vol 2022, Iss 1, Pp 1-27 (2022)

Schlagwörter: Equilibrium problem, Iterative method, Pseudomonotone bifunction, Weak convergence theorem, Mathematics, QA1-939

Dateibeschreibung: electronic resource

Relation: https://doaj.org/toc/1029-242X

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

Exploring the Chiroptical Engineering in Free Space Encoded with DNA‐Assembled Plasmonic Hybrids of Isotropic/Anisotropic Objects.

Autoren: Ma, Li Feng, Chi Pan, Liang et al.

Quelle: Laser & Photonics Reviews. Nov2025, p1. 10p. 6 Illustrations.

Schlagwörter: *CIRCULAR dichroism, *CHIRALITY, *NANOSTRUCTURES, *PLASMONICS, *DNA folding, *NANOSTRUCTURED materials

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