Search Results - juco~

A Life Course Perspective on Health Trajectories and Transitions

Table of Contents: “…Military Service on Men's Body Mass Index Trajectories in Mid- to Late-Life: Janet Wilmoth, Andrew London and Christine Himes -- Linear mixed-effects and latent curve models for longitudinal life course analyses: Paolo Ghisletta, Olivier Renaud, Nadège Jacot and Delphine Courvoisier -- The analysis of individual health trajectories across the life course: Latent class growth models versus mixed models: Trynke Hoekstra and Jos Twisk -- Age, period and cohort processes in longitudinal and life course analysis: a multilevel perspective: Andrew Bell and Kelvyn Jones.…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Theorem Proving -- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning -- Efficient verification of imperative programs using auto2 -- Frame Inference for Inductive Entailment Proofs in Separation Logic -- Verified Model Checking of Timed Automata -- SAT and SMT I -- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams -- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving -- Automatic Generation of Precise and Useful Commutativity Conditions -- Bit-Vector Model Counting using Statistical Estimation -- Deductive Verification -- Hoare Logics for Time Bounds -- A Verified Implementation of the Bounded List Container -- Automating Deductive Verification for Weak-Memory Programs -- Software Verification and Optimisation -- Property Checking Array Programs Using Loop Shrinking -- Invariant Synthesis for Incomplete Verification Engines -- Accelerating Syntax-Guided Invariant Synthesis -- Daisy - Framework for Analysis and Optimization of Numerical Programs -- Model Checking -- Oink: an Implementation and Evaluation of Modern Parity Game Solvers -- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) -- Generation of Minimum Tree-like Witnesses for Existential CTL -- From Natural Projection to Partial Model Checking and Back -- Machine Learning -- ICE-based Refinement Type Discovery for Higher-Order Functional Programs -- Strategy Representation by Decision Trees in Reactive Synthesis -- Feature-Guided Black-Box Safety Testing of Deep Neural Networks. .…”
Link to Metadata

Tutorials of Visual Graphic Communication Programs for Interior Design, Volume 2 by Cho, Yongyeon

Table of Contents: “…Painter - Tools and brushes -- Chapter 7. Painter - Auto painting & Clone painting -- Chapter 8. iPad & Procreate -- Part Three. …”
Access online version

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Game Theory -- A Game for Linear-time - Branching-time Spectroscopy -- On Satisficing in Quantitative Games -- Quasipolynomial Computation of Nested Fixpoints -- SMT Verification -- A Flexible Proof Format for SAT Solver-Elaborator Communication -- Generating Extended Resolution Proofs with a BDD-Based SAT Solver -- Bounded Model Checking for Hyperproperties -- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays -- SAT Solving with GPU Accelerated Inprocessing -- FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions -- Probabilities -- Finding Provably Optimal Markov Chains -- Inductive Synthesis for Probabilistic Programs Reaches New Horizons -- Analysis of Markov Jump Processes under Terminal Constraints -- Multi-objective Optimization of Long-run Average and Total Rewards -- Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes -- Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-DependentFlaky Tests -- Timed Systems -- Timed Automata Relaxation for Reachability -- Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata -- Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring -- Neural Networks -- Synthesizing Context-free Grammars from Recurrent Neural Networks -- Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models -- Improving Neural Network Verification through Spurious Region Guided Refinement -- Analysis of Network Communication Resilient Capacity-Aware Routing -- Network Traffic Classification by Program Synthesis. .…”
Link to Metadata

Living with Nature, Cherishing Language Indigenous Knowledges in the Americas Through History /

Table of Contents: “…Nakua nukuu ini Ñuu Savi: Nakua jíno, nakua ka'on de nakua sa'on ja kuatyi Koo Yoso. …”
Link to Metadata

Coming to Terms with Superdiversity The Case of Rotterdam /

Table of Contents: “…1 Introduction - Peter Scholten, Maurice Crul and Paul van de Laar -- PART I: SUPERDIVERSITY IN ROTTERDAM: 2 Rotterdam's superdiversity from a historical perspective (1600-1980) - Paul van de Laar and Arie van der Schoor -- 3 The second and third generation in Rotterdam: increasing diversity within diversity - Maurice Crul, Frans Lelie and Elif Keskiner -- 4 Between choice and stigma: Identifications of economically successful migrants - Marianne van Bochove and Jack Burgers -- PART II: ROTTERDAM'S RESPONSE TO SUPERDIVERSITY: -- 6 'Walking the walk' rather than 'talking the talk' of superdiversity: Continuity and change in the development of Rotterdam's immigrant integration policies - Rianne Dekker & Ilona van Breugel -- 7 Laboratory Rotterdam. …”
Link to Metadata

