Search Results - LKL~

Resultados Científicos de la Investigación Multidisciplinaria desde la Perspectiva Ética by Arroyo, Vernaza, David, Girard, Bone, Mina

Table of Contents: “…Índice -- Resumen -- Capítulo 1 -- La discriminación del trabajo desde una perspective ética, caso de estudio en la Provincia de Santo Domingo -- Capítulo 2 -- Importancia de los principios éticos en los negocios globales -- Capítulo 3 -- La ética publicitaria de las empresas ecuatorianas como responsabilidad social de los grupos de interés -- Capítulo 4 -- La ética y los sistemas de mercado frente al constante cambio laboral en la ciudad de Quito -- Capítulo 5 -- La ética del cuidado dentro de las organizaciones sociales -- Capítulo 6 -- El impacto del comportamiento de los individuos en las organizaciones…”
Access online version

Fashion Figures How Missy the Mathlete Made the Cut / by Borza, Melissa A.

Table of Contents: “….- Chapter 4 Divided We Stand -- Chapter 5 Patterns and Problems -- Chapter 6 -- Garbage In ≠ Garbage Out -- Chapter 7 Teasing Out the Answers -- Chapter 8 Solutions by Design -- Chapter 9 To the Nines -- Chapter 10 All the Right Angles -- Chapter 11 Pi for All.…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification -- Multiparty Session Typing in Java, Deductively -- PyLTA: A Verification Tool for Parameterized Distributed Algorithms -- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format -- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit -- Combinatorial Optimization/Theorem Proving -- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization -- Verified reductions for optimization -- Specifying and Verifying Higher-order Rust Iterators -- Extending a High-Performance Prover to Higher-Order Logic -- Tools (Regular Papers) -- The WhyRel Prototype for Relational Verification of Pointer Programs -- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter -- CoPTIC: Constraint Programming Translated Into C -- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability -- Synthesis -- Computing Adequately Permissive Assumptions for Synthesis -- Verification-guided Programmatic Controller Synthesis -- Taming Large Bounds in Synthesis from Bounded-Liveness Specifications -- Lockstep Composition for Unbalanced Loops -- Synthesis of Distributed Agreement-Based Systems with Effciently Decidable Verification -- LTL Reactive Synthesis with a Few Hints -- Timed Automata Verification and Synthesis via Finite Automata Learning -- Graphs/Probabilistic Systems -- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition -- Transforming quantified Boolean formulas using biclique covers -- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration -- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants -- Runtime Monitoring/Program Analysis -- Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote -- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis -- Explainable Online Monitoring of Metric Temporal Logic -- 12th Competition on Software Verification - SV-COMP 2023 -- Competition on Software Verification and Witness Validation: SV-COMP 2023 -- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (Competition Contribution) -- 2LS: Arrays and Loop Unwinding (Competition Contribution) -- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution) -- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) -- Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution) -- Java Ranger: Supporting String and Array Operations (Competition Contribution) -- Korn-Software Verification with Horn Clauses (Competition Contribution) -- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) -- PIChecker: A POR and Interpolation based Verifierfor Concurrent Programs (Competition Contribution) -- Ultimate Automizer and the CommuHash Normal Form (Competition Contribution) -- Ultimate Taipan and Race Detection in Ultimate (Competition Contribution) -- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) -- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). .…”
Link to Metadata

Old Age before Modernity Case Studies and Methodological Perspectives, 500 BC ‒ 1700 AD

“…Neue Reihe Pubblicazioni online del DHI Roma. Nuova serie…”
DOAB: download the publication
DOAB: description of the publication

Von Aachen bis Akkon Grenzüberschreitungen im Mittelalter

“…Neue Reihe Pubblicazioni online del DHI Roma. Nuova serie…”
DOAB: download the publication
DOAB: description of the publication

Le udienze di Mussolini durante la Repubblica Sociale Italiana, 1943-1945 2a edizione ampliata e revisionata by Osti Guerrazzi, Amedeo

“…Neue Reihe Pubblicazioni online del DHI Roma. Nuova serie…”
DOAB: download the publication
DOAB: description of the publication

