Search Results - Urash~

Yabancı Dil Olarak Dijital Türkçe Öğretimi by NACAKÇIOĞLU, Ali

DOAB: download the publication
DOAB: description of the publication

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

Eating, Drinking: Surviving The International Year of Global Understanding - IYGU /

Table of Contents: “…Introduction: Understanding the Complexities of Eating, Drinking, and Surviving -- Globalization and Malnutrition: Geographical Perspectives on Its Paradoxes -- Drinking Water -- The Politics and Consequences of Virtual Water Export -- Integrated Water Resources Management as a New Approach to Water Security -- Surviving as an Unequal Community: WASH for Those on the Margins -- Challenges to Food Security in a Changing World -- Moral Economies of Food in the Socialist/Post-socialist World -- The Nutrition Transition in Developing Asia: Dietary Change, Drivers and Health Impacts. …”
Link to Metadata

The Joy of Cryptography by Rosulek, Mike

Table of Contents: “…0 Review of Concepts & Notation -- 1 One-Time Pad & Kerckhoffs' Principle -- 2 The Basics of Provable Security -- 3 Secret Sharing -- 4 Basing Cryptography on Intractable Computations -- 5 Pseudorandom Generators -- 6 Pseudorandom Functions & Block Ciphers -- 7 Security Against Chosen Plaintext Attacks -- 8 Block Cipher Modes of Operation -- 9 Chosen Ciphertext Attacks -- 10 Message Authentication Codes -- 11 Hash Functions -- 12 Authenticated Encryption & AEAD -- 13 RSA & Digital Signatures -- 14 Diffie-Hellman Key Agreement -- 15 Public-Key Encryption…”
Access online version

The Impact of EU Politicisation on Voting Behaviour in Europe

Table of Contents: “…The European Union in Parliamentary debates and the media -- Chapter 5: Experimental Evidence of EU issue voting -- Chapter 6: The Left-Right dimension, Europe and Voting in Bailout Europe -- Chapter 7: EU issue voting in simultaneous elections: The case of Belgium -- Chapter 8: The importance of EU issues in German elections -- Chapter 9: After the crisis: EU issue voting in Greece -- Chapter 10: Salient but not polarized: The role of the EU in the Irish electoral arena -- Chapter 11: Portugal: EU issue voting in Mainstream and Challenger Parties -- Chapter 12: A broken national consensus? …”
Link to Metadata

Advanced Mathematical Science for Mobility Society

Table of Contents: “…Machine Learning Approach to Mobility Analysis -- Chapter 7. Graph optimization problems and algorithms for DAG-type blockchains -- Part 4. …”
Link to Metadata

Information Systems A Manager's Guide to Harnessing Technology

Table of Contents: “…Chapter 1: Setting the Stage: Technology and the Modern Enterprise -- Chapter 2: Strategy and Technology: Concepts and Frameworks for Understanding What Separates Winners from Losers -- Chapter 3: Zara: Fast Fashion from Savvy Systems -- Chapter 4: Netflix: The Making of an E-commerce Giant and the Uncertain Future of Atoms to Bits -- Chapter 5: Moore's Law: Fast, Cheap Computing and What It Means for the Manager -- Chapter 6: Understanding Network Effects -- Chapter 7: Peer Production, Social Media, and Web 2.0 -- Chapter 8: Facebook: Building a Business from the Social Graph -- Chapter 9: Understanding Software: A Primer for Managers -- Chapter 10: Software in Flux: Partly Cloudy and Sometimes Free -- Chapter 11: The Data Asset: Databases, Business Intelligence, and Competitive Advantage -- Chapter 12: A Manager's Guide to the Internet and Telecommunications -- Chapter 13: Information Security: Barbarians at the Gateway (and Just About Everywhere Else) -- Chapter 14: Google: Search, Online Advertising, and Beyond…”
Access online version

Forest and Rangeland Soils of the United States Under Changing Conditions A Comprehensive Science Synthesis /

