ALBERT

Description / Table of Contents: Chapter 1: FEM Analysis of Mechanical and Structural Properties of Long Fiber-Reinforced Composites by Michal Petrů and Ondřej Novák --- Chapter 2: Finite Element Dynamic Analysis on Residual Stress Distribution of Titanium Alloy and Titanium Matrix Composite after Shot Peening Treatment by Lechun Xie, Zhou Wang, Chengxi Wang, Yan Wen, Liqiang Wang, Chuanhai Jiang, Weijie Lu, Lai-Chang Zhang and Lin Hua --- Chapter 3: Multiscale Wavelet Finite Element Analysis in Structural Dynamics by Mutinda Musuva and Cristinel Mares --- Chapter 4: Numerical Analysis of Hot Polymer-Coated Steel Pipeline Joints in Bending by Finian McCann, Guido Ridolfi, Erwan Karjadi, Harm Demmink and Helen Boyd --- Chapter 5: Application of Finite Element Analysis in Multiscale Metal Forming Process by Zhengyi Jiang and Haibo Xie --- Chapter 6: Finite Element Thermal Analysis of Metal Parts Additively Manufactured via Selective Laser Melting by Dario Pitassi, Enrico Savoia, Vigilio Fontanari, Alberto Molinari, Valerio Luchin, Gianluca Zappini and Matteo Benedetti --- Chapter 7: Adaptive Modeling and Simulation of Elastic, Dielectric and Piezoelectric Problems by Grzegorz Zboiński --- Chapter 8: Vibration Simulation of Electric Machines by Marcel Janda and Kristyna Jandova --- Chapter 9: Numerically and Analytically Forecasting the Coal Burst Using Energy Based Approach Methods by Faham Tahmasebinia, Chengguo Zhang, Ismet Canbulat, Onur Vardar and Serkan Saydam --- Chapter 10: Linear Thermo-Poroelasticity and Geomechanics by Horacio Florez --- Chapter 11: Numerical Analysis of the Incompressible Fluid Flow and Heat Transfer by Toshio Tagawa --- Chapter 12: Numerical Simulation of Wave (Shock Profile) Propagation of the Kuramoto-Sivashinsky Equation Using an Adaptive Mesh Method by Denson Muzadziwa, Stephen T. Sikwila and Stanford Shateyi --- Chapter 13: Numerical Analysis on the Simulated Heavy Rainfall Event of Tropical Cyclone Fung-Wong by Lei-Ming Ma and Xu-Wei Bao --- Chapter 14: Weighted Finite-Element Method for Elasticity Problems with Singularity by Viktor Anatolievich Rukavishnikov and Elena Ivanovna Rukavishnikova

Description / Table of Contents: 1 Boden und Böden --- Einleitung --- 1.2 Der Umgang mit Böden --- Veränderungen von Böden durch menschliche Eingriffe --- Prähistorischer Umgang mit den Böden --- Die dunklen Erden Amazoniens --- Der Umgang mit Böden im vormodernen China --- Intensivierte Bodennutzung in der Neuzeit --- Der Umgang mit Böden im Ökologischen Landbau --- 1.3 Die Geschichte der Bodenkunde --- Die Wurzeln der Bodenkunde --- Die geobiowissenschaftliche/forstliche Tradition --- Die agrarwissenschaftliche Tradition --- Die chemische Tradition --- Die kulturtechnische Tradition --- 2 Böden als Naturkörper --- Einleitung --- Gliederung der Bodenlebewesen --- 2.1 Mineralkörper von Böden --- Silicate --- Gesteinsbildende Oxide --- Carbonate, Sulfate, Chloride, Phosphate --- Gesteine als Ausgangsmaterial der Bodenentwicklung --- Gesteinsgemische und Substratabfolgen --- Saprolite --- Anthropogene Gesteine --- Chemische Verwitterungsprozesse --- Tonminerale --- Carbonate, Gips und lösliche Salze --- Schwerminerale --- Tonminerale Methodik --- Pedogene Oxide --- Carbonate und Salze --- Textur der mineralischen Substanz --- 2.2 Humuskörper von Böden --- Humusformen und -typen --- Waldstreu --- Streu landwirtschaftlicher Nutzflächen --- Modellsysteme für Huminstoffe --- Alter der Humusstoffe --- Nährstoffgehalte und -nachlieferung --- 2.4 Bodenlebewesen --- Bodenfauna --- Biodenbiomasse --- Einfluss der Standort- und Bodeneigenschaften auf die Bodenfauna --- Einfluss des Bodenlebens auf Streuabbau und Aggregatbildung --- Bodenenzyme --- 2.5 Potenziale in Böden --- Bodenreaktion --- 2.6 Gefüge und Porengrößenverteilung --- Körnung und Konsistenz --- Mineralischer Feinboden --- Mineralischer Grobboden --- Organische Bodenpartikel --- Gefüge --- Morphologie --- Kräfte und Spannungen in Böden --- Wasserbindung und Porengrößenverteilung --- Wasserbewegung und Wasserleitfähigkeit des Bodens --- Thermisches Verhalten der Böden --- Bodenmechanik --- Makroskopische mechanische Verfahren --- Rheologie --- 2.7 Flüsse in Böden --- Makroporen und präferenzielle Sickerung --- Transportformen --- Wärmefluss und Wärmehaushalt --- Physikochemische Aspekte des Stofftransports in Böden --- Gastransport in Böden --- Transport gelöster Stoffe im Boden --- 3 Böden als Teile von Landschaften --- Einleitung --- 3.2 Klassifikation von Böden --- Geschichte und Prinzipien der Bodenklassifikation --- Systematik der Böden Deutschlands --- Die Österreichische Bodensystematik 2000 (OBS 2000) --- Bezugsgrundlage der Boden-Ressourcen der Erde (WRB) --- Bezugsgrundlage der Boden-Ressourcen der Erde (WRB), 2. Auflage 2006, 1. Update 2007 --- FAO/Unesco, Bodenkarte der Welt --- Systematik der bodenbildenden Substrate --- 3.3 Wichtige Bodeneinheiten --- Podsole --- Terrae calcis --- Reduktosole --- Watten und Strände – Salzwiesen und Mangrovenwälder --- Subhydrische Böden --- Moore --- 3.4 Böden als Landschaftssegmente --- Grundsätze der Bodenvergesellschaftung --- Bodentragende Landschaftsformen --- Klassifikation von Bodengesellschaften --- Watten und Marschen Nordwestdeutschlands --- Norddeutsche Jungmoränenlandschaften --- Norddeutsche Altmoränenlandschaften --- Nord- und mitteldeutsche Lössbörden und Sandlössgebiete --- Böden städtisch-industrieller Verdichtungsräume --- Bodenlandschaften kühlhumider Zonen (Boreale Wälder) --- Bodengeographie der Waldsteppen und Steppen --- Bodenlandschaften subtropischer mediterraner Zonen --- Bodengeografie der wechselfeuchten Tropen am Beispiel Indiens --- 3.5 Kartierungstechnik --- Kartierungstechnik --- 3.6 Bodenkundliche Kartenwerke --- Bodenkundliche Kartenwerke --- 4 Funktionen von Böden --- Einleitung --- 4.2 Standortfunktionen von Böden --- Böden als Waldstandorte --- Böden als Grünlandstandorte --- Deutsche Weinbaustandorte --- Böden als Obstbaustandorte --- Böden als Baugrund und Baustoff --- Die amtliche Bodenschätzung in Deutschland --- 4.4 Böden als Bestandteil des Landschaftshaushaltes --- Boden und Landschaftswasserhaushalt --- Landschaftsstoffhaushalt --- 4.5 Böden als landschafts- und kulturgeschichtliche Urkunden --- Böden als landschafts- und kulturgeschichtliche Urkunden --- Böden und Bodenmerkmale unterschiedlichen Alters --- Datierungsmethoden --- Norddeutsches Vereisungsgebiet --- Süddeutsches Vereisungsgebiet --- Lößgebiete Süddeutschlands --- Paläoböden in periglazialen Lagen der Mittelgebirge --- 5 Bodenkultivierung, Bodenmelioration --- Einleitung --- 5.1 Grundlagen der Bodenkultivierung und Bodenmelioration --- Grundlagen der Bodenkultivierung und Bodenmelioration --- 5.2 Meliorationsverfahren --- Meliorationsverfahren --- 5.3 Kultivierungsverfahren --- Marschkultur --- Einleitung --- Moorkulturen --- Plaggen --- Tiefenbearbeitung --- Bewässerung --- 6 Anthropogene Bodenveränderungen und -belastungen --- Einleitung --- 6.1 Bodenüberformung und -versiegelung --- Bodenüberformung und -versiegelung --- 6.2 Anthropogene Gefügeänderung --- Bewirtschaftungssysteme und ihre Auswirkungen auf das Bodengefüge --- Anthropogene Gefügeänderungen --- Forstliche Bodenbewirtschaftung --- Melioration von tiefreichend schadverdichteten Neu- und Altlandstandorten --- 6.3 Abtrag von Böden --- Physikalische Ursachen der Wassererosion --- Erosionsformen --- Winderosion --- Abtrag von Böden --- Feststofftransport in Fließgewässern --- Quantifizierung des Bodenabtrags anhand von Modellen --- 6.4 Düngung von Böden --- Düngung von Böden --- 6.5 Kontamination von Böden --- Organische Pflanzenschutzmittel --- Antibiotika --- Radionuklide 7 Bodenschutz --- Einleitung --- 7.1 Gesetzliche Grundlagen --- Bundes-Bodenschutzgesetz (Wortlaut) --- Bundes-Bodenschutz- und Altlastenverordnung (Wortlaut) --- Bodenschutzrecht --- 7.2 Bodenschutz in der Landwirtschaft --- Einleitung --- Gesetzliche Instrumente --- Ökonomische Instrumente --- 7.3 Bodenschutzrelevante Planungen --- Planung und Umsetzung im urbanindustriellen und suburbanen Raum --- 7.4 Schutz vor mechanischer Belastung --- Schutz vor mechanischer Belastung --- 7.5 Schutz vor Abtrag und Überflutung --- Schutz vor Abtrag und Überflutung --- 7.6 Schutz vor stofflichen Belastungen --- Schutz landwirtschaftlicher Böden vor Überdüngung --- Schutz vor Säuren --- Schutz vor Salzen und Alkalinität --- Schutz vor Belastung mit Pflanzenschutzmitteln --- Schutz vor Organika --- Schutz vor Kontamination durch Deponien --- Schutz vor Kontamination bei Reststoffverwertung --- 7.7 Erziehung zum Bodenschutz --- Erziehung zum Bodenschutz --- 8 Bodensicherung, -sanierung und -restaurierung --- Einleitung --- 8.1 Rechtsgrundlagen der Bodensanierung --- Rechtsgrundlagen der Bodensanierung --- 8.3 Rekultivierung unterschiedlicher Böden und Substrate --- Rekultivierung unterschiedlicher Böden und Substrate --- 8.4 Rekultivierung fremdgenutzter Standorte --- Rekultivierung aufgegebener Industrie-, Gewerbe und Verkehrsflächen --- 8.5 Rekultivierung und Renaturierung von Abgrabungsflächen --- Rekultivierung und Renaturierung von Abgrabungsflächen --- 8.6 Sanierungsbedürftigkeit und Schutzwürdigkeit von Böden --- Sanierungsbedürftigkeit und Schutzwürdigkeit von Böden

