English
Related papers

Related papers: Using Scalable Computer Vision to Automate High-th…

200 papers

Malware developers use combinations of techniques such as compression, encryption, and obfuscation to bypass anti-virus software. Malware with anti-analysis technologies can bypass AI-based anti-virus software and malware analysis tools.…

Cryptography and Security · Computer Science 2022-08-18 Jong-Wouk Kim , Yang-Sae Moon , Mi-Jung Choi

To coupe with the difficulties in the process of inspection and classification of defects in Printed Circuit Board (PCB), other researchers have proposed many methods. However, few of them published their dataset before, which hindered the…

Computer Vision and Pattern Recognition · Computer Science 2019-01-25 Weibo Huang , Peng Wei

Rapid construction of phase diagrams is a central tenet of combinatorial materials science with accelerated materials discovery efforts often hampered by challenges in interpreting combinatorial x-ray diffraction datasets, which we address…

Autonomous experimentation holds the potential to accelerate materials development by combining artificial intelligence (AI) with modular robotic platforms to explore extensive combinatorial chemical and processing spaces. Such self-driving…

High-resolution printed circuit board (PCB) inspection suffers from resolution collapse when full-board images are resized to standard detector inputs: micro-scale defects shrink to a few pixels and are missed. Tile-based inference…

Computer Vision and Pattern Recognition · Computer Science 2026-05-26 Mohammad Alijanpour Shalmani , Alale Rezvani Boroujeni , Ali Amini , Jiann Shiun Yuan

To design semiconductor-based optical devices, the optical properties of the used semiconductor materials must be precisely measured over a large band. Transmission spectroscopy stands out as an inexpensive and widely available method for…

We present an approach to automatically synthesize synchronized models from lightweight formal specifications. Our approach takes as input a specification of a distributed system along with a global linear time constraint, which must be…

Software Engineering · Computer Science 2025-02-20 Pablo F. Castro , Luciano Putruele , Renzo Degiovanni , Nazareno Aguirre

Maximizing the computational utility of near-term quantum processors requires predictive noise models that inform robust, noise-aware compilation and error mitigation. Conventional models often fail to capture the complex error dynamics of…

Quantum Physics · Physics 2026-03-17 Yanjun Ji , Marco Roth , David A. Kreplin , Ilia Polian , Frank K. Wilhelm

Coherent optics has demonstrated significant potential as a viable solution for achieving 100 Gb/s and higher speeds in single-wavelength passive optical networks (PON). However, upstream burst-mode coherent detection is a major challenge…

Signal Processing · Electrical Eng. & Systems 2024-09-24 Yongxin Sun , Hexun Jiang , Yicheng Xu , Mengfan Fu , Yixiao Zhu , Lilin Yi , Weisheng Hu , Qunbi Zhuge

Rapid and reliable qualification of advanced materials remains a bottleneck in industrial manufacturing, particularly for heterogeneous structures produced via non-conventional additive manufacturing processes. This study introduces a novel…

Computer Vision and Pattern Recognition · Computer Science 2025-08-29 Mutahar Safdar , Gentry Wood , Max Zimmermann , Guy Lamouche , Priti Wanjara , Yaoyao Fiona Zhao

Accelerating the discovery of mechanical properties in combinatorial materials requires autonomous experimentation that accounts for both instrument behavior and experimental cost. Here, an automated nanoindentation (AE-NI) framework is…

Materials Science · Physics 2025-11-24 Vivek Chawla , Stephen Puplampu , Haochen Zhu , Philip D. Rack , Dayakar Penumadu , Sergei Kalinin

Recent advancements in Artificial intelligence, especially deep learning, has changed many fields irreversibly by introducing state of the art methods for automation. Construction monitoring has not been an exception; as a part of…

Specification synthesis is the process of deriving a model from the input-output traces of a system. It is used extensively in test design, reverse engineering, and system identification. One type of the resulting artifact of this process…

Formal Languages and Automata Theory · Computer Science 2021-01-19 Iman Saberi , Fathiyeh Faghih , Farzad Sobhi Bavil

Generating droplets from a continuous stream of fluid requires precise tuning of a device to find optimized control parameter conditions. It is analytically intractable to compute the necessary control parameter values of a…

Machine Learning · Computer Science 2022-01-19 Alexander E. Siemenn , Evyatar Shaulsky , Matthew Beveridge , Tonio Buonassisi , Sara M. Hashmi , Iddo Drori

Deep learning methods for pansharpening have advanced rapidly, yet models pretrained on data from a specific sensor often generalize poorly to data from other sensors. Existing methods to tackle such cross-sensor degradation include…

Computer Vision and Pattern Recognition · Computer Science 2025-11-21 Tianyu Xin , Jin-Liang Xiao , Zeyu Xia , Shan Yin , Liang-Jian Deng

Metal additive manufacturing is gaining broad interest and increased use in the industrial and academic fields. However, the quantification and commercialization of standard parts usually require extensive experiments and expensive…

Data Analysis, Statistics and Probability · Physics 2024-05-31 Rui Liu , Sen Liu , Xiaoli Zhang

Designing topological materials with specific topological indices is a complex inverse problem, traditionally tackled through manual, intuition-driven methods that are neither scalable nor efficient for exploring the vast space of possible…

Mesoscale and Nanoscale Physics · Physics 2025-10-28 Samuel Bird , Chiara Devescovi , Pascal Engeler , Agnes Valenti , Doruk Efe Gökmen , Robin Worreby , Valerio Peri , Sebastian D. Huber

High-level synthesis (HLS) has freed the computer architects from developing their designs in a very low-level language and needing to exactly specify how the data should be transferred in register-level. With the help of HLS, the hardware…

Hardware Architecture · Computer Science 2021-11-23 Atefeh Sohrabizadeh , Yunsheng Bai , Yizhou Sun , Jason Cong

Mechanistic interpretability aims to understand neural networks by identifying which learned features mediate specific behaviors. Attribution graphs reveal these feature pathways, but interpreting them requires extensive manual analysis --…

Computation and Language · Computer Science 2025-11-11 Giuseppe Birardi

Finding new materials with previously unknown atomic structure or materials with optimal set of properties for a specific application greatly benefits from computational modeling. Recently, such screening has been dramatically accelerated…

Materials Science · Physics 2025-04-11 Ethan Berger , Mohammad Bagheri , Hannu-Pekka Komsa
‹ Prev 1 8 9 10 Next ›