Search

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

Search Constraints

Start Over You searched for: Author "Drane, A." Remove constraint Author: "Drane, A."
4,250 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

8. Multiplier Optimization via E-Graph Rewriting

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

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

13. An ordinal clinical score predicts seizure freedom after minimally invasive epilepsy surgery

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

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

16. Context familiarity is a third kind of episodic memory distinct from item familiarity and recollection

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

22. Opening a conceptual space for metamemory experience

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

24. Intracranial investigation of piriform cortex epilepsy during odor presentation

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

27. Combining E-Graphs with Abstract Interpretation

28. Automatic Generation of Complete Polynomial Interpolation Hardware Design Space

29. Automatic Datapath Optimization using E-Graphs

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

32. Abstract Interpretation on E-Graphs

33. The Referential Montage Inadequately Localizes Corticocortical Evoked Potentials in Stereoelectroencephalography

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

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

36. Electrical Wada for pre‐surgical memory testing: a case report

41. Association Between Anatomical Location of Surgically Induced Lesions and Postoperative Seizure Outcome in Temporal Lobe Epilepsy.

42. Radiological identification of temporal lobe epilepsy using artificial intelligence: a feasibility study.

43. Rationale and Design of the National Neuropsychology Network

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

Catalog

Books, media, physical & digital resources