Description / Table of Contents: Seit Jahren wird unser Alltag geprägt von zunehmender Automation und Vernetzung, die Digitalisierung genannt wird. Sensoren erfassen immer mehr unterschiedliche Daten und werden von intelligenten Algorithmen zunehmend präzisier analysiert. Dies führt nicht nur zu einem anderen Verhältnis im Umgang und bei der Nutzung von Daten durch Menschen und Maschinen, sondern wird auch dramatisch Aufgaben und Prozesse verändern. Die damit verbundenen Arbeitsanforderungen werden zum massiven Wandel von Berufsbildern führen, in dem einfache Tätigkeiten automatisiert und komplexe Tätigkeiten vereinfacht werden. Nicht nur das Arbeiten sondern auch das Lernen, Lehren und Forschen verändert sich durch die Digitalisierung. Die technischen Möglichkeiten wandeln die Lebenswelten mit ihren urbanen Versorgungs- und Infrastrukturen und eröffnen den Wirtschaftsräumen neue Geschäftsmodelle. Diese parallel einsetzenden Entwicklungen führen zu radikalen Umbrüchen, die in den kommenden Jahren sämtliche Aspekte der Gesellschaft verändern werden

Description / Table of Contents: According to the 2014 revision of the World Urbanization Prospects by UN DESA, urbanization could add another 2.5 billion people to the urban population by 2050, with close to 90 percent of the increase concentrated in Asia and Africa. The largest urban growth will take place in India, China and Nigeria. This unprecedented increase in urban population not only poses challenges to providing urban jobs, housing, and infrastructure, but also exerts an increased pressure on urban land and sustainability. As land is a vital yet limited resource, sustainable management of urban land to cater to the needs of this growing urban population is seen as one of the key challenges for achieving an economically efficient, socially equitable, and environmentally safe society. A key tenet for sustainable economic development and smart growth is promoting sustainable urban land development and mitigating land use conflicts. While a large body of literature has dealt with both land use and sustainable development, the study of the interactive effects of these two remains limited. We also need more sophisticated empirical studies examining processes, mechanisms, institutions, equity, and sustainability of urban land use. We also encourage efforts to develop new theories, new concepts and new methods to understand the myriad ways in which urban land and sustainable development correlate each other. This special issue examines patterns, structure, and dynamics of urban land development and sustainability from multiple perspectives, in various contexts and at multiple dimensions (economic, social, political, developmental, environmental, etc.).

Description / Table of Contents: Vorwort --- Einleitung --- Bürger --- Wenn Bots sich unter Leute mischen: Social Bots in den Sozialen Medien --- Digitale Partizipation in Wissenschaft und Wirtschaft --- Entwicklung einer soziodigitalen Souveränität --- Unternehmen --- Digitale Souveränität – ein mehrdimensionales Handlungskonzept für die deutsche Wirtschaft --- Privatheit und digitale Souveränität in der Arbeitswelt 4.0 --- Staat --- Mehr Daten, weniger Vertrauen in Statistik – freie Fahrt für ‚alternative Fakten‘? --- Internationale Perspektiven auf digitale Souveränität --- Digitalisierung der Bildung als staatliche Aufgabe --- Ausblick

Description / Table of Contents: Model-Based Software Development --- A Formal Framework for Incremental Model Slicing --- Multiple Model Synchronization with Multiary Delta Lenses --- Controlling the Attack Surface of Object-Oriented Refactorings --- Efficient Analysis of Attack Trees: a Model-Driven Approach --- Distributed Program and System Analysis --- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis --- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism --- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems --- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States --- Software Design and Verification --- Hierarchical Specification and Verification of Architectural Design Patterns --- Supporting Verification-Driven Incremental Distributed Design of Components --- Summarizing Software API Usage Examples using Clustering Techniques --- Fast Computation of Arbitrary Control Dependencies --- Specification and Program Testing --- Iterative Generation of Diverse Models for Testing Specifications of SL Tools --- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications --- TCM: Test Case Mutation to Improve Crash Detection in Android --- CRETE: A Versatile Binary-Level Concolic Testing Framework --- Family-Based Software Development --- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* --- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems --- Taming Multi-Variability of Software Product Line Transformations

Description / Table of Contents: 1. Adaptation in Agriculture / by Panit Arunanondchai, Chengcheng Fei and Bruce A. McCarl --- 2. Climate Adaptive Agricultural Innovation in Nepal: Prospects and Challenges / by Dhanej Thapa, Yuba Raj Subedi and Hemant Ojha --- 3. Naturally Available Genetic Adaptation in Common Bean and Its Response to Climate Change / by Andrés J. Cortés and Matthew W. Blair --- 4. Mitigation of the Negative Impact of Warming on the Coffee Crop: The Role of Increased Air [CO2] and Management Strategies / by Danielly Dubberstein, Weverton P. Rodrigues, José N. Semedo, Ana P. Rodrigues, Isabel P. Pais, António E. Leitão, Fábio L. Partelli, Eliemar Campostrini, Fernando Reboredo, Paula Scotti-Campos, Fernando C. Lidon, Ana I. Ribeiro-Barros, Fábio M. DaMatta and José C. Ramalho --- 5. Agricultural Management Impact on Greenhouse Gas Emissions / by Upendra M. Sainju --- 6. Low Carbon Technologies for Agriculture in Dryland: Brazilian Experience / by Vanderlise Giongo, Alessandra Monteiro Salviano, Francislene Angelotti, Tatiana Taura, Luiz Fernando Carvalho Leite and Tony Jarbas Ferreira Cunha --- 7. Pepper Crop under Climate Change: Grafting as an Environmental Friendly Strategy / by Consuelo Penella and Angeles Calatayud --- 8. Bringing Climate Smart Agriculture to Scale: Experiences from the Water Productivity Project in East and Central Africa / by Kizito Kwena, Fitih Ademe, Joseph Serge, Nezeghty Asmerom, Bernard Musana, Razaka Razakamiaramanana, Reuben Ruttoh, Hezron Mogaka, Assefa Dereje, Kifle Woldearegey, Anthony Esilaba and Rosemary Emongor --- 9. Climate Control in Mediterranean Greenhouses / by A. Nafi Baytorun and Zeynep Zaimoglu

Description / Table of Contents: Can Machines Design? Optimizing User Interfaces for Human Performance --- Geometrical Shapes Rendering on a Dot-Matrix Display --- Dynamic Hand Gesture Recognition for Mobile Systems Using Deep LSTM --- Adjustable Autonomy for UAV Supervision Applications Through Mental Workload Assessment Techniques --- Classification of Motor Imagery Based EEG Signals Using Sparsity Approach --- Mental Workload Assessment for UAV Traffic Control Using Consumer-Grade BCI Equipment --- Improving Classification Performance by Combining Feature Vectors with A Boosting Approach for Brain Computer Interface (BCI) --- List Navigation Using Edge Menu --- Simplexity and Vicariance. On Human Cognition Principles for Man-Machine Interaction --- Design Considerations for Self-paced Interactive Notes on Video Lectures - A Learner's Perspective and Enhancements of Learning Outcome --- Using Psycholinguistic Features for the Classification of Comprehenders from Summary Speech Transcripts --- Lector: Towards Reengaging Students in the Educational Process Inside Smart Classrooms --- Predicting Driver's Work Performance in Driving Simulator Based on Physiological Indices --- Interpersonal Human-Human and Human-Robot Interactions --- Exploring the Dynamics of Relationships Between Expressed and Experienced Emotions --- Standard Co-training in Multiword Expression Detection --- Comparative Study on Normalization in Emotion Recognition from Speech --- Detecting Vigilance in People Performing Continual Monitoring Task

