Search Results - If—~

Perspectives on European Earthquake Engineering and Seismology Volume 1 /

Table of Contents: “…From Performance- and Displacement-Based Assessment of Existing Buildings per EN1998-3 to Design of New Concrete Structures in Fib MC2010 -- 8. Testing Historic Masonry Structural Elements and/or Building Models -- 9. …”
Link to Metadata

Higher Education Reforms in Romania Between the Bologna Process and National Challenges /

Table of Contents: “…Internationalisation of higher education in Romanian national and institutional contexts: Eva Egron Polak, Ligia Deca, Cristina Fit -- 8. Are talents wisely spent? The case of student subsidies in Romanian Higher Education: Viorel Proteasa, Adrian Miroiu -- 9. …”
Link to Metadata

Sustainable Qatar Social, Political and Environmental Perspectives /

Table of Contents: “…Law and Governance Innovations on Sustainability in Qatar: Current Approaches and Future Directions -- Chapter 4. FIFA World Cup 2022 as a Catalyst for Environmental Sustainability in Qatar -- Chapter 5. …”
Link to Metadata

U.S. Federal Income Taxation of Individuals 2023 by Geier, Deborah A

Table of Contents: “…Expense” (or Current Depreciation) -- Unit II: Two Types of Gross Income: Compensation and Residual Gross Income -- Chapter 5: § 61(a)(1) Compensation -- Chapter 6: § 61 Residual Gross Income -- Unit III: The Possibilities for Income Shifting -- Chapter 7: Gifts and Bequests -- Chapter 8: Income Shifting in the Happy and Fractured Family -- Unit IV: Everything You Ever Wanted To Know About Debt but Were Afraid To Ask -- Chapter 9: Borrowing and Lending -- Chapter 10: The Bad-Debt Deduction (for Lenders) and Debt-Discharge Income (for Borrowers) -- Chapter 11: Debt and Property -- Unit V: The Ownership and Disposition of Property -- Chapter 12: Properly Accounting for, and the Nonrecognition of, §110011 Realized Gain or Loss -- Chapter 13: Depreciation in a Realization-Based Income Tax and the Business Interest Deduction -- Chapter 14: Capital Gains and Losses -- Chapter 15: Tax Shelters -- Unit VI: Distinguishing Between Income-Producing Activities and Personal Consumption and the Personal Consumption Tax Expenditures -- Chapter 16: On Human Capital -- Chapter 17: Homes, Health, Charity, and More -- Chapter 18: Gambling and Hobby Losses -- Chapter 19: Allocating Costs Between Income Production and Personal Consumption -- Unit VII: The Taxable Year and Methods of Accounting -- Chapter 20: The Taxable Year -- Chapter 21: Methods of Accounting…”
Access online version

The Interconnected Arctic - UArctic Congress 2016

Table of Contents: “…Part I Vulnerability of the Arctic environments. Chapter 1 Mysteries of the geological history of the Cenozoic Arctic Ocean sea ice cover -- Chapter 2 Response of Arctic alpine biota to climate change -evidence from Polar Urals GLORIA summits -- Chapter 3 The features of natural and artificial recovery in quarries of the forest-tundra zone of Western Siberia -- Chapter 4 The concept of hierarchical structure of large marine ecosystems in the zoning of Russian Arctic shelf seas -- Chapter 5 Changing climate and outbreaks of forest pest insects in a cold northern country, Finland -- Chapter 6 Wood-based energy as a strategy for climate change mitigation in the Arctic -Perspectives on assessment of climate impacts and resource efficiency with Life Cycle Assessment -- Chapter 7. …”
Link to Metadata

Prevalência de hipertensão arterial em militares jovens e fatores associados Prevalencia de hipertensión arterial en militares jóvenes y factores asociados Prevalence of arteri... by Daniela Wenzel, José Maria Pacheco de Souza, Sônia Buongermino de Souza

Connect to this object online.

Resultados de las intervenciones enfermeras en el proceso pluripatológico para mejorar la práctica clínica Nursing outcomes in pluripathology process to improve clinical practic... by Francisco Pedro García Fernández, Mª Isabel Carrascosa García

Connect to this object online.

Особливості нейрональної активності фронтальної кори щурів при пентиленететразоловому кіндлінзі = The peculiarities of rats frontal cortex neuronal activity during pentylenetetr... by O. B. Denisenko, Al. Al. Shandra, R. S. Vastyanov

Connect to this object online.

RENAL DYSFUNCTION IN PRETERM INFANTS WITH PERINATAL PATHOLOGY: RISK FACTORS, SENSITIVITY AND SPECIFICITY OF LABORATORY MARKERS OF DAMAGE by А. Фрунза, Ю. Годованець

Connect to this object online.

