Search

Your search keyword '"Taylor T"' showing total 14,206 results

Search Constraints

Start Over You searched for: Author "Taylor T" Remove constraint Author: "Taylor T"
14,206 results on '"Taylor T"'

Search Results

1. Idiopathic pulmonary fibrosis in the United States: time to diagnosis and treatment

2. Evaluation for clinical benefit of metformin in patients with idiopathic pulmonary fibrosis and type 2 diabetes mellitus: a national claims-based cohort analysis

3. Outcomes for hospitalized patients with idiopathic pulmonary fibrosis treated with antifibrotic medications

4. Understanding Student-Run Health Initiatives in the Context of Community-Based Services: A Concept Analysis and Proposed Definitions

5. Cyber-Physical Anomaly Detection in Microgrids Using Time-Frequency Logic Formalism

6. Recognition & management of varicella infections and accuracy of antimicrobial recommendations: Case vignettes study in the US.

7. A New Hybrid Automaton Framework with Partial Differential Equation Dynamics

8. Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets

9. Development of a Credible Virtual Clinician Promoting Colorectal Cancer Screening via Telehealth Apps for and by Black Men: Qualitative Study

10. Formal Logic Enabled Personalized Federated Learning Through Property Inference

11. Prescribed exercise to Reduce Recidivism After Weight Loss-Pilot (PREVAIL-P): Design, methods and rationale

12. Vaccine efficacy against primary and metastatic cancer with in vitro-generated CD103+ conventional dendritic cells

13. Staphylococcus aureus intramammary challenge in non-lactating mammary glands stimulated to rapidly grow and develop with estradiol and progesterone

14. The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results

15. Robustness Verification for Knowledge-Based Logic of Risky Driving Scenes

16. Formal Verification of Long Short-Term Memory based Audio Classifiers: A Star based Approach

17. Online Reachability Analysis and Space Convexification for Autonomous Racing

18. Monsters in the Dark: Sanitizing Hidden Threats with Diffusion Models

19. DATA ASSIMILATION APPLIED TO PRESSURISED WATER REACTORS

20. SUDS: Sanitizing Universal and Dependent Steganography

21. Robustness Verification of Deep Neural Networks using Star-Based Reachability Analysis with Variable-Length Time Series Input

22. Socio-hydrology: an interplay of design and self-organization in a multilevel world

24. PHLD Class Proteins: A Family of New Players in the p53 Network

25. STAT3 Inhibits CD103+ cDC1 Vaccine Efficacy in Murine Breast Cancer

30. Benchmark: Neural Network Malware Classification

32. A systematic review of emergency department based HIV testing and linkage to care initiatives in low resource settings.

33. First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)

34. Ethnography as Play

35. The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results

37. Energy storage

38. BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees

39. Model Checking for Rectangular Hybrid Systems: A Quantified Encoding Approach

40. Work In Progress: Safety and Robustness Verification of Autoencoder-Based Regression Models using the NNV Tool

41. Reachability Analysis of a General Class of Neural Ordinary Differential Equations

42. Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents

43. References

45. Index

Catalog

Books, media, physical & digital resources