Table of Contents: “…Wetland And Hydric Soils (Carl Trettin, Randall Kolka, Anne Marsh, Sheel Bansal, Eric Lilleskov, Patrick Megonigal, Marla Stelk, Graeme Lockaby, David D'Amore, Richard MacKenzie, Brian Tangen, Rodney Chimner, and James Gries) -- Chapter 7. …”
Link to Metadata

Quest for Good Money Past, Present and Future / by Kitamura, Yukinobu

Table of Contents: “…Preface -- Chapter 1 Overview of the History of Money -- Chapter 2 On the Choice of Optimal Currency Denominations -- Chapter 3 The Impact of Denomination Choice on Commercial Trading: A Policy Evaluation of a New Iraqi Monetary System -- Chapter 4 Diffusion of Electronic Money and Choice of Payment Methods -- Chapter 5 The Impact of Electronic Money on Demand for Cash: Time Series Analysis -- Chapter 6 Can We Stabilize the Price of a Cryptocurrency? …”
Link to Metadata

Small Business Management in the 21st Century by Cadden, David, Lueder, Sandra L.

Table of Contents: “…Chapter 1: Foundations for Small Business -- Chapter 2: Your Business Idea: The Quest for Value -- Chapter 3: Family Businesses -- Chapter 4: E-Business and E-Commerce -- Chapter 5: The Business Plan -- Chapter 6: Marketing Basics -- Chapter 7: Marketing Strategy -- Chapter 8: The Marketing Plan -- Chapter 9: Accounting and Cash Flow -- Chapter 10: Financial Management -- Chapter 11: Supply Chain Management: You Better Get It Right -- Chapter 12: People and Organization -- Chapter 13: The Search for Efficiency and Effectiveness -- Chapter 14: Icebergs and Escapes -- Chapter 15: Going Global: Yes or No? …”
Access online version

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

Table of Contents: “…Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification -- Multiparty Session Typing in Java, Deductively -- PyLTA: A Verification Tool for Parameterized Distributed Algorithms -- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format -- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit -- Combinatorial Optimization/Theorem Proving -- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization -- Verified reductions for optimization -- Specifying and Verifying Higher-order Rust Iterators -- Extending a High-Performance Prover to Higher-Order Logic -- Tools (Regular Papers) -- The WhyRel Prototype for Relational Verification of Pointer Programs -- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter -- CoPTIC: Constraint Programming Translated Into C -- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability -- Synthesis -- Computing Adequately Permissive Assumptions for Synthesis -- Verification-guided Programmatic Controller Synthesis -- Taming Large Bounds in Synthesis from Bounded-Liveness Specifications -- Lockstep Composition for Unbalanced Loops -- Synthesis of Distributed Agreement-Based Systems with Effciently Decidable Verification -- LTL Reactive Synthesis with a Few Hints -- Timed Automata Verification and Synthesis via Finite Automata Learning -- Graphs/Probabilistic Systems -- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition -- Transforming quantified Boolean formulas using biclique covers -- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration -- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants -- Runtime Monitoring/Program Analysis -- Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote -- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis -- Explainable Online Monitoring of Metric Temporal Logic -- 12th Competition on Software Verification - SV-COMP 2023 -- Competition on Software Verification and Witness Validation: SV-COMP 2023 -- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (Competition Contribution) -- 2LS: Arrays and Loop Unwinding (Competition Contribution) -- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution) -- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) -- Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution) -- Java Ranger: Supporting String and Array Operations (Competition Contribution) -- Korn-Software Verification with Horn Clauses (Competition Contribution) -- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) -- PIChecker: A POR and Interpolation based Verifierfor Concurrent Programs (Competition Contribution) -- Ultimate Automizer and the CommuHash Normal Form (Competition Contribution) -- Ultimate Taipan and Race Detection in Ultimate (Competition Contribution) -- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) -- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). .…”
Link to Metadata

Statistical Population Genomics

Table of Contents: “…-Ancestral Population Genomics with Jocx, A Coalescent Hidden Markov Model -- Coalescent Simulation with sprime -- Inference of Ancestral Recombination Graphs using ARGweaver -- Population Genomics of Transitions to Selfing in Brassicaceae Model Systems -- Genomics of Long- and Short- Term Adaptation in Maize and Teosinte -- Neurospora from Natural Populations: Population Genomics Insights Into the Life History of a Model Microbial Eukaryote -- Population Genomics of Fungal Plant Pathogens and the Analyses of Rapidly Evolving Genome Compartments -- Population Genomics on the Fly: Recent Advances in Drosophila -- Genomic Access to the Diversity of Fishes -- Avian Population Genomics Taking Off: Latest Findings and Future Prospects -- Population Genomics of the House Mouse and the Brown Rat -- Population Genomics in the Great Apes.…”
Link to Metadata

Model and Mathematics: From the 19th to the 21st Century

Table of Contents: “…How to Grasp an Abstraction: Mathematical Models and Their Vicissitudes between 1830 and 1950. …”
Link to Metadata

Preadvanced Japanese by Konomi, Emiko

