10,854 results on '"Clark, W."'
Search Results
2. To the rescue of the Category 1 Heritage Ashleigh Court building
3. Serial Diffusion Tensor Imaging and Rate of Ventricular Blood Clearance in Patients with Intraventricular Hemorrhage
4. A Study of the Long-Term Behavior of Hybrid Systems with Symmetries via Reduction and the Frobenius-Perron Operator
5. Writing for the Public/Writing for the Academy: Competing Goals with Uncertain Outcomes
6. Black and White Commuting Behavior in a Large Southern City: Evidence from Atlanta
7. The Nonexistence of Unicorns and Many-Sorted Löwenheim-Skolem Theorems.
8. Satisfiability Modulo Theories: A Beginner's Tutorial.
9. Robust Mean Estimation by All Means (Short Paper).
10. Split Gröbner Bases for Satisfiability Modulo Finite Fields.
11. Marabou 2.0: A Versatile Formal Analyzer of Neural Networks.
12. Parallel Verification for δ-Equivalence of Neural Network Quantization.
13. Clover: Closed-Loop Verifiable Code Generation.
14. Generalized Optimization Modulo Theories.
15. Verifying SQL queries using theories of tables and relations.
16. IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL.
17. Towards Efficient Verification of Quantized Neural Networks.
18. A systematic review of leader credibility: its murky framework needs clarity
19. Multiaxial fields improve SABRE efficiency by preserving hydride order
20. Using a systematic literature review to clarify ambiguous construct definitions: identifying a leader credibility definitional model
21. The Paradoxical Effect of Democratisation on the South Korean Education System in the 1980s and Early 1990s
22. Evaluating Independent Living Skills: A Quantitative Case Study of Adults with Intellectual Disabilities
23. Lemur: Integrating Large Language Models in Automated Program Verification.
24. Late Industrialization, Tradition, and Social Change in South Korea
25. Prospective trial of Home OCT guided management of treatment experienced nAMD patients
26. The Integer Sequence Transform $a \mapsto b$ where $b_n$ is the Number of Real Roots of the Polynomial $a_0 + a_1x + a_2x^2 + \cdots + a_nx^n$
27. Optogenetic stimulation of corticostriatal circuits improves behavioral flexibility in mice with prenatal alcohol exposure
28. Ocular and Systemic Risk Factors for Disease Worsening Among Patients with NPDR: Post Hoc Analysis of the PANORAMA Trial
29. Intravitreal aflibercept 8 mg in neovascular age-related macular degeneration (PULSAR): 48-week results from a randomised, double-masked, non-inferiority, phase 3 trial
30. Intravitreal aflibercept 8 mg in diabetic macular oedema (PHOTON): 48-week results from a randomised, double-masked, non-inferiority, phase 2/3 trial
31. APEX: A Framework for Automated Processing Element Design Space Exploration using Frequent Subgraph Analysis.
32. Soy: An Efficient MILP Solver for Piecewise-Affine Systems.
33. Toward Certified Robustness Against Real-World Distribution Shifts.
34. Convex Bounds on the Softmax Function with Applications to Robustness Verification.
35. Satisfiability Modulo Finite Fields.
36. Bounded Verification for Finite-Field-Blasting - In a Compiler for Zero Knowledge Proofs.
37. Combining Combination Properties: An Analysis of Stable Infiniteness, Convexity, and Politeness.
38. An Interactive SMT Tactic in Coq using Abductive Reasoning.
39. Tighter Abstract Queries in Neural Network Verification.
40. DNN Verification, Reachability, and the Exponential Function Problem.
41. Combining Finite Combination Properties: Finite Models and Busy Beavers.
42. Formal Verification of Bit-Vector Invertibility Conditions in Coq.
43. Partitioning Strategies for Distributed SMT Solving.
44. Lightweight Online Learning for Sets of Related Problems in Automated Reasoning.
45. A Procedure for SyGuS Solution Fitting via Matching and Rewrite Rule Discovery.
46. G-QED: Generalized QED Pre-silicon Verification beyond Non-Interfering Hardware Accelerators.
47. Endovascular thrombectomy plus medical care versus medical care alone for large ischaemic stroke: 1-year outcomes of the SELECT2 trial
48. Exudation in Patients With Neovascular Age-Related Macular Degeneration Treated With the Port Delivery System or Monthly Injections
49. Interim Results of the Phase III Portal Extension Trial of the Port Delivery System with Ranibizumab in Neovascular Age-Related Macular Degeneration
50. Resources: A Safe Language Abstraction for Money
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.