Tabla de Contenidos: “…2.2 Aging of Materials -- 2.3 Materials Characterization -- 2.4 Complementary Tests -- 3 Results -- 3.1 Volume Variation -- 3.2 Hardness Variation -- 3.3 Complementary Tests -- 4 Conclusions -- References -- Calculation of Williams-Landel Ferry Shift Factors via Probe Tack Testing for Uncured Prepreg Materials -- 1 Introduction -- 2 Method -- 2.1 Materials -- 2.2 Differential Scanning Calorimetry -- 2.3 Rheology -- 2.4 Adhesion Tests -- 3 Results -- 3.1 DSC -- 3.2 Rheology -- 3.3 Adhesion Tests -- 4 Conclusions -- References -- Modal Analysis of a 2R Flexible Platform Using Screw Theory -- 1 Introduction -- 2 Beam Element Derivation Using Screw Theory -- 3 Modal Analysis -- 4 Conclusions -- References -- OpenBeam: Off-Line and On-Line Tools to Solve Static Analysis of Mechanical Structures -- 1 Introduction -- 2 Methods -- 2.1 Direct Stiffness Matrix Method -- 2.2 Distributed Loads -- 2.3 Meshing -- 2.4 Eigen3 Library -- 2.5 MRPT-opengl Library -- 2.6 Emscripten -- 3 Results -- 3.1 The Openbeam C++ Library -- 3.2 Implemented Finite Elements -- 3.3 YAML Structure Definition Language -- 3.4 Applications -- 4 Conclusions -- References -- Failure Analysis of a Conveyor Belt Rail (Tripper) of Mineral -- 1 Introduction -- 2 Results and Analysis -- 2.1 Visual Inspection -- 2.2 Chemical Composition Analysis -- 2.3 Hardness Measurement -- 2.4 Metallographic Analysis -- 2.5 Micro Hardness Measurement -- 3 Conclusions -- References -- Vibration Analysis in Agricultural Vehicles for Fault Detection -- 1 Introduction -- 2 Methodology -- 2.1 Decision Tree -- 2.2 Obtaining Features -- 2.3 Extracted Characteristics -- 3 Results -- 3.1 Feature Analysis -- 4 Conclusion -- References -- Collaborative Project to Improve Teaching of Cams' Kinematic and Dynamic Analysis Using Spreadsheets -- 1 Introduction -- 2 Theoretical Basis on the Calculation of Cams…”

Tabla de Contenidos: “…5.1 Computing Derivatives via pMCs (and When It Does Not Work) -- 5.2 Computing Derivatives Explicitly -- 5.3 Computing k-Highest Derivatives -- 6 Numerical Experiments -- 7 Related Work -- 8 Concluding Remarks -- References -- MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives -- 1 Introduction -- 1.1 Related Work -- 2 Preliminaries -- 2.1 Markov Systems -- 2.2 MDPs as Distribution Transformers -- 3 Problem Statement and Examples -- 4 Proving Safety by Invariants -- 4.1 Distribution Strategies -- 4.2 Distributional Invariants for MDP Safety -- 5 Algorithms for Distributional Invariant Synthesis -- 5.1 Synthesis of Affine Invariants and Memoryless Strategies -- 5.2 Synthesis of Affine Invariants and General Strategies -- 6 Discussion, Extensions, and Variants -- 7 Implementation and Evaluation -- 8 Conclusion -- References -- Search and Explore: Symbiotic Policy Synthesis in POMDPs -- 1 Introduction -- 2 Motivating Examples -- 3 Preliminaries and Problem Statement -- 4 FSCs for and from Belief Exploration -- 4.1 Belief Exploration with Explicit FSC Construction -- 4.2 Using FSCs for Cut-Off Values -- 4.3 Extracting FSC from Belief Exploration -- 5 Accelerated Inductive Synthesis -- 5.1 Inductive Synthesis with k-FSCs -- 5.2 Using Reference Policies to Accelerate Inductive Synthesis -- 5.3 Inductive Synthesis with Adequate FSCs -- 6 Integrating Belief Exploration with Inductive Synthesis -- 7 Experiments -- 8 Conclusion and Future Work -- References -- Security and Quantum Systems -- AutoQ: An Automata-Based Quantum Circuit Verifier -- 1 Introduction -- 2 Tree Automata-Based Verification of Quantum Circuits -- 2.1 High-Level Specification Language -- 2.2 Complex Number Representation -- 2.3 Precise Semantics of the Specification -- 3 Entailment Checking -- 4 Architecture -- 5 Use Cases…”