Table of Contents: “…Before We StartChapter 1Chapter 2Chapter 3Chapter 4 -- Audio: Chapter 1 -- Drills -- Example 4 - Self Introduction -- Example 5 -- Kanji Drill -- Listening Comprehension Check -- Listening Practice -- Main Text -- Opinions -- Audio: Chapter 2 -- Drill A -- Drill B -- Dill C -- Drill D -- Drill E -- Drill F -- Ex D -- Kanji Drill -- Listening Practice -- Main Text -- Moc Exam D -- Opinions -- Reading Comprehension Check -- Reference Advanced Level -- Audio: Chapter 3 -- Comprehension Check -- Drill A -- Drill B -- Drill C -- Drill D -- Drill E -- Drill F -- Ex C -- Kanji Drill -- Listening Practice -- Main Text -- Opinions -- Reference Graphs -- Audio: Chapter 4 -- Drill A -- Drill B -- Drill C -- Drill D -- Drill E -- Drill F -- Ex C -- Kanji Drill -- Listening Practice -- Main Text -- Opinion A -- Opinion B -- Opinion C -- Opinion D -- Opinion E -- Reading Comprehension Check -- Reference --…”
Access online version

Selected Abstracts of the 1st Congress of joint European Neonatal Societies (jENS 2015); Budapest (Hungary); September 16-20, 2015; Session "Circulation, O2 Transport and Haematolo... by -

Connect to this object online.

Selected Abstracts of the 8th International Congress of UENPS; Bucharest (Romania); October 3rd-5th 2018; Session "Neonatal respiratory disorders and management" by -

Connect to this object online.

Representations of Transnational Human Trafficking Present-day News Media, True Crime, and Fiction /

Table of Contents: “…Chapter 1: Representations of Transnational Human Trafficking: A critical review; Christiana Gregoriou and Ilse A. Ras -- Chapter 2: "Call for purge on the people traffickers": An investigation into British newspapers' representation of transnational human trafficking, 2000-2016; Christiana Gregoriou and Ilse A. …”
Link to Metadata

Beyond Global Food Supply Chains Crisis, Disruption, Regeneration /

Table of Contents: “…Introduction: Beyond Global Supply Chains -- Chapter 2: Supply Chains As Disruption -- Chapter 3: Agri-Investment Cashing In On Covid-19 -- Part2 Production -- Chapter 4: Putting The Crisis To Work -- Chapter 5: Going Against The Grain In The West Australian Wheatbelt -- Chapter 6: Reviving Community Agrarianism In Post-Socialist China -- Part3 Distribution -- Chapter 7: Fantasies Of Logistics In Aotearoa New Zealand -- Chapter 8: Reproducing Hunger In Pandemic America -- Chapter 9: The Pandemic Supermarket -- Part4 Food Politics -- Chapter 10: Disruption As Reprieve? …”
Link to Metadata

Apparate Über Regierungsverfahren und Algorithmisierung /

Table of Contents: “…Politiken der institutionellen Intervention -- The Forcible Feeding of the English Suffragettes in Irish Prison. Avoiding Responsibility in Administrations -- Bottom-Up Abandonment. …”
Link to Metadata

Sublinear Computation Paradigm Algorithmic Revolution in the Big Data Era /

Table of Contents: “…-- Chapter 2: Property Testing on Graphs and Games -- Chapter 3: Constant-Time Algorithms for Continuous Optimization Problems -- Chapter 4: Oracle-based Primal-Dual Algorithms for Packing and Covering Semidefinite Programs -- Chapter 5: Almost Linear Time Algorithms for Some Problems on Dynamic Flow Networks -- Chapter 6: Sublinear Data Structure -- Chapter 7: Compression and Pattern Matching -- Chapter 8: Orthogonal Range Search Data Structures -- Chapter 9: Enhanced RAM Simulation in Succinct Space -- Chapter 10: Review of Sublinear Modeling in Markov Random Fields by Statistical-Mechanical Informatics and Statistical Machine Learning Theory -- Chapter 11: Empirical Bayes Method for Boltzmann Machines -- Chapter 12: Dynamical analysis of quantum annealing -- Chapter 13: Mean-field analysis of Sourlas codes with adiabatic reverse annealing -- Chapter 14: Rigidity theory for protein function analysis and structural accuracy validations -- Chapter 15: Optimization of Evacuating and Walking Home Routes from Osaka City with Big Road Network Data on Nankai Megathrust Earthquake -- Chapter 16: Stream-based Lossless Data Compression.…”
Link to Metadata