Ocena częstości występowania bólu kręgosłupa oraz stylu i jakości życia wśród osób z bólem kręgosłupa = Evaluation of the prevalence of back pain as well as the style and the quality of life among people with back pain by Piotr Kozłowski, Katarzyna Kożuch, Magdalena Kozłowska, Izabela Ławnicka, Karolina Kozłowska

Connect to this object online.

Twenty years of child and teenager's statute by Carlos Antonio Bruno da Silva, Querubina Bringel Olinda

Connect to this object online.

Immunotropic effects of nitrogenous metabolites in patients with chronic pyelonephritis by Igor Kuchma, Anatoliy Gozhenko, Igor-Severyn Flyunt, Sofiya Ruzhylo, Walery Zukow, Igor Popovych

Connect to this object online.

Evaluación ex vivo del material de obturación extruido durante el retratamiento endodóntico con el empleo de dos técnicas de remoción Ex vivo evaluation of the amount of extru... by Laura Alejandra Mora González, Sagrario Rivera Martínez, Héctor Vásquez Santiago, Basilia del Carmen González Guzmán, César Martínez Rojas

Connect to this object online.

ABORDAGEM LÚDICA SOBRE OS ASPECTOS CELULARES DO DIABETES E DA OBESIDADE PARA ALUNOS DO ENSINO MÉDIO by Ludimila Canuto Faccioni, Rafaela Rós Soler

Connect to this object online.

Tendência temporal da amamentação na cidade do Rio de Janeiro: 1996-2006 Tendencia temporal del amamantamiento en la ciudad de Rio de Janeiro, Brasil: 1996-2006 Time trend in br... by Inês Rugani Ribeiro de Castro, Elyne Montenegro Engstrom, Letícia Oliveira Cardoso, Jorginete de Jesus Damião, Rosane Valéria Fonseca Viana Rito, Maria Auxiliadora de Souza Mendes Gomes

Connect to this object online.

A ENFERMAGEM E SEUS ESTUDOS SOBRE VIOLÊNCIA ASSOCIADA AO ÁLCOOL: UMA REVISÃO DE LITERATURA by Mariane Santana Moraes, Marilurde Donato, José Mauro Braz de Lima

Connect to this object online.

Electronic prescribing systems in hospitals to improve medication safety: a multimethods research programme by Aziz Sheikh, Jamie Coleman, Antony Chuter, Robin Williams, Richard Lilford, Ann Slee, Zoe Morrison, Kathrin Cresswell, Ann Robertson, Sarah Slight, Hajar Mozaffar, Lisa Lee, Sonal Shah, Sarah Pontefract, Abby King, Valeri Wiegel, Samuel Watson, Nde-Eshimuni Salema, David Bates, Anthony Avery, Alan Girling, Lucy McCloughan, Neil Watson

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

Ethics and Drug Resistance: Collective Responsibility for Global Public Health

Table of Contents: “…Introduction -- Part 1 Theoretical and conceptual approaches to ethics in antimicrobial resistance -- Chapter 1 The practical ethics of antimicrobial resistance as a collective action problem (Julian Savulescu) -- Chapter 2 Collective responsibility for antimicrobial resistance (Angus Dawson) -- Chapter 3 Moral aspects of antimicrobial stewardship (Marcel Verweij) -- Chapter 4 Ethical frameworks for rational antibiotic use (Annette Rid, Jasper Littmann, Alena Buyx) -- Chapter 5 The virtuous physician as antimicrobial prescriber (Justin Oakley) -- Chapter 6 Solidarity and compliance with antimicrobial policy (Søren Holm, Thomas Ploug) -- Chapter 7 Resistance, inequality, and epidemiological transition (Lynette Reid) -- Chapter 8 The price of precaution (Joakim Larsson, Christian Munthe) -- Part 2 Ethics and antimicrobial resistance in context -- Chapter 9 Hospital acquired infection (Lyn Gilbert & Ian Kerridge) -- Chapter 10 Antibiotic use in childhood (Michael Millar) -- Chapter 11 Ethics, animals, public goods (Jonny Anomaly) -- Chapter 12 Malaria (PY Cheah& Mike Parker) -- Chapter 13 Resistant HIV (Bridget Haire) -- Chapter 14 Access & availability of new TB drugs (Diego Silva, Adrian Viens, Jasper Littmann) -- Chapter 15 TB Resistance and Human rights (Leslie London) -- Chapter 16 TB Resistance in developing countries (Richard Coker, Marco Liverani, Mishal Khan) -- Chapter 17 Animal Epidemiology (Lisa Boden & Dominic Mellor) -- Part 3 Ethical, legal and economic aspects of antimicrobial resistance -- Chapter 18 Privacy and data collection(Leslie Francis) -- Chapter 19 Mandatory treatment interventions (Carl Coleman) -- Chapter 20 Ethics and AMR Regulation (Belinda Bennett) -- Chapter 21 Ethics of Drug Development (Nick King) -- Chapter 22 Economics of resistance (Coast/Smith) -- Conclusion.…”
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