Tabla de Contenidos: “…Chapter 10 : Advanced value-added bioproducts from microalgae -- 10.1 Introduction -- 10.2 Market Value of Algae-Based High-Value Compounds -- 10.3 High-Value Products Used in Different Sectors -- 10.3.1 Cosmetics -- 10.3.2 Pharmaceuticals -- 10.3.3 Food supplements -- 10.3.3.1 Protein content of algae -- 10.3.3.2 Single-cell protein -- 10.3.3.3 Carbohydrates -- 10.3.3.4 Lipids -- 10.3.3.5 Vitamins -- 10.3.3.6 Minerals -- 10.3.4 Agricultural products -- 10.3.4.1 Biofertilizer/biostimulants -- 10.3.4.2 Plant growth-promoting substances/hormones -- 10.3.4.3 Biopesticides -- 10.3.5 Construction sector -- 10.4 Constraints of Algal Biomass Production and Application -- 10.5 Conclusion -- Acknowledgment -- References -- Chapter 11 : Production of biopolymers from microalgae and cyanobacteria -- 11.1 Introduction -- 11.2 Structure and Properties of Biodegradable Bioplastics -- 11.3 Employing Microalgae and Cyanobacteria for Bioplastic Production -- 11.3.1 Cultivation conditions -- 11.3.1.1 Photoautotrophic, heterotrophic, or mixotrophic operational mode -- 11.3.1.2 Nutrient availability -- 11.3.1.3 Light -- 11.3.1.4 Wastewater as a feedstock for microalgae and cyanobacteria cultivation -- 11.3.2 Advantages of PHA production from microalgae and cyanobacteria compared to bacteria -- 11.3.3 PHA blends -- 11.3.3.1 PHA blends with raw materials -- 11.3.3.2 PHA blends with biodegradable polymers -- 11.4 Downstream Processing of Bioplastic Recovery from Microalgae and Cyanobacteria -- 11.4.1 Harvesting -- 11.4.1.1 Centrifugation -- 11.4.1.2 Filtration -- 11.4.1.3 Flocculation and coagulation -- 11.4.1.4 Gravity sedimentation -- 11.4.1.5 Flotation -- 11.4.2 Drying -- 11.4.3 Extraction -- 11.5 Challenges and Future Perspectives…”

Tabla de Contenidos: “…Merge in place: Migrating the data -- Running the migration procedures -- PDS libraries used -- Input parameters for all migration procedures -- Extracting information from the metadata tables -- ZMCDBSR -- ZMCINSR -- ZMCTSSR -- PQUERYTB -- Issuing DB2 START and STOP DATABASE commands -- PDSNDBST -- Executing REPAIR on page set header pages -- PREPTSOB -- PREPINOB -- Deleting created target data sets and renaming source data sets -- PVSATSDE…”

Tabla de Contenidos: “…4 Handling errors without exceptions -- 4.1 The good and bad aspects of exceptions -- 4.2 Possible alternatives to exceptions -- 4.3 The Option data type -- 4.3.1 Usage patterns for Option -- 4.3.2 Option composition, lifting, and wrapping exception-oriented APIs -- 4.4 The Either data type -- 4.4.1 Accumulating errors -- 4.4.2 Extracting a Validated type -- 4.5 Conclusion -- Summary -- 4.6 Exercise answers -- 5 Strictness and laziness -- 5.1 Strict and nonstrict functions -- 5.2 Lazy lists: An extended example -- 5.2.1 Memoizing lazy lists and avoiding recomputation -- 5.2.2 Helper functions for inspecting lazy lists -- 5.3 Separating program description from evaluation -- 5.4 Infinite lazy lists and corecursion -- 5.5 Conclusion -- Summary -- 5.6 Exercise answers -- 6 Purely functional state -- 6.1 Generating random numbers using side effects -- 6.2 Purely functional random number generation -- 6.3 Making stateful APIs pure -- 6.4 A better API for state actions -- 6.4.1 Combining state actions -- 6.4.2 Nesting state actions -- 6.5 A general state action data type -- 6.6 Purely functional imperative programming -- 6.7 Conclusion -- Summary -- 6.8 Exercise Answers -- Part 2. …”

