most citedMeasuring the Burgers Vector of Dislocations with Dark-Field X-ray Microscopy

4 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions

3 papers

cs.DB2025★ 1 cited

Cortex AISQL: A Production SQL Engine for Unstructured Data

Paweł Liskowski, Benjamin Han, Paritosh Aggarwal +11

Snowflake's Cortex AISQL is a production SQL engine that integrates native semantic operations directly into SQL. This integration allows users to write declarative queries that co…

cs.SE2025

Adaptive Proof Refinement with LLM-Guided Strategy Selection

Minghai Lu, Zhe Zhou, Danning Xie +3

Formal verification via theorem proving enables the expressive specification and rigorous proof of software correctness, but it is difficult to scale due to the significant manual…

cond-mat.mtrl-sci2024★ 4 cited

Measuring the Burgers Vector of Dislocations with Dark-Field X-ray Microscopy

Dayeeta Pal, Yifan Wang, Ramya Gurunathan +1

The behavior of dislocations is essential to understand material properties, but their subsurface dynamics that are representative of bulk phenomena cannot be resolved by conventio…