research
∙
03/21/2023
Leveraging Self-Sovereign Identity in Decentralized Data Aggregation
Data aggregation has been widely implemented as an infrastructure of dat...
share
research
∙
05/17/2022
Self-Sovereign Identity as a Service: Architecture in Practice
Self-sovereign identity (SSI) has gained a large amount of interest. It ...
research
∙
04/04/2022
Dressi: A Hardware-Agnostic Differentiable Renderer with Reactive Shader Packing and Soft Rasterization
Differentiable rendering (DR) enables various computer graphics and comp...
research
∙
11/06/2021
Sunspot: A Decentralized Framework Enabling Privacy for Authorizable Data Sharing on Transparent Public Blockchains
Blockchain technologies have been boosting the development of data-drive...
research
∙
12/08/2020
Formalism-Driven Development of Decentralized Systems
Decentralized systems have been widely developed and applied to address ...
research
∙
09/13/2020
Transition-Oriented Programming: Developing Verifiable Systems
It is extremely challenging to develop verifiable systems that are regul...
research
∙
08/19/2020
Formalizing and Verifying Decentralized Systems with Extended Concurrent Separation Logic
Decentralized techniques are becoming crucial and ubiquitous with the ra...
research
∙
07/27/2020
Extending Concurrent Separation Logic to Enhance Modular Formalization
Nowadays, numerous services based on large-scale distributed systems hav...
research
∙
03/15/2017
Riemannian stochastic quasi-Newton algorithm with variance reduction and its convergence analysis
Stochastic variance reduction algorithms have recently become popular fo...
research
∙
02/18/2017
Riemannian stochastic variance reduced gradient
Stochastic variance reduction algorithms have recently become popular fo...
research
∙
05/24/2016