Zobrazeno 1 - 10
of 45 036
pro vyhledávání: '"Zafer, A."'
Autor:
Amilon, Jesper, Esen, Zafer, Gurov, Dilian, Lidström, Christian, Rümmer, Philipp, Voorberg, Marten
In deductive verification and software model checking, dealing with certain specification language constructs can be problematic when the back-end solver is not sufficiently powerful or lacks the required theories. One way to deal with this is to tra
Externí odkaz:
http://arxiv.org/abs/2412.06431
Autor:
Bond, Andrew, Dogan, Zafer
Subspace learning is a critical endeavor in contemporary machine learning, particularly given the vast dimensions of modern datasets. In this study, we delve into the training dynamics of a single-layer GAN model from the perspective of subspace lear
Externí odkaz:
http://arxiv.org/abs/2411.00498
Autor:
Demir, Samet, Dogan, Zafer
Random Feature Model (RFM) with a nonlinear activation function is instrumental in understanding training and generalization performance in high-dimensional learning. While existing research has established an asymptotic equivalence in performance be
Externí odkaz:
http://arxiv.org/abs/2409.20250
Creating annotations for 3D medical data is time-consuming and often requires highly specialized expertise. Various tools have been implemented to aid this process. Segment Anything Model 2 (SAM 2) offers a general-purpose prompt-based segmentation a
Externí odkaz:
http://arxiv.org/abs/2408.15224
Autor:
Wolff, Sebastian, Gupta, Ekanshdeep, Esen, Zafer, Hojjat, Hossein, Rümmer, Philipp, Wies, Thomas
Memory safety is an essential correctness property of software systems. For programs operating on linked heap-allocated data structures, the problem of proving memory safety boils down to analyzing the possible shapes of data structures, leading to t
Externí odkaz:
http://arxiv.org/abs/2408.09037
Autor:
Devecioglu, Ozer Can, Kiranyaz, Serkan, Yilmaz, Zafer, Avci, Onur, Gabbouj, Moncef, Taciroglu, Ertugrul
Vibration sensors are essential in acquiring seismic activity for an accurate earthquake assessment. The state-of-the-art sensors can provide the best signal quality and the highest bandwidth; however, their high cost usually hinders a wide range of
Externí odkaz:
http://arxiv.org/abs/2407.11040
Super-resolution (SR) is an ill-posed inverse problem, where the size of the set of feasible solutions that are consistent with a given low-resolution image is very large. Many algorithms have been proposed to find a "good" solution among the feasibl
Externí odkaz:
http://arxiv.org/abs/2402.19215
Super-resolution (SR) is an ill-posed inverse problem with a large set of feasible solutions that are consistent with a given low-resolution image. Various deterministic algorithms aim to find a single solution that balances fidelity and perceptual q
Externí odkaz:
http://arxiv.org/abs/2402.07597
Autor:
Gu, Hanxue, Colglazier, Roy, Dong, Haoyu, Zhang, Jikai, Chen, Yaqian, Yildiz, Zafer, Chen, Yuwen, Li, Lin, Yang, Jichen, Willhite, Jay, Meyer, Alex M., Guo, Brian, Shah, Yashvi Atul, Luo, Emily, Rajput, Shipra, Kuehn, Sally, Bulleit, Clark, Wu, Kevin A., Lee, Jisoo, Ramirez, Brandon, Lu, Darui, Levin, Jay M., Mazurowski, Maciej A.
Magnetic Resonance Imaging (MRI) is pivotal in radiology, offering non-invasive and high-quality insights into the human body. Precise segmentation of MRIs into different organs and tissues would be highly beneficial since it would allow for a higher
Externí odkaz:
http://arxiv.org/abs/2401.12974
Autor:
Samuel, Solomon B., Gedik, Zafer
The Symmetric Informationally Complete Positive Operator-Valued Measures (SIC-POVMs) are known to exist in all dimensions $\leq 151$ and few higher dimensions as high as $1155$. All known solutions with the exception of the Hoggar solutions are covar
Externí odkaz:
http://arxiv.org/abs/2401.11026