Working With Academic Literacies Case Studies Towards Transformative Practice by Lillis, Theresa, Harrington, Kathy, Lea, Mary, Mitchell, Sally

Table of Contents: “…Transforming the Work of Teaching -- Introduction to Section 2 -- Opening up The Curriculum: Moving from The Normative to The Transformative in Teachers' Understandings of Disciplinary Literacy Practices, Cecilia Jacobs -- Writing Development, Co-Teaching and Academic Literacies: Exploring the Connections, Julian Ingle and Nadya Yakovchuk -- Transformative and Normative? …”
Access online version

Robotics, AI, and Humanity Science, Ethics, and Policy /

Table of Contents: “…Human-robot interactions and affecting computing: the ethical implications -- 18. Humans Judged by Machines: the Rise of big data in Finance, Insurance, and Real Estate -- 19. mpact of robotics/AI on human relations: the process of hybridization and how to deal with it -- 20. …”
Link to Metadata

Climate Risk in Africa Adaptation and Resilience /

Table of Contents: “…Chapter 1: Key issues and progress in understanding climate risk in Africa; Declan Conway, Katharine Vincent -- Chapter 2: Climate information - towards transparent distillation; Christopher Jack, John Marsham, David P. Rowell, Richard Jones -- Chapter 3: Co-production; learning from contexts; Katharine Vincent, Anna Steynor, Alice McClure, Emma Visman, Katinka Lund Waagsaether, Suzanne Carter, Neha Mittal -- Chapter 4: Decision-making heuristics for managing climate-related risks: introducing Equity to the FREE framework; Camilla Audia, Emma Visman, Gino Fox, Emmah Mwangi, Mary Kilavi, Mark Arango, Sonja Ayeb-Karlsson, Dominic Kniveton -- Chapter 5: Creating useful and usable weather and climate information: insights from Participatory Scenario Planning in Malawi; Dorothy Tembo-Nhlema, Katharine Vincent, Rebecka Henriksson -- Chapter 6: High stakes decisions under uncertainty: dams, development and climate change in the Rufiji River basin; Christian Siderius, Robel Geressu, Martin C. …”
Link to Metadata

Baltic Hospitality from the Middle Ages to the Twentieth Century Receiving Strangers in Northeastern Europe /

Table of Contents: “…Ritualized Hospitality: The Negotiations of the Riga Capitulation and the Adventus of Boris Sheremetev in July 1710; Dorothée Goetze -- 8. Receiving the Enemy: Involuntary Hospitalityand Prisoners of War in Denmark and Sweden, 1700-1721; Olof Blomqvist -- 9. …”
Link to Metadata

Stochastic Transport in Upper Ocean Dynamics STUOD 2021 Workshop, London, UK, September 20-23 /

