“…«La vida de Magdalena es muy actual, porque hablar de consagra­ción laical en el siglo xxi es la forma de afianzar las intuiciones que toda la Iglesia va mostrando en su camino sinodal [...]. …”

Tabla de Contenidos:

Tabla de Contenidos: “…5.1 Choosing Algorithmic Components to Work With Compilers and Architectures -- 6 Power Optimization -- 4 Basic Programming Techniques -- 1 Introduction -- 2 Reference Platform Overview -- 2.1 Understanding Hardware -- 3 SDK Installation -- 3.1 Download and Installation -- 3.2 Building a Project -- 3.3 Debugging the Project -- 4 Target System Configuration and Initialization -- 4.1 System Reset -- 4.2 Clock Configuration -- 4.3 I/O Pin Configuration -- 4.4 I/O Pin Initialization -- 4.5 SDK I/O Helper Routines -- 5 Programming Examples -- 5.1 General Purpose I/O-Blinking LED -- 5.2 Basic Serial I/O-Polled UART Send/Receive -- 5.3 Overview of Interrupt Handlers -- 5.4 Basic Timer Operation-Low-Power Timer (LPTMR) -- 6 Summary -- Questions and Answers -- 5 Programming and Implementation Guidelines -- 1 Introduction -- 1.1 Principles of High-Quality Programming -- 1.1.1 Readability -- 1.1.2 Maintainability -- 1.1.3 Testability -- 1.2 What Sets Embedded Apart From General Programming -- 2 Starting the Embedded Software Project -- 2.1 Hardware Platform Input -- 2.2 Project Files/Organization -- 2.2.1 Source Files Written Locally -- 2.2.2 Source Files From Company Libraries -- 2.2.3 Libraries From Third Parties -- 2.2.4 Libraries From Compiler/Linker Toolsets -- 2.3 Team Programming Guidelines -- 2.4 Syntax Standard -- 2.4.1 Code WhiteSpace -- 2.4.2 Tabs in Source Files -- 2.4.3 Alignment Within Source -- 2.5 Safety Requirements in Source Code -- 3 Variable Structure -- 3.1 Variable Declarations -- 3.1.1 Global Variables -- 3.1.2 File-Scope Variables -- 3.1.3 Local Variables -- 3.2 Data Types -- 3.3 Definitions -- 3.3.1 Conditional Compilation -- 3.3.2 #Define -- Content Learning Exercises -- 6 Operating Systems -- 1 Foreground/Background Systems -- 2 Real-Time Kernels…”

Tabla de Contenidos: “…-- 2.2.5 Comment About Hyperthreading -- 2.3 Programming and Execution Models -- 2.3.1 Thread Life Cycles -- 2.4 Benefits of Concurrent Programming -- Chapter 3: Creating and Running Threads -- 3.1 Introduction -- 3.2 Overview of Basic Libraries -- 3.3 Overview of Basic Thread Management -- 3.4 Using Posix Threads -- 3.4.1 Pthreads Error Reporting -- 3.4.2 Pthreads Data Types -- 3.4.3 Thread Function -- 3.4.4 Basic Thread Management Interface -- 3.4.5 Detachment State: Joining Threads -- 3.4.6 Simple Examples of Thread Management -- 3.5 Using Windows Threads -- 3.5.1 Creating Windows Threads -- 3.5.2 Joining Windows Threads -- 3.5.3 Windows Examples of Thread Management -- 3.6 C++11 Thread Library -- 3.6.1 C++11 Thread Headers…”

