Search Results - "polynomial"

Valores críticos do índice de massa corporal para classificação do estado nutricional de crianças e adolescentes brasileiros Body mass index cutoff points for evaluation of nu... by Wolney L. Conde, Carlos A. Monteiro

Connect to this object online.

Uso do Datasus para avaliação dos padrões das internações psiquiátricas, Rio Grande do Sul Use of Datasus to evaluate psychiatric inpatient care patterns in Southern Brazil... by Rafael Henriques Candiago, Paulo Belmonte de Abreu

Connect to this object online.

Dose-response relationships of sarcopenia parameters with incident disability and mortality in older Japanese adults by Satoshi Seino, Akihiko Kitamura, Takumi Abe, Yu Taniguchi, Hiroshi Murayama, Hidenori Amano, Mariko Nishi, Yu Nofuji, Yuri Yokoyama, Miki Narita, Shoji Shinkai, Yoshinori Fujiwara

Connect to this object online.

Tendências da mortalidade infantil no Município de Guarulhos: análise do período de 1971 a 1998 Trends of infant mortality in the city of Guarulhos: 1971 to 1998 by Ermelinda Antonia Tomé, Maria do Rosário Dias de Oliveira Latorre

Connect to this object online.

Tendência da epidemia de AIDS em usuários de drogas injetáveis no Município de São Paulo de 1985 a 1997 Trend of the AIDS epidemic in intravenous drug users in the Municipalit... by Maria do Socorro Castelo Branco de Oliveira Bastos, Maria do Rosário Dias de Oliveira Latorre, Eliseu Alves Waldman

Connect to this object online.

Tendência de mortalidade por leucemia infantil num período de 25 anos Trends in childhood leukemia mortality over a 25-year period by Arnaldo Cézar Couto, Jeniffer Dantas Ferreira, Rosalina Jorge Koifman, Gina Torres Rego Monteiro, Maria do Socorro Pombo-, Sérgio Koifman

Connect to this object online.

KELAS-KELAS RING DAN IMPLIKASINYA SERTA MODUL SEMI-KOMUTATIF DAN P.Q-BAER by Yonathan, Barry

Link Metadata

PENGARUH SUHU TERHADAP PERUBAHAN STRUKTUR BATUAN 3D PADA BATUAN PENUDUNG DAERAH POTENSI PANAS BUMI DI DAERAH KADIDIA - SIGI, SULAWESI TENGAH by Iqbal Assidiq, -

Link Metadata

Abstract Algebra Theory and Applications by Judson, Thomas W.

Table of Contents: “…Preliminaries -- The Integers -- Groups -- Cyclic Groups -- Permutation Groups -- Cosets and Lagrange's Theorem -- Introduction to Cryptography -- Algebraic Coding Theory -- Isomorphisms -- Normal Subgroups and Factor Groups -- Homomorphisms -- Matrix Groups and Symmetry -- The Structure of Groups -- Group Actions -- The Sylow Theorems -- Rings -- Polynomials -- Integral Domains -- Lattices and Boolean Algebras -- Vector Spaces -- Fields -- Finite Fields -- Galois Theory…”
Access online version

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

Table of Contents: “…-- Checking Data-Race Freedom of GPU Kernels, Compositionally -- GenMC: A Model Checker for Weak Memory Models -- Hybrid and Cyber-Physical Systems -- Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming -- An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation -- HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL -- Computing Bottom SCCs Symbolically Using Transition Guided Reduction -- Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems -- IMITATOR 3: Synthesis of timing parameters beyond decidability -- Formally Verified Switching Logic for Recoverability of Aircraft Controller -- SceneChecker: Boosting Scenario Verification using Symmetry Abstractions -- Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness -- Fast zone-based algorithms for reachability in pushdown timed automata -- Security -- Verified Cryptographic Code for Everybody -- Not All Bugs Are Created Equal, But Robust Reachability Can Tell The Difference -- A Temporal Logic for Asynchronous Hyperproperties -- Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security -- Constraint-based Relational Verification -- Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning -- Synthesis -- Synthesis with Asymptotic Resource Bounds -- Program Sketching by Automatically Generating Mocks from Tests -- Counterexample-Guided Partial Bounding for Recursive Function Synthesis -- PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs -- Adapting Behaviors via Reactive Synthesis -- Causality-based Game Solving.…”
Link to Metadata