Table of Contents: “…Li) -- Bridging Koopman Operator and time-series auto-correlation based Hilbert-Schmidt operator (Y. …”
Link to Metadata

Asylum Determination in Europe Ethnographic Perspectives /

Table of Contents: “…The "Inner Belief" of French Asylum Judges; Carolina Kobelinsky -- Chapter 4. "It's All about Naming Things Right": The Paradox of Web Truths in the Belgian Asylum-Seeking Procedure; Massimiliano Spotti -- Chapter 5. …”
Link to Metadata

Design Discourse Composing and Revising Programs in Professional and Technical Writing by Franke, David, Reid, Alex, Di Renzo, Anthony

Table of Contents: “…Dev Hathaway -- Reinventing Audience through Distance, Jude Edminster and Andrew Mara -- Introducing a Technical Writing Communication Course into a Canadian School of Engineering, Anne Parker -- English and Engineering, Pedagogy and Politics, Brian D. …”
Access online version

A ENFERMEIRA ONDINA MIRANDA DE SOUZA E SUA PARTICIPAÇÃO NA 2ª GUERRA MUNDIAL by Antonio Campello, Fernando Rocha Porto

Connect to this object online.

A ENFERMEIRA ONDINA MIRANDA DE SOUZA E SUA PARTICIPAÇÃO NA 2ª GUERRA MUNDIAL by Antonio Campello, Fernando Rocha Porto

Connect to this object online.

A ENFERMEIRA ONDINA MIRANDA DE SOUZA E SUA PARTICIPAÇÃO NA 2ª GUERRA MUNDIAL by Antonio Campello, Fernando Rocha Porto

Connect to this object online.

Artificial Intelligence in Manufacturing Enabling Intelligent, Flexible and Cost-Effective Production Through AI /

Table of Contents: “…Introduction -- Part I Architectures and Knowledge Modelling for AI in Manufacturing -- Reference Architecture for AI-based Industry 5.0 Applications -- Designing a Marketplace to Exchange AI Models for Industry 4.0 -- Domain Ontology Enrichment through Human-AI Interaction -- Survey of Knowledge Graphs in Industrial Settings -- From Knowledge to Wisdom: Leveraging Semantic Representations via Knowledge Graph Embeddings -- Advancing high value-added networked production through Decentralized Technical Intelligence -- Part II AI-based Digital Twins for Manufacturing Applications -- Digital-Twin enabled framework for training and deploying AI agents for production scheduling -- Digital Twin for Human Machine Interaction -- Learning-based Collaborative Digital Twins -- A Manufacturing Digital Twin Framework -- Part III Agent based Approaches for AI in Manufacturing -- Reinforcement Learning based approaches in manufacturing environments -- A participatory modelling approach to Agents in Industry using AAS -- 4.0 Holonic Multi-Agent Testbed Enabling Shared Production -- Application of a Multi agent system on production and scheduling optimization -- Integrating Knowledge to Conversational Agents for Worker Upskilling -- Part IV Trusted AI for Industry 5.0 Applications -- Wearable sensor-based human activity recognition for worker safety in manufacturing line -- Object detection for human-robot interaction and worker assistance systems -- Application of autoML, XAI and differential privacy method into manufacturing -- Anomaly Detection in Manufacturing -- Towards Industry 5.0 by incorporation of Trustworthy and Human-Centric approaches -- How AI changes human roles in Industry 5.0-enabled environments: Human in the AI loop via xAI and Active Learning for Manufacturing Quality Control -- Multi-Stakeholder Perspective on Human-AI Collaboration in Industry 5.0 -- Conclusion.…”
Link to Metadata

Innovations in Quantitative Risk Management TU München, September 2013 /

Table of Contents: “…Part I Markets, Regulation, and Model Risk -- A Random Holding Period Approach for Liquidity-Inclusive Risk Management -- Regulatory Developments in Risk Management: Restoring Confidence in Internal Models -- Model Risk in Incomplete Markets with Jumps -- Part II Financial Engineering -- Bid-Ask Spread for Exotic Options Under Conic Finance -- Derivative Pricing Under the Possibility of Long Memory in the supOU Stochastic Volatility Model -- A Two-Sided BNS Model for Multicurrency FX Markets -- Modeling the Price of Natural Gas with Temperature and Oil Price as Exogenous Factors -- Copula-Specific Credit Portfolio Modeling -- Implied Recovery Rates-Auctions and Models -- Upside and Downside Risk Exposures of Currency Carry Trades via Tail Dependence -- Part III Insurance Risk and Asset Management -- Participating Life Insurance Contracts Under Risk Based Solvency Frameworks: How to Increase Capital Efficiency by Product Design -- Reducing Surrender Incentives Through Fee Structure in Variable Annuities -- A Variational Approach for Mean-Variance-Optimal Deterministic Consumption and Investment -- Risk Control in Asset Management: Motives and Concepts -- Worst-Case Scenario Portfolio Optimization Given the Probability of a Crash -- Improving Optimal Terminal Value Replicating Portfolios -- Part IV Computational Methods for Risk Management -- Risk and Computation -- Extreme Value Importance Sampling for Rare Event Risk Measurement -- A Note on the Numerical Evaluation of the Hartman-Watson Density and Distribution Function -- Computation of Copulas by Fourier Methods -- Part V Dependence Modelling -- Goodness-of-fit Tests for Archimedean Copulas in High Dimensions -- Duality in Risk Aggregation -- Some Consequences of the Markov Kernel Perspective of Copulas -- Copula Representations for Invariant Dependence Functions -- Nonparametric Copula Density Estimation Using a Petrov-Galerkin Projection.…”
Link to Metadata

Technical Writing for Technicians by Fleming, Will

Table of Contents: “…WEEK 3 -- Intake Documents -- Intake Document Student Sample (Auto/Diesel) -- Intake Document Student Sample (Mechatronics) -- Grammar Lesson 2 - Apostrophes/Possessive S -- IV. …”
Access online version

La hora del cuento en español by Rojas-Primus, Constanza, Rodríguez, Sofía

Table of Contents: “…Jorge's Farm -- The Tale of the PigMan -- The Farm of Prosperity -- The Lying Wolf -- The Sick Farmer -- The Female Cat's Birthday -- The Power of "NO" -- The Smartt Dog -- The Hen Who Thinks She Is a Duck -- The Big Party -- Segunda parte -- Un día con Mia -- El Sueño de la cabra -- Mi rosa roja -- Penny limpia la clase -- La tucán mandona -- La cerdita voladora -- El lápiz morado -- ¡A mí me encanta ayudar! …”
Access online version