Tabla de Contenidos: “…4.4 Wires and Registers -- 4.5 Defining the Module Behavior -- 4.6 Parameters -- 4.7 Variables -- 4.8 Data Types -- 4.9 Decision Making -- 4.10 Loops -- 4.11 Summary -- Chapter 5: Design Automation of FPGAs -- 5.1 Introduction -- 5.2 Simulation -- 5.2.1 Simulators -- 5.2.2 Test Benches -- 5.2.3 Test Bench Goals -- 5.2.4 Simple Test Bench: Instantiating Components -- 5.2.5 Adding Stimuli -- 5.2.6 Assertions -- 5.3 Libraries -- 5.3.1 Introduction -- 5.3.2 Using Libraries -- 5.3.3 Std_logic Libraries -- 5.4 std_logic Type Definition -- 5.5 Synthesis -- 5.5.1 Design Flow for Synthesis -- 5.5.2 Synthesis Issues -- 5.6 RTL Design Flow -- 5.7 Physical Design Flow -- 5.8 Place and Route -- 5.8.1 Recursive Cut -- 5.8.2 Simulated Annealing -- 5.9 Timing Analysis -- 5.10 Design Pitfalls -- 5.10.1 Initialization -- 5.10.2 Floating Point Numbers and Operations -- 5.11 Summary -- Chapter 6: Synthesis -- 6.1 Introduction -- 6.1.1 HDL Supported in RTL Synthesis -- Initial conditions -- Concurrent edges -- 6.2 Numeric Types -- 6.3 Wait Statements -- 6.4 Assertions -- 6.5 Loops -- 6.6 Some Interesting Cases Where Synthesis May Fail -- 6.7 What Is Being Synthesized? …”

Tabla de Contenidos: “…Cover -- Copyright -- Brief Contents -- Contents -- Foreword -- Preface -- Acknowledgement -- About the Author -- Chapter 1: Introduction to Business Mathematics -- 1.1 Introduction to Business Mathematics -- 1.2 Scope and Importance -- 1.2.1 Steps in Quantitative Analysis Approach -- 1.3 Number System -- 1.3.1 Natural Numbers -- 1.3.2 Whole Numbers -- 1.4 Positive and Negative Integers -- 1.4.1 Positive Integers -- 1.4.2 Negative Integers -- 1.5 Fractions -- 1.5.1 Proper Fraction -- 1.5.2 Improper Fraction -- 1.6 Rational and Irrational Numbers -- 1.6.1 Rational Numbers -- 1.6.2 Irrational Numbers -- 1.7 Real Numbers -- 1.8 Sum of First n Natural Numbers -- 1.9 Sum of Square and Sum of Cube of First n Natural Numbers -- Chapter 2: Algebra -- 2.1 Algebra -- 2.2 Algebraic Identities -- 2.3 Simple Factorizations -- 2.4 Equations -- 2.5 Linear and Quadratic Equations -- 2.5.1 Linear Equations -- 2.5.2 Simultaneous Linear Equations -- 2.5.3 Quadratic Equation -- 2.6 Indices and Surds -- 2.6.1 Indices -- 2.6.2 Surds -- 2.7 Logarithms and Their Properties -- 2.7.1 Definition -- 2.7.2 Properties -- 2.7.3 Common Logarithms -- 2.8 Problems Based on Logarithms -- 2.9 Inequality in Graphs -- 2.10 Remainder Theorem and Factor Theorem -- 2.10.1 Remainder Theorem -- 2.10.2 Factor Theorem -- Exercise -- Chapter 3: Theory of Sets and Its Business Applications -- 3.1 Set Theory -- 3.2 Representation of Sets -- 3.2.1 Tabulation Method -- 3.2.2 Set Builder Form -- 3.2.3 Cardinal Number -- 3.2.4 Element of a Set -- 3.2.5 Order of a Set -- 3.2.6 Finite Set -- 3.2.7 Infinite Set -- 3.2.8 Singleton Set -- 3.3 Union of Sets -- 3.4 Intersection of Two Sets -- 3.5 Complement of a Set -- 3.6 Subset -- 3.6.1 Identical/Equal Set -- 3.6.2 Equivalent Set -- 3.6.3 Disjoint Set -- 3.6.4 Universal Set -- 3.7 Null Set/Empty Set/Void Set -- 3.8 Difference of a Set…”