Tabla de Contenidos: “…Intro -- Preface -- Organization -- Contents - Part II -- Decision Procedures -- Bitwuzla -- 1 Introduction -- 2 Architecture -- 2.1 Node Manager -- 2.2 Solving Context -- 3 Theory Solvers -- 3.1 Arrays -- 3.2 Bit-Vectors -- 3.3 Floating-Point Arithmetic -- 3.4 Uninterpreted Functions -- 3.5 Quantifiers -- 4 Evaluation -- 5 Conclusion -- References -- Decision Procedures for Sequence Theories -- 1 Introduction -- 2 Motivating Example -- 3 Models -- 4 Solving Equational and Regular Constraints -- 5 Algorithm for Straight-Line Formulas -- 6 Extensions and Undecidability -- 7 Implementations, Optimizations and Benchmarks -- 8 Conclusion and Future Work -- References -- Exploiting Adjoints in Property Directed Reachability Analysis -- 1 Introduction -- 2 Preliminaries and Notation -- 3 Adjoint PDR -- 3.1 Progression -- 3.2 Heuristics -- 3.3 Negative Termination -- 4 Recovering Adjoints with Lower Sets -- 4.1 AdjointPDR"3223379 : Positive Chain in L, Negative Sequence in L"3223379 -- 4.2 AdjointPDR"3223379 Simulates LT-PDR -- 5 Instantiating AdjointPDR"3223379 for MDPs -- 6 Implementation and Experiments -- References -- Fast Approximations of Quantifier Elimination -- 1 Introduction -- 2 Background -- 3 Extracting Formulas from Egraphs -- 4 Quantifier Reduction -- 5 Model Based Projection Using QEL -- 6 Evaluation -- 7 Conclusion -- References -- Local Search for Solving Satisfiability of Polynomial Formulas -- 1 Introduction -- 2 Preliminaries -- 2.1 Notation -- 2.2 A General Local Search Framework -- 3 The Search Space of SMT(NRA) -- 4 The Cell-Jump Operation -- 4.1 Sample Points -- 4.2 Cell-Jump Along a Line Parallel to a Coordinate Axis -- 4.3 Cell-Jump Along a Fixed Straight Line -- 5 Scoring Functions -- 6 The Main Algorithm -- 7 Experiments -- 7.1 Experiment Preparation -- 7.2 Instances -- 7.3 Experimental Results -- 8 Conclusion…”

