Результаты поиска - "programátor"

AUTOMATION OF PROGRAMMING TRAINING IN THE CONTEXT OF CONSTRUCTION. HIERARCHICAL PROGRAM STRUCTURE по M. Golovin, O. Somik

Connect to this object online.

PROGRAMS FOR MODELLING RANDOM EVENTS FOR THE SAKE OF LEARNING BOTH PROGRAMMING AND MATHEMATICS по Y. Gayev, M. Martich, G. Tarak

Connect to this object online.

The Health Mentors Program: A Longitudinal Chronic Illness Mentorship Program по Lauren Collins, Christine Arenson, Susan Rattner, Shelley Wallock, Elena Umland, Leigh Ann Hewston, Cecilia Borden, Reena Antony, Jillian Necky

Connect to this object online.

On program of extracurricular mini-football training program for university girl students по A.V. Tamozhanskaya, O.M. Shkola

Connect to this object online.

EVALUATING ENTREPRENEURSHIP TRAINING PROGRAM FOR KEAKSARAAN FUNGSIONAL PROGRAM AT KECAMATAN GUNUNGHALU по Nurlaeni Nurlaeni

Connect to this object online.

Education, poverty and income transfer programs: The implementation of the Oportunidades Program in Mexico по Breynner Ricardo Oliveira, Maria do Carmo de Lacerda Peixoto

Connect to this object online.

Program evaluation of a virtual physical activity program for individuals with disabilities по Nikki Matthews, Roxanne Seaman, Emily Bremer

Connect to this object online.

Programming fitness-program for senior pupils to do physical exercises independently по Ludmyla Vashchuk

Connect to this object online.

Programming fitness-program for senior pupils to do physical exercises independently по Ludmyla Vashchuk

Connect to this object online.

Opinions of Students Enrolled in an Andalusian Bilingual Program on Bilingualism and the Program Itself по Francisco Ramos Calvo

Connect to this object online.

Programming Persistent Memory A Comprehensive Guide for Developers / по Scargall, Steve

Оглавление: “...Chapter 1: Introduction to Persistent Memory Programming -- Chapter 2: Persistent Memory Architecture -- Chapter 3: Operating System Support for Persistent Memory -- Chapter 4: Fundamental Concepts of Persistent Memory Programming -- Chapter 5: Introducing the Persistent Memory Development Kit -- Chapter 6: libpmem: Low-Level Persistent Memory Support -- Chapter 7: libpmemobj - A Native Transactional Object Store -- Chapter 8: libpmemobj-cpp: The adaptable language C++ and Persistent Memory -- Chapter 9: pmemkv - A Persistent In-Memory Key-Value Store -- Chapter 10: Volatile Use of Persistent Memory -- Chapter 11: Designing Data Structures for Persistent Memory -- Chapter 12: Debugging Persistent Memory Applications -- Chapter 13: Enabling Persistence in a Real World Application -- Chapter 14: Concurrency and Persistent Memory -- Chapter 15: Profiling and Performance -- Chapter 16: PMDK Internals - Important Algorithms and Data Structures -- Chapter 17: Reliability, Availability and Serviceability -- Chapter 18: Remote Persistent Memory -- Chapter 19: Advanced Topics -- Appendix A: Installing NDCTL and DAXCTL on Linux -- Appendix B: Installing PMDK on Linux & Windows -- Appendix C: Installing IPMCTL on Linux and Windows -- Appendix D: Java for Persistent Memory -- Appendix E: The Future of Remote Persistent Memory Replocation....”
Link to Metadata

Programming for Computations - Python A Gentle Introduction to Numerical Simulations with Python 3.6 / по Linge, Svein, Langtangen, Hans Petter

Link to Metadata

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings /

Предметы: “...Compilers (Computer programs)....”
Link to Metadata

Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings /

Предметы: “...Compilers (Computer programs)....”
Link to Metadata

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings /

