Search Results - Refco~

Entrepreneurship and Innovation Toolkit by Swanson, Lee

Table of Contents: “…Entrepreneurship and Innovation ToolkitAcknowledgementsIntroduction -- Chapter 1 – Introduction to Entrepreneurship -- Chapter 2 – Opportunity Recognition and Design Thinking -- Chapter 3 – Evaluating Entrepreneurial Opportunities -- Chapter 4 – Business Models -- Chapter 5 – Business Planning -- Chapter 6 – Financing Entrepreneurship -- Chapter 7 – Business Set-Up, Start-Up, and Growth -- Chapter 8 – Strategic Entrepreneurship -- Chapter 9 – Innovation and Entrepreneurship -- Chapter 10 – The Entrepreneurial Environment -- ReferencesThe Language of Entrepreneurship…”
Access online version

Intercultural Communication for the Community College (Second Edition) by Krumrey, Karen

Table of Contents: “…Disclaimer: Graphics in Progress -- Acknowledgments -- Introduction -- Main Body -- Chapter 1- The Study of Intercultural Communication -- Chapter 2- Starting With Culture -- Chapter 3- Self & Identity -- Chapter 4- Verbal Communication -- Chapter 5- Nonverbal Communication -- Chapter 6- Conflict -- Chapter 7- Relationships -- Chapter 8- Popular Culture and Social Media -- Chapter 9- Tourism -- Chapter 10- Business -- Chapter 11- Education -- Chapter 12- Healthcare -- Glossary -- References -- Index…”
Access online version

The Demography of Disasters Impacts for Population and Place /

Table of Contents: “…Part 1 People, Vulnerability and Resilience -- Demographic approaches to understanding impacts from disasters -- The four periods of natural and technological disasters -- Demographic and vulnerability aspects of affected populations and regionalization of natural hazards related with extreme rainfall events in Brazil -- Natural Disaster and Social Capital Nexus for Resilience: A study of Jeddah City, Kingdom of Saudi Arabia -- Part 2 - Migration & Relocation, Climate Change and Spatial Impacts -- Relocation of Communities after Natural Disasters in Taiwan and Japan -- Long-term mass displacements after nuclear disasters - Are they the largest emergency displacements of human history?…”
Link to Metadata

Managing Risk and Information Security Protect to Enable / by Harkins, Malcolm W.

Table of Contents: “…Chapter 1 Introduction -- Chapter 2 Misperception of Risk -- Chapter 3 Governance and Internal Partnerships -- Chapter 4 External Partnerships -- Chapter 5 People Are the Perimeter -- Chapter 6 Emerging Capabilities and Usage Models -- Chapter 7 A New Security Architecture to Improve Business Agility -- Chapter 8 Looking to the Future -- Chapter 9 Corporate Social Responsibility -- Chapter 10 The 21st Century CISO -- Chapter 11 Performance Coaching -- Appendix A: References. .…”
Link to Metadata

Visual Securitization Humanitarian Representations and Migration Governance / by Massari, Alice

Table of Contents: “…Threatened, The Refugee as the Referent Object -- Chapter 7. The (In)Visibility of Migrants -- Chapter 8. …”
Link to Metadata

Clinical Text Mining Secondary Use of Electronic Patient Records / by Dalianis, Hercules

Table of Contents: “…Introduction -- The history of the patient record and the paper record -- User needs: clinicians, clinical researchers and hospital management -- Characteristics of patient records and clinical corpora -- Medical classifications and terminologies -- Evaluation metrics and evaluation -- Basic building blocks for clinical text processing -- Computational methods for text analysis and text classification -- Ethics and privacy of patient records for clinical text mining research -- Applications of clinical text mining -- Networks and shared tasks in clinical text mining -- Conclusions and outlook -- References -- Index.…”
Link to Metadata

Antiracist Writing Assessment Ecologies Teaching and Assessing Writing for a Socially Just Future by Inoue, Asao B.

Table of Contents: “…Front Matter -- Acknowledgments -- Introduction: Writing Assessment Ecologies as Antiracist Projects -- Chapter 1: The Function of Race in Writing Assessments -- Chapter 2: Antiracist Writing Assessment Ecologies -- Chapter 3: The Elements of an Antiracist Writing Assessment Ecology -- Chapter 4: Approaching Antiracist Work in an Assessment Ecology -- Chapter 5: Designing Antiracist Writing Assessment Ecologies -- Notes -- References -- Appendix A: English 160W's Grading Contract -- Appendix B: Example Problem Posing Labor Process…”
Access online version

A Foundation Course in Reading German by Martin, Howard, Ng, Alan

Table of Contents: “…Introduction -- 1: Basics -- 2: Cases, present tense -- 3: Articles, simple past -- 4: Verbs with prefixes; adjective endings -- 5: Prepositions, reflexives -- 6: Conjunctions, comparatives -- 7: Perfect tenses and participles -- 8: Werden, relative clauses -- 9: Passive voice -- 10: Modal verbs -- 11: Infinitive usages -- 12: Da- compounds -- 13: Extended adjective constructions -- 14: Subjunctive I -- 15: Subjunctive II -- 16: Finishing touches -- ReferencePractice…”
Access online version

