Search Results - PLDT~

Comparative clinical-related outcomes of Chinese patent medicines for cardiac hypertrophy: A systematic review and network meta-analysis of randomized clinical trials by Tianqi Zhang, Tianqi Zhang, Haoyang Xu, Dong Zhen, Danni Fu, Ming Zhao, Chengxi Wei, Xue Bai, Xue Bai

Connect to this object online.

Comparing Contact Tracing Through Bluetooth and GPS Surveillance Data: Simulation-Driven Approach by Weicheng Qian, Aranock Cooke, Kevin Gordon Stanley, Nathaniel David Osgood

Connect to this object online.

Heart Rate Measures From Wrist-Worn Activity Trackers in a Laboratory and Free-Living Setting: Validation Study by Müller, Andre Matthias, Wang, Nan Xin, Yao, Jiali, Tan, Chuen Seng, Low, Ivan Cherh Chiet, Lim, Nicole, Tan, Jeremy, Tan, Agnes, Müller-Riemenschneider, Falk

Connect to this object online.

The Physician Global Assessment and Body Surface Area composite tool is a simple alternative to the Psoriasis Area and Severity Index for assessment of psoriasis: post hoc analysis from PRISTINE and PRESTA by Walsh JA, Jones H, Mallbris L, Callis Duffin K, Krueger GG, Clegg DO, Szumski A

Connect to this object online.

Engagement With a Behavior Change App for Alcohol Reduction: Data Visualization for Longitudinal Observational Study by Bell, Lauren, Garnett, Claire, Qian, Tianchen, Perski, Olga, Williamson, Elizabeth, Potts, Henry WW

Connect to this object online.

Concept and Design Developments in School Improvement Research Longitudinal, Multilevel and Mixed Methods and Their Relevance for Educational Accountability /

Table of Contents: “…The structure of leadership language: rhetorical and linguistic methods for studying school improvement (Rebecca Lowenhaupt) -- Chapter 9. Designing and Piloting a Leadership Daily Practice Log: Using Logs to Study the Practice of Leadership (James P. …”
Link to Metadata

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /

Table of Contents: “…Certified Core-Guided MaxSAT Solving -- Superposition with Delayed Unification -- On Incremental Pre-processing for SMT -- Verified Given Clause Procedures -- QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment -- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs -- An Isabelle/HOL Formalization of the SCL(FOL) Calculus -- SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning -- Formal Reasoning about Influence in Natural Sciences Experiments -- A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification) -- SAT-Based Subsumption Resolution -- A more Pragmatic CDCL for IsaSAT and targetting LLVM (Short Paper) -- Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper) -- COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description) -- Choose your Colour: Tree Interpolation for Quantified Formulas in SMT -- Proving Termination of C Programs with Lists -- Reasoning about Regular Properties: A Comparative Study -- Program Synthesis in Saturation -- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus -- Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs -- Verification of NP-hardness Reduction Functions for Exact Lattice Problems -- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic -- Left-Linear Completion with AC Axioms -- On P -interpolation in local theory extensions and applications to the study of interpolation in the description logics EL, EL+ -- Theorem Proving in Dependently-Typed Higher-Order Logic -- Towards Fast Nominal Anti-Unification of Letrec-Expressions -- Confluence Criteria for Logically Constrained Rewrite Systems -- Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory -- An Experimental Pipeline for Automated Reasoning in Natural Language (Short paper) -- Combining Combination Properties: An Analysis of Stable-infiniteness, Convexity, and Politeness -- Decidability of difference logic over the reals with uninterpreted unary predicates -- Incremental Rewriting Modulo SMT -- Iscalc: an Interactive Symbolic Computation Framework (System Description).…”
Link to Metadata

Using Social Theory in Higher Education

Table of Contents: “…Low -- Chapter 10 The Foggy Window: Passive empathy and the fight for testimonial reading in neoliberal higher education -- Chapter 11 Performing empathy with neoliberalism, or Kendall Jenner on the streets, Thomas Gradgrind in the sheets: a response to Lauren Weber -- Chapter 12 Understanding higher education enrolment through Michel Foucault's biopolitics -- Chapter 13 Students, biopolitics, and state racism: a response to Ren-Hao Xu -- Chapter 14 Wrestling with monsters: critique, climate change, and comets -- Chapter 15 Still wrestling with monsters: a response to Pat Norman -- Chapter 16 Dialogues between activist knowledge and Southern Theory -- Chapter 17 Approximate Geographies: a response to José Fernando Serrano Amaya -- Chapter 18 The historian as pedagogue: on Hayden White's practical past -- Chapter 19 What stories to tell: a response to Remy Low -- Chapter 20 The good university? …”
Link to Metadata

