Search Results - "statist"

Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Table of Contents: “…FASE Contributions -- On Benchmarking for Concurrent Runtime Verification -- Certified Abstract Cost Analysis -- Bootstrapping Automated Testing for RESTful Web Services -- A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features -- Finding a Universal Execution Strategy for Model Transformation Networks -- CoVEGI: Cooperative Veri cation via Externally Generated Invariants -- Engineering Secure Self-Adaptive Systems with Bayesian Games -- An Abstract Contract Theory for Programs with Procedures -- Paracosm: A Test Framework for Autonomous Driving Simulations -- Compositional Analysis of Probabilistic Timed Graph Transformation Systems -- Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds -- Effects of Program Representation on Pointer Analyses - An Empirical Study -- Keeping Pace with the History of Evolving Runtime Models -- SpecTest: Specification-Based Compiler Testing -- PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems -- Understanding Local Robustness of Deep Neural Networks under Natural Variations -- Test-Comp Contributions -- Status Report on Software Testing: Test-Comp 2021 -- CoVeriTest with Adaptive Time Scheduling (Competition Contribution) -- FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution) -- Symbiotic 8: Parallel and Targeted Test Generation (Competition Contribution).…”
Link to Metadata

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: “…Theorem Proving -- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning -- Efficient verification of imperative programs using auto2 -- Frame Inference for Inductive Entailment Proofs in Separation Logic -- Verified Model Checking of Timed Automata -- SAT and SMT I -- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams -- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving -- Automatic Generation of Precise and Useful Commutativity Conditions -- Bit-Vector Model Counting using Statistical Estimation -- Deductive Verification -- Hoare Logics for Time Bounds -- A Verified Implementation of the Bounded List Container -- Automating Deductive Verification for Weak-Memory Programs -- Software Verification and Optimisation -- Property Checking Array Programs Using Loop Shrinking -- Invariant Synthesis for Incomplete Verification Engines -- Accelerating Syntax-Guided Invariant Synthesis -- Daisy - Framework for Analysis and Optimization of Numerical Programs -- Model Checking -- Oink: an Implementation and Evaluation of Modern Parity Game Solvers -- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) -- Generation of Minimum Tree-like Witnesses for Existential CTL -- From Natural Projection to Partial Model Checking and Back -- Machine Learning -- ICE-based Refinement Type Discovery for Higher-Order Functional Programs -- Strategy Representation by Decision Trees in Reactive Synthesis -- Feature-Guided Black-Box Safety Testing of Deep Neural Networks. .…”
Link to Metadata

Introduction to GNU Octave A brief tutorial for linear algebra and calculus students by Lachniet, Jason

Table of Contents: “…Contents -- Preface -- 1 Basic operation -- 1.1 Introduction -- 1.2 Navigating the GUI -- 1.3 Matrices and vectors -- 1.4 Plotting -- Chapter 1 Exercises -- 2 Matrices and linear systems -- 2.1 Linear systems -- 2.2 Polynomial curve fitting -- 2.3 Matrix transformations -- Chapter 2 Exercises -- 3 Calculus -- 3.1 Limits, sequences, and series -- 3.2 Numerical integration -- 3.3 Parametric, polar, and implicit functions -- 3.4 Complex variables -- 3.5 Special functions -- 3.6 Symbolic operations -- Chapter 3 Exercises -- 4 Eigenvalue problems -- 4.1 Eigenvalues and eigenvectors -- 4.2 Markov chains -- 4.3 Diagonalization -- 4.4 Singular value decomposition -- 4.5 Gram-Schmidt and the QR algorithm -- Chapter 4 Exercises -- 5 Additional topics -- 5.1 Three dimensional graphs -- 5.2 Multiple integrals -- 5.3 Vector fields -- 5.4 Statistics -- 5.5 Differential equations -- Chapter 5 Exercises -- 6 Applied projects -- 6.1 SVD and digital image compression -- 6.2 The Gini index and nonlinear curve-fitting -- 6.3 Designing a helical strake: arc length and curvature -- 6.4 Modeling a cave passage: cubic spline curves -- 6.5 Graphs of surfaces and 3D-printing -- A MATLAB compatibility -- B List of Octave commands -- References -- Index…”
Access online version

Hybrid-Flexible Course Design by Beatty, Brian

Table of Contents: “…New Technologies Deliver on the Promise of HyFlex -- 3.4. Using HyFlex in Statistics for Engineers and (Data) Scientists -- 3.5. …”
Access online version

Introduction to Migration Studies An Interactive Guide to the Literatures on Migration and Diversity /

Table of Contents: “…Quantitative methods in migration research -- Chapter 27. Migration statistics -- Chapter 28. How to predict future migration: different methods explained and compared -- Chapter 29. …”
Link to Metadata