Introduction to Library and Information Science by Hepler, Reed, Horalek, David

Table of Contents: “…Library History and Essential Functions -- Data, Information, and Knowledge -- History of Libraries -- Library Services -- Acquisitions -- Collection Development -- Classficiation and Cataloging -- Facilities and Funding -- Circulation -- Reference Librarianship -- Preservation -- Part II. …”
Access online version

An Introduction to Computer Networks by Dordal, Peter Lars

Table of Contents: “…0 Preface -- 1 An Overview of Networks -- 2 Ethernet -- 3 Other LANs -- 4 Links -- 5 Packets -- 6 Abstract Sliding Windows -- 7 IP version 4 -- 8 IP version 6 -- 9 Routing-Update Algorithms -- 10 Large-Scale IP Routing -- 11 UDP Transport -- 12 TCP Transport -- 13 TCP Reno and Congestion Management -- 14 Dynamics of TCP Reno -- 15 Newer TCP Implementations -- 16 Network Simulations: ns-2 -- 17 The ns-3 Network Simulator -- 18 Mininet -- 19 Queuing and Scheduling -- 20 Quality of Service -- 21 Network Management and SNMP -- 22 Security -- 23 Bibliography -- 24 Selected Solutions…”
Access online version

How Megaprojects Are Damaging Nigeria and How to Fix It A Practical Guide to Mastering Very Large Government Projects / by Ibrahim, Jimoh, Loch, Christoph, Sengupta, Kishore

Table of Contents: “…1 Introduction: The Project Abandonment Problem -- References -- 2 What We Know About the Management of Very Large Projects -- 2.1 Project Success Factors as Lists -- 2.2 The Project Success Frameworks of Miller and Lessard and Morris and Hough -- 2.2.1 Miller and Lessard (2000) -- 2.2.2 Morris and Hough (1987) -- 2.3 The Nigerian Context -- 2.4 The Extended Theoretical Framework -- 2.5 What About Corruption? …”
Link to Metadata

Selected Abstracts of the 15th International Workshop on Neonatology and the 40th Congress UMEMPS (Union of Middle-Eastern and Mediterranean Pediatric Societies); Cagliari (Italy);... by -

Connect to this object online.

Cybersecurity of Digital Service Chains Challenges, Methodologies, and Tools /

Table of Contents: “…A Reference Architecture for Management of Security Operations in Digital Service Chains -- Efficient flow monitoring in digital services -- Intelligent Transportation Systems -- models, challenges, security aspects -- NAD: Machine Learning based Component for Unknown Attack Detection in Network Traffic -- Detecting unknown attacks through system behavior analysis -- Signature-based detection of botnet DDoS attacks -- Automatic Attack Pattern Mining for Generating Actionable CTI Applying Alert Aggregation -- Blockchain-based task and information management in computational cloud systems.…”
Link to Metadata

Post-Communist Transformations in Baltic Countries A Restorations Approach in Comparative Historical Sociology / by Norkus, Zenonas

Table of Contents: “…Kann -- Against the Odds: The Triumph of Restorationism in the Baltic Countries -- Three Phoenixes from the Ashes I: Economic Progress of Restored Baltic States in Cross-Time Comparison -- Three Phoenixes from the Ashes II: Health Progress of Restored Baltic States in Cross-Time Comparison -- Three Phoenixes from the Ashes III: Somatic Progress of Restored Baltic States in Cross-Time Comparison -- Conclusion -- References -- Index. .…”
Link to Metadata

Preparing for Life in a Digital Age The IEA International Computer and Information Literacy Study International Report / by Fraillon, Julian, Ainley, John, Schulz, Wolfram, Friedman, Tim, Gebhardt, Eveline

Table of Contents: “…Conclusions and Discussion -- Appendices -- References -- Tables and Figures.…”
Link to Metadata

Think Java How To Think Like a Computer Scientist by Mayfield, Chris, Downey, Allen

Table of Contents: “…Preface -- 1 Computer Programming -- 2 Variables and Operators -- 3 Input and output -- 4 Methods and Testing -- 5 Conditionals and logic -- 6 Loops and Strings -- 7 Arrays and References -- 8 Recursive Methods -- 9 Immutable Objects -- 10 Mutable Objects -- 11 Designing Classes -- 12 Arrays of Objects -- 13 Objects of Arrays -- 14 Extending Classes -- 15 Arrays of Arrays -- 16 Reusing Classes -- 17 Advanced Topics -- A Tools -- B Javadoc -- C Graphics -- D Debugging…”
Access online version

Introduction to Political Science Research Methods by Franco, Josh, Lee, Charlotte, Vue, Kau