Description / Table of Contents: Approaches to Unsupervised Machine Learning --- Methods of Visualization of High-Dimensional Data --- Quality Assessments of Visualizations --- Behavior-Based Systems in Data Science --- Databionic Swarm (DBS)

Description / Table of Contents: 1 Introduction --- 2 Trust --- 3 What is an ICT-System? --- 4 Development of ICT Systems --- 5 Theoretical Foundation --- 6 Reverse Engineering of Code --- 7 Static Detection of Malware --- 8 Dynamic Detection Methods --- 9 Formal Methods --- 10 Software Quality and Quality Management --- 11 Containment of Untrusted Modules --- 12 Summary and Way Forward

Description / Table of Contents: Reconstruction of Separable Particle Verbs in a Corpus of Spoken German --- Detecting Vocal Irony --- The Devil is in the Details: Parsing Unknown German Words --- Exploring Ensemble Dependency Parsing to Reduce Manual Annotation Workload --- Different German and English Co-reference Resolution Models for Multi-Domain Content Curation Scenarios --- Word and Sentence Segmentation in German: Overcoming Idiosyncrasies in the Use of Punctuation in Private Communication --- Fine-Grained POS Tagging of German Social Media and Web Texts --- Developing a Stemmer for German Based on a Comparative Analysis of Publicly Available Stemmers --- Negation Modeling for German Polarity Classification --- NECKAr: A Named Entity Classifier for Wikidata --- Investigating the Morphological Complexity of German Named Entities: The Case of the GermEval NER Challenge --- Detecting Named Entities and Relations in German Clinical Reports --- In-Memory Distributed Training of Linear-Chain Conditional Random Fields with an Application to Fine-Grained Named Entity Recognition --- What does this imply? Examining the Impact of Implicitness on the Perception of Hate Speech --- Automatic Classification of Abusive Language and Personal Attacks in Various Forms of Online Communication --- Token Level Code-Switching Detection Using Wikipedia as a Lexical Resource --- How Social Media Text Analysis Can Inform Disaster Management --- A Comparative Study of Uncertainty Based Active Learning Strategies for General Purpose Twitter Sentiment Analysis with Deep Neural Networks --- An Infrastructure for Empowering Internet Users to Handle Fake News and Other Online Media Phenomena --- Different Types of Automated and Semi-automated Semantic Storytelling: Curation Technologies for Different Sectors --- Twitter Geolocation Prediction Using Neural Networks --- Diachronic Variation of Temporal Expressions in Scientific Writing Through the Lens of Relative Entropy --- A Case Study on the Relevance of the Competence Assumption for Implicature Calculation in Dialogue Systems --- Supporting Sustainable Process Documentation --- Optimizing Visual Representations in Semantic Multi-Modal Models with Dimensionality Reduction, De-noising and Contextual Information --- Using Argumentative Structure to Grade Persuasive Essays

Description / Table of Contents: Model-Based Software Development --- A Formal Framework for Incremental Model Slicing --- Multiple Model Synchronization with Multiary Delta Lenses --- Controlling the Attack Surface of Object-Oriented Refactorings --- Efficient Analysis of Attack Trees: a Model-Driven Approach --- Distributed Program and System Analysis --- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis --- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism --- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems --- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States --- Software Design and Verification --- Hierarchical Specification and Verification of Architectural Design Patterns --- Supporting Verification-Driven Incremental Distributed Design of Components --- Summarizing Software API Usage Examples using Clustering Techniques --- Fast Computation of Arbitrary Control Dependencies --- Specification and Program Testing --- Iterative Generation of Diverse Models for Testing Specifications of SL Tools --- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications --- TCM: Test Case Mutation to Improve Crash Detection in Android --- CRETE: A Versatile Binary-Level Concolic Testing Framework --- Family-Based Software Development --- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* --- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems --- Taming Multi-Variability of Software Product Line Transformations

Description / Table of Contents: HHVSF: A Framework to Accelerate Drug-based High-throughput Virtual Screening on High-Performance Computers --- HBasechainDB --- A Scalable Blockchain Framework on Hadoop Ecosystem --- DETOUR: A Large-Scale Non-Blocking Optical Data Center Fabric --- Querying Large Scientific Data Sets with Adaptable IO System ADIOS --- On the Performance of Spark on HPC Systems: Towards a Complete Picture --- Experiences of Converging Big Data Analytics Frameworks with High Performance Computing Systems --- MACC : An OpenACC Transpiler for Automatic Multi-GPU Use --- Acceleration of Wind Simulation using Locally Mesh-Refined Lattice Boltzmann Method on GPU-Rich supercomputers --- Architecture of an FPGA-Based Heterogeneous System for Code-Search Problems --- TINS: A Task-Based Dynamic Helper Core Strategy for In Situ Analytics --- Machine Learning Predictions for Underestimation of Job Runtime on HPC System --- A Power Management Framework with Simple DSL for Automatic Power-Performance Optimization on Power-Constrained HPC Systems --- Scalable Data Management of the Uintah Simulation Framework for Next-Generation Engineering Problems with Radiation --- High performance LOBPCG method for solving multiple eigenvalues of Hubbard model: Efficiency of communication avoiding Neumann expansion preconditioner --- Application of a preconditioned Chebyshev basis communication-avoiding conjugate gradient method to a multiphase thermal-hydraulic CFD code --- Optimization of Hierarchical matrix computation on GPU

Description / Table of Contents: Theorem Proving --- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning --- Efficient verification of imperative programs using auto2 --- Frame Inference for Inductive Entailment Proofs in Separation Logic --- Verified Model Checking of Timed Automata --- SAT and SMT I --- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams --- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving --- Automatic Generation of Precise and Useful Commutativity Conditions --- Bit-Vector Model Counting using Statistical Estimation --- Deductive Verification --- Hoare Logics for Time Bounds --- A Verified Implementation of the Bounded List Container --- Automating Deductive Verification for Weak-Memory Programs --- Software Verification and Optimisation --- Property Checking Array Programs Using Loop Shrinking --- Invariant Synthesis for Incomplete Verification Engines --- Accelerating Syntax-Guided Invariant Synthesis --- Daisy - Framework for Analysis and Optimization of Numerical Programs --- Model Checking --- Oink: an Implementation and Evaluation of Modern Parity Game Solvers --- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) --- Generation of Minimum Tree-like Witnesses for Existential CTL --- From Natural Projection to Partial Model Checking and Back --- Machine Learning --- ICE-based Refinement Type Discovery for Higher-Order Functional Programs --- Strategy Representation by Decision Trees in Reactive Synthesis --- Feature-Guided Black-Box Safety Testing of Deep Neural Networks.

Description / Table of Contents: Semantics --- Non-angelic Concurrent Game Semantics --- A Trace Semantics for System F Parametric Polymorphism --- Categorical Combinatorics for Non Deterministic Strategies on Simple Games --- A Syntactic View of Computational Adequacy --- Linearity --- A New Linear Logic for Deadlock-Free Session-Typed Processes --- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads --- Depending on Session-Typed Processes --- FabULous Interoperability for ML and a Linear Language --- Concurrency --- Automata for True Concurrency Properties --- A Theory of Encodings and Expressiveness --- A Framework for Parameterized Monitorability --- Logics for Bisimulation and Divergence --- Lambda-Calculi and Types --- Call-by-need, Neededness and All That --- Fitch-Style Modal Lambda Calculi --- Realizability Interpretation and Normalization of Typed Call-by-Need --- Quotient Inductive-Inductive Types --- Category Theory and Quantum Control --- Guarded Traced Categories --- Proper Semirings and Proper Convex Functors --- From Symmetric Pattern-Matching to Quantum Control --- Quantitative Models --- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes --- A Hierarchy of Scheduler Classes for Stochastic Automata --- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings --- Comparator Automata in Quantitative Verification --- Logics and Equational Theories --- Modular Tableaux Calculi for Separation Theories --- Differential Calculus with Imprecise Input and its Logical Framework --- The Effects of Adding Reachability Predicates in Propositional Separation Logic --- The Equational Theory of the Natural Join and of Inner Union is Decidable --- Graphs and Automata --- Minimization of Graph Weighted Models over Circular Strings --- Games on Graphs with a Public Signal Monitoring --- WQO Dichotomy for 3-Graphs --- Verifying Higher-Order Functions with Tree Automata

Description / Table of Contents: About Data --- Identifying Data Problems --- Getting Started with R --- Follow the Data --- Rows and Columns --- Beer, Farms and Peas --- Sample in a Jar --- Big Data? Big Deal! --- Onward with R-Studio --- Tweet, Tweet! --- Popularity Contest --- String Theory --- Word Perfect --- Storage Wars

Description / Table of Contents: A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security is a straight-forward primer for developers. It shows security and TPM concepts, demonstrating their use in real applications that the reader can try out. Simply put, this book is designed to empower and excite the programming community to go out and do cool things with the TPM. The approach is to ramp the reader up quickly and keep their interest.A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security explains security concepts, describes the TPM 2.0 architecture, and provides code and pseudo-code examples in parallel, from very simple concepts and code to highly complex concepts and pseudo-code. The book includes instructions for the available execution environments and real code examples to get readers up and talking to the TPM quickly. The authors then help the users expand on that with pseudo-code descriptions of useful applications using the TPM