Tabla de Contenidos: “…3.3 Neural Controller Approximation -- 4 Experiments -- 5 Related Work -- 6 Conclusion -- References -- Cyberphysical and Hybrid Systems -- Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems -- 1 Introduction -- 1.1 Related Work -- 1.2 Contributions -- 2 Preliminaries and Problem Statement -- 2.1 Intervals -- 2.2 Truth Values -- 2.3 Signals -- 2.4 Reachability Analysis of Hybrid Systems -- 2.5 Signal Temporal Logic with Boolean Semantics -- 2.6 Problem Statement -- 3 Basic Idea and Solution Concept -- 4 Four-Valued Signal Temporal Logic -- 4.1 Computing Boolean Satisfaction Signals -- 4.2 Computing Three-Valued Satisfaction Signals -- 4.3 Computing Four-Valued Satisfaction Signals -- 5 Incremental Verification of Hybrid Systems -- 5.1 Incremental Verification Algorithm -- 5.2 Refinement via Branching the Reachability Analysis -- 6 Evaluation -- 6.1 Bouncing Ball -- 6.2 Autonomous Driving -- 6.3 Genetic Oscillator -- 7 Conclusion -- References -- Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications -- 1 Introduction -- 2 Preliminaries -- 2.1 Signal Temporal Logic -- 2.2 Finite Variability -- 3 Problem Formulation -- 4 Variable-Interval Encoding of STL to MILP -- 4.1 -Stable Partitions -- 4.2 Variable-Interval MILP Encoding -- 5 System Models and Their MILP Encoding -- 5.1 HAs with Closed-Form Solutions -- 5.2 HAs with Double Integrator Dynamics -- 6 Implementation and Experiments -- References -- Inner-Approximate Reachability Computation via Zonotopic Boundary Analysis -- 1 Introduction -- 2 Preliminaries -- 2.1 Notation -- 2.2 Problem Statement -- 3 Methodology -- 3.1 Inner-Approximation Computation Framework -- 3.2 Extraction of Zonotopes' Boundaries -- 3.3 Zonotopal Tiling and Boundary Refinement -- 3.4 Contracting Computed Outer-Approximation -- 4 Experiments…”

Tabla de Contenidos: “…-- Concatenate Collection Items into a String -- Append a Newline Character -- Split a String -- Convert Binary Data to a String (Base-64 Encoding) -- Reverse Words -- Sort Number Strings Naturally -- 8 Regular Expressions -- Search Text -- Extract Groups of Text -- Replace Text -- Match and Validate -- Help Regular Expressions Perform Better -- 9 Generics -- Create a Generic List -- Create a Generic Method -- Create a Generic Interface -- Create a Generic Class -- Create a Generic Delegate -- Use Multiple Generic Types -- Constrain the Generic Type -- Convert IEnumerable&lt -- string&gt -- to IEnumerable&lt -- object&gt -- (Covariance) -- Convert IComparer&lt -- Child&gt -- to IComparer&lt -- Parent&gt -- (Contravariance) -- Create Tuples (Pairs and More) -- Part II: Handling Data -- 10 Collections…”

Tabla de Contenidos: “…. -- There's more -- Chapter 8: Using the Command Line to Find, Extract, and Manipulate Text Content…”

