Dieses Buch richtet sich an alle, die frisch in die Oracle-Administration einsteigen wollen und von der inhaltlichen Fulle anderer Bucher erschlagen werden. Es baut Schritt fur Schritt das Wissen fur die Oracle-Administration auf, ohne sich in nebensachliche Details zu verlieren. Dabei behalt dieses Buch immer den Fokus auf das Wesentliche und verzichtet darauf, bei einem Einsteiger Verwirrung zu erzeugen. Dennoch wird stets darauf geachtet, dass ein gesunder Mix zwischen dem Database- Control und der Kommandozeile gewahrt bleibt. Inhalt: Datenbank-Architektur Installation Database Control Oracle Net Grundlagen der Administration Initialisierungsparameter Datadictionary / Views Kontrolldatei Redo-Log-Dateien Tablespaces Undo-Verwaltung Verwaltung von Segmenten Verwaltung von Statistiken Speicherverwaltung Sicherheit und Benutzerverwaltung National Language Support Export und Import von Daten Einfuhrung in das Backup und Recovery Anhang: Einfuhrung in SQLPlus Einfuhrung in SQL

Construct, analyze, and visualize networks with networkx, a Python language module. Network analysis is a powerful tool you can apply to a multitude of datasets and situations. Discover how to work with all kinds of networks, including social, product, temporal, spatial, and semantic networks. Convert almost any real-world data into a complex network--such as recommendations on co-using cosmetic products, muddy hedge fund connections, and online friendships. Analyze and visualize the network, and make business decisions based on your analysis. If you're a curious Python programmer, a data scientist, or a CNA specialist interested in mechanizing mundane tasks, you'll increase your productivity exponentially. Complex network analysis used to be done by hand or with non-programmable network analysis tools, but not anymore! You can now automate and program these tasks in Python. Complex networks are collections of connected items, words, concepts, or people. By exploring their structure and individual elements, we can learn about their meaning, evolution, and resilience. Starting with simple networks, convert real-life and synthetic network graphs into networkx data structures. Look at more sophisticated networks and learn more powerful machinery to handle centrality calculation, blockmodeling, and clique and community detection. Get familiar with presentation-quality network visualization tools, both programmable and interactive--such as Gephi, a CNA explorer. Adapt the patterns from the case studies to your problems. Explore big networks with NetworKit, a high-performance networkx substitute. Each part in the book gives you an overview of a class of networks, includes a practical study of networkx functions and techniques, and concludes with case studies from various fields, including social networking, anthropology, marketing, and sports analytics. Combine your CNA and Python programming skills to become a better network analyst, a more accomplished data scientist, and a more versatile programmer. What You Need: You will need a Python 3.x installation with the following additional modules: Pandas (>=0.18), NumPy (>=1.10), matplotlib (>=1.5), networkx (>=1.11), python-louvain (>=0.5), NetworKit (>=3.6), and generalizesimilarity. We recommend using the Anaconda distribution that comes with all these modules, except for python-louvain, NetworKit, and generalizedsimilarity, and works on all major modern operating systems.

This unique open access book applies the functional OCaml programming language to numerical or computational weighted data science, engineering, and scientific applications. This book is based on the authors' first-hand experience building and maintaining Owl, an OCaml-based numerical computing library. You'll first learn the various components in a modern numerical computation library. Then, you will learn how these components are designed and built up and how to optimize their performance. After reading and using this book, you'll have the knowledge required to design and build real-world complex systems that effectively leverage the advantages of the OCaml functional programming language. What You Will Learn Optimize core operations based on N-dimensional arrays Design and implement an industry-level algorithmic differentiation module Implement mathematical optimization, regression, and deep neural network functionalities based on algorithmic differentiation Design and optimize a computation graph module, and understand the benefits it brings to the numerical computing library Accommodate the growing number of hardware accelerators (e.g. GPU, TPU) and execution backends (e.g. web browser, unikernel) of numerical computation Use the Zoo system for efficient scripting, code sharing, service deployment, and composition Design and implement a distributed computing engine to work with a numerical computing library, providing convenient APIs and high performance Who This Book Is For Those with prior programming experience, especially with the OCaml programming language, or with scientific computing experience who may be new to OCaml. Most importantly, it is for those who are eager to understand not only how to use something, but also how it is built up.