Description / Table of Contents: Pro Git (Second Edition) is your fully-updated guide to Git and its usage in the modern world. Git has come a long way since it was first developed by Linus Torvalds for Linux kernel development. It has taken the open source world by storm since its inception in 2005, and this book teaches you how to use it like a pro. Effective and well-implemented version control is a necessity for successful web projects, whether large or small. With this book you’ll learn how to master the world of distributed version workflow, use the distributed features of Git to the full, and extend Git to meet your every need. Written by Git pros Scott Chacon and Ben Straub, Pro Git (Second Edition) builds on the hugely successful first edition, and is now fully updated for Git version 2.0, as well as including an indispensable chapter on GitHub. It’s the best book for all your Git needs

Description / Table of Contents: Digital Video Concepts, Methods, and Metrics: Quality, Compression, Performance, and Power Trade-off Analysis is a concise reference for professionals in a wide range of applications and vocations. It focuses on giving the reader mastery over the concepts, methods and metrics of digital video coding, so that readers have sufficient understanding to choose and tune coding parameters for optimum results that would suit their particular needs for quality, compression, speed and power. The practical aspects are many: Uploading video to the Internet is only the beginning of a trend where a consumer controls video quality and speed by trading off various other factors. Open source and proprietary applications such as video e-mail, private party content generation, editing and archiving, and cloud asset management would give further control to the end-user. Digital video is frequently compressed and coded for easier storage and transmission. This process involves visual quality loss due to typical data compression techniques and requires use of high performance computing systems. A careful balance between the amount of compression, the visual quality loss and the coding speed is necessary to keep the total system cost down, while delivering a good user experience for various video applications. At the same time, power consumption optimizations are also essential to get the job done on inexpensive consumer platforms. Trade-offs can be made among these factors, and relevant considerations are particularly important in resource-constrained low power devices. To better understand the trade-offs this book discusses a comprehensive set of engineering principles, strategies, methods and metrics. It also exposes readers to approaches on how to differentiate and rank video coding solutions

Description / Table of Contents: The Role of Respiration in Estimation of Net Carbon Cycle: Coupling Soil Carbon Dynamics and Canopy Turnover in a Novel Version of 3D-CMCC Forest Ecosystem Model / Forests 2017, 8(6), 220; https://doi.org/10.3390/f8060220 --- Climate Impacts on Soil Carbon Processes along an Elevation Gradient in the Tropical Luquillo Experimental Forest / Forests 2017, 8(3), 90; https://doi.org/10.3390/f8030090 --- Partitioning Forest‐Floor Respiration into Source Based Emissions in a Boreal Forested Bog: Responses to Experimental Drought / Forests 2017, 8(3), 75; https://doi.org/10.3390/f8030075 --- Elevated CO2 and Tree Species Affect Microbial Activity and Associated Aggregate Stability in Soil Amended with Litter / Forests 2017, 8(3), 70; https://doi.org/10.3390/f8030070 --- Effect of Soil Moisture on the Response of Soil Respiration to Open-Field Experimental Warming and Precipitation Manipulation / Forests 2017, 8(3), 56; https://doi.org/10.3390/f8030056 --- Temporal Variability of Soil Respiration in Experimental Tree Plantations in Lowland Costa Rica / Forests 2017, 8(2), 40; https://doi.org/10.3390/f8020040 --- Spatial Upscaling of Soil Respiration under a Complex Canopy Structure in an Old‐Growth Deciduous Forest, Central Japan / Forests 2017, 8(2), 36; https://doi.org/10.3390/f8020036 --- Heterotrophic Soil Respiration Affected by Compound Fertilizer Types in Red Pine (Pinus densiflora S. et Z.) Stands of Korea / Forests 2016, 7(12), 309; https://doi.org/10.3390/f7120309 --- Optimization Forest Thinning Measures for Carbon Budget in a Mixed Pine-Oak Stand of the Qingling Mountains, China: A Case Study / Forests 2016, 7(11), 272; https://doi.org/10.3390/f7110272 --- Mitigating the Stress of Drought on Soil Respiration by Selective Thinning: Contrasting Effects of Drought on Soil Respiration of Two Oak Species in a Mediterranean Forest / Forests 2016, 7(11), 263; https://doi.org/10.3390/f7110263 --- Seasonal Variation in Soil Greenhouse Gas Emissions at Three Age-Stages of Dawn Redwood (Metasequoia glyptostroboides) Stands in an Alluvial Island, Eastern China / Forests 2016, 7(11), 256; https://doi.org/10.3390/f7110256 --- Erratum: Spatial Upscaling of Soil Respiration under a Complex Canopy Structure in an Old-Growth Deciduous Forest, Central Japan; Forests 2017, 8, 36 / Forests 2017, 8(3), 71; https://doi.org/10.3390/f8030071

Description / Table of Contents: Chapter 1 Introduction --- Overview --- Data Science Is OSEMN --- Intermezzo Chapters --- What Is the Command Line? --- Why Data Science at the Command Line? --- A Real-World Use Case --- Further Reading --- Chapter 2 Getting Started --- Overview --- Setting Up Your Data Science Toolbox --- Essential Concepts and Tools --- Further Reading --- Chapter 3 Obtaining Data --- Overview --- Copying Local Files to the Data Science Toolbox --- Decompressing Files --- Converting Microsoft Excel Spreadsheets --- Querying Relational Databases --- Downloading from the Internet --- Calling Web APIs --- Further Reading --- Chapter 4 Creating Reusable Command-Line Tools --- Overview --- Converting One-Liners into Shell Scripts --- Creating Command-Line Tools with Python and R --- Further Reading --- Chapter 5 Scrubbing Data --- Overview --- Common Scrub Operations for Plain Text --- Working with CSV --- Working with HTML/XML and JSON --- Common Scrub Operations for CSV --- Further Reading --- Chapter 6 Managing Your Data Workflow --- Overview --- Introducing Drake --- Installing Drake --- Obtain Top Ebooks from Project Gutenberg --- Every Workflow Starts with a Single Step --- Well, That Depends --- Rebuilding Specific Targets --- Discussion --- Further Reading --- Chapter 7 Exploring Data --- Overview --- Inspecting Data and Its Properties --- Computing Descriptive Statistics --- Creating Visualizations --- Further Reading --- Chapter 8 Parallel Pipelines --- Overview --- Serial Processing --- Parallel Processing --- Distributed Processing --- Discussion --- Further Reading --- Chapter 9 Modeling Data --- Overview --- More Wine, Please! --- Dimensionality Reduction with Tapkee --- Clustering with Weka --- Regression with SciKit-Learn Laboratory --- Classification with BigML --- Further Reading --- Chapter 10 Conclusion --- Let’s Recap --- Three Pieces of Advice --- Where to Go from Here? --- Getting in Touch

Description / Table of Contents: Introduction --- Chapter 1 - Making Paper Cryptography Tools --- Chapter 2 -Programming in the Interactive Shell --- Chapter 3 - Strings and Writing Programs --- Chapter 4 - The Reverse Cipher --- Chapter 5 - The Caesar Cipher --- Chapter 6 - Hacking the Caesar Cipher with Brute-Force --- Chapter 7 - Encrypting with the Transposition Cipher --- Chapter 8 - Decrypting with the Transposition Cipher --- Chapter 9 - Programming a Program to Test Your Program --- Chapter 10 - Encrypting and Decrypting Files --- Chapter 11 - Detecting English Programmatically --- Chapter 12 - Hacking the Transposition Cipher --- Chapter 13 - A Modular Arithmetic Module for the Affine Cipher --- Chapter 14 - Programming the Affine Cipher --- Chapter 15 - Hacking the Affine Cipher --- Chapter 16 - Programming the Simple Substitution Cipher --- Chapter 17 - Hacking the Simple Substitution Cipher --- Chapter 18 - Programming the Vigenere Cipher --- Chapter 19 - Frequency Analysis --- Chapter 20 - Hacking the Vigenere Cipher --- Chapter 21 - The One-Time Pad Cipher --- Chapter 22 - Finding and Generating Prime Numbers --- Chapter 23 - Generating Keys for the Public Key Cipher --- Chapter 24 - Programming the Public Key Cipher

Description / Table of Contents: Klaus M. Rodewig und Clemens Wagner geben Ihnen einen Einblick in die Architektur des iPhone und des iPad und eine Anleitung zum Programmieren eigener Applikationen. Dabei werden alle wichtigen Themen in der gebotenen Tiefe mit Hintergrundwissen beschrieben. Praktische Beispiele unterstützen Sie von Anfang an, so dass Sie direkt loslegen können. Erste Ergebnisse können Sie im iPhone Simulator direkt testen. Sie erhalten einen Überblick über die verschiedenen iPhone- und iPod Touch-Modelle, erfahren, wie Sie in der Apple Developer Connection Mitglied werden können und Applikationen für das iPhone im Appstore anbieten können. Natürlich kommt in diesem Buch auch der Hintergrund nicht zu kurz. Eine kurze Einführung in Objective-C und Cocoa vermittelt Ihnen alles, was Sie wissen müssen. Inkl. Schnittstellen zum Datenaustausch, Events, Alerts, Datenverwaltung mit Core Data und die verschiedenen Möglichkeiten der Netzwerkprogrammierung. Profis werden von den Tipps und Tricks zur Konfiguration und Verwendung von Xcode, Debugging und der Arbeit mit einem Versionierungssystem profitieren.

