Tabla de Contenidos: “…3.5.1 Selected LCA studies on energy crops -- 3.5.2 Selected LCA studies on solid biofuels upgrade -- 3.5.3 Selected LCA studies on biofuel thermochemical pretreatment -- 3.5.4 Selected LCA studies on the overall impact of biofuel production -- 3.6 Conclusions -- References -- 4 - Biofuels: technology, economics, and policy issues -- 4.1 Introduction -- 4.2 Moving from fossil fuel to biofuels: insights from socio-technical transition theory -- 4.3 Assessing first- and next-generation biofuels -- 4.3.1 First generation: bioethanol, biodiesel, and other biofuels -- 4.3.1.1 Bioethanol -- 4.3.1.2 Biodiesel -- 4.3.1.3 Other biofuels -- 4.3.2 Beyond the first-generation biofuels -- 4.3.3 Integrated biorefineries: making biofuel along with other high-added value products -- 4.4 Economic, environmental, and social issues -- 4.4.1 Socioeconomic issues -- 4.4.2 Socio-environmental issues -- 4.5 Policy actions and the regulatory framework -- 4.5.1 The Brazilian incentive and regulatory systems -- 4.5.2 The US incentive and regulatory systems -- 4.5.3 The European incentive and regulatory systems -- 4.6 Conclusions -- References -- 5 - Feedstocks and challenges to biofuel development -- 5.1 Introduction -- 5.2 Edible vegetable raw materials for biodiesel production -- 5.2.1 Rapeseed/canola seed -- 5.2.2 Sunflower seed -- 5.2.3 Palm tree -- 5.2.4 Soybean seed -- 5.2.5 Peanut seed -- 5.2.6 Cotton seed -- 5.3 Nonedible/low-cost raw materials for diesel engine biofuel production -- 5.3.1 Green canola seed -- 5.3.2 Callophyllum inophyllum L. -- 5.3.3 Annona -- 5.3.4 Croton megalocarpus -- 5.3.5 Azadirachta indica -- 5.3.6 Waste oils -- 5.3.7 Other sources of low-cost, renewable oil for biofuel production -- 5.4 Raw materials for bioethanol production -- 5.4.1 Most frequent raw materials for bioethanol production -- 5.4.1.1 Raw materials employed by country…”

Tabla de Contenidos: “…10.4.2 The Discrete Case -- 10.4.3 Malthusian Population Growth Dynamics -- 10.5 Density-Dependent Population Growth -- 10.5.1 Logistic Growth Model -- 10.6 Beverton-Holt Model -- 10.7 Ricker Model -- 10.8 Hassell Model -- 10.9 Generalized Beverton-Holt (B-H) Model -- 10.10 Generalized Ricker Model -- Appendix 10.A A Glossary of Selected Population Demography/Ecology Terms -- Appendix 10.B Equilibrium and Stability Analysis -- 10.B.1 Stable and Unstable Equilibria -- 10.B.2 The Need for a Qualitative Analysis of Equilibria -- 10.B.3 Equilibria and Stability for Continuous-Time Models -- 10.B.4 Equilibria and Stability for Discrete-Time Models -- Appendix 10.C Discretization of the Continuous-Time Logistic Growth Equation -- Appendix 10.D Derivation of the B-H S-R Relationship -- Appendix 10.E Derivation of the Ricker S-R Relationship -- Appendix A -- Table A.1 Standard Normal Areas (Z Is N(0, 1)) -- Table A.2 Quantiles of Student's t Distribution (T Is tv) -- Table A.3 Quantiles of the Chi-Square Distribution (X Is χv2) -- Table A.4 Quantiles of Snedecor's F Distribution (F Is Fv1,v2) -- Table A.5 Durbin-Watson DW Statistic-5% Significance Points dL and dU (n is the sample size and k′ is the number of regressors excluding the intercept) -- Table A.6 Empirical Cumulative Distribution of τ for ρ = 1 -- References -- Index…”

