Arama Sonuçları - "workflow"

Automated pipeline for linear and volumetric assessment of facial swelling after third molar surgery Yazar: Selene Barone, Paolo Zaffino, Marianna Salviati, Michela Destito, Alessandro Antonelli, Francesco Bennardo, Lucia Cevidanes, Maria Francesca Spadea, Amerigo Giudice

Connect to this object online.

Next-generation risk assessment read-across case study: application of a 10-step framework to derive a safe concentration of daidzein in a body lotion Yazar: Abdulkarim Najjar, Jochen Kühnl, Daniela Lange, Camille Géniès, Carine Jacques, Eric Fabian, Anne Zifle, Nicola J. Hewitt, Andreas Schepky

Connect to this object online.

3D Reconstructed Cyto-, Muscarinic M2 Receptor, and Fiber Architecture of the Rat Brain Registered to the Waxholm Space Atlas Yazar: Nicole eSchubert, Markus eAxer, Martin eSchober, Anh-Minh eHuynh, Marcel eHuysegoms, Nicola ePalomero-Gallagher, Jan G Bjaalie, Trygve B. Leergaard, Mehmet Eylem Kirlangic, Katrin eAmunts, Katrin eAmunts, Karl eZilles, Karl eZilles, Karl eZilles

Connect to this object online.

Novel protein-based prognostic signature linked to immunotherapeutic efficiency in ovarian cancer Yazar: Shuo-Fu Chen, Liang-Yun Wang, Yi-Sian Lin, Cho-Yi Chen

Connect to this object online.

mHealth Tools for the Self-Management of Patients With Multimorbidity in Primary Care Settings: Pilot Study to Explore User Experience Yazar: Irfan Khan, Anum, Gill, Ashlinder, Cott, Cheryl, Hans, Parminder Kaur, Steele Gray, Carolyn

Connect to this object online.

Evaluation of different machine learning algorithms for predicting the length of stay in the emergency departments: a single-centre study Yazar: Carlo Ricciardi, Marta Rosaria Marino, Teresa Angela Trunfio, Massimo Majolo, Maria Romano, Francesco Amato, Giovanni Improta, Giovanni Improta

Connect to this object online.

A comprehensive Thai pharmacogenomics database (TPGxD‐1): Phenotype prediction and variants identification in 942 whole‐genome sequencing data Yazar: Shobana John, Sommon Klumsathian, Paravee Own‐eium, Jakris Eu‐ahsunthornwattana, Thanyachai Sura, Donniphat Dejsuphong, Piyamitr Sritara, Prin Vathesatogkit, Nartthawee Thongchompoo, Wiphaporn Thabthimthong, Nuttinee Teerakulkittipong, Wasun Chantratita, Chonlaphat Sukasem

Connect to this object online.

The influence of electronic health record use on collaboration among medical specialties Yazar: Janita F. J. Vos, Albert Boonstra, Arjen Kooistra, Marc Seelen, Marjolein van Offenbeek

Connect to this object online.

The Meta Salud Diabetes Implementation Study: Qualitative Methods to Assess Integration of a Health Promotion Intervention Into Primary Care to Reduce CVD Risk Among an Underserved... Yazar: Maia Ingram, Catalina A. Denman, Elsa Cornejo-Vucovich, Maria del Carmen Castro-Vasquez, Benjamin Aceves, Abraham Garcia Ocejo, Jill Guernsey de Zapien, Cecilia Rosales

Connect to this object online.

Digital pathology: A systematic evaluation of the patent landscape Yazar: Ioan C. Cucoranu, Anil V. Parwani, Suryanarayana Vepa, Ronald S. Weinstein, Liron Pantanowitz

Connect to this object online.

An examination of large-scale electronic health records implementation in Primary Healthcare Centers in Saudi Arabia: a qualitative study Yazar: Haitham A. Alzghaibi

Connect to this object online.

Patient satisfaction and associated factor at red cross pharmacies in Addis Ababa, Ethiopia Yazar: Fikreselam Habte, Melak Gedamu, Chalelgn Kassaw

Connect to this object online.

Automated quantitative analysis of Ki-67 staining and HE images recognition and registration based on whole tissue sections in breast carcinoma Yazar: Min Feng, Yang Deng, Libo Yang, Qiuyang Jing, Zhang Zhang, Lian Xu, Xiaoxia Wei, Yanyan Zhou, Diwei Wu, Fei Xiang, Yizhe Wang, Ji Bao, Hong Bu

Connect to this object online.

Pharmacists' role in harm reduction: a survey assessment of Kentucky community pharmacists' willingness to participate in syringe/needle exchange Yazar: Amie Goodin, Amanda Fallin-Bennett, Traci Green, Patricia R. Freeman

Connect to this object online.