Description / Table of Contents: Hier bekommen Sie C-Wissen pur. Egal, ob Sie gerade anfangen, C zu lernen oder ein kompetentes Nachschlagewerk für Fragen rund um C benötigen, mit diesem Buch sind Sie bestens beraten. Ausführlich werden die Grundlagen von C dargestellt, angefangen von den elementaren Datentypen bis hin zu Arrays, Zeigern und dynamischer Speicherverwaltung. Auch fortgeschrittene Themen wie das Programmieren von Webanwendungen mit der CGI-Schnittstelle und eigenen Datenbank-Clients mit der C-API von MySQL, Netzwerk- und Cross-Plattform-Entwicklung kommen nicht zu kurz.

Description / Table of Contents: Wer PHP effizient einsetzen will, sollte die umfangreichen Erweiterungen von PEAR nutzen. Dabei ist PEAR mehr als nur eine einfache Bibliothek. Vergleichbar dem CPAN-Projekt für Perl bietet PEAR zahlreiche Bibliotheken und nützliche Hilfsmittel für PHP-Entwickler, die sich dank des PEAR-Installers auf einfache Weise in bestehende PHP-Installationen integrieren lassen. So lassen sich Entwicklungprozesse erheblich verkürzen. Ein Hindernis stellten bisher lediglich die unzureichnenden Dokumentationen dar. Das Buch von Carsten Möhrke schafft Abhilfe. Es führt in die Nutzung ein, beschreibt ausführlich die Installation und alle wichtigen PEAR- und PECL-Pakete. Auch die Entwicklung eigener Pakete für das Archiv wird beschrieben.

Description / Table of Contents: VORWORT Dieses Buch möchte Ihnen helfen, ein eigenes Intrusion Detection System (IDS) auf der Basis von Snort aufzubauen. Wir werden auf ca. 250 Seiten nicht sämtliche Aspekte und Möglichkeiten der Einbruchserkennung er örtern können – aber das soll das Buch auch nicht leisten. Vielmehr möchten wir Ihnen eine kompakte, von Fachleuten entworfene und geprüfte Anleitung geben, wie Sie mit möglichst wenig Aufwand möglichst schnell zu einem grundsätzlich ausreichenden IDS kommen. Dieses Buch wendet sich, bildlich gesprochen, an den gestressten Administrator, der partout genug Arbeit auf dem Schreibtisch und keine Zeit hat, sich in Hunderte Seiten dicke Grundlagenwerke einzuarbeiten, daraus das für ihn Wichtige abzuleiten und anschließend mühsam nach dem Trial-and-Error-Verfahren ein eigenes SnortIDS aufzubauen. Wir präsentieren Ihnen eine fertige Lösung, die Sie in kürzester Zeit nachbauen und später weiter verfeinern und anpassen können. Dennoch widmen wir uns selbstverständlich auch den Grundlagen der Intrusion Detection – sozusagen am lebenden Beispiel, am gerade gemeinsam aufgebauten IDSNetzwerk. Eine solche Schritt-für-Schritt-Bauanleitung bringt natürlich Kompromisse und Probleme mit sich: Was in einer SoftwareVersion reibungslos funktionierte, kann sich in einer anderen Version wieder anders verhalten. Parameter und Pfade werden umbenannt, Pakete und Bibliotheken kommen zu einer Distribution hinzu oder werden ersetzt – und nicht zuletzt unterscheiden sich auch SUSE und Debian oft genug grundlegend voneinander. Wir haben die hier geschilderten Bauanleitungen basierend auf Debian Woody und SUSE Version 9.1 entworfen. Es steht Ihnen frei, abweichend davon eine andere (ältere oder neuere) Version oder vielleicht eine ganz andere Distribution einzusetzen, doch müssen Sie damit rechnen, dass dann einiges von unserer Lösung abweichen, anders heißen oder funktionieren kann. Insoweit bitten wir um Verständnis, dass wir weder alle alten Versionen beachten, noch alle zukünftigen änderungen in unserer Kristallkugel vorhersehen können. Am zugrunde liegenden Prinzip dürfte sich jedoch nicht allzu viel ändern, so dass es für Administratoren mit etwas Erfahrung ein Leichtes sein sollte, die hier geschilderten Wege an andere Gegebenheiten anzupassen. Ob Sie SUSE oder Debian einsetzen, spielt prinzipiell keine Rolle – wir gehen jeweils auf beide Varianten ein, sofern Unterschiede bestehen. Bezüglich SUSE Linux möchten wir Ihnen aber empfehlen, mindestens Version 9.1 zu nutzen, da erst diese ein aktuelles Snort 2.1 enthält; SUSE 9.0 würde bereits das eigene Kompilieren von Snort erfordern. Das können Sie tun, das können Sie sich aber auch ersparen...

Description / Table of Contents: XML - leicht verständlich und praxisnah. XML verändert das Web wie nichts zuvor. Das Buch erklärt Ihnen sowohl die Idee von XML als auch deren Anwendungsmöglichkeiten. Neben der vollständigen Spezifikation enthält es vor allem auch praktische Tipps für den Einsatz von XML im WWW. Jeder Web-Publisher, der die Beschränkungen von HTML ablegen möchte, findet hier eine unentbehrliche Grundlage und Referenz. Erläuterungen und Tipps zu wichtigen Aspekten wie XSL, RDF und Linking runden die Darstellung ab.

Description / Table of Contents: In diesem Buch finden Sie alles, was Sie brauchen, um sich in die objektorientierte Programmierung einzuarbeiten. Die beiden Autoren erläutern alle Prinzipien und ihre Umsetzung anschaulich und verständlich anhand einer Vielzahl typischer Beispiele. Als Sprachen werden C++, Java, Ruby, C# und PHP eingesetzt. Anhand eines größeren Projekts bekommen Sie zudem einmal von Anfang bis Ende gezeigt, wie Sie OOP konsequent realisieren können. Des Weiteren bietet das Buch eine Einführung in die aspektorientierte Programmierung.

Description / Table of Contents: Umfassender geht es nicht! Hier erfahren Sie alles, was Sie mit der Version 11.04 »Natty Narwhal« (dt. »Schicker Zahnwal«) der beliebtesten Linux-Distribution Ubuntu anstellen können. Von der Installation, der Paketverwaltung über Optimierung, Programmierung, Migration und Kernelkompilierung bis hin zur Virtualisierung und Netzwerktechnik finden Sie alle wichtigen Fragen zu Ubuntu Linux in diesem Buch beantwortet. Darüber hinaus profitieren Sie von mehr als 300 eigens gekennzeichneten Tipps und Tricks sowie von zahlreichen Praxisworkshops. Werden Sie mit diesem Buch ganz einfach zum Ubuntu-Profi! Übrigens: Auch eingefleischte Ubuntu-Nutzer werden in dieser Ausgabe zur aktuellen Version viel Neues entdecken - denn Ubuntu setzt seit »Natty Narwhal« mit der Unity-Oberfläche auf einen neuen Look.

Description / Table of Contents: Dieses umfassende Handbuch bietet Ihnen nahezu vollständiges Linux-Wissen. Es erklärt, wie man Linux als leistungsstarke Workstation nutzen kann und widmet sich ausführlich professionelleren Themen wie Administration des Systems, Shell, Netzwerkkonfiguration und Sicherheit. Das Buch ist geeignet für Nutzer aller gängigen Linux-Distributionen. Die beiliegenden Multiboot-DVDs enthalten eine große Auswahl an Linux-Systemen. Das Buch ist konsequent praxisnah geschrieben, immer verständlich und sehr gründlich in der Behandlung aller Themen. Diese 5. Auflage wurde umfassend aktualisiert und verbessert. Sowohl Einsteiger als auch Profis werden von diesem kompetenten Handbuch profitieren.

Description / Table of Contents: In den ersten zehn Kapiteln des Buches erfahren Sie alles, was Sie zur Shell-Programmierung wissen müssen. Weitere Kapitel gehen auf die unverzichtbaren Tools grep, sed und awk ein, die in Kombination (oder auch allein) mit der Shellscript-Programmierung zu wertvollen Helfern werden können.

Description / Table of Contents: In diesem Buch stellt Andreas Kühnel die .Net-basierte Programmierung mit Visual Basic 2005 in all ihren Facetten vor. Neben dem Framework und der Entwicklungsumgebung Visual Studio sowie der Sprachsyntax von Visual Basic geht er ausführlich auf die objektorientierte Programmierung ein, stellt häufig verwendete Programmtechniken vor und zeigt, wie man grafische Oberflächen entwickelt. Sein umfassendes Kompendium wird sowohl Umsteigern als auch Einsteigern gerecht.