Tabla de Contenidos: “…French's data library -- Retrieving data from the Census Bureau, Treasury, and BLS -- Generating two dozen datasets -- Several datasets related to CRSP and Compustat -- Appendix A - Python program for return distribution versus a normal distribution -- Appendix B - Python program to a draw candle-stick picture -- Appendix C - Python program for price movement -- Appendix D - Python program to show a picture of a stock's intra-day movement -- Appendix E -properties for a pandas DataFrame -- Appendix F -how to generate a Python dataset with an extension of .pkl or .pickle -- Appendix G - data case #1 -generating several Python datasets -- Exercises -- Summary -- Chapter 5: Bond and Stock Valuation -- Introduction to interest rates -- Term structure of interest rates -- Bond evaluation -- Stock valuation -- A new data type - dictionary -- Appendix A - simple interest rate versus compounding interest rate -- Appendix B - several Python functions related to interest conversion -- Appendix C - Python program for rateYan.py -- Appendix D - Python program to estimate stock price based on an n-period model -- Appendix E - Python program to estimate the duration for a bond -- Appendix F - data case #2 - fund raised from a new bond issue -- Summary -- Chapter 6: Capital Asset Pricing Model -- Introduction to CAPM -- Moving beta -- Adjusted beta -- Scholes and William adjusted beta -- Extracting output data -- Outputting data to text files -- Saving our data to a .csv file -- Saving our data to an Excel file -- Saving our data to a pickle dataset -- Saving our data to a binary file -- Reading data from a binary file -- Simple string manipulation…”

Tabla de Contenidos: “…Strings -- 2.1 Testing String Equality -- Problem -- Solution -- Discussion -- See Also -- 2.2 Creating Multiline Strings -- Problem -- Solution -- Discussion -- 2.3 Splitting Strings -- Problem -- Solution -- Discussion -- 2.4 Substituting Variables into Strings -- Problem -- Solution -- Discussion -- See Also -- 2.5 Formatting String Output -- Problem -- Solution -- Discussion -- See Also -- 2.6 Processing a String One Character at a Time -- Problem -- Solution -- Discussion -- A Complete Example -- See Also -- 2.7 Finding Patterns in Strings -- Problem -- Solution -- Discussion -- See Also -- 2.8 Replacing Patterns in Strings -- Problem -- Solution -- See Also -- 2.9 Extracting Parts of a String That Match Patterns -- Problem -- Solution -- Discussion -- See Also -- 2.10 Accessing a Character in a String -- Problem -- Solution -- Discussion -- 2.11 Creating Your Own String Interpolator -- Problem -- Solution -- Discussion -- See Also -- 2.12 Creating Random Strings -- Problem -- Solution -- Discussion -- See Also -- Chapter 3. …”

Tabla de Contenidos: “…Creating Shapes -- Aligning Shapes -- Making Text Roll And Crawl -- Adding Text Effects: Sheens,Strokes,Shadows,And Fills -- Experiment With Effects -- 8 Applying Specialized Editing Tools -- Topics Covered In This Lesson -- Getting Started -- Exploring Timesaving Editing Tools -- Making Rolling, Slide, And Slip Edits -- Using The Program Monitor'S Lift And Extract Buttons -- Replacing A Clip And Replacing Footage -- Using The Replace Clip Feature -- Using The Replace Footage Feature -- Using Sync Lock And Track Lock -- Using Sync Lock -- Using Track Lock -- Finding Gaps In The Timeline -- Editing With In And Out Points Around A Clip -- Creating Subclips From The Source Monitor -- Multicamera Editing -- Creating The Initial Multicamera Sequence -- Switching Multiple Cameras -- Finalizing Multicamera Editing -- Changing An Edit In The Timeline -- Multicam Tips -- 9 Adding Video Effects -- Topics Covered In This Lesson -- Getting Started -- Sampling Some Basic Video Effects -- Applying Effects To Multiple Clips -- Adding Keyframing Effects -- Extra Credit: Combining Effects -- Adding Keyframe Interpolation And Velocity -- One Additional Velocity/Interpolation Issue -- Adding Lighting Effects -- Creating Custom Presets -- 10 Putting Clips In Motion -- Topics Covered In This Lesson -- Getting Started -- Applying The Motion Effect To Clips -- Examining Motion Settings -- Changing Clip Size And Adding Rotation -- Adding Rotation And Changing The Anchor Point -- Working With Keyframe Interpolation -- Creating A Picture-In-Picture Effect -- Enhancing Motion With Shadows And Beveled Edges -- Adding A Drop Shadow -- Using Other Motion-Related Effects: Transform, Basic 3D And Camera View -- Transform -- Basic 3D And Camera View -- 11 Changing Time -- Topics Covered In This Lesson -- Getting Started -- Using Slow-Motion And Reverse-Motion Techniques…”

