Search Results - unkari~

Aile hekimliği uygulamalarının Doğankent Sağlık, Eğitim ve Araştırma Bölgesindeki durumu/The condition of family medicine practices in the Doğankent Health, Training and Re... by Ferdi Tanır

Connect to this object online.

The Patient Journey in Facial Aesthetics: Findings from a European Consensus Meeting on Improving the Quality of Life for Patients Receiving Botulinum Toxin Injections by Philipp-Dormston WG, De Boulle K, Gronovich Y, Lowe N, Sayed K, Sykianakis D, Tuncer S

Connect to this object online.

Socioeconomic associations of improved maternal, neonatal, and perinatal survival in Qatar by Sajjad Rahman, Khalil Salameh, Abdulbari Bener, et al

Connect to this object online.

Does remifentanil attenuate renal ischemia–reperfusion injury better than dexmedetomidine in rat kidney? by Erkılıç E, Kesimci E, Alaybeyoğlu F, Kılınç I, Tural R, Yazgan A, Gümüş T, Sepici Dinçel A, Dumlu EG, Kanbak O

Connect to this object online.

ANALISIS FAKTOR-FAKTOR PSIKOLOGIS YANG MEMPENGARUHI WISATAWAN NUSANTARA DALAM MENGUNJUNGI DAYA TARIK WISATA ZIARAH DI DESTINASI PARIWISATA CIREBON: Survey Terhadap Wisatawan Nusant... by Nur Azijah, -

Link Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /

Table of Contents: “…A Billion SMT Queries a Day -- Program Verification with Constrained Horn Clauses -- Formal Methods for Probabilistic Programs Data-Driven Invariant Learning for Probabilistic Programs -- Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs.…”
Link to Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /

Table of Contents: “…A Billion SMT Queries a Day -- Program Verification with Constrained Horn Clauses -- Formal Methods for Probabilistic Programs Data-Driven Invariant Learning for Probabilistic Programs -- Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs.…”
Link to Metadata

Variational Principles in Classical Mechanics by Cline, Douglas

Table of Contents: “…1 A brief history of classical mechanics -- 2 Review of Newtonian mechanics -- 3 Linear oscillators -- 4 Nonlinear systems and chaos -- 5 Calculus of variations -- 6 Lagrangian dynamics -- 7 Symmetries, Invariance and the Hamiltonian -- 8 Hamiltonian mechanics -- 9 Hamilton’s Action Principle -- 10 Nonconservative systems -- 11 Conservative two-body central forces -- 12 Non-inertial reference frames -- 13 Rigid-body rotation -- 14 Coupled linear oscillators -- 15 Advanced Hamiltonian mechanics -- 16 Analytical formulations for continuous systems -- 17 Relativistic mechanics -- 18 The transition to quantum physics -- 19 Epilogue…”
Access online version

The Adventure of Physics - Vol. I Fall, Flow, and Heat by Schiller, Christoph

Table of Contents: “…– Limits of continuity -- 12 Fluids and their motion -- 13 On heat and motion reversal invariance -- 14 Self-organization and chaos - the simplicity of complexity -- 15 From the limitations of physics to the limits of motion…”
Access online version

Contemporary Turkish - Russian Relations from Past to Future

DOAB: download the publication
DOAB: description of the publication

PENGARUH DESTINATION EXPERIENCE TERHADAP BEHAVIORAL INTENTION WISATAWAN DI KAWASAN WISATA KANDI KOTA SAWAHLUNTO :Survei Pada Wisatawan Nusantara yang Berkunjung ke Kawasan Wisata... by Arifki, -

Link Metadata

Internationalization of graduate nursing graduation: basic reflections and main challenges by Maria Antonieta Rubio Tyrrell

Connect to this object online.

Introduction to Arithmetic Groups by Morris, Dave Witte

Table of Contents: “…Important Concepts -- Real Rank -- Q-Rank -- Quasi-Isometries -- Unitary Representations -- Amenable Groups -- Kazhdan's Property (T) -- Ergodic Theory -- Part IV. …”
Access online version

Selected Abstracts of the 4th International Congress of UENPS; Athens (Greece); December 11th-14th 2014 by -

Connect to this object online.

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /

