Publications from 2021

December 2021draft

Single planewave imaging using physicsbased deep learning In Proceedings
November 2021 
Deep learning for multiview ultrasonic image fusion In Proceedings
November 2021 
November 2021

Ensembles are required to handle aleatoric and parametric uncertainty in molecular dynamics simulation Article
Journal of Chemical Theory and Computation, 17(8), 51875197.August 2021 
January 2021

Completeness and complexity of reasoning about callbyvalue in Hoare logic Article
ACM Transactions on Programming Languages and Systems, 43(4), 17.117.35.October 2021 
Accurate and scalable variant calling from single cell DNA sequencing data with ProSolo Article
Nature CommunicationsNovember 2021 
A concrete treatment of efficient continuous group key agreement via multirecipient PKEs In Proceedings
November 2021 
October 2021

Cultural Influences on AI along the New Silk Road Book Chapter
January 2021 
Tomosipo: fast, flexible, and convenient 3D tomography for complex scanning geometries in Python Article
November 2021 
Taste variation in environmental features of bicycle routes In Proceedings
November 2021 
Symbiotic system of systems design for safe and resilient autonomous robotics in offshore wind farms Article
IEEE Access, 141421141452.October 2021 
Bounds for listdecoding and listrecovery of random linear codes Article
IEEE Transactions on Information TheoryNovember 2021 
CEAP360VR: A Continuous Physiological and Behavioral Emotion Annotation Dataset for 360 VR videos Article
IEEE Transactions on MultimediaNovember 2021 
Beware the blackbox: On the robustness of recent defenses to adversarial examples Article
Entropy, 23(10)October 2021 
A datadriven digital application to enhance the capacity planning of the COVID19 vaccination process Article
Vaccines, 9(10)October 2021 
Algorithms for flows over time with scheduling costs Article
Mathematical ProgrammingNovember 2021 
November 2021

Protocol scheduling In Proceedings
October 2021 
Star games and hydras Article
Logical Methods in Computer Science, 17(2), 20:120:32.January 2021 
Bayesian modelaveraged metaanalysis in medicine Article
Statistics in Medicine, 119.October 2021 
A semantic model for interacting cyberphysical systems In Proceedings
October 2021 
On span programs and quantum algorithms Dissertation
Algorithms and ComplexityNovember 2021 
TwoPhase RealValued Multimodal Optimization with the HillValley Evolutionary Algorithm Book Chapter
October 2021 
phasebook: haplotypeaware de novo assembly of diploid genomes from long reads Article
Genome Biology, 22(1)December 2021 
On the security of subspace subcodes of ReedSolomon codes for public key encryption Article
IEEE Transactions on Information TheoryOctober 2021 
December 2021

A field experiment reveals seasonal variation in the Daphnia gut microbiome Article
Oikos, 111.October 2021 
Minimal session types for the €calculus In Proceedings
September 2021 
Accurate and efficient timedomain classification with adaptive spiking recurrent neural networks Article
Nature Machine Intelligence, 3(10), 905913.October 2021 
October 2021

Modeling with Mocking Presentation
April 2021 
Contractbased returnvalue commutativity: safely exploiting contractbased commutativity for faster serializable transactions In Proceedings
October 2021 
A unified convergence analysis for shufflingtype gradient methods Article
Journal of Machine Learning Research, 144.September 2021 
September 2021

A statistical study of propagating MHD kink waves in the quiescent corona Article
Astrophysical Journal, 919(2), 74.174.10.September 2021 
October 2021

Internal symmetries and linear properties: Fullpermutation distinguishers and improved collisions on Gimli Article
Journal of Cryptology, 34(4)October 2021 
August 2021

Simulations of positive streamers in air in different electric fields: Steady motion of solitary streamer heads and the stability field Article
Plasma Sources Science and TechnologyOctober 2021 
Improving modelbased Genetic Programming for Symbolic Regression of small expressions Article
Evolutionary Computation, 29(2), 211237.June 2021 
September 2021

Comparing simulations and experiments of positive streamers in air: Steps toward model validation Article
Plasma Sources Science and TechnologySeptember 2021 
ACWGANGP: Augmenting ECG and GSR Signals using Conditional Generative Models for Arousal Classification In Proceedings
September 2021 
Shortterm forecasting of offstreet parking occupancy Article
Transportation Research Record, 118.September 2021 
Beyond the BEST Theorem: Fast assessment of Eulerian Trails In Proceedings
September 2021 
September 2021