Tabla de Contenidos: “…BASED OPTICAL FIBER SENSING TECHNOLOGY; 6.1 Optical Fiber Sensor Based on Fiber Tip Micro-Michelson Interferometer; 6.2 Optical Fiber Sensor Based on Angled Fiber End; 6.3 Optical Fiber Sensor Based on In-Line Interferometer; ; CHAPTER 7 SURFACE-PLASMON-RESONANCE-BASED OPTICAL FIBER SENSING TECHNOLOGY; 7.1 Coating of Optical Fiber; 7.2 Theoretical Modeling Multimode Optical Fiber Sensor Based on SPR; 7.3 EMD-Based Filtering Algorithm; ; CHAPTER 8 SAGNAC-INTERFEROMETER-BASED OPTICAL FIBER SENSING TECHNOLOGY; 8.1 Principle of Sagnac Interferometer; 8.2 Optical Fiber Gyroscope; 8.3 The Optical Fiber Coil Quality Inspection Method; 8.3.1 Group Birefringence Thermal Coefficient of Polarization-Maintaining Fibers; 8.3.2 Optical Fiber Coil Winding Method; 8.3.3 Polarization Crosstalk Measurement; 8.3.4 Transient Characteristics Measurement with Temperature Stimulation; 8.4 Optical Fiber Current Sensing; ; CHAPTER 9 MODE-INTERFERENCE-BASED OPTICAL FIBER SENSING TECHNOLOGY; 9.1 Mode Interference Theory of Singlemode-Multimode-Singlemode; 9.2 Optical Fiber Refractive Index Sensor Based on SMS; 9.2.1 Sensor Design and Fabrication; 9.2.2 Self-Temperature-Compensation Sensing; 9.2.3 Simultaneous Refractive Index and Temperature Sensing; 9.3 Optical Fiber Magnetic Field Sensor Based on SMS; 9.3.1 Magnetic Fluid; 9.3.2 Sensor Design and Fabrication; 9.3.3 Simultaneous Magnetic Field and Temperature Sensing; ; CHAPTER 10 WHISPER-GALLERY-MODE-BASED OPTICAL FIBER SENSING TECHNOLOGY; 10.1 Whisper-Gallery-Mode Theory; 10.2 Process of Micro Capillary With Inner Pressure Air; 10.2.1 Drawing System and Drawing Model; 10.2.2 Fabrication of Microtube; 10.2.3 Fabrication of Hollow Microsphere; 10.3 Optical Fiber Magnetic Field Sensor Based on Microtube WGM; 10.3.1 Magnetic Nanoparticle Assembly; 10.3.2 Sensor Fabrication and Measurement; 10.4 Optical Fiber Dual Parameters Sensor Based on Hollow Microsphere WGM; 10.5 Ultraprecise Resonance Wavelength Determination Method; ; CHAPTER 11 OPTICAL FIBER INTRA-CAVITY LASER GAS SENSING TECHNOLOGY; 11.1 Theory of Optical Fiber Intra-Cavity Laser Gas Sensing; 11.1.1 Principle of Optical Fiber Laser; 11.1.2 Sensitivity Enhancement of Gas Sensing by Direct Absorption; 11.1.3 Optical Fiber Intra-Cavity Laser Gas Sensing by Wavelength Modulation; 11.1.4 Effect of Temperature on Performance of Gas Sensing; 11.2 Optical Fiber Intra-Cavity Laser Gas Sensing System Design; 11.3 Spectrum Signal Process; 11.3.1 De-Noise with EMD; 11.3.2 Baseline Extraction; 11.3.3 Spectrum Separation; 11.3.4 Concentration Demodulation; 11.4 Wavelength Calibration Analysis and Gas Recognition; ; CHAPTER 12 OPTICAL FIBER BASED OPTICAL COHERENCE TOMOGRAPHY; 12.1 Optical Fiber Coherence Tomography Theory; 12.1.1 Time-Domain Optical Fiber Based Optical Coherence Tomography; 12.1.2 Frequency-Domain Optical Fiber Based Optical Coherence Tomography; 12.2 Functional Optical Fiber Based Optical Coherence Tomography; 12.2.1 Doppler Optical Coherence Tomography; 12.2.2 Polarization Sensitive Optical Coherence Tomography; 12.3 Biomedical Applications; 12.3.1 Dentistry; 12.3.2 Cardiovasology; 12.3.3 Neurology; ; CHAPTER 13 DISCRETE OPTICAL FIBER SENSING NETWORK TECHNOLOGY; 13.1 Topology of Optical Fiber Sensing Network; 13.2 Robustness Evaluation of Optical Fiber Sensing Network; 13.2.1 Robustness Evaluation Model; 13.2.2 Robustness Affection Factor; 13.2.3 Optimization Arrangement; ; CHAPTER 14 DISTRIBUTED VIBRATION SENSING BASED ON DUAL MACH-ZEHNDER INTERFEROMETER; 14.1 Theory of Distributed Vibration Sensing Based on Dual Mach-Zehnder Interferometer; 14.1.1 Principle of System; 14.1.2 Performance Affection Factor; 14.2 Polarization Control Method; 14.2.1 Polarization-Induced Phase Shift and Polarization-Induced Fading; 14.2.2 Chaotic Particle Swarm Optimization Algorithm; 14.2.3 Genetic Algorithm; 14.2.4 Annealing Algorithm; 14.3 Interferometer Based Distributed Vibration Sensing Instrument Design; 14.4 Signal Process Algorithm and Instrument; 14.3.1 Endpoint Detection; 14.3.2 Position Determination; 14.3.3 Intrusion Pattern Recognition; ; CHAPTER 15 REGIONAL STYLE INTELLIGENT PERIMETER SECURITY TECHNIQUE BASE ON MICHELSON INTERFEROMETER; 15.1 Principle of System; 15.2 Instrument Design; 15.3 Perimeter Security Application; ; CHAPTER 16 DISTRIBUTED TEMPERATURE SENSING BASED ON RAMAN SCATTERING; 16.1 Raman Scattering Theory; 16.2 Principle of System; 16.3 Systemn Design; 16.4 De-Noising Algorithm Based on EEMD; 16.5 Applicaion on Electric Power Industry; ; CHAPTER 17 DISTRIBUTED ACOUSTIC SENSING BASED ON OPTICAL TIME DOMAIN REFLECTOMETRY; 17.1 Theory of Optical Time Domain Reflectometry; 17.1.1 Direct-Detection-Based Phase Optical Time Domain Reflectometry; 17.1.2 Coherent-Detection-Based Phase Optical Time Domain Reflectometry; 17.2 Pulse Modulation Method; 17.3 Acoustic Sensitivity Enhance Method of Optical Fiber; 17.4 Dual-Pulse Coherent Phase Optical Time Domain Reflectometry; 17.5 Chirp-Pulse Phase Optical Time Domain Reflectometry; ; CHAPTER 18 DISTRIBUTED SENSING BASED ON OPTICAL FREQUENCY DOMAIN REFLECTOMETRY; 18.1 Principle of Optical Frequency Domain Reflectometry; 18.2 Measurement Range OFDR Beyond Laser Coherence Length; 18.3 Laser Frequency Tuning Nonlinearity and Compensation; 18.3.1 Laser Frequency Tuning Nonlinearity; 18.3.2 Compensation Using Non-Uniform Fast Fourier Transform; 18.3.3 Compensation Using Deskew Filter; 18.4 Distributed Sensing System and Application; 18.4.1 Distributed Vibration Sensing Base on Correlation Analysis; 18.4.2 Distributed Strain and Temperature Measurement; 18.4.3 Distributed Magnetic Field and Current Sensor Bas…”

