Search Results - "calculus"

Association between self-assessment and clinical oral health status in adults, Paraguay. by Clarisse Díaz-Reissner, Juan Roldán-Merino, Irma Casas-García

Connect to this object online.

A predictive logistic regression model for periodontal diseases by Md Zahid Hossain, Mohammad Ali Alshahrani, Abdulmajeed Saeed Alasmari, Khaled Mashoor Hyderah, Ahmed Zafer Alshabab, Mutaz Ali Hassan, Abdo Mohammed Abdulrazzaq

Connect to this object online.

Reactive Hyperplasias in the Oral Mucosa: Case Series by Nuray Bağcı, İlkay Peker, Özlem Üçok

Connect to this object online.

Mass spectrometry-based proteomics profiling of dogs with and without oral diseases: a systematic review by Paras Ahmad, Walter L. Siqueira

Connect to this object online.

Oral health knowledge, practice and associated factors among Junior High School students of Koforidua, Ghana: a cross-sectional study by Precious Opoku, Samuel Salu, Cyril Kwami Azornu, Joyce Komesuor

Connect to this object online.

Assessment of the prevalence of periodontal diseases and treatment needs: A hospital-based study by Monika Bansal, Neelam Mittal, Tej Bali Singh

Connect to this object online.

Rare case of Mycobacterium nebraskense presenting as asymptomatic cavitary lung lesion by Omar Abdulfattah, Antony Lixon, Saroj Kandel, Ebad Ur Rahman, Sasmit Roy, Sumit Dahal, Zainab Alnafoosi, Frances Schmidt

Connect to this object online.

Mathematical Analysis in Brazilian University Teaching: Omar Catunda's contribution A Análise Matemática no Ensino Universitário Brasileiro: a contribuição de Omar Catunda... by Eliene Barbosa Lima, André Luís Mattedi Dias

Connect to this object online.

Influence of smokeless tobacco on periodontal health status in local population of North India: A cross-sectional study by G P Singh, Iram Rizvi, Vivek Gupta, Vivek K Bains

Connect to this object online.

Inverse proportion : a constructivist view of college students / Beh Kian Lim, Tong Swee Foong and Che Noorlia Noor by Beh, Kian Lim, Tong, Swee Foong, Noor, Che Noorlia

Link Metadata

DESAIN DIDAKTIS KONSEP TURUNAN FUNGSI UNTUK MAHASISWA CALON GURU MATEMATIKA BERBASIS LEARNING OBSTACLE DENGAN MEMPERTIMBANGKAN GAYA BELAJAR VISUAL AUDITORI DAN KINESTETIK by Entit Puspita, -

Link Metadata

Sensitivity Analysis: Matrix Methods in Demography and Ecology by Caswell, Hal

Table of Contents: “…Sensitivity analysis: what and why? -- 2 Matrix calculus and notation -- II Linear models: 3 The sensitivity of population growth rate: three approaches -- 4 Sensitivity analysis of longevity and life disparity -- 5 Individual stochasticity and implicit age dependence -- 6 Age[1]stage-classified models -- III Time-varying and stochastic models: 7 Transient population dynamics -- 8 Periodic models -- 9 LTRE decomposition of the stochastic growth rate -- IV Nonlinear models: 10 Sensitivity analysis of nonlinear demographic models -- V Markov chains: 11 Sensitivity analysis of discrete Markov chains -- 12 Sensitivity analysis of continuous Markov chains.…”
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

Intertwingled The Work and Influence of Ted Nelson /

Link to Metadata

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

Introduction to Probability by Grinstead, Charles M., Snell, J. Laurie

Access online version

Numerical Analysis or Numerical Method in Symmetry by Cesarano, Clemente

DOAB: download the publication
DOAB: description of the publication

Association of oral health status with the risk of malnutrition and pneumonia in geriatric patients by Firstine Kelsi Hartanto, Tenny Setiani Dewi

Connect to this object online.

Biophysics and Physiological Modeling: Model Validation and Penicillin by Peter Nelson

Connect to this object online.

Effect of sesame oil, ozonated sesame oil, and chlorhexidine mouthwash on oral health status of adolescents: A randomized controlled pilot trial by V Chitra Vadhana, Asokan Sharath, P R Geethapriya, V Vijayasankari

Connect to this object online.