ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Books  (54)
  • Cham : Springer  (43)
  • Berlin ; Heidelberg : Springer  (5)
  • Tokyo : TERRAPUB  (5)
  • Berlin : De Gruyter  (1)
  • English  (54)
  • Portuguese
  • Computer Science  (50)
  • Electrical Engineering, Measurement and Control Technology  (4)
Collection
  • Books  (54)
Source
Keywords
Publisher
Language
  • English  (54)
  • Portuguese
Years
Topic
  • 1
    Unknown
    Advanced methods for space simulations (2007)
    Tokyo : TERRAPUB
    Details
    Keywords: space simulations ; simulation techniques ; simulation software
    Description / Table of Contents: Simulation Techniques --- One-dimensional Electromagnetic Particle Code: KEMPO1 A Tutorial on Microphysics in Space Plasmas / Y. Omura / pp. 1-21 --- Vlasov-code simulation / J. Büuchner / pp. 23-46 --- δf Particle-in-Cell Plasma Simulation Model: Properties and Applications / R. D. Sydora / pp. 47-60 --- Automatic Adaptive Multi-Dimensional Particle In Cell / G. Lapenta / pp. 61-76 --- Generalized Curvilinear Coordinates in Hybrid and Electromagnetic Codes / D. W. Swift / pp. 77-89 --- A New Methodology for Multi-Scale Simulation of Plasmas / H. Karimabadi, Y. Omelchenko, J. Driscoll, R. Fujimoto, and K. Perumalla / pp. 91-99 --- Numerical methods used in the Lyon-Fedder-Mobarry Global code to model the magnetosphere / J. G. Lyon / pp. 101-109 --- Unstructured Meshes and Finite Elements in Space Plasma Modelling: Principles and Applications / R. Marchand, J. Y. Lu, K. Kabin, and R. Rankin / pp. 111-143 --- Visualization of Tangled Vector Field Topology and Global Bifurcation of Magnetospheric Dynamics / D. Cai, K. Nishikawa, and B. Lembege / pp. 145-166 --- Introduction to Virtual Reality Visualization by the CAVE system / N. Ohno and A. Kageyama / pp. 167-207 --- Simulation Software --- KEMPO1 Kyoto university ElectroMagnetic Particle cOde: 1d version / Y. Omura / pp. 209-235 --- The Elements for Setting up a Hybrid or Electromagnetic Code in Curvilinear Coordinates / D. W. Swift / pp. 237-282
    Pages: Online-Ressource (VII, 282 Seiten)
    ISBN: 9784887041387
    URL: http://www.terrapub.co.jp/e-library/amss/
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 2
    Unknown
    Computer simulation of space plasmas (1985)
    Tokyo : TERRAPUB
    Details
    Keywords: space plasmas ; computer simulations ; particle simulations ; MHD simulations
    Description / Table of Contents: PART I PARTICLE SIMULATIONS --- INTRODUCTION TO PARTICLE SIMULATION MODELS AND OTHER APPLICATION TO ELECTROSTATIC PLASMA WAVES / Hideo Okuda / pp. 3-41 --- PARTICLE SIMULATION OF ELECTROMAGNETIC WAVES AND ITS APPLICATION TO SPACE PLASMAS / Hiroshi Matsumoto and Yoshiharu Omura / pp. 43-102 --- RELATIVISTIC CODE APPLIED TO RADIATION GENERATION / A. T. Lin / pp. 103-116 --- MODERN DEVELOPMENT IN PARTICLE SIMULATION / J. C. Adam / pp. 117-130 --- PART II MHD SIMULATIONS --- PRINCIPLES OF MAGNETOHYDRODYNAMIC SIMULATION IN SPACE PLASMAS / Tetsuya Sato / pp. 133-153 --- MHD MODELLING OF THE EARTH'S MAGNETOSPHERE / C. C. Wu / pp. 155-177 --- NUMERICALLY-SIMULATED FORMATION AND PROPAGATION OF INTERPLANETARY SHOCKS / S. T. Wu / pp. 179-201 --- ANOMALOUS TRANSPORT BY KELVIN-HELMHOLTZ INSTABILITIES / Akira Miura / pp. 203-224 --- PART III OTHER-METHOD SIMULATIONS --- PARTICLE BEHAVIOR IN THE MAGNETOSPHERE / R. A. Wolf and R. W. Spiro / pp. 227-254 --- HYBRID SIMULATION TECHNIQUES APPLIED TO THE EARTH'S BOW SHOCK / D. Winske and M. M. Leroy / pp. 255-278 --- VLASOV SIMULATION OF ION ACOUSTIC DOUBLE LAYERS / G. Chanteur / pp. 279-301 --- SIMULATION MODELS FOR SPACE PLASMAS AND BOUNDARY CONDITIONS AS A KEY TO THEIR DESIGN AND ANALYSIS / Christian T. Dum / pp. 303-375
    Pages: Online-Ressource (X, 380 Seiten)
    ISBN: 9027719527
    URL: http://www.terrapub.co.jp/e-library/cssp/
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 3
    Unknown
    Computer space plasma physics : simulation techniques and software (1993)
    Tokyo : TERRAPUB
    Details
    Keywords: space plasma physics ; simulation techniques ; simulation software
    Description / Table of Contents: I. Introduction --- 1. Computer Experiments of Space Plasmas --- II. Simulation Techniques --- 2. KEMPO1 --- 3. TRISTAN --- 4. MACRO-EM --- 5. HYBRID CODES --- 6. TWO-DIMENSIONAL MHD CODE --- 7. HIGH-PRECISION MHD SIMULATION --- 8. TUTORIAL FOR UNIX OPERATIONS --- III. Simulation Software --- 9. KEMPO1 --- 10. TRISTAN --- 11. MACROEM --- 12. HYBRID1 --- 13. MHD2 --- 14. WAVE
    Pages: Online-Ressource (VI, 487 Seiten)
    ISBN: 488704111X
    URL: http://www.terrapub.co.jp/e-library/cspp/
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 4
    Unknown
    Graphics Recognition Methods and Applications : First International Workshop University Park, PA, USA, August 10–11, 1995 Selected Papers (1996)
    Berlin ; Heidelberg : Springer
    Details
    Keywords: Dokument-Bildanalyse - Engineering Drawings - Erkennungsalgorithmen - Graphics Recognition - Ingenieurzeichnungen ; Landkarteninterpretation ; Map Interpretation ; Recognition Algorithms ; algorithms ; cognition ; construction ; knowledge ; learning ; model ; verificat
    Description / Table of Contents: This book contains revised refereed papers selected from the presentations at the First International Workshop on Graphics Recognition, held in University Park, PA, USA, in August 1995. The 23 full papers included are divided into sections on low-level processing, vectorization and segmentation of scanned graphics documents; symbol and diagram recognition, map processing, interpretation of engineering drawings. Each section contains both survey articles to assess the state of the art, and research papers presenting novel results. One section is devoted to a contest held to determine the best algorithm for detection of dashed lines in drawings. The final chapter summarizes the conclusions and recommendations of the discussions held during the workshop.
    Pages: Online-Ressource (X, 314 pages)
    ISBN: 9783540683872
    URL: https://doi.org/10.1007/3-540-61226-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 5
    Unknown
    Advances in Spatial Databases : Third International Symposium, SSD '93 Singapore, June 23–25, 1993 Proceedings (1993)
    Berlin ; Heidelberg : Springer
    Details
    Keywords: GIS ; Geoinformationssysteme ; database ; databases ; geographic data ; information system ; knowledge engineering ; modeling ; topology
    Description / Table of Contents: The Third International Symposium on Large Spatial Databases (SSD '93) was held at the National University of Singapore in June 1993. The previous meetings of the series were at Sanata Barbara (1989) and Zurich (1991). The meetings are planned as a forum for researchers and practitioners specializing in database theory for and advanced applications of Spatial Information Systems. This volume constitutes the proceedings of the symposium. It contains 25 selected papersand three keynotes papers: "Spatial data management in database systems: research directions" (W. Kim), "From extensible databases to interoperability between multiple databases and GIS applications" (H.-J. Schek), and "The SEQUOIA 2000 project" (M. Stonebraker). The selectedpapers are collected into sections on: data modeling, spatial indexing, indexing mechanisms, handling of raster and vector data, spatial database systems, topology, storage management, query retrieval,knowledge engineering in SDS, and 3-dimensional data handling.
    Pages: Online-Ressource (XV, 537 pages)
    ISBN: 9783540477655
    URL: https://doi.org/10.1007/3-540-56869-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 6
    Unknown
    Computer Analysis of Images and Patterns : 6th International Conference, CAIP '95 Prague, Czech Republic, September 6–8, 1995 Proceedings (1995)
    Berlin ; Heidelberg : Springer
    Details
    Keywords: 3D Surface Reconstruction - Bildanalyse - Bildverarbeitung - Bildverarbeitungsanwenungen - Closing - Computer Vision ; Mustererkennung ; Triangulation ; digital elevation model ; genetic algorithms ; hidden Markov Model ; image analysis ; model ; rendering ; robot
    Description / Table of Contents: This book presents the proceedings of the Sixth International Conference on Computer Analysis of Images and Patterns, CAIP '95, held in Prague, Czech Republic in September 1995. The volume presents 61 full papers and 75 posters selected from a total of 262 submissions and thus gives a comprehensive view on the state-of-the-art in computer analysis of images and patterns, research, design, and advanced applications. The papers are organized in sections on invariants, segmentation and grouping, optical flow, model recovery and parameter estimation, low level vision, motion detection, structure and matching, active vision and shading, human face recognition, calibration, contour, and sessions on applications in diverse areas.
    Pages: Online-Ressource (XVIII, 962 pages)
    ISBN: 9783540447818
    URL: https://doi.org/10.1007/3-540-60268-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 7
    Unknown
    Microwave and Radio-Frequency Technologies in Agriculture : An Introduction for Agriculturalists and Engineers (2015)
    Berlin : De Gruyter
    Details
    Keywords: microwave ; radio-frequency ; electromagnetic waves ; dielectric heating ; automatic data acquisition ; wireless sensor networks
    Description / Table of Contents: Humanity’s ability to produce enough food is mostly due to adoption of new methods and technologies by the agricultural industries as they became available. New information, communication and high speed processing and precision agriculture technologies have the potential to transform the agricultural industry. These technologies incorporate radio-frequency and microwave radiation into their systems. This book presents an overview of how these technologies are being used in agricultural systems. The main purpose of the book is to provide a glimpse of what is possible and encourage practitioners in the engineering and agricultural industries to explore how radio-frequency and microwave systems might further enhance the agricultural industry. The authors have extensive experience in agricultural and microwave engineering, instrumentation and communication systems.
    Pages: Online-Ressource (XIV, 355 Seiten)
    ISBN: 9783110455403
    URL: https://www.degruyter.com/view/product/466435
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 8
    Unknown
    Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer organization ; Software engineering ; Programming languages (Electronic computers) ; Computers ; Computer Science ; Software Engineering ; Programming Languages, Compilers, Interpreters ; Computer Systems Organization and Communication Networks ; The Computing Profession ; Theory of Computation
    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
    Pages: Online-Ressource (XII, 357 pages) , 116 illustrations
    ISBN: 9783319893631
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89363-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 9
    Unknown
    Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer system failures ; Software engineering ; Computer logic ; Computer science ; Mathematics ; Artificial intelligence ; Computers ; Computer Science ; Logics and Meanings of Programs ; Software Engineering/Programming and Operating Systems ; Artificial Intelligence (incl. Robotics) ; System Performance and Evaluation ; The Computing Profession ; Discrete Mathematics in Computer Science
    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
    Pages: Online-Ressource (XV, 583 pages) , 75 illustrations
    ISBN: 9783319893662
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89366-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 10
    Unknown
    Lithium-Ion Batteries : A Machine-Generated Summary of Current Research (2019)
    Cham : Springer
    Details
    Keywords: anode materials ; cathode materials ; polymer electrolytes ; modeling of lithium-ion batteries ; solid electrolyte interphases ; gel polymer electrolytes
    Description / Table of Contents: Anode Materials, SEI, Carbon, Graphite, Conductivity, Graphene, Reversible, Formation / Pages 1-71 --- Cathode Materials, Samples, Pristine, Layered, Doping, Discharge Capacity / Pages 73-161 --- Ionic Conductivity, Polymer Electrolyte, Membranes, Electrochemical Stability, Separators / Pages 163-193 --- Models, SOC, Maximum, Time, Cell, Data, Parameters / Pages 195-247
    Pages: Online-Ressource (XXXV, 247 pages)
    ISBN: 9783030168001
    URL: https://link.springer.com/book/10.1007/978-3-030-16800-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...