Výsledky vyhledávání - "((\"Programming in abstract spaces\") OR (\"Programming in abstract 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

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

Autoři: Oulha, Amira Achouak Alzalg, Baha

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

Témata: *HILBERT space, *STOCHASTIC analysis, *STOCHASTIC control theory, *INTERIOR-point methods, *CONSTRAINED optimization

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

Convex Parametric Programming in Abstract Spaces.

Autoři: Asgharian, M. Zlobec, S.

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

Témata: *CONVEX programming, *CONVEX sets

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

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

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

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

Sensitivity Analysis for Convex Multiobjective Programming in Abstract Spaces

Autoři: Balbás, A. Guerra, P.Jiménez

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

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

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

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

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

The UPC++ PGAS library for Exascale Computing: Extended Abstract

Autoři: Bonachea, D Bachan, J Hargrove, P a další

Zdroj: 2017-January

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

Popis souboru: application/pdf

Přístupová URL adresa: 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.

Autoři: Pilz, Maximilian Zimmermann, Samuel Friedrichs, Juliane a další

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

Témata: NATURAL language processing, MACHINE learning, LANGUAGE models, MACHINE theory, PROGRAMMING languages

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

Autoři: Laura Cifuentes-Fontanals Elisa Tonello Heike Siebert

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

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

Popis souboru: electronic resource

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

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