खोज परिणाम - "Algorithm"

HIV rapid testing as a key strategy for prevention of mother-to-child transmission in Brazil Prueba rápida para el HIV como una estrategia para la prevención de la transmisión v... द्वारा Valdiléa G Veloso, Francisco I Bastos, Margareth Crisóstomo Portela, Beatriz Grinsztejn, Esau Custodio João, Jose Henrique da Silva Pilotto, Ana Beatriz Busch Araújo, Breno Riegel Santos, Rosana Campos da Fonseca, Regis Kreitchmann, Monica Derrico, Ruth Khalili Friedman, Cynthia B Cunha, Mariza Gonçalves Morgado, Karin Nielsen Saines, Yvonne J Bryson

Connect to this object online.

Muscle geometry and its relevance for sports performance? A perspective of current findings and future opportunities द्वारा Paul Ritsche, Martino Franchi, Jörg Spörri, Martin Keller, Neil Cronin, Oliver Faude

Connect to this object online.

Improving outcomes for women aged 70 years or above with early breast cancer: research programme including a cluster RCT द्वारा Lynda Wyld, Malcolm WR Reed, Karen Collins, Sue Ward, Geoff Holmes, Jenna Morgan, Mike Bradburn, Stephen Walters, Maria Burton, Kate Lifford, Adrian Edwards, Kate Brain, Alistair Ring, Esther Herbert, Thompson G Robinson, Charlene Martin, Tim Chater, Kirsty Pemberton, Anne Shrestha, Anthony Nettleship, Paul Richards, Alan Brennan, Kwok Leung Cheung, Annaliza Todd, Helena Harder, Riccardo Audisio, Nicolo Matteo Luca Battisti, Juliet Wright, Richard Simcock, Christopher Murray, Alastair M Thompson, Margot Gosney, Matthew Hatton, Fiona Armitage, Julietta Patnick, Tracy Green, Deirdre Revill, Jacqui Gath, Kieran Horgan, Chris Holcombe, Matt Winter, Jay Naik, Rishi Parmeshwar

Connect to this object online.

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

विषय - सूची: “…-- 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

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

विषय - सूची: “…-Regular Properties with Decoupled Search -- AIGEN: Random Generation of Symbolic Transition Systems -- GPU Acceleration of Bounded Model Checking with ParaFROST -- Pono: A Flexible and Extensible SMT-based Model Checker -- Logical Foundations -- Towards a Trustworthy Semantics-Based Language Framework via Proof Generation -- Formal Foundations of Fine-Grained Explainability -- Latticed k-Induction with an Application to Probabilistic Programs -- Stochastic Systems -- Runtime Monitors for Markov Decision Processes -- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference -- Enforcing Almost-Sure Reachability in POMDPs -- Rigorous Floating-Point Roundo Error Analysis of Probabilistic Computations -- Model-free Reinforcement Learning for Branching Markov Decision Processes -- Software Verification -- Cameleer: a Deductive Verification Tool for OCaml -- LLMC: Verifying High-Performance Software -- Formally Validating a Practical Verification Condition Generator -- Automatic Generation and Validation of Instruction Encoders and Decoders -- An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation -- Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios -- Functional Correctness of C implementations of Dijkstra's, Kruskal's, and Prim's Algorithms -- Gillian, Part II: Real-World Verification for JavaScript and C -- Debugging Network Reachability with Blocked Paths -- Lower-Bound Synthesis using Loop Specialization and Max-SMT -- Fast Computation of Strong Control Dependencies -- Di y: Inductive Reasoning of Array Programs using Difference Invariants.…”
Link to Metadata

The Essence of Mathematics Through Elementary Problems द्वारा Borovik, Alexandre, Gardiner, Tony

विषय - सूची: “…Arithmetic -- 2.1 Place value and decimals: basic structure -- 2.2 Order and factors -- 2.3 Standard written algorithms -- 2.4 Divisibility tests -- 2.5 Sequences -- 2.6 Commutative, associative and distributive laws -- 2.7 Infinite decimal expansions -- 2.8 The binary numeral system -- 2.9 The Prime Number Theorem -- 2.10 Chapter 2: Comments and solutions -- III. …”
Access online version

Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2020 Workshops, Copenhagen, Denmark, June 8-12, 2020, Revised Selected Papers /

