Mostrando 2,041 - 2,060 Resultados de 4,995 Para Buscar 'Övralid~', tiempo de consulta: 1.70s Limitar resultados
  1. 2041
    por Crowley, Paul
    Publicado 2007
    Tabla de Contenidos: “…Preparing for Disc Examination; Forensic Hardware; Forensic Software; Forensic Workstation; Validation; Disc Triage; Chapter 6. CD/DVD Inspector - The Basics; CD/DVD Inspector Installation; CD/DVD Inspector Facts; Getting Started with CD/DVD Inspector; Searching; User Preferences; Options Settings…”
    Libro electrónico
  2. 2042
    por Bridgeland, David Murray, 1961-
    Publicado 2009
    Tabla de Contenidos: “…Challenging Personalities in a Model-Based WorkshopWorkshop Antipatterns; Case Study; Chapter 10: Business Model Analysis; Acquisition Analysis; Chapter 11: Business Simulation; Simulating a Business Motivation Model; Validating a Simulation; Simulation and Standards; Chapter 12: Executing a Business Model; Packaged Execution; Direct Execution; Executing Business Rules; Executing Business Processes; Business Activity Monitoring; The Future of Business Modeling; Bibliography; Index…”
    Libro electrónico
  3. 2043
    por Keig, Andrew
    Publicado 2013
    Tabla de Contenidos: “…Feature: Get a projectFeature: Edit a project; Feature: Delete a project; Feature: List projects; GitHub API; Feature: List repositories; Feature: List commits; Feature: List issues; Validating parameters with param middleware; Route improvements; Summary; Chapter 3: Templating; Server-side templating; Feature: Master Page; Package management with Bower; Templates; Client-side development with Backbone.js; Feature: List projects; Feature: List repositories; Feature: Create a project; Feature: Edit a project; Feature: Delete a project; Feature: List commits; Feature: List issues; Summary…”
    Libro electrónico
  4. 2044
    por Kamso, Noripah
    Publicado 2013
    Tabla de Contenidos: “…; ""INTRODUCTION""; ""THE APPLICATION OF ISLAMIC ETHICS TO ASSET MANAGEMENT""; ""Materiality and Validity of Transactions""…”
    Libro electrónico
  5. 2045
    por Mason, Brian
    Publicado 2012
    Tabla de Contenidos:
    Libro electrónico
  6. 2046
    Tabla de Contenidos:
    Libro electrónico
  7. 2047
    por Boronczyk, Tim, 1979-
    Publicado 2008
    Tabla de Contenidos: “…PHP and MySQL Create-Modify-Reuse; About the Author; About the Contributor; Credits; Contents; Introduction; Who This Book Is For; What This Book Covers; How This Book Is Structured; What You Need to Use This Book; Conventions; Source Code; Errata; p2p.wrox.com; Chapter 1: User Registration; Plan the Directory Layout; Planning the Database; Writing Shared Code; User Class; CAPTCHA; Templates; Registering a New User; E-mailing a Validation Link; Logging In and Out; Changing Information; Forgotten Passwords; Summary; Chapter 2: Community Forum; Design of the Forum; Designing the Database…”
    Libro electrónico
  8. 2048
    Publicado 2004
    Tabla de Contenidos: “…chapter ACTION -- chapter ACTIVATION/INHIBITION -- chapter AGING -- chapter ANIMAL COGNITION -- chapter ARTIFICIAL LIFE -- chapter ASPECT -- chapter ATTENTION -- chapter AUTISM -- chapter AUTOMATISM -- chapter CATEGORIZATION -- chapter CAUSALITY AND MENTAL CAUSATION -- chapter COGNITIVE DEVELOPMENT -- chapter COGNITIVE PSYCHIATRY -- chapter COGNITIVISM -- chapter COMMUNICATION -- chapter COMPETENCE/PERFORMANCE -- chapter COMPLEXITY -- chapter COMPUTATIONAL ANALYSIS -- chapter CONCEPT -- chapter CONNECTIONISM -- chapter CONSCIOUSNESS -- chapter CONSTRAINT -- chapter CONSTRUCTIVISM -- chapter CONTEXT AND SITUATION -- chapter CONTROL -- chapter COUNTERFACTUAL -- chapter CREATIVITY -- chapter DIFFERENTIATION -- chapter DISCOURSE -- chapter DISTRIBUTED INTELLIGENCE -- chapter DOMAIN SPECIFICITY -- chapter DUALISM/MONISM -- chapter DYNAMIC SYSTEM -- chapter EMOTION -- chapter EPIPHENOMENALISM -- chapter EPISTEMIC -- chapter EPISTEMOLOGY -- chapter EXPERIENCE -- chapter EXPLANATION -- chapter EXPRESSIVENESS -- chapter FRAME PROBLEM -- chapter FUNCTION -- chapter FUNCTIONAL NEUROIMAGING -- chapter FUNCTIONALISM -- chapter FUZZY -- chapter GRAMMAR -- chapter IDENTITY -- chapter INDIVIDUALISM -- chapter INFANT COGNITION -- chapter INFORMATION -- chapter INHERITANCE -- chapter INTENTIONALITY -- chapter INTERACTION -- chapter INTERPRETATION -- chapter INTROSPECTION -- chapter KNOWLEDGE BASE -- chapter LANGUAGE -- chapter LANGUAGE OF THOUGHT -- chapter LEARNING -- chapter LEXICON -- chapter LOCALIZATION OF FUNCTION -- chapter LOGIC -- chapter LOGICISM/PSYCHOLOGISM -- chapter MEMORY -- chapter MENTAL IMAGERY -- chapter METACOGNITION -- chapter MIND -- chapter MODALITY -- chapter MODEL -- chapter MODULARITY -- chapter MORPHOLOGY -- chapter NEURAL DARWINISM -- chapter NEURAL NETWORK -- chapter NEUROPSYCHOLOGY -- chapter NORMATIVITY -- chapter NUMBER -- chapter ORAL -- chapter PERCEPTION -- chapter PHENOMENALISM -- chapter PHYSICALISM -- chapter PRAGMATICS -- chapter PROBLEM SOLVING -- chapter PROPOSITIONS ATTITUDE -- chapter PROPOSITIONS FORMAT -- chapter PSYCHOPHYSICS -- chapter QUALITATIVE PHYSICS -- chapter REALISM -- chapter REASONING AND RATIONALITY -- chapter REDUCTIONISM -- chapter RELEVANCE -- chapter SEMANTIC NETWORK -- chapter SEMANTICS -- chapter SEMIOTICS -- chapter SENSE -- chapter SENSE/REFERENCE -- chapter SIGN -- chapter SOCIAL COGNITION -- chapter SPACE -- chapter SUBDOXASTIC -- chapter SUPERVENIENCE -- chapter SYMBOL -- chapter SYNTAX -- chapter THEMATIC RELATION -- chapter THEORY OF MIND -- chapter TIME AND TENSE -- chapter TRUTH -- chapter TURING MACHINE -- chapter TYPE/TOKEN -- chapter VALIDATION -- chapter WRITING -- chapter List of Entries…”
    Libro electrónico
  9. 2049
    Publicado 2003
    Tabla de Contenidos: “…Emde -- Narratives of emotional experince : their nature and development / Dennis Palmer Wolf -- The MacArthur story stem battery : development, administration, reliability, validity and reflections about meaning / Inge Bretherton and David Oppenheim -- The MacArthur narrative coding system : one approach to highlighting affective meaning-making in the MacArthur story stem battery / Joann L. …”
    Libro electrónico
  10. 2050
    Publicado 2023
    Tabla de Contenidos: “…-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems -- Model Checking -- Bounded Model Checking for Asynchronous Hyperproperties -- Model Checking Linear Dynamical Systems under Floating-point Rounding -- Efficient Loop Conditions for Bounded Model Checking Hyperproperties -- Reconciling Preemption Bounding with DPOR -- Optimal Stateless Model Checking for Causal Consistency -- Symbolic Model Checking for TLA+ Made Faster -- AutoHyper: Explicit-State Model Checking for HyperLTL -- Machine Learning/Neural Networks -- Feature Necessity & Relevancy in ML Classifier Explanations -- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks -- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks -- Neural Network-Guided Synthesis of Recursive List Functions -- Automata -- Modular Mix-and-Match Complementation of Buechi automata -- Validating Streaming JSON Documents With Learned VPAs -- Antichains Algorithms for the Inclusion Problem Between ω -VPL -- Stack-Aware Hyperproperties -- Proofs -- Propositional Proof Skeletons -- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers -- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format -- Constraint Solving/Blockchain -- The Packing Chromatic Number of the Infinite Square Grid is 15 -- Active Learning for SAT Solver Benchmarking -- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving -- Inferring Needless Write Memory Accesses on Ethereum Bytecode -- Markov Chains/Stochastic Control -- A Practitioner’s Guide to MDP Model Checking Algorithms -- Correct Approximation of Stationary Distributions -- Robust Almost-Sure Reachability in Multi-Environment MDPs -- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning -- Verification -- A Formal CHERI-C Semantics for Verification -- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm -- Parameterized Verification under TSO with Data Types -- Verifying Learning-Based Robotic Navigation Systems: A Case Study -- Make flows small again: revisiting the flow framework -- ALASCA: Reasoning in Quantified Linear Arithmetic -- A Matrix-Based Approach to Parity Games -- A GPU Tree Database for Many-Core Explicit State Space Exploration…”
    Libro electrónico
  11. 2051
    Publicado 2023
    Tabla de Contenidos: “…Windows Registry analysis tools -- Registry Explorer -- RegRipper -- Registry Viewer -- RECmd.exe -- Windows Registry forensic analysis exercises -- Summary -- Chapter 5: User Profiling Using the Windows Registry -- Profiling system details -- Identifying the OS version -- Identifying CurrentControlSet -- Validating the computer name -- Identifying time zones -- Identifying services -- Installed applications -- The PrefetchParameters subkey -- Network activities -- Autostart registry keys -- Profiling user activities -- SAM registry hive -- Domain and local user details -- NTUSER.DAT…”
    Libro electrónico
  12. 2052
    por Negro, Frankie Costa
    Publicado 2022
    Tabla de Contenidos: “…-- Hybrid architecture tenets -- Use cases for AWS Outposts -- Customer problems -- Customer opportunities -- Summary -- Chapter 2: AWS Outposts Anatomy -- Structural elements - rack and power -- Rack -- Power -- Communications elements - networking -- Networking resources -- Capabilities - services and features -- Compute and storage -- Containers -- Databases -- S3 -- Connectivity elements - cables and connectors -- Summary -- Chapter 3: Pricing, Ordering, and Installation -- AWS Outposts pricing options -- Pricing for services running on Outposts -- Placing an order -- Order fulfillment and installation process -- Pre-sales -- Sizing and pricing -- Order submission -- Site validation -- Order approval -- Delivery and installation -- Activation -- Summary -- Part 2: Security, Monitoring, and Maintenance -- Chapter 4: Operations and Working with Outposts Resources -- Working with instances -- Outposts networking design example -- Outposts instance launch example -- Working with local gateways -- Local gateway structure -- Local gateway route table -- Working with shared resources -- Summary -- Chapter 5: Security Aspects in Outposts -- Data protection -- IAM in Outposts -- Using service-linked roles -- The physical security of Outposts -- Outposts resilience -- Compliance and certifications -- Summary -- Chapter 6: Monitoring Outposts -- Monitoring with CloudWatch -- CloudWatch in action - alarms -- CloudWatch in action - dashboards -- CloudWatch visualizations on the AWS Outposts service page -- Logging with CloudTrail…”
    Libro electrónico
  13. 2053
    por Citro, Constance F. 1942-
    Publicado 1998
    Tabla de Contenidos: “…-- SURVEY MEASURES OF PROGRAM ELIGIBILITY, PARTICIPATION, AND BENEFITS -- Welfare Program Participation And Benefits -- Welfare Program Eligibility -- Child Care -- Unemployment Compensation -- Medicaid -- OUTCOME MEASURES IN SURVEYS -- PROGRAM RULES -- ADMINISTRATIVE DATA ON PROGRAM RECIPIENTS -- Implications For Data Collectors -- COORDINATION -- QUESTIONNAIRE DESIGN AND ADMINISTRATION -- DATA VALIDATION -- FLEXIBILITY -- SAMPLE DESIGN -- Research Issues for Behavioral Analyses -- References -- Appendix A Workshop Agenda And List Of Participants -- WORKSHOP PARTICIPANTS -- Appendix B Comparison Of Prior Law And The Personal Responsibility And Work Opportunity Reconciliation Act -- Appendix C Major Survey Sources, Health And Social Welfare Programs -- THE CPS MARCH INCOME SUPPLEMENT -- Design -- Content (March 1996 Survey) -- Demographic Characteristics -- Current Labor Force Status -- Work Experience Last Year -- Income and Program Participation Last Year -- Health and Health Insurance Coverage -- THE SURVEY OF INCOME AND PROGRAM PARTICIPATION -- Design -- Content Changes -- Content (Core, 1996 Panel) -- Demographic Characteristics -- Labor Force Participation in Past 4 Months -- Previous Work Experience (Wave 1 Topical Module) -- Income and Program Participation (for each person) -- Health and Health Care Use -- Health Insurance Coverage (for each person -- which months covered) -- THE NATIONAL HEALTH INTERVIEW SURVEY -- Design…”
    Libro electrónico
  14. 2054
    Publicado 1993
    Tabla de Contenidos: “…Preventing Drug Abuse -- Copyright -- Contents -- Preface -- Executive Summary -- 1 Illicit Drug Use in the United States -- DIAGNOSING DRUG PROBLEMS -- The Individual Perspective -- Age-Related Characteristics -- Sequence and Progression of Drug Involvement -- Consequences -- The Community Perspective -- TRENDS IN DRUG USE -- Population Survey Results -- Validity and Reliability of Survey Data -- DAWN Data -- Data on Treatment Demand -- Drug Abuse and AIDS -- Criminal Justice Statistics -- Reasons for the Decline in the General Population -- DISAGGREGATION OF SPECIAL POPULATIONS -- Age -- Race and Ethnicity -- Socioeconomic and Economic Factors -- SUMMARY -- 2 Concepts of Prevention -- INTRODUCTION -- The Risk Factor Approach -- The Developmental Approach -- Social Influence Approaches -- The Community-Specific Approach -- STUDIES OF RISK AND VULNERABILITY -- Genetic and Congenital Predispositions -- Personality Characteristics -- Socioeconomic Factors at the Neighborhood Level -- Relationships Among Risk Factors -- Research Needs -- THE DEVELOPMENTAL APPROACH -- A Model of Progressive Problem Behavior -- Taking the Model Seriously: Reforming the School -- Research Needs -- SOCIAL INFLUENCE AND SOCIAL LEARNING -- Research Needs -- SUMMARY -- 3 Evaluating Prevention Program Effects -- META-ANALYSES OF PREVENTION INTERVENTIONS -- Tobler I -- Tobler II -- Other Meta-Analyses -- Summary -- THREE PROGRAMS MEETING TOBLER'S CRITERIA -- Life Skills Training Program -- The Cognitive-Behavioral Approach -- The Napa Drug Abuse Prevention Project -- DO LARGE-SCALE SOCIAL INFLUENCE PROGRAMS WORK? …”
    Libro electrónico
  15. 2055
    Publicado 2014
    Tabla de Contenidos: “…KeysForeign Keys; Database Constraints; Views; The Relational Model; Exercises; Answers; Part II: Laying the Foundations; Chapter 4: Time and the Database; Temporal Databases; Timestamped Propositions; Valid Time vs. Transaction Time; Some Fundamental Questions; Exercises; Answers; Chapter 5: What's the Problem?…”
    Libro electrónico
  16. 2056
    por Gackenheimer, Cory. author
    Publicado 2015
    Tabla de Contenidos: “…How JSX Converts from an XML-Like Syntax to Valid JavaScript Spread Attributes and Other Considerations for JSX; Summary; Chapter 4: Building a React Web Application; Outlining Your Application's Basic Functionality; Thinking in Terms of Components; Wireframes; Rewrite an Existing Application; Creating the Necessary Components for Your App; Testing Your Application; Simulate; renderIntoDocument; mockComponent; isElement; isElementOfType; isDOMComponent; isCompositeComponent; isCompositeComponentWithType ; findAllInRenderedTree; scryRenderedDOMComponentsWithClass…”
    Libro electrónico
  17. 2057
    Publicado 2015
    Tabla de Contenidos: “…:in-range and :out-of-range:valid and :invalid; Selectors and Specificity; Conclusion; CSS Architecture and Organization; CSS File Organization; How many files?…”
    Libro electrónico
  18. 2058
    Publicado 2015
    Tabla de Contenidos: “…Confidentiality; The Right to Withdraw; Appropriate Incentives; Valid and Reliable Data; Acknowledge Your True Capabilities; Data Retention, Documentation, and Security…”
    Libro electrónico
  19. 2059
    Publicado 2007
    Tabla de Contenidos: “…; JOB ANALYSIS; JOB DOCUMENTATION AND JOB DESCRIPTIONS; JOB EVALUATION; BENCHMARK JOBS; COLLECTING THE RIGHT DATA; DECISION FACTORS IN COLLECTING MARKET DATA; KNOW THE MARKET: HALF THE BATTLE; GATHERING VALID DATA; DATA SOURCES…”
    Libro electrónico
  20. 2060
    por Lidie, Stephen
    Publicado 2002
    Tabla de Contenidos: “…Programming StyleNaming Conventions for Widget Types; Designing Your Windows; Debugging and Prototyping Perl/Tk Programs; Geometry Management; The pack Geometry Manager; Options for pack; Positioning Widgets; Allocation Rectangles; Filling the Allocation Rectangle; Expanding the Allocation Rectangle; Anchoring a Widget in Its Allocation Rectangle; Widget Order in the Window; Padding the Size of the Widget; Valid screen distances; Displaying in a Parent Other Than Your Own; Methods Associated with pack; Unpacking a widget; Retrieving pack information; Disabling and enabling automatic resizing…”
    Libro electrónico