Search Results - unkari~

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Table of Contents: “…When Programs Have to Watch Paint Dry -- Deciding contextual equivalence of nu-calculus with effectful contexts -- Kantorovich Functors and Characteristic Logics for Behavioural Distances -- A Logical Framework with Higher-Order Rational (Circular) Terms -- A Higher-Order Language for Markov Kernels and Linear Operators -- A Formal Logic for Formal Category Theory -- A Strict Constrained Superposition Calculus for Graphs -- A programming language characterizing quantum polynomial time -- On the Existential Arithmetics with Addition and Bitwise Minimum -- Coverability in 2-VASS with One Unary Counter is in NP -- On History-Deterministic One-Counter Nets -- Unboundedness problems for machines with reversal-bounded counters -- Reverse Bisimilarity vs. …”
Link to Metadata

Selected Abstracts of the 2nd Congress of joint European Neonatal Societies (jENS 2017); Venice (Italy); October 31-November 4, 2017; Session "Neonatal Hematology and Bilirubin" by -

Connect to this object online.

INTEGRASI KONSEP EKONOMI KREATIF DALAM PENGEMBANGAN EKOWISATA BERBASISPARTISIPASI MASYARAKAT: Studi Kasus: Ekowisata Rawa Bento, Desa Jernih Jaya, Kabupaten Kerinci by Awiska Alfata, -

Link Metadata

PENGARUH PERSONAL SELLING TERHADAP KEPUTUSAN BERKUNJUNG KE JENDELA ALAM : Survei pada wisatawan yang berkunjung ke Jendela Alam by Prasetyo, Adhitya Aji

Link Metadata

HUBUNGAN ANTARA PERSEPSI PESERTA DIKLAT TERHADAP PENYELENGGARAAN PROGRAM PENDIDIKAN DAN PELATIHAN DASAR KOMPUTER DENGAN MOTIVASI BELAJAR : Studi Deskriptif Korelasional Pada Pesert... by Anshari, Muhamad Iqbal

Link Metadata

Young Adults and Active Citizenship Towards Social Inclusion through Adult Education /

Table of Contents: “…Promising or compelling future in Hungary? -- Chapter 8. Transforming adult education from neo-liberal to holistically inclusive adult education in Baltic states -- Chapter 9. …”
Link to Metadata

Narrating China's Governance Stories in Xi Jinping's Speeches / by People's Daily, Department of Commentary

Table of Contents: “…-Part 1 About the Interior -- On Incorrupt Government: "When the officials become corruptible and unfair, the regime is going into decline" -- On Characters and Morals: "To enter politics, a person should cultivate his moral character and enrich himself with virtues first" -- On Self-improvement: "If you want to enhance your ability, you must study; if you want to make the blade sharp, you must sharpen it"- On Governance: "Empty talk endangers the nation, practical work brings prosperity" -- Part 2 About Diplomacy -- On People-to-people Friendship: "The key to sound relations between states lies in amity between the people" -- On Intercourse Between Nations: "Of the things brought about by the rites, harmony is the most valuable" -- On Cultural Exchange: "It is the very nature of things to be unequal in quality" -- On Historical Affinity: "Distance cannot separate true friends who feel so close even when they are thousands of miles apart" -- On Xi Jinping's Personal Experience: Never forget why you started.…”
Link to Metadata

Legal Aspects of Marketing and Sales by Mayer, Don, Warner, Daniel, Siedel, George J., Lieberman, Jethro K.

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: 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: Intellectual Property -- Chapter 23: Antitrust Law -- Chapter 24: Unfair Trade Practices and the Federal Trade Commission…”
Access online version

The Crystal Ball Instruction Manual by Davies, Stephen

Table of Contents: “…1 Introduction -- 2 A trip to Jupyter -- 3 Three kinds of atomic data -- 4 Memory pictures -- 5 Calculations -- 6 Scales of measure -- 7 Three kinds of aggregate data -- 8 Arrays in Python (1 of 2) -- 9 Arrays in Python (2 of 2) -- 10 Interpreting Data -- 11 Assoc. arrays in Python (1 of 3) -- 12 Assoc. arrays in Python (2 of 3) -- 13 Assoc. arrays in Python (3 of 3) -- 14 Loops -- 15 EDA: univariate -- 16 Tables in Python (1 of 3) -- 17 Tables in Python (2 of 3) -- 18 Tables in Python (3 of 3) -- 19 EDA: bivariate (1 of 2) -- 20 EDA: bivariate (2 of 2) -- 21 Branching -- 22 Functions (1 of 2) -- 23 Functions (2 of 2) -- 24 Recoding and transforming -- 25 Machine Learning: concepts -- 26 Classification: concepts -- 27 Decision trees (1 of 2) -- 28 Decision trees (2 of 2) -- 29 Evaluating a classifier…”
Access online version

Graduate research methods in social work by DeCarlo, Matt, Cummings, Cory, Agnelli, Kate

Table of Contents: “…Experimental design -- 14. Univariate analysis -- 15. Bivariate analysis -- 16. …”
Access online version

International Labour Organization and Global Social Governance

Table of Contents: “…Tarja Halonen, Harnessing Globalization: An Everlasting Challenge -- Ulla Liukkunen, ILO and Transformation of Labour Law -- Kari Tapiola, What Happened to International Labour Standards and Human Rights at Work? …”
Link to Metadata

