Dependent types for multi-rate flows in synchronous programming
Dependent types for multi-rate flows in synchronous programming Blair, William; Xi, Hongwei Synchronous programming languages emerged in the 1980s as tools for implementing reactive systems, which...
View ArticleMultirole logic (extended abstract)
Multirole logic (extended abstract) Xi, Hongwei; Wu, Hanwen We identify multirole logic as a new form of logic in which conjunction/disjunction is interpreted as an ultrafilter on the power set of some...
View ArticlePropositions in linear multirole logic as multiparty session types
Propositions in linear multirole logic as multiparty session types Xi, Hongwei; Wu, Hanwen We identify multirole logic as a new form of logic and formalize linear multirole logic (LMRL) as a natural...
View ArticleLinearly typed dyadic group sessions for building multiparty sessions
Linearly typed dyadic group sessions for building multiparty sessions Xi, Hongwei; Wu, Hanwen Traditionally, each party in a (dyadic or multiparty) session implements exactly one role specified in the...
View ArticleSession types in a linearly typed multi-threaded lambda-calculus
Session types in a linearly typed multi-threaded lambda-calculus Xi, Hongwei; Ren, Zhiqiang; Wu, Hanwen; Blair, William We present a formalization of session types in a multi-threaded lambda-calculus...
View ArticleA robust and efficient method for estimating enzyme complex abundance and...
A robust and efficient method for estimating enzyme complex abundance and metabolic flux from expression data Barker, Brandon E.; Sadagopan, Narayanan; Wang, Yiping; Smallbone, Kieran; Myers,...
View ArticleApplied type system: an approach to practical programming with theorem-proving
Applied type system: an approach to practical programming with theorem-proving Xi, Hongwei The framework Pure Type System (PTS) offers a simple and general approach to designing and formalizing type...
View ArticleFinding densest k-connected subgraphs
Finding densest k-connected subgraphs Bonchi, Francesco; Garcia-Soriano, David; Miyauchi, Atsushi; Tsourakakis, Charalampos Dense subgraph discovery is an important graph-mining primitive with a...
View ArticleWoodrow Wilson and the spirit of liberal internationalism
Woodrow Wilson and the spirit of liberal internationalism Menchik, Jeremy Woodrow Wilson is among most influential presidents in U.S. foreign policy history, and the most pious. The challenge for...
View ArticleOn the Chinese character 公 (public)
On the Chinese character 公 (public) Huang, Weijia; Chu, Siyi
View ArticleInternational Relations Review: Redefining Resistance: Fall 2021, issue 25
International Relations Review: Redefining Resistance: Fall 2021, issue 25 Lawal, Anfanioluwa; Lopez, Sarah; Amin, Hanadi; Niksch, Maecey; Newell, Bella; Reno, Diana; Mitsuoka, Keegan; Bilan-Cooper,...
View ArticleInternational Relations Review: Grounded in History: Spring 2022, issue 26
International Relations Review: Grounded in History: Spring 2022, issue 26 Lopez, Sarah; Niksch, Maecey; Stoyanchev, Beaujena; Vatter, Margaret; Graham, Amy; Newell, Bella; Reno, Diana; Alsweilem,...
View ArticleSpreading intimacy and influence: women’s correspondence across the Iron Curtain
Spreading intimacy and influence: women’s correspondence across the Iron Curtain Peri, Alexis
View ArticleAgricultural diversity, structural change and long-run development: evidence...
Agricultural diversity, structural change and long-run development: evidence from the U.S. Fiszbein, Martin This paper examines the role of agricultural diversity in the process of development. Using...
View ArticleGroup fanaticism and narratives of ressentiment
Group fanaticism and narratives of ressentiment Katsafanas, Paul Townsend, Leo; Schmidt, Hans Bernard; Staudigl, Michael; Tietjen, Ruth The current political climate is awash with groups that we might...
View ArticleUsing time series of MODIS land surface phenology to model temperature and...
Using time series of MODIS land surface phenology to model temperature and photoperiod controls on spring greenup in North American deciduous forests Moon, Minkyu; Seyednasrollah, Bijan; Richardson,...
View ArticleWho are my paesani? On remembering Randolph Bourne and forgetting about diaspora
Who are my paesani? On remembering Randolph Bourne and forgetting about diaspora Pasto, James
View ArticleLabour in a single shot: critical perspectives on Antje Ehmann and Harun...
Labour in a single shot: critical perspectives on Antje Ehmann and Harun Farocki's global video project Williams, Gregory H.; Grundmann, Roy; Schwartz, Peter J.; Gericke, Detlef; Ehmann, Antje;...
View ArticleSign language video anonymization
Sign language video anonymization Xia, Zhaoyang; Chen, Yuxiao; Zhangli, Qilong; Huenerfauth, Matt; Neidle, Carol; Metaxas, Dimitri Deaf signers who wish to communicate in their native language...
View ArticleResources for computer-based sign recognition from video, and the criticality...
Resources for computer-based sign recognition from video, and the criticality of consistency of gloss labeling across multiple large ASL video corpora Neidle, Carol; Opoku, Augustine; Ballard, Carey;...
View Article