Оглавление: “...The Decidability of Verification under PS 2.0 -- Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains -- Types for Complexity of Parallel Computation in Pi-Calculus -- Checking Robustness Between Weak Transactional Consistency Models -- Verified Software Units -- An Automated Deductive Verication Framework for Circuit-building Quantum Programs -- Nested Session Types -- Coupled Relational Symbolic Execution for Differential Privacy -- Graded Hoare Logic and its Categorical Semantics -- Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing -- For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM -- Run-time Complexity Bounds Using Squeezers -- Complete trace models of state and control -- Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols -- Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages -- Densities of Almost Surely Terminating Probabilistic Programs areDifferentiable Almost Everywhere -- Graded Modal Dependent Type Theory -- Automated Termination Analysis of Polynomial Probabilistic Programs -- Bayesian strategies: probabilistic programs as generalised graphical models -- Temporal Refinements for Guarded Recursive Types -- Query Lifting: Language-integrated query for heterogeneous nested collections -- Reverse AD at Higher Types: Pure, Principled and Denotationally Correct -- Sound and Complete Concolic Testing for Higher-order Functions -- Strong-Separation Logic. ....”
Link to Metadata

Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /

Оглавление: “...Categorical Foundation of Gradient-Based Learning -- Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference -- Foundations for Entailment Checking in Quantitative Separation Logic -- Extracting total Amb programs from proofs -- Why3-do: The Way of Harmonious Distributed System Proofs -- Relaxed virtual memory in Armv8-A -- Verified Security for the Morello Capability-enhanced Prototype Arm Architecture -- The Trusted Computing Base of the CompCert Verified Compiler -- View-Based Owicki-Gries Reasoning for Persistent x86-TSO -- Abstraction for Crash-Resilient Objects -- Static Race Detection for Periodic Programs -- Probabilistic Total Store Ordering -- Linearity and Uniqueness: An Entente Cordiale -- A Framework for Substructural Type Systems -- A Dependent Dependency Calculus -- Polarized Subtyping -- Structured Handling of Scoped Effects -- Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style -- A Predicate Transformer for Choreographies -- Comparing the expressiveness of the -calculus and CCS -- Concurrent NetKAT....”
Link to Metadata

Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings /

Оглавление: “...Logics for extensional, locally complete analysis via domain refinements -- Clustered Relational Thread-Modular Abstract Interpretation with Local Traces -- Adversarial Reachability for Program-level Security Analysis -- Automated Grading of Regular Expressions -- Builtin Types viewed as Inductive Families -- Pragmatic Gradual Polymorphism with References -- Modal crash types for intermittent computing -- Gradual Tensor Shape Checking -- A Type System for Effect Handlers and Dynamic Labels -- Interpreting Knowledge-based Programs -- Contextual Modal Type Theory with Polymorphic Contexts -- A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests -- Quorum Tree Abstractions of Consensus Protocols -- MAG π : Types for Failure-Prone Communication -- System $Fˆ\mu \omega$ with Context-free Session Types -- Safe Session-Based Concurrency with Shared Linear State -- Bunched Fuzz: Sensitivity for Vector Metrics -- Fast and Correct Gradient-Based Optimisation for Probabilistic Programmingvia Smoothing -- Type-safe Quantum Programming in Idris -- Automatic Alignment in Higher-Order Probabilistic Programming Languages....”
Link to Metadata

Programming for Computations - Python A Gentle Introduction to Numerical Simulations with Python / по Linge, Svein, Langtangen, Hans Petter

Link to Metadata

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings /

Оглавление: “...Language Design -- Consistent Subtyping for All -- HOBiT: Programming Lenses without using Lens Combinators -- Dualizing Generalized Algebraic Data Types by Matrix Transposition -- Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach -- Probabilistic Programming -- An Assertion-Based Program Logic for Probabilistic Programs -- Fine-grained Semantics for Probabilistic Programs -- How long, O Bayesian network, will I sample thee? ...”
Link to Metadata

Adaptive Dynamic Programming For Chemotherapy Drug Delivery / по Sun, Jiayue, Xu, Shun, Liu, Yang, Zhang, Huaguang

Оглавление: “...Preface -- Acknowledgements -- Chapter1 Introduction -- Chapter 2 Neural Networks-Based Immune Optimization Regulation Using Adaptive Dynamic Programming -- Chapter 3 Optimal Regulation Strategy for Nonzero-Sum Games of the Immune System Using Adaptive Dynamic Programming -- Chapter 4 Evolutionary Dynamics Optimal Research-Oriented Tumor Immunity Architecture -- Chapter 5 N-Level Hierarchy-Based Optimal Control to Develop Therapeutic Strategies for Ecological Evolutionary Dynamics Systems -- Chapter 6 Combination Therapy-Based Adaptive Control for Organism Using Medicine Dosage Regulation Mechanism....”
Link to Metadata