İzmir'de ikinci ve üçüncü basamak sağlık kuruluşlarına başvuran gebelerin aile hekimi tarafından izlenme sıklıkları ve etkileyen etmenler by Raika Durusoy, Aslı Davas, Işıl Ergin, Hür Hassoy, Feride Aksu Tanık

Connect to this object online.

Illiberal Trends and Anti-EU Politics in East Central Europe

Table of Contents: “…Examining the Legal Bases and Effects of Rule of Law Related Infringement Procedures against Hungary (Lisa H. Anders and Sonja Priebus) -- Chapter 11: Safeguarding Democracy and the Rule of Law by Civil Society Actors? …”
Link to Metadata

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

Table of Contents: “…Complexity and Termination -- Learning Probabilistic Termination Proofs -- Ghost Signals: Verifying Termination of Busy Waiting -- Reflections on Termination of Linear Loops -- Decision Tree Learning in CEGIS-Based Termination Analysis -- ATLAS: Automated Amortised Complexity Analysis of Self-Adjusting Data Structures -- Decision Procedures and Solvers -- Theory Exploration Powered by Deductive Synthesis -- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver -- Porous Invariants -- JavaSMT 3: Interacting with SMT Solvers in Java -- Efficient SMT-based Analysis of Failure Propagation -- ToolX : Better Delta Debugging for the SMT-LIBv2 Language and Friends -- Learning Union of Integer Hypercubes with Queries (with applications to monadic decomposition) -- Interpolation and Model Checking for Nonlinear Arithmetic -- An SMT Solver for Regular Expressions and Linear Arithmetic over String Length -- Counting Minimal Unsatisfiable Subsets -- Sound Verification Procedures for Temporal Properties of Infinite-State Systems -- Hardware and Model Checking -- Progress in Certifying Hardware Model Checking Results -- Model-Checking Structured Context-Free Languages -- Model Checking ! …”
Link to Metadata

PENGGUNAAN KALAM KHABARI DAN KALAM INSYA'I DALAM SURAT LUQMAN SERTA IMPLIKASINYA TERHADAP PEMBELAJARAN BAHASA ARAB by Mutiarani, Khoirunnisa

Link Metadata

Epidemiyolojik kaygılar by Necati Dedeoğlu

Connect to this object online.

Deep Neural Networks and Data for Automated Driving Robustness, Uncertainty Quantification, and Insights Towards Safety /

Table of Contents: “…Invertible Neural Networks for Understanding Semantics of Invariances of CNN Representations -- Chapter 8. Confidence Calibration for Object Detection and Segmentation -- Chapter 9. …”
Link to Metadata

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

Table of Contents: “…Concurrent and Distributed Systems -- Checking Deadlock-Freedom of Parametric Component-Based Systems -- The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability -- Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude -- Multi-Core On-The-Fly Saturation -- Monitoring and Runtime Verification -- Specification and Efficient Monitoring Beyond STL -- VyPR2: A Framework for Runtime Verification of Python Web Services -- Constraint-based Monitoring of Hyperproperties -- Hybrid and Stochastic Systems -- Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments -- Computing the Expected Execution Time of Probabilistic Workflow Nets -- Shepherding Hordes of Markov Chains -- Optimal Time-Bounded Reachability Analysis for Concurrent Systems -- Synthesis -- Minimal-Time Synthesis for Parametric Timed Automata -- Environmentally-friendly GR(1) Synthesis -- StocHy: automated verification and synthesis of stochastic processes -- Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach -- Symbolic Verification -- iRank: a variable order metric for DEDS subject to linear invariants -- Binary Decision Diagrams with Edge-Specified Reductions -- Effective Entailment Checking for Separation Logic with Inductive Definitions -- Safety and Fault-Tolerant Systems -- Digital Bifurcation Analysis of TCP Dynamics -- Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking -- Measuring Masking Fault-Tolerance -- PhASAR: An Inter-Procedural Static Analysis Framework for C/C++.…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...

Table of Contents: “…TOOLympics 2019: An Overview of Competitions in Formal Methods -- Confluence Competion 2019 -- International Competition on Runtime Verification (CRV) -- The Model Checking Contest (2019) -- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models -- The Rewrite Engines Competitions: A RECtrospective -- RERS 2019: Combining Synthesis with Real-World Models -- SL-COMP: Competition of Solvers for Separation Logic -- Automatic Verification of C and Java Programs: SV-COMP 2019 -- The Termination and Complexity Competition -- Competition on Software Testing (Test-Comp) -- VerifyThis - Verification Competition with a Human Factor -- SV-COMP 2019 -- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker (Competition Contribution) -- Extending DIVINE with Symbolic Verification using SMT (Competition Contribution) -- ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference (Competition Contribution) -- JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) -- JayHorn: A Java Model Checker (Competition Contribution) -- Java Pathfinder at SV-COMP 2019 -- Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution) -- PeSCo: Predicting Sequential Combinations of Verifiers (Competition Contribution) -- Symbolic Pathfinder for SV-COMP -- VeriFuzz: Program Aware Fuzzing -- VIAP 1.1 (Competition Contribution).…”
Link to Metadata

Politics of (Dis)Integration

Table of Contents: “…: Amandine Desille -- Denying, While Demanding Integration: An Analysis of the Integration Paradox in Malta and Refugees' Coping Strategies: Sarah Nimführ, Laura Otto and Gabriel Samateh -- Governing Migrants and Refugees in Hungary: Politics of Spectacle, Negligence and Solidarity in a Securitising State: Céline Cantat -- Conclusions: Perspectives and Puzzles in Researching Politics of (Dis)Integration: Violetta Zentai.…”
Link to Metadata