“…En el presente volumen se encuentra la historia de la Iglesia en España desde sus orígenes, tuvieran lugar éstos durante el siglo I d. de Cristo o a mediados del siglo III, hasta el año 2000. …”

“…ALF, which is similar to pulmonary surfactant, is more physiologically relevant to the lung than the culture medium used for HPL-1D cells. Crumb rubber-conditioned PBS and ALF were much less cytotoxic to the HPL-1D lung cells than CRCM. …”

“…El interés que los grabadores renacentistas mostraron por el mundo clásico queda reflejado de manera clara en este libro, en el que José Ignacio San Vicente González de Aspuru se ha centrado en el trabajo que Enea Vico realizó, inspirado en las monedas romanas del siglo I d.C. "Monedas romanas en los grabados de Enea Vico" estudia la evolución del grabado y los estudios de numismática en el siglo XVI en Italia y pone su lupa en la vida de Enea Vico, en su evolución artística y humanística en el campo del anticuariado, ámbito en el que alacanzó un gran renombre, sobre todo con la publicación de su "Discorsi di M. …”

“…La Biblia griega o Septuaginta (LXX) es una colección de escritos, la mayor parte de ellos traducidos del hebreo y algunos redactados originalmente en griego, que fue compuestas a lo largo de cuatro siglos, desde el III a.C. hasta el I d.C. El nombre de Septuaginta hace referencia al número de setenta/setenta y dos eruditos que según la legendaria Carta de Aristeas tradujeron la Torá judía, es decir, el Pentateuco, en la ciudad de Alejandría durante el reinado de Ptolomeo II Filadelfo (285-246 a.C.). …”

“…Dealing with digital filtering methods for 1-D and 2-D signals, this book provides the theoretical background in signal processing, covering topics such as the z-transform, Shannon sampling theorem and fast Fourier transform. …”

Tabla de Contenidos: “…DENUNCIA DE INTOXICACIÓN HABITUAL POR ESTUPEFACIENTES -- EMBARAZO Y PARTO EN SOLTERA O HIJO EXTRAMATRIMONIAL Y SU DENUNCIA -- ENFERMEDADES INCURABLES Y SU POSIBLE DENUNCIA EL ENFERMO O FAMILIA -- ENFERMEDADES EN MENORES Y LA DENUNCIA A SUS RESPONSABLES LEGALES -- ENFERMEDADES EN CÓNYUGE Y LA POSIBLE DENUNCIA EL OTRO CÓNYUGE -- EXÁMENES Y PUBLICACIONES DE TRABAJOS CIENTÍFICOS -- EXÁMENES EN HOSPITALES -- INFORMES PERICIALES MÉDICOS EN JUICIOS -- EL SECRETO MÉDICO Y LA HISTORIA CLÍNICA -- CONFIDENCIALIDAD Y S.I.D.A -- VII. NOCIONES GENERALES SOBRE LA ORGANIZACIÓN Y FUNCIONAMIENTO DE LA JUSTICIA NACIONAL -- NOCIONES GENERALES SOBRE LA ORGANIZACIÓN Y FUNCIONAMIENTO DE LA JUSTICIA NACIONAL -- LEGISLACIÓN ARGENTINA. …”

Tabla de Contenidos: “…Systèmes de financement de l'enseignement secondaire du second cycle : cofinancement... -- Tableau 3.1 d. Systèmes de financement de l'enseignement secondaire du second cycle : écoles privées... -- Apprentissage -- Aide aux apprenants dans l'enseignement secondaire et la formation initiale -- Logique des dispositifs adoptés pour le financement de l'enseignement et de la formation secondaires -- Incidence des différents systèmes de financement sur l'égalité d'accès et l'efficience -- Enseignement supérieur -- Financement -- Tableau 3.2 a. …”

Tabla de Contenidos: “…-- 4.1.4 What Happens If One Incorrectly Applies Differencing d+r Times to an I(d) Series? -- 4.2 The Spurious Regression Problem -- 4.3 Unit Root Tests -- 4.3.1 Classical Dickey-Fuller Tests -- 4.3.2 The Augmented Dickey-Fuller Test -- 4.3.3 Other Unit Root Tests…”

