Search Results - TVP1~

Delays in hospital admissions in patients with fractures across 18 low-income and middle-income countries (INORMUS): a prospective observational study by Panthea Pouramin, MSc, Chuan Silvia Li, MSc, Jason W Busse, PhD, Sheila Sprague, PhD, P J Devereaux, MD, Jagnoor Jagnoor, PhD, Rebecca Ivers, PhD, Mohit Bhandari, MD, Mohit Bhandari, PJ Devereaux, Gordon Guyatt, Brad Petrisor, Lehana Thabane, Respicious L. Boniface, Bruce Browner, Fernando de la Huerta, Rebecca Q Ivers, Theodore Miclau, III, Paul Moroz, Andrew Pollak, Gerard Slobogean, Parag Sancheti, Emil Schemitsch, Junlin Zhou, Sheila Sprague, Paula McKay, Chuan Silvia Li, Raman Mundi, Nathan O'Hara, Diane Heels-Ansdell, Lisa Buckingham, Nicole Simunovic, Jagnoor Jagnoor, Robyn Norton, Jing Zhang, Maoyi Tian, Soumyadeep Bhaumik, Samina Parveen, Saam Morshed, Madeline C. MacKechnie, Junlin Zhou, Yang Liu, Yanrui Zhao, Junfei Li, Haoran Zhang, Zhentao Zhang, Wei Zhang, Tao Guo, Guang Chen, Zichao Jia, Jianzhong Yang, Lixing Kang, Peng Zhang, Haoqing Ma, Donghai Liu, Yinghua Ma, Yanguo Qin, Jincheng Wang, He Liu, Xinlong Ma, Jianxiong Ma, Haobo Jia, Shuangshuang Cui, Zhihu Zhao, Lin Fu, Hongqiang Jiang, Jianwei Lv, Sanbao Hu, Yongwei Wang, Mingyao Sun, Shuqing Tao, Baochang Qi, Ming Gao, Bo Wu, Chunsheng Zhi, Ben Xing, Jun Yang, Wenjie Dai, Duo Lu, Shisheng He, Xinyu Cai, Gejun Liu, Gang Rui, Baoshan Hu, Pingfang Shi, Hua Chen, Te Wang, Qingqing Wang, Linzhen Xie, Huanguang Xie, Tony Mutanda, Juliet Ntuulo, Flavia Lubega, Gayita Teddy Tracy, Kayondo Zaitun, Sylvester Ndayisaba, Titus Amone, Samuel Remmy Odong, Mark Lutomia, Caesar Okatch, Thomas Bitok, Alexander Kiambuthi, Fred Mathew Toboso Otsyeno, Pankaj G Jani, Vincent Muoki Mutiso, John EO Ating'a, Peter Kavoo Kilonzo, James Muoki, Makena Mbogori, Joan Wambui Wambugu, Dorothy Torutt, Christopher Odok, Elisha Ngetich, Dean Otsyeno, Juma Wakhayanga, Desmond Nzioka, Deogracia Owende, Ruth Lucinde, Brian Ngure Kariuki, Dennis Kinyua, Maureen Kamau, Maureen Mwancha, Mellany Murgor, Marilyn Nyabuti, Rita Njoki, Patricia Wanza, Abraham Odongo, Paul Marealle, Athman Wanini, Marwa Elisha, Damas Zumbulu, Pariyo Bonane Godfrey, Benjamin Mukulu Ndeleva, Murila Johnson, Moses Kimani, Kinuthia Gichui, Rogers Joachin Temu, Angela Neofitus Mselle, Ancelimu Rafael Kimario, Mmampapatla Thomas Ramokgopa, Gregory Firth, Anna Grisillo Biscardi, Machuene Ananias Poopedi, Johan Moolman, Brenda Milner, Matimba Maluleke, Maxwell Jingo, Susan van Deventer, Timothy Pikor, Ravi Bhaga, Michael Mara, Geoffrey Chege Mwangi, Anthony Muchiri Maina, David Wamae Gicheru, Carol Mwangi, Isaac Kingori Wangai, Peter Watson Maina, Ezra Mitei Kiptoo, Olufemi Olukemi Temiloluwa, Adeyeye Adeolu Ikechukwu, Ige Oluwole Olugbenga, Ojodu Ishaq Bamidele, Oladimeji Oladipupo Akanbi, Panchu Subramanian, Olivia L Mosweu, Samuel Hailu, Geletaw Tessema, Bahiru Bezabih, Birhanu Ayana, Hiwot Hailu, Betelhem Zewdneh, Hana Tesfaye, Sosena Tadesse, Dominic Konadu-Yeboah, Vincent Ativor, Peter Konadu, Dominic Awariyah, Raphael Quartey, Raphael Kumah-Ametepey, Osman Saani, Robert Ekow Quansah, Paa Kwesi Baidoo, Peter Trafton, David Anyitey-Korkor, Michael Leat, Johnny Sobotie, Godwin Opuni, Kwasi Kusi, Twimasi Baah, Paul Okyere, Bernice Mensah, Doris Akuoko Sarpong, Felicia Agbenorwu, Phyllis Osei-Donkor, Priscilla Opoku, Michael Segbefia, Gerald Chukwuemeka Oguzie, Emmanuel Chino Iyidobi, Cajetan Uwatoronye Nwadinigwe, Sharon Amarachi Uloma Oguzie, Emina Bami Kesiena, Henry Tanyi Ndasi, Nietiayurk Aminake Ghislain, Mala Irine Shey, Ikose John Nanje, Parag Sancheti, Ashok Shyam, Madhav Borate, Sampat Dumbre Patil, Sachin Karkamakar, Shailesh Patil, Abhijeet Ranaware, Shadab Tamboli, Manish Gandhalikar, Rohini Tupe, Vishal Chaudhari, Avanti Joshi, Sanjay Patil, Mohit Madhukar Dalwekar, Tejas Gandhi, Chintamani Latkar, Gopal Pundkare, Sandeep Shrivastava, Pradeep K Singh, Sanjay Deshpande, Sumit Baheti, Ravi Mittal, Vijay Sharma, Vinoo Mathew Cherian, Thilak Samuel Jepegnanam, Vijay T K Titus, Manasseh Nithyananth, Palapattu R J V C Boopalan, Viju Daniel Varghese, Justin Arockiaraj, Anupam Mahajan, Bobby John, Ritesh Pandey, Jeewan S Prakash, Valsamma Abraham, Arti Rajkumar, Harvinder Singh Chhabra, Rajesh Sharawat, Ritabh Kumar, Pushkar Chawla, Rashmi Yadav, Rajagopalan N Iyer, Naveen Nair, Rajkumar S Amaravathi, Srinivasalu Santhanagopa, Anoop Pilar, Keith Behram Tamboowala, Mandeep S Dhillon, Sarvdeep S Dhatt, Asolie Chase, Neel M Bhavsar, Rameez Musa, Darshan Shah, Sunil Chodavadiyah, Pankaj G Patel, Raja Irfan Qadir, Syed Imran Bukhari, Khushnood Ali Baz, Subin Byanjankar, Ruban Raj Joshi, Rajeev Dwivedi, Jay Raj Sharma, La Ngoc Quang, Nguyen Duc Chinh, Vu Bao Hong, Paphon Sa-ngasoongsong, Noratep Kulachote, Norachart Sirisreetreerux, Wanjak Pongsamakthai, Irewin Alagar Tabu, Paula Veronica Reyes, Iardinne Caiquep, Joni Mitchell Robles Bituin, Jenna González, Mohammadreza Golbakhsh, Mashyaneh Haddadi, Soheil Saadat, Mohammadreza Zafarghandi, Clotilde Fuentes Orozco, José de Jesús Martínez Ruíz, Gustavo Armando Tafoya Arreguin, César Eduardo Pinedo Flores, Irydia Guadalupe Pellegrini Verduzco, Miguel Oscar Hernandez Camacho, Diego Abraham Estrada Téllez, Rodrigo Salcedo López, Ileana Guadalupe Canales Navarro, Mizael Dennis Pérez, Daniel de Jesús Enciso Carrillo, Paola Alejandra Álvarez López, Adán Cervantes Gómez, Fátima Nohemí Franco Bravo, Eugenia de los Ángeles Reyes Arias, Igor A. Escalante Elguezabal, Ennio Antonio Rizzo, Jean Michel Hovsepian, Victor Rodriguez, Manuel Malaret Baldo, Andres Serrano, Carlos G. Sanchez Valenciano, Edgar Efren Mercado Salcedo, Fryda Medina, Fernando Bidolegui, Sebastian Pereira, Gerardo Aguilar, Jorge Rubio-Avila, William Dias Belangero, José Ricardo Lenzi Mariolani, Bruno Livani, André Lugnani, Felipe Rossi, Angela Katayama, Fernando Baldy, Vinícius Ynoe de Moraes, Fabricio Fogagnolo, Kodi Edson Kojima, Jorge dos Santos Silva, Marco Kawamura Demange, Fernando Brandão de Andrade-Silva, Adriana Carvalho Gomes da Silva, Nelson Elias, Dino Aguilar Martinez, Fernando Contreras, Mario Garuz, Jose Eduardo Quintero, Gavino Merchan, Christian M. Lozano Lurita, Aturo D. Torres Manrique, Jorge Hurtado Fernandez, Sergio Iriarte Vincenti, Alfredo Pozzo Bobarin, Dalton Salinas Sanchez, Julio Segovia Altieri, Diego Almada, Derlis Bogado, Carlos Coronel, Cristian Boveda, Victor del Valle, Carlos Montiel, Nelson Marin, Antonio Barquet, Daniel Rienzi, Carlos Amanquez, Georges Beauvoir, Iván J Salce Cutipa, José Eduardo Grandi Ribeiro, José María Jiménez Avila, Luis Padilla, Hernando Cuevas Ochoa, Hernando Cuevas Cano, Adriana Vaca González, Nubia Itzel Gonzalez Gutierrez, José Eduardo Grandi Ribeiro, Victor Espinola, Cristian Boveda

