Search Results - "Algorithm"

MENINGKATKAN AKURASI PEMBACAAN BAHASA ISYARAT ANGKA DENGAN MENGGUNAKAN MODEL LANDMARK TANGAN DAN ALGORITMA THRESHOLDING by Arfah Athiroh, -

Link Metadata

PENENTUAN FASE DAN DURASI FASE LALU LINTAS MENGGUNAKAN ALGORITMA WELCH-POWELL DAN METODE FUZZY TSUKAMOTO : Studi Kasus di Perempatan Jalan Soekarno Hatta - Jalan Ibrahim Adjie, Ban... by Putrie Ninditha Gunawan, -

Link Metadata

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /

Table of Contents: “…Logics, Decision Procedures, and Solvers -- Satisfiability Checking for Mission-Time LTL -- High-Level Abstractions for Simplifying Extended String Constraints in SMT -- Alternating Automata Modulo First Order Theories -- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors -- CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis -- Incremental Determinization for Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational Vector Addition Systems -- Invertibility Conditions for Floating-Point Formulas -- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in a Verified Compiler -- Sound Approximation of Programs with Elementary Functions -- Verification -- Formal verification of quantum algorithms using quantum Hoare logic -- SecCSL: Security Concurrent Separation Logic -- Reachability Analysis for AWS-based Networks -- Distributed Systems and Networks -- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual Consistency Checking -- Checking Robustness Against Snapshot Isolation -- Efficient verification of network fault tolerance via counterexampleguided refinement -- On the Complexity of Checking Consistency for Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants -- Interpolating Strong Induction -- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers -- Inferring Inductive Invariants from Phase Structures -- Termination of Triangular Integer Loops is Decidable -- AliveInLean: A Verified LLVM Peephole Optimization Verifier -- Concurrency -- Automated Parameterized Verification of CRDTs -- What's wrong with on-the-y partial order reduction -- Integrating Formal Schedulability Analysis into a Verifed OS Kernel -- Rely-guarantee Reasoning about Concurrent Memory Management in Zephyr RTOS -- Violat: Generating Tests of Observational Refinement for Concurrent Objects. .…”
Link to Metadata

The Future of Work Challenges and Prospects for Organisations, Jobs and Workers /

Table of Contents: “…AI, Data Analytics and the Professions -- Chapter 4. Gig Work, Algorithmic Technologies and The Uncertain Future of Work -- Chapter 5. …”
Link to Metadata

Programming Persistent Memory A Comprehensive Guide for Developers by Scargall, Stteve

Table of Contents: “…Front Matter -- Introduction to Persistent Memory Programming -- Persistent Memory Architecture -- Operating Systetm Support for Persistent Memory -- Fundamental Concepts of Persistent Memory Programming -- Introducing the Persistent Memory Develpoment Kit -- Iibpmem: Low-Level Persistent Memory Support -- Iibpmemobj: A Native Transactional Object Store -- libpmemobj-cpp: The Adaptable Language - C++ and Persistent Memory -- pmemkv: A Persistent In-Memory Key-Value Store -- Volatile Use of Persistent Memory -- Designing Data Structures for Persistent Memory -- Debugging Persistent Memory Applications -- Enabling Persistence Using a Real-World Application -- Concurrency and Persistent Memory -- Profiling and Performance -- PMDK Internals: Important Algorithms and Data Structures -- Reliability, Availability, and Serviceability (RAS) -- Remote Persistent Memory -- Advanced Topics -- Back Matter…”
Access online version

How to Practice Academic Medicine and Publish from Developing Countries? A Practical Guide / by Nundy, Samiran, Kakar, Atul, Bhutta, Zulfiqar A.

Table of Contents: “…-- 29 Systematic, Scoping and Narrative Reviews -- Part 6 After the paper is written -- 30 To which journal should you submit your article? -- 31 Publication algorithm -- 32 How to do a Peer Review? -- 33 How to handle Rejection? …”
Link to Metadata

