Search Results - unkari~

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

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

Table of Contents: “…FASE Contributions -- Information-flow Interfaces -- A Survey-Based Feature Model for Software Traceability -- Construction of Veri er Combinations Based on Off-the-Shelf Verifiers -- On the Detection of Doped Software by Falsification -- Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing -- Quantitative Program Sketching using Lifted Static Analysis -- SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning -- Finding Semantic Bugs Fast -- SMC4PEP: Stochastic Model Checking of Product Engineering Processes -- Symbolic Predictive Cache Analysis for Out-of-Order Execution -- PEQtest: Testing Functional Equivalence -- An Institutional Approach to Communicating UML State Machines -- Semantic Code Search in Software Repositories using Neural Machine Translation -- AequeVox: Automated Fairness Testing of Speech Recognition Systems -- SMT-Based Planning Synthesis for Distributed System Reconfigurations -- Semantic Clone Detection via Probabilistic Software Modeling -- QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants -- Test-Comp Contributions -- Advances in Automatic Software Testing: Test-Comp 2022 -- FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing (Competition Contribution) -- VeriFuzz: Good Seeds for Fuzzing (Competition Contribution).…”
Link to Metadata

Foundations of Business Law and Legal Environment by Mayer, Don

Table 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 5: Administrative Law -- 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: Products Liability -- Chapter 18: Relationships between Principal and Agent -- Chapter 19: Liability of Principal and Agent; Termination of Agency -- Chapter 20: Partnerships: General Characteristics and Formation -- Chapter 21: Partnership Operation and Termination -- Chapter 22: Hybrid Business Forms -- Chapter 23: Corporation: General Characteristics and Formation -- Chapter 24: Legal Aspects of Corporate Finance -- Chapter 25: Corporate Powers and Management -- Chapter 26: Securities Regulation -- Chapter 27: Corporate Expansion, State and Federal Regulation of Foreign Corporations, and Corporate Dissolution -- Chapter 28: Antitrust Law -- Chapter 29: Unfair Trade Practices and the Federal Trade Commission -- Chapter 30: Employment Law -- Chapter 31: Labor-Management Relations -- Chapter 32: International Law…”
Access online version

Geographies of Schooling

Table of Contents: “…Ideology, Spatial Planning, and Rural Schools: From Interwar to Communist Hungary -- Chapter 6. Changing Structures and the Role of Education in the Development of the Educational System in Czechia -- Chapter 7. …”
Link to Metadata

Debating Religion and Forced Migration Entanglements

Table of Contents: “…Goździak) -- Part 1: Politics, values, and discourses mobilized by religion -- Chapter 1: Keleti Pályaudvar: Past and Present Refugee Crises in Hungary (Elżbieta M. Goździak) -- Chapter 2: A journey to reconciliation? …”
Link to Metadata

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /

Table of Contents: “…Certified Core-Guided MaxSAT Solving -- Superposition with Delayed Unification -- On Incremental Pre-processing for SMT -- Verified Given Clause Procedures -- QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment -- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs -- An Isabelle/HOL Formalization of the SCL(FOL) Calculus -- SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning -- Formal Reasoning about Influence in Natural Sciences Experiments -- A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification) -- SAT-Based Subsumption Resolution -- A more Pragmatic CDCL for IsaSAT and targetting LLVM (Short Paper) -- Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper) -- COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description) -- Choose your Colour: Tree Interpolation for Quantified Formulas in SMT -- Proving Termination of C Programs with Lists -- Reasoning about Regular Properties: A Comparative Study -- Program Synthesis in Saturation -- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus -- Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs -- Verification of NP-hardness Reduction Functions for Exact Lattice Problems -- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic -- Left-Linear Completion with AC Axioms -- On P -interpolation in local theory extensions and applications to the study of interpolation in the description logics EL, EL+ -- Theorem Proving in Dependently-Typed Higher-Order Logic -- Towards Fast Nominal Anti-Unification of Letrec-Expressions -- Confluence Criteria for Logically Constrained Rewrite Systems -- Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory -- An Experimental Pipeline for Automated Reasoning in Natural Language (Short paper) -- Combining Combination Properties: An Analysis of Stable-infiniteness, Convexity, and Politeness -- Decidability of difference logic over the reals with uninterpreted unary predicates -- Incremental Rewriting Modulo SMT -- Iscalc: an Interactive Symbolic Computation Framework (System Description).…”
Link to Metadata

Identifying dimensions, components and indicators of school-centered management on Islamic-Iranian values by Masoud Taghiani, masoumeh oladiyan, Mahmoud Safari

Connect to this object online.

Selected Abstracts of the 9th International Workshop on Neonatology; Cagliari (Italy); October 23-26, 2013 by -

Connect to this object online.

Energy Demand Challenges in Europe Implications for policy, planning and practice /