Tabla de Contenidos: “…The Order of a Filter -- Filter Cutoff Frequencies and Characteristic Frequencies -- First-Order Filters -- Second-Order and Higher-Order Filters -- Filter Characteristics -- Amplitude Peaking and Q -- Butterworth Filters -- Linkwitz-Riley Filters -- Bessel Filters -- Chebyshev Filters -- 1 dB-Chebyshev Lowpass Filter -- 3 dB-Chebyshev Lowpass Filter -- Higher-Order Filters -- Butterworth Filters up to 8th-Order -- Linkwitz-Riley Filters up to 8th-Order -- Bessel Filters up to 8th-Order -- Chebyshev Filters up to 8th-Order -- More Complex Filters-Adding Zeros -- Inverse Chebyshev Filters (Chebyshev Type II) -- Elliptical Filters (Cauer Filters) -- Some Lesser-Known Filter Characteristics -- Transitional Filters -- Linear-Phase Filters -- Gaussian Filters -- Legendre-Papoulis Filters -- Laguerre Filters -- Synchronous Filters -- Other Filter Characteristics -- Chapter 8: Designing Lowpass Filters: Sallen &amp -- Key -- Designing Real Filters -- Component Sensitivity -- First-Order Lowpass Filters -- Second-Order Filters -- Sallen &amp -- Key 2nd-Order Lowpass Filters -- Sallen &amp -- Key Lowpass Filter Components -- Sallen &amp -- Key 2nd-Order Lowpass: Unity Gain -- Sallen &amp -- Key 2nd-Order Lowpass Unity Gain: Component Sensitivity -- Filter Frequency Scaling -- Sallen &amp -- Key 2nd-Order Lowpass: Equal Capacitor -- Sallen &amp -- Key 2nd-Order Lowpass Equal-C: Component Sensitivity -- Sallen &amp -- Key 2nd-Order Butterworth Lowpass: Defined Gains -- Sallen &amp -- Key 2nd-Order Lowpass: Non-Equal Resistors -- Sallen &amp -- Key 2nd-Order Lowpass: Optimisation -- Sallen &amp -- Key 3rd-Order Lowpass: Two Stages -- Sallen &amp -- Key 3rd-Order Lowpass: Single Stage -- Sallen &amp -- Key 3rd-Order Lowpass in a Single Stage: Non-Equal Resistors -- Sallen &amp -- Key 4th-Order Lowpass: Two Stages -- Sallen &amp…”

Tabla de Contenidos: “…Les rapports ENELCAM - EDC -- 1. D'ENELCAM à EDC : comment changer sans rompre... -- 2. …”

Tabla de Contenidos: “…Intro -- Preface -- Organization -- Invited Talks -- How to Solve Math Problems Without Talent -- Bridging Formal Mathematics and Software Verification -- The Art of SMT Solving -- Contents - Part I -- Contents - Part II -- Contents - Part III -- Decision Procedures -- Split Gröbner Bases for Satisfiability Modulo Finite Fields -- 1 Introduction -- 1.1 Related Work -- 2 Background -- 3 Motivating Example -- 3.1 Verifying the Determinism of Num2Bits -- 3.2 The Challenge of Bit-Splitting -- 3.3 Cooperative Reasoning: A Path Forward -- 4 Approach -- 4.1 Split Gröbner bases -- 4.2 Abstract Procedure: Split -- 4.3 Concrete Procedure: BitSplit -- 5 Experiments -- 5.1 Benchmarks -- 5.2 Comparison to Prior Solvers -- 5.3 Comparison to Variants -- 6 Application -- 6.1 Background on Verifiable Field-Blasting -- 6.2 A New Strategy for Verifying Operator Rules -- 7 Conclusion -- A Additional Background -- B Computing Bitsum Usage in Real World Projects -- C Proof of Theorem 1 -- D Proof of Theorems 2 and 3 -- E Proof of Lemma 1 -- F The Seq Benchmark Family -- G Proof of Theorem 4 -- References -- Arithmetic Solving in Z3 -- 1 Introduction -- 2 Design Goals and Implementation Choices -- 3 Linear Real Arithmetic -- 3.1 Linear Solving -- 3.2 Finding Equal Variables - Cheaply -- 3.3 Bounds Propagation -- 4 Integer Linear Arithmetic -- 4.1 Patching -- 4.2 Cubes -- 4.3 GCD Consistency -- 4.4 Branching -- 4.5 Cuts -- 5 Non-linear Arithmetic -- 5.1 Patch Monomials -- 5.2 Bounds Propagation -- 5.3 Adding Bounds -- 5.4 Gröbner reduction -- 5.5 Incremental Linearization -- 5.6 NLSat -- 6 Shared Equalities -- 7 Evaluation -- 8 Summary and Discussion -- References -- Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic -- 1 Introduction -- 2 Preliminaries -- 3 Classical Automata-Based Decision Procedure for LIA…”

Tabla de Contenidos: “…3.5 Extinction for Finite-State Markov Chains and Branching Processes -- 3.5.1 Extinction in Markov Chains -- 3.5.2 Extinction in Branching Processes -- 3.6 Entropies of Directed Acyclic Graphs -- 3.7 Combinatorics of Independent, Identically Distributed Strings via the Aymptotic Equipartition Theorem -- 3.8 Entropy and Combinatorics of Markov Chains -- 3.9 Entropies of Branching Processes -- 3.9.1 Tree Structure of Multi-Type Branching Processes -- 3.9.2 Entropies of Sub-Critical, Critical, and Super-Critical Processes -- 3.9.3 Typical Trees and the Equipartition Theorem -- 3.10 Formal Languages and Stochastic Grammars -- 3.11 DAGs for Natural Language Modelling -- 3.11.1 Markov Chains and m-Grams -- 3.11.2 Context-Free Models -- 3.11.3 Hierarchical Directed Acyclic Graph Model -- 3.12 EM Algorithms for Parameter Estimation in Hidden Markov Models -- 3.12.1 MAP Decoding of the Hidden State Sequence -- 3.12.2 ML Estimation of HMM parameters via EM Forward/Backward Algorithm -- 3.13 EM Algorithms for Parameter Estimation in Natural Language Models -- 3.13.1 EM Algorithm for Context-Free Chomsky Normal Form -- 3.13.2 General Context-Free Grammars and the Trellis Algorithm of Kupiec -- 4 Markov Random Fields on Undirected Graphs -- 4.1 Undirected Graphs -- 4.2 Markov Random Fields -- 4.3 Gibbs Random Fields -- 4.4 The Splitting Property of Gibbs Distributions -- 4.5 Bayesian Texture Segmentation: The log-Normalizer Problem -- 4.5.1 The Gibbs Partition Function Problem -- 4.6 Maximum-Entropy Texture Representation -- 4.6.1 Empirical Maximum Entropy Texture Coding -- 4.7 Stationary Gibbs Random Fields -- 4.7.1 The Dobrushin/Lanford/Ruelle Definition -- 4.7.2 Gibbs Distributions Exhibit Multiple Laws with the Same Interactions (Phase Transitions): The Ising Model at Low Temperature -- 4.8 1D Random Fields are Markov Chains…”

