Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
- Development 190
- Computer programming 156
- Application software 150
- Python (Computer program language) 140
- Programming 134
- Engineering & Applied Sciences 117
- JavaScript (Computer program language) 101
- Java (Computer program language) 96
- Programming languages (Electronic computers) 83
- Data processing 82
- Computer Science 79
- Design 73
- Computer software 72
- Computer programs 68
- Web site development 67
- Artificial intelligence 60
- Management 59
- Video games 59
- Software engineering 55
- Computer networks 51
- Design and construction 51
- C (Computer program language) 48
- Machine learning 47
- Programming Languages, Compilers, Interpreters 47
- Web sites 45
- Database management 43
- Operating systems (Computers) 43
- C++ (Computer program language) 41
- Computer animation 41
- Computer graphics 39
-
881Publicado 2015Tabla de Contenidos: “…JavaScript clientEndless loop of screenshots; Passing clicks to host; Kivy Remote Desktop app; The login form; The remote desktop screen; Loop of screenshots in Kivy; Sending clicks; What's next; Summary; Chapter 6: Making the 2048 Game; About the game; Gameplay concepts and overview; Randomness, or lack thereof; The 2048 project outline; What makes 2048 a good choice of project?…”
Libro electrónico -
882Publicado 2014Tabla de Contenidos: “…HTML, CSS, and the responsive wayPure CSS; Summary; Chapter 2: Taking a Deep Dive into Node.js and MongoDB; Node server, NPM, and middleware; Event-driven development and the event loop; The event loop; Working with require() and modules; The require() function; The Node modules; Express - a web framework on a server; MongoDB and the terminal; Comparing a relational database with the NoSQL database; The mongo shell; MongoDB connection with Mongoose; Mongoose schemas and models; Untitled; Summary; Chapter 3: API with MongoDB and Node.js; The working of an API; Boilerplates and generators…”
Libro electrónico -
883Publicado 2015Tabla de Contenidos: “…Operational ConsiderationsAvailability; Performance; Quality; Success Criteria; 8 OEE Effectiveness; Overall Equipment Effectiveness; Availability; Performance; Quality; OEE Calculation; References; 9 Efficiency and Cost Accounting; Efficiency; Material Waste; Time Waste; Cost Accounting; Minimum Order Size; References; 10 Basics of Control Systems; Distributed Control Systems; Data Inputs; Process Feedback; Open-Loop Control System; Closed-Loop Control System; PID Controls; References; 11 Rotogravure Presses; Press Components; Ink Viscosity; Electrostatic Assist; Image Monitoring…”
Libro electrónico -
884por Liang, Y.Tabla de Contenidos: “…4.4 Case Study: Revising the Lottery Program Using Strings -- 4.5 Introduction to Objects and Methods -- 4.6 String Methods -- 4.7 Case Studies -- 4.8 Formatting Numbers and Strings -- 4.9 Drawing Various Shapes -- 4.10 Drawing with Colors and Fonts -- Chapter 5. Loops -- 5.1 Introduction -- 5.2 The while Loop -- 5.3 Case Study: Guessing Numbers -- 5.4 Loop Design Strategies -- 5.5 Controlling a Loop with User Confirmation and Sentinel Value -- 5.6 The for Loop -- 5.7 Nested Loops -- 5.8 Minimizing Numerical Errors -- 5.9 Case Studies -- 5.10 Keywords break and continue -- 5.11 Case Study: Checking Palindromes -- 5.12 Case Study: Displaying Prime Numbers -- 5.13 Case Study: Random Walk -- Chapter 6. …”
Publicado 2022
Libro electrónico -
885Publicado 2019Tabla de Contenidos: “…Universal Graphs and Good for Small Games Automata: New Tools for Infinite Duration Games -- Resource-Tracking Concurrent Games -- Change Actions: Models of Generalised Differentiation -- Coalgebra Learning via Duality -- Tight Worst-Case Bounds for Polynomial Loop Programs -- A Complete Normal-Form Bisimilarity for State -- Identifiers in Registers - Describing Network Algorithms with Logic -- The Impatient May Use Limited Optimism to Minimize Regret -- Causality in Linear Logic: Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment) -- Rewriting Abstract Structures: Materialization Explained Categorically -- Two-Way Parikh Automata with a Visibly Pushdown Stack -- Kleene Algebra with Hypotheses -- Trees in Partial Higher Dimensional Automata -- The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary Domains -- Continuous Reachability for Unordered Data Petri Nets is in PTime -- Optimal Satisfiability Checking for Arithmetic mu-Calculi -- Constructing Inductive-Inductive Types in Cubical Type Theory -- Causal Inference by String Diagram Surgery -- Higher-Order Distributions for Differential Linear Logic -- Languages Ordered by the Subword Order -- Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces -- A Sound and Complete Logic for Algebraic Effects -- Equational Axiomatization of Algebras with Structure -- Towards a Structural Proof Theory of Probabilistic μ-Calculi -- Partial and Conditional Expectations in Markov Decision Processes with Integer Weights -- Equational Theories and Monads from Polynomial Cayley Representations -- A Dialectica-Like Interpretation of a Linear MSO on Infinite Words -- Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time -- Justness: A Completeness Criterion for Capturing Liveness Properties -- Path category for Free - Open Morphisms from Coalgebras with Non-Deterministic Branching…”
Libro electrónico -
886Publicado 2016“…Scala bridges the gap between functional and object oriented programming, and this book details that link with clear discussion on both Java compatibility and the read-eval-print loop used in declarative programming. You'll learn the details of Scala testing, design patterns, concurrency, and much more as you build the in-demand skill set required to utilize Scala in a real-world production environment. …”
Libro electrónico -
887por Murray, Katherine, 1961-“…Here’s WHAT you’ll learn: Tap the power of Office on your touch device Stay in the loop with Ims, social media, and email Create, share, and collaborate on documents Put together professional-looking publications Analyze your worksheet data on the fly Set up an online meeting with your team Here’s HOW you’ll learn it: Jump in wherever you need answers Follow easy STEPS and SCREENSHOTS to see exactly what to do Get handy TIPS for new techniques and shortcuts Use TRY THIS! …”
Publicado 2013
Libro electrónico -
888Publicado 2018“…An integrator in a PID controller reduces the bandwidth of the closed-loop system, leads to less-effective transient performance and may even destroy stability. …”
Libro electrónico -
889Publicado 2019“…You work in a loop: write code, get feedback, iterate. The faster you get feedback, the faster you can learn and become a more effective developer. …”
Libro electrónico -
890Publicado 2023“…Evaluating the cause-effect relationship of forests and climate also play determinable roles in the forest-climate loop. Such analysis is critical in identifying the factors of degradation and would be crucial in developing strategies for restoring and conserving the forest ecosystems…”
Libro electrónico -
891Publicado 2022“…In particular, the book emphasizes the logic of the feedback loop or 'recursion', showing how it drives multiple Russian performances of national belonging and nation projection in the digital era. …”
Libro electrónico -
892Publicado 2022“…Lessons Covered Include: Domain 1: Design and prepare a machine learning solution 1.0 course intro 1.1 prerequisite technology 1.2 compute specification workload ml training 1.3 create azure ml workspace 1.4 explore azure ml workspace 1.5 create manage datasets 1.6 create compute 1.7 monitor compute Domain 2: Explore data and train models 2.1 load transform data 2.2 analyze data azure data explorer 2.3 azure data explorer demo 2.5 use designer 2.7 automl azure ml studio 2.9 develop with jupyter notebook 2.10 develop with visual studio code 2.11 train model python sdk Domain 3: Prepare a model for deployment 3.1 configure compute for job run 3.2 GitHub to Azure Cloud Shell Feedback Loop 3.3 explore open datasets python sdk 3.4 explore azure ml cli 3.9 describe MLflow model output azure ml studio databricks 3.10 mlops mlflow tracking 3.11 dbmlops open source mlflow Domain 4: Deploy and retrain a model 4.1 real time and batch deployment 4.3 end to end ml databricks mlflow 4.4 dbmlops end to end mlops on databricks 4.5 using azure open datasets automl 4.6 trigger Azure Machine Learning Pipeline GitHub 5.0 conclusion Learning Objectives Manage Azure Resources for Machine Learning Run Experiments and Train Models Deploy and Operationalize Machine Learning Solutions Implement Responsible Machine Learning Additional Popular Resources Pytest Master Class AWS Solutions Architect Professional Course Github Actions and GitOps in One Hour Video Course Jenkins CI/CD and Github in One Hour Video Course AWS Certified Cloud Practitioner Video Course Advanced Testing with Pytest Video Course AWS Solutions Architect Certification In ONE HOUR Python for DevOps Master Class 2022: CI/CD, Github Actions, Containers, and Microservices MLOPs Foundations: Chapter 2 Walkthrough of Practical MLOps Learn Docker containers in One Hour Video Course Introduction to MLOps Walkthrough AZ-900 (Azure Fundamentals) Quick reference guide 52 Weeks of AWS Episode 8: Infrastructure as Code with CDK and AWS Lambda Learn GCP Cloud Functions in One Hour Video Course Python Devops in TWO HOURS! …”
Video -
893por Silva, AlexandraTabla de Contenidos: “…Complexity and Termination -- Learning Probabilistic Termination Proofs -- Ghost Signals: Verifying Termination of Busy Waiting -- Reflections on Termination of Linear Loops -- Decision Tree Learning in CEGIS-Based Termination Analysis -- ATLAS: Automated Amortised Complexity Analysis of Self-Adjusting Data Structures -- Decision Procedures and Solvers -- Theory Exploration Powered by Deductive Synthesis -- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver -- Porous Invariants -- JavaSMT 3: Interacting with SMT Solvers in Java -- Efficient SMT-based Analysis of Failure Propagation -- ToolX : Better Delta Debugging for the SMT-LIBv2 Language and Friends -- Learning Union of Integer Hypercubes with Queries (with applications to monadic decomposition) -- Interpolation and Model Checking for Nonlinear Arithmetic -- An SMT Solver for Regular Expressions and Linear Arithmetic over String Length -- Counting Minimal Unsatisfiable Subsets -- Sound Verification Procedures for Temporal Properties of Infinite-State Systems -- Hardware and Model Checking -- Progress in Certifying Hardware Model Checking Results -- Model-Checking Structured Context-Free Languages -- Model Checking ! …”
Publicado 2021
Libro electrónico -
894por Friesen, JeffTabla de Contenidos: “…""Do-While Statement""""Looping Over the Empty Statement""; ""Break and Labeled Break Statements""; ""Continue and Labeled Continue Statements""; ""Summary""; ""Chapter 3 Discovering Classes and Objects""; ""Declaring Classes and Instantiating Objects""; ""Declaring Classes""; ""Instantiating Objects with the New Operator and a Constructor""; ""Specifying Constructor Parameters and Local Variables""; ""Encapsulating State and Behaviors""; ""Representing State via Fields""; ""Declaring and Accessing Instance Fields""; ""Declaring and Accessing Class Fields""…”
Publicado 2013
Libro electrónico -
895Publicado 2015Tabla de Contenidos: “…""Polygonal Modeling of the Character's Accessories""""Introduction""; ""Preparing the scene for polygonal modeling""; ""Modeling the eye""; ""Modeling the armor plates""; ""Using the Mesh to Curve technique to add details""; ""Re-topology of the High Resolution Sculpted Character's Mesh""; ""Introduction""; ""Using the Grease Pencil tool to plan the edge-loops flow""; ""Using the Snap tool to re-topologize the mesh""; ""Using the Shrinkwrap modifier to re-topologize the mesh""; ""Using the LoopTools add-on to re-topologize the mesh""; ""Concluding the re-topologized mesh""…”
Libro electrónico -
896por Purdum, Jack. authorTabla de Contenidos: “…Termination Step; The Purpose of the Five Program Steps; A Revisit to Your First Program; The setup() Function; The loop() Function; Arduino Program Requirements; The Blink Program; Program Comments…”
Publicado 2015
Libro electrónico -
897Publicado 2015Tabla de Contenidos: “…Control an LED over the Internet""; ""Software""; ""Security""; ""Trying It Out""; ""Interacting with loop""; ""Running Functions from a Web Page""; ""Project 7. …”
Libro electrónico -
898
-
899Publicado 2018Tabla de Contenidos: “…T3 -- Duff, Nilsson, and Pope 1983 -- Exact pp-wave solutions of 11-dimensional supergravity -- Hull 1984 -- N4 remaining supersymmetry in Kaluza-Klein monopole background in D11 supergravity -- Han and Koh 1985 -- THE ELEVEN-DIMENSIONAL SUPERMEMBRANE -- Introduction -- Supermembranes and eleven-dimensional supergravity -- Bergshoeff, Sezgin and Townsend 1987 -- On the quantum mechanics of supermembranes -- de Wit, Hoppe, and Nicolai 1988 -- Multimembrane solutions of d11 supergravity -- Duff and Stelle 1991 -- Open p-branes -- Strominger 1996 -- D-branes from M-branes -- Townsend 1996 -- THE ELEVEN-DIMENSIONAL SUPERFIVEBRANE -- Introduction -- Black p-brane solutions of d11 supergravity theory -- Gueven 1992 -- Eleven-dimensional origin of string/string duality: a one loop test -- Duff, Liu, and Minasian 1995 -- One loop in eleven dimensions -- Green, Gutperle, and Vanhove 1997 -- Five-branes and M-theory on an orbifold -- Witten 1996 -- Covariant field equations of the M-theory fivebrane -- Howe, Sezgin, and West 1997 -- M-THEORY (BEFORE M-THEORY WAS COOL) -- Introduction -- Superstrings in d10 from supermembranes in d11 -- Duff, Howe, Inami, and Stelle 1987 -- Duality rotations in membrane theory -- Duff and Lu 1990 -- Unity of superstring dualities -- Hull and Townsend 1995 -- The eleven-dimensional supermembrane revisited -- Townsend 1995 -- INTERSECTING BRANES AND BLACK HOLES -- Introduction -- Intersecting M-branes -- Papadopoulos and Townsend 1996 -- Harmonic superpositions of M-branes -- Tseytlin 1996 -- The black branes of M-theory -- Duff, Lu, and Pope 1996 -- Intersecting M-branes as four-dimensional black holes -- Klebanov and Tseytlin 1996 -- M-THEORY AND DUALITY -- Introduction -- String theory dynamics in various dimensions -- Witten 1995 -- P-brane democracy -- Townsend 1996 -- The power of M-theory -- Schwarz 1996 -- Heterotic and Type I string dynamics from eleven dimensions -- Horava and Witten 1996 -- M-theory: the theory formerly known as strings -- Duff 1996 -- M-theory as a matrix model: a conjecture -- Banks, Fischler, Shenker, and Susskind 1997 -- Solutions of four-dimensional field theories via M-theory -- Witten 1997 -- The large N limit of superconformal field theories and supergravity -- Maldacena 1998.…”
Libro electrónico -
900Publicado 2022Tabla de Contenidos: “…-- PHP Quick Checklist -- Chapter 4: PHP: A Quick Reference -- Using PHP in an Existing Web Site -- Data Types in PHP -- Checking the Data Type of a Variable -- Explicitly Changing a Variable's Data Type -- Checking Whether a Variable Has Been Defined -- Doing Calculations with PHP -- Arithmetic Operators -- Using the Increment and Decrement Operators -- Determining the Order of Calculations -- Combining Calculations and Assignment -- Adding to an Existing String -- All You Ever Wanted to Know About Quotes-and More -- How PHP Treats Variables Inside Strings -- Using Escape Sequences Inside Double Quotes -- Embedding Associative Array Elements in a String -- Avoiding the Need to Escape Quotes with Heredoc Syntax -- Creating Arrays -- Building an Indexed Array -- Building an Associative Array -- Creating an Empty Array -- Multidimensional Arrays -- Using print_r() to Inspect an Array -- The Truth According to PHP -- Explicit Boolean Values -- Implicit Boolean ("Truthy" and "Falsy") Values -- Making Decisions by Comparing Two Values -- Testing More Than One Condition -- Using the switch Statement for Decision Chains -- Using a match Expression for Decision Chains -- Using the Ternary Operator -- Setting a Default Value with the Null Coalescing Operator -- Executing Code Repeatedly with a Loop -- Loops Using while and do . . . while -- The Versatile for Loop -- Looping Through Arrays and Objects with foreach -- Breaking Out of a Loop -- Modularizing Code with Functions -- Passing Values to Functions -- Setting Default Values for Arguments -- Variable Scope: Functions as Black Boxes -- Returning Values from Functions -- Generators: A Special Type of Function That Keeps on Giving -- Passing by Reference: Changing the Value of an Argument -- Functions That Accept a Variable Number of Arguments…”
Libro electrónico