Together The Science of Social Psychology

Table of Contents: “…About Noba & Acknowledgements -- Social Psychology as a Science -- 1 An Introduction to the Science of Social PsychologyRobert Biswas-Diener -- 2 Research Methods in Social PsychologyRajiv Jhangiani -- 3 Statistical ThinkingBeth Chance & Allan Rossman -- 4 Conducting Psychology Research in the Real WorldMatthias R. …”
Access online version

Principles of Finance by Dahlquist, Julie, Knight, Rainford, Adams, Alan S.

Table of Contents: “…Historical Performance of US Markets -- Why It Matters -- 12.1 Overview of US Financial Markets -- 12.2 Historical Picture of Inflation -- 12.3 Historical Picture of Returns to Bonds -- 12.4 Historical Picture of Returns to Stocks -- Summary -- Key Terms -- Multiple Choice -- Review Questions -- Video Activity -- Chapter 13. Statistical Analysis in Finance -- Why It Matters -- 13.1 Measures of Center -- 13.2 Measures of Spread -- 13.3 Measures of Position -- 13.4 Statistical Distributions -- 13.5 Probability Distributions -- 13.6 Data Visualization and Graphical Displays -- 13.7 The R Statistical Analysis Tool -- Summary -- Key Terms -- CFA Institute -- Multiple Choice -- Review Questions -- Problems -- Video Activity -- Chapter 14. …”
Access online version

Integrating Immigrants in Europe Research-Policy Dialogues /

Table of Contents: “…1: Research-policy dialogues on migrant integration in Europe: A conceptual framework and key questions: Peter Scholten, Han Entzinger and Rinus Penninx -- PART I - FORMS AND FUNCTIONS OF RESEARCH-POLICY DIALOGUES: 2: Cultures of knowledge use in policymaking: The functions of research in German and UK immigration policy: Christina Boswell -- 3: Migration statistics in Europe: A core component of governance and population research: Albert Kraler, David Reichel and Han Entzinger -- 4: The coproduction of national models of integration: A view from France and the Netherlands: Christophe Bertossi, Jan Willem Duyvendak and Peter Scholten -- 5: Consultative commissions and the rethinking of integration policies in the Netherlands and Germany: The Blok Commission and the Süssmuth Commission compared: Jan Schneider and Peter Scholten -- 6: European cities in search of knowledge for their integration policies. …”
Link to Metadata

From Assessing to Conserving Biodiversity Conceptual and Practical Challenges /

Table of Contents: “…A Multidisciplinary Research to Understand and to Correct the Impacts of Species Concepts and Ignored Cryptic Species on Biodiversity Assessments (Anne Chenuil) -- Chapter 7. Statistical Measures of Biological Diversity: A Unified Framework and Discussion (Vincenzo Crupi) -- Chapter 8. …”
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

The Palgrave Handbook of Development Cooperation for Achieving the 2030 Agenda Contested Collaboration /

Table of Contents: “…Polycentricity and coordination in governance -- 3.Development finance and the 2030 goals -- 4.Transnational science cooperation for sustainable development -- 5.An evolving shared concept of development cooperation: Perspectives on the 2030 Agenda -- 6.The globalisation of foreign aid: Global influences and the diffusion of aid priorities -- 7.The untapped functions of international cooperation in the age of sustainable development -- 8.The difficulties of diffusing the 2030 Agenda: Situated norm engagement and development organisations -- 9.Diffusion, fusion, and confusion: Development cooperation in a multiplex world order -- 10.Conceptualising ideational convergence of China and OECD donors: Coalition magnets in development cooperation -- 11.Measuring development cooperation and the quality of aid -- 12.Interest-based development cooperation: Moving providers from parochial convergence to principled collaboration -- 13.Monitoring and evaluation in South-South cooperation: The case of CPEC in Pakistan -- 14.The implementation of the SDGs: The feasibility of using the GPEDC monitoring framework -- 15.Counting the invisible: The challenges and opportunities of the SDG indicator framework for statistical capacity development -- 16.Building a global development cooperation regime: Necessary but failed efforts -- 17.Failing to share the burden: Traditional donors, Southern providers, and the twilight of the GPEDC and the post-war aid system -- 18.Should China join the GPEDC? …”
Link to Metadata

Haptics: Science, Technology, Applications 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, Hamburg, Germany, May 22...

