Search Results - "contract"

A Comparative Study of Quantum Management, Human Resource Productivity and Organizational Empathy in Higher Education (Case Study: Lorestan Universities and Lorestan University of... by maryam nazarzadeh, Iraj nikpay, abas madandar arani

Connect to this object online.

重探愛國主義：後疫情時代全球倫理的省思 Revisiting Patriotism: Reflections on Global Ethics in the Post-Pandemic Era by 簡成熙 Cheng-Hsi Chien

Connect to this object online.

The COVID-19 (Coronavirus) pandemic: consequences for occupational health by Alex Burdorf, Fabio Porru, Reiner Rugulies

Connect to this object online.

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

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

Table of Contents: “…Synthesis -- HOLL: Program Synthesis for Higher Order Logic Locking -- The Complexity of LTL Rational Synthesis -- Synthesis of Compact Strategies for Coordination Programs -- ZDD Boolean Synthesis -- Verification -- Comparative Verification of the Digital Library of Mathematical -- Functions and Computer Algebra Systems -- Verifying Fortran Programs with CIVL -- NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems -- Efficient Neural Network Analysis with Sum-of-Infeasibilities -- Blockchain -- Formal Verification of the Ethereum 2.0 Beacon Chain -- Fast and Reliable Formal Verification of Smart Contracts with the Move Prover -- A Max-SMT Superoptimizer for EVM handling Memory and Storage -- Grammatical Inference -- A New Approach for Active Automata Learning Based on Apartness -- Learning Realtime One-Counter Automata -- Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic -- and Daniel NeiderLearning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes -- Verification Inference -- Inferring Interval-Valued Floating-Point Preconditions -- NeuReach: Learning Reachability Functions from Simulations -- Quantifier Alternations: Taming the Search Space Explosion -- LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions -- Short papers -- Kmclib: Automated Inference and Verification of Session Types from OCaml Programs -- Automated Translation of Natural Language Requirements to Runtime Monitors -- MaskD: A Tool for Measuring Masking Fault-Tolerance -- Better Counterexamples for Dafny -- Constraint Solving -- cvc5: A Versatile and Industrial-Strength SMT Solver -- Clausal Proofs for Pseudo-Boolean Reasoning -- Moving Definition Variables in Quantified Boolean Formulas -- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic -- Model checking and verification -- Property Directed Reachability for Generalized Petri Nets -- Transition Power Abstractions for Deep Counterexample Detection -- Searching for Ribbon-Shaped Paths in Fair Transition Systems -- CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.…”
Link to Metadata

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

Table of Contents: “…Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).…”
Link to Metadata

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

Table of Contents: “…Concurrent and Distributed Systems -- Computing the concurrency threshold of sound free-choice workflow nets -- Fine-Grained Complexity of Safety Verification -- Parameterized verification of synchronization in constrained reconfigurable broadcast networks -- EMME: a formal tool for the ECMAScript Memory Model Evaluation -- SAT and SMT II -- What a Difference a Variable Makes -- Abstraction Refinement for Emptiness Checking of Alternating Data Automata -- Revisiting Enumerative Instantiation -- An Non-linear Arithmetic Procedure for Control-Command Software Verification -- Security and Reactive Systems -- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection -- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts -- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties -- The Refinement Calculus of Reactive Systems Toolset -- Static and Dynamic Program Analysis -- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation -- Optimal Dynamic Partial Order Reduction with Observers -- Structurally Defined Conditional Data-flow Static Analysis -- Geometric Nontermination Arguments -- Hybrid and Stochastic Systems -- Efficient dynamic error reduction for hybrid systems reachability analysis -- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic -- Multi-Cost Bounded Reachability in MDPs -- A Statistical Model Checker for Nondeterminism and Rare Events -- Temporal logic and mu-calculus -- Permutation Games for the Weakly Aconjunctive mu-Calculus -- Symmetry Reduction for the Local Mu-Calculus -- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models -- 7th Competition on Software Verification (SV-COMP) -- 2LS: Memory Safety and Non-Termination (Competition contribution) -- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) -- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-BasedDependency Analysis (Competition Contribution) -- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) -- Map2Check using LLVM and KLEE (Competition Contribution) -- Symbiotic 5: Boosted Instrumentation (Competition Contribution) -- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) -- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) -- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).…”
Link to Metadata

Towards achieving interorganisational collaboration between health-care providers: a realist evidence synthesis by Millar Ross, Aunger Justin Avery, Rafferty Anne Marie, Greenhalgh Joanne, Mannion Russell, McLeod Hugh, Faulks Deborah

Connect to this object online.

Worktime control: theoretical conceptualization, current empirical knowledge, and research agenda by Debby GJ Beckers, Michiel AJ Kompier, Göran Kecklund, Mikko Härmä