Tabla de Contenidos: “…JSF 2.2 - HTML5 and Upload -- Working with HTML5 and JSF 2.2 -- Pass-through attributes -- Pass-through elements -- JSF 2.2 - HTML5 and Bean Validation 1.1 (Java EE 7) -- JSF 2.2 upload feature -- A simple JSF 2.2 upload example -- Using multiple &lt -- h:inputFile&gt -- elements -- Extracting info about a file to be uploaded -- Writing uploaded data to a disk -- Upload validator -- Ajaxify the upload -- Uploading images with preview -- Uploading multiple files -- Upload and the indeterminate progress bar -- Upload and the determinate progress bar -- Summary -- 9. …”

Tabla de Contenidos: “…9.3.2 Converting from date fields to character or numeric representation -- 9.3.3 Checking for a valid date or time -- 9.3.4 Retrieving current date and time -- 9.3.5 Adding and subtracting date and time values -- 9.3.6 Calculating date and time differences -- 9.3.7 Extracting a portion of a date, time, or timestamp -- 9.3.8 Additional SQL scalar functions for date calculation -- Part 4 Tools -- Chapter 10. …”

Tabla de Contenidos: “…Exercise 3.01 - adding a basic fragment and the fragment lifecycle -- Exercise 3.02 - adding fragments statically to an activity -- Static fragments and dual-pane layouts -- Exercise 3.03 - dual-pane layouts with static fragments -- Dynamic fragments -- Exercise 3.04 - adding fragments dynamically to an activity -- Jetpack Navigation -- Exercise 3.05 - adding a Jetpack navigation graph -- Activity 3.01 - creating a quiz on the planets -- Summary -- Chapter 4: Building App Navigation -- Technical requirements -- Navigation overview -- Navigation drawer -- Exercise 4.01 - creating an App with a navigation drawer -- Bottom navigation -- Exercise 4.02 - adding bottom navigation to your app -- Tabbed navigation -- Exercise 4.03 - using tabs for app navigation -- Activity 4.01 - building primary and secondary app navigation -- Summary -- Part 2: Displaying Network Calls -- Chapter 5: Essential Libraries: Retrofit, Moshi, and Glide -- Technical requirements -- Introducing REST, API, JSON, and XML -- Fetching data from a network endpoint -- Exercise 5.01 - reading data from an API -- Parsing a JSON response -- Exercise 5.02 - extracting the image URL from the API response -- Loading images from a remote URL -- Exercise 5.03 - loading the image from the obtained URL -- Activity 5.01 - displaying the current weather -- Summary -- Chapter 6: Adding and Interacting with RecyclerView -- Technical requirements -- Adding RecyclerView to our layout -- Exercise 6.01 - adding an empty RecyclerView to your main activity -- Populating RecyclerView -- Exercise 6.02 - populating your RecyclerView -- Responding to clicks in RecyclerView -- Exercise 6.03 - responding to clicks -- Supporting different Item types -- Exercise 6.04 - adding titles to RecyclerView -- Swiping to remove Items -- Exercise 6.05 - adding swipe to delete functionality -- Adding items interactively…”