Micromagnetic Tomography for paleomagnetism and rockmagnetism Article
JGR Solid Earth, 126(10)October 2021 
Uncertainty quantification and sensitivity analysis of COVID19 exit strategies in an individualbased transmission model Article
PLoS Computational Biology, 17(9)September 2021 
Computable trustworthiness ranking of medical experts in Italy during the SARSCoV19 pandemic In Proceedings
September 2021 
From tally to foretelling  IO Magazine  01112021 Magazine Article
September 2021 
Preface Preface
July 2021 
Towards the kserver conjecture: A unifying potential, pushing the frontier to the circle In Proceedings
July 2021 
Metrical service systems with transformations In Proceedings
February 2021 
Quantum algorithms for matrix scaling and matrix balancing In Proceedings
July 2021 
A compressed Σ protocol theory for lattices In Proceedings
August 2021 
Majorizing measures for the optimizer In Proceedings
February 2021 
Connecting largescale velocity and temperature bursts with smallscale intermittency in stratified turbulence Article
Europhysics Letters, 135(1)September 2021 
Quantum complexity of minimum cut In Proceedings
July 2021 
Asymptoticallygood arithmetic secret sharing over Z/ pℓZ with strong multiplication and Its applications to efficient MPC In Proceedings
August 2021 
June 2021

Constructing strings avoiding forbidden substrings In Proceedings
June 2021 
Nondeterministic functions as nondeterministic processes In Proceedings
July 2021 
April 2021

Optimizing hypergraphbased polynomials modeling joboccupancy in queuing with redundancy scheduling Article
SIAM Journal on Optimization, 31(3), 22272254.September 2021 
Automatic and efficient tomographic reconstruction algorithms Dissertation
Computational ImagingOctober 2021 
Subjective evaluation of visual quality and simulator sickness of short 360 videos: ITUT Rec. P.919 Article
IEEE Transactions on MultimediaJanuary 2021 
March 2021

Minimum costs paths in intermodal transportation networks with stochastic travel times and overbookings Article
European Journal of Operational ResearchJuly 2021 
The infinite server problem Article
ACM Transactions on Algorithms, 17(3), 123.July 2021 
Privacypreserving coupling of verticallypartitioned databases and subsequent training with gradient descent In Proceedings
July 2021 
Development of the projectionbased material decomposition algorithm for Multienergy CT Article
IEEE Transactions on Radiation and Plasma Medical Sciences, 5(4), 517527.July 2021 
Balancedbyconstruction regular and ω regular languages In Proceedings
August 2021 
Geometric rescaling algorithms for submodular function minimization Article
Mathematics of Operations Research, 46(3), 10811108.August 2021 
Foreword Preface
September 2021 
August 2021

July 2021

A critical evaluation of the FBST ev for Bayesian hypothesis testing: Critique of the FBST ev Article
Computational Brain and BehaviorJune 2021 
Modeling economic sharing of joint assets in community energy projects under LV network constraints Article
IEEE Access, 112019112042.August 2021 
Sampling hypergraphs with given degrees Article
Discrete Mathematics, 344(11)November 2021 
July 2021

A deep multimodal learning approach to perceive basic needs of humans from Instagram profile Article
IEEE Transactions on Affective ComputingJune 2021 
Incomplete Directed Perfect Phylogeny in linear time In Proceedings
July 2021 
The many dimensions of truthfulness: Crowdsourcing misinformation assessments on a multidimensional scale Article
Information Processing and Management, 58(6)November 2021 
Deep gated Hebbian predictive coding accounts for emergence of complex neural response properties along the visual cortical hierarchy Article
Frontiers in Computational NeuroscienceJuly 2021 
Prediction of voltage distribution using deep learning and identified key smart meter locations Article
Energy and AIDecember 2021 
Bayesian seismic inversion: A fast sampling Langevin dynamics Markov chain Monte Carlo method Article
Geophysical Journal International, 227(3), 15231553.July 2021 
Performance optimization and loadbalancing modeling for superparametrization by 3D LES In Proceedings
July 2021 
Photoacoustic reconstruction using sparsity in Curvelet frame: Image versus data domain Article
IEEE Transactions on Computational Imaging, 879893.August 2021 
Improved bounds on Fourier Entropy and Minentropy Article
ACM Transactions on Computation Theory, 13(4), 140.December 2021 
Improving reproducibility in synchrotron tomography using implementationadapted filters In Proceedings
September 2021 
Optional stopping with Bayes factors: A categorization and extension of folklore results, with an application to invariant situations Article
Bayesian Analysis, 16(3), 961989.September 2021 
Signrank can increase under intersection Article
ACM Transactions on Computation Theory, 13(4)December 2021 
LAGraph: Linear algebra, network analysis libraries, and the study of graph algorithms In Proceedings
June 2021 
Comparing methods for finding search sessions on a specified topic: A double case study In Proceedings
September 2021 
Xray computed tomography for noninvasive dendrochronology reveals a concealed double panelling on a painting from Rubens’ studio Article
PLoS ONE, 16(8)August 2021 
State estimation for aoristic models Tech Report
August 2021