Table of Contents: “…Chapter 1: An introduction to energy demand challenges in Europe; Frances Fahy and Gary Goggins -- Chapter 2: Framing the sustainable energy challenge and implications for solutions; Charlotte Louise Jensen, Inge Røpke, Gary Goggins and Frances Fahy -- Chapter 3: The impact of German energy policy on household energy use; Eoin Grealis, Annika-Kathrin Musch and Henrike Rau -- Chapter 4: The role of households in Danish energy policy: Visions and contradictions; Inge Røpke, Charlotte Louise Jensen and Maj-Britt Quitzau -- Chapter 5: Reducing residential carbon emissions in Ireland: Challenges and policy responses; Gary Goggins, Frances Fahy and Eimear Heaslip -- Chapter 6: UK responses to the energy challenge: Dominant framings and new imaginaries; Marfuga Iskandarova and Audley Genus -- Chapter 7: Turning off the gas tap: Sustainable energy policies, practices and prospects in the Netherlands; Julia Backhaus -- Chapter 8: The energy challenge in Hungary: A need for more complex approaches; Edina Vadovics -- Chapter 9: Slovenia: Focus on energy efficiency, community energy projects and energy poverty; Lidija Živčič and Tomislav Tkalec -- Chapter 10: From efficiency to sufficiency: Insights from the Swiss energy transition; Laure Dobigny and Marlyne Sahakian -- Chapter 11: Sustainable energy consumption and energy poverty: Challenges and trends in Bulgaria; Marko Hajdinjak and Desislava Asenova -- Chapter 12: Finnish energy policy in transition; Eva Heiskanen, Senja Laakso and Kaisa Matschoss -- Chapter 13: Comparing household energy use across Europe: Uncovering opportunities for sustainable transformation; Patrick Naef, Marlyne Sahakian and Gary Goggins.…”
Link to Metadata

Realising Linguistic, Cultural and Educational Rights Through Non-Territorial Autonomy

Table of Contents: “…Institutions Maintained by Minority Self-Governments in Hungary. By Balázs Dobos -- Chapter 12: Can Non-Territorial Autonomy Help to Enforce the Linguistic, Cultural and Educational Rights of the Roma?. …”
Link to Metadata

Cohabitation and Marriage in the Americas: Geo-historical Legacies and New Trends

Table of Contents: “…The Geography, Law and Politics of Competing Views on Gender Equality: Benoît Laplante and Ana Laura Fostik -- Chapter 4: The Social Geography of Unmarried Cohabitation in the USA, 2007-2011: Ron Lesthaeghe, Julián López-Colás and Lisa Neidert -- Chapter 5: The Expansion of Cohabitation in Mexico, 1930-2010: The Revenge of History?…”
Link to Metadata

Challenging Mobilities in and to the EU during Times of Crises The Case of Greece /

Table of Contents: “…Cognitive Maps, Cultural Distances and National Stereotypes in Times of Crises: Comparing Greece and Hungary -- Part III: Solidarity and Claims-making under Crises -- Chapter 7. …”
Link to Metadata

Innovations in Quantitative Risk Management TU München, September 2013 /

Table of Contents: “…Part I Markets, Regulation, and Model Risk -- A Random Holding Period Approach for Liquidity-Inclusive Risk Management -- Regulatory Developments in Risk Management: Restoring Confidence in Internal Models -- Model Risk in Incomplete Markets with Jumps -- Part II Financial Engineering -- Bid-Ask Spread for Exotic Options Under Conic Finance -- Derivative Pricing Under the Possibility of Long Memory in the supOU Stochastic Volatility Model -- A Two-Sided BNS Model for Multicurrency FX Markets -- Modeling the Price of Natural Gas with Temperature and Oil Price as Exogenous Factors -- Copula-Specific Credit Portfolio Modeling -- Implied Recovery Rates-Auctions and Models -- Upside and Downside Risk Exposures of Currency Carry Trades via Tail Dependence -- Part III Insurance Risk and Asset Management -- Participating Life Insurance Contracts Under Risk Based Solvency Frameworks: How to Increase Capital Efficiency by Product Design -- Reducing Surrender Incentives Through Fee Structure in Variable Annuities -- A Variational Approach for Mean-Variance-Optimal Deterministic Consumption and Investment -- Risk Control in Asset Management: Motives and Concepts -- Worst-Case Scenario Portfolio Optimization Given the Probability of a Crash -- Improving Optimal Terminal Value Replicating Portfolios -- Part IV Computational Methods for Risk Management -- Risk and Computation -- Extreme Value Importance Sampling for Rare Event Risk Measurement -- A Note on the Numerical Evaluation of the Hartman-Watson Density and Distribution Function -- Computation of Copulas by Fourier Methods -- Part V Dependence Modelling -- Goodness-of-fit Tests for Archimedean Copulas in High Dimensions -- Duality in Risk Aggregation -- Some Consequences of the Markov Kernel Perspective of Copulas -- Copula Representations for Invariant Dependence Functions -- Nonparametric Copula Density Estimation Using a Petrov-Galerkin Projection.…”
Link to Metadata

Social and Economic Vulnerability of Roma People Key Factors for the Success and Continuity of Schooling Levels /

Table of Contents: “…Education of Roma and educational resilience in Hungary (Attila Papp Z and Eszter Neumann) -- Part II: OBSTACLES AND KEY FACTORS FOR THE CONTINUITY OF EDUCATION -- Chapter 7. …”
Link to Metadata