Tabla de Contenidos: “…3 At-Least-K Conjunctive Normal Form (KNF) -- 4 Cardinality Constraint Extraction and Analysis -- 4.1 Extraction -- 4.2 Analysis with BDDs -- 4.3 PySAT Encodings Experimental Evaluation -- 5 Cardinality Conflict-Driven Clause Learning -- 5.1 Implementation Details -- 5.2 Inprocessing Techniques -- 6 Proof Checking -- 6.1 Satisfying Assignments -- 6.2 Clausal Proofs -- 6.3 Starting with KNF Input -- 7 Experimental Evaluation -- 7.1 SAT Competition Benchmarks -- 7.2 Magic Squares and Max Squares -- 8 Conclusion and Future Work -- References -- CaDiCaL 2.0 -- 1 Introduction -- 2 Architecture -- 3 External Propagator -- 4 Proofs -- 5 Tracer Interface -- 6 Constraints and Flipping -- 7 Interpolation -- 8 Testing and Debugging -- 9 Experiments -- 10 Conclusion -- References -- Formally Certified Approximate Model Counting -- 1 Introduction -- 2 Related Work -- 3 Background -- 3.1 Approximate Model Counting -- 3.2 Formalization in Isabelle/HOL -- 4 Approximate Model Counting in Isabelle/HOL -- 4.1 Abstract Specification and Probabilistic Analysis -- 4.2 Concretization to a Certificate Checker -- 4.3 Extending ApproxMC to ApproxMCCert -- 4.4 CNF-XOR Unsatisfiability Checking -- 5 Experimental Evaluation -- 6 Conclusion and Future Work -- References -- Scalable Bit-Blasting with Abstractions -- 1 Introduction -- 2 Preliminaries -- 3 Abstraction-Refinement Framework -- 4 Refinement Schemes -- 4.1 Hand-Crafted Lemmas -- 4.2 Lemma Scoring Scheme -- 4.3 Synthesizing Lemmas via Abduction -- 4.4 Lemma Verification -- 5 Integration -- 6 Evaluation -- 7 Conclusion -- References -- Hardware Model Checking -- The MoXI Model Exchange Tool Suite -- 1 Overview -- 2 Intermediate Language -- 3 Tool Suite -- 3.1 Translators -- 3.2 Utilities -- 4 Tool Suite Validation -- 5 Benchmarks -- 6 Conclusion and Future Work -- References -- SMLP: Symbolic Machine Learning Prover…”

Tabla de Contenidos: “…9.3 Finite Automata and Regular Sets -- 9.3.1 States and Transitions -- 9.3.2 Finite Automata -- 9.3.3 Semantic Actions -- 9.3.4 A Sample Lexical Analyzer -- 9.4 More on Regular Sets -- 9.4.1 Some Closure Properties of Regular Sets -- 9.4.2 The Product Construction -- 9.5 Nondetenninistic Finite Automata -- 9.5.1 Nondeterminism -- 9.5.2 Nondeterministic Finite Automata -- 9.5.3 Equivalence of DFAs and NFAs -- 9.6 The Subset Construction -- 9.6.1 Formal Definition of Nondeterministic Finite Automata -- 9.6.2 The Subsets Construction: General Account -- 9.6.3 e -Transition -- 9.6.4 More Closure Properties -- Chapter 10: Program Verification -- 10.1 Introduction -- 10.2 A Simple Example -- 10.3 Linear Search -- Chapter 11: Design of Algorithms -- 11.1 Introduction -- 11.2 Greedy Algoritluns -- 11.2.1 Greedy Algorithms-When to Apply -- 11.2.2 Greedy Approach for CPU Scheduling -- 11.3 Backtracking -- 11.4 Divide and Conquer -- 11.4.1 Model of Divide and Conquer -- 11.4.2 Finding the mth Smallest Element -- 11.5 Dynamic Programming -- 11.5.1 Shortest Path from I to l -- Bibliography -- Index…”

