General Probability in Coq
- Avraham Shinnar
- Barry Trager
- 2022
- DSN 2022
Workshop paper
Publications
26877 results for Science
SPOCK at FinCausal 2022: Causal Information Extraction Using Span-Based and Sequence Tagging Models
- Anik Saha
- Jian Ni
- et al.
- 2022
- FNP 2022
Conference paperPCfun: a hybrid computational framework for systematic characterization of protein complex function
- Varun S Sharma
- Andrea Fossati
- et al.
- 2022
- Briefings in Bioinformatics
PaperKEMTLS with Delayed Forward Identity Protection in (Almost) a Single Round Trip
- Felix Günther
- Simon Rastikian
- et al.
- 2022
- ACNS 2022
Conference paperBehavioral Use Licensing for Responsible AI
- Danish Contractor
- Daniel McDuff
- et al.
- 2022
- FAccT 2022
Conference paperABCinML: Anticipatory Bias Correction in Machine Learning Applications
- Abdulaziz A. Almuzaini
- Chidansh A. Bhatt
- et al.
- 2022
- FAccT 2022
Conference paperPrivacy-preserving record linkage using local sensitive hash and private set intersection
- Allon Adir
- Ehud Aharoni
- et al.
- 2022
- Cloud S&P 2022
Workshop paperMACQ: A Unified Library for Action Model Acquisition
- Ethan Callanan
- Rebecca De Venezia
- et al.
- 2022
- ICAPS 2022
Demo paperGrowth Optimization and Device Integration of Narrow-Bandgap Graphene Nanoribbons
- Gabriela Borin Barin
- Qiang Sun
- et al.
- 2022
- Small
PaperSteady-like topology of the dynamical hydrogen bond network in supercooled water
- Fausto Martelli
- 2022
- PNAS Nexus
Paper