Connect to this object online.

Choosing & Using Sources A Guide to Academic Research

Table of Contents: “…Research Questions -- 2. Types of Sources -- 3. Sources and Information Needs -- 4. …”
Access online version

Integration of a skier-specific keypoint detection model in a hybrid 3D motion capture pipeline by Michael Zwölfer, Martin Mössner, Helge Rhodin, Werner Nachbauer, Dieter Heinrich

Connect to this object online.

AIDS mortality trends in Mexico, 1988-1997 Tendencias de mortalidad por SIDA en México, 1988-1997 by Carlos Hernández-Girón, Víctor Tovar-Guzmán, Carlos del Río

Connect to this object online.

Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023,...

Table of Contents: “…Logics for extensional, locally complete analysis via domain refinements -- Clustered Relational Thread-Modular Abstract Interpretation with Local Traces -- Adversarial Reachability for Program-level Security Analysis -- Automated Grading of Regular Expressions -- Builtin Types viewed as Inductive Families -- Pragmatic Gradual Polymorphism with References -- Modal crash types for intermittent computing -- Gradual Tensor Shape Checking -- A Type System for Effect Handlers and Dynamic Labels -- Interpreting Knowledge-based Programs -- Contextual Modal Type Theory with Polymorphic Contexts -- A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests -- Quorum Tree Abstractions of Consensus Protocols -- MAG π : Types for Failure-Prone Communication -- System $Fˆ\mu \omega$ with Context-free Session Types -- Safe Session-Based Concurrency with Shared Linear State -- Bunched Fuzz: Sensitivity for Vector Metrics -- Fast and Correct Gradient-Based Optimisation for Probabilistic Programmingvia Smoothing -- Type-safe Quantum Programming in Idris -- Automatic Alignment in Higher-Order Probabilistic Programming Languages.…”
Link to Metadata

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...