Table of Contents: “…ationary Hands -- Perception of friction in tactile exploration of micro-structured rubber samples -- Influence of Prior Visual Information on Exploratory Movement Direction in Texture Perception -- Guidance for the Design of Vibrotactile Patterns for Use on the Human Back -- Speed Discrimination In The Apparent Haptic Motion Illusion -- Neutral point in haptic perception of softness -- Pilot Study on Presenting Pulling Sensation by Electro-Tactile Stimulation -- A Preliminary Study on the Perceptual Independence Between Vibrotactile and Thermal Senses -- Spatial compatibility of visual and tactile stimulation in shared haptic perception -- Increasing Perceived Weight and Resistance by Applying Vibration to Tendons during Active Arm Movements -- A comparison of haptic and auditory feedback as a warning signal for slip in tele-operation scenarios -- Experiencing touch by technology -- Effect of Focus Direction and Agency on Tactile Perceptibility -- Haptic Guidance for Teleoperation: Optimizing Performance and User Experience -- A Multi-Modal Haptic Armband for Finger-Level Sensory Feedback from a Prosthetic Hand -- Sound Pressure Field Reconstruction for Ultrasound Phased Array by Linear Synthesis Scheme Optimization -- A Rotary Induction Actuator for Kinesthetic and Tactile Rendering -- Haptic Feedback for Wrist Angle Adjustment -- Larger skin-surface contact through a fingertip wearable improves roughness perception -- Expanding Dynamic Range of Electrical Stimulation Using Anesthetic Cream -- Haptic Rattle: Multi-Modal Rendering of Virtual Objects Inside a Hollow Container -- Design of a 2-DoF Haptic Device for Motion Guidance -- Preliminary Design of a Flexible Haptic Surface -- Human Self-Touch vs Other-Touch Resolved by Machine Learning -- Investigating Movement-Related Tactile Suppression Using Commercial VR Controllers -- Estimation of Frictional Force Using the Thermal Images of Target Surface during Stroking -- Spatial Resolution of Mesoscopic Shapes Presented by Airborne Ultrasound -- Vibrotactile Similarity Perception in Crowdsourced and Lab Studies -- Perception of spatialized vibrotactile impacts in a hand-held tangible for virtual reality -- Wearable Haptics in a Modern VRRehabilitation System: Design Comparison forUsability and Engagement -- Perceiving Sequences and Layouts through Touch -- Whole-Hand Haptics for Mid-Air Buttons -- Proximity-based Haptic Feedback for Collaborative Robotic Needle Insertion -- Furekit: Wearable Tactile Music Toolkit for Children with ASD -- A database of vibratory signals from free haptic exploration of natural material textures and perceptual judgments (ViPer): analysis of spectral statistics.…”
Link to Metadata

Cloud-Based Remote Sensing with Google Earth Engine Fundamentals and Applications /

Table of Contents: “…Raster/Vector Conversions -- 24. Zonal Statistics -- 25. Advanced Vector Operations -- 26. …”
Link to Metadata

Reading Prehistoric Human Tracks Methods & Material /