Tabla de Contenidos: “…Appendix F Extension: Effort Monitoring and Worker Termination -- References -- References for Appendices -- 4 Heterogeneous Agents in the Macroeconomy: Reduced-Heterogeneity Representations -- 1 Introduction -- 2 The Economic Problem and Notations -- 2.1 The Model -- 2.2 Equilibrium De nition and Intuition to Reduce the State Space -- 3 No-Trade Equilibria -- 3.1 No-Trade Equilibria with Transitory Shocks -- 3.1.1 Assumptions -- 3.2 Preserving Time-Varying Precautionary Saving in the Linear Model -- 3.3 No-Trade Equilibrium with Permanent Shocks -- 4 Small-Heterogeneity Models -- 4.1 Models Based on Assumptions About Labor Supply -- 4.1.1 Assumptions -- 4.1.2 Equilibrium Structure -- 4.1.3 The System -- 4.1.4 Algorithm: Finding the Value of L -- 4.1.5 Simulations -- 4.1.6 References and Limits -- 4.2 Models Based on Linearity in the Period Utility Function -- 4.2.1 Assumptions -- 4.2.2 Equilibrium Structure -- 4.2.3 Using Reduced Heterogeneity to Model Wealth Inequality over the Business Cycle -- 4.2.4 Other References and Remarks -- 4.3 Models Based on a "Family" Assumption -- 4.3.1 Assumptions -- 4.3.2 Equilibrium Structure -- 4.3.3 Algorithm and Simulations -- 4.3.4 Example of Quantitative Work -- 4.4 Assessment of Small-Heterogeneity Models -- 5 Truncated-History Models -- 5.1 Assumptions -- 5.2 Equilibrium Structure -- 5.3 Equations of the Model -- 5.4 Algorithm for the Steady State -- 5.5 Dynamics -- 5.6 Choosing the Preference Shifters ξeN -- 5.7 Numerical Example -- 6 Optimal Policies -- 7 Comparison with Other Approach Using Perturbation Methods -- 8 Heterogeneous Expectations -- 9 Concluding Remarks -- References -- Part 2 Finance -- 5 Heterogeneous Agent Models in Finance -- 1 Introduction -- 2 HAMs of Single Asset Market in Discrete-Time -- 2.1 Market Mood and Adaptive Behavior -- 2.2 Volatility Clustering: Calibration and Mechanisms…”

Tabla de Contenidos: “…Abd Allah al-Zuwayin (1789-1790) -- 6.2.1.9 Assan Aga Giritri (1791) -- 6.2.2 North African and Ottoman Ambassadors -- 6.2.2.1 Haggi Ysmail Effendi (Morocco, 1785-1786) -- 6.2.2.2 Jamet Jaggi Effendi (Morocco, 1787-1788) -- 6.2.2.3 Ahmed Ben Ali Khudja, Ambassador from Tripoli (1783-1787) -- 6.3 Muslim Envoys -- 6.3.1 Moroccan Envoys -- 6.3.1.1 Admiral al-Mansur (1767-1768) -- 6.3.1.2 Hach Abdelmagid Ben Zerak (1774) -- 6.3.1.3 Sidi Mahamet (1780) -- 6.3.1.4 Sidi Mahamet Sarjony (1777-1778) -- 6.3.1.5 Atal Ba-Mar (1801) -- 6.3.2 Other Muslim Envoys -- Chapter 7 Ship Captains and Sailors -- 7.1 Moroccan Captains (arraeces, sg. arráez) -- 7.1.1 Incidents Provoked by Captains -- 7.1.1.1 Captain of the Frigate Mahoma (1769) -- 7.1.1.2 Aly Aguet (1769-1770) -- 7.1.1.3 Ysmain Tunesi (1772) -- 7.1.1.4 Captains Mohamet Cherif and Abu-l-Qasim (1772) -- 7.1.1.5 Mohamed al-Farache (1772) -- 7.1.1.6 Abdalá al-Asseri (1774) -- 7.1.1.7 Qaddur Saibanu and Hoda (1777) -- 7.1.1.8 Al-Arbi al-Mistiri (1772-1780) -- 7.1.1.9 Aly al-Hamsaly (1781-1795) -- 7.1.1.10 Aly Sabuni (1785) -- 7.1.1.11 Ibrahim Lubaris (1786-1791) -- 7.1.1.12 Aly Turqui and Mohamed Embarck (1786) -- 7.1.1.13 Mate Flores (1807) -- 7.2 Algerian, Tripolitan, and Tunisian Corsair Captains…”