Table of Contents: “…The Decidability of Verification under PS 2.0 -- Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains -- Types for Complexity of Parallel Computation in Pi-Calculus -- Checking Robustness Between Weak Transactional Consistency Models -- Verified Software Units -- An Automated Deductive Verication Framework for Circuit-building Quantum Programs -- Nested Session Types -- Coupled Relational Symbolic Execution for Differential Privacy -- Graded Hoare Logic and its Categorical Semantics -- Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing -- For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM -- Run-time Complexity Bounds Using Squeezers -- Complete trace models of state and control -- Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols -- Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages -- Densities of Almost Surely Terminating Probabilistic Programs areDifferentiable Almost Everywhere -- Graded Modal Dependent Type Theory -- Automated Termination Analysis of Polynomial Probabilistic Programs -- Bayesian strategies: probabilistic programs as generalised graphical models -- Temporal Refinements for Guarded Recursive Types -- Query Lifting: Language-integrated query for heterogeneous nested collections -- Reverse AD at Higher Types: Pure, Principled and Denotationally Correct -- Sound and Complete Concolic Testing for Higher-order Functions -- Strong-Separation Logic. .…”
Link to Metadata

Handbook of Technical and Vocational Teacher Professional Development in the Digital Age

Table of Contents: “…Introduction -- Chapter 2 Definitions and a review of relevant theories, frameworks and approaches -- Chapter 3 Professional competencies in TVET: Framework, indicators and assessment instrument -- Chapter 4 Strategies for developing TVET teachers' professional competencies -- Chapter 5 Exemplars of good practice.…”
Link to Metadata

