Tabla de Contenidos: “…Single Electro-optical Detectors (Photocells, Photomultipliers, Semiconductor Detectors, Bolometers); 4.4. Detector Arrays (One-dimensional Arrays and CCD and CMOS Area Sensors); 4.5. …”

Tabla de Contenidos: “…Chapter 10: Scripting with Windows PowerShellEnabling Scripts on Your Machine; Using the set-variable and Related Cmdlets; Summary; Chapter 11: Additional Windows PowerShell Language Constructs; Arrays; Associative Arrays; Conditional Expressions; Looping Constructs; Summary; Chapter 12: Processing Text; The .NET String Class; Casting Strings to Other Classes; Chapter 13: COM Automation; Using the new-object Cmdlet; Working with Specific Applications; Using Synthetic Types; Summary; Chapter 14: Working with .NET; Windows PowerShell and the .NET Framework; Creating .NET Objects…”

Tabla de Contenidos: “…; Setting Environment Variables; Removing Environment Variables; Default Shell Environment Variables; Setting the PATH Environment Variable; Locating System Environment Variables; Variable Arrays; Using Command Aliases; Summary…”

Tabla de Contenidos: “…Selecting an appropriate collection typeAssociative arrays; Nested tables; Nested table collection type as the database object; DML operations on nested table columns; A nested table collection type in PL/SQL; Additional features of a nested table; Varray; Varray in PL/SQL; Varray as a database collection type; DML operations on varray type columns; Collections-a comparative study; Common characteristics of collection types; Nested table versus associative arrays; Nested table versus varrays; PL/SQL collection methods; EXISTS; COUNT; LIMIT; FIRST and LAST; PRIOR and NEXT; EXTEND; TRIM; DELETE…”

Tabla de Contenidos: “…Summary Chapter 3: Dealing With Complex Geometry; The Wavefront File Format; Cube.obj; Cube.mtl; Preparing the OBJ Viewer Code; Loading an OBJ; Building the Shaders; The Vertex Shader; The Fragment Shader; Vertex Buffer Object; Storing the Vertex Data; Building the Vertex Data Array VBO; Building the Element Array VBO; Building the VAO; Rendering Momo; Handling Touche; Per-Vertex Lighting; Vertex Shader Light Calculation; Modifying the Fragment Shader; More Uniforms; Making Momo Furrier; Loading the Texture; Adjusting the Vertex Data; Adding UV Support to the Vertex Shader…”

Tabla de Contenidos: “…Variables, Data Types, and ConstantsAssignment Statements; Arrays; Object Variables; User-Defined Data Types; Built-in Functions; Manipulating Objects and Collections; Controlling Code Execution; Chapter 9: Working with VBA Sub Procedures; About Procedures; Executing Sub Procedures; Passing Arguments to Procedures; Error-Handling Techniques; A Realistic Example That Uses Sub Procedures; Chapter 10: Creating Function Procedures; Sub Procedures versus Function Procedures; Why Create Custom Functions?…”

Tabla de Contenidos: “…Analysis ToolsAdd-Ins; Macros and Programming; File Format; Excel's Help System; Chapter 2: Formula Tricks and Techniques; About Formulas; Calculating Formulas; Cell and Range References; Using Names; Formula Errors; Excel Auditing Tools; Array Formulas; Counting and Summing Techniques; Lookup Formulas; Working with Dates and Times; Creating Megaformulas; Chapter 3: Understanding Excel Files; Starting Excel; File Types; Excel File Compatibility; Protected View; Using AutoRecover; Working with Template Files; Inside an Excel File; The OfficeUI File; The XLB File; Add-In Files…”

Tabla de Contenidos: “…Using the context to access the WebGL APILoading a 3D scene; Virtual car showroom; Time for action - visualizing a finished scene; Summary; Chapter 2: Rendering Geometry; Vertices and Indices; Overview of WebGL's rendering pipeline; Vertex Buffer Objects (VBOs); Vertex shader; Fragment shader; Framebuffer; Attributes, uniforms, and varyings; Rendering geometry in WebGL; Defining a geometry using JavaScript arrays; Creating WebGL buffers; Operations to manipulate WebGL buffers; Associating attributes to VBOs; Binding a VBO; Pointing an attribute to the currently bound VBO…”

Tabla de Contenidos: “…Setting node-specific data with HieraStoring secret data with hiera-gpg; Using MessagePack serialization; Automatic syntax checking with Git hooks; Pushing code around with Git; Managing Environments with Git; Chapter 3: Writing Better Manifests; Introduction; Using arrays of resources; Using resource defaults; Using defined types; Using tags; Using run stages; Using roles and profiles; Passing parameters to classes; Passing parameters from Hiera; Writing reusable, cross-platform manifests; Getting information about the environment; Importing dynamic information…”

Tabla de Contenidos: “…; The structure of a PL/pgSQL function; Accessing function arguments; Conditional expressions; Loops with counters; Statement termination; Looping through query results; PERFORM versus SELECT; Looping Through Arrays; Returning a record; Acting on the function's results; Summary; Chapter 4: Returning Structured Data; Sets and arrays; Returning sets; Returning a set of integers; Using a set returning function; Functions based on views; OUT parameters and records; OUT parameters; Returning records; Using RETURNS TABLE…”

