Recent Submissions 

  1. Quick-cast: A method for fast and precise scalable production of fluid-driven elastomeric soft actuators 

    Svetozarevic, Bratislav; Begle, Moritz; Nagy, Zoltan; et al. (2018)
    arXiv
    Fluid-driven elastomeric actuators (FEAs) are among the most popular actuators in the emerging field of soft robotics. Intrinsically compliant, with continuum of motion, large strokes, little friction, and high power-to-weight ratio, they are very similar to biological muscles, and have enabled new applications in automation, architecture, medicine, and human-robot interaction. To foster future applications of FEAs, in this paper we present ...
    Working Paper
  2. Digitale Gesellschaft (Rohfassung). Beitrag zum Historischen Lexikon der Schweiz 

    Gugerli, David; Zetti, Daniela (2018)
    Preprints zur Kulturgeschichte der Technik
    Working Paper
  3. Dissociable mechanisms govern when and how strongly reward attributes affect decisions 

    Maier, Silvia U; Raja Beharelle, Anjali; Ruff, Christian C; et al. (2018)
    bioRxiv
    Working Paper
  4. Despite or because of land use and design control: Has urban growth in Greater Zurich gotten out of hand? 

    Wälty, Sibylle (2018)
    The urban sprawl in the suburbs is a phenomenon that has been criticised worldwide, both in terms of low development and human density and in terms of monofunctional land use, which has led to enormous horizontal growth and congestion. With the introduction of the Spatial Planning Act (SPA) in 1980, Swiss municipalities were obliged to control urban growth by reducing urban land consumption and using urban land parsimoniously, i.e. using ...
    Working Paper
  5. If aiming for parsimonious urban land use: The case of Greater Zurich 

    Wälty, Sibylle (2018)
    The Spatial Planning Act, which came into force in 1980, obliges Swiss municipalities to use urban land parsimoniously. However, they do not do so. To achieve parsimonious land use, the land within walking distance of good and very good public transport must be used intensively and in a locally balanced way, and it must provide a human-centered built environment and public realm. In this study, geodata was analyzed to generate and visualize ...
    Working Paper
  6. Regional Resources and Democratic Secessionism 

    Gehring, Kai; Schneider, Stephan A. (2018)
    CESifo Working Papers
    Working Paper
  7. Intertemporal Labor Supply Substitution? Evidence from the Swiss Income Tax Holidays 

    Martinez, Isabel; Saez, Emmanuel; Siegenthaler, Michael (2018)
    NBER Working Paper Series
    This paper estimates the intertemporal labor supply (Frisch) elasticity of substitution exploiting an unusual tax policy change in Switzerland. In the late 1990s, Switzerland switched from an income tax system where current taxes were based on the previous two years' income to a standard annual pay as you earn system. This transition created a two-year long, salient, and well-advertised tax holiday. This change occurred both for the federal ...
    Working Paper
  8. The Abolition of Immigration Restrictions and the Performance of Firms and Workers: Evidence from Switzerland 

    Beerli, Andreas; Ruffner, Jan; Siegenthaler, Michael; et al. (2018)
    NBER Working Paper Series
    We study a reform that granted European cross-border workers free access to the Swiss labor market. Our Differences-in-Differences estimations leverage the fact that regions close to the border were affected more intensely and earlier. The greater availability of cross-border workers increased their employment but also wages and possibly employment of highly educated native workers although the new cross-border workers were also highly ...
    Working Paper
  9. Leveraging rust types for modular specification and verification 

    Astrauskas, Vytautas; Müller, Peter; Poli, Federico; et al. (2018)
    Rust’s type system ensures memory safety: well-typed Rust programs are guaranteed to not exhibit problems such as dangling pointers, data races, and unexpected side effects through aliased references. Going beyond memory safety, for instance, to guarantee the absence of assertion failures or functional correctness, requires static program verification. Formal verification of system software is notoriously difficult and requires complex ...
    Working Paper
  10. Survey and Taxonomy of Lossless Graph Compression and Space-Efficient Graph Representations 

    Besta, Maciej; Hoefler, Torsten (2018)
    Computing Research Repository (CoRR)
    Working Paper
  11. Transformations of High-Level Synthesis Codes for High-Performance Computing 

    de Fine Licht, Johannes; Meierhans, Simon; Hoefler, Torsten (2018)
    Computing Research Repository (CoRR)
    Working Paper
  12. Evaluating GANs via Duality 

    Grnarova, Paulina; Levy, Kfir Y.; Lucchi, Aurélien; et al. (2018)
    arXiv
    Working Paper
  13. Message Time of Arrival Codes: A Fundamental Primitive for Secure Distance Measurement 

    Leu, Patrick; Singh, Mridula; Čapkun, Srdjan (2019)
    Working Paper
  14. Cardiovascular responses to antigravity muscle loading during head-down tilt at rest and after dynamic exerrcises 

    Alessandro, Cristiano; Sarabadani Tafreshi, Amirehsan; Riener, Robert (2018)
    bioRxiv
    The physiological processes underlying hemodynamic homeostasis can be modulated by muscle activity and gravitational loading. The effects of antigravity muscle activity on cardiovascular regulation has been observed during orthostatic stress. Here, we evaluated such effects during head-down tilt (HDT). In this posture, the gravitational gradient along the body is different than in upright position, leading to increased central blood volume ...
    Working Paper
  15. Optimal DR-Submodular Maximization and Applications to Provable Mean Field Inference 

    Bian, An; Buhmann, Joachim M.; Krause, Andreas (2018)
    arXiv
    Working Paper
  16. Born to be an Entrepreneur? How Cultural Origin Affects Entrepreneurship 

    Erhardt, Katharina; Haenni, Simon (2018)
    KOF Working Papers
    Persistent differences in entrepreneurial activity between regions and countries remain unexplained. This paper argues that cultural heritage is an important determinant. We exploit a quasi-experimental setting comparing entrepreneurial activities of individuals with different cultural ancestry from within Switzerland but who live in the same municipality today and are hence exposed to the same economic and institutional environment. We ...
    Working Paper
  17. On the approximation guarantee of obviously strategyproof mechanisms 

    Ferraioli, Diodato; Meier, Adrian; Penna, Paolo; et al. (2018)
    arXiv
    Working Paper
  18. UWB-ED: Distance Enlargement Attack Detection in Ultra-Wideband 

    Singh, Mridula; Leu, Patrick; Abdou, AbdelRahman; et al. (2018)
    Working Paper
  19. Continuous-time Models for Stochastic Optimization Algorithms 

    Orvieto, Antonio; Lucchi, Aurélien (2018)
    arXiv
    Working Paper

View more