Floating-point arithmetic is the most widely used way of implementing real-number arithmetic on modern computers. However, making such an arithmetic reliable and portable, yet fast, is a very difficult task. As a result, floating-point arithmetic is far from being exploited to its full potential. This handbook aims to provide a complete overview of modern floating-point arithmetic. So that the techniques presented can be put directly into practice in actual coding or design, they are illustrated, whenever possible, by a corresponding program. The handbook is designed for programmers of numerical applications, compiler designers, programmers of floating-point algorithms, designers of arithmetic operators, and more generally, students and researchers in numerical analysis who wish to better understand a tool used in their daily work and research.

Great programmers aren't born--they're made. The industry is moving from object-oriented languages to functional languages, and you need to commit to radical improvement. New programming languages arm you with the tools and idioms you need to refine your craft. While other language primers take you through basic installation and "Hello, World," we aim higher. Each language in Seven More Languages in Seven Weeks will take you on a step-by-step journey through the most important paradigms of our time. You'll learn seven exciting languages: Lua, Factor, Elixir, Elm, Julia, MiniKanren, and Idris. Learn from the award-winning programming series that inspired the Elixir language. Hear how other programmers across broadly different communities solve problems important enough to compel language development. Expand your perspective, and learn to solve multicore and distribution problems. In each language, you'll solve a non-trivial problem, using the techniques that make that language special. Write a fully functional game in Elm, without a single callback, that compiles to JavaScript so you can deploy it in any browser. Write a logic program in Clojure using a programming model, MiniKanren, that is as powerful as Prolog but much better at interacting with the outside world. Build a distributed program in Elixir with Lisp-style macros, rich Ruby-like syntax, and the richness of the Erlang virtual machine. Build your own object layer in Lua, a statistical program in Julia, a proof in code with Idris, and a quiz game in Factor. When you're done, you'll have written programs in five different programming paradigms that were written on three different continents. You'll have explored four languages on the leading edge, invented in the past five years, and three more radically different languages, each with something significant to teach you

Transition from a back-end developer to a full-stack developer with knowledge of all the dimensions of web application development, namely, front-end, back-end and server-side software. This book provides a comprehensive overview of Streamlit, allowing developers and programmers of all backgrounds to get up to speed in as little time as possible. Streamlit is a pure Python web framework that will bridge the skills gap and shorten development time from weeks to hours. This book walks you through the complete cycle of web application development, from an introductory to advanced level with accompanying source code and resources. You will be exposed to developing basic, intermediate, and sophisticated user interfaces and subsequently you will be acquainted with data visualization, database systems, application security, and cloud deployment in Streamlit. In a market with a surplus demand for full stack developers, this skill set could not possibly come at a better time. In one sentence, Streamlit is a means for the empowerment of developers everywhere and all stand to gain from it. What You'll Learn Mutate big data in real-time Visualize big data interactively Implement web application security and privacy protocols Deploy Streamlit web applications to the cloud using Streamlit, Linux and Windows servers Who is this Book for? Developers with solid programming experience wanting to learn Streamlit; Back-end developers looking to upskill and transition to become a full-stack developers; Those who wish to learn and become more acquainted with data visualization, database systems, security and cloud deployment with Steamlit

This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in November 2018. The 16 regular papers presented in this book were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections such as: techniques and methodologies; specification and modeling languages; theoretical foundations; verification and validation; experience reports regarding teaching formal methods; and applications.Chapter "TeSSLa: Temporal Stream-Based Specification Language" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This book constitutes the refereed proceedings of the 8h International Conference on Model and Data Engineering, MEDI 2018, held in Marrakesh, Morocco, in October 2018. The 23 full papers and 4 short papers presented together with 2 invited talks were carefully reviewed and selected from 86 submissions. The papers covered the recent and relevant topics in the areas of databases; ontology and model-driven engineering; data fusion, classsification and learning; communication and information technologies; safety and security; algorithms and text processing; and specification, verification and validation.

This book constitutes the refereed proceedings of the 15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018, held in Stellenbosch, South Africa, in October 2018. The 25 revised full papers presented together with two short and two long invited talks were carefully reviewed and selected from 59 submissions. The ICTAC conference aims at bringing together researchers and practitioners from academia, industry and government to present research and exchange ideas and experience addressing challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. ICTAC also specifically aims to promote research cooperation between developing and industrial countries.

