Search Results - Vericon~

Properties and Behavior of Soil Online Lab Manual by Hossain, Sahadat, Islam, Azijul, Badhon, Faria Fahim

Table of Contents: “…Consolidation Test -- Bibliography -- Links by Chapter -- Accessibility Rubric -- Errata and Versioning History…”
Access online version

Engineering Systems, Dynamics, Modelling, Simulation, and Design by Tabatabaian, Mehrzad

Table of Contents: “…Acknowledgements -- About the Author -- Preface -- List of Figures -- List of Tables -- Introduction -- Lagrangian Mechanics -- Bond Graph Modelling Method -- Building Bond Graph Models: General Procedure and Application -- Introduction to 20-sim Software Tool -- Bond Graph Models for Complex Mechanical Systems -- Bond Graph Models for Electrical Systems -- Bond Graph Models for Hydraulic Systems -- Bond Graph Models for Multi-Domain Systems -- Frequency Analysis: Bode Plots and Transfer Function -- Miscellaneous Topics -- References -- Versioning History…”
Access online version

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /

Table of Contents: “…Verifying Probabilistic Programs via Generating Functions -- Abstraction-Renement for Hierarchical Probabilistic Models -- Formal Methods for Neural Networks Shared Certificates for Neural Network Verification -- Example Guided Synthesis of Linear Approximations for Neural Network Verification -- Verifying Neural Networks Against Backdoor Attacks -- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning -- Neural Network Robustness as a Verication Property: A Principled Case Study -- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed Reachability Analysis -- A‑ne Loop Invariant Generation via Matrix Algebra -- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes -- Proof-guided Underapproximation Widening for Bounded Model Checking -- SolCMC: Solidity Compiler's Model Checker -- Sharygina Hyperproperties and Security Software Verication of Hyperproperties Beyond k-Safety -- Abstraction Modulo Stability for Reverse Engineering -- A Modular and Highly Extensible API Fuzzer for SMT Solvers -- Automata and Logic FORQ-based Language Inclusion Formal Testing -- Sound Automation of Magic Wands -- Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition -- Complementing Büchi Automata with Ranker -- Deductive Verication and Decision Procedures Even Faster Conicts and Lazier Reductions for String Solvers -- Local Search For SMT on Linear Integer Arithmetic -- Reasoning about Data Trees using CHCs -- Veried Erasure Correction in Coq with MathComp and VST -- Appel End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers -- A DSL and Verication Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols -- Machine Learning Specication-Guided Learning of Nash Equilibria with High Social Welfare -- Synthesizing Fair Decision Trees via Iterative Constraint Solving -- SMT-based Translation Validation for Machine Learning Compiler -- Lee Verifying Fairness in Quantum Machine Learning -- MoGym: Using Formal Models for Training and Verifying Decision-making Agents -- Synthesis and Concurrency Synthesis and Analysis of Petri Nets from Causal Specications -- Verifying generalised and structural soundness of workow netsvia relaxations -- Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET -- Information Flow Guided Synthesis -- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.…”
Link to Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /

Table of Contents: “…Verifying Probabilistic Programs via Generating Functions -- Abstraction-Renement for Hierarchical Probabilistic Models -- Formal Methods for Neural Networks Shared Certificates for Neural Network Verification -- Example Guided Synthesis of Linear Approximations for Neural Network Verification -- Verifying Neural Networks Against Backdoor Attacks -- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning -- Neural Network Robustness as a Verication Property: A Principled Case Study -- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed Reachability Analysis -- A‑ne Loop Invariant Generation via Matrix Algebra -- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes -- Proof-guided Underapproximation Widening for Bounded Model Checking -- SolCMC: Solidity Compiler's Model Checker -- Sharygina Hyperproperties and Security Software Verication of Hyperproperties Beyond k-Safety -- Abstraction Modulo Stability for Reverse Engineering -- A Modular and Highly Extensible API Fuzzer for SMT Solvers -- Automata and Logic FORQ-based Language Inclusion Formal Testing -- Sound Automation of Magic Wands -- Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition -- Complementing Büchi Automata with Ranker -- Deductive Verication and Decision Procedures Even Faster Conicts and Lazier Reductions for String Solvers -- Local Search For SMT on Linear Integer Arithmetic -- Reasoning about Data Trees using CHCs -- Veried Erasure Correction in Coq with MathComp and VST -- Appel End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers -- A DSL and Verication Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols -- Machine Learning Specication-Guided Learning of Nash Equilibria with High Social Welfare -- Synthesizing Fair Decision Trees via Iterative Constraint Solving -- SMT-based Translation Validation for Machine Learning Compiler -- Lee Verifying Fairness in Quantum Machine Learning -- MoGym: Using Formal Models for Training and Verifying Decision-making Agents -- Synthesis and Concurrency Synthesis and Analysis of Petri Nets from Causal Specications -- Verifying generalised and structural soundness of workow netsvia relaxations -- Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET -- Information Flow Guided Synthesis -- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.…”
Link to Metadata