Tabla de Contenidos: “…THE STRUCTURE OF A C++ PROGRAMDEFINING VARIABLES; FUNDAMENTAL DATA TYPES; BASIC INPUT/OUTPUT OPERATIONS; CALCULATING IN C++; TYPE CONVERSION AND CASTING; THE AUTO KEYWORD; DISCOVERING TYPES; THE BITWISE OPERATORS; INTRODUCING LVALUES AND RVALUES; UNDERSTANDING STORAGE DURATION AND SCOPE; NAMESPACES; C++/CLI PROGRAMMING; DISCOVERING C++/CLI TYPES; SUMMARY; Chapter 3: Decisions and Loops; COMPARING VALUES; REPEATING A BLOCK OF STATEMENTS; C++/CLI PROGRAMMING; SUMMARY; Chapter 4: Arrays, Strings, and Pointers; HANDLING MULTIPLE DATA VALUES OF THE SAME TYPE; INDIRECT DATA ACCESS…”

Tabla de Contenidos: “…Chapter 12: Storing Data in CollectionsAdvanced Array Topics; Collection Types; The Dictionary Collection; The HashTable Collection; The SortedList Collection; Other Collections; The IEnumerator and IComparer Interfaces; The Bottom Line; Chapter 13: XML in Modern Programming; A Very Quick Introduction to XML; Manipulating XML with VB; Traversing XML Documents; VB 2010 at Work: Manipulating XML Data; XML Serialization; Other Types of Serialization; The Bottom Line; Chapter 14: An Introduction to LINQ; What Is LINQ?…”

Tabla de Contenidos: “…Indexing the correct wayRebuilding index; Compressing indexes; Using reverse key indexes; Using bitmap indexes; Migrating to index organized tables; Using partitioning; Chapter 4: Optimizing SQL Code; Introduction; Using bind variables; Avoiding full table scans; Exploring index lookup; Exploring index skip-scan and index range-scan; Introducing arrays and bulk operations; Optimizing joins; Using subqueries; Tracing SQL activity with SQL Trace and TKPROF; Chapter 5: Optimizing Sort Operations; Introduction; Sorting-in-memory and on-disk; Sorting and indexing; Writing top n queries and ranking…”

Tabla de Contenidos: “…Metric collectionProcessing the data; Discussion; Plan (define use cases); Design; Storage; Isolation at the data store level; vStorage API for Array Integration (VAAI); View Storage Accelerator; Networking; Compute; VMware vSphere and View desktop pool infrastructure; Pod architecture; Application distribution infrastructure; What is a user persona?…”

Tabla de Contenidos: “…Data Types and VariablesNumbers; String Interpolation; Here Documents; Lists; Variables; Arrays; Hashes; Scalar and List Contexts; Declarations and Scope; Statements; Conditionals and Loops; while loops; for loops; foreach loops; Modifiers; Loop control; goto; Special Variables; Global Special Variables; Global Special Arrays and Hashes; Global Special Filehandles; Global Special Constants; Regular Expression Special Variables; Filehandle Special Variables; Operators; The Arrow Operator; Unary Operators; Arithmetic Operators; Comparison Operators; Relational operators; Equality operators…”

Tabla de Contenidos: “…Technical requirements -- Understanding the 11ty Data Cascade -- Computed data -- Page frontmatter -- Template data files -- Directory data files -- Layout frontmatter -- Configuration API global data -- Global data files -- Adding data for each page -- Adding variable data to the home page -- Writing conditionals to display no markup if data doesn't exist -- Adding About page data and content -- Adding an array to the frontmatter and looping through it in a page -- Adding data to external files -- Creating a template data file for the home page triptych…”

Tabla de Contenidos: “…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 ESCETTM: 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 Verifier for 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). …”

Tabla de Contenidos: “…An introduction to laser-based tissue microdissection techniques / Stephanie Curran and Graeme I. Murray -- Methacarn fixation for genomic DNA analysis in microdissected cells / Makoto Shibutani and Chikako Uneyama -- Multiplex quantitative real-time pcr of laser microdissected tissue / Patrick H. …”

Tabla de Contenidos: “…Requirements to vectorize with SIMD directives -- SIMD directive clauses -- Use SIMD directives with care -- The Vector and Novector Directives -- Use vector directives with care -- The ivdep Directive -- ivdep example in fortran -- ivdep examples in C -- Random Number Function Vectorization -- Data Alignment to Assist Vectorization -- Step 1: aligning the data -- How to define aligned STATIC arrays -- Step 2: inform the compiler of the alignment -- How to tell the compiler all memory references are nicely aligned for the target -- Use Array Sections to Encourage Vectorization -- Fortran Array Sections -- Subscript triplets -- Vector subscripts -- Implications for array copies, efficiency issues -- Look at What the Compiler Created: Assembly Code Inspection -- How to Find the Assembly Code -- Numerical Result Variations With Vectorization -- Summary -- For More Information -- Chapter 10: Vectorization advisor -- Getting Started With Intel Advisor for Knights Landing -- Enabling and Improving AVX-512 Code With the Survey Report -- Preparing Your Application -- Running a Survey Analysis With Trip Counts -- One-Stop-Shop Performance Overview in the Survey Report -- Enabling AVX-512 Speedups Via Recommendations -- Fixing ineffective AVX-512 peeled/remainder loop issues -- Speedups with approximate reciprocal, reciprocal square root, and exponent/mantissa extraction -- Inefficient memory access in assumed-shape array and AVX-512 gather/scatter -- Making Expert Users Happy: Knights Landing-Specific Traits and ISA Analysis -- Compress/Expand Trait -- Gather/Scatter Traits -- Conflict(-free) subset detection Trait -- Memory Access Pattern Report -- AVX-512 Gather/Scatter Profiler -- Mask Utilization and FLOPs Profiler -- Advisor Roofline Report -- Explore AVX-512 Code Characteristics Without AVX-512 Hardware…”

Tabla de Contenidos: “…Integral field spectroscopy with lenslet arrays (IFS-L) -- 4.4.5. Filter array camera (FAC) -- 4.4.6. …”