Procurement and Politics Strategies of Defence Acquisition in Canada and Australia / by Migone, Andrea, Howlett, Alexander, Howlett, Michael

Table of Contents: “…Procuring Advanced Weapon Systems and Platforms: Four Types of Procurement Considered -- 3. Failure Where Alignment is Lacking: Type 26 Frigate Procurement Processes in Australia Versus Canada, 1990-2022 -- 4. …”
Link to Metadata

Academic Success by Hargreaves, Wendy, Bartlett, Cristy, Derrington, Kate

Table of Contents: “…Part D: Successful Assessment -- Managing Assessment -- Writing Assignments -- Types of Assignments -- Presentations -- Preparing for Exams -- Types of Exams…”
Access online version

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Table of Contents: “…Semantics -- Non-angelic Concurrent Game Semantics -- A Trace Semantics for System F Parametric Polymorphism -- Categorical Combinatorics for Non Deterministic Strategies on Simple Games -- A Syntactic View of Computational Adequacy -- Linearity -- A New Linear Logic for Deadlock-Free Session-Typed Processes -- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads -- Depending on Session-Typed Processes -- FabULous Interoperability for ML and a Linear Language -- Concurrency -- Automata for True Concurrency Properties -- A Theory of Encodings and Expressiveness -- A Framework for Parameterized Monitorability -- Logics for Bisimulation and Divergence -- Lambda-Calculi and Types -- Call-by-need, Neededness and All That -- Fitch-Style Modal Lambda Calculi -- Realizability Interpretation and Normalization of Typed Call-by-Need -- Quotient Inductive-Inductive Types -- Category Theory and Quantum Control -- Guarded Traced Categories -- Proper Semirings and Proper Convex Functors -- From Symmetric Pattern-Matching to Quantum Control -- Quantitative Models -- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes -- A Hierarchy of Scheduler Classes for Stochastic Automata -- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings -- Comparator Automata in Quantitative Verification -- Logics and Equational Theories -- Modular Tableaux Calculi for Separation Theories -- Differential Calculus with Imprecise Input and its Logical Framework -- The Effects of Adding Reachability Predicates in Propositional Separation Logic -- The Equational Theory of the Natural Join and of Inner Union is Decidable -- Graphs and Automata -- Minimization of Graph Weighted Models over Circular Strings -- Games on Graphs with a Public Signal Monitoring -- WQO Dichotomy for 3-Graphs -- Verifying Higher-Order Functions with Tree Automata.…”
Link to Metadata

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...