विषय - सूची: “…Third International Workshop on Software-Intensive Business -- Unleashing the Business Potential of Software: A Summary of the Third International Workshop on Software-intensive Business -- An Approach for Software-Intensive Business Innovation Based on Experimentation in Non-Software-Intensive Companies -- Towards specific software engineering practices for early-stage startups -- API Utilization and Monetization in Finnish Industries -- ICO Crowdfunding: Incentives, Pricing Strategy, Token Strategy and Crowd Involvement -- What key aspects do ICOs reveal about their businesses -- Product Roadmap Alignment - Achieving the Vision Together: A Grey Literature Review -- Exploring the Success Factors for a Launch of an Algorithmic Consulting Platform -- Eighth International Workshop on Large-Scale Agile Development -- Agile at Scale: A Summary of the 8th International Workshop on Large-Scale Agile Development -- Operationalizing Agile Methods: Examining Coherence in Large-Scale AgileTransformations -- Transitioning from a First Generation to Second Generation Large-Scale Agile Development Method: Towards understanding Implications for Coordination -- Exploring the Product Owner Role within SAFe Implementation in a Multinational Enterprise -- Evaluation of Agile Team Work Quality -- A systematic approach to agile development in highly regulated environment -- Second European Workshop on Serverless Computing and Applications -- Summary of 2nd European Symposium on Serverless Computing and Applications -- Diminuendo! …”
Link to Metadata

Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2018 Selected Papers from the ICOSAHOM Conference, London, UK, July 9-13, 2018 /

विषय - सूची: “…Stability of wall boundary condition procedures for discontinuous Galerkin spectral element approximations of the compressible Euler equations -- On the order reduction of entropy stable DGSEMfor the compressible Euler equations -- A review of regular decompositions of vector fields - continuous, discrete, and structure-preserving -- Model reduction by separation of variables: a comparison between hierarchical model reduction and proper generalized decomposition -- Recurrence relations for a family of orthogonal polynomials on a triangle -- Greedy kernel methods for center manifold approximation -- An improved error inhibiting block one-step method with radial basis function approximation for ODEs -- Hermite methods in time -- HPS accelerated spectral solvers for time dependent problems: algorithms -- On the use of hermite functions for the Vlasov-Poisson system -- HPS accelerated spectral solvers for time dependent problems: numerical experiments -- High-order finite element methods for interface problems: theory and implementations -- Stabilised hybrid discontinuous galerkin methods for the Stokes problem with non-standard boundary conditions -- RBF based CWENO method -- discrete equivalence of adjoint Neumann-Dirichlet div-grad and grad-div equations in curvilinear 3D domains -- A conservative hybrid method for Darcy flow -- High-order mesh generation based on optimal affine combinations of nodal positions -- Sparse spectral-element methods for the helically reduced Einstein equations -- Spectral analysis of isogeometric discretizations of 2D curl-div Problems with general geometry -- Performance of preconditioners for large-scale simulations using Nek5000 -- Two decades old entropy stable method for the Euler equations revisited -- A mimetic spectral element method for free surface flows -- Spectral/hp methodology study for iLES-SVV on an Ahmed body -- A high-order discontinuous Galerkin solver for multiphase flows -- High-Order propagation of jet noise on a tetrahedral mesh using large eddy simulation sources -- Dynamical degree adaptivity for DG-LES models -- A novel eight-order diffusive scheme for unstructured polyhedral grids using the weighted least-squares method -- An explicit mapped tent pitching scheme for Maxwell equations -- Viscous diffusion effects in the eigenanalysis of (hybridisable) DG methods -- Spectral Galerkin method for solving Helmholtz and Laplace Dirichlet problems on multiple open arcs -- Explicit polynomial Trefftz-DG method for space-time elasto-acoustics -- An hp-adaptive iterative linearization discontinuous-Galerkin FEM for quasilinear elliptic boundary value problems -- Erosion Wear evaluation using Nektar++ -- An inexact Petrov-Galerkin approximation for gas transport in pipeline networks -- New preconditioners for semi-linear PDE-constrained optimal control in annular geometries -- DIRK schemes with high weak stage order -- Scheme for evolutionary Navier-Stokes-Fourier system with temperature dependent material properties based on spectral/hp elements -- Implicit large eddy simulations for NACA0012 airfoils using compressible and incompressible discontinuous Galerkin solvers -- SAV method applied to fractional Allen-Cahn equation -- A first meshless approach to simulation of the elastic behaviour of the diaphragm -- An explicit hybridizable discontinuous Galerkin method for the 3D timedomain Maxwell equations -- Entropy conserving and kinetic energy preserving numerical methods for the Euler equations using summation-by-parts operators -- Multiwavelet troubled-cell indication: a comparison of utilizing theory versus outlier detection -- An anisotropic p-adaptation multigrid scheme for discontinuous Galerkin methods -- A spectral element reduced basis method for Navier-Stokes equations with geometric variations -- Iterative spectral mollification and conjugation for successive edge detection -- Small trees for high order Whitney elements -- Non-conforming elements inNek5000: pressure preconditioning and parallel performance -- Sparse approximation of multivariate functions from small datasets via weighted orthogonal matching pursuit -- On the convergence rate of Hermite-Fejer interpolation.…”
Link to Metadata