Mythology Unbound An Online Textbook for Classical Mythology by Mellenthin, Jessica, Shapiro, Susan O.

Table of Contents: “…-- Why are there so many versions of Greek myths? -- XeniaZeus…”
Access online version

Big Data for Epidemiology Applied Data Analysis Using National Health Surveys by Kindratt, Tiffany B

Table of Contents: “…Conclusions -- Links by Chapter -- Image Credits -- Errata and Versioning History -- Accessibility Rubric…”
Access online version

Practicing and Presenting Social Research by Robinson, Oral, Wilson, Alexander

Table of Contents: “…Publishing Your Research -- Glossary -- Versioning History -- Contact Information…”
Access online version

PRODUCCIÓN DE NOTICIAS TELEVISIVAS EN ESPAÑOL EN ESTADOS UNIDOS DE AMÉRICA by Rodríguez, Julián

Table of Contents: “…CONCLUSIÓN -- Accessiblity Rubric -- Errata and Versioning History…”
Access online version

Technical Writing and Simple Statistics for laboratory classes by Wettstein, Stephanie G.

Table of Contents: “…Statistics -- Descriptive Statistics -- Mean, Median, and Mode -- Outliers -- Standard Deviation -- Sample Variance -- Standard Error -- Confidence Interval -- Percent Error and Percent Difference -- Excel Tutorial: Performing Descriptive Statistics Using Excel -- Using Graphs to Display Data -- Line Graphs -- Bar Graphs -- Box Plots -- Error Bars -- Charts – What Not to Do -- Statistical Process Control & Process Control Charts -- Process Variation -- Making the Process Control Chart -- Example #1: Bullet Speeds All Data -- Example #2: Bullet Speeds with Narrower Specifications -- Linear Regression -- Performing Linear Regression -- Excel Tutorials: Performing Regression Analysis Using Excel -- Method 1: Using Excel Formulas -- Method 2: Using Excel Trendlines -- Method 3: Using Excel Data Analysis -- Example: Regression Analysis of Diameter Data -- Statistical Comparison of Two Regressed Slopes -- General Approach for Comparing Two Linearly Regressed Slopes -- Analysis Steps -- Example: Two Regressed Slopes that are Statistically Different -- Example Analysis: Regression Slope Comparison -- Example Two Regressed Slopes that are Not Statistically Different -- t-Tests -- Hypotheses -- Sample Collection and Determining Alpha -- Performing a t-test using Excel -- Interpret the Data -- References -- Writing -- The Writing Process -- Team Writing Strategies -- Meeting agendas and notes -- Agenda -- Notes -- Communication Components -- Abstract (or Summary) -- Background/Introduction -- Objective Statement -- Theory -- Methods -- Apparatus (or Equipment) -- Safety -- Experimental Protocol, Design, and Analysis -- Experimental Protocol -- Experimental Design -- Methods of Analysis -- Data Collection -- Results and Discussion -- Conclusions and Recommendations -- Sample Conclusion Paragraph -- References: Citing the work of others -- Citation Location -- Numerical Formatting -- Alphabetical Formatting -- Reference list/Bibliography -- Appendices -- Appendix -- Excel Tutorial: Using Equation Editor in Microsoft Word -- Step 1: Insert an Equation Region -- Step 2: Use Equation Tools Structures to Create Basic Equation Layout -- Step 3: Fill in the placeholders to complete the equation -- Cliff Notes/Shortcuts -- Excel Tutorial: Using Text Boxes -- Text Box Management: Three Examples -- VERSION 1: Textboxes Near Text Description -- VERSION 2: Textboxes at Bottom of Page -- VERSION 3: No Textboxes -- Excel Tutorial: Formatting Excel Charts for a Professional Look -- Templates -- Captions -- Inserting Symbols in Captions…”
Access online version

Reading Breath in Literature by Rose, Arthur, Heine, Stefanie, Tsentourou, Naya, Saunders, Corinne, Garratt, Peter

Table of Contents: “…Out of Breath: Respiratory Aesthetics from Ruskin to Vernon Lee - Peter Garratt -- 5. Ebb and Flow: Breath-writing from Ancient Rhetoric to Jack Kerouac and Allen Ginsberg - Stefanie Heine -- 6. …”
Link to Metadata

Avaliação da função das células beta pancreáticas através do modelo matemático de HOMA em portadoras de síndrome dos ovários policísticos: comparação entre obesas e na... by Carolina Sales Vieira, Mariana Kefalás de Oliveira Gomes, Paola Cândido Rodrigues, André Pera Marques Pinto, Rosana Maria dos Reis, Rui Alberto Ferriani, Marcos Felipe Silva de Sá

Connect to this object online.