Digital Towns Accelerating and Measuring the Digital Transformation of Rural Societies and Economies / Yazar: Lynn, Theo, Rosati, Pierangelo, Conway, Edel, Curran, Declan, Fox, Grace, O'Gorman, Colm

İçindekiler: “…Chapter 1 - Defining and rationalising digital towns -- Chapter 2 - Measuring digital readiness -- Chapter 3 - Connectivity -- Chapter 4 - Digital Citizen -- Chapter 5 - Digital Education -- Chapter 6 - Digital Civil Society -- Chapter 7 - Digital Business -- Chapter 8 - Digital Public Services -- Chapter 9 - Digital Tourism -- Chapter 10 - Horizontal Integration -- Chapter 11 - Bringing it all together: An Integrated Measurement Framework and Workflow for Digital Towns.…”
Link to Metadata

Metalearning Applications to Automated Machine Learning and Data Mining / Yazar: Brazdil, Pavel, van Rijn, Jan N., Soares, Carlos, Vanschoren, Joaquin

İçindekiler: “…Introduction -- Part I, Basic Architecture of Metalearning and AutoML Systems -- Metalearning Approaches for Algorithm Selection I -- Evaluating Recommendations of Metalearning / AutoML Systems -- Metalearning Approaches for Algorithm Selection II -- Automating Machine Learning (AutoML) and Algorithm Configuration -- Dataset Characteristics (Metafeatures) -- Automating the Workflow / Pipeline Design -- Part II, Extending the Architecture of Metalearning and AutoML Systems -- Setting Up Configuration Spaces and Experiments -- Using Metalearning in the Construction of Ensembles -- Algorithm Recommendation for Data Streams -- Transfer of Metamodels Across Tasks -- Automating Data Science -- Automating the Design of Complex Systems -- Repositories of Experimental Results (OpenML) -- Learning from Metadata in Repositories.…”
Link to Metadata

Agile Processes in Software Engineering and Extreme Programming 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings /

İçindekiler: “…A cross-case analysis of four software teams -- An assessment of avionics software development practice: justifications for an agile development process -- Short Research Papers -- Inoculating an Agile Company with User-Centred Design: an Empirical Study -- On the Usage and Benefits of Agile Methods & Practices -- Checklists to Support Test Charter Design in Exploratory Testing -- Discovering Software Process Deviations Using Visualizations -- Exploring Workflow Mechanisms and Task Allocation Strategies in Agile Software Teams -- Are daily stand-up meetings valuable? …”
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...

İçindekiler: “…Concurrent and Distributed Systems -- Computing the concurrency threshold of sound free-choice workflow nets -- Fine-Grained Complexity of Safety Verification -- Parameterized verification of synchronization in constrained reconfigurable broadcast networks -- EMME: a formal tool for the ECMAScript Memory Model Evaluation -- SAT and SMT II -- What a Difference a Variable Makes -- Abstraction Refinement for Emptiness Checking of Alternating Data Automata -- Revisiting Enumerative Instantiation -- An Non-linear Arithmetic Procedure for Control-Command Software Verification -- Security and Reactive Systems -- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection -- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts -- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties -- The Refinement Calculus of Reactive Systems Toolset -- Static and Dynamic Program Analysis -- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation -- Optimal Dynamic Partial Order Reduction with Observers -- Structurally Defined Conditional Data-flow Static Analysis -- Geometric Nontermination Arguments -- Hybrid and Stochastic Systems -- Efficient dynamic error reduction for hybrid systems reachability analysis -- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic -- Multi-Cost Bounded Reachability in MDPs -- A Statistical Model Checker for Nondeterminism and Rare Events -- Temporal logic and mu-calculus -- Permutation Games for the Weakly Aconjunctive mu-Calculus -- Symmetry Reduction for the Local Mu-Calculus -- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models -- 7th Competition on Software Verification (SV-COMP) -- 2LS: Memory Safety and Non-Termination (Competition contribution) -- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) -- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-BasedDependency Analysis (Competition Contribution) -- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) -- Map2Check using LLVM and KLEE (Competition Contribution) -- Symbiotic 5: Boosted Instrumentation (Competition Contribution) -- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) -- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) -- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).…”
Link to Metadata

3D Innovations in Personalized Surgery

DOAB: download the publication
DOAB: description of the publication

Next generation risk assessment: an ab initio case study to assess the systemic safety of the cosmetic ingredient, benzyl salicylate, after dermal exposure Yazar: Johanna Ebmeyer, Abdulkarim Najjar, Daniela Lange, Mareike Boettcher, Silja Voß, Katrin Brandmair, Jaqueline Meinhardt, Jochen Kuehnl, Nicola J. Hewitt, Christopher-Tilman Krueger, Andreas Schepky

Connect to this object online.