A path to DOT: formalizing fully path-dependent types

Colloidal quantum dot photovoltaics: a path forward.

Colloidal quantum dots (CQDs) offer a path toward high-efficiency photovoltaics based on low-cost materials and processes. Spectral tunability via the quantum size effect facilitates absorption of specific wavelengths from across the sun's broad spectrum. CQD materials' ease of processing derives from their synthesis, storage, and processing in solution. Rapid advances have brought colloidal qu...

Main-path analysis and path-dependent transitions

With the program HistCiteTM it is possible to generate and visualize the most relevant papers in a set of documents retrieved from the Science Citation Index. Historical reconstructions of scientific developments can be represented chronologically as developments in networks of citation relations extracted from scientific literature. This study aims to go beyond the historical reconstruction of...

The Need for Balanced Health Policies to Avoid Path Dependent Medicine

Formalizing Semantic Bidirectionalization with Dependent Types

Bidirectionalization is the task of automatically inferring one of two transformations that as a pair realize the forward and backward relationship between two domains, subject to certain consistency conditions. A specific technique, semantic bidirectionalization, has been developed that takes a getfunction (mapping forwards from sources to views) as input — but does not inspect its syntactic d...

University revenue diversification: a path to financial stability

The purpose of present study was to investigate revenue diversification among Iranian public universities in order to improve the stability and flexibility of financial resources. A quantitative practical correlational research design was utilized for this study. The spatial scope of research was one and two level comprehensive public and industrial public universities during 2013-2018. Data we...