Software development is becoming recognised more and more as an essential skill and profession in today's increasingly digital world. This book is a pragmatic guide to software development in practice. It explores the inner workings of software development in the context of the industry, covering good practice for software developers and providing you with tools and practical understanding you'll need to advance within the software development world.

Written by high performance computing (HPC) experts, Introduction to High Performance Computing for Scientists and Engineers provides a solid introduction to current mainstream computer architecture, dominant parallel programming models, and useful optimization strategies for scientific HPC. From working in a scientific computing center, the authors gained a unique perspective on the requirements and attitudes of users as well as manufacturers of parallel computers.

The text first introduces the architecture of modern cache-based microprocessors and discusses their inherent performance limitations, before describing general optimization strategies for serial code on cache-based architectures. It next covers shared- and distributed-memory parallel computer architectures and the most relevant network topologies. After discussing parallel computing on a theoretical level, the authors show how to avoid or ameliorate typical performance problems connected with OpenMP. They then present cache-coherent nonuniform memory access (ccNUMA) optimization techniques, examine distributed-memory parallel programming with message passing interface (MPI), and explain how to write efficient MPI code. The final chapter focuses on hybrid programming with MPI and OpenMP.

Users of high performance computers often have no idea what factors limit time to solution and whether it makes sense to think about optimization at all. This book facilitates an intuitive understanding of performance limitations without relying on heavy computer science knowledge. It also prepares readers for studying more advanced literature.

Read about the authors’ recent honor: Informatics Europe Curriculum Best Practices Award for Parallelism and Concurrency

Table of Contents

Modern Processors

Stored-program computer architecture

General-purpose cache-based microprocessor architecture

Memory hierarchies

Multicore processors

Multithreaded processors

Vector processors

Basic Optimization Techniques for Serial Code

Scalar profiling

Common sense optimizations

Simple measures, large impact

The role of compilers

C++ optimizations

Data Access Optimization

Balance analysis and lightspeed estimates

Storage order

Case study: The Jacobi algorithm

Case study: Dense matrix transpose

Algorithm classification and access optimizations

Case study: Sparse matrix-vector multiply

Parallel Computers

Taxonomy of parallel computing paradigms

Shared-memory computers

Distributed-memory computers

Hierarchical (hybrid) systems

Networks

Basics of Parallelization

Why parallelize?

Parallelism

Parallel scalability

Shared-Memory Parallel Programming with OpenMP

Short introduction to OpenMP

Case study: OpenMP-parallel Jacobi algorithm

Advanced OpenMP: Wavefront parallelization

Efficient OpenMP Programming

Profiling OpenMP programs

Performance pitfalls

Case study: Parallel sparse matrix-vector multiply

Locality Optimizations on ccNUMA Architectures

Locality of access on ccNUMA

Case study: ccNUMA optimization of sparse MVM

Placement pitfalls

ccNUMA issues with C++

Distributed-Memory Parallel Programming with MPI

Message passing

A short introduction to MPI

Example: MPI parallelization of a Jacobi solver

Efficient MPI Programming

MPI performance tools

Communication parameters

Synchronization, serialization, contention

Reducing communication overhead

Understanding intranode point-to-point communication

Hybrid Parallelization with MPI and OpenMP

Basic MPI/OpenMP programming models

MPI taxonomy of thread interoperability

Hybrid decomposition and mapping

Potential benefits and drawbacks of hybrid programming

Appendix A: Topology and Affinity in Multicore Environments

Appendix B: Solutions to the Problems

Bibliography

Index

Just Enough R! An Interactive Approach to Machine Learning and Analytics presents just enough of the R language, machine learning algorithms, statistical methodology, and analytics for the reader to learn how to find interesting structure in data. The approach might be called "seeing then doing" as it first gives step-by-step explanations using simple, understandable examples of how the various machine learning algorithms work independent of any programming language. This is followed by detailed scripts written in R that apply the algorithms to solve nontrivial problems with real data. The script code is provided, allowing the reader to execute the scripts as they study the explanations given in the text. Features Gets you quickly using R as a problem-solving tool Uses RStudio's integrated development environment Shows how to interface R with SQLite Includes examples using R's Rattle graphical user interface Requires no prior knowledge of R, machine learning, or computer programming Offers over 50 scripts written in R, including several problem-solving templates that, with slight modification, can be used again and again Covers the most popular machine learning techniques, including ensemble-based methods and logistic regression Includes end-of-chapter exercises, many of which can be solved by modifying existing scripts Includes datasets from several areas, including business, health and medicine, and science About the Author Richard J. Roiger is a professor emeritus at Minnesota State University, Mankato, where he taught and performed research in the Computer and Information Science Department for over 30 years.