Tabla de Contenidos: “…Cover -- Title Page -- Copyright Page -- Contents -- Preface -- Chapter 1 Impact of Technology on Daily Food Habits and Their Effects on Health -- 1.1 Introduction -- 1.1.1 Impacts of Food on Health -- 1.1.2 Impact of Technology on Our Eating Habits -- 1.2 Technologies, Foodies, and Consciousness -- 1.3 Government Programs to Encourage Healthy Choices -- 1.4 Technology's Impact on Our Food Consumption -- 1.5 Customized Food is the Future of Food -- 1.6 Impact of Food Technology and Innovation on Nutrition and Health -- 1.7 Top Prominent and Emerging Food Technology Trends -- 1.8 Discussion -- 1.9 Conclusions -- References -- Chapter 2 Issues in Healthcare and the Role of Machine Learning in Healthcare -- 2.1 Introduction -- 2.2 Issues in Healthcare -- 2.2.1 Increase in Volume of Data -- 2.2.1.1 Data Management -- 2.2.1.2 Economic Difficulties -- 2.2.2 Data Privacy Issues -- 2.2.2.1 Cyber Attack and Hacking -- 2.2.2.2 Data Sharing Trust in the Third Party -- 2.2.2.3 Data Breaching -- 2.2.2.4 Lack of Policy and Constitutional Limitations -- 2.2.2.5 Doctor-Patient Relationship -- 2.2.2.6 Data Storage and Management -- 2.2.3 Disease-Centric Database -- 2.2.4 Data Utilization -- 2.2.5 Lack of Technology and Infrastructure -- 2.3 Factors Affecting the Health -- 2.4 Machine Learning in Healthcare -- 2.4.1 Clinical Decision Support Systems in Healthcare -- 2.4.2 Use of Machine Learning in Public Health -- 2.5 Conclusion -- References -- Chapter 3 Improving Accuracy in Predicting Stress Levels of Working Women Using Convolutional Neural Networks -- 3.1 Introduction -- 3.2 Literature Survey -- 3.3 Proposed Methodology -- 3.3.1 Pre-Processing of Data -- 3.3.2 Features Extraction -- 3.3.3 Selection of Features -- 3.3.4 Classification -- 3.4 Result and Discussion -- 3.5 Conclusion and Future Scope -- References…”