Concept and Design Developments in School Improvement Research Longitudinal, Multilevel and Mixed Methods and Their Relevance for Educational Accountability /

Table of Contents: “…New Ways of Dealing with Lacking Measurement Invariance (Markus Sauerwein & Désirée Theis) -- Chapter 6. …”
Link to Metadata

The Advisory Roles of Political Scientists in Europe Comparing Engagements in Policy Advisory Systems /

Table of Contents: “…Coping with a Closed and Politicized System: The Advisory Roles of Political Scientists in Hungary, Gábor Tamás Molnár -- 10. Of Pure Academics and Advice Debutants: The Policy Advisory Roles of Political Scientists in Italy, Andrea Pritoni and Maria Tullia Galanti -- 11. …”
Link to Metadata

Managing Protected Areas in Central and Eastern Europe Under Climate Change

Table of Contents: “…Preface -- Acknowledgements -- Chapter 1 - Natural Heritage at Risk by Climate Change -- Chapter 2 - Climate Change in Central and Eastern Europe -- Chapter 3 - Effects of Climate Change on the Hydrological Cycle in Central and Eastern Europe -- Chapter 4 - Potential impacts of climate change on protected habitats -- Chapter 5 - Climate Change impact modelling cascade - Benefits and limitations for -- Chapter 6 - Indicators for Monitoring Climate Change-Induced Effects on Habitats - a -- Chapter 7 - Remote Sensing-based Monitoring of Potential Climate-induced Impacts on Habitats -- Chapter 8 - Assessment of Climate-induced Impacts on Habitats -- Chapter 9 - Legal Aspects of Climate Change Adaptation -- Chapter 10 - A Methodical Framework for Climate Change-Adapted Management in Protected Areas -- Chapter 11 - Monitoring concept of climate-induced impacts on peat bog vegetation in Pokljuka plateau in Triglav National Park, Slovenia -- Chapter 12 - Concept for the monitoring of climate induced impacts on rock ptarmigan (Lagopus muta) in Triglav National Park, Slovenia -- Chapter 13 - Suggested management measures for Natura 2000 Habitats in Körös-Maros National Park, Hungary -- Chapter 14 - Climate-induced challenges for wetlands: revealing the background for the adaptive ecosystem management in the Biebrza Valley, Poland -- Chapter 15 - Habitat changes caused by sea level rise, driven by climate change in the Northern Adriatic coastal wetlands, Slovenia -- Chapter 16 - Potential impacts of climate change on forest habitats in the Biosphere Reserve Vessertal-Thuringian Forest in Germany -- Chapter 17 - Potential Impact of Climate Change on Alpine Habitats from Bucegi Natural Park, Romania -- Chapter 18 - Potential Impacts of Climate Change on Habitats and their Effects on Invasive Plant Species in Danube Delta Biosphere Reserve, Romania -- Chapter 19 - Reproduction biology of an alien invasive plant: a case of drought-tolerant Aster squamatus on the Northern Adriatic seacoast, Slovenia -- Chapter 20 - Conclusions and Recommendations for Adapting Conservation Management in the Face of Climate Change -- Index.…”
Link to Metadata

Migration and Social Protection in Europe and Beyond (Volume 1) Comparing Access to Welfare Entitlements /

Table of Contents: “…Migrants' Access to Social Protection in Hungary: Gábor Juhász -- 15. Migrants' Access to Social Protection in Ireland: Mel Cousins -- 16. …”
Link to Metadata

Taxation, International Cooperation and the 2030 Sustainable Development Agenda

Table of Contents: “…The Promise of Non-Arm's Length Practices: Is the Destination-Based Cash Flow Tax or Unitary Taxation the Panacea of which Developing Countries are in Search? …”
Link to Metadata

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /

Table of Contents: “…Invited Talks -- Non-well-founded Deduction for Induction and Coinduction -- Towards the Automatic Mathematician -- Logical Foundations -- Tableau-based decision procedure for non-Fregean logic of sentential identity -- Learning from Lukasiewicz and Meredith: Investigations into Proof Structures -- Efficient Local Reductions to Basic Modal Logic -- Isabelle's Metalogic: Formalization and Proof Checker -- Theory and Principles -- The ksmt calculus is a delta-complete decision procedure for non-linear constraints -- Universal Invariant Checking of Parametric Systems with Quantifier-Free SMT Reasoning -- Politeness and Stable Infiniteness: Stronger Together -- Equational Theorem Proving Modulo -- Unifying Decidable Entailments in Separation Logic with Inductive Definitions -- Subformula Linking for Intuitionistic Logic with Application to Type Theory -- Efficient SAT-based Proof Search in Intuitionistic Propositional Logic -- Proof Search and Certificates for Evidential Transactions -- Non-Clausal Redundancy Properties -- Multi-Dimensional Interpretation Methods for Termination of Term Rewriting -- Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures -- Computing Optimal Repairs of Quantified ABoxes w.r.t. …”
Link to Metadata