440 citations
- Northern Arizona UniversityUS4 papers
- University of California, Santa BarbaraUS4 papers
- Yale UniversityUS4 papers
- Rutherford Appleton LaboratoryGB3 papers
- RWTH Aachen UniversityDE3 papers
- The University of Texas at DallasUS3 papers
- Universidad Rey Juan CarlosES3 papers
- Aix-Marseille UniversitéFR2 papers
- Brno University of TechnologyCZ2 papers
- California Institute of TechnologyUS2 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- European Organization for Nuclear ResearchCH2 papers
43 papers
On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming
Ondřej Vašíček, Joaquin Arias, Jan Fiedor +5
It has been argued that Event Calculus (EC) is suitable for modeling high-level specifications of safety-critical cyber-physical systems. The primary advantage lies in the rather s…
Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP
Anitha Murugesan, Isaac Wong, Joaquín Arias +6
Assurance cases offer a structured way to present arguments and evidence for certification of systems where safety and security are critical. However, creating and evaluating these…
A Dual Band Printed F Antenna using a Trap with small band separation
Prasad Samudrala, Justin Jose, Amit Kulkarni
Trap antenna is well known method and has many applications. With this method, trap(s) are used on antenna to block currents of some frequencies and so electrically divide the ante…
A Race Track Trapped-Ion Quantum Processor
S. A. Moses, C. H. Baldwin, M. S. Allman +93
We describe and benchmark a new quantum charge-coupled device (QCCD) trapped-ion quantum computer based on a linear trap with periodic boundary conditions, which resembles a race t…
Chemically Aware Unitary Coupled Cluster with ab initio Calculations on System Model H1: A Refrigerant Chemicals Application
I. T. Khan, M. Tudorovskaya, J. J. M. Kirsopp +4
Circuit depth reduction is of critical importance for quantum chemistry simulations on current and near term quantum computers. This issue is tackled by introducing a chemically aw…
The Science Performance of JWST as Characterized in Commissioning
Jane Rigby, Marshall Perrin, Michael McElwain +623
This paper characterizes the actual science performance of the James Webb Space Telescope (JWST), as determined from the six month commissioning period. We summarize the performanc…