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

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

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

Authors: Barbosa, Fernando S. Karlsson, Jesper Tajvar, Pouria et al.

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

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

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-311761

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

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

Authors: Al-Dawoodi, Maryam Hussein Ali Al-Moqaram, Asmaa M. H.

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

Subject Terms: PHASE space, OCCUPANCY rates

Geographic Terms: BAGHDAD (Iraq)

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

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

Authors: Schulte, Christian Stuckey, P. J.

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

Subject Terms: constraint (logic) programming, finite domain constraints, bounds propagation, domain propagation, abstract interpretation, program analysis, logic programs, constraint

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-14844

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

Upward Slopes and Inf-Convolutions

Authors: Flåm, Sjur Didrik

Source: Mathematics of Operations Research, 2006 Feb 01. 31(1), 188-198.

Access URL: https://www.jstor.org/stable/25151715

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

Supporting Parent and Child Engagement (SPACE)

Source: Supporting Parent and Child Engagement - SPACE Parenting Program
Abidin, R. R. (2012). Parenting stress index (4th ed.). Lutz, FL: PAR.
Cameron EE, Joyce KM, Delaquis CP, Reynolds K, Protudjer JLP, Roos LE. Maternal psychological distress & mental health service use during the COVID-19 pandemic. J Affect Disord. 2020 Nov 1;276:765-774. doi: 10.1016/j.jad.2020.07.081. Epub 2020 Jul 20.
Connor KM, Davidson JR. Development of a new resilience scale: the Connor-Davidson Resilience Scale (CD-RISC). Depress Anxiety. 2003;18(2):76-82. doi: 10.1002/da.10113.
Kroenke K, Spitzer RL, Williams JB. The PHQ-9: validity of a brief depression severity measure. J Gen Intern Med. 2001 Sep;16(9):606-13. doi: 10.1046/j.1525-1497.2001.016009606.x.
McCaffrey, S., Reitman, D., & Black, R. (2017). Mindfulness in Parenting Questionnaire (MIPQ): Development and validation of a measure of mindful parenting. Mindfulness, 8(1), 232-246.
Mieloo C, Raat H, van Oort F, Bevaart F, Vogel I, Donker M, Jansen W. Validity and reliability of the strengths and difficulties questionnaire in 5-6 year olds: differences by gender or by parental education? PLoS One. 2012;7(5):e36805. doi: 10.1371/journal.pone.0036805. Epub 2012 May 18.
McDaniel, B. T., Everest, J., & White, C. (April 2018). Parent distraction with technology and its impact on parenting quality. Poster presentation: Illinois Council on Family Relations. Normal, IL.
PROMIS Health Organization & PROMIS Cooperative Group. (2012). Level 2 - Anger - Adult: PROMIS Emotional Distress - Anger - Short Form. Evanston: IL
Rideout, V. (2017). The Common Sense census: Media use by kids age zero to eight. San Francisco, CA: Common Sense Media
Spitzer RL, Kroenke K, Williams JB, Lowe B. A brief measure for assessing generalized anxiety disorder: the GAD-7. Arch Intern Med. 2006 May 22;166(10):1092-7. doi: 10.1001/archinte.166.10.1092.
Perrin EC, Leslie LK, Boat T. Parenting as Primary Prevention. JAMA Pediatr. 2016 Jul 1;170(7):637-8. doi: 10.1001/jamapediatrics.2016.0225. No abstract available.
Luthar SS, Eisenberg N. Resilient Adaptation Among At-Risk Children: Harnessing Science Toward Maximizing Salutary Environments. Child Dev. 2017 Mar;88(2):337-349. doi: 10.1111/cdev.12737. Epub 2017 Feb 1.
Blair C, Diamond A. Biological processes in prevention and intervention: the promotion of self-regulation as a means of preventing school failure. Dev Psychopathol. 2008 Summer;20(3):899-911. doi: 10.1017/S0954579408000436.
Dixon Jr, W. E., & Smith, P. H. (2000). Links between early temperament and language acquisition. Merrill-Palmer Quarterly (1982-), 417-440.
Eisenberg N, Sadovsky A, Spinrad TL. Associations of emotion-related regulation with language skills, emotion knowledge, and academic outcomes. New Dir Child Adolesc Dev. 2005 Fall;(109):109-18. doi: 10.1002/cd.143.
Eisenberg N, Valiente C, Eggum ND. Self-Regulation and School Readiness. Early Educ Dev. 2010 Sep 1;21(5):681-698. doi: 10.1080/10409289.2010.497451.
Howard SJ, Williams KE. Early Self-Regulation, Early Self-Regulatory Change, and Their Longitudinal Relations to Adolescents' Academic, Health, and Mental Well-Being Outcomes. J Dev Behav Pediatr. 2018 Jul/Aug;39(6):489-496. doi: 10.1097/DBP.0000000000000578.
Williams, K. E., & Berthelsen, D. (2017). The development of prosocial behaviour in early childhood: Contributions of early parenting and self-regulation. International Journal of Early Childhood, 49(1), 73-94. https ://doi.org/10.1007/s1315 8-017-0185-5.
Spinelli M, Lionetti F, Setti A, Fasolo M. Parenting Stress During the COVID-19 Outbreak: Socioeconomic and Environmental Risk Factors and Implications for Children Emotion Regulation. Fam Process. 2021 Jun;60(2):639-653. doi: 10.1111/famp.12601. Epub 2020 Sep 28.
Roos LE, Salisbury M, Penner-Goeke L, Cameron EE, Protudjer JLP, Giuliano R, Afifi TO, Reynolds K. Supporting families to protect child health: Parenting quality and household needs during the COVID-19 pandemic. PLoS One. 2021 May 24;16(5):e0251720. doi: 10.1371/journal.pone.0251720. eCollection 2021.