Description / Table of Contents: "Beyond Wavelets" presents state-of-the-art theories, methods, algorithms, and applications of mathematical extensions for classical wavelet analysis. Wavelets, introduced 20 years ago by Morlet and Grossmann and developed very rapidly during the 1980's and 1990's, has created a common link between computational mathematics and other disciplines of science and engineering. Classical wavelets have provided effective and efficient mathematical tools for time-frequency analysis which enhances and replaces the Fourier approach. However, with the current advances in science and technology, there is an immediate need to extend wavelet mathematical tools as well. "Beyond Wavelets" presents a list of ideas and mathematical foundations for such extensions, including: continuous and digital ridgelets, brushlets, steerable wavelet packets, contourlets, eno-wavelets, spline-wavelet frames, and quasi-affine wavelets. Wavelet subband algorithms are extended to pyramidal directional and nonuniform filter banks. In addition, this volume includes a method for tomographic reconstruction using a mechanical image model and a statistical study for independent adaptive signal representation. Investigators already familiar with wavelet methods from areas such as engineering, statistics, and mathematics will benefit by owning this volume. *Curvelets, Contourlets, Ridgelets, *Digital Implementation of Ridgelet Packets *Steerable Wavelet Packets *Essentially Non-Oscillatory Wavelets *Medical Imaging *Non-Uniform Filter Banks *Spline-wavelet frames and *Vanishing Moment Recovery Functions

Description / Table of Contents: Accessible to all, this book teaches the essentials to anyone who wants to become an effective and independent Debian GNU/Linux administrator. It covers all the topics that a competent Linux administrator should master, from the installation and the update of the system, up to the creation of packages and the compilation of the kernel, but also monitoring, backup and migration, without forgetting advanced topics like SELinux setup to secure services, automated installations, or virtualization with Xen, KVM or LXC.

Description / Table of Contents: This book constitutes a collaborative and selected documentation of the scientific outcome of the European COST Action IS0605 Econ@Tel "A Telecommunications Economics COST Network" which run from October 2007 to October 2011. Involving experts from around 20 European countries, the goal of Econ@Tel was to develop a strategic research and training network among key people and organizations in order to enhance Europe's competence in the field of telecommunications economics.   Reflecting the organization of the COST Action IS0605 Econ@Tel in working groups the following four major research areas are addressed:   - evolution and regulation of communication ecosystems; - social and policy implications of communication technologies; - economics and governance of future networks; - future networks management architectures and mechanisms

Description / Table of Contents: Thinking of Business Processes Systematically --- From Language Acquisition to Subject-oriented Modeling --- The Integrated S-BPM Process Model --- Subject-oriented Process Analysis --- Modeling Processes in a Subject-Oriented Way --- Subject-Oriented Modeling by Construction and Restriction --- Subject-oriented Validation of Processes and Process Models --- Subject-oriented Optimization of Processes --- Organization-specific Implementation of Subject-oriented Processes --- IT-Implementation of Subject-Oriented Business Processes --- Subject-oriented Monitoring of Processes --- A Precise Description of the S-BPM Modeling Method --- Tools for S-BPM --- S-BPM Method by Comparison --- Conclusion --- A Subject-Oriented Interpreter Model for S-BPM

Description / Table of Contents: Introduction to the Internet of Things --- The Need for a Common Ground for the IoT — The History and Reasoning Behind the IoT — A Project --- The IoT Architectural Reference Model as Enabler --- IoT in Practice: Examples — IoT in Logistics and Health --- IoT — A Guidance to the ARM --- A Process to Generate Concrete Architectures --- IoT Reference Model --- IoT Reference Architecture --- The IoT ARM Reference Manual --- Interactions --- Toward a Concrete Architecture --- ARM Testimonials --- Summary and Outlook

Description / Table of Contents: Software Driven Networks, Virtualisation, Programmability and Autonomic Management --- Towards a Socially-Aware Management of New Overlay Application Traffic Combined with Energy Efficiency in the Internet (SmartenIT) --- The NEBULA Future Internet Architecture --- Open the Way to Future Networks – A Viewpoint Framework from ITU-T --- Towards a Minimal Core for Information-Centric Networking --- Managing QoS for Future Internet Applications over Virtual Sensor Networks --- High Availability in the Future Internet --- Integrating OpenFlow in IMS Networks and Enabling for Future Internet Research and Experimentation --- Computing and Networking Clouds Contrail: Distributed Application Deployment under SLA in Federated Heterogeneous Clouds --- Cloud–Based Evaluation Framework for Big Data --- Optimizing Service Ecosystems in the Cloud --- Resource Optimisation in IoT Cloud Systems by Using Matchmaking and Self-management Principles --- Towards a Secure Network Virtualization Architecture for the Future Internet --- Seeding the Cloud: An Innovative Approach to Grow Trust in Cloud Based Infrastructures --- Internet of Things --- IoT6 – Moving to an IPv6-Based Future IoT --- SmartSantander: Internet of Things Research and Innovation through Citizen Participation --- A Cognitive Management Framework for Empowering the Internet of Things --- Building Modular Middlewares for the Internet of Things with OSGi --- Towards an Architecture for Future Internet Applications --- ComVantage: Mobile Enterprise Collaboration Reference Framework and Enablers for Future Internet Information Interoperability --- Test-Enabled Architecture for IoT Service Creation and Provisioning --- Enabling Technologies and Economic Incentives Sustainable Wireless Broadband Access to the Future Internet --- The EARTH Project --- An Internet-Based Architecture Supporting Ubiquitous Application User Interfaces --- Cooperative Strategies for Power Saving in Multi-standard Wireless Devices --- Counting the Cost of FIRE: Overcoming Barriers to Sustainable Experimentation Facilities --- User Involvement in Future Internet Projects --- Design and Implementation of Cooperative Network Connectivity Proxy Using Universal Plug and Play --- Book Sponsoring Projects Overview 3DLife - Bringing the Media Internet to Life --- CONCORD Project Management of the Future Internet --- FLAMINGO NoE Project Management of the Future Internet --- The GEYSERS Concept and Major Outcomes --- iCore: A Cognitive Management Framework for the Internet of Things --- IoT6 Project in a Nutshell --- Mobile Cloud Networking: Mobile Network, Compute, and Storage as One Service On-Demand --- The SmartenIT STREP Project: Socially-Aware Management of New Overlay Application Traffic Combined with Energy Efficiency in the Internet --- The SmartSantander Project --- UniverSelf, Realizing Autonomics for Future Networks

Description / Table of Contents: Wenn Sie ein Buch suchen, dass Ihnen bei allen Fragen der C#-Entwicklung zuverlässig mit Rat und Tat zur Seite steht, dann ist unser bewährtes Kompendium genau das Richtige für Sie. Mittlerweile in der 6. Auflage dient es ambitionierten Ein- und Umsteigern durch seine strukturierte Vorgehensweise und die zahlreichen Anwendungsbeispiele als praxisorientierte Einführung; Fortgeschrittene und Profis unterstützt es als Nachschlagewerk optimal bei ihrer täglichen Arbeit. In den ersten Kapiteln werden zunächst die Grundlagen von C#, .NET und der objektorientierten Programmierung vermittelt. Es folgen Kapitel zur effizienten Entwicklung mit Visual Studio 2012, zur Fehlerbehandlung sowie zu fortgeschrittenen C#-Themen wie LINQ, Multithreading, Serialisierung u. v. m. Den größten Themenblock bildet die Entwicklung von grafischen Benutzeroberflächen. Neben einer fundierten Einführung in die WPF und XAML erfahren Sie hier alles Notwendige, um auch komplexe Anwendungen zu gestalten. Anschließend wird die Datenbankprogrammierung mit ADO.NET ausführlich behandelt und zu guter Letzt die Weitergabe von .NET-Anwendungen thematisiert. So sind Sie für Ihren Arbeitsalltag bestens gerüstet!

Description / Table of Contents: Land degradation which is caused by multiple forces-extreme weather conditions and anthropogenic activities that pollute or degrade the quality of soils and land utility-negatively affects food production, livelihoods, and the provision of other ecosystem goods and services. Land degradation can also lead to climate change and affect human health. The problem is more pronounced in least developing countries due to overdependence of natural resources for survival. Sustainable ways to reduce land degradation and desertification demand research and advocacy of sustainable land management practices. This book is organized into two sections. The first section covers three major aspects, viz., an understanding of patterns of land degradation and desertification for developing mitigation strategies, land-atmosphere interaction from response of land cover to climate change effects of Karst rocky desertification, and the effect of unprecedented human activity into land degradation and desertification processes using natural and human-induced landscape research. The last section dwells on the relationship between soil degradation and crop production and an examination on how land degradation impacts the quality of soil in communal rangelands. Environmentalists, land-use planners, ecologists, pedologists, researchers, and graduate students will find this book to be an essential resource.

Description / Table of Contents: Das lösungsorientierte und praktische Handbuch zum Windows Server 2008 R2 mit zahlreichen fundierten Hintergrundinformationen! Der Autor Ulrich B. Boddenberg greift bei der Beschreibung des Servers auf seine praktischen Erfahrungen in zahlreichen Projekten bei mittleren und großen Kunden zurück. Denn ein modernes Betriebssystem wie Windows Server 2008 R2 bietet weit mehr als nur die Möglichkeit, Programme auszuführen. Er beschreibt alle zentralen Technologien, wie die Virtualisierung mit Hyper-V, Active Directory, Terminaldienste und den Webserver IIS. Neben diesen konkreten Technologien geht es auch um Grundlagen wie Netzwerkprotokolle, Kerberos-Authentifizierung oder die eingesetzte Hardware. Zentrale Aspekte wie Performance, Verfügbarkeit und Sicherheit ziehen sich durch das gesamte Buch.