Calculus by Strang, Gilbert

Table of Contents: “…Chapter 1: Integration -- 1.1 Approximating Areas -- 1.2 The Definite Integral -- 1.3 The Fundamental Theorem of Calculus -- 1.4 Integration Formulas and the Net Change Theorem -- 1.5 Substitution -- 1.6 Integrals Involving Exponential and Logarithmic Functions -- 1.7 Integrals Resulting in Inverse Trigonometric Functions -- Chapter 2: Applications of Integration -- 2.1 Areas between Curves -- 2.2 Determining Volumes by Slicing -- 2.3 Volumes of Revolution: Cylindrical Shells -- 2.4 Arc Length of a Curve and Surface Area -- 2.5 Physical Applications -- 2.6 Moments and Centers of Mass -- 2.7 Integrals, Exponential Functions, and Logarithms -- 2.8 Exponential Growth and Decay -- 2.9 Calculus of the Hyperbolic Functions -- Chapter 3: Techniques of Integration -- 3.1 Integration by Parts -- 3.2 Trigonometric Integrals -- 3.3 Trigonometric Substitution -- 3.4 Partial Fractions -- 3.5 Other Strategies for Integration -- 3.6 Numerical Integration -- 3.7 Improper Integrals -- Chapter 4: Introduction to Differential Equations -- 4.1 Basics of Differential Equations -- 4.2 Direction Fields and Numerical Methods -- 4.3 Separable Equations -- 4.4 The Logistic Equation -- 4.5 First-order Linear Equations -- Chapter 5: Sequences and Series -- 5.1 Sequences -- 5.2 Infinite Series -- 5.3 The Divergence and Integral Tests -- 5.4 Comparison Tests -- 5.5 Alternating Series -- 5.6 Ratio and Root Tests -- Chapter 6: Power Series -- 6.1 Power Series and Functions -- 6.2 Properties of Power Series -- 6.3 Taylor and Maclaurin Series -- 6.4 Working with Taylor Series -- Chapter 7: Parametric Equations and Polar Coordinates -- 7.1 Parametric Equations -- 7.2 Calculus of Parametric Curves -- 7.3 Polar Coordinates -- 7.4 Area and Arc Length in Polar Coordinates -- 7.5 Conic Sections…”
Access online version

Conhecimento dos pais sobre alimentação: construção e validação de um questionário de alimentação infantil Conocimiento de los padres sobre la alimentación: construcción y validación de un cuestionario sobre alimentación infantil Parents' knowledge about feeding: construction and validation of a child feeding questionnaire by Maria da Graça ferreira Aparício Costa, Maria Madalena de Jesus Cunha Nunes, João Carvalho Duarte, Anabela Maria Sousa Pereira

Connect to this object online.

To the Last Drop - Affective Economies of Extraction and Sentimentality

DOAB: download the publication
DOAB: description of the publication

América Latina tras bambalinas Teorías conspirativas, usos y abusos by Senkman, Leonardo

Subjects: “…Politics & government bicssc…”
DOAB: download the publication
DOAB: description of the publication

A partire da «Underworld» Don DeLillo e il romanzo del terzo Novecento by Turi, Nicola

DOAB: download the publication
DOAB: description of the publication

The Nuosu Book of Origins A Creation Epic from Southwest China

DOAB: download the publication
DOAB: description of the publication

Time Series Analysis New Insights

DOAB: download the publication
DOAB: description of the publication

Binding of 99mTc to human serum albumin by Abdulrahman K. Loay

Connect to this object online.

The LGBT-Heroes in Modern Foreign Fairy Tales (How to Read With Children) by Olga Derkachova

Connect to this object online.

A distribution analysis of action potential parameters obtained from patch-clamped human stem cell-derived cardiomyocytes by Fernando López-Redondo, Junko Kurokawa, Fumimasa Nomura, Tomoyuki Kaneko, Tomoyo Hamada, Tetsushi Furukawa, Kenji Yasuda

Connect to this object online.

The COVID-19 Pandemic in Brazil: Some Aspects and Tools by Pedro Rafael D. Marinho, Gauss M. Cordeiro, Hemilio Fernandes C. Coelho, Poliana C. Cabral

Connect to this object online.

Acetylcholine-Induced Translocation of RhoA in Freshly Isolated Single Smooth Muscle Cells of Rat Bronchi by Yoshihiko Chiba, Tetsuro Uchida, Hiroyasu Sakai, Teruaki Oku, Saotomo Itoh, Tsutomu Tsuji, Miwa Misawa

Connect to this object online.