Search Results - "((\"Programming in abstract spaces\") OR (\"Programming in abstract space\"))~"

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

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

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

Convex Parametric Programming in Abstract Spaces.

Authors: Asgharian, M. Zlobec, S.

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

Subject Terms: *CONVEX programming, *CONVEX sets

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

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

Authors: Abdelkader Belhenniche Liliana Guran Sfya Benahmed et al.

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

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

File Description: electronic resource

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

Access URL: https://doaj.org/article/4fb09239bef74c7da7d96d5c60bde1fe

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

Authors: Shaghayegh Vosoughitabar Chung-Tse Michael Wu

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

Subject Terms: Medicine, Science

File Description: electronic resource

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

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

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

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

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

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

Subject Terms: Equilibrium problem, Iterative method, Pseudomonotone bifunction, Weak convergence theorem, Mathematics, QA1-939

File Description: electronic resource

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

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

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

Authors: Vivekanantha, Prushoth Son, Helena Bernardini, Luca et al.

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

Sensitivity Analysis for Convex Multiobjective Programming in Abstract Spaces

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

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

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

Contributors: Bellman, R

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

File Description: Medium: X; Size: Pages: 17

Access URL: http://www.osti.gov/scitech/biblio/4278165

Classified Dynamic Programming in RNA Structure Analysis.

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

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

Publication Type: Journal Article

Journal Info: 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

MeSH Terms: RNA*/chemistry , RNA*/genetics , Algorithms* , Nucleic Acid Conformation* , RNA Folding* , Computational Biology*/methods, Software ; Thermodynamics

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

Authors: Beniamino Accattoli Ugo Dal Lago Gabriele Vanoni

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

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

File Description: electronic resource

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

Access URL: https://doaj.org/article/9f5e2b11197643c59a8640dcd5f188b0

Polyhedral domains for abstract interpretation in logic programming

Authors: Benoy, Patricia Mary King, Andy

Contributors: Benoy, Patricia Mary King, Andy

Subject Terms: 005, QA 76 Software, computer programming

Access URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.369680

Space cost analysis using sized types

Authors: Vasconcelos, Pedro B. Hammond, Kevin

Contributors: Vasconcelos, Pedro B. Hammond, Kevin

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

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

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

Semi-automated title-abstract screening using natural language processing and machine learning.

Authors: Pilz, Maximilian Zimmermann, Samuel Friedrichs, Juliane et al.

Source: Systematic Reviews; 11/1/2024, Vol. 13 Issue 1, p1-14, 14p

Subject Terms: NATURAL language processing, MACHINE learning, LANGUAGE models, MACHINE theory, PROGRAMMING languages

Node and edge control strategy identification via trap spaces in Boolean networks

Authors: Laura Cifuentes-Fontanals Elisa Tonello Heike Siebert

Source: BMC Bioinformatics, Vol 24, Iss S1, Pp 1-30 (2025)

Subject Terms: Control, Boolean network, Trap space, Node control, Edge control, Computer applications to medicine. Medical informatics, R858-859.7, Biology (General), QH301-705.5

File Description: electronic resource

Relation: https://doaj.org/toc/1471-2105

Access URL: https://doaj.org/article/6c9e2a5ca49647c0a1cc87564055cf8f