Search Results - "Counting On"
Suggested Topics within your search.
Suggested Topics within your search.
- Research & information: general 21
- Mathematics 17
- History 16
- History of engineering & technology 14
- Society & social sciences 13
- Technology: general issues 13
- Biology, life sciences 12
- Literature: history & criticism 12
- linguistics 12
- Education 11
- Computer science 9
- Archaeology 8
- Gramont, Philibert, comte de, 1621-1707 8
- Literature & literary studies 8
- Medicine 7
- Social research & statistics 7
- Ecological science, the Biosphere 6
- Humanities 6
- Literary studies: plays & playwrights 6
- Psychology 6
- Social sciences 6
- Economics 5
- European history 5
- Information technology industries 5
- International relations 5
- Philosophy 5
- Slovenia 5
- Applied mathematics 4
- Asian history 4
- Central government policies 4
-
1941
Polimetrics A Stata Companion to Introduction to Political Science Research Methods
Published 2023Table of Contents: “…Preface -- List of Figures -- Acknowledgements -- Chapter 1 - Overview -- Chapter 2 - Stata Software Tour and Getting Started -- Chapter 3 - Datasets: Cross-section, Time Series, and Panel -- Chapter 4 - Data Management -- Chapter 5 - Descriptive Statistics -- Chapter 6 - Model Selection -- Chapter 7 - Linear Models -- Chapter 8 - Binary Outcome Models -- Chapter 9 - Ordinal Outcome Models -- Chapter 10 - Categorical Outcome Models -- Chapter 11 - Count Outcome Models -- Chapter 12 - Panel Data Linear Models -- Chapter 13 - Panel Data Binary Outcome Models -- Chapter 14 - Panel Data Ordinal Outcome Models -- Chapter 15 - Panel Data Categorical Outcome Models -- Chapter 16 - Panel Data Count Outcome Models -- Chapter 17 - Survival Modes -- Chapter 18 - Share -- Chapter 19 - Reflection -- References…”
Access online version
Electronic eBook -
1942
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...
Published 2018Table 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
Electronic eBook -
1943
-
1944
Beginning Japanese for Professionals Book 3
Published 2018Table of Contents: “…Lesson 9: Family -- Dialogue 1 -- 9-1-1 Verb Plain Past Form and ~te Form -- 9-1-2 V-te iru: 'be V-ing' or 'have V-ed' -- 9-1-3 Shitte iru 'know' -- Dialogue 2 -- 9-2-1 X to iu; X to omou -- 9-2-2 ~kke Retrieving Previously Shared Information -- 9-2-3 Classifier for Counting People -- Dialogue 3 -- 9-3-1 ~te form of adjectives -- 9-3-2 donna What Kind of X -- Dialogue 4 -- 9-4-1 Mou and Mada: A Change or No Change in Status -- Review -- Practical Skills -- Listening Exercise -- Homework -- Quiz -- Drill Tape Scripts -- Lesson 10: Can Do's and Cannot Do's -- Dialogue 1 -- 10-1-1 Verb Potential Forms -- 10-1-2 negative Requests -- Dialgoue 2 -- 10-2-1 Expressing Permission -- 10-2-2 Enryo: The Virtue of Holding Back -- Dialogue 3 -- 10-3-1 Expressing Prohibition 'Must not' -- 10-3-2 Noun de mo -- Dialogue 4 -- 10-4-1 Expressing Negative Permission 'Do Not Have To' -- 10-4-2 Expressing Necessities 'must' -- 10-4-3 X-sugiru -- 10-4-4 Verbs of Dressing -- Review -- Homework -- Quiz -- Drill Tape Scripts -- Appendix -- Verb Forms…”
Access online version
Electronic eBook -
1945
-
1946
-
1947
-
1948
-
1949
-
1950
-
1951
-
1952
Patterns of multimorbidity in working Australians
Published 2011Connect to this object online.
Book -
1953
-
1954
-
1955
-
1956
-
1957
-
1958
-
1959
-
1960