Search

Your search keyword '"Drane, A"' showing total 4,155 results

Search Constraints

Start Over You searched for: Author "Drane, A" Remove constraint Author: "Drane, A"
4,155 results on '"Drane, A"'

Search Results

1. ROVER: RTL Optimization via Verified E-Graph Rewriting

2. On the Systematic Creation of Faithfully Rounded Commutative Truncated Booth Multipliers

3. Combining Power and Arithmetic Optimization via Datapath Rewriting

6. Multiplier Optimization via E-Graph Rewriting

7. SEER: Super-Optimization Explorer for HLS using E-graph Rewriting with MLIR

8. Datapath Verification via Word-Level E-Graph Rewriting

9. Pattern of admissions and needs assessment for palliative care services among in-patients in a tertiary health facility in South-Western Nigeria

13. Automating Constraint-Aware Datapath Optimization using E-Graphs

14. Left ventricular trabeculation in Hominidae: divergence of the human cardiac phenotype

15. Construct identification in the neuropsychological battery: What are we measuring?

16. Medication improves velocity, reaction time, and movement time but not amplitude or error during memory‐guided reaching in Parkinson's disease

20. Combining E-Graphs with Abstract Interpretation

21. Automatic Generation of Complete Polynomial Interpolation Hardware Design Space

23. Automatic Datapath Optimization using E-Graphs

24. Abstract Interpretation on E-Graphs

25. Benefits of a Multi-Institutional, Hybrid Approach to Teaching Course Design for Graduate Students, Postdoctoral Scholars, and Leaders

26. Prospective head-to-head comparison of non-invasive scores for diagnosis of fibrotic MASH in patients with type 2 diabetes

28. Global overview of the management of acute cholecystitis during the COVID-19 pandemic (CHOLECOVID study)

33. Rationale and Design of the National Neuropsychology Network

34. Machine learning risk prediction of mortality for patients undergoing surgery with perioperative SARS-CoV-2: the COVIDSurg mortality score

35. The Role of Wastewater Treatment Plants in Dissemination of Antibiotic Resistance: Source, Measurement, Removal and Risk Assessment

42. Transgressive Learning Communities: Transformative Spaces for Underprivileged, Underserved, and Historically Underrepresented Graduate Students at Their Institutions

44. Assessment of learning health system science competency in the equity and justice domain

45. Training in the art and science of facilitation to scale research mentor training in low and middle income countries

47. Rationale and Design of the National Neuropsychology Network.

48. MRI-based deep learning can discriminate between temporal lobe epilepsy, Alzheimer’s disease, and healthy controls

Catalog

Books, media, physical & digital resources