Search Results - "Categorization"
Suggested Topics within your search.
Suggested Topics within your search.
- Psychology 15
- Computer science 13
- Artificial intelligence 12
- Technology: general issues 12
- linguistics 12
- Mathematics 11
- History of engineering & technology 10
- Applied mathematics 9
- Humanities 9
- Philosophy 8
- Sociology 8
- Statistics 8
- Anthropology 7
- Educational strategies & policy 7
- Literature: history & criticism 7
- Research & information: general 7
- Society & culture: general 7
- Algorithms & data structures 6
- Education 6
- European history 6
- Literary studies: from c 1900 - 6
- Social research & statistics 6
- Social sciences 6
- Society & social sciences 6
- Biology, life sciences 5
- Data mining 5
- Data processing 5
- Databases 5
- Discrete mathematics 5
- History 5
-
1121
-
1122
-
1123
Institutioneller Wandel und Steuerung von "Förderbedürftigkeit" im Zuge inklusiver Bildung in Spanien 1960-2013 Ein qualitativer Mehrebenenvergleich zur Berücksichtigung von Divers...
Published 2021OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
1124
-
1125
-
1126
-
1127
-
1128
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2021Table of Contents: “…Constructing a universe for the setoid model -- Nominal Equational Problems -- Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy -- Fixpoint Theory - Upside Down -- "Most of"' leads to undecidability: Failure of adding frequencies to LTL -- Combining Semilattices and Semimodules -- One-way Resynchronizability of Word Transducers -- Fair Refinement for Asynchronous Session Types -- Running Time Analysis of Broadcast Consensus Protocols -- Leafy automata for higher-order concurrency -- Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic -- Generalized Bounded Linear Logic and its Categorical Semantics -- Focused Proof-search in the Logic of Bunched Implications -- Interpolation and Amalgamation for Arrays with MaxDi -- Adjoint Reactive GUI Programming -- On the Expressiveness of Büchi Arithmetic -- Parametricity for Primitive Nested Types -- The Spirit of Node Replication -- Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages -- CertifyingInexpressibility -- A General Semantic Construction of Dependent Re nement Type Systems, Categorically -- Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP -- Nondeterministic Syntactic Complexity -- A String Diagrammatic Axiomatisation of Finite-State Automata -- Work-sensitive Dynamic Complexity of Formal Languages -- Learning Pomset Automata -- The Structure of Sum-Over-Paths, its Consequences, and Completeness for Clifford -- A Quantified Coalgebraic van Benthem Theorem.…”
Link to Metadata
Electronic eBook -
1129
Statistical Thinking for the 21st Century
Published 2018Table of Contents: “…1 Introduction -- 2 Working with data -- 3 Probability -- 4 Summarizing data -- 5 Fitting models to data -- 6 Data Visualization -- 7 Sampling -- 8 Resampling and simulation -- 9 Hypothesis testing -- 10 Confidence intervals, effect sizes, and statistical power -- 11 Bayesian statistics -- 12 Modeling categorical relationships -- 13 Modeling continuous relationships -- 14 The General Linear Model -- 15 Comparing means -- 16 The process of statistical modeling: A practical example -- 17 Doing reproducible research…”
Access online version
Electronic eBook -
1130
Balkán a migrace: Na křižovatce antropologických perspektiv
Published 2011DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
1131
-
1132
-
1133
-
1134
-
1135
-
1136
-
1137
-
1138
-
1139
-
1140