Tabla de Contenidos: “…3.3 Making ndsDNA Gates from Array-Synthesized DNA -- 3.4 Characterizing Gate Kinetics -- 3.5 Reading Out DNA Computation with Next-Generation DNA Sequencing -- 3.6 Reading Pools of Array-Derived Gates -- 4 Discussion -- References -- Sequenceable Event Recorders -- 1 Introduction -- 2 Occurrence Recorder -- 2.1 Yes Gate -- 2.2 Occurrence Recorder Algorithm -- 3 Coincidence Recorder -- 3.1 Join Gate -- 3.2 Coincidence Recorder Algorithm -- 4 Preorder Recorder -- 4.1 Choice Gate Specification -- 4.2 Preorder Recorder Algorithm -- 4.3 Crosstalking Choice Gate -- 4.4 A ``Proper'' Choice Gate -- 5 Conclusions -- References -- Computational Design of Nucleic Acid Circuits: Past, Present, and Future -- 1 Past -- 1.1 Visual DSD Origins -- 1.2 Visual DSD Evolution -- 1.3 Visual DSD Analysis -- 2 Present -- 2.1 Logic Programming Framework -- 2.2 Related Work -- 3 Future -- 3.1 Computational Tool Integration -- 3.2 Experiment Integration -- 3.3 Computational Design for Practical Applications -- References -- Spatial Systems -- Parallel Computations with DNA-Encoded Chemical Reaction Networks -- 1 Harnessing Parallelization in Chemical Reaction Networks -- 1.1 D(R)NA-Based Deterministic Chemical Reaction Networks -- 1.2 CRNs Run on Inherently Parallel Processes -- 2 Creating Sub-Computations -- 2.1 No-Diffusion (Leak-Tight) Compartments -- 2.2 Compartment-Free Approaches -- 2.3 Intermediate Cases: Some Species Diffuse, Some Do Not -- 3 Discussion and Applications -- 3.1 Independent Compartments Containing an Identical Circuit but Receiving Different Inputs -- 3.2 Independent Compartments Containing Different Circuits, All Working on the Same Inputs -- 3.3 Cross-Talking Compartments Collaborating to Compute a Global Response -- References -- Social DNA Nanorobots -- 1 Introduction -- 1.1 Motivation -- 1.2 Summary of Our Results -- 1.3 Organization…”

Tabla de Contenidos: “…Hillman, TOWARD AN OBJECTIVE AERODYNAMIC ASSESSMENT OF VOCAL HYPERFUNCTION USING A VOICE HEALTH MONITOR -- I.D. Castro Miller, M. Moerman, VOICE THERAPY ASISSTANT: A USEFUL TOOL TO FACILITATE THERAPY IN DYSPHONIC PATIENTS -- D. …”

“…Dicho libro surge para ofrecer respuestas a las necesidades detectadas en el Proyecto I+D+I: I+D+I: "Educación para la Salud Transcultural en los jóvenes, inmigrantes y autóctonos, de Almería: Análisis e intervención para su optimización y mejora" (Ref: EDU2011-26887)…”
Texto completo en Odilo

“…This book is a compilation of reviews about the pathogenesis of Type 1 Diabetes. T1D is a classic autoimmune disease. Genetic factors are clearly determinant but cannot explain the rapid, even overwhelming expanse of this disease. …”

“…Produce computer network diagrams, organization charts, floor plans, and moreUse templates to create new diagrams and drawings quicklyAdd text, color, and 1-D and 2-D shapesInsert graphics and pictures, such as co…”

“…Estas tareas deben unirse también a nuestra capacidad para Investigar, Desarrollar e Innovar (I+D+i) de forma competitiva y potenciar el papel de las instituciones educativas en las que trabajamos obteniendo las inversiones económicas que se precisan para desarrollar las prácticas investigadoras…”

“…More specific topics include: 3D CFD detailed analysis of the fuel injection, combustion and exhaust aftertreatments processes, 1D and 0D, semi-empirical, neural network-based control-oriented models, experimental analysis and the optimization of both conventional and innovative combustion processes…”