Connect to this object online.

Monitoring trends in psychosocial and physical working conditions: Challenges and suggestions for the 21st century by Hermann Burr

Connect to this object online.

An 'alcohol health champions' intervention to reduce alcohol harm in local communities: a mixed-methods evaluation of a natural experiment by Elizabeth J Burns, Frank de Vocht, Noemia Siqueira, Cathy Ure, Suzanne Audrey, Margaret Coffey, Susan Hare, Suzy C Hargreaves, Mira Hidajat, Steve Parrott, Lauren Scott, Penny A Cook

Connect to this object online.

Deeping Our Relationships for Healing: Our Land, Our People, Our Freedom

Connect to this object online.

Reconceptualizing Professionalism in the Context of Acupuncture: Setting Standards for Future Acupuncturists, a View from Malaysia by Chee Hee Seng, Linchao Qian, Yun Jin Kim

Connect to this object online.

Effect of fluoridated water on invasive NHS dental treatments for adults: the LOTUS retrospective cohort study and economic evaluation by Deborah Moore, Blessing Nyakutsikwa, Thomas Allen, Emily Lam, Stephen Birch, Martin Tickle, Iain A Pretty, Tanya Walsh

Connect to this object online.

Improving the Effectiveness of Psychological Interventions for Depression and Anxiety in Cardiac Rehabilitation: The PATHWAY Research Programme Including 4 RCTs by Adrian Wells, David Reeves, Peter Fisher, Linda Davies, Gemma Shields, Patrick Joseph Doherty, Anthony Heagerty, Calvin Heal, Lindsey Brown, Lora Capobianco

Connect to this object online.

Molecular Mechanism of Congenital Heart Disease and Pulmonary Hypertension