Table of Contents: “…Repetition without Repetition: A comparison of the Laetoli G1, Ileret, Namibian Holocene and Modern Human footprints using Pedobarographic Statistical Parametric Mapping (Juliet McClymont and Robin H. …”
Link to Metadata

Invited Lectures from the 13th International Congress on Mathematical Education

Table of Contents: “…Exploring the Functional World in a Computer Enriched Environment, Carmen Sessa -- Re-centring the individual in participatory accounts of professional identity, Jeppe Skott -- Enactive metaphorising in the learning of mathematics, Jorge Soto-Andrade -- Number Sense in Elementary School Children from different Social Backgrounds: The uses and Meanings Given to Numbers, Alina Galvão Spinillo -- Uncovering Chinese Pedagogy: Spiral Variation-The Unspoken Principle of Algebra Thinking to Develop Chinese Curriculum and instruction of "Two Basics", Xuhua Sun -- Digital Pedagogy in Mathematics Learning, Yahya Tabesh -- Activity Theory in French Didactic Research, Fabrice Vandebrouck -- The effect of a video-based intervention on the knowledge-based reasoning of future mathematics teachers, Naďa Vondrová -- Popularization of the of Probability Theory and Statistics in School Through Intellectual Competitions, Ivan Vysotskiy -- Noticing in Pre-Service Teacher Education: Research Lessons as a context for reflection on learners' Mathematical Reasoning and Sense-Making, Helena Wessels -- Dialogues on Numbers: Script-writing as approximation of practice, Rina Zazkis -- Equity in mathematics education: What did TIMSS and PISA tell us in the last two decades? …”
Link to Metadata

How to Think Like a Computer Scientist C Version by Downey, Allen B.

Table of Contents: “…-- 1.4 Formal and natural language -- 1.5 The first program -- 1.6 Glossary -- 1.7 Exercises -- Chapter 2: Variables and types -- 2.1 More output -- 2.2 Values -- 2.3 Variables -- 2.4 Assignment -- 2.5 Outputting variables -- 2.6 Keywords -- 2.7 Operators -- 2.8 Order of operations -- 2.9 Operators for characters -- 2.10 Composition -- 2.11 Glossary -- 2.12 Exercises -- Chapter 3: Function -- 3.1 Floating-point -- 3.2 Constants -- 3.3 Converting from double to int -- 3.4 Math functions -- 3.5 Composition -- 3.6 Adding new functions -- 3.7 Definitions and uses -- 3.8 Programs with multiple functions -- 3.9 Parameters and arguments -- 3.10 Parameters and variables are local -- 3.11 Functions with multiple parameters -- 3.12 Functions with results -- 3.13 Glossary -- 3.14 Exercises -- Chapter 4: Conditionals and recursion -- 4.1 Conditional execution -- 4.2 The modulus operator -- 4.3 Alternative execution -- 4.4 Chained conditionals -- 4.5 Nested conditionals -- 4.6 The return statement -- 4.7 Recursion -- 4.8 Infinite recursion -- 4.9 Stack diagrams for recursive functions -- 4.10 Glossary -- 4.11 Exercises -- Chapter 5: Fruitful functions -- 5.1 Return values -- 5.2 Program development -- 5.3 Composition -- 5.4 Boolean values -- 5.5 Boolean varaiables -- 5.6 Logical operators -- 5.7 Bool functions -- 5.8 Returning from main() -- 5.9 Glossary -- 5.10 Exercises -- Chapter 6: Iteration -- 6.1 Multiple assignment -- 6.2 Iteration -- 6.3 The while statement -- 6.4 Tables -- 6.5 Two-dimensional tables -- 6.6 Encapsulation and generalization -- 6.7 Functions -- 6.8 More encapsulation -- 6.9 Local varaiables -- 6.10 More generalization -- 6.11 Glossary -- 6.12 Exercises -- Chapter 7: Arrays -- 7.1 Increment and decrement operators -- 7.2 Accessing elements -- 7.3 Copying arrays -- 7.4 for loops -- 7.5 Array length -- 7.6 Random numbers -- 7.7 Statistics -- 7.8 Array of random numbers -- 7.9 Passing an array to a function -- 7.10 Counting -- 7.11 Checking the other values -- 7.12 A histogram -- 7.13 A single-pass solution -- 7.14 Random seeds -- 7.15 Glossary -- 7.16 Exercises -- Chapter 8: Strings and things -- 8.1 Containers for strings -- 8.2 String variables -- 8.3 Extracting characters from a string -- 8.4 Length -- 8.5 Traversal -- 8.6 Finding a character in a string -- 8.7 Pointers and Addresses -- 8.8 String concatenation -- 8.9 Assigning new values to string variables -- 8.10 strings are not comparable -- 8.11 Character classification -- 8.12 Getting user input -- 8.13 Glossary -- 8.14 Exercises -- Chapter 9: Structures -- 9.1 Compound values -- 9.2 Point objects -- 9.3 Accessing member variables -- 9.4 Operations on structures -- 9.5 Structures as parameters -- 9.6 Call by value -- 9.7 Call by reference -- 9.8 Rectangles -- 9.9 Structures as return types -- 9.10 Passing other types by reference -- 9.11 Glossary -- 9.12 Exercises…”
Access online version

The EBMT Handbook Hematopoietic Stem Cell Transplantation and Cellular Therapies /

Table of Contents: “…JACIE accreditation of HSCT programs -- 6. Statistical methods in HSCT and Cellular Therapies -- Part 2. …”
Link to Metadata

Proceedings of the 13th International Congress on Mathematical Education ICME-13 /

Table of Contents: “…Chernoff -- Topic study group no. 15 Teaching and learning of statistics, Dani Ben-Zvi, Gail Burrill -- Topic study group no. 16 Teaching and learning of calculus, David Bressoud, Victor Martinez-Luaces -- Topic study group no. 17 Teaching and learning of discrete mathematics, Eric W. …”
Link to Metadata

PROFIL KEMAMPUAN LITERASI STATISTIS MAHASISWA JURUSAN PENDIDIKAN MATEMATIKA UNIVERSITAS SULTAN AGENG TIRTAYASA by Etika Khaerunnisa, Aan Subhan Pamungkas

Connect to this object online.

FENOMENA LITERASI STATISTIK PADA PEMBELAJARAN MATEMATIKA SISWA SMA DI LHOKSEUMAWE ACEH by Irdatul Fitri, Wahyu Setyaningrum, Delyanti Azzumarito Pulungan

Connect to this object online.