Selected Abstracts of the 2nd Congress of joint European Neonatal Societies (jENS 2017); Venice (Italy); October 31-November 4, 2017; Session "Neonatal Pulmonology, Neonatal Respir... द्वारा -

Connect to this object online.

Prevention at work needed to curb the worldwide strong increase in knee replacement surgery for working-age osteoarthritis patients द्वारा P Paul FM Kuijer, Alex Burdorf

Connect to this object online.

Selected Abstracts of the 19th International Workshop on Neonatology and Pediatrics; Cagliari (Italy); October 18-21, 2023 द्वारा -

Connect to this object online.

A multimethod study of NHS 111 online द्वारा Turnbull Joanne, MacLellan Jennifer, Churruca Kate, Ellis Louise A, Prichard Jane, Browne David, Braithwaite Jeffrey, Petter Emily, Chisambi Matthew, Pope Catherine

Connect to this object online.

What happens between first symptoms and first acute exacerbation of COPD - observational study of routine data and patient survey द्वारा Alex Bottle, Alex Adamson, Xiubin Zhang, Benedict Hayhoe, Jennifer K Quint

Connect to this object online.

Debating Transformations of National Citizenship

विषय - सूची: “…Spiro -- Citizenship Forecast: Partly Cloudy with Chances of Algorithms: Costica Dumbrava -- The Separation of Territory and State: a Digital French Revolution?…”
Link to Metadata

The Resilience Hub approach for addressing mental health of health and social care workers during the COVID-19 pandemic: a mixed-methods evaluation द्वारा Filippo Varese, Kate Allsopp, Lesley-Anne Carter, Gemma Shields, Daniel Hind, Linda Davies, Alan Barrett, Gita Bhutani, Katherine McGuirk, Fay Huntley, Joanne Jordan, Aleix Rowlandson, May Sarsam, Hein Ten Cate, Holly Walker, Ruth Watson, Jack Wilkinson, Jenni Willbourn, Paul French

Connect to this object online.

Mathematics Curriculum Reforms Around the World The 24th ICMI Study /

