Texto completo en Odilo

Texto completo en Odilo

Texto completo en Odilo

Tabla de Contenidos: “…Creating CMake projects -- Distinguishing between CMake directory variables -- Specifying CMake targets -- Specifying the output directories -- Using generator expressions -- Using external modules -- Fetching dependencies -- Using find scripts -- Writing find scripts -- Using the Conan package manager -- Preparing Conan profiles -- Specifying Conan dependencies -- Installing Conan dependencies -- Using Conan targets from CMake -- Adding tests -- Reusing quality code -- Installing -- Exporting -- Using CPack -- Packaging using Conan -- Creating the conanfile.py script -- Testing our Conan package -- Adding Conan packaging code to our CMakeLists -- Summary -- Questions -- Further reading -- Section 3: Architectural Quality Attributes -- Chapter 8: Writing Testable Code -- Technical requirements -- Why do you test code? …”

Tabla de Contenidos: “…-- How to Use This Book -- Downloading and Installing Python -- Downloading pyperclip.py -- Starting IDLE -- Summary -- Chapter 1: Making Paper Cryptography Tools -- What Is Cryptography? …”

Tabla de Contenidos: “…Cover -- Title Page -- Copyright and Credits -- Contributors -- Table of Contents -- Preface -- Preface -- Chapter 1: Installing Python and Django, and Introducing the Movies Store Application -- Technical requirements -- Introducing and installing Python -- Introducing and installing Django -- Creating and running a Django project -- Understanding the Movies Store application -- Introducing the Django MVT architecture -- Summary -- Chapter 2: Understanding the Project Structure and Creating Our First App -- Technical requirements -- Understanding the project structure -- The moviesstore folder -- manage.py -- db.sqlite3 -- Creating our first app -- Creating a home page -- Configuring an URL -- Creating an about page -- Configuring the about URL -- Defining about function -- Creating about template -- Summary -- Chapter 3: Designing a Base Template -- Technical requirements -- Creating a base template with Bootstrap -- Introducing Bootstrap -- Introducing Django template language (DTL) -- Creating a base template -- Registering the base template -- Updating the home page to use the base template -- Creating the new index template -- Creating a custom CSS file -- Storing an image -- Serving the static files -- Updating the base template to use the custom CSS and load static files -- Updating the views index function -- Updating the About page to use the base template -- Creating the new About template -- Storing the about.jpg image -- Updating the views about function -- Adding a header section -- Updating the base template -- Storing the logo image -- Updating the style.css -- Adding a footer section -- Updating the base template -- Updating the style.css -- Summary -- Chapter 4: Creating a Movies App with Dummy Data -- Technical requirements -- Creating the movies app -- Creating the movies app -- Adding the movies app to settings…”

Tabla de Contenidos: “…-- Preconfiguring mock objects -- assert methods of mock objects -- The unittest.mock patch function -- Using unittest's test discovery -- Unittest's discovery tool -- Command-line options in unit test discovery -- Using nose for unified test discovery and reporting -- Running our tests with nose -- The cover-package option -- Testing multiple worker processes -- Summary -- Chapter 10: Reactive Programming -- The concept of reactive programming -- Building a simple reactive programming framework -- Observers -- Observables -- Emitting events -- Building the observable sequence -- Illustrating a stream of animal events -- Composing an observable sequence -- Using the reactive extensions for Python (RxPY) -- Translating our zoo demo into Rx -- Observable factory methods -- Explaining the observable sequence of events -- Creating an asyncio scheduler -- Combining and processing observable sequences -- Miscellaneous observable factory methods -- The Observable.create method -- The Observable.select_many method -- Empty, return_value, and from_iterable factory methods -- The where factory method -- Summary -- Chapter 11: Microservices -- Microservices and the advantages of process isolation -- Advantages of the microservice architecture -- Applying the microservice architecture to web servers -- Building high-level microservices with Flask -- Installing Flask -- Creating endpoints for a RESTful API in Flask -- Building a microservice to maintain a database -- Making Flask handle a request -- Running and connecting to our microservice using Flask -- Test running the microservice -- Building high-level microservices with nameko -- Installing nameko…”

Texto completo en Odilo

Texto completo en Odilo

Texto completo en Odilo

Texto completo en Odilo

Texto completo en Odilo

Texto completo en Odilo

Texto completo en Odilo

Texto completo en Odilo

Tabla de Contenidos: “…Schritt 4: Die gefundenen Übereinstimmungen zu einem String kombinieren -- Das Programm ausführen -- Ideen für ähnliche Programme -- Zusammenfassung -- Wiederholungsfragen -- Übungsprojekte -- Datumserkennung -- Passwortstärke ermitteln -- Regex-Version von strip() -- Kapitel 8: Eingabevalidierung -- Das Modul PyInputPlus -- Die Schlüsselwortargumente min, max, greaterThan und lessThan -- Das Schlüsselwortargument blank -- Die Schlüsselwortargumente limit, timeout und default -- Die Schlüsselwortargumente allowRegexes und blockRegexes -- Eine eigene Validierungsfunktion an inputCustom() übergeben -- Projekt: Einen Trottel stundenlang beschäftigen -- Projekt: Multiplikationstest -- Zusammenfassung -- Wiederholungsfragen -- Übungsprojekte -- Sandwichzubereiter -- Ein eigenes Programm für den Multiplikationstest -- Kapitel 9: Dateien lesen und schreiben -- Dateien und Dateipfade -- Backslash unter Windows und Schrägstrich unter macOS und Linux -- Pfade mit dem Operator / zusammenfügen -- Das aktuelle Arbeitsverzeichnis -- Das Benutzerverzeichnis -- Absolute und relative Pfade -- Neue Ordner mit os.makedirs() erstellen -- Absolute und relative Pfade verwenden -- Die Komponenten eines Dateipfads abrufen -- Dateigrößen und Ordnerinhalte ermitteln -- Eine Dateiliste mit Glob-Mustern bearbeiten -- Die Gültigkeit von Pfaden prüfen -- Dateien lesen und schreiben -- Dateien mit der Funktion open() öffnen -- Die Inhalte einer Datei lesen -- Dateien schreiben -- Variablen mit dem Modul shelve speichern -- Variablen mit der Funktion pprint.pformat() speichern -- Projekt: Zufallsgenerator für Tests -- Schritt 1: Die Daten für den Test in einem Dictionary speichern -- Schritt 2: Die Fragebogendatei erstellen und die Fragen mischen -- Schritt 3: Die Auswahl der möglichen Antworten zusammenstellen…”