Table of Contents: “…Logics, Decision Procedures, and Solvers -- Satisfiability Checking for Mission-Time LTL -- High-Level Abstractions for Simplifying Extended String Constraints in SMT -- Alternating Automata Modulo First Order Theories -- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors -- CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis -- Incremental Determinization for Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational Vector Addition Systems -- Invertibility Conditions for Floating-Point Formulas -- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in a Verified Compiler -- Sound Approximation of Programs with Elementary Functions -- Verification -- Formal verification of quantum algorithms using quantum Hoare logic -- SecCSL: Security Concurrent Separation Logic -- Reachability Analysis for AWS-based Networks -- Distributed Systems and Networks -- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual Consistency Checking -- Checking Robustness Against Snapshot Isolation -- Efficient verification of network fault tolerance via counterexampleguided refinement -- On the Complexity of Checking Consistency for Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants -- Interpolating Strong Induction -- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers -- Inferring Inductive Invariants from Phase Structures -- Termination of Triangular Integer Loops is Decidable -- AliveInLean: A Verified LLVM Peephole Optimization Verifier -- Concurrency -- Automated Parameterized Verification of CRDTs -- What's wrong with on-the-y partial order reduction -- Integrating Formal Schedulability Analysis into a Verifed OS Kernel -- Rely-guarantee Reasoning about Concurrent Memory Management in Zephyr RTOS -- Violat: Generating Tests of Observational Refinement for Concurrent Objects. .…”
Link to Metadata

Regional and Local Development in Times of Polarisation Re-thinking Spatial Policies in Europe /

Table of Contents: “…-- 9 ReproducingSocio-spatial Unevenness through the Institutional Logic of Dual Housing Policies in Hungary -- PART III: RESPONSES TO REGIONAL POLARISATION AND ALTERNATIVE PERSPECTIVES -- 10 Out-Migration from Peripheries - How Cumulated Individual Strategies Affect Local Development Capacities -- 11 Towards a Progressive Local Development Approach - Insights from Local Community Initiatives in Hungary and Romania -- 12 Bypassing Structural Shortcomings: Innovative Firms in Peripheral Regions -- 13 Leading through Image Making? …”
Link to Metadata

AGE ESTIMATION OF ADULTS FROM CONE BEAM COMPUTED TOMOGRAPHY IMAGES by Ezgi Türk, Özlem Görmez, Derya Yıldırım

Connect to this object online.

«KiKli Fit» - The effects of a specifically designed physical activity program on cognitive and motor performance in children with cancer: A multicenter crossover trial by Ann Christin Schneider, Lisa Hillebrecht, Julia Schmid, Christina Schindera, Eva Katharina Brack, Valentin Benzing

Connect to this object online.

Crisis Response in Higher Education How the Pandemic Challenged University Operations and Organisation / by Benner, Mats, Grant, Jonathan, O'Kane, Mary

Table of Contents: “…Part 1: The University mission before, during and after COVID -- Part 2: An overview of pre-pandemic higher education systems, challenges and opportunities in the UK, Sweden and Australia -- Chapter 1: Higher education in the United Kingdom -- Chapter 2: Higher education in Sweden: unitary and diversified under state authority -- Chapter 3: Higher education in Australia -- Part 3: COVID stories - the lived experience of students, staff, academics and leaders during the pandemic -- Chapter4: The lived experience of students during the COVID pandemic -- Chapter 5: The lived experience of academics during the COVID pandemic -- Chapter 6: The lived experience of professional staff response to COVID -- Chapter 7: The lived experience of university leaders during the COVID pandemic -- Part 4: Closing reflections and lessons learnt for the future - time for a university reset.…”
Link to Metadata

Government Regulation and the Legal Environment of Business by Mayer, Don, Warner, Daniel, Siedel, George, 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: Contracts -- Chapter 9: Consumer Credit Transactions -- Chapter 10: Secured Transactions and Suretyship -- Chapter 11: Mortgages and Nonconsensual Liens -- Chapter 12: Bankruptcy -- Chapter 13: Intellectual Property -- Chapter 14: The Nature and Regulation of Real Estate and the Environment -- Chapter 15: Securities Regulation -- Chapter 16: Antitrust Law -- Chapter 17: Unfair Trade Practices and the Federal Trade Commission -- Chapter 18: Employment Law -- Chapter 19: Labor-Management Relations -- Chapter 20: International Law…”
Access online version