Tabla de Contenidos: “…3.9.4 Weight Average Molecular Weight -- 3.9.5 Other Molecular Weight Averages -- 3.9.6 Determination of MWD -- 3.9.7 Effect of Molecular Weight and Molecular Weight Distribution on Flow and Mechanical Properties -- 3.10 Polymer Morphology -- 3.10.1 Crystallinity -- 3.10.2 Polymer Orientation -- 3.10.3 Degree of Crystallinity -- 3.11 Thermal Properties -- 3.11.1 Melting Temperature -- 3.11.2 Glass Transition Temperature -- 3.11.2.1 Measuring Tg -- 3.11.2.2 Variables Affecting Tg -- 3.11.3 Other Thermal Transitions -- 3.11.4 Heat Capacity -- 3.11.5 Heat of Fusion -- 3.11.6 Thermal Conductivity -- 3.11.7 Thermal Expansion Coefficient -- 3.11.8 Other Dimensional Changes -- 3.11.9 Dimensional Stability -- 3.12 Mechanical Properties -- 3.12.1 Tensile Properties -- 3.12.2 Tear Strength -- 3.12.3 Impact and Bursting Strength -- 3.12.4 Other Mechanical Properties -- 3.13 Barrier Properties -- 3.13.1 Diffusion Coefficient -- 3.13.2 Solubility Coefficient -- 3.13.3 Permeability Coefficient -- 3.14 Surfaces and Adhesion -- 3.14.1 Surface Tension -- 3.14.2 Wettability -- 3.14.3 Adhesive Bond Strength -- 3.14.4 Cohesive Bond Strength -- 3.14.5 Blocking -- 3.14.6 Friction -- 3.14.7 Heat Sealing -- 3.15 Optical Characteristics -- 3.15.1 Gloss -- 3.15.2 Haze -- 3.15.3 Transparency and Opacity -- 3.16 Electrical Properties -- 3.17 Plastics Identification Using IR Spectrophotometry -- 3.18 References -- Study Questions -- 4 Major Plastics in Packaging -- 4.1 Branched Polyethylenes -- 4.1.1 Low Density Polyethylene -- 4.1.2 Ethylene Vinyl Acetate (EVA) -- 4.1.3 Ethylene Acrylic Acid (EAA) -- 4.1.4 Ionomers -- 4.2 Linear Polyethylenes -- 4.2.1 High Density Polyethylene (HDPE) -- 4.2.2 Linear Low Density Polyethylene (LLDPE) -- 4.2.3 Metallocene Polymers -- 4.2.4 Property Trends in the Polyethylene Family -- 4.3 Polypropylene (PP) -- 4.3.1 PP Homopolymer…”

Tabla de Contenidos: “…-- Simplify your formulas -- Perform otherwise impossible calculations -- Speed up editing tasks -- Provide decision-making capability -- More about functions -- Function Argument Types -- Names as arguments -- Full-column or full-row as arguments -- Literal values as arguments -- Expressions as arguments -- Other functions as arguments -- Arrays as arguments -- Ways to Enter a Function into a Formula -- Entering a function manually -- Using the Function Library commands -- Using the Insert Function dialog box -- More tips for entering functions -- Chapter 5: Manipulating Text -- A Few Words About Text…”

Tabla de Contenidos: “…-- Decision-making guidelines -- The rise of transformer seamless APIs and assistants -- Choosing ready-to-use API-driven libraries -- Choosing a cloud platform and transformer model -- Summary -- Questions -- References -- Further reading -- Chapter 2: Getting Started with the Architecture of the Transformer Model -- The rise of the Transformer: Attention Is All You Need -- The encoder stack -- Input embedding -- Positional encoding -- Sublayer 1: Multi-head attention -- Sublayer 2: Feedforward network -- The decoder stack -- Output embedding and position encoding -- The attention layers -- The FFN sublayer, the post-LN, and the linear layer -- Training and performance -- Hugging Face transformer models -- Summary -- Questions -- References -- Further reading -- Chapter 3: Emergent vs Downstream Tasks: The Unseen Depths of Transformers -- The paradigm shift: What is an NLP task? …”