This career guide explains the software developer role in the context of the industry, including the relevant skills and competencies you will need to become a software developer. Discussion of popular programming languages is covered, as well as tools and techniques of the trade. Career progression tips and software developer case studies round off the book, providing you with the insider knowledge you need to kick start your software development journey.

This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019, held in Copenhagen, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019. The 15 full and 3 short papers presented were carefully reviewed and selected from 42 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.

This book constitutes the thoroughly refereed proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2017, held in Porto, Portugal, in April 2017. The 12 full papers presented were carefully reviewed and selected from 102 submissions. The mission of ENASE is to be a prime international forum to discuss and publish research findings and IT industry experiences with relation to the evaluation of novel approaches to software engineering. The conference acknowledges necessary changes in systems and software thinking due to contemporary shifts of computing paradigm to e-services, cloud computing, mobile connectivity, business processes, and societal participation.

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Joint Conference on Software Technologies, ICSOFT 2017, held in Madrid, Spain, in July 2017. The 17 revised full papers and 24 short papers presented were carefully reviewed and selected from 85 submissions. The topics covered in the papers include: software quality and metrics; software testing and maintenance; development methods and models; systems security; dynamic software updates; systems integration; business process modelling; intelligent problem solving; multi-agent systems; and solutions involving big data, the Internet of Things and business intelligence.

Mobile Applications Development with Android: Technologies and Algorithms presents advanced techniques for mobile app development, and addresses recent developments in mobile technologies and wireless networks. The book covers advanced algorithms, embedded systems, novel mobile app architecture, and mobile cloud computing paradigms.

Divided into three sections, the book explores three major dimensions in the current mobile app development domain. The first section describes mobile app design and development skills, including a quick start on using Java to run an Android application on a real phone. It also introduces 2D graphics and UI design, as well as multimedia in Android mobile apps.

The second part of the book delves into advanced mobile app optimization, including an overview of mobile embedded systems and architecture. Data storage in Android, mobile optimization by dynamic programming, and mobile optimization by loop scheduling are also covered. The last section of the book looks at emerging technologies, including mobile cloud computing, advanced techniques using Big Data, and mobile Big Data storage.

About the Authors

Meikang Qiu is an Associate Professor of Computer Science at Pace University, and an adjunct professor at Columbia University. He is an IEEE/ACM Senior Member, as well as Chair of the IEEE STC (Special Technical Community) on Smart Computing. He is an Associate Editor of a dozen of journals including IEEE Transactions on Computers and IEEE Transactions on Cloud Computing. He has published 320+ peer-reviewed journal/conference papers and won 10+ Best Paper Awards.

Wenyun Dai is pursuing his PhD at Pace University. His research interests include high performance computing, mobile data privacy, resource management optimization, cloud computing, and mobile networking. His paper about mobile app privacy has been published in IEEE Transactions on Computers.

Keke Gai is pursuing his PhD at Pace University. He has published over 60 peer-reviewed journal or conference papers, and has received three IEEE Best Paper Awards. His research interests include cloud computing, cyber security, combinatorial optimization, business process modeling, enterprise architecture, and Internet computing.

.

Table of Contents

Overview of Mobile Apps and Mobile Interface. Mobile Embedded System and Architecture. Introduction of Android Framework, Key Concepts, User Interface, and Multimedia Deployment. Network Management in Mobile Cloud Computing and Adaptive Resource Allocations. 2-D Graphics and Mobile Image Processing Techniques. Mobile Optimization by Dynamic Programming. Big Data and Hybrid Memory Implementations. Exploring Mobile Hardware and Software Coding Techniques. Secure Bluetooth Connection and Near Field Communication. Data Storage, data security, and advanced data protection techniques. Efficient Data Synchronization on Mobile Devices. Mobile Apps on Wearable Devices.

This book constitutes the refereed proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, held as part of STAF 2019, in Eindhoven, The Netherlands, in July2019. The 12 research papers and 1 tool paper presented in this book were carefully reviewed and selected from 22 submissions. The papers deal with the following topics: Theory, Analysis and Verification, Tools and Applications, and Transformation Rules Construction and Matching.