Effect of a physical activity and behaviour maintenance programme on functional mobility decline in older adults: the REACT (Retirement in Action) randomised controlled trial by Afroditi Stathi, ProfPhD, Colin J Greaves, ProfPhD, Janice L Thompson, ProfPhD, Janet Withall, PhD, Peter Ladlow, PhD, Gordon Taylor, ProfPhD, Antonieta Medina-Lara, PhD, Tristan Snowsill, PhD, Selena Gray, ProfMD, Colin Green, ProfPhD, Heidi Johansen-Berg, ProfPhD, Claire E Sexton, PhD, James L J Bilzon, ProfPhD, Jolanthe deKoning, PhD, Jessica C Bollen, PhD, Sarah J Moorlock, MSc, Max J Western, PhD, Naiara Demnitz, DPhil, Poppy Seager, MSc, Jack M Guralnik, ProfMD, W Jack Rejeski, ProfPhD, Melvyn Hillsdon, PhD, Kenneth R Fox, ProfPhD

Connect to this object online.

Epidemiological, clinical and radiological characteristics of people with neurocysticercosis in Tanzania-A cross-sectional study by Dominik Stelzle, Charles Makasi, Veronika Schmidt, Chiara Trevisan, Inge van Damme, Tamara M. Welte, Charlotte Ruether, Agnes Fleury, Pierre Dorny, Pascal Magnussen, Gideon Zulu, Kabemba E. Mwape, Emmanuel Bottieau, Sarah Gabriël, Bernard J. Ngowi, Andrea S. Winkler

Connect to this object online.