Tabla de Contenidos: “…. -- Step 1 - preparing the dataset -- Step 2 - computing the theoretical resolution -- Step 3 - verifying the convergence of a theoretical solution -- Step 4 - plotting the results -- Monte Carlo simulations - calibrated Hull and White short-rates -- Getting ready -- Step 1 - installing the packages and libraries -- How to do it... -- Step 2 - initializing the data and variables -- Step 3 - pricing the Bermudan swaptions -- Step 4 - constructing the spot term structure of interest rates -- Step 5 - simulating Hull-White short-rates -- Chapter 9: Structured Prediction -- Introduction -- Hidden Markov models - EUR and USD…”

Tabla de Contenidos: “…-- The rise of Transformer 4.0 seamless APIs -- Choosing ready-to-use API-driven libraries -- Choosing a Transformer Model -- The role of Industry 4.0 artificial intelligence specialists -- Summary -- Questions -- References -- Chapter 2: Getting Started with the Architecture of the Transformer Model -- The rise of the Transformer: Attention is All You Need -- The encoder stack -- Input embedding -- Positional encoding -- Sublayer 1: Multi-head attention -- Sublayer 2: Feedforward network -- The decoder stack -- Output embedding and position encoding -- The attention layers -- The FFN sublayer, the post-LN, and the linear layer -- Training and performance -- Tranformer models in Hugging Face -- Summary -- Questions -- References -- Chapter 3: Fine-Tuning BERT Models -- The architecture of BERT -- The encoder stack -- Preparing the pretraining input environment -- Pretraining and fine-tuning a BERT model -- Fine-tuning BERT -- Hardware constraints -- Installing the Hugging Face PyTorch interface for BERT -- Importing the modules -- Specifying CUDA as the device for torch -- Loading the dataset -- Creating sentences, label lists, and adding BERT tokens -- Activating the BERT tokenizer -- Processing the data -- Creating attention masks -- Splitting the data into training and validation sets -- Converting all the data into torch tensors -- Selecting a batch size and creating an iterator -- BERT model configuration…”

Tabla de Contenidos: “…4.1 Using Additional Information -- 4.2 Minimizing the Alphabet of the Assumption -- 5 Experimental Results -- 6 Conclusion -- References -- Online Causation Monitoring of Signal Temporal Logic -- 1 Introduction -- 2 Preliminaries -- 2.1 Signal Temporal Logic -- 2.2 Classic Online Monitoring of STL -- 3 Boolean Causation Online Monitor -- 4 Quantitative Causation Online Monitor -- 5 Experimental Evaluation -- 5.1 Experiment Setting -- 5.2 Evaluation -- 6 Related Work -- 7 Conclusion and Future Work -- References -- Process Equivalence Problems as Energy Games -- 1 Introduction -- 2 Distinctions and Equivalences in Transition Systems -- 2.1 Transition Systems and Hennessy-Milner Logic -- 2.2 Price Spectra of Behavioral Equivalences -- 3 An Energy Game of Distinguishing Capabilities -- 3.1 Energy Games -- 3.2 The Spectroscopy Energy Game -- 3.3 Correctness: Tight Distinctions -- 3.4 Becoming More Clever by Looking One Step Ahead -- 4 Computing Equivalences -- 4.1 Computation of Attacker Winning Budgets -- 4.2 Complexity and How to Flatten It -- 4.3 Equivalences and Distinguishing Formulas from Budgets -- 5 Exploring Minimizations -- 6 Conclusion and Related Work -- References -- Concurrency -- Commutativity for Concurrent Program Termination Proofs -- 1 Introduction -- 2 Preliminaries -- 2.1 Concurrent Programs -- 2.2 Termination -- 2.3 Commutativity and Traces -- 3 Closures and Reductions -- 3.1 The Compromise: A New Proof Rule -- 3.2 Omega Prefix Generalization -- 4 Finite-Word Reductions -- 4.1 Efficient Reduction to Safety -- 4.2 Sound Finite Word Reductions -- 5 Omega Regular Reductions -- 6 Experimental Results -- 7 Related Work -- 8 Conclusion -- References -- Fast Termination and Workflow Nets -- 1 Introduction -- 2 Preliminaries -- 2.1 (Integer) Linear Programs -- 2.2 Petri Nets -- 2.3 Workflow Nets -- 2.4 Termination Complexity…”

