Search Results - unkari~
Suggested Topics within your search.
Suggested Topics within your search.
- History of engineering & technology 50
- Research & information: general 39
- Technology: general issues 34
- History 21
- European history 18
- Modern history to 20th century: c 1700 to c 1900 17
- Austro-Hungarian Empire 16
- Computer science 16
- Mathematics & science 16
- Law 14
- Software Engineering 14
- Software engineering 14
- Society & social sciences 13
- Education 12
- Ottoman Empire 12
- Politics & government 11
- Social & cultural history 10
- Artificial Intelligence 8
- Computer Science Logic and Foundations of Programming 8
- Hungary 8
- Mathematics 8
- Medicine 8
- linguistics 8
- Artificial intelligence 7
- Biology, life sciences 7
- Constitutional Law 7
- Formal Languages and Automata Theory 7
- General & world history 7
- Machine theory 7
- Political science 7
-
3821
Knowledge and Networks
Published 2017Table of Contents: “…Exploring the Interaction of Space and Networks in the Creation of Knowledge: An Introduction: Johannes Glückler, Emmanuel Lazega, and Ingmar Hammer -- I: The Significance of Knowledge About Networks: The Relational Dimension as a Bridging Principle Between Economic, Social, and Geographic Issues: Reversing the Instrumentality of the Social for the Economic: A Critical Agenda for 21st-Century Knowledge Networks: Nancy Ettlinger -- Interpersonal Networks in Foreign Assignments and Intercultural Learning Processes: Erika Spieß -- Family Networks for Learning and Knowledge Creation in Developing Regions: Pengfei Li -- Studying Networks Geographically: World Political Regionalization in the United Nations General Assembly (1985-2010): Laurent Beauguitte -- (Post)graduate Education Markets and the Formation of Mobile Transnational Economic Elites: Sarah Hall -- II: Relational Opportunity: Network Evolution and Its Impact on Individuals and Regions: Organized Mobility and Relational Turnover as Context for Social Mechanisms: A Dynamic Invariant at the Heart of Stability from Movement: Emmanuel Lazega -- Trajectory Types Across Network Positions: Jazz Evolution from 1930 to 1969: Charles Kirschbaum -- Topology and Evolution of Collaboration Networks: The Case of a Policy-anchored District: Laura Prota, Maria Prosperina Vitale, and Maria Rosaria D'Esposito -- Platforming for Path-Breaking? …”
Link to Metadata
Electronic eBook -
3822
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /
Published 2019Table 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
Electronic eBook -
3823
Business Law and the Legal Environment
Published 2012Table of Contents: “…Chapter 1: Introduction to Law and Legal Systems -- Chapter 2: Corporate Social Responsibility and Business Ethics -- Chapter 3: Courts and the Legal Process -- Chapter 4: Constitutional Law and US Commerce -- Chapter 6: Criminal Law -- Chapter 7: Introduction to Tort Law -- Chapter 8: Introduction to Contract Law -- Chapter 9: The Agreement -- Chapter 10: Real Assent -- Chapter 11: Consideration -- Chapter 12: Legality -- Chapter 13: Form and Meaning -- Chapter 14: Third-Party Rights -- Chapter 15: Discharge of Obligations -- Chapter 16: Remedies -- Chapter 17: Introduction to Sales and Leases -- Chapter 18: Title and Risk of Loss -- Chapter 19: Performance and Remedies -- Chapter 20: Products Liability -- Chapter 21: Bailments and the Storage, Shipment, and Leasing of Goods -- Chapter 22: Nature and Form of Commercial Paper -- Chapter 23: Negotiation of Commercial Paper -- Chapter 24: Holder in Due Course and Defenses -- Chapter 25: Liability and Discharge -- Chapter 26: Legal Aspects of Banking -- Chapter 27: Consumer Credit Transactions -- Chapter 28: Secured Transactions and Suretyship -- Chapter 29: Mortgages and Nonconsensual Liens -- Chapter 30: Bankruptcy -- Chapter 31: Introduction to Property: Personal Property and Fixtures -- Chapter 32: Intellectual Property -- Chapter 33: The Nature and Regulation of Real Estate and the Environment -- Chapter 34: The Transfer of Real Estate by Sale -- Chapter 35: Landlord and Tenant Law -- Chapter 36: Estate Planning: Wills, Estates, and Trusts -- Chapter 37: Insurance -- Chapter 38: Relationships between Principal and Agent -- Chapter 39: Liability of Principal and Agent; Termination of Agency -- Chapter 40: Partnerships: General Characteristics and Formation -- Chapter 41: Partnership Operation and Termination -- Chapter 42: Hybrid Business Forms -- Chapter 43: Corporation: General Characteristics and Formation -- Chapter 44: Legal Aspects of Corporate Finance -- Chapter 45: Corporate Powers and Management -- Chapter 46: Securities Regulation -- Chapter 47: Corporate Expansion, State and Federal Regulation of Foreign Corporations, and Corporate Dissolution -- Chapter 48: Antitrust Law -- Chapter 49: Unfair Trade Practices and the Federal Trade Commission -- Chapter 50: Employment Law -- Chapter 51: Labor-Management Relations -- Chapter 52: International Law -- Chapter 53: Contracts…”
Access online version
Electronic eBook -
3824
-
3825
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /
Published 2021Table of Contents: “…-- Checking Data-Race Freedom of GPU Kernels, Compositionally -- GenMC: A Model Checker for Weak Memory Models -- Hybrid and Cyber-Physical Systems -- Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming -- An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation -- HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL -- Computing Bottom SCCs Symbolically Using Transition Guided Reduction -- Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems -- IMITATOR 3: Synthesis of timing parameters beyond decidability -- Formally Verified Switching Logic for Recoverability of Aircraft Controller -- SceneChecker: Boosting Scenario Verification using Symmetry Abstractions -- Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness -- Fast zone-based algorithms for reachability in pushdown timed automata -- Security -- Verified Cryptographic Code for Everybody -- Not All Bugs Are Created Equal, But Robust Reachability Can Tell The Difference -- A Temporal Logic for Asynchronous Hyperproperties -- Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security -- Constraint-based Relational Verification -- Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning -- Synthesis -- Synthesis with Asymptotic Resource Bounds -- Program Sketching by Automatically Generating Mocks from Tests -- Counterexample-Guided Partial Bounding for Recursive Function Synthesis -- PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs -- Adapting Behaviors via Reactive Synthesis -- Causality-based Game Solving.…”
Link to Metadata
Electronic eBook -
3826
The Sharing Economy in Europe Developments, Practices, and Contradictions /
Published 2022Table of Contents: “…Solidarity and Care Economy During Times of Crises: A Comparative View Between Hungary and Greece in 2015 and 2020; Penny Travlou, & Anikó Bernát -- 13. …”
Link to Metadata
Electronic eBook -
3827
The Palgrave Handbook of South-South Migration and Inequality
Published 2024Table of Contents: “…The "ASEAN Way" in Migration Governance -- 32. Unfair and Unjust: Temporary Labour Migration Programmes in and from Asia and the Pacific as Barriers to Migrant Justice -- 33. …”
Link to Metadata
Electronic eBook -
3828
Geographies of the University
Published 2018Table of Contents: “…Schwinges) -- Chapter 3: Scientific and Cultural Relations between Heidelberg University and Hungary over Five Centuries (Peter Meusburger) -- Chapter 4: Catchment Areas and Killing Fields: Towards an Academic Geography of the Thirty Years' War (Howard Hotson) -- Chapter 5: A Political Geography of University Foundation: The Case of the Danish Monarchy (Hanne Kirstine Adriansen) -- Chapter 6: 'A Small Town of Character': Locating a New Scottish University, 1963 - 1965 (Michael Heffernan) -- Part II: Spaces and Governance of Knowledge, Research and Education -- Chapter 7: Knowledge Environments at Universities. …”
Link to Metadata
Electronic eBook -
3829
Defending Checks and Balances in EU Member States Taking Stock of Europe's Actions /
Published 2021Table of Contents: “…Part I: Understanding the Development in EU Member States: Not on Bread Alone Doth Man Liveth (Deut. 8:3; Mat 4:4) - Some Iconoclastic Views on Populism, Democracy, the Rule of Law and the Polish Circumstance by Joseph HH Weiler -- Constitutional Crisis in Poland 2015-2016 in the Light of the Rule of Law Principle by Marcin Wiącek -- Hungary's Latest Experiences with Article 2 TEU: The Need for 'Informed' EU Sanctions by Beáta Bakó -- Part II: European Action: Towards a Tyranny of Values? …”
Link to Metadata
Electronic eBook -
3830
United Nations Peace Operations in a Changing Global Order
Published 2019Table of Contents: “…(Arthur Boutellis and Stephanie Tiélès) -- Chapter 10: UN policing: The security-trust challenge (Kari M. Osland) -- Chapter 11: Africa and UN peace operations: Implications for the future role of regional Organisations (Cedric de Coning) -- Chapter 12: The European Union and UN peace operations: What global-regional peace and security partnership? …”
Link to Metadata
Electronic eBook -
3831
-
3832
Forest and Rangeland Soils of the United States Under Changing Conditions A Comprehensive Science Synthesis /
Published 2020Table of Contents: “…Soils And Water (Mary Beth Adams, Vince Archer, Scott Bailey, Kevin McGuire, Chelcy Miniat, Dan Neary, Toby O'Geen, Pete Robichaud, and Mike Strobel) -- Chapter 4. …”
Link to Metadata
Electronic eBook -
3833
EU Citizenship Beyond Urban Centres Perceptions and Practices of Young People in East Central European Peripheral Areas /
Published 2023Table of Contents: “…Students' EU Perceptions in Two Hungary's Peripheral Towns -- Chapter 8. Low Attachment to an EU that is Associated with Mobility. …”
Link to Metadata
Electronic eBook -
3834
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...
Published 2023Table 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
Electronic eBook -
3835
Social Dynamics in Swiss Society Empirical Studies Based on the Swiss Household Panel /
Published 2018Table of Contents: “…The decrease in support for joining the European Union in Switzerland", Oriane Sarrasin, University of Lausanne, Bram Lancee, Utrecht University, Theresa Kuhn, University of Amsterdam -- Chapter 3.3 "Perceived Unemployment Risk and Preferences for Social Protection", Nicolas Pekari & Flurina Schmid, FORS, Jan Rosset, University of Mannheim -- Chapter 3.4 "Where Do They End Up? …”
Link to Metadata
Electronic eBook -
3836
Food Studies Matter, Meaning, Movement
Published 2022Table of Contents: “…Sasha Gora -- Creative: Tasting 'Authenticity,' Annika Walsh and fin-xuan lee -- Case: Foood in Samoa, Garrett Hillyer -- Perspective: Place-Based Designations, Eden Kinkaid -- Creative: Food Tours, Natalie Doonan -- Perspective: Food Meanings, Marylynn Steckley -- Perspective: Gastronomy, Stan Blackley and Donald Reid -- Case: Food ni Kyrgyzstan, Christian Kelly Scott and Guangqing Chi -- Creative: Street Food Vendors, Vincent Andrisani -- Case: School Lunchtimes, Yukari Seko and Lina Rahouma -- Creative: Collaborative Eating Performances, Annika Walsh -- Perspective: Food Relationships, Sara Rotz -- Creative: Poems for Pollniatoors, Andrea Elena Noriega -- Case: Food and Folklore, Lucy Long -- Perspective: Household Foodwork, Mary Anne Martin and Michael Classens -- Creative: Making Mead, Joshua Steckley -- Perspective: Nutrition Paradigms, Alissa Overend -- Perspective: Eating Healthy, Jennifer Brady -- Activity: Classifying Food, Erin Sperling and Sara Scharf -- Creative: The Foodish Gaze, Annika Walsh -- Perspective: Food Allergies, Janis Goldiie -- Creative: Form and Matter, Annika Walsh -- Perspective: Salt, Liam Cole Young -- Case: Artisan Cheese, Amy Trubek -- Perspective: Disordered Eating, Danyael Lutgens and Andrew Ryder -- Case: Superfood Advertising, Anne F. …”
Access online version
Electronic eBook -
3837
National Constitutions in European and Global Governance: Democracy, Rights, the Rule of Law National Reports /
Published 2019Table of Contents: “…Introductory Editorial Note to the Hungarian Report: The Pre-2010 Rule of Law Achievements and Post-2010 Illiberal Turn -- Chapter 31. Hungary: Constitutional (R)evolution or Regression? …”
Link to Metadata
Electronic eBook -
3838
Equity, Equality and Diversity in the Nordic Model of Education
Published 2020Table of Contents: “…Ragnhild Engdal Jensen -- The importance of parents' own reading for 10-year old students' reading achievement in the Nordic countries. Hildegunn Støle, Åse Kari H. Wagner & Knut Schwippert -- Section 4. The black box of Nordic education held against the light of large-scale international assessment resources-a critical commentary (Commentary chapter). …”
Link to Metadata
Electronic eBook -
3839
-
3840