Tabla de Contenidos: “…-- Using the object mapper -- Building a data loader -- Asynchronous operations -- Data loader example -- Summary -- Chapter 9: Integration with Apache Spark -- Spark -- Architecture -- Installation -- Running custom Spark Docker locally -- Configuration -- The web UI -- Master -- Worker -- Application -- PySpark -- Connection config -- Accessing Cassandra data -- SparkR -- Connection config -- Accessing Cassandra data -- RStudio -- Connection config -- Accessing Cassandra data -- Jupyter -- Architecture -- Installation -- Configuration -- Web UI -- PYSpark through Juypter -- Summary -- Appendix: References -- Chapter 1 - Quick Start -- Chapter 2 - Cassandra Architecture -- Chapter 3 - Effective CQL -- Chapter 4 - Configuring a Cluster -- Chapter 5 - Performance Tuning -- Chapter 6 - Managing a Cluster -- Chapter 7 - Monitoring -- Chapter 8 - Application Development -- Chapter 9 - Integration with Apache Spark -- Other Books You May Enjoy -- Index…”

Tabla de Contenidos: “…Implementing a macro using the Jinja2 templating engine -- Adding style via CSS -- Creating the result page -- Turning the movie review classifier into a web application -- Files and folders - looking at the directory tree -- Implementing the main application as app.py -- Setting up the review form -- Creating a results page template -- Deploying the web application to a public server -- Creating a PythonAnywhere account -- Uploading the movie classifier application -- Updating the movie classifier -- Summary -- Chapter 10: Predicting Continuous Target Variables with Regression Analysis -- Introducing linear regression -- Simple linear regression -- Multiple linear regression -- Exploring the Housing dataset -- Loading the Housing dataset into a data frame -- Visualizing the important characteristics of a dataset -- Looking at relationships using a correlation matrix -- Implementing an ordinary least squares linear regression model -- Solving regression for regression parameters with gradient descent -- Estimating coefficient of a regression model via scikit-learn -- Fitting a robust regression model using RANSAC -- Evaluating the performance of linear regression models -- Using regularized methods for regression -- Turning a linear regression model into a curve - polynomial regression -- Adding polynomial terms using scikit-learn -- Modeling nonlinear relationships in the Housing dataset -- Dealing with nonlinear relationships using random forests -- Decision tree regression -- Random forest regression -- Summary -- Chapter 11: Working with Unlabeled Data - Clustering Analysis -- Grouping objects by similarity using k-means -- K-means clustering using scikit-learn -- A smarter way of placing the initial cluster centroids using k-means++ -- Hard versus soft clustering -- Using the elbow method to find the optimal number of clusters…”

Tabla de Contenidos: “…Use the checks-effects-interactions pattern -- DoS with block gas limit -- Handling errors in external calls -- Best practices in smart contracts -- Writing upgradable smart contracts -- Economic consideration of smart contract execution -- Types of smart contract -- Putting it all together - rental property leasing -- Summary -- Chapter 7: Web3 API Fundamentals -- Technical requirements -- Introducing Web 3.0 -- Setting up an Ethereum environment -- Installing Geth -- Setting up a private Ethereum network -- Generating and configuring the genesis file -- Initializing the chain instance -- Starting a Geth node -- Connecting to Ethereum networks -- Learning the fundamentals of web3.js - the Ethereum JavaScript API -- web3.js project setup -- web3.js Account -- web3.js ABI -- Web3 providers -- Setting up the Ethereum testnet environment -- The web3.js Transaction API -- Getting started with web3.py -- Prerequisites -- Introducing Web3j - Web3 Java Ethereum DApp API -- Setting up a simple Spring Boot application -- Checking the balances of Ethereum accounts -- solc and the Web3j CLI -- Deploying smart contracts using Web3j -- Transacting with a smart contract -- Querying the state of a smart contract -- Summary -- Chapter 8: Developing Your Own Cryptocurrency -- Technical requirements -- Understanding token standards -- ERC-1155 -- Batch transfers -- Batch balance -- Batch approval -- ERC-1155's TokenReceiver -- Setting up an Ethereum development environment -- Working with Truffle -- Creating an ERC-20 token - MyERC20Token -- Creating basic token information -- Defining and implementing the ERC-20 interface -- Assigning an admin role -- Working with the whitelist function -- Locking and unlocking an account -- The mint and burn tokens -- Creating an ERC-721 token - DigitalArtERC721Token -- Designing the decentralized digital art marketplace…”

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