|
99401 |
Simple Derivation Systems for Proving Sufficient Completeness of Non-Terminating Term Rewriting Systems
Kikuchi, Kentaro. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
|
|
|
|
99402 |
Simple Determination of Gold Nanocrystal Dimensions by Analytical Ultracentrifugation via Surface Ligand-Solvent Density Matching
González-Rubio, Guillermo. - Konstanz : KOPS Universität Konstanz, 2021
|
|
|
|
99403 |
Simple Envy-Free and Truthful Mechanisms for Cake Cutting with a Small Number of Cuts
Asano, Takao. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
|
|
|
|
99404 |
Simple Heuristics Yield Provable Algorithms for Masked Low-Rank Approximation
Musco, Cameron. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
|
|
|
|
99405 |
Simple measurement of IgA predicts immunity and mortality in Ataxia-Telangiectasia
Zielen, Stefan. - Frankfurt am Main : Universitätsbibliothek Johann Christian Senckenberg, 2021
|
|
|
|
99406 |
Simple Multi-Pass Streaming Algorithms for Skyline Points and Extreme Points
Chan, Timothy M.. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
|
|
|
|
99407 |
Simple synthetic routes to carbene-M-amido (M=Cu, Ag, Au) complexes for luminescence and photocatalysis applications
Tzouras, Nikolaos V.. - Dortmund : Universitätsbibliothek Dortmund, 2021
|
|
|
|
99408 |
Simple Temporal Networks: A Practical Foundation for Temporal Representation and Reasoning (Invited Talk)
Hunsberger, Luke. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
|
|
|
|
99409 |
Simpler Quad Layouts using Relaxed Singularities
Lyon, Max. - Aachen : Universitätsbibliothek der RWTH Aachen, 2021
|
|
|
|
99410 |
Simulated transient hearing loss improves auditory sensitivity
Krauss, Patrick. - Erlangen : Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2021
|
|
Administration
