Estimates of noise channels for quantum gates are required for most error mitigation techniques and are desirable for informing quantum error correction decoders. These estimates can be obtained by resource-intensive ...
详细信息
In this paper we solve the SAT problem (the satisfiability problem of propositional formulas in conjunctive normal form) by two polynomially uniform families of P systems with active membranes. The novelty of these so...
详细信息
In this paper we give two families of P systems with active membranes that can solve the satisfiability problem of propositional formulas in linear time in the number of propositional variables occurring in the input ...
详细信息
The theory of P systems or membrane systems, a vivid scientific area in bio-inspired computing, deals with computational models inspired by architecture and functioning of living cells and tissues, and neural systems....
详细信息
Communicating reaction systems are new variants of networks of reaction systems where the components communicate with each other by sending products or reactions. Reaction system, a mathematical formalism inspired by ...
详细信息
We introduce and examine two variants of networks of reaction systems, called communicating reaction systems with direct communication, where the reaction systems send products or reactions to each other. We show that...
详细信息
The ground state properties of quantum many-body systems are a subject of interest across chemistry, materials science, and physics. Thus, algorithms for finding ground states can have broad impacts. Variational quant...
详细信息
The ground state properties of quantum many-body systems are a subject of interest across chemistry, materials science, and physics. Thus, algorithms for finding ground states can have broad impacts. Variational quantum algorithms are one class of ground state algorithms that has received significant attention in recent years. These algorithms utilize a hybrid quantum-classical computing framework to prepare ground states on quantum computers. However, this requires solving a classical optimization problem that can become prohibitively expensive in high dimensions. Here, we develop formulations of feedback-based quantum algorithms for ground state preparation that can be used to address this challenge for two broad classes of Hamiltonians: Fermi-Hubbard Hamiltonians, and molecular Hamiltonians represented in second quantization. Feedback-based quantum algorithms are optimization-free; in place of classical optimization, quantum circuit parameters are set according to a deterministic feedback law derived from quantum Lyapunov control principles. This feedback law guarantees a monotonic improvement in solution quality with respect to the depth of the quantum circuit. A variety of numerical illustrations are provided that analyze the convergence and robustness of feedback-based quantum algorithms for these problem classes.
System call interception based jailing is a well-known method for confining (sandboxing) untrusted binary applications. Existing systems that are implemented using standard UNIX debugging mechanisms are rendered insec...
详细信息
System call interception based jailing is a well-known method for confining (sandboxing) untrusted binary applications. Existing systems that are implemented using standard UNIX debugging mechanisms are rendered insecure by several race conditions. This paper gives an overview of the most important threats to jailing systems, and presents novel mechanisms for implementing jailing securely on standard UNIX systems. We implemented these solutions on Linux, and achieve competitive performance compared to existing jailing systems. Performance results are provided for this implementation, and for an implementation that uses a special-purpose extension to the Linux kernel designed to improve performance of the jailing system.
In the IRIS (Intelligent Raster-Image Interpretation System) research project a complete raster-vector conversion process was developed, and prototype software was also implemented. This process was applied and tuned ...
详细信息
ISBN:
(纸本)9781615676576
In the IRIS (Intelligent Raster-Image Interpretation System) research project a complete raster-vector conversion process was developed, and prototype software was also implemented. This process was applied and tuned for Hungarian topographic maps, but it can also be adapted for various map types. Digital image processing, digital filters, clustering algorithms, statistical classification, edge detection algorithms and local improvement methods were used in the implementation of the conversion procedure.
A low-level data structure always has a predefined representation which does not fit into an object of traditional objectoriented languages, where explicit type tag denotes its dynamic type. This is the main reason wh...
详细信息
暂无评论