Search Results - "((\"programming in (abstract OR abstrakty) space\") OR (\"programming in abstracts spaces\"))*"
-
1
Authors: 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
-
2
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
-
3
Authors: Furukawa, Nagata
Source: The Annals of Mathematical Statistics, 1972 Oct 01. 43(5), 1612-1622.
Access URL: https://www.jstor.org/stable/2240083
-
4
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
-
5
Authors:
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
-
6
Authors:
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
-
7
Authors: 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
-
8
Authors:
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
-
9
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
-
10
Authors: Krukowski, Damon
Source: Film Comment, 2002 Jan 01. 38(1), 16-16.
Access URL: https://www.jstor.org/stable/43754775
-
11
Authors: Barceló Cuerda, Alex
Contributors: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors
Thesis Advisors: Queralt Calafat, Anna, Cortés, Toni
Source: TDX (Tesis Doctorals en Xarxa)
Subject Terms: Object store, Active storage system, Data locality, Non-volatile memory, Persistent memory, HPC, Distributed computing, DataClay, COMPSs, Dask, Àrees temàtiques de la UPC::Informàtica
File Description: application/pdf
-
12
Authors: Hiriart-Urruty, J. B.
Source: Mathematics of Operations Research, 1979 Feb 01. 4(1), 79-97.
Access URL: https://www.jstor.org/stable/3689241
-
13
Contributors: et al.
Source: Innovation in Music.
Subject Terms: Innovation in Music, Book of Abstracts, Conference Programme
File Description: electronic
-
14
Authors: et al.
Source: Online Submission. 2018.
Peer Reviewed: N
Page Count: 158
Descriptors: Academic Libraries, Inclusion, Homosexuality, Sexual Orientation, Sexual Identity, Library Instruction, Adult Students, Andragogy, Reference Services, Library Services, Librarian Teacher Cooperation, College Faculty, Creative Writing, Library Materials, Geographic Location, Information Literacy, Community Colleges, Periodicals, Bias, Humanities, Electronic Libraries, Library Administration, Active Learning, Learning Activities, Metadata, Story Telling, High School Students, College Students, Online Courses, Outreach Programs, Institutional Mission, Access to Information, Distance Education, Hispanic Americans, Social Media, Accreditation (Institutions), Internet, Best Practices, Archives, Resumes (Personal), Research Skills, Books, Electronic Publishing, Comparative Analysis, Citations (References), Computer Software, Library Facilities, Space Utilization, Use Studies, Educational Resources, Programming Languages
Geographic Terms: Nebraska, Missouri, Kansas, New Hampshire, Colorado
-
15
Authors:
Source: The Annals of Statistics, 1997 Oct 01. 25(5), 1954-1983.
Access URL: https://www.jstor.org/stable/2959011
-
16
Authors:
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
-
17
Authors: Alzalg, Baha1 (AUTHOR) baha2math@gmail.com
Source: RAIRO: Operations Research (2804-7303). 2024, Vol. 58 Issue 1, p1011-1044. 34p.
Subject Terms: *DIFFERENTIAL equations, ALGEBRA, INTERIOR-point methods, HILBERT space, HILBERT transform, STOCHASTIC programming
-
18
Authors: Joven Murillo, Jaume
Contributors: University/Department: Universitat Autònoma de Barcelona. Departament de Microelectrònica i Sistemes Electrònics
Thesis Advisors: Carrabina Bordoll, Jordi
Source: TDX (Tesis Doctorals en Xarxa)
Subject Terms: Parallel programming models, NOC-Based MPSoCs, Quality of service, Tecnologies
File Description: application/pdf
-
19
Authors: Pérez, Hugo
Contributors: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors
Thesis Advisors: Rudomín, Isaac, Ayguadé i Parra, Eduard
Source: TDX (Tesis Doctorals en Xarxa)
Subject Terms: Àrees temàtiques de la UPC::Informàtica
File Description: application/pdf
-
20
Authors: Jorba-Cuscó, Marc
Contributors: University/Department: Universitat de Barcelona. Departament de Matemàtiques i Informàtica
Thesis Advisors: Farrés Basiana, Ariadna, Jorba i Monte, Àngel
Source: TDX (Tesis Doctorals en Xarxa)
Subject Terms: Sistemes hamiltonians, Sistemas de Hamilton, Hamiltonian systems, Invariants, Invariantes, Astrofísica, Astrophysics, Ciències Experimentals i Matemàtiques
File Description: application/pdf
Access URL: http://hdl.handle.net/10803/666655
Nájsť tento článok vo Web of Science
Full Text Finder