Search Results - (( Defined (contribution OR contributions) pension plant ) OR ((( Defined distribution ((operation plan) OR (((operating plan) OR (operating a)))) ) OR ( Defined distribution regulation plots ))))

Inductive logic programming : 16th international conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006 : revised selected papers by ILP (Conference) Santiago de Compostela, Spain), SpringerLink (Online service)

SpringerLink - Click here for access

Small satellite missions for Earth observation : new developments and trends by International Academy of Astronautics. International Symposium, SpringerLink (Online service)

Contents: “…S (Vegetation and Environment Monitoring on a New Micro Satellite) -- The "Ulingo" Mid-Low Latitudes Observation (MILO) Mission -- The Italian Precursor of an Operational Hyperspectral Imaging Mission -- Earth Environment Missions -- Space System "Radiomet" for GLONASS/GPS Navigation Signal Radio Occultation Monitoring of Lower Atmosphere and Ionosphere Based on Super-Small Satellites -- The Study of Electromagnetic Parameters of Space Weather, Micro-Satellite "Chibis-M" -- SEPSAT -- A Nanosatellite to Observe Parameters of Space Weather -- Small Satellite Constellations for Measurements of the Near-Earth Space Environment -- Distributed Space Systems -- Satellite Formation for a Next Generation Gravimetry Mission -- EO Small Satellite Missions and Formation Flying -- Relative Trajectory Design for Bistatic SAR Missions -- Conceptual Design of the FAST-D Formation Flying Spacecraft -- Earth Observation Using Japanese/Canadian Formation Flying Nanosatellites -- A Bi/Multi-Static Microsatellite SAR Constellation -- Mission Design of the Dutch-Chinese FAST Micro-Satellite Mission -- University Satellites -- SPRITE-SAT: A University Small Satellite for Observation of High-Altitude Luminous Events -- SwissCube: The First Entirely-Built Swiss Student Satellite with an Earth Observation Payload -- German Russian Education Satellite -- Mission Outline and Objectives -- University Microsatellites Equipped with an Optical System for Space Debris Monitoring -- A First-MOVE in Satellite Development at the TU-München -- Design of a Small Educational Satellite for the Italian High School Students: The EduSAT Project -- Testing of Critical Pico-Satellite Systems on the Sounding Rocket Rexus-4 -- Laboratory Facility for Simulation and Verification of Formation Motion Control Algorithms -- Asynchronous Parallel Reactive System for Intelligent Small Satellite on-Board Computing Systems -- NanoSiGN -- Nanosatellite for scientific interpretation of GNSS dual-frequency signals in the low Earth orbit -- Instruments and Technologies -- The Vegetation Instrument for the PROBA-V Mission -- Software Defined LFM CW SAR Receiver for Microsatellites -- PhytoMapper -- Compact Hyperspectral Wide Field of View Instrument -- Development of Spaceborne Small Hyperspectral sensor HSC-III for Micro Satellite -- Towards a Miniaturized Photon Counting Laser Altimeter and Stereoscopic Camera Instrument Suite for Microsatellites -- A Plan of Spaceborne ISAR Satellite Imaging System Aiming at Space Objects -- Increasing the Data Volume Returned from Small Satellites -- Integrated Design Based Plug-and-Play Small SAR Satellite Project -- Attitude Control Systems -- Star Sensor Development Based on the TUBSAT Experience -- Small Sensors Big Choices -- Robust and Fault Tolerant AOCS of the TET Satellite -- Implementation of the T3?…”
SpringerLink - Click here for access

The coder's path to wealth and independence by Beckner, Mark

SpringerLink - Click here for access

Management of uncertainty : theory and application in the design of systems and organizations by Grote, Gudela

SpringerLink - Click here for access

Pro Python Second edition. by Browning, J. Burton, Alchin, Marty

