中文
相关论文

相关论文: Real Differences between OT and CRDT in Building C…

200 篇论文

In this article we study the properties of distributed systems that mix eventual and strong consistency. We formalize such systems through acute cloud types (ACTs), abstractions similar to conflict-free replicated data types (CRDTs), which…

分布式、并行与集群计算 · 计算机科学 2021-01-15 Maciej Kokociński , Tadeusz Kobus , Paweł T. Wojciechowski

Optical coherence tomography (OCT) is a noninvasive technology that enables real-time imaging of tissue microanatomies. The axial resolution of OCT is intrinsically constrained by the spectral bandwidth of the employed light source while…

图像与视频处理 · 电气工程与系统科学 2024-01-09 Kaiyan Li , Jingyuan Yang , Wenxuan Liang , Xingde Li , Chenxi Zhang , Lulu Chen , Chan Wu , Xiao Zhang , Zhiyan Xu , Yuelin Wang , Lihui Meng , Yue Zhang , Youxin Chen , S. Kevin Zhou

Operational Technology (OT) is an integral component of critical national infrastructure, enabling automation and control in industries such as energy, manufacturing, and transportation. However, OT networks, systems, and devices have been…

密码学与安全 · 计算机科学 2025-08-05 Matthew Rodda , Vasilios Mavroudis

Optical coherence tomography (OCT) is a 3D imaging technique that was introduced in 1991 [Science 254, 1178 (1991); Applied Optics 31, 919 (1992)]. Since 2018 there has been growing interest in a new type of OCT scheme based on the use of…

This dissertation relates to the transition of the state of the art of swept source optical coherence tomography (SS-OCT) systems to a new realm in which the image acquisition speed is improved by an order of magnitude. With the aid of a…

图像与视频处理 · 电气工程与系统科学 2020-02-21 Amir Tofighi Zavareh

Many complex problems encountered in both production and daily life can be conceptualized as combinatorial optimization problems (COPs) over graphs. Recent years, reinforcement learning (RL) based models have emerged as a promising…

机器学习 · 计算机科学 2024-04-09 Tianle Pu , Changjun Fan , Mutian Shen , Yizhou Lu , Li Zeng , Zohar Nussinov , Chao Chen , Zhong Liu

Traditional test-time training (TTT) methods, while addressing domain shifts, often assume a consistent class set, limiting their applicability in real-world scenarios characterized by infinite variety. Open-World Test-Time Training (OWTTT)…

机器学习 · 计算机科学 2024-09-17 Houcheng Su , Mengzhu Wang , Jiao Li , Bingli Wang , Daixian Liu , Zeheng Wang

In the past few years, the Web of Things (WOT) became a beneficial game-changing technology within the Agriculture domain as it introduces innovative and promising solutions to the Internet of Things (IoT) agricultural applications problems…

信息检索 · 计算机科学 2023-06-16 Muhammad Shoaib Farooq , Shamyla Riaz , Atif Alvi

The 2D image-based virtual try-on has aroused increased interest from the multimedia and computer vision fields due to its enormous commercial value. Nevertheless, most existing image-based virtual try-on approaches directly combine the…

计算机视觉与模式识别 · 计算机科学 2023-08-22 Bin Ren , Hao Tang , Fanyang Meng , Runwei Ding , Philip H. S. Torr , Nicu Sebe

Optical coherence tomography (OCT) is a volumetric imaging modality that empowers clinicians and scientists to noninvasively visualize the cross-sections of biological samples. As the latest generation of its kind, Fourier-domain OCT…

图像与视频处理 · 电气工程与系统科学 2020-05-20 Yuye Ling , Mengyuan Wang , Yu Gan , Xinwen Yao , Leopold Schmetterer , Chuanqing Zhou , Yikai Su

Optical Coherence Tomography (OCT) has become an indispensable tool for investigating mesoscopic features in soft matter and fluid mechanics. Its ability to provide high-resolution, non-invasive measurements in both spatial and temporal…

Automatic (i.e., computer-assisted) theorem proving (ATP) can come in many flavors. This document presents early steps in our effort towards defining object-oriented theorem proving (OOTP) as a new style of ATP. Traditional theorem proving…

编程语言 · 计算机科学 2019-02-28 Moez A. AbdelGawad

Optical link tomography (OLT) is a rapidly evolving field that allows the multi-span, end-to-end visualization of optical power along fiber links in multiple dimensions from network endpoints, solely by processing signals received at…

Measuring sentence similarity is a classic topic in natural language processing. Light-weighted similarities are still of particular practical significance even when deep learning models have succeeded in many other tasks. Some…

计算与语言 · 计算机科学 2020-02-04 Zihao Wang , Yong Zhang , Hao Wu

Open-loop imitation learning has advanced modern autonomous driving policy architectures, but closed-loop deployment remains vulnerable to policy-induced distribution shift. Existing post-training paradigms exhibit fundamental trade-offs:…

机器学习 · 计算机科学 2026-05-07 Keyu Chen , Nanfei Ye , Yida Wang , Wenchao Sun , Danqi Zhao , Hao Cheng , Sifa Zheng

Optical diffraction tomography (ODT) is a three-dimensional (3D) quantitative phase imaging technique, which enables the reconstruction of the 3D refractive index (RI) distribution of a transparent sample. Due to its fast, non-invasive, and…

光学 · 物理学 2018-11-14 Chansuk Park , Seungwoo Shin , Yongkeun Park

In education applications, knowledge tracing refers to the problem of estimating students' time-varying concept/skill mastery level from their past responses to questions and predicting their future performance. One key limitation of most…

计算机与社会 · 计算机科学 2023-03-22 Naiming Liu , Zichao Wang , Richard G. Baraniuk , Andrew Lan

Computational corrections of defocus and aberrations in optical coherence tomography (OCT) offers a promising approach to realize high-resolution imaging with deep imaging depth, but without additional high hardware costs. However, these…

光学 · 物理学 2025-10-28 Shuichi Makita , Naoki Fukutake , Lida Zhu , Yoshiaki Yasuno

RADICAL-Cybertools (RCT) are a set of software systems that serve as middleware to develop efficient and effective tools for scientific computing. Specifically, RCT enable executing many-task applications at extreme scale and on a variety…

软件工程 · 计算机科学 2019-04-08 Vivek Balasubramanian , Shantenu Jha , Andre Merzky , Matteo Turilli

Recent work in offline reinforcement learning (RL) has demonstrated the effectiveness of formulating decision-making as return-conditioned supervised learning. Notably, the decision transformer (DT) architecture has shown promise across…

机器学习 · 计算机科学 2025-04-04 Tung M. Luu , Donghoon Lee , Chang D. Yoo