Tabla de Contenidos: “…El manejo de las objeciones 4.1 El porqué de las objeciones 4.2 Excusas vs. objeciones 4.3 Siete pasos para encontrar objeciones reales 4.4 Clasificación de las objeciones 4.5 Análisis de las objeciones, causas y formas de contestarlas 4.6 Principios y técnicas para aislar y responder objeciones Capítulo 5. Los cierres infalibles 5.1 El cierre como beneficio cliente-agente 5.2 No vender el producto, vender sus beneficios 5.3 Importancia de las preguntas para impulsar al cierre 5.4 Clasificación de los cierres 5.5 Anécdotas reales y emotivas que impulsen el deseo de compra 5.6 Cualidades del vendedor que es un gran cerrador 5.7 Recomendaciones para mejorar la imagen personal y forma de presentación Capítulo 6. …”
Acceso restringido con credenciales UPSA

Tabla de Contenidos: “…Los componentes democráticos, republicanos y libera-; La tradición democrátic…”

Tabla de Contenidos:

Tabla de Contenidos: “…, 1957; ÉCHENME AL GATO, 1957; RAFFLES, 1958; LA EDAD DE LA TENTACIÓN, 1958; MÉXICO NUNCA DUERME, 1958; LA VIDA DE AGUSTÍN LARA, 1958; ¡NI HABLAR DEL PELUQUÍN! (ANTES SÓLO PARA (...); ELLAS TAMBIÉN SON REBELDES, 1959…”

Tabla de Contenidos: “…El manejo de las objeciones 4.1 El porqué de las objeciones 4.2 Excusas vs. objeciones 4.3 Siete pasos para encontrar objeciones reales 4.4 Clasificación de las objeciones 4.5 Análisis de las objeciones, causas y formas de contestarlas 4.6 Principios y técnicas para aislar y responder objeciones Capítulo 5. Los cierres infalibles 5.1 El cierre como beneficio cliente-agente 5.2 No vender el producto, vender sus beneficios 5.3 Importancia de las preguntas para impulsar al cierre 5.4 Clasificación de los cierres 5.5 Anécdotas reales y emotivas que impulsen el deseo de compra 5.6 Cualidades del vendedor que es un gran cerrador 5.7 Recomendaciones para mejorar la imagen personal y forma de presentación Capítulo 6. …”

Tabla de Contenidos: “…Los bebés en la escuela infantil; Escuelas infantiles y educadoras; El llanto: una forma de hablar del bebé; La comida; La movilidad; Material para el cuidado del bebé; Los parques; El transporte de los bebés; Los asientos elásticos y las hamacas; El tacatá; Sillas abatibles para bebés; La ropa; Juguetes para bebés en la escuela infantil; Material de juegos para bebés; El bloque de cilindros; El buzón de un solo agujero; Palo con anillas; Los juegos de "¿Qué hay dentro?"…”

Tabla de Contenidos: “…RECORDEMOS EL CORAZÓN DEL DISCERNIMIENTO; 2. ES MEJOR HABLAR DE "REINADO DE DIOS"; 3. LA PROPUESTA DE JESÚS, SENCILLA PERO RADICAL; 4. …”

Tabla de Contenidos: “…OTRO MODO DE VER AL HOMBRE ; PÁGINA LEGAL ; ÍNDICE ; PREÁMBULO ; INTRODUCCIÓN ; 1. ¿CÓMO HABLAR DE DIOS HOY? ; ¿ES DIOS UN MITO ABSURDO?; DIOS ES LA PRESENCIA MÁS ACTUAL Y MÁS REAL; HACE FALTA UN LENGUAJE COMPLETAMENTE NUEVO ; HAY QUE PARTIR DE LA EXPERIENCIA MÍSTICA Y DE LA (...) ; LA RELIGIÓN DEBE ASUMIR A FONDO EL PROBLEMA DEL (...) ; LA PRESENTACIÓN DEL EVANGELIO; 2. …”