Showing 1–20 of 364 results
/ Date/ Name
Oct 9, 2020A deep learning based interactive sketching system for fashion images designJan 7, 2020Numerical computations of geometric ergodicity for stochastic dynamicsMay 18, 2021Adversarial Examples Detection with Bayesian Neural NetworkJul 11, 2022Program Adverbs and Tlön EmbeddingsOct 25, 2019Embracing a mechanized formalization gapNov 27, 2019Entropy, mutual information, and systematic measures of structured spiking neural networksNov 21, 2019$S$, $P$ and $D$-wave resonance contributions to $B_{(s)} \to η_c(1S,2S) Kπ$ decays in the perturbative QCD approachJul 7, 2018Quasi-two-body decays $B_{(s)}\to P f_2(1270)\to Pππ$ in the perturbative QCD approachJan 5, 2016Polynomial convergence to equilibrium for a system of interacting particlesNov 14, 2015Oracle performance for visual captioningJan 15, 2016Structural Semiconductor-to-Semimetal Phase Transition in Two-Dimensional Materials Induced by Electrostatic GatingMar 18, 2015GSNs : Generative Stochastic NetworksMar 11, 2017Numerical simulation of polynomial-speed convergence phenomenonNov 15, 2010Effects of the Generation Size and Overlap on Throughput and Complexity in Randomized Linear Network CodingJun 20, 2024Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy ProgramsJun 6, 2019An efficient data-driven solver for Fokker-Planck equations: algorithm and analysisJun 3, 2024Noninvasive Extraction of Maternal and Fetal Electrocardiograms Using Progressive Periodic Source Peel-offNov 19, 2022Do Pre-trained Language Models Indeed Understand Software Engineering Tasks?May 9, 2016Theano: A Python framework for fast computation of mathematical expressionsAug 26, 2025A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants