Hier erfährst du (fast) alles über Papierflieger (Faltflieger und Papierflugzeuge): Bauanleitungen, Papierflieger-Geschichte, verwendbares Papier, Papierflieger-Physik, Faltanleitungen, Termin von Wettbewerb oder Workshop, Papierflieger-Literatur usw.
This post describes my outline/structure for a technical paper. I have found a fairly specific structure works best for abstracts and introductions. For the
Write Your Research provides practical resources for early-career researchers in the School of Technology, University of Cambridge. The resources were commissioned by the Department of Chemical Engineering and Biotechnology (CEB). Most of the resources were written by Anthony Haynes. 'Using social media' was written by Aoife Brophy Haney. 'Using bibliographic software' was written by Irenee…
S Peyton Jones, D Vytiniotis, S Weirich, and G Washburn, ICFP 2006, pp50-61 Generalized algebraic data types (GADTs), sometimes known as "guarded recursive data types" or "first-class phantom types", are a simple but powerful generalization of the data types of Haskell and ML. Recent works have given compelling examples of the utility of GADTs, although type inference is known to be difficult. Our contribution is to show how to exploit programmer-supplied type annotations to make the type inference task almost embarrassingly easy. Our main technical innovation is wobbly types, which express in a declarative way the uncertainty caused by the incremental nature of typical type-inference algorithms. [This is a version of Wobbly types: type inference for generalised algebraic data types. Relative to ICFP 2006, the PDF above also describes a simplification to the type system, at the cost of extra annotation burden. This simpler system is the one actually implemented in GHC 6.8]
A. Chéritat. (2014)cite arxiv:1410.4417Comment: 16 pages, 7 figures. This version has the following changes: Added computer generated images of the key positions S1 and S2. Corrected several minor mistakes. Corrected the proof of the main proposition (I had forgotten to ensure that the top and bottom curves remain embedded during the homotopy) and slightly changed the statement of Lemma 3 to adapt.
P. Singer, F. Lemmerich, R. West, L. Zia, E. Wulczyn, M. Strohmaier, und J. Leskovec. Proceedings of the 26th International Conference on World Wide Web, Seite 1591--1600. Republic and Canton of Geneva, Switzerland, International World Wide Web Conferences Steering Committee, (2017)
S. Bethard, und D. Jurafsky. Proceedings of the 19th ACM international conference on Information and knowledge management, Seite 609--618. New York, NY, USA, ACM, (2010)