Il cardinale Pietro Gasparri, segretario di Stato (1914-1930)

“…Neue Reihe | Pubblicazioni online del DHI Roma. Nuova serie…”
DOAB: download the publication
DOAB: description of the publication

Cinema as a Political Media Germany and Italy Compared, 1945-1950s

“…Neue Reihe; Pubblicazioni online del DHI Roma. Nuova serie…”
DOAB: download the publication
DOAB: description of the publication

Livio Odescalchi, nipote di papa Innocenzo XI Interessi famigliari e strategie di ascesa nella stagione dell'antinepotismo by Fiorentini, Roberto

“…Neue Reihe | Pubblicazioni online del DHI Roma. Nuova serie…”
DOAB: download the publication
DOAB: description of the publication

Italia ed Europa centro-orientale tra Medioevo ed Età moderna Economia, Società, Cultura

“…Neue Reihe - Pubblicazioni online del DHI Roma. Nuova serie…”
DOAB: download the publication
DOAB: description of the publication

Il cardinale Pietro Gasparri, segretario di Stato (1914-1930)

“…Neue Reihe | Pubblicazioni online del DHI Roma. Nuova serie…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Il cardinale Pietro Gasparri, segretario di Stato (1914-1930)

“…Neue Reihe | Pubblicazioni online del DHI Roma. Nuova serie…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Le udienze di Mussolini durante la Repubblica Sociale Italiana, 1943-1945 2a edizione ampliata e revisionata by Osti Guerrazzi, Amedeo

“…Neue Reihe Pubblicazioni online del DHI Roma. Nuova serie…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Cinema as a Political Media Germany and Italy Compared, 1945-1950s

“…Neue Reihe; Pubblicazioni online del DHI Roma. Nuova serie…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Livio Odescalchi, nipote di papa Innocenzo XI Interessi famigliari e strategie di ascesa nella stagione dell'antinepotismo by Fiorentini, Roberto

“…Neue Reihe | Pubblicazioni online del DHI Roma. Nuova serie…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Italia ed Europa centro-orientale tra Medioevo ed Età moderna Economia, Società, Cultura

“…Neue Reihe - Pubblicazioni online del DHI Roma. Nuova serie…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Old Age before Modernity Case Studies and Methodological Perspectives, 500 BC ‒ 1700 AD

“…Neue Reihe Pubblicazioni online del DHI Roma. Nuova serie…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Von Aachen bis Akkon Grenzüberschreitungen im Mittelalter

“…Neue Reihe Pubblicazioni online del DHI Roma. Nuova serie…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

La lingüística hispánica Una introducción by Ganeshan, Ashwini

Table of Contents: “…Capítulo 1: Una breve introducción a la lingüística -- Lengua y Lenguaje -- Competencia lingüística y competencia comunicativa -- El bilingüismo y el mutilingüismo -- Las características del lenguaje -- Las reglas prescriptivas y descriptivas -- Los diferentes campos de estudio en la lingüística -- Las funciones del lenguaje -- Tipos de variación -- Qué hacer con la lingüística -- Ejercicios: Las características del lenguaje -- Ejercicios: Las reglas prescriptivas y descriptivas -- Ejercicios: Los diferentes campos de estudio en la lingüística -- Ejercicios: Las funciones del lenguaje -- Ejercicios: Tipos de variación -- Clave de ejercicios -- Capítulo 2: Los sonidos de español -- Los fonos de español -- ¿Cómo producimos los fonemas? …”
Access online version

The Vortex and The Jet A Journey into the Beauty and Mystery of Flight / by Decher, Reiner

Table of Contents: “…-- The bound vortex -- Frictionless air cannot provide lift: a paradox -- Drag, a nightmare or a challenge, depending on your point of view -- Pressure: The Bernoulli principle and flow energy conservation -- Pressure, pressure, it's all about pressure! -- Putting it all together in the real world -- The jet: fluid in motion -- Propulsion for flight: power or thrust? …”
Link to Metadata