E-LIB Suche - Ergebnisse für: Xue, Anton

1

Chordal sparsity for SDP-based neural network verification:

Xue, Anton ; Lindemann, Lars ; Alur, Rajeev
Automatica. 161 (2024) - p. 111487 , 2024

Link: https://doi.org/10.1016/..

2

Chordal Sparsity for Lipschitz Constant Estimation of Deep ..:

, In: 2022 IEEE 61st Conference on Decision and Control (CDC),

Xue, Anton ; Lindemann, Lars ; Robey, Alexander... - p. 3389-3396 , 2022

Link: https://doi.org/10.1109/..

3

A Self-certifying Compilation Framework for WebAssembly:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Namjoshi, Kedar S. ; Xue, Anton - p. 127-148 , 2021

Link: https://doi.org/10.1007/..

4

Synchronization Schemas:

, In: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems,

Alur, Rajeev ; Hilliard, Phillip ; Ives, Zachary G.... - p. 1-18 , 2021

Link: https://dl.acm.org/doi/1..

5

Lazy counterfactual symbolic execution:

, In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Hallahan, William T. ; Xue, Anton ; Bland, Maxwell Troy.. - p. 411-424 , 2019

Link: https://dl.acm.org/doi/1..

6

G2Q: Haskell constraint solving:

, In: Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell,

Hallahan, William T. ; Xue, Anton ; Piskac, Ruzica - p. 44-57 , 2019

Link: https://dl.acm.org/doi/1..

7

Stability Guarantees for Feature Attributions with Multipli..:

Xue, Anton ; Alur, Rajeev ; Wong, Eric
http://arxiv.org/abs/2307.05902. , 2023

Link: http://arxiv.org/abs/230..

8

Chordal Sparsity for Lipschitz Constant Estimation of Deep ..:

Xue, Anton ; Lindemann, Lars ; Robey, Alexander...
http://arxiv.org/abs/2204.00846. , 2022

Link: http://arxiv.org/abs/220..

9

Chordal Sparsity for SDP-based Neural Network Verification:

Xue, Anton ; Lindemann, Lars ; Alur, Rajeev
http://arxiv.org/abs/2206.03482. , 2022

Link: http://arxiv.org/abs/220..

10

Data-Driven System Level Synthesis:

Xue, Anton ; Matni, Nikolai
http://arxiv.org/abs/2011.10674. , 2020

Link: http://arxiv.org/abs/201..

11

Concentration‐QTcF Modeling of Icenticaftor from a Randomiz..:

Iyer, Ganesh R. ; Darpo, Borje ; Xue, Hongqi...
Clinical Pharmacology in Drug Development. 13 (2024) 5 - p. 572-584 , 2024

Link: https://doi.org/10.1002/..

12

Investigating the effects of cerebellar transcranial ultras..:

Nankoo, Jean-Francois ; Raies, Nasem ; Xia, Xue...
Brain Stimulation. 16 (2023) 1 - p. 340 , 2023

Link: https://doi.org/10.1016/..

13

The SPOC domain is a phosphoserine binding module that brid..:

Appel, Lisa-Marie ; Franke, Vedran ; Benedum, Johannes...
Nature Communications. 14 (2023) 1 - p. , 2023

Link: https://doi.org/10.1038/..

14

The "Blazar Sequence" in the TeV Band:

Ouyang, Zhihao ; Xiao, Hubing ; Chen, Jianzhen...
The Astrophysical Journal. 949 (2023) 2 - p. 52 , 2023

Link: https://doi.org/10.3847/..

15

Stress native T1 and native T2 mapping compared to myocardi..:

Nickander, Jannike ; Steffen Johansson, Rebecka ; Lodin, Klara...
Scientific Reports. 13 (2023) 1 - p. , 2023

Link: https://doi.org/10.1038/..