Description / Table of Contents: Unser Handbuch ist die erste Wahl, wenn es um aktuelles und praktisches Java-Wissen geht. Java-Einsteiger, Studenten und Umsteiger profitieren seit mehr als einem Jahrzehnt von diesem Lehrwerk. Neben der Behandlung der Sprachgrundlagen von Java (Neu in Java 8: Lambda-Ausdrücke) gibt es kompakte Einführungen in Spezialthemen. So erfahren Sie einiges über Threads, Swing, Netzwerkprogrammierung, NetBeans, RMI, XML und Java, Servlets und Java Server Pages. Dieses Buch gehört in das Regal eines jeden Java-Programmierers.

Description / Table of Contents: Das erste deutsche Rails-Handbuch für Entwickler zur aktuellen Version 2! Hier werden die zahlreichen und komplexen Möglichkeiten des Frameworks ausführlich und verständlich gezeigt. Lesen Sie, wie Sie Rails installieren, wie Sie Ihre ersten Anwendungen erstellen und lernen Sie schließlich alle Module des Frameworks kennen. Das Buch bleibt stets praxisbezogen, da Rails anhand mehrerer »Realworld«-Beispiele erläutert wird. Alle Applikationen sind dabei systematisch aufgebaut, von einfachen bis hin zu komplexen Anwendungen. Für alle, die zum ersten Mal mit Ruby arbeiten, enthält das Buch außerdem eine umfassende Einführung in die Programmiersprache.

Description / Table of Contents: Dieses Buch bietet Ihnen umfassendes Excel-Wissen für den beruflichen Alltag. Es ist gleichermaßen Schritt-für-Schritt-Anleitung und Nachschlagewerk sowie eine Fundgrube praktischer Tipps. Lösungsorientiert lernen Sie »on the job« die wichtigsten Funktionen des Programms.

Description / Table of Contents: Dieses Buch bietet sowohl eine umfassende Einführung in die Sprache Python als auch viele weiterführende Kapitel zu fortgeschrittenen Themen wie GUI-Entwicklung, Web-Programmierung mit Django oder Netzwerkkommunikation. Nach der Lektüre sind Sie in der Lage, Python professionell einzusetzen. Die Einführung erfolgt systematisch vom ersten einfachen Programm bis hin zu komplexen objektorientierten Programmen. Das Buch ist konsequent praxisorientiert und zum Lernen und Nachschlagen hervorragend geeignet.

Description / Table of Contents: Kaum eine Software, die nicht mehr objektorientiert entworfen und entwickelt wird! Die beiden Autoren geben eine umfassende Einführung in die Prinzipien und die Anwendung der Objektorientierung. Das Buch ist aufgabenorientiert, bietet Beispiele in den Sprachen C++, Java, Ruby, und C# sowie ein Kapitel zur aspektorientierten Programmierung.

Description / Table of Contents: Ein Integrationshandbuch im besten Sinne: Das Wissen um das Zusammenspiel von Microsoft Windows Server 2003, ADS, Windows XP Professional, Office XP/2003 oder Exchange Server ist sehr komplex. Administratoren, die nach einer Gesamtlösung suchen, stellen fest, dass es immens viele Informationen, Fehlerbeschreibungen, Service Packs, Patches und Hotfixes zu den Einzelprodukten gibt, aber keinen Lösungsansatz, der dieses Wissen bündelt und in Beziehung setzt. Anders dieses Buch: Schritt für Schritt wird ein Gesamtsystem implementiert, das nicht nur über einen kurzen Zeitraum läuft, sondern wartbar bleibt und später auf neue Versionen upgedated werden kann. Die 3. Auflage des Standardwerkes wurde aktualisiert und erweitert um Ausführungen zu Small Business Server, Windows Server 2003 R2, Windows Terminalserver, Access-based Enumeration und Best Practices zum Drucken im Netzwerk.

Description / Table of Contents: Dieses Buch bietet einen umfassenden Einblick in die Systemprogrammierung unter Linux und Unix. Es ist für Leser mit Betriebssystem-Kenntnissen und C-Wissen geeignet. Aus dem Inhalt: Umfassende Einführung, E/A-Funktionen, Attribute von Dateien und Verzeichnissen, Zugriff auf Systeminformationen, Prozesse und Dämonprozesse, Umgebungsvariablen eines Prozesses, Signale, Interprozesskommunikation, Threads, Netzwerkprogrammierung, MySQL, Terminal E/A und Benutzerschnittstellen für die Konsole, Sicherheit, XWindow-Programmierung, Windowmanager, Systeminformationen, Devices, GTK+. Neu in dieser 2., erweiterten Auflage: ein Kapitel zu System- und Benutzerdateien, ein stark erweitertes Thread-Kapitel und Ausführungen zu Dämonen, Zombies und Prozessen und zu Unix-Domain-Sockets.

Description / Table of Contents: Die Fortsetzung des Java-Kultbuchs für Entwickler! Hier bekommen Sie umfassendes und kompetentes Praxiswissen zu den vielen Bibliotheken und Technologien in einem Band. Am Beispiel konkreter Java-Projekte zeigt Christian Ullenboom, was man wissen muss über Swing, Netzwerk- und Grafikprogrammierung, RMI und Web-Services, JavaServer Pages und Servlets, Applets, JDBC, Reflection und Annotationen, Logging und Monitoring, Java Native Interface (JNI) und vieles mehr. Dieses Buch ist Ihr unersetzlicher Begleiter bei der täglichen Arbeit!

Description / Table of Contents: Vorwort Dieses Buch wurde für den Einsteiger geschrieben. Leicht verständlich sollte es sein. Da ich mich oft darüber ärgerte, dass ich von Einsteigerbüchern immer so bald im Regen stehen gelassen wurde, sollte dieses Buch so lange wie möglich nützlich sein. Also sollten zu möglichst vielen Stichworten, die einem Anfänger begegnen können, ein paar erklärende Worte fallen. Na ja, dann kann man ja gerade noch ein paar Worte dazu sagen, wie man das installiert und konfiguriert. Was sollte in das Buch hinein? Klar, die grundlegenden Befehle zum Umgang mit Dateien und Verzeichnissen sind wichtig. Die Editoren vi und emacs und die Shell sind die Standardwerkzeuge eines jeden UNIX-Anwenders und müssen natürlich erläutert werden. Neben diesen klassischen Themen will man aber auch mit einem CD-Brenner arbeiten. Auch die Administration darf nicht fehlen. Immerhin gibt es immer mehr Einzelplatzbenutzer, insbesondere im Bereich Linux und MacOS X, die letztlich ihr System auch selbst administrieren müssen. Wer es im professionellen Umfeld mit UNIX zu tun bekommt, wird schnell in das Umfeld der Administration geraten. Und dann wird man über kurz oder lang auch mal ein paar kleine Skripten zaubern müssen. Wenn man dann als Administrator Perl kennt, ist das nicht verkehrt. Auf der anderen Seite kann man in der heutigen Zeit das Thema grafische Oberflächen nicht mehr weglassen. Und dass eine Maschine ohne Netzwerk betrieben wird, ist im Internet-Zeitalter einfach unglaubwürdig. So kam dann eins zum anderen. Inzwischen ist dieses Buch fast schon eine UNIX-Enzyklopädie, aber immer noch soll es für den Anfänger leicht verständlich sein. Denn Verständlichkeit schätzt nicht nur der Anfänger, sondern auch der Profi, wenn ihm mal ein neues Thema begegnet...

Description / Table of Contents: Noch nie war es einfacher, Menschen und ihr Wissen in Form von Texten, Bildern oder Tönen zusammenzubringen und zu vernetzen. Freie Netze sind der Versuch, dieses Potential von Internet und PC auszuschöpfen und möglichst alle Menschen daran teilhaben zu lassen. FREIES WISSEN. Der Zugang zu digitalen Netzen bedeutet noch nicht den Zugang zu Inhalten. Ein freier Zugang zu Wissen ist aber die Basis für Innovation und Emanzipation. Den neuen Möglichkeiten für freien Zugang zu Wissen stehen neue und alte, soziale und rechtliche Barrieren gegenüber. Von siebzehn Autorinnen und Autoren werden die verschiedenen Anwendungsbereiche von Freien Netzen und Freiem Wissen dargestellt. In jedem der neun Kapitel kommen in Interviews Menschen wie Lawrence Lessig oder Richard Stallman zu Wort, die mit dem Thema als ExpertInnen, PionierInnen oder unmittelbar Betroffene zu tun hatten oder haben. Am Ende jedes Kapitels finden sich konkrete Projektvorschläge zur Umsetzung auf lokaler Ebene als Beitrag für das Linzer Kulturhauptstadtjahr 2009.

Description / Table of Contents: Dieses Standardwerk hat sich seit vielen Jahren in Ausbildung und Studium bewährt. Gut strukturiert und in gut lesbaren Lerneinheiten vermittelt es Ihnen einen Überblick über das Gesamtgebiet der Fachinformatik, wie es die Prüfungsordnung der IHK für eine zwei- oder dreijährige Berufsausbildung vorschreibt. Sascha Kersken bietet Ihnen einen leichten Zugang zu allen Themen und Grundlagen der modernen Informationstechnik, wie sie Fachinformatiker in Ihrer Ausbildung benötigen: Aufbau der Computerhardware, Betriebssysteme, Netzwerktechnik, -protokolle und -anwendungen sowie Grundlagen der Programmierung werden ebenso wie das Thema Datenbanken und Multimedia berücksichtigt. Die neue Auflage wurde um viele aktuelle Themen und Trends erweitert. HTML5, CSS3, jQuery, Cloud Computing oder Scrum wurden dabei ebenso behandelt wie die aktuellen Versionen der Betriebssysteme Windows, Mac OS X und Linux.

