Výsledky vyhledávání - "((\"programming in abstracts spaces\") OR (\"programming in abstracts space\"))~"

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

Autoři: Chih-Ming Chen Ming-Yan Huang

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

Témata: 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

Popis souboru: electronic resource

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

Přístupová URL adresa: https://doaj.org/article/e83f06d9e38e407f8b89130486048191

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

Autoři: Barbosa, Fernando S. Karlsson, Jesper Tajvar, Pouria a další

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

Témata: 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

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-311761

Space cost analysis using sized types

Autoři: Vasconcelos, Pedro B. Hammond, Kevin

Přispěvatelé: Vasconcelos, Pedro B. Hammond, Kevin

Témata: 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

Přístupová URL adresa: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.552180

Programming Aspiration: Mack Scogin Merrill Elam Knowlton Hall

Autoři: Elam, Mack Scogin Merrill

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

Přístupová URL adresa: https://www.jstor.org/stable/24328973

Range Space and Similarity Transformation Using Symbolic Mathematics in Python

Autoři: Chainarong Wisassakwichai Prasert Phaochoo

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

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

Popis souboru: electronic resource

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

Přístupová URL adresa: https://doaj.org/article/896cdd3067e34ce39125d503ff1c593f

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

Autoři: Abdelkader Belhenniche Liliana Guran Sfya Benahmed a další

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

Témata: 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

Popis souboru: electronic resource

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

Přístupová URL adresa: https://doaj.org/article/4fb09239bef74c7da7d96d5c60bde1fe

Differentiable Programming in Banach Spaces: Differentiable programming in Banach spaces

Autoři: B.M. Glover

Zdroj: Mathematische Operationsforschung und Statistik. Series Optimization. 14:499-508

Témata: Programming in abstract spaces, Banach space, Numerical methods based on nonlinear programming, Nonlinear programming, closed-cone hypothesis, generalized Kuhn- Tucker necessary conditions, Lagrange multiplier, 0101 mathematics, Optimality conditions for problems in abstract spaces, 01 natural sciences, differentiable mathematical program, closed-range condition

Popis souboru: application/xml

Přístupová URL adresa: https://www.tandfonline.com/doi/pdf/10.1080/02331938308842884

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

Autoři: Shaghayegh Vosoughitabar Chung-Tse Michael Wu

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

Témata: Medicine, Science

Popis souboru: electronic resource

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

Přístupová URL adresa: https://doaj.org/article/ff34be0b2ca940299ab0cc9fc2739ab8

Space occupancy programming using excel macro: Office buildings in Iraq as a case study.

Autoři: Al-Dawoodi, Maryam Hussein Ali Al-Moqaram, Asmaa M. H.

Zdroj: AIP Conference Proceedings; 2024, Vol. 3051 Issue 1, p1-16, 16p

Témata: PHASE space, OCCUPANCY rates

Geografický termín: BAGHDAD (Iraq)

Goal-Space Planning with Subgoal Models.

Autoři: Chunlok Lo Roice, Kevin Panahi, Parham Mohammad a další

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

Témata: *DYNAMIC programming, *ALGORITHMS, REINFORCEMENT learning, MEMORY

Markovian Decision Processes with Compact Action Spaces

Autoři: Furukawa, Nagata

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

Přístupová URL adresa: https://www.jstor.org/stable/2240083

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

Autoři: Lippman, Steven A.

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

Přístupová URL adresa: https://www.jstor.org/stable/2240295

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

Autoři: Habib ur Rehman Poom Kumam Ioannis K. Argyros a další

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

Témata: Equilibrium problem, Iterative method, Pseudomonotone bifunction, Weak convergence theorem, Mathematics, QA1-939

Popis souboru: electronic resource

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

Přístupová URL adresa: https://doaj.org/article/ae7ffc8ea0274049a6eca3bc272c7617

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

Autoři: Schulte, Christian Stuckey, P. J.

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

Témata: constraint (logic) programming, finite domain constraints, bounds propagation, domain propagation, abstract interpretation, program analysis, logic programs, constraint

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-14844

Evaluating the Efficacy and Efficiency of GPT-5 for Automated Title and Abstract Screening in Orthopedic Surgery Systematic Reviews.

Autoři: Vivekanantha, Prushoth Son, Helena Bernardini, Luca a další

Zdroj: Current Reviews in Musculoskeletal Medicine; 12/2/2025, Vol. 19 Issue 1, p1-11, 11p

Dynamic programming and brachistochrone problems in abstract spaces. Technical report No. RB73-28

Přispěvatelé: Bellman, R

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

Popis souboru: Medium: X; Size: Pages: 17

Přístupová URL adresa: http://www.osti.gov/scitech/biblio/4278165

Classified Dynamic Programming in RNA Structure Analysis.

Autoři: Voß B; RNA Biology and Bioinformatics, Institute of Biomedical Genetics, University of Stuttgart, Stuttgart, Germany.

Zdroj: Methods in molecular biology (Clifton, N.J.) [Methods Mol Biol] 2024; Vol. 2726, pp. 125-141.

Způsob vydávání: Journal Article

Informace o časopise: Publisher: Humana Press Country of Publication: United States NLM ID: 9214969 Publication Model: Print Cited Medium: Internet ISSN: 1940-6029 (Electronic) Linking ISSN: 10643745 NLM ISO Abbreviation: Methods Mol Biol Subsets: MEDLINE

Výrazy ze slovníku MeSH: RNA*/chemistry , RNA*/genetics , Algorithms* , Nucleic Acid Conformation* , RNA Folding* , Computational Biology*/methods, Software ; Thermodynamics

Reasonable Space for the ${\lambda}$-Calculus, Logarithmically

Autoři: Beniamino Accattoli Ugo Dal Lago Gabriele Vanoni

Zdroj: Logical Methods in Computer Science, Vol 20, Issue 4 (2024)

Témata: computer science - logic in computer science, computer science - computational complexity, computer science - programming languages, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

Popis souboru: electronic resource

Relation: http://lmcs.episciences.org/10883/pdf; https://doaj.org/toc/1860-5974

Přístupová URL adresa: https://doaj.org/article/9f5e2b11197643c59a8640dcd5f188b0

A sequential homotopy method for mathematical programming problems.

Autoři: Potschka, Andreas Bock, Hans Georg

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

Témata: *MATHEMATICAL programming, HILBERT space, EULER equations, LAGRANGE multiplier, CONTINUATION methods

Polyhedral domains for abstract interpretation in logic programming

Autoři: Benoy, Patricia Mary King, Andy

Přispěvatelé: Benoy, Patricia Mary King, Andy

Témata: 005, QA 76 Software, computer programming

Přístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.369680