Tabla de Contenidos: “…Chapter 10 Optimizing Prediction of Liver Disease Using Machine Learning Algorithms -- 10.1 Introduction -- 10.2 Related Works -- 10.3 Proposed Methodology -- 10.4 Result and Discussions -- 10.5 Conclusion -- References -- Chapter 11 Optimized Ensembled Model to Predict Diabetes Using Machine Learning -- 11.1 Introduction -- 11.2 Literature Review -- 11.3 Proposed Methodology -- 11.3.1 Missing Value Imputation (MVI) -- 11.3.2 Feature Selection -- 11.3.3 K-Fold Cross-Validation -- 11.3.4 ML Classifiers -- 11.3.5 Evaluation Metrics -- 11.4 Results and Discussion -- 11.5 Concluding Remarks and Future Scope -- References -- Chapter 12 Wearable Gait Authentication: A Framework for Secure User Identification in Healthcare -- 12.1 Introduction -- 12.2 Literature Survey -- 12.3 Proposed System -- 12.3.1 Walking Detection -- 12.3.2 Experimental Setup -- 12.4 Results and Discussion -- 12.4.1 Dataset Used -- 12.4.2 Results -- 12.4.3 Comparison Used Techniques -- 12.5 Conclusion and Future Scope -- References -- Chapter 13 NLP-Based Speech Analysis Using K-Neighbor Classifier -- 13.1 Introduction -- 13.2 Supervised Machine Learning for NLP and Text Analytics -- 13.2.1 Categorization and Classification -- 13.3 Unsupervised Machine Learning for NLP and Text Analytics -- 13.4 Experiments and Results -- 13.5 Conclusion -- References -- Chapter 14 Fusion of Various Machine Learning Algorithms for Early Heart Attack Prediction -- 14.1 Introduction -- 14.2 Literature Review -- 14.3 Materials and Methods -- 14.3.1 Dataset -- 14.3.2 EDA -- 14.3.3 Machine Learning Model Implemented -- 14.4 Result Analysis -- 14.5 Conclusion -- References -- Chapter 15 Machine Learning-Based Approaches for Improving Healthcare Services and Quality of Life (QoL): Opportunities, Issues and Challenges -- 15.1 Introduction…”

Tabla de Contenidos: “…18 Multivariate Analysis lI: Discriminant Analysis and Conjoint Analysis -- 18.1 Discriminant Analysis -- 18.2 Conjoint Analysis -- Summary -- Key Terms -- Discussion Questions -- Case Study -- 19 Multivariate Analysis III: Factor Analysis, Cluster Analysis, Multidimensional Scaling and Correspondence Analysis -- 19.1 Factor Analysis -- 19.2 Cluster Analysis -- 19.3 Multidimensional Scaling -- 19.4 Correspondence Analysis -- Summary -- Key Terms -- Discussion Questions -- Case Study -- 20 Sales Forecasting -- 20.1 Introduction -- 20.2 Types of Forecasting Methods -- 20.3 Qualitative Methods of Forecasting -- 20.4 Time Series Analysis -- 20.5 Components of Time Series -- 20.6 Time Series Decomposition Models -- 20.7 The Measurement of Errors in Forecasting -- 20.8 Quantitative Methods of Forecasting -- 20.9 Freehand Method -- 20.10 Smoothing Techniques -- 20.11 Exponential Smoothing Method -- 20.12 Double Exponential Smoothing -- 20.13 Regression Trend Analysis -- 20.14 Seasonal Variation -- 20.15 Solving Problems Involving all Four Components of Time Series -- 20.16 Autocorrelation and Autoregression -- Summary -- Key Terms -- Discussion Questions -- Numerical Problems -- Case Study -- V Result Presentation -- 21 Presentation of Result: Report Writing -- 21.1 Introduction -- 21.2 Organization of the Written Report -- 21.3 Tabular Presentation of Data -- 21.4 Graphical Presentation of Data -- 21.5 Oral Presentation -- Summary -- Key Terms -- Discussion Questions -- Case Study -- VI Applications of Marketing Research -- 22 Marketing Mix Research: Product, Price, Place and Promotion Research -- 22.1 Introduction -- 22.2 Marketing Mix: Meaning -- 22.3 New Product Research -- 22.4 Pricing Research -- 22.5 Distribution (Place) Research -- 22.6 Promotional Research -- Summary -- Key Terms -- Discussion Questions -- Case Study -- Appendix -- Index…”