Description / Table of Contents: Irrespective of whether we use economic or societal metrics, the Internet is one of the most important technical infrastructures in existence today. It will be a catalyst for much of our innovation and prosperity in the future. A competitive Europe will require Internet connectivity and services beyond the capabilities offered by current technologies. Future Internet research is therefore a must.  This book is published in full compliance with the Open Access publishing initiative; it is based on the research carried out within the Future Internet Assembly (FIA). It contains a sample of representative results from the recent FIA meetings spanning a broad range of topics, all being of crucial importance for the future Internet.  The book includes 32 contributions and has been structured into the following sections, each of which is preceded by a short introduction: Foundations: architectural issues; socio-economic issues; security and trust; and experiments and experimental design. Future Internet Areas: networks, services, and content; and applications

Description / Table of Contents: Modern knowledge discovery methods enable users to discover complex patterns of various types in large information repositories. However, the underlying assumption has always been that the data to which the methods are applied originates from one domain.   The focus of this book, and the BISON project from which the contributions originate, is a network-based integration of various types of data repositories and the development of new ways to analyse and explore the resulting gigantic information networks. Instead of seeking well-defined global or local patterns, the aim was to find domain-bridging associations. These are particularly interesting if they are sparse and have not been encountered before.   The 32 contributions presented in this state-of-the-art survey, together with a detailed introduction to the book, are organized in topical sections on bisociation; representation and network creation; network analysis; exploration; and applications and evaluation.  

Description / Table of Contents: The InfoSec Handbook offers the reader an organized layout of information that is easily read and understood. Allowing beginners to enter the field and understand the key concepts and ideas, while still keeping the experienced readers updated on topics and concepts. It is intended mainly for beginners to the field of information security, written in a way that makes it easy for them to understand the detailed content of the book. The book offers a practical and simple view of the security practices while still offering somewhat technical and detailed information relating to security. It helps the reader build a strong foundation of information, allowing them to move forward from the book with a larger knowledge base. Security is a constantly growing concern that everyone must deal with. Whether it’s an average computer user or a highly skilled computer user, they are always confronted with different security risks. These risks range in danger and should always be dealt with accordingly. Unfortunately, not everyone is aware of the dangers or how to prevent them and this is where most of the issues arise in information technology (IT). When computer users do not take security into account many issues can arise from that like system compromises or loss of data and information. This is an obvious issue that is present with all computer users. This book is intended to educate the average and experienced user of what kinds of different security practices and standards exist. It will also cover how to manage security software and updates in order to be as protected as possible from all of the threats that they face

Description / Table of Contents: This edited book, Toxicity and Hazard of Agrochemicals, is intended to provide an overview of toxicology that examines the hazardous effects of common agrochemicals employed every day in our agricultural practices. Furthermore, it is hoped that the information in the present book will be of value to those directly engaged in the handling and use of agrochemicals and that this book will continue to meet the expectations and needs of all interested in the different aspects of human and environmental risk toxicities.

Description / Table of Contents: Joomla! ist ein populäres Open-Source-CMS, das durch seine leichte Zugänglichkeit, Leistungsfähigkeit und Flexibilität besticht. Es basiert auf PHP und MySQL und kann daher auf verschiedensten Serverumgebungen eingesetzt werden. Der Versionssprung von 1.0 auf 1.5 macht es deutlich: umfangreiche Änderungen, wie z. B. die grundlegende Überarbeitung des Joomla!-Frameworks, Datenbankabstraktion und verbesserte Caching-Verfahren machen Joomla! 1.5 noch funktionsreicher, performanter und sicherer. Das Buch bietet eine umfassende Einführung in Installation, Funktionsumfang und Betrieb von Joomla! 1.5. Darüber hinaus werden auch professionelle Themen wie Websitemigration, Entwicklung von Erweiterungen und Datensicherung detailliert dargestellt.

Description / Table of Contents: Wer Anwendungen mit Visual Basic 2008 programmieren will, findet in diesem Buch alles, was er dafür braucht. Neben dem Framework und der Entwicklungsumgebung Visual Studio sowie der Sprachsyntax von Visual Basic wird ausführlich auf die objektorientierte Programmierung eingegangen. Häufig verwendete Programmiertechniken werden ebenso gezeigt wie die Entwicklung grafischer Oberflächen mit WinForms und WPF sowie die Datenbankanbindung mit ADO.Net. Das Buch enthält alle Neuerungen des Visual Studio 2008. So werden die Themen LINQ (Language Integrated Query, ganz neu in .NET 3.5) oder etwa XAML (eXtensible Application Markup Language) sehr ausführlich in eigenen neuen Kapiteln behandelt.

Description / Table of Contents: Aktuell zum neuen Visual Studio 2008 erscheint diese Einführung in die Programmierung mit Visual Basic 2008. Hier finden Sie alles, was Sie zum Programmieren mit VB wissen müssen, angefangen bei den Grundlagen zu Variablen, Operatoren, Schleifen und Co. über Fehlerbehandlung, objektorientierte Programmierung bis hin zu Datenbank-Anwendungen mit ADO.NET und Internet-Anwendungen mit ASP.NET. Auch Einsteiger ohne Vorkenntnisse werden sich schnell zurechtfinden. Schritt-für-Schritt-Anleitungen, Übungsaufgaben mit kommentierten Lösungen und regelmäßige Zusammenfassungen erleichtern das Lernen und garantieren einen schnellen Erfolg. Ein umfangreiches Kapitel widmet sich detailliert den Neuerungen in Visual Basic 2008 im Vergleich zur Vorgängerversion.

Description / Table of Contents: Dieses Buch bietet Ihnen einen gründlichen und umfassenden Einstieg in die C#-Programmierung. Der erste Teil enthält eine Einführung in .NET, Visual Studio 2008, C# und die objektorientierte Programmierung. Hier werden besonders Einsteiger angesprochen, die noch nicht objektorientiert unter .NET programmiert haben. Im zweiten Teil werden elementare Klassen und Programmiertechniken vorgestellt. Daran schließt sich die Windows-Programmierung an. Großen Raum nimmt die Entwicklung von grafischen Benutzerschnittstellen mit der neuen Windows Presentation Foundation, kurz WPF, ein. Auch ADO.NET und LINQ sind wichtige Themen des Buches.

Description / Table of Contents: Dies ist die 7. Auflage des Standardwerkes zu JavaScript. Sie wurde vollständig überarbeitet und aktualisiert. Der erste Teil vermittelt eine umfangreiche Einführung in JavaScript mit unverbrauchten, originellen Beispielen. Im zweiten Teil kommen die JavaScript-Kenner voll auf ihre Kosten: Ein eigenes umfangreiches AJAX-Kapitel wurde ergänzt, weitere Themen sind Browserkompatibilität, Formulare, DHTML, Kommunikation mit Java-Applets – kurz: Die ganze Palette des praktischen Einsatzes der Sprache. Im letzten Teil des Buches befindet sich eine ausführliche Referenz zum Nachschlagen.

Description / Table of Contents: Sie kennen sich mit Photoshop gut aus, suchen aber noch Tipps und Tricks für einen produktiveren Einsatz? Dieses Buch bietet reines Profiwissen! Im Fokus stehen hier Techniken für Fortgeschrittene, Hilfestellungen für einen effektiven Workflow und Tipps zur Automatisierung und Optimierung. So finden Sie Profiwissen z.B. zu den Themen Auswahlen, Effekte, Dritthersteller-Tools, Druckausgabe, Farbmanagement, Workflow, Bridge, Skripte, CameraRAW, Probleme mit Digitalfotos und vieles mehr. Grundlagenwissen wird hier nicht mehr erläutert! Ein Buch, das zum Schmökern einlädt und viele erhellende Zusammenhänge aufzeigt, Ihnen aber besonders hilft, Zeit zu sparen!

Description / Table of Contents: Linux-Nutzer, die bei Einrichtung und Verwaltung ihres Systems großen Wert auf Unabhängigkeit legen, greifen zu Gentoo Linux. Herz einer jeden Gentoo-Installation ist Portage, ein fortschrittliches, den FreeBSD-Ports ähnliches Paketmanagementsystem. Anders als die Paketmanager anderer Distributionen setzt Portage nicht auf vorkompilierte Binärpakete, sondern arbeitet auf Quellcodebasis. Portage sowie die Vor- und Nachteile quellbasierten Paketmanagements allgemein bilden Kernthemen dieses Buches. Der Autor führt praxisnah durch Installation und Administration und beschreibt Besonderheiten insbesondere für jene, die bereits Erfahrung mit anderen Linux-Distributionen gesammelt haben, so dass auch versierte Anwender Neues über die Konzepte von Linux bzw. das Zusammenspiel seiner Komponenten erfahren. Als Beispielszenario dient das Einrichten eines Webservers. Das Buch zeigt darüber hinaus, wie man die Distribution selbst erweitert und den eigenen Rechner in ein maßgeschneidertes Linux-System verwandelt gemäß dem Motto des Projekts: "Gentoo is all about choices".