Tabla de Contenidos: “…View Files and Folders by Tags -- Work with Zip Files -- Work with Zip Files -- Compress Files to a Zip File -- Extract Files from a Zip File -- Using the Trash -- Using the Trash -- Place a File in the Trash -- Recover a File from the Trash -- Configure Finder Settings -- Configure Finder Settings -- Customize the Finder Toolbar -- Customize the Finder Toolbar -- Customize the Finder Sidebar -- Customize the Finder Sidebar -- Chapter 6 Surfing the Web -- Open Safari and Customize Your Start Page -- Open Safari and Customize Your Start Page -- Open a Web Page -- Open a Web Page -- Follow a Link to a Web Page -- Follow a Link to a Web Page -- Open Several Web Pages at Once -- Open Several Web Pages at Once -- Open Several Pages on Tabs in the Same Safari Window -- Open Several Pages in Separate Safari Windows -- Navigate Among Web Pages -- Navigate Among Web Pages -- Go Back One Page -- Go Forward One Page -- Go Back Multiple Pages -- Go Forward Multiple Pages -- Return to a Recently Visited Page -- Return to a Recently Visited Page -- Return to a Page on the History List -- Clear Your Browsing History -- Play Music and Videos on the Web -- Play Music and Videos on the Web -- Play Music -- Play Videos -- Set Your Home Page and Search Engine -- Set Your Home Page and Search Engine -- Create Bookmarks for Web Pages -- Create Bookmarks for Web Pages -- Create a New Bookmark -- Organize Your Bookmarks -- Using Reader View and Reading List -- Using Reader View and Reading List -- Switch a Web Page to Reader View -- Add a Web Page to Reading List -- Open Reading List and Display a Page -- Organize Safari Tabs into Tab Groups -- Organize Safari Tabs into Tab Groups -- Download a File -- Download a File -- Create and Use Safari Profiles -- Configure Safari for Security and Privacy -- Configure Safari for Security and Privacy…”

Tabla de Contenidos: “…. -- Figure 2: Result of the vectorization of all analysed paths by GIS platform. -- Table 1: Extract of the first ten records of the table of attributes of private citizens' paths. -- Figure 3: a) List of ten paths of private citizens passing through a street adjacent to piazza della Rotonda -- b) vectorization result -- c) list of returned records (base map: Nuova Topografia di Roma). -- Figure 4: a) Vectorized paths around piazza della Rotonda -- b) transformation of lines into points set 10 m apart -- c) Kernel analysis (Base map: Nuova Topografia di Roma). -- Figure 5: Heatmap of ceremonial paths (14) of the 18th century (base maps: Nuova Topografia di Roma and Bing Satellite). -- Figure 6: a) Heatmap of home-business paths in 1739 -- b) heatmap of home-business paths in 1749 -- c) heatmap of home-business paths in 1739 -- d) heatmap of home-business paths in 1749 (base maps: Nuova Topografia di Roma and Bing Satellite). -- Towards FreeCAD experimentation and validation -- Filippo Diara, Fulvio Rinaudo -- Figure 1: Knowledge processes: from metric survey (A) to stratigraphic survey and analysis (B and C), until the parametric model construction (D). -- Figure 2: FreeCAD platform and parametric model of the refectory with stratigraphic units. -- Figure 3: Stratigraphic diagrams implemented as semantic data (Harris Matrix of north wall of the refectory of medieval Staffarda Abbey)…”