Tabla de Contenidos: “…XLIX: Bibliografía Hispano-Latina Clásica (v.6: Horacio III) / ed. preparada por Enrique Sánchez Reyes. -- T. L: Bibliografía Hispano-Latina Clásica (v.7: Hostio-Plauto) / ed. preparada por Enrique Sánchez Reyes. -- T. …”

“…L'estudi de cas es combina necessàriament, doncs, amb l'estudi de l'erència teòrica; és el pas imprescindible per a accedir a noves interpretacions. …”
Texto completo en Odilo

“…La claredat en l'exposició, així com la fluïdesa i l'amenitat del discurs emprat, fan que la lectura d'aquest llibre siga tot un plaer per al lector. …”
Texto completo en Odilo

Tabla de Contenidos: “…Palau 249.420 Id. tipográfica: e-n, i-o, a-r- a-l- C 1771A Carlos III, Rey de España (1716-1788) España. …”

“…Les résultats confirment la corrélation des connaissances et du niveau d’éducation, mettent en évidence la prégnance des stéréotypes sur les peuples et l’absence d’une véritable culture commune. L’existence de quelques références transnationales massivement partagées montre néanmoins que l’interculturalité, qui suppose la connaissance des autres peuples, n'est...…”

“…Durant la période traitée par l'ouvrage, 1700-1845, le principe de sécularisation du politique fait l'objet de multiples blocages, et l'idée même de sécularisation est débattue. …”

“…El volum presenta una visió general de l'evolució econòmica del món contemporani a l'abast de l'alumnat que encara no disposa de tots els instruments analítics propis de l'economista. …”
Texto completo en Odilo

“…Au sommaire Poser les bases pour un bon départ Susciter l'intérêt des élèves pour les métiers de la science L'enseignement des sciences à l'école primaire Enseigner différemment les sciences au collège Se cultiver, être à la page, rester informé Mettre en place un travail d'équipe Exploiter les moyens du bord Monter une demande de projet Fixer des critères d'évaluation Couvrir le programme et le socle commun Changer concrètement ses pratiques dans sa classe L'outil informatique et les sciences Modifier l'environnement pour initier le changement Choisir ses thèmes de travail Développer l'esprit critique des élèves Explorer, découvrir le monde extérieur Faire venir le monde extérieur dans l'établissement Pratiquer un enseignement intégré en science et technologie Un chemin sème d'embûches Assurer la liaison entre les matières et les niveaux Etablir un lien entre les maths et les sciences Etablir un lien entre le français, les langues et les sciences Favoriser la maîtrise du langage au travers du cahier d'expériences Etablir un lien entre l'histoire-géographie et les sciences Etablir un lien entre les sciences et les autres matières Assurer la liaison école/collège/lycée…”

“…Finalment, cal destacar que l'interès sobre l'autor no se circumscriu a l'estrictament acadèmic, sinó que inclou un àmbit més mediàtic i popular, com ho demostra la constant reedició de les seues obres tant a Espanya com als Estats Units i els freqüents articles en premsa sobre la figura de l'autor. …”
Texto completo en Odilo