Contents: “…Using __all __ to Customize Imports -- Relative Imports -- The __import__() function -- The importlib module -- Taking It With You -- Chapter 3: Functions -- Arguments -- Planning for Flexibility -- Variable Positional Arguments -- Variable Keyword Arguments -- Combining Different Kinds of Arguments -- Invoking Functions with Variable Arguments -- Preloading Arguments -- Introspection -- Example: Identifying Argument Values -- Example: A More Concise Version -- Example: Validating Arguments -- Decorators -- Closures -- Wrappers -- Decorators with Arguments -- Decorators with-or without-Arguments -- Example: Memoization -- Example: A Decorator to Create Decorators -- Function Annotations -- Example: Type Safety -- Factoring Out the Boilerplate -- Example: Type Coercion -- Annotating with Decorators -- Example: Type Safety as a Decorator -- Generators -- Lambdas -- Introspection -- Identifying Object Types -- Modules and Packages -- Docstrings -- Taking It with You -- Chapter 4: Classes -- Inheritance -- Multiple Inheritance -- Method Resolution Order -- Example: C3 Algorithm -- Using super() to Pass Control to Other Classes -- Introspection -- How Classes Are Created -- Creating Classes at Runtime -- Metaclasses -- Example: Plugin Framework -- Controlling the Namespace -- Attributes -- Properties -- Descriptors -- Methods -- Unbound Methods -- Bound Methods -- Class Methods -- Static Methods -- Assigning Functions to Classes and Instances -- Magic Methods -- Creating Instances -- Example: Automatic Subclasses -- Dealing with Attributes -- String Representations -- Taking It With You -- Chapter 5: Common Protocols -- Basic Operations -- Mathematical Operations -- Bitwise Operations -- Variations -- Numbers -- Sign Operations -- Comparison Operations -- Iterables -- Example: Repeatable Generators -- Sequences -- Mappings -- Callables.…”
SpringerLink - Click here for access

Aquatic chemistry : chemical equilibria and rates in natural waters 3rd ed. by Stumm, Werner, 1924-

Contents: “…-- Can pE be defined for a nonequilibrium system? -- Kinetics of redox processes: case studies -- Oxidants used in water and waste technology: a few case studies -- Linear free energy relation (LFERs) -- The Marcus theory of outer-sphere electron transfer: an introduction -- Nucleophile-electrophile interactions and redox reactions involving organic substances -- Corrosion of metals as a electrochemical process -- PHOTOCHEMICAL PROCESSES: Absorption of light -- Photoreactants -- Photoredox reactions: photolysis of transition metal complexes -- Photochemical reactions in atmospheric waters: role of dissolved iron species -- Heterogeneous photochemistry -- Semiconducting minerals -- KINETICS AT THE SOLID-WATER INTERFACE: ADSORPTION, DISSOLUTION OF MINERALS, NUCLEATION, AND CRYSTAL GROWTH: Kinetics of adsorption -- Surface-controlled dissolution of oxide minerals: an introduction to weathering -- Simple rate laws in dissolution -- Rates of CaCO3 dissolution (and of CaCO3 crystal growth) -- Inhibition of dissolution -- Nucleation and crystal growth -- PARTICLE-PARTICLE INTERACTION: COLLOIDS, COAGULATION, AND FILTRATION: Colloids -- Particle size distribution -- Surface charge of colloids -- Colloid stability: qualitative considerations -- Effects of surface speciation on colloid stability -- Some water-technological considerations in coagulation, filtration, and flotation -- Filtration compared with coagulation -- Transport in aggregation and deposition -- REGULATION OF THE CHEMICAL COMPOSITION OF NATURAL WATERS: Weathering and the proton balance -- Isothermal evaporation -- Buffering -- Interactions between organisms and abiotic environment: Redfield stoichiometry -- The oceans: relative constancy of the composition and chemical equilibria -- Constancy of composition: steady state -- Hydrothermal vents -- The sediment-water interface -- Biological regulation of the composition -- Global cycling: the interdependence of biogeochemical cycles -- The carbon cycle -- Nitrogen cycles: pollution by nitrogen compounds -- The sulfur cycle.…”

Logic, rationality, and interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings by LORI (Workshop) Chongqing, China), SpringerLink (Online service)

Contents: “…3 Step 1: Arguments Based on Two Monotonic Logics4 Step 2: Preferences Among Arguments; 5 Step 3: Designing Non-monotonic Logics; 6 Related Work; 7 Summary and Concluding Remarks; References; A Discrete Representation of Lattice Frames; 1 Introduction; 2 Notation and First Definitions; 3 Urquhart's Lattice Representation; 4 Modal Definability of Doubly Ordered Frames; 5 Representability of Lattice Frames; 6 Summary and Outlook; References; Group Announcement Logic with Distributed Knowledge; 1 Introduction; 2 Background; 2.1 Languages; 2.2 Models and Bisimulation; 2.3 Semantics of GALD.…”
SpringerLink - Click here for access

Advances in dependability engineering of complex systems : proceedings of the twelfth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, July 2-6, 2017,... by International Conference on Dependability of Computer Systems Brunów, Poland, SpringerLink (Online service)

SpringerLink - Click here for access

Ada 2012 reference manual : language and standard libraries : International Standard ISO/IEC 8652/2012 (E) by SpringerLink (Online service)

SpringerLink - Click here for access

Serious games and edutainment applications by SpringerLink (Online service)

Contents: “…Part I -- Introduction -- Innovations in Serious Games for Future Learning -- Serious Games: A New Paradigm for Education? -- Origins of Serious Games -- Serious Learning in Serious Games -- Part II -- Theories and Reviews -- Social Flow and Learning in Digital Games: A Conceptual Model and Research Agenda -- A Formalism to Define, Assess and Evaluate Player Behaviour in Mobile Device Based Serious Games -- Serious Games for Health and Safety Training -- Augmenting Initiative Game Worlds with Mobile Digital Devices -- Part III -- Custom-Made Games and Case Studies -- Enhancing Learning in Distributed Virtual Worlds through Touch: A Browser-based Architecture for Haptic Interaction -- Operation ARIES!…”
SpringerLink - Click here for access

Pro HTML5 with Visual Studio 2015 by Collins, Mark J. (Mark Jeffery)

SpringerLink - Click here for access

Scattering theory for transport phenomena by Emamirad, Hassan

SpringerLink - Click here for access

Computer Science - CACIC 2017 : 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised selected papers by Congreso Argentino de Ciencias de la Computación La Plata, Argentina

Contents: “…Description of a Mirroring Strategy and its Results -- Virtualization in Education: Portable Network Laboratory -- Graphic Computation, Images and Visualization -- A shadow removal approach for a background subtraction algorithm -- A Tutorial on the Implementations of Linear Image Filters in CPU and GPU -- Natural User Interfaces: A Physical Activity Trainer -- Software Engineering -- Proposal for the Formation of Experimental Pair Programmers -- Reusing a Geographic Software Product Line Platform: A Case Study in the Paleontological Sub-Domain -- Performance evaluation of a 3D engine for mobile devices -- Assistant for the Evaluation of Software Product Quality Characteristics Proposed by ISO/IEC 25010 Based on GQM-Defined Metrics -- Databases and Data Mining -- Recommender System Based on Latent Topics -- Automatic Characteristics Extraction for Sentiment Analysis Tasks -- Hardware Architectures, Networks and Operating Systems -- Modular Petri Net Processor for Embedded Systems -- A Novel Performance Metric for Virtual Network Embedding Combining Aspects of Blocking Probability and Embedding Cost -- An Anomaly Detection Model in a LAN using K-NN and High Performance Computing Techniques -- Innovation in Software Systems -- Generation and Use of a Digest System by Integrating OCR and Smart Searches -- Signal Processing and Real-Time Systems -- Excluding Ionospherically Unsafe Satellite Geometries in GBAS CAT-I -- CAN Bus Experiments of Real-Time Communications -- Computer Security -- Analysis of Methodologies of Digital Data Collection in Web Servers -- Observer effect: How Intercepting HTTPS traffic forces malware to change their behavior -- Innovation in Computer Science Education -- ECMRE: Extended Concurrent Multi Robot Environment -- Inverting the class or investing in the class? …”
SpringerLink - Click here for access

CMMI for development : implementation guide by Chaudhary, Mukund, Chopra, Abhishek

SpringerLink - Click here for access

Pro Android 3 by Komatineni, Satya

SpringerLink - Click here for access

Wireless and satellite systems : 11th EAI international conference, WiSATS 2020, Nanjing, China, September 17-18, 2020 : proceedings. Part I by WiSATS (Conference) Online), SpringerLink (Online service)

SpringerLink - Click here for access

Evidence brief. Use of patient reported outcome measures for measurement based care in mental health shared decision-making by Peterson, Kim, Anderson, Johanna, Bourne, Donald

Get full text

Experimental methods and instrumentation for chemical engineers 1st ed. by Patience, Gregory S.

Elsevier - Click here for access

GreenEdge : new perspectives to energy management and supply in mobile edge computing : the first book on green edge computing by Tang, Guoming, Guo, Deke, Wu, Kui

SpringerLink - Click here for access

Life, Death, and Mistakes by Films for the Humanities & Sciences (Firm), Infobase

Films on Demand - Click here for access