Tabla de Contenidos: “…Symbol Options -- Symbols Control Panel -- Returning to the Control Panel Options -- Apply the Blending Tool to the Symbol -- Project: Blowing in the Wind, Part 4 -- Adding Posts and Bushes as Symbols -- Creating the Row with the Blend Tool -- Adding More Blend Rows -- Add Additional Bushes on Another Layer -- Editing All Symbol Instances -- Project: Wolf-Girl -- Summary -- Chapter 7: Warping Patterns -- Pattern Introduction -- Swatches Panel for Patterns -- Pattern Editing Mode -- Pattern Options Panel -- Scaling Your Pattern -- Transform and Scale the Pattern with the Transform Panel -- Object Transform and Patterns -- Repeating Patterns with the Object Menu -- Radial Repeat -- Grid Repeat -- Mirror Repeat -- Further Repeat Menu Options -- Pattern Library and the Pattern Options Panel -- Extracting Photoshop Patterns from the Creative Cloud Libraries Panel -- Customizing a Capture Pattern and Modifying It -- Altering Colors -- Use Your Patterns for Some Brushes -- Project: Blowing in the Wind, Part 5 -- Project: Colorizing the Circus Tent -- Summary -- Chapter 8: Gradients, Mesh Tool, and Transparency -- Working with Gradient Panel and Gradient Tool -- Linear Gradient -- Linear Gradient Fill and Stroke -- Gradient Tool (G) -- Linear Gradient Strokes -- Project: Blowing in the Wind, Part 6, Adding Linear Gradients -- Radial Gradient -- Radial Gradient Fill -- Gradient Tool (G) -- Radial Gradient Stroke -- Project: Blowing in the Wind, Part 6, Adding a Radial Gradient -- Adding the Radial Gradient to the Sun -- Freeform Gradient -- Freeform Gradient Example -- Mesh Tool (U) -- Create Gradient Mesh -- How to Separate the Gradient Mesh from a Path -- Project: Blowing in the Wind, Part 6, Working with the Mesh Tool on Flowers -- Petal 1 -- Petal 2 -- Petal 3 -- Petal 4 -- Stem -- Make Poppies and Group the Poppies -- Copy the Poppies…”

Tabla de Contenidos: “…Basic Pattern Creation -- Project: Create a Custom Symmetry Paint Path -- Defining the Custom Pattern -- Vector Shape Patterns -- Pen and Shape Tools Review -- Pen Tools -- Pen Tool (P) -- Pen Tool Options -- Freeform Pen Tool (P) -- Freeform Pen Tool Options -- Content-Aware Tracing Tool (P) -- Content-Aware Tracing Tool Options -- Curvature Pen Tool (P) -- Curvature Pen Tool Options -- Add Anchor, Delete Anchor, and Convert Point Tools -- Path Selection Tools -- Path Selection Tool Options -- Direct Selection Tools Options -- Shape Tools -- Shape Tool Properties -- Rectangle Tool Options and Properties -- Additional Properties Panel Options -- Ellipse Tool Options and Properties -- Triangle Tools Options and Properties -- Polygon Tools Options and Properties -- Line Tool Options and Properties -- Custom Shape Tool Options and Properties -- Project: Create a Custom Shape and Then Turn It into a Pattern or Brush -- Project: Patterns with the Offset Filter -- Offset Filter -- Touching Up the Pattern -- Pattern Preview -- Defining a Pattern -- Libraries Panel: Adobe Sensei Capture Extract from an Image to a Pattern -- Project: Patterns from Cloth Pattern Part 2 -- Adding a Library Pattern to the Patterns Panel -- Reusing Patterns or Textures -- Fill Dialog Box -- Fill Pattern Scripts -- Adjustment Pattern Fill Layers -- Layer Styles with Patterns and Textures -- Bevel and Emboss - Texture -- Stroke -- Pattern Overlay -- Tools That Use Patterns -- Pattern Stamp Tool (S) -- Pattern Stamp Tool Options -- Paint Bucket Tool (G) -- Paint Bucket Tool Options -- Healing Brush Tool (J) -- Healing Brush Tool Options -- Patch Tool (J) -- Patch Tool Options -- Project: Create a Texture for the Filter Gallery -- Summary -- Chapter 4: Transform Your Layers in a Non-Destructive Way with Smart Objects -- Project: The Warped Vase -- Move Tool Review…”