Table of Contents: “…Preface -- About the Authors -- History of this OER -- Table of Tables -- Table of Figures -- Chapter 1- Introduction -- Chapter 2- History and Development of the Empirical Study of Politics -- Chapter 3- The Scientific Method -- Chapter 4- Theories, Hypotheses, Variables, and Units -- Chapter 5- Conceptualization, Operationalization, Measurement -- Chapter 6- Elements of Research Design -- Chapter 7- Qualitative Methods -- Chapter 8- Quantitative Research Methods and Means of Analysis -- Chapter 9- Research Ethics -- Chapter 10- Conclusion -- Appendices -- References -- Index…”
Access online version

Engineering Systems, Dynamics, Modelling, Simulation, and Design by Tabatabaian, Mehrzad

Table of Contents: “…Acknowledgements -- About the Author -- Preface -- List of Figures -- List of Tables -- Introduction -- Lagrangian Mechanics -- Bond Graph Modelling Method -- Building Bond Graph Models: General Procedure and Application -- Introduction to 20-sim Software Tool -- Bond Graph Models for Complex Mechanical Systems -- Bond Graph Models for Electrical Systems -- Bond Graph Models for Hydraulic Systems -- Bond Graph Models for Multi-Domain Systems -- Frequency Analysis: Bode Plots and Transfer Function -- Miscellaneous Topics -- References -- Versioning History…”
Access online version

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Concurrent and Distributed Systems -- Computing the concurrency threshold of sound free-choice workflow nets -- Fine-Grained Complexity of Safety Verification -- Parameterized verification of synchronization in constrained reconfigurable broadcast networks -- EMME: a formal tool for the ECMAScript Memory Model Evaluation -- SAT and SMT II -- What a Difference a Variable Makes -- Abstraction Refinement for Emptiness Checking of Alternating Data Automata -- Revisiting Enumerative Instantiation -- An Non-linear Arithmetic Procedure for Control-Command Software Verification -- Security and Reactive Systems -- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection -- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts -- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties -- The Refinement Calculus of Reactive Systems Toolset -- Static and Dynamic Program Analysis -- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation -- Optimal Dynamic Partial Order Reduction with Observers -- Structurally Defined Conditional Data-flow Static Analysis -- Geometric Nontermination Arguments -- Hybrid and Stochastic Systems -- Efficient dynamic error reduction for hybrid systems reachability analysis -- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic -- Multi-Cost Bounded Reachability in MDPs -- A Statistical Model Checker for Nondeterminism and Rare Events -- Temporal logic and mu-calculus -- Permutation Games for the Weakly Aconjunctive mu-Calculus -- Symmetry Reduction for the Local Mu-Calculus -- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models -- 7th Competition on Software Verification (SV-COMP) -- 2LS: Memory Safety and Non-Termination (Competition contribution) -- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) -- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-BasedDependency Analysis (Competition Contribution) -- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) -- Map2Check using LLVM and KLEE (Competition Contribution) -- Symbiotic 5: Boosted Instrumentation (Competition Contribution) -- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) -- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) -- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).…”
Link to Metadata

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /

Table of Contents: “…Automata and Timed Systems -- Symbolic Register Automata -- Abstraction Refinement Algorithms for Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and co-safety comparator automata for discounted-sum inclusion -- Clock Bound Repair for Timed Systems -- Verifying Asynchronous Interactions via Communicating Session Automata -- Security and Hyperproperties -- Verifying Hyperliveness -- Quantitative Mitigation of Timing Side Channels -- Property Directed Self Composition -- Security-Aware Synthesis Using Delayed-Action Games -- Automated Hypersafety Verification -- Automated Synthesis of Secure Platform Mappings -- Synthesis -- Synthesizing Approximate Implementations for Unrealizable Specifications -- Quantified Invariants via Syntax-Guided Synthesis -- Efficient Synthesis with Probabilistic Constraints -- Membership-based Synthesis of Linear Hybrid Automata -- Overfitting in Synthesis: Theory and Practice -- Proving Unrealizability for Syntax-Guided Synthesis -- Model Checking -- BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings -- When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-Agent Protocol -- Extending NUXMV with Timed Transition Systems and Timed Temporal Properties -- Cerberus-BMC: a Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C -- Cyber-physical Systems and Machine Learning -- Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification -- StreamLAB: Stream-based Monitoring of Cyber-Physical Systems -- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems -- The Marabou Framework for Verification and Analysis of Deep Neural Networks -- Probabilistic Systems, Runtime Techniques -- Probabilistic Bisimulation for Parameterized Systems -- Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks -- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games -- Symbolic Monitoring against Specifications Parametric in Time and Data -- STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis -- Dynamical, Hybrid, and Reactive Systems -- Local and Compositional Reasoning For Optimized Reactive Systems -- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach -- Flexible Computational Pipelines for Robust Abstraction-based Control Synthesis -- Temporal Stream Logic: Synthesis beyond the Bools -- Run-Time Optimization for Learned Controllers through Quantitative Games -- Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations.…”
Link to Metadata