Search Results - "polynomial"

International Symposium on Mathematics, Quantum Theory, and Cryptography Proceedings of MQC 2019

OAPEN Library: download the publication
OAPEN Library: description of the publication

Linear Algebra Done Right by Axler, Sheldon

OAPEN Library: download the publication
OAPEN Library: description of the publication

Environmental pollution and income as a measure of economic growth in Malaysia / Halimahton Borhan and Elsadig Musa Ahmed by Borhan, Halimahton, Ahmed, Elsadig Musa

Link Metadata

IMPLEMENTASI DEEP LEARNING MENGGUNAKAN ALGORITMACONVOLUTIONAL NEURAL NETWORK GUNA MENGETAHUIKUALITAS BAN KENDARAAN by Alvin Putra Perdana,

Link Metadata

Analisis Sentimen Media Sosial Twitter Menggunakan Metode Support Vector Machine (SVM) by Tantri Ayu Prasetiarini,

Link Metadata

KLASIFIKASI TANAMAN BIDARA BERDASARKAN TEKSTUR DAUN MENGGUNAKAN METODE GRAY LEVEL CO-OCCURANCE MATRIX (GLCM) DAN ALGORITMA SUPPORT VECTOR MACHINE (SVM) by Adrian Budi Prawira,

Link Metadata

Introductory Algebra by Gloag, Anne Marie

Table of Contents: “…1 Arithmetic Review -- 2 Introduction to Variables -- 3 Polynomials and Exponents, Part 1 -- 4 Polynomials and Exponents, Part 2 -- 5 Solving Equations -- 6 Linear Equations: Real World Applications -- 7 Literal Equations and Inequalities -- 8 Graphs and Graphing Linear Equations -- 9 Introduction to Functions -- 10 Linear Functions -- 11 More on Linear Functions -- 12 Systems of Linear Equations -- 13 Problem Solving…”
Access online version

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

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Table of Contents: “…When Programs Have to Watch Paint Dry -- Deciding contextual equivalence of nu-calculus with effectful contexts -- Kantorovich Functors and Characteristic Logics for Behavioural Distances -- A Logical Framework with Higher-Order Rational (Circular) Terms -- A Higher-Order Language for Markov Kernels and Linear Operators -- A Formal Logic for Formal Category Theory -- A Strict Constrained Superposition Calculus for Graphs -- A programming language characterizing quantum polynomial time -- On the Existential Arithmetics with Addition and Bitwise Minimum -- Coverability in 2-VASS with One Unary Counter is in NP -- On History-Deterministic One-Counter Nets -- Unboundedness problems for machines with reversal-bounded counters -- Reverse Bisimilarity vs. …”
Link to Metadata

Linear Algebra Done Right by Axler, Sheldon

Table of Contents: “…Finite-Dimensional Vector Spaces -- 3. Linear Maps -- 4. Polynomials -- 5. Eigenvalues, Eigenvectors, and Invariant Subspaces -- 6. …”
Link to Metadata

A Novel Approach to Improve Newborn Screening for Congenital Hypothyroidism by Integrating Covariate-Adjusted Results of Different Tests into CLIR Customized Interpretive Tools by Alexander D. Rowe, Stephanie D. Stoway, Henrik Åhlman, Vaneet Arora, Michele Caggana, Anna Fornari, Arthur Hagar, Patricia L. Hall, Gregg C. Marquardt, Bobby J. Miller, Christopher Nixon, Andrew P. Norgan, Joseph J. Orsini, Rolf D. Pettersen, Amy L. Piazza, Neil R. Schubauer, Amy C. Smith, Hao Tang, Norma P. Tavakoli, Sainan Wei, Rolf H. Zetterström, Robert J. Currier, Lars Mørkrid, Piero Rinaldo

Connect to this object online.

The mediating effect of bullying on parental-peer support matching and NSSI behaviour among adolescents by Huaqiang Liu, Zhensong Lan, Xuefang Huang, Qing Wang, Fafang Deng, Juchao Li

Connect to this object online.

Reference Values of Cardiopulmonary Exercise Test Parameters in the Contemporary Paediatric Population by Pascal Amedro, Stefan Matecki, Taissa Pereira dos Santos, Sophie Guillaumont, Jonathan Rhodes, Suellen Moli Yin, Alfred Hager, Julia Hock, Gregoire De La Villeon, Johan Moreau, Anne Requirand, Luc Souilla, Marie Vincenti, Marie-Christine Picot, Helena Huguet, Thibault Mura, Arthur Gavotto

Connect to this object online.

Inverted U-shaped association between bacillary dysentery and temperature: A new finding using a novel two-stage strategy in multi-region studies. by Wei Wang, Yunqiong Wang, Lin Chen, Bo Zhou, Fang Liao

Connect to this object online.

The influence of mineral nutrition and humic acids on the intensity of photosynthesis, as well as the yield and quality of seeds, roots, and aboveground phytomass of milk thistle S... by Tóth Š., Szanyi G., Vančo P., Schubert J., Porvaz P., Bujňák P., Šoltysova B., Danielovič I.

Connect to this object online.

Impact of COVID-19 pandemic on time series of maternal mortality ratio in Bahia, Brazil: analysis of period 2011-2020 by Rita de Cássia Oliveira de Carvalho-Sauer, Maria da Conceição N. Costa, Maria Gloria Teixeira, Estela Maria Ramos do Nascimento, Ediane Maria Filardi Silva, Mariana Luiza Almeida Barbosa, Géssica Rodrigues da Silva, Thaissa Piedade Santos, Enny S. Paixao

Connect to this object online.

Asthma exacerbation and proximity of residence to major roads: a population-based matched case-control study among the pediatric Medicaid population in Detroit, Michigan by Wahl Robert, Elasaad Huda, Wasilevich Elizabeth, Batterman Stuart, Li Shi, Mukherjee Bhramar

Connect to this object online.

تطوير نظام إحصائي لتحقيق الاستثمار الأمثل لمعدات التشييد في سوريا by هــاني نجــا, ماهر مصطفـى, سمــاح مكيـة

Connect to this object online.

Family Socioeconomic Status and Exposure to Childhood Trauma: Racial Differences by Shervin Assari

Connect to this object online.

Nonlinear pattern of pulmonary tuberculosis among migrants at entry in Kuwait: 1997-2006 by Mohammad Hameed GHH, Akhtar Saeed

Connect to this object online.