Table of Contents: “…Language Design -- Consistent Subtyping for All -- HOBiT: Programming Lenses without using Lens Combinators -- Dualizing Generalized Algebraic Data Types by Matrix Transposition -- Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach -- Probabilistic Programming -- An Assertion-Based Program Logic for Probabilistic Programs -- Fine-grained Semantics for Probabilistic Programs -- How long, O Bayesian network, will I sample thee? …”
Link to Metadata

A Generalization of Bohr-Mollerup's Theorem for Higher Order Convex Functions by Marichal, Jean-Luc, Zenaïdi, Naïm

Table of Contents: “…Derivatives of multiple log-gamma type functions -- Chapter 8. Further results -- Chapter 9. …”
Link to Metadata

Vessel Health and Preservation: The Right Approach for Vascular Access

Table of Contents: “…Right Insertion -- Chapter 4. Catheter size, type, number of lumen for patient and treatment -- Chapter 5. …”
Link to Metadata

Mastering Uncertainty in Mechanical Engineering

Table of Contents: “…Introduction -- Types of uncertainty -- Our specific approach on mastering uncertainty -- Analysis, quantification and evaluation of uncertainty -- Methods and technologies for mastering uncertainty.…”
Link to Metadata

Model Tests and Numerical Simulations of Liquefaction and Lateral Spreading II LEAP-ASIA-2019 /

Table of Contents: “…LEAP-ASIA-2019 Simulation Exercise: Comparison of the Type-B and Type-C Numerical Simulations with Centrifuge Test Results -- 4. …”
Link to Metadata

English Composition Connect, Collaborate, Communicate by Inoshita, Ann, Garland, Karyl, Sims, Kate, Tsutsui Keuma, Jeanne K., Williams, Tasha

Table of Contents: “…Essay Structure -- Chapter 4. Types of Essays -- Chapter 5. Research Skills…”
Access online version

The Limits of Art On Borderline Cases of Artworks and their Aesthetic Properties / by Benovsky, Jiri

Table of Contents: “…Introduction: Different types of limits -- Extending the limits I: Non-visual and non-auditory artworks -- Extending the limits II: Intellectual artworks -- Limits and their vagueness: The case of paintings and photographs.…”
Link to Metadata

Informed Arguments A Guide to Writing and Research

Table of Contents: “…Rhetorical Situation -- IV. Types of Argumentation -- V. Process and Organization -- VI. …”
Access online version

Informed Arguments A Guide to Writing and Research by Pantuso, Terri, LeMire, Sarah, Anders, Kathy

Table of Contents: “…Rhetorical Situation -- IV. Types of Argumentation -- V. Process and Organization -- VI. …”
Access online version

Foundations of Quantum Theory From Classical Concepts to Operator Algebras / by Landsman, Klaas

Table of Contents: “…Introduction -- Part I Co(X) and B(H): Classical physics on a finite phase space -- Quantum mechanics on a finite-dimensional Hilbert space -- Classical physics on a general phase space -- Quantum physics on a general Hilbert space -- Symmetry in quantum mechanics -- Part II Between Co(X) and B(H): Classical models of quantum mechanics -- Limits: Small hbar -- Limits: large N -- Symmetry in algebraic quantum theory -- Spontaneous Symmetry Breaking -- The Measurement Problem -- Topos theory and quantum logic -- Appendix A: Finite-dimensional Hilbert spaces -- Appendix B: Basic functional analysis -- Appendix C: Operator algebras -- Appendix D: Lattices and logic -- Appendix E: Category theory and topos theory -- References.…”
Link to Metadata