A5065028030- 2D Materials and Applications
- Fault Detection and Control Systems
- Graphene research and applications
- Semiconductor materials and interfaces
- Chalcogenide Semiconductor Thin Films
- Semiconductor Quantum Structures and Devices
- Adversarial Robustness in Machine Learning
- Control Systems and Identification
- Neural Networks and Applications
- Adaptive Dynamic Programming Control
- Computational Geometry and Mesh Generation
- Target Tracking and Data Fusion in Sensor Networks
- Parallel Computing and Optimization Techniques
- Nanowire Synthesis and Applications
- Advanced Control Systems Optimization
- Silicon and Solar Cell Technologies
- GaN-based semiconductor devices and materials
- Advanced Optimization Algorithms Research
- Image Processing Techniques and Applications
- Perovskite Materials and Applications
- Formal Methods in Verification
- Matrix Theory and Algorithms
- Molecular Junctions and Nanostructures
- Semantic Web and Ontologies
- Fuel Cells and Related Materials
East China Normal University
2023-2024
Shanghai Key Laboratory of Trustworthy Computing
2023-2024
University of Illinois Urbana-Champaign
2014-2017
North Carolina State University
1991
We systematically investigate the spatial/temporal photocurrent in photodetectors and electronic transport transistors/Hall-bar devices based on monolayer MoS2 grown by chemical vapor deposition (CVD). found that maximum occurs when laser spot is close to metal/MoS2 contact tunable applied drain voltage, which can be explained modulation of local electric field at Schottky barrier, consistent with predictions from our quantum simulation. observed much larger than one source contact, DC...
This paper presents a novel approach to safety verification based on neural barrier certificates synthesis for continuous dynamical systems. We construct the framework as an inductive loop between Learner and Verifier certificate learning counterexample guidance. Compared with counterexample-guided method SMT solver, we design learn functions special structure, use form convert generation into polynomial optimization problem obtaining optimal counterexample. In phase, task of identifying...
With the increasing availability of devices that support ultra-high-definition (UHD) images, Single Image Super Resolution (SISR) has emerged as a crucial problem in field computer vision. In recent years, CNN-based super resolution approaches have made significant advances, producing high-quality upscaled images. However, these methods can be computationally and memory intensive, making them impractical for real-time applications such upscaling to UHD The performance reconstruction quality...
This article presents a novel approach to the safety verification of hybrid systems by synthesizing neural barrier certificates (BCs) via counterexample-guided network (NN) learning combined with sum-of-square (SOS)-based verification. We learn more easily verifiable BCs NN polynomial expansions in high-accuracy counterexamples guided framework. By leveraging candidates yielded from phase, we reformulate identification real as convex linear matrix inequality (LMI) feasibility testing...
Neural algorithmic reasoning is an emerging area of machine learning that focuses on building neural networks capable solving complex tasks. Recent advancements predominantly follow the standard supervised paradigm -- feeding individual problem instance into network each time and training it to approximate execution steps a classical algorithm. We challenge this mode propose novel open-book framework. In framework, whether during or testing, can access utilize all instances in dataset when...
CdS/CdTe thin film photovoltaics were produced with transition metal nitrides (TMNs) as back contacts. The devices show photovoltaic activity but a significant Schottky barrier was found at the contact. Solar cells perform better ZrN films are thicker due to improved microstructure. good reflectance of makes it acts reflective layer reduce optical losses and lower thickness CdTe. Pure N <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">2</sub>...
There is a pressing need to synthesize provable safety controllers for nonlinear systems as they are embedded in many safety-critical applications. In this paper, we propose safe Meta Reinforcement Learning (Meta-RL) approach deep neural network (DNN) subject constraints. Our incorporates two phases: Meta-RL training the controller network, and formal verification based on polynomial optimization solving. phase, provide framework which pre-trains unified meta-initial control by...
Low temperature infrared transmission and far‐infrared magneto‐optic experiments were completed for a series of HgTe/CdTe superlattices (SLs). The SLs studied grown with layer thickness intentionally chosen to make the samples inverted‐band semimetals or semiconductors, new regime SL which only recently has been predicted by theory. Cyclotron resonance electrons in first conduction subband H1 was observed magneto‐transmission experiments.From these measurements electron effective masses...