Skip to main content

Search

Reset

Add filters:

Use filters to refine the search results.

 | 
Item hits:
Publication DateArticle TitleAuthor(s)
Jan-2016Example-directed synthesis: a type-theoretic interpretationFrankle, Jonathan; Osera, Peter-Michael; Walker, David; Zdancewic, Steve
2016Exact recovery in the stochastic block modelAbbe, Emmanuel; Bandeira, AS; Hall, G
-Microscopic relaxation channels in materials for superconducting qubitsPremkumar, Anjali; Weiland, Conan; Hwang, Sooyeon; Jäck, Berthold; Place, Alexander PM, et al
31-Aug-2022Mitigation of plasma-wall interactions with low-Z powders in DIII-D high confinement plasmasEffenberg, Florian; Bortolon, Alessandro; Casali, L.; Nazikian, R.; Bykov, F., et al
Jun-2013Efficient linear programming algorithm to generate the densest lattice sphere packingsMarcotte, Étienne; Torquato, Salvatore
10-Jan-2012Surface Derivatization Strategy for Combinatorial Analysis of Cell Response to Mixtures of Protein DomainsChiang, Chunyi; Karuri, Stella W; Kshatriya, Pradnya P; Schwartz, Jeffrey; Schwarzbauer, Jean E, et al
Oct-2012Families of tessellations of space by elementary polyhedra via retessellations of face-centered-cubic and related tilingsGabbrielli, Ruggero; Jiao, Yang; Torquato, Salvatore
21-Oct-2014Erratum: “Effect of dimensionality on the continuum percolation of overlapping hyperspheres and hypercubes. II. Simulation results and analyses” [J. Chem. Phys. 137, 074106 (2012)]Torquato, Salvatore; Jiao, Yang
2018Regulation of harvester ant foraging as a closed-loop excitable systemPagliara, R; Gordon, DM; Leonard, Naomi E
Jan-2013Influence of gas compression on flame acceleration in the early stage of burning in tubesValiev, Damir M; Akkerman, V yacheslav; Kuznetsov, Mikhail; Eriksson, Lars-Erik; Law, Chung K, et al