Table of Contents: “…PART I: Basic Science of Pulmonary Development and Pulmonary Arterial Disease -- 1 Perspective for Part I -- 2 The alveolar stem cell niche of the mammalian lung -- 3 Lung development and Notch signalling -- 4 Specialized smooth muscle cell progenitors in pulmonary hypertension -- 5 Diverse Pharmacology of Prostacyclin Mimetics: Implications for Pulmonary Hypertension -- 6 Endothelial-to-mesenchymal transition in pulmonary hypertension -- 7 Extracellular vesicles, MicroRNAs and Pulmonary Hypertension -- 8 Roles of Tbx4 in the lung mesenchyme for airway and vascular development -- 9 A lacZ reporter transgenic mouse line revealing the development of pulmonary artery -- 10 Roles of stem cell antigen-1 in the pulmonary endothelium -- 11 Morphological characterization of pulmonary microvascular disease in bronchopulmonary dysplasia caused by hyperoxia in newborn mice -- 12 Involvement of CXCR4 and stem cells in a rat model of pulmonary arterial hypertension -- 13 Ca2+ signal through inositol trisphosphate receptors for cardiovascular development and pathophysiology of pulmonary arterial hypertension -- PART II: Abnormal pulmonary circulation in the developing lung and heart -- 14 Perspective for Part II -- 15 Pathophysiology of Pulmonary Circulation in Congenital Heart Disease -- 16 Development of Novel Therapies for Pulmonary Hypertension by Clinical Application of Basic Research -- 17 Using Patient-Specific Induced Pluripotent Stem Cells to Understand and Treat Pulmonary Arterial Hypertension -- 18 Modeling pulmonary arterial hypertension using induced pluripotent stem cells -- 19 Dysfunction and restoration of endothelial cell communications in Pulmonary Arterial Hypertension: Therapeutic implications -- 20 Inflammatory Cytokines in the Pathogenesis of Pulmonary Arterial Hypertension -- 21 Genotypes and Phenotypes of Chinese Pediatric Patients with Idiopathic and Heritable Pulmonary Arterial Hypertension- Experiences from A Single Center -- 22 Fundamental Insight into Pulmonary Vascular Disease : Perspectives from Pediatric PAH in Japan -- 23 Risk stratification in paediatric pulmonary arterial hypertension -- 24 The Adaptive Right Ventricle in Eisenmenger Syndrome: Potential Therapeutic Targets for Pulmonary Hypertension -- 25 Impaired right coronary vasodilator function in pulmonary hypertensive rat assessed by in vivo synchrotron microangiography -- 26 Relationship between mutations in ENG and ALK1 gene and the affected organs in hereditary hemorrhagic telangiectasia -- 27 A genetic analysis for patients with pulmonary arterial hypertension -- 28 Evaluation and visualization of right ventricle using three dimensional echocardiography -- 29 Pulmonary hypertension associated with post-operative Tetralogy of Fallot -- 30 Microscopic Lung Airway Abnormality and Pulmonary Vascular Disease Associated with Congenital Systemic to Pulmonary Shunt -- 31 Respiratory syncytial virus infection in infants with heart and lung diseases -- PART III: Ductus arteriosus: bridge over troubled vessels -- 32 Perspective for Part III -- 33 The ductus arteriosus, a vascular outsider, in relation to the pulmonary circulation -- 34 Molecular, genetic, and pharmacological modulation of the ductus arteriosus: KATP channels as novel drug targets -- 35 New mediators in the biology of the ductus arteriosus: Lessons from the chicken embryo -- 36 Constriction of the Ductus Arteriosus with KATP Channel Inhibitors -- 37 New insights on how to treat patent ductus arteriosus -- 38 Antenatal Administration of Betamethasone Contributes to Intimal thickening of the Ductus Arteriosus -- 39 Prostaglandin E-EP4-mediated fibulin-1 up-regulation plays a role in intimal thickening of the ductus arteriosus -- 40 Transcriptional profiles in the chicken ductus arteriosus during hatching -- 41 Inhibition of Cyclooxygenase Contracts Chicken Ductus Arteriosus -- 42 Prostaglandin E2 receptor EP4 inhibition constricts the rat ductus arteriosus -- 43 Dilatation of the Ductus Arteriosus by Diazoxide in Fetal and Neonatal Rats -- 44 The Effect of Long-term Administration of Plostaglandin E1 on Morphological Changes in Ductus Arteriosus -- 45 Significance of SGK1 as a protein kinase transcriptionally regulated by ALK1 signaling in vascular endothelial cells -- 46 Fabrication of Implantable Human Arterial Graft by Periodic Hydrostatic Pressure -- 47 Optimum preparation of Candida albicans cell wall extra (CAWE) for the mouse model of Kawasaki disease -- PART IV: Development and Regeneration of the Cardiovascular System -- 48 Perspective for Part IV -- 49 Advances in the second heart field -- 50 Novel cardiac progenitors for all components of the heart except for the right ventricle -- 51 Regional and TBX5-dependent gene expression in the atria: Implications for pulmonary vein development and atrial fibrillation -- 52 The Endocardium as a Master Regulator of Ventricular Trabeculation -- 53 The Role of Alternative mRNA Splicing in Heart Development -- 54 Progress in the Generation of Multiple Lineage Human-iPSC-derived 3D Engineered Cardiac Tissues for Cardiac Repair -- 55 Quantification of contractility in stem cell derived cardiomyocytes -- 56 A neurotrophic factor receptor GFRA2, a specific surface antigen for cardiac progenitor cells, regulates the process of myocardial compaction -- 57 Cardiac cell specification and differentiation by the defined factors -- 58 A Temporo-Spatial Regulation of Sema3c is Essential for Interaction of Progenitor Cells during Cardiac Outflow Tract Development -- 59 Spatiotemporally restricted developmental alterations in the anterior and secondary heart fields cause distinct conotruncal heart defects -- 60 Significance of transcription factors in the mechanisms of great artery malformations -- 61 The different c-kit expression in human induced pluripotent stem (iPS) cells between with feeder cells and without feeder cells -- 62 Establishment of induced pluripotent stem cells from immortalized B cell lines and their differentiation into cardiomyocytes -- 63 Establishment of an in vitro LQT3 model, using induced pluripotent stem cells from LQT3 patient-derived cardiomyocytes -- 64 Genetic Assessments for clinical courses of Left ventricle noncompaction -- 65 Elucidating the pathogenesis of congenital heart disease in the era of next-generation sequencing.…”
Link to Metadata

Residual force enhancement in human skeletal muscles: A systematic review and meta-analysis by Daiani de Campos, Lucas B.R. Orssatto, Gabriel S. Trajano, Walter Herzog, Heiliane de Brito Fontana

Connect to this object online.

Maximum isometric torque at individually-adjusted joint angles exceeds eccentric and concentric torque in lower extremity joint actions by Andreas Stotz, Ebrahem Maghames, Joel Mason, Andreas Groll, Astrid Zech

Connect to this object online.

Mechanisms Underlying Mechanical Responses to Ephedra herb of Isolated Rabbit Urinary Bladder and Urethra, a Possible Stress Urinary Incontinence Therapeutic by Kazuhide Ayajiki, Toshio Kimura, Kohei Yamamizu, Tomio Okamura

Connect to this object online.

Pelvic floor status in opera singers. a pilot study using transperineal ultrasound by Ingrid Volløyhaug, Tuva Semmingsen, Anne-Maria Laukkanen, Clara Karoliussen, Kåre Bjørkøy

Connect to this object online.