The administration of the Rorschach inkblot method and changes in autonomic nervous system activity [Aplikace Rorschachovy metody a změny v aktivitě autonomního nervového syste... by Emil Šiška, Martin Kudláček, Dana Štěrbová, Pavel Stejskal

Connect to this object online.

Beyond HCAHPS: Analysis of patients' comments provides an expanded view of their hospital experiences by Andrew Gallan, Rakesh Niraj, Awanindra Singh

Connect to this object online.

Mechanism of Pingyang Jiangya Formula in treating hypertension based on network pharmacology and in vivo study by Deguo Liu, Zirong Li, Qihua Chen, Yuhong Wang, Changjiang Xiao

Connect to this object online.

Evaluating the Efficacy of ChatGPT as a Patient Education Tool in Prostate Cancer: Multimetric Assessment by Damien Gibson, Stuart Jackson, Ramesh Shanmugasundaram, Ishith Seth, Adrian Siu, Nariman Ahmadi, Jonathan Kam, Nicholas Mehan, Ruban Thanigasalam, Nicola Jeffery, Manish I Patel, Scott Leslie

Connect to this object online.

Recent HIV infection and annualized HIV incidence rates among sexual and gender minorities in Brazil and Peru (ImPrEP seroincidence study): a cross-sectional, multicenter studyRese... by Thiago S. Torres, Sylvia L.M. Teixeira, Brenda Hoagland, Kelika A. Konda, Monica Derrico, Ronaldo I. Moreira, Juan V. Guanira, Marcos Benedetti, Sandro Nazer, Gino M. Calvo, Silver Vargas, Carlos Benites, Álisson Bigolin, José Boullosa Alonso Neto, Alessandro Farias, Marcos Vinícius Guimarães Lacerda, Daila Alena Raenck Silva, Leidijany Costa Paz, José Valdez Madruga, Hector Javier Salvatierra Flores, Ginjaylan Prada Boluarte, Cesar Vidal Osco Tamayo, Hardy Teresa Castro Antezana, M. Cristina Pimenta, Annick Bórquez, Paula M. Luz, Beatriz Grinsztejn, Celia Landmann Szwarcwald, Carlos F. Cáceres, Valdilea G. Veloso, Tania Kristic, Carla Rocha, Willian da Silva Santos, Ana Paula Lovreto Santana, Renato Lima, Carolina Souza, Talita Andrade Oliva, Mônica dos Santos Valões, Jennifer Olivetto, Gabriel Lima Mota, Aline Barnabé Cano, Roberta Trefiglio, Carolina Coutinho, Oliver Elorreaga, Ximena Gutierrez, Fernando Olivos, Damaris Caviedes, Daniella Adriazola, Eduardo Juárez, Gabriela Mariño, Jazmin Qquellon, Francesca Vasquez, Jean Pierre Jiron, Sonia Flores, Karen Campos, Maria Eguiluz

Connect to this object online.

DL_Track - Automated analysis of muscle architecture from B-mode ultrasonography images using deep learning by Paul Ritsche, Oliver Faude, Martino Franchi, Taija Finni, Olivier Seynnes, Neil Cronin

Connect to this object online.

A data model and database for high-resolution pathology analytical image informatics by Fusheng Wang, Jun Kong, Lee Cooper, Tony Pan, Tahsin Kurc, Wenjin Chen, Ashish Sharma, Cristobal Niedermayr, Tae W Oh, Daniel Brat, Alton B Farris, David J Foran, Joel Saltz

Connect to this object online.

Relationships between neuro-endocrine, electrocardiogram, and gastric mucosal damage parameters in naїve and stressed rats by Oksana Fihura, Oksana Melnyk, Sofiya Ruzhylo, Nataliya Zakalyak, Halyna Kondratska, Walery Zukow, Igor Popovych

Connect to this object online.

Timely diagnosis of lysosomal acid lipase deficiency in children and young adults with lipid profile abnormalities. Expert opinion by M.V. Ezhov, E.Yu. Zakharova, A.A. Avramenko, A.S. Alieva, I.N. Zakharova, I.V. Leont'eva, S.I. Malyavskaya, I.M. Osmanov, D.I. Sadykova, M.L. Stolina, T.V. Strokova

Connect to this object online.

A randomized clinical trial on the effects of exercise on muscle remodelling following bariatric surgery by Saulo Gil, John P. Kirwan, Igor H. Murai, Wagner S. Dantas, Carlos Alberto Abujabra Merege‐Filho, Sujoy Ghosh, Samuel K. Shinjo, Rosa M.R. Pereira, Walcy R. Teodoro, Sheylla M. Felau, Fabiana B. Benatti, Ana L. deSá‐Pinto, Fernanda Lima, Roberto deCleva, Marco Aurélio Santo, Bruno Gualano, Hamilton Roschel

Connect to this object online.

Effects and cost of different strategies to eliminate hepatitis C virus transmission in Pakistan: a modelling analysis by Aaron G Lim, DPhil, Josephine G Walker, PhD, Nyashadzaishe Mafirakureva, PhD, Gul Ghuttai Khalid, MPH, Huma Qureshi, FRCP, Hassan Mahmood, FRSPH, Adam Trickey, PhD, Hannah Fraser, PhD, Khawar Aslam, MBBS, Gregoire Falq, MPH, Camille Fortas, MPH, Hassaan Zahid, MBBS, Ammara Naveed, MBBS, Rosa Auat, MD, Quaid Saeed, MPH, Charlotte F Davies, PhD, Christinah Mukandavire, PhD, Nancy Glass, MPH, David Maman, MD, Natasha K Martin, DPhil, Matthew Hickman, ProfPhD, Margaret T May, ProfPhD, Saeed Hamid, ProfFRCP, Anne Loarec, MD, Francisco Averhoff, MD, Peter Vickerman, ProfDPhil

Connect to this object online.

Bioinformatics and Integrative Experimental Method to Identifying and Validating Co-Expressed Ferroptosis-Related Genes in OA Articular Cartilage and Synovium by Ma J, Yu P, Ma S, Li J, Wang Z, Hu K, Su X, Zhang B, Cheng S, Wang S

Connect to this object online.