The CSS3 Quick Syntax Reference is a 150-page syntax reference to the Cascading Style Sheets language. It presents the essentials of CSS3 in a well-organized format that can be used as a handy reference. You won't find any technical jargon, bloated samples, drawn-out history lessons or witty stories in this book. What you will find is a CSS reference that is concise, to the point, and highly accessible. The book is packed with useful information and is a must-have for any CSS programmer or web developer. What You Will Learn Use the various selectors available in CSS3 Leverage various other CSS properties Design and build web UIs using color, text, spacing, fonts, background, and more Work with lists, tables, and media in CSS3 Employ CSS3 best practices Who This Book Is For Experienced programmers and web developers new to CSS3 or even new to CSS in general.

This book constitutes the proceedings of the 24th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2018, held in Utrecht, The Netherlands, in March 2018. The 23 full and 2 invited talks papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers were organized in topical sections named: RE in Industrial Practice; NLP in Theory and Practice; Empirical Insights into Traceability; Taming Ambiguity; Large-Scale RE; Quality Requirements; User and Job Stories; Requirements Alignment; RE Previews and Visions; Big Data; Mindmapping and Requirements Modeling.

Die Korrektheit eines Programms kann nur sehr selten absolut gew hrleistet werden. Man muss sich also auf Tests beschr nken, die auch so angelegt sind, dass mit gro er Wahrscheinlichkeit die Korrektheit des Programms garantiert werden kann. Dar ber hinaus kann nur in Spezialf llen genau gesagt werden, welche Werte die Korrekten sind. So kommt man also einerseits nicht umhin Tests durchzuf hren und andererseits ein Bewertungsverfahren zu entwickeln, welches uns die Resultate als korrekt, weniger korrekt oder inkorrekt bewertet.Der Autor besch ftigt sich in diesem Buch mit der Bewertung von Programmen, die die Energieeffizienz von Geb uden analysieren sollen. Hierf r hat er ein Testszenario entwickelt, welches mit den zuvor genannten Unsch rfen umgehen kann. Hintergrund sind dabei die rechtlichen Vorgaben hinsichtlich des Energieverhaltens von Geb uden.

Get started with PostgreSQL on the cloud and discover the advantages, disadvantages, and limitations of the cloud services from Amazon, Rackspace, Google, and Azure. Once you have chosen your cloud service, you will focus on securing it and developing a back-up strategy for your PostgreSQL instance as part of your long-term plan. Beginning PostgreSQL on the Cloud covers other essential topics such as setting up replication and high availability; encrypting your saved cloud data; creating a connection pooler for your database; and monitoring PostgreSQL on the cloud. The book concludes by showing you how to install and configure some of the tools that will help you get started with PostgreSQL on the cloud. This book shows you how database as a service enables you to spread your data across multiple data centers, ensuring that it is always accessible. You'll discover that this model does not expect you to install and maintain databases yourself because the database service provider does it for you. You no longer have to worry about the scalability and high availability of your database. What You Will Learn Migrate PostgreSQL to the cloud Choose the best configuration and specifications of cloud instances Set up a backup strategy that enables point-in-time recovery Use connection pooling and load balancing on cloud environments Monitor database environments on the cloud Who This Book Is For Those who are looking to migrate to PostgreSQL on the Cloud. It will also help database administrators in setting up a cloud environment in an optimized way and help them with their day-to-day tasks.

This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2017, held in Marburg, Germany, in July 2017. The 15 full and 22 short papers presented were carefully reviewed and selected from 37 submissions. The events whose papers are included in this volume are: BigMDE 2017: 5th International Workshop on Scalable Model Driven Engineering GCM 2017: 8th International Workshop on Graph Computation Models GRAND 2017: 1st International Workshop on Grand Challenges in Modeling MORSE 2017: 4th International Workshop on Model-driven Robot Software Engineering OCL 2017: 17th International Workshop in OCL and Textual Modeling STAF Projects Showcase 2017: 3rd event dedicated to international and national project dissemination and cooperation

This book constitutes the proceedings of the 21th International Conference on Coordination Models and Languages, COORDINATION 2019, held in Kongens Lyngby, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019. The 15 full papers included in this volume were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections named: computational models; tools; exploring new frontiers; and coordination patterns.

This book constitutes the refereed proceedings of the 11th International Andrei P. Ershov Informatics Conference, PSI 2017, held in Moscow, Russia, in June 2017. The 31 full papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and software engineering and information technologies.