Papillary atrophy of the tongue and nutritional status of hospitalized alcoholics Glossite atrófica e estado nutricional de alcoolistas hospitalizados by Selma Freire de Carvalho da Cunha, Daniel Angelo de Melo, Camila Bitu Moreno Braga, Helio Vannucchi, Daniel Ferreira da Cunha

Connect to this object online.

Efeitos de altas doses de genisteína sobre o epitélio mamário de ratas Effects of high doses of genistein on mammary gland of female rat by Adriana Aparecida Ferraz Carbonel, Regiane Helena Barros Rabelo Santos, Ricardo Santos Simões, Rinaldo Flôrencio Silva, José Maria Soares Júnior, Edmund Chada Baracat, Mauro Abi Haidar

Connect to this object online.

VARIASI PEMAKAIAN BAHASA SUNDA DIALEK BANTEN DI KECAMATAN BAYAH KABUPETEN LEBAK by Khasani, Zaitun Nuhri

Link Metadata

ANALISIS KONTRASTIF KATA YANG MENYATAKAN EMOSI MARAH DALAM BAHASA JEPANG DAN BAHASA INDONESIA by Fadillah, Andi Novita Rozaliana

Link Metadata

How History is Made A Student’s Guide to Reading, Writing, and Thinking in the Discipline by Cole, Stephanie, Breuer, Kimberly, Palmer, Scott W.

Table of Contents: “…Degree Planning and Beyond, Advice from the UTA History Department -- Bibliography -- Appendix A- Database Rules and Datatypes -- Appendix B - Working With Multiple Tables -- Appendix C- Database Troubleshooting and Coding -- Appendix D- Database Design and Parts of a Database -- Appendix E- Writing Criteria/ Example Rubric -- Image Credits -- Accessibility Rubric -- Errata and Versioning History…”
Access online version

Civil Rights and Liberties by Clairmont, Kimberly, Jeknic, Petar, Mason, Sarah R., Metzdorf, Alexandria

Table of Contents: “…Introduction -- Case List -- Incorporation -- Press Freedoms -- Religious Freedoms -- Speech and Expression -- Privacy -- Second Amendment -- Equal Protection: Race -- Equal Protection: Gender and Other Groups -- Voting Rights -- Contributors -- Justice Serving on the Court 1790-1834 -- Justice Serving on the Court 1835-1889 -- Justice Serving on the Court 1890-1937 -- Median Justice Scores Per Year 1937-2018 -- Justice Serving on the Court 1937 - 1949 -- Justice Serving on the Court 1950- 1969 -- Justice Serving on the Court 1970-1989 -- Justice Serving on the Court 1990-2009 -- Justice Serving on the Court 2010-2021 -- Creative Commons License -- Versioning…”
Access online version

Foundations of Biomedical Science Quantitative Literacy Theory and Problems by Pakay, Julian

Table of Contents: “…Further reading and bibliography -- Appendix: Answers to problems -- Versioning History -- Review Statement…”
Access online version

Deep into Pharo by Bergel, Alexandre, Cassou, Damien, Ducasse, Stéphane, Laval, Jannik

Table of Contents: “…1 Preface -- I Libraries -- 2 Zero Configuration Scripts and Command-Line Handlers -- 3 Files with FileSystem -- 4 Sockets -- 5 The Settings Framework -- 6 Regular Expressions in Pharo -- II Source Management -- 7 Versioning Your Code with Monticello -- 8 Gofer: Scripting Package Loading -- 9 Managing Projects with Metacello -- III Frameworks -- 10 Glamour -- 11 Agile Visualization with Roassal -- 12 Scripting Visualizations with Mondrian -- IV Language -- 13 Handling Exceptions 263 -- 14 Blocks: a Detailed Analysis -- 15 Exploring Little Numbers -- 16 Fun with Floats -- V Tools -- 17 Profiling Applications -- 18 PetitParser: Building Modular Parsers -- --…”
Access online version

The Art of Polynomial Interpolation by Murphy, Stuart

Table of Contents: “…Introduction -- Techniques -- Chapter One - Elimination (Substitution) Interpolation -- Chapter One - Practice Exercises -- Chapter Two - Newton's Divided Difference Interpolation -- Chapter Two- Practice Exercises -- Chapter Three- Quadratic Spline Interpolation -- Chapter Three- Practice Exercises -- Chapter Four - Least Squares Regression -- Chapter Four- Practice Exercises -- Chapter Five- Measuring the Least Squares Fit/Exponential Least Squares Regression -- Chapter Five- Practice Exercises -- Chapter Six - Approximation with Taylor Series -- Chapter Six- Practice Exercises -- Chapter Seven - Taylor Series Remainder Test -- Chapter Seven- Practice Exercises -- Solutions to Selected Practice Exercises -- Acknowledgments -- About the Author -- Versioning History…”
Access online version