From the 1 of 1.4k papers with an AI index.
4.5k citations
- Virginia TechUS345 papers
- University of CincinnatiUS291 papers
- University of Hawaii SystemUS284 papers
- Technical University of MunichDE272 papers
- University of Hawaiʻi at MānoaUS271 papers
- Karlsruhe Institute of TechnologyDE270 papers
- Chinese Academy of SciencesCN265 papers
- High Energy Accelerator Research OrganizationJP265 papers
- Max Planck Institute for PhysicsDE265 papers
- Charles UniversityCZ262 papers
- Korea Institute of Science & Technology InformationKR259 papers
- Indian Institute of Technology MadrasIN257 papers
1,436 papers
Barriers to Using Static Application Security Testing (SAST) Tools: A Literature Review
Zachary Wadhams, Clemente Izurieta, Ann Marie Reinhold
Developers face a challenging problem with no clear solution. Modern software breaches can wreak havoc on businesses and individuals alike. With code vulnerabilities being a leadin…
Automating Static Code Analysis Through CI/CD Pipeline Integration
Zachary Wadhams, Ann Marie Reinhold, Clemente Izurieta
In the contemporary landscape of software devel-opment, securing sensitive data is paramount to safeguarding organizational reputation, preventing financial losses, and pro-tecting…
Fermionic mean-field dynamics for spin systems beyond free fermions
Rishab Dutta, Marc Illa, Niranjan Govind +1
We introduce the fermionized time-dependent Hartree-Fock (fTDHF), a real-time quantum dynamics method for spin-1/2 Hamiltonians following their mapping to fermions via the Jordan-W…
Optimizing Chilled Water Systems with Cooling Towers via Virtual Power Metrics and Extremum-Seeking Control
Min Gyung Yu, Alex Vlachokostas, Karthik Devaprasad +4
This paper presents an extremum seeking control (ESC) method for cooling tower fans to minimize overall power consumption of a chilled water plant system. Simulation studies across…
Porting the Nonlinear Optimization Library HiOp to Accelerator-Based Hardware Architectures
Slaven Peles, Kalyan S. Perumalla, Maksudul Alam +4
While interior point methods have been the centerpiece of nonlinear programming tools used in science and engineering, their reliance on linear solvers that can tackle sparse symme…
Gate-Level Quantum Simulation of Nonunitary Linear Dynamics with Hybrid Oscillator-Qubit Architecture
Elin Ranjan Das, Muqing Zheng, Rishab Dutta +3
We translate the one-mode unitary-dilation framework for nonunitary linear dynamics into a gate-level hybrid oscillator--qubit architecture. An ancillary oscillator encodes the ker…