Results 11 to 20 of about 273,438 (282)
A Sequential Homotopy Method for Mathematical Programming Problems [PDF]
Mathematical programming, 2019 We propose a sequential homotopy method for the solution of mathematical programming problems formulated in abstract Hilbert spaces under the Guignard constraint qualification.
Bock, Hans Georg, Potschka, Andreas
core +2 more sources
OptimizedDP: An Efficient, User-friendly Library For Optimal Control and Dynamic Programming [PDF]
arXiv.org, 2022 This paper introduces OptimizedDP, a high-performance software library for several common grid-based dynamic programming (DP) algorithms used in control theory and robotics.
Minh Bui +3 more
semanticscholar +1 more source
AST-Probe: Recovering abstract syntax trees from hidden representations of pre-trained language models [PDF]
International Conference on Automated Software Engineering, 2022 The objective of pre-trained language models is to learn contextual representations of textual data. Pre-trained language models have become mainstream in natural language processing and code modeling.
José Antonio Hernández López +3 more
semanticscholar +1 more source
Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation
International Conference on Automated Software Engineering, 2022 Channel-based concurrency is a widely used alternative to shared-memory concurrency but is difficult to use correctly. Common programming errors may result in blocked threads that wait indefinitely.
Oskar Haarklou Veileborg +2 more
semanticscholar +1 more source
Probabilistic programming semantics for name generation [PDF]
Proc. ACM Program. Lang., 2020 We make a formal analogy between random sampling and fresh name generation. We show that quasi-Borel spaces, a model for probabilistic programming, can soundly interpret the ν-calculus, a calculus for name generation.
Marcin Sabok +3 more
semanticscholar +1 more source
Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems [PDF]
IEEE Transactions on Automatic Control, 2018 Discrete-time stochastic systems are an essential modeling tool for many engineering systems. We consider stochastic control systems that are evolving over continuous spaces.
S. Haesaert, S. Soudjani
semanticscholar +1 more source
Engaging Direct Care Providers in the Implementation of Montessori Programming for Dementia
Innovation in aging, 2021 There is a need to engage direct care providers such as certified nursing assistants (CNAs) explicitly in efforts to implement innovative programming in long-term care environments.
N. Douglas
semanticscholar +1 more source
Plant Methods, 2023 Background Cell characteristics, including cell type, size, shape, packing, cell-to-cell-adhesion, intercellular space, and cell wall thickness, influence the physical characteristics of plant tissues.
Nelia Nause +4 more
doaj +1 more source
Software Engineering and Its Role in the Study of Office Space
Journal of Architecture, Art & Humanistic Science, 2019 The paper deals with the domain of engineering software and its role in office space study based on the concrete concept and definitions related to engineering programming.
Muhammad Al kazee
doaj +1 more source
A Top-Down Approach for a Generic Programming Abstraction in Real Space-Time
Embedded Selforganising Systems, 2010 Today’s widely used programming approach formobile distributed systems, e.g., swarms, is bottom-up. I.e.,the programmer has to be aware of the system’s distribution.Such a kind of programming corrupts the principle Separationof Concerns and turns out to be complicated.
Däumler, Martin +2 more
openaire +1 more source