Results 111 to 120 of about 17,373,161 (316)

Safety Model Checking with Complementary Approximations

, 2017
Formal verification techniques such as model checking, are becoming popular in hardware design. SAT-based model checking techniques such as IC3/PDR, have gained a significant success in hardware industry. In this paper, we present a new framework for SAT-
Li, Jianwen, Pu, Geguang, Vardi, Moshe, Zhang, Yueling, Zhu, Shufang   +4 more
core   +1 more source

Evaluation of a novel EHR sidecar application to display RA clinical outcomes during clinic visits: results of a stepped‐wedge cluster randomized pragmatic trial

Arthritis Care &Research, Accepted Article.
Objective We developed a novel EHR sidecar application to visualize key rheumatoid arthritis (RA) outcomes, including disease activity, physical function, and pain, via a patient‐facing graphical interface designed for use during outpatient visits (“RA PRO dashboard”).
Gabriela Schmajuk, Jing Li, Cathy Nasrallah, Cherish Wilson, Alicia Hamblin, Christine Hariz, Cammie Young, Stephen Shiboski, Emma Kersey, Mary Nakamura, Judith F. Ashouri, Mehrdad Matloubian, Andrew J. Gross, Jennifer Barton, Beth Berrean, Jonathan Prugh, Jinoos Yazdany   +16 more
wiley   +1 more source

COVID‐19 Vaccination is not Associated with the Development of Idiopathic Inflammatory Myositis in U.S. Veterans

Arthritis Care &Research, Accepted Article.
Objective Several case reports have proposed a potential association between COVID‐19 vaccination and the subsequent development of idiopathic inflammatory myositis (IIM). This study examined prior COVID‐19 vaccination in US Veterans who developed new‐onset IIM compared to those without new‐onset IIM.
Caleb Hernández, Naomi Schlesinger, Jorge Rojas, Jessica A. Walsh, Tawnie J Braaten, Gary A Kunkel, Makoto Jones, Brian C Sauer, Julio Facelli, Grant W. Cannon, Dorota Lebiedz‐Odrobina   +10 more
wiley   +1 more source

Trace Nickel Activated Biphasic Core‐CuOii/Shell‐CuOi Secondary Microspheres Enable Room Temperature Parts‐Per‐Trillion‐Level NO2 Detection

Advanced Engineering Materials, EarlyView.
An idea of designing novel sensors is proposed by creating appropriate Schottky barriers and vacancies between isomorphous Core‐CuOii/ Shell‐CuOi secondary microspheres and enhancing catalytic and spill‐over effects, and electronegativity via spontaneous biphasic separation, self‐assembly, and trace‐Ni‐doping.
Bala Ismail Adamu, Peipei Chen, Shafia Mukhtar Ibrahim, Mukhtar Lawan Adam, Attia Falak, Mokhotjwa Simon Dhlamini, Hanfu Wang, Lingxiang Jiang, Weiguo Chu   +8 more
wiley   +1 more source

Review of Research on Carbon-free Car

MATEC Web of Conferences, 2015
studied comprehensively from the scheme design and innovative design, mathematical modeling, research methods and other aspects of carbon-free car, discussed the research content and distribution characteristics of literature, summed up the general ...
Wang Zeng-sheng, Yang Han-song, Kong Ling-yun   +2 more
doaj   +1 more source

The challenge of sustainable suburbia [PDF]

, 2008
This paper explores issues raised with the expansion of Milton Keynes and the dilemmas in seeking to plan for sustainable travel behaviour. The 1970 design of Milton Keynes was for a car-oriented low density land use pattern served by a one-kilometre ...
Potter, Stephen
core  

Unique Performance Considerations for Printable Organic Semiconductor and Perovskite Radiation Detectors: Toward Consensus on Best Practice Evaluation

Advanced Functional Materials, EarlyView.
A lack of standard approaches for testing and reporting the performance of metal halide perovskites and organic semiconductor radiation detectors has resulted in inconsistent interpretation of performance parameters, impeding progress in the field. This Perspective recommends key metrics and experimental details, which are suggested for reporting in ...
Jessie A. Posar, Matthew Large, Andrea Ciavatti, Laura Basiricò, Beatrice Fraboni, Paul J. Sellin, Attila J. Mozer, Marco Petasecca, Matthew J. Griffith   +8 more
wiley   +1 more source

Current challenges and therapeutic advances of CAR-T cell therapy for solid tumors

Cancer Cell International
The application of chimeric antigen receptor (CAR) T cells in the management of hematological malignancies has emerged as a noteworthy therapeutic breakthrough.
Tong Chen, Mingzhao Wang, Yanchao Chen, Yutao Liu   +3 more
semanticscholar   +1 more source

PERANCANGAN DESIGN SYSTEM PADA WEBSITE TRAVEL MOBIL DENGAN METODE ATOMIC DESIGN [PDF]

Car rental provides daily or contract car rental services with driver or keyless options. This can be a solution for students in Malang who do not have a personal vehicle, useful for vacations, homecoming, or trips to the airport.
Mahendra, Yusril Mauluddin
core  

Analisa Pola Aliran Bodi Mobil Esemka Rajawali Standar Dengan Esemka Rajawali Modifikasi Menggunakan CFD (Computional Fluid Dynamic) Pada Software Ansys 15.0 [PDF]

, 2016
One development in a car is a car body design . Car design factor not only in terms of aesthetics ( beauty ) , but also by the shape of its body aerodynamics . Thesis research aims to determine differences in the flow pattern , the coefficient of drag
JATMIKO, AGUNG WAHYU
core