Back to top

Search results

  • RSS Feed
(1 - 20 of 36)

Pages

(A/E)ffective Exchange in YouTube's Alternative Influence Network
A Clustering Algorithm for Recombinant Jazz Improvisations
A Model of Outbound Client Traffic on The Tor Anonymity Network
A Simulation Study of Protein Family Degree Distribution
A Simulation of Circuit Creation in Tor
All My Friends Are Fake
An Improved Algorithm for Demarcating Bacterial Species
An Interactive Proof Assistant for Linear Logic
Analyzing the Effectiveness of Passive Correlation Attacks on the Tor Anonymity Network
Automated Cost Analysis of a Higher-Order Language in Coq
Charming Python with Static Typing
Colors Of A Protein
Computer-Checked Recurrence Extraction for Functional Programs
Cost Semantics for Plotkin's PCF
Dballs Algorithm
Denotational Semantics for Probabilistic Recurrences
Dynamical Systems-based Navigation: Modeling and Verification
Edit-Time Tactics in Idris

Pages