Tabla de Contenidos: “…-- Refactoring to Microservices -- Getting Started with the Microservice Extractor for .NET -- Analyzing an Application -- Visualizing an Application -- Extracting a Microservice -- What Did the Extractor Do for Us? …”

Tabla de Contenidos: “…3.2 Influence of spiritual intelligence on school culture -- 3.3 Effect of emotional intelligence on character strengthening -- 3.4 Influence of spiritual intelligence on student character strengthening -- 3.5 The influence of school culture on strengthening student character -- 3.6 Effect of emotional intelligence on student character strengthening through school culture -- 3.7 Influence of spiritual intelligence on student character strengthening through school culture -- 4 Conclusion -- References -- Problems facing digital learning in Jakarta (secondary schools as a case study) -- 1 Introduction -- 2 Methods -- 3 Findings -- 4 Discussion -- 5 Conclusions -- References -- Muslim education in Kenya: Challenges and opportunities -- 1 Introduction -- 2 Methods -- 3 Results and Discussion -- 4 Conclusion -- References -- Child-friendly schools in Indonesia: Validity and reliability of evaluation questionnaire -- 1 Introduction -- 2 Methods -- 3 Results -- 3.1 Content validity -- 3.2 Construct validity -- 3.3 Initial check -- 3.4 Factor extraction -- 3.5 Factor rotation -- 3.6 Naming of factors -- 3.7 Instrument reliability -- 4 Conclusion -- References -- Challenges of mastering information and communication technology literacy competence for teachers in the age of digital learning -- 1 Introduction -- 2 Methods -- 3 Results -- 3.1 Teachers are not proficient in using IT-based learning tools -- 3.2 Information and communication technology literacy is a new competency that has now become a necessity in teaching and learning activities -- 3.3 Teachers need to improve ICT competence by training and participating in workshop activities -- 4 Discussion -- 5 Conclusion -- References -- The effect of self-awareness and critical thinking on students&amp -- x02019 -- ability to do scientific activities -- 1 Introduction -- 2 Methods -- 3 Results and Discussion…”

Tabla de Contenidos: “…Creating an IAM policy and role for DMS -- Configuring DMS settings and performing a full load from MySQL to S3 -- Querying data with Amazon Athena -- Hands-on - ingesting streaming data -- Configuring Kinesis Data Firehose for streaming delivery to Amazon S3 -- Configuring Amazon Kinesis Data Generator (KDG) -- Adding newly ingested data to the Glue Data Catalog -- Querying the data with Amazon Athena -- Summary -- Chapter 7: Transforming Data to Optimize for Analytics -- Technical requirements -- Overview of how transformations can create value -- Cooking, baking, and data transformations -- Transformations as part of a pipeline -- Types of data transformation tools -- Apache Spark -- Hadoop and MapReduce -- SQL -- GUI-based tools -- Common data preparation transformations -- Protecting PII data -- Optimizing the file format -- Optimizing with data partitioning -- Data cleansing -- Common business use case transformations -- Data denormalization -- Enriching data -- Pre-aggregating data -- Extracting metadata from unstructured data -- Working with Change Data Capture (CDC) data -- Traditional approaches - data upserts and SQL views -- Modern approaches - Open Table Formats (OTFs) -- Apache Iceberg -- Apache Hudi -- Databricks Delta Lake -- Hands-on - joining datasets with AWS Glue Studio -- Creating a new data lake zone - the curated zone -- Creating a new IAM role for the Glue job -- Configuring a denormalization transform using AWS Glue Studio -- Finalizing the denormalization transform job to write to S3 -- Create a transform job to join streaming and film data using AWS Glue Studio -- Summary -- Chapter 8: Identifying and Enabling Data Consumers -- Technical requirements -- Understanding the impact of data democratization -- A growing variety of data consumers -- How a data mesh helps data consumers…”