विषय - सूची: “…: Berta Barquero, Britta Eyrich Jessen, Juan Ruiz-Hidalgo and Jennie Golding -- 14: Conclusion: Achieving Coherence and Relevance in Mathematics Curriculum Reforms: Some Guiding Principles: Will Morony -- Part IV: Theme C -Implementation of Reformed Mathematics Curricula Within and Across Different Contexts and Traditions -- 15: Introduction: Angel Ruiz -- 16: A First Exploration to Understand Mathematics Curricula Implementation: Results, Limitations and Successes: Angel Ruiz, Mogens Niss, Michèle Artigue, Yiming Cao and Enriqueta Reston -- 17: Towards a Model for Monitoring and Evaluating Curricular Reforms: Steve Thornton, Maitree Inprasitha, Angel Ruiz, Masami Isoda, Narumon Changsri and Kristen Tripet -- 18: Teachers, Resources, Assessment Practices: Role and Impact on the Curricular Implementation Process: Alf Coles, Luis Rodríguez-Muñiz, Ida Ah Chee Mok, Angel Ruiz, Ronnie Karsenty, Francesca Martignone, Iman Osta, Federica Ferretti and Thi Tan An Nguyen -- 19: Conclusion: 'Laws' of Curriculum Implementation and the Future in which We Are Living: Angel Ruiz -- Part V: Theme D - Globalisation and Internationalisation and their Impacts on Mathematics Curriculum Reforms -- 20: Introduction: Max Stephens, Djordje Kadijevich, Mogens Niss, Nadia Azrou and Yukihiko Namikawa -- 21: The Evolution and Uptake of Numeracy and Mathematical Literacy as Drivers for Curriculum Reform: Merrilyn Goos and Kathy O'Sullivan -- 22: Impacts of TIMSS and PISA on Mathematics Curriculum Reforms: Djordje Kadijevich, Max Stephens, Armando Solares-Rojas and Raisa Guberman -- 23: Emergence of Computational/Algorithmic Thinking and its Impact on the Mathematics Curriculum: Djordje Kadijevich, Max Stephens and Abolfazl Rafiepour -- 24: Conclusion: Future Visions of the Impact of Internationalisation and Globalisation on School Mathematics Curriculum: Max Stephens, Merrilyn Goos and Djordje Kadijevich -- Part VI: Theme E - Agents and Processes of Curriculum Design, Development and Reforms in School Mathematics: 25: Introduction: Ellen Jameson, Peter Sullivan and Ferdinando Arzarello -- 26: Case Studies in Agents andProcesses of Mathematics Curriculum Development and Reform: Iman Osta, Fidel Oteiza, Peter Sullivan and John Volmink -- 27: Modelling Curriculum Reforms: A System of Agents, Processes and Objects: Ellen Jameson and Janette Bobis -- 28: Boundary in Curriculum Reform: Alon Pinto and Jason Cooper -- 29: Teacher Professional Identity and Curriculum Reform: Stephen Quirke, Lorena Espinoza and Gérard Sensevy -- 30: Conclusion: Implications for Active Curriculum Reform Work and Future Research: Ellen Jameson, Peter Sullivan and Ferdinando Arzarello -- Part VII: International Perspectives and Influences on School Mathematics Curriculum Reforms: 31: Introduction: Yoshinori Shimizu and Renuka Vithal -- 32: OECD Learning Compass 2030: Implications for Mathematics Curricula: Miho Taguma, Kelly Makowiecki and Florence Gabriel -- 33: Making Sense of Mathematics and Making Mathematics Make Sense: William McCallum -- 34: School Mathematics Curriculum Reforms: Insights and Reflections: Berinderjeet Kaur -- Part VIII: Commentaries on ICMI Study 24: 35: Introduction: Renuka Vithal and Yoshinori Shimizu -- 36: Language of Teaching and Learning and School Mathematics Curriculum Reform: Tensions in Equity and Access: Anjum Halai -- 37: A Cultural-Political Reading of School Mathematics Curriculum Reform: Paola Valero -- Part IX: Conclusion to ICMI Study 24: 38: Key Messages and Lessons from Mathematics Curriculum Reforms around the World: Renuka Vithal and Yoshinori Shimizu -- Afterword: Jill Adler -- Subject Index / Author Index.…”
Link to Metadata

Green-blue space exposure changes and impact on individual-level well-being and mental health: a population-wide dynamic longitudinal panel study with linked survey data द्वारा Rebecca S Geary, Daniel A Thompson, Joanne K Garrett, Amy Mizen, Francis M Rowney, Jiao Song, Mathew P White, Rebecca Lovell, Alan Watkins, Ronan A Lyons, Susan Williams, Gareth Stratton, Ashley Akbari, Sarah C Parker, Mark J Nieuwenhuijsen, James White, Benedict W Wheeler, Richard Fry, Dialechti Tsimpida, Sarah E Rodgers

Connect to this object online.

Pathways of patients with chronic haematological malignancies: a report from the UK's population-based HMRN द्वारा Eve Roman, Debra Howell, Alexandra Smith, Simon Crouch, Timothy Bagguley, Daniel Painter, Rebecca Sheridan, Dorothy McCaughan, John Blase, William Curson, Han-I Wang, Andrea Manca, Alastair Bennett, Vijay S Gc, Carol Miller, Karl Atkin, Richard Thomson, Barbara Hanratty, Cathy Burton, John Ashcroft, Russell Patmore

Connect to this object online.

Health screening clinic to reduce absenteeism and presenteeism among NHS Staff: eTHOS a pilot RCT द्वारा Rachel Adams, Rachel E Jordan, Alisha Maher, Peymane Adab, Timothy Barrett, Sheriden Bevan, Lucy Cooper, Ingrid DuRand, Florence Edwards, Pollyanna Hardy, Ciara Harris, Nicola R Heneghan, Kate Jolly, Sue Jowett, Tom Marshall, Margaret O'Hara, Christopher Poyner, Kiran Rai, Hugh Rickards, Ruth Riley, Natalie Ives, Steven Sadhra, Sarah Tearne, Gareth Walters, Elizabeth Sapey

Connect to this object online.

Selected Abstracts of the 11th International Workshop on Neonatology; Cagliari (Italy); October 26-31, 2015 द्वारा -

Connect to this object online.