Aptidão física de escolares: Estudo sobre velocidade e agilidade by Alessandra Regina Santos, Gilson Arcari, Emerson José Zechin, Kleber Parada, Milton Faria Júnior

Connect to this object online.

Urinary Markers of Oxidative Stress in Children with Autism Spectrum Disorder (ASD) by Joško Osredkar, David Gosar, Jerneja Maček, Kristina Kumer, Teja Fabjan, Petra Finderle, Saša Šterpin, Mojca Zupan, Maja Jekovec Vrhovšek

Connect to this object online.

Comparison of birth weight, length, and head circumference between the BRISA-RP and Intergrowth‐21st cohorts by João Roberto R. Pimenta, Carlos Grandi, Davi C. Aragon, Viviane Cunha Cardoso

Connect to this object online.

Tendência temporal e desigualdades na mortalidade por diarreias em menores de 5 anos Temporal trends and inequality in under-5 mortality from diarrhea by Lígia C. F. L. Melli, Eliseu A. Waldman

Connect to this object online.

Violência contra as mulheres por parceiros íntimos: usos de serviços de saúde Violence against women by intimate partners: use of health services by Lilia Blima Schraiber, Cláudia Renata dos Santos Barros, Euclides Ayres de Castilho

Connect to this object online.

Comparison of birth weight, length, and head circumference between the BRISA-RP and Intergrowth-21st cohorts by João Roberto R. Pimenta, Carlos Grandi, Davi C. Aragon, Viviane Cunha Cardoso

Connect to this object online.

Linear Algebra with Applications by Nicholson, W. Keith

Table of Contents: “…1 Systems of Linear Equations -- 2 Matrix Algebra -- 3 Determinants and Diagonalization -- 4 Vector Geometry -- 5 Vector Space R -- 6 Vector Spaces -- 7 Linear Transformations -- 8 Orthogonality -- 9 Change of Basis -- 10 Inner Product Spaces -- 11 Canonical Forms -- A Complex NumbersB ProofsC Mathematical InductionD PolynomialsSelected Exercise Answers…”
Access online version

Elementary Algebra by Redden, John

Table of Contents: “…Chapter 1: Real Numbers and Their Operations -- Chapter 2: Linear Equations and Inequalities -- Chapter 3: Graphing Lines -- Chapter 4: Solving Linear Systems -- Chapter 5: Polynomials and Their Operations -- Chapter 6: Factoring and Solving by Factoring -- Chapter 7: Rational Expressions and Equations -- Chapter 8: Radical Expressions and Equations -- Chapter 9: Solving Quadratic Equations and Graphing Parabolas -- Chapter 10: Appendix: Geometric Figures…”
Access online version

Elementary Algebra by Ellis, Wade, Burzynski, Denny

Table of Contents: “…1 Arithmetic Review -- 2 Basic Properties of Real Numbers -- 3 Basic Operations with Real Numbers -- 4 Algebraic Expressions and Equations -- 5 Solving Linear Equations and Inequalities -- 6 Factoring Polynomials -- 7 Graphing Linear Equations and Inequalities in One and Two Variables -- 8 Rational Expressions -- 9 Roots, Radicals, and Square Root Equations -- 10 Quadratic Equations -- 11 Systems of Linear Equations -- 12 Appendix…”
Access online version

Calculus for the Life Sciences A Modeling Approach by Cornette, James L., Ackerman, Ralph A.

Table of Contents: “…1 Mathematical Models of Biological Processes -- 2 Functions -- 3 The Derivative -- 4 Continuity and the Power Chain Rule -- 5 Derivatives of the Exponential and Logarithm Functions -- 6 Derivatives of Products, Quotients, and Compositions -- 7 Derivatives of Trigonometric Functions -- 8 Applications of Derivatives -- 9 The Mean Value Theorem and Taylor's Polynomials -- 10 Partial Derivatives and the Diffusion Equation -- 11 The Integral -- 12 The Fundamental Theorem of Calculus -- 13 Applications of the Fundamental Theorem of Calculus…”
Access online version