Search
Results
-
Viper
(2014)The automation of verification techniques based on firstorder logic specifications has benefited greatly from verification infrastructures such as Boogie and Why. These offer an intermediate language that can express diverse language features and verification techniques, as well as back-end tools such as verification condition generators. However, these infrastructures are not well suited for verification techniques based on separation ...Report -
The KOF Economic Barometer, Version 2014
(2014)KOF Working PapersThis paper presents a composite leading indicator for the Swiss business cycle corresponding to the growth rate cycle concept. It is the result of a complete overhaul of the KOF Economic Barometer that has been published by the KOF Swiss Economic Institute on a monthly basis since 1976. In line with this tradition, the calculation of the new KOF Barometer comprises two main stages. The first consists of the variable selection procedure; ...Working Paper -
Route choice of cyclists in Zurich
(2009)Arbeitsberichte Verkehrs- und RaumplanungThis paper presents the first route choice model for bicyclists estimated from a large sample of GPS observations and overcomes the limitations inherent in the generally employed stated preference approach. It employs an improved mode detection algorithm for GPS post-processing to determine trips made by bicycle, which are map matched to an enriched street network. The alternatives are generated by random sample from an exhaustive, but ...Working Paper -
Getting there from here: A literature review of VET reform implementation
(2018)KOF Working PapersDespite huge incidence of vocational education and training (VET) reforms, we know more about good VET systems than how to implement them. In this review, we develop a determinant framework for VET implementation that combines theories and frameworks related to policy and general education reform, plus VET theory and the few existing VET implementation frameworks. We review 1,835 sources on VET reform implementation and code 177 for 1,538 ...Working Paper -
As Bad as it Gets: How Climate Damage Functions Affect Growth and the Social Cost of Carbon
(2017)Economics Working Paper SeriesWorking Paper -
Tracking Economic Activity With Alternative High-Frequency Data
(2020)KOF Working PapersMost macroeconomic indicators failed to capture the sharp economic fluctuations dur- ing the Corona crisis in a timely manner. Instead, alternative high-frequency data have been used, aiming to monitor the economic situation. However, these data are often only loosely related to the business cycle and come with irregular patterns of missing observations, ragged edges and short histories. This paper presents a novel mixed- frequency dynamic ...Working Paper -
Constitutional Reform and its Impact on TVET Governance in Nepal. A report in support of developing understanding and finding the way forward for federalizing the TVET sector in Nepal
(2017)KOF StudiesThis report maps out how Nepal’s new constitution (NC) explicitly and implicitly foresees the federalization of the technical vocational education and training (TVET) sector, and outlines how that sector can best be federalised. Our goal is to broaden the understanding of key stakeholders in the Nepali TVET sector on the issues of equitable, effective and efficient TVET services in a federalised context. The insights in this report are ...Report -
Pilotstudie für ein Monitoring der genetischen Vielfalt in der Schweiz
(2023)Einer der drei Bestandteile der Biodiversität ist, neben der Vielfalt der Arten und Lebensräume, die genetische Vielfalt. Die Biodiversität steht aufgrund anthropogener Ursachen unter zunehmendem Druck, weshalb der Aktionsplan Biodiversität Schweiz und die internationalen Biodiversitätskonvention (Convention on Biological Diversity, CBD) der Vereinten Nationen (UN) die Notwendigkeit eines Monitorings der genetischen Vielfalt in natürlichen ...Report -
Skills Shortage and Training Trends
(2024)CES StudiesAs part of a long-term research agenda on TVET in Uzbekistan, this study focuses on the demand side of the labor market. Here, we investigate the skills situation for employers in Uzbekistan, their current training practices and rationale, and finally what characteristics they care about when considering new training programs in the future. We focus specifically on hotels, working with Helvetas Uzbekistan and the Association of Hoteliers ...Report