Results 1 to 10 of about 273,955 (91)

INTERMEDIATE TIER FOR GNU PROLOG - PHP INTEGRATION

Zeszyty Naukowe Wyższej Szkoły Finansów i Prawa w Bielsku-Białej, 2005
The paper provides a concept of GNU-Prolog integration with PHP using ANSI C socket server as a middleware [8]. There are a few methods of integration of web programming together with CLP proposed so far.
Rafał Szklarczyk
doaj   +12 more sources

INTERMEDIATE TIER FOR GNU PROLOG - PHP INTEGRATION [PDF]

Zeszyty Naukowe Wyższej Szkoły Finansów i Prawa w Bielsku-Białej, 2015
The paper provides a concept of GNU-Prolog integration with PHP using ANSI C socket server as a middleware [8]. There are a few methods of integration of web programming together with CLP proposed so far.
Rafał Szklarczyk
doaj   +1 more source

The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics [PDF]

EPTCS 365, 2022, pp. 1-16, 2022
We present a novel and well automatable approach to formal verification of C programs with underspecified semantics, i.e., a language semantics that leaves open the order of certain evaluations. First, we reduce this problem to non-determinism of concurrent systems, automatically extracting a distributed Active Object model from underspecified ...
arxiv   +1 more source

A Modular Transradial Bypass Socket for Surface Myoelectric Prosthetic Control in Non-Amputees [PDF]

IEEE Trans. Neural Syst. Rehabil. Eng. (2019), 2019
Bypass sockets allow researchers to perform tests of prosthetic systems from the prosthetic user's perspective. We designed a modular upper-limb bypass socket with 3D-printed components that can be easily modified for use with a variety of terminal devices.
arxiv   +1 more source

The Quantum Socket: Three-Dimensional Wiring for Extensible Quantum Computing [PDF]

Phys. Rev. Applied 6, 044010 (2016), 2016
Quantum computing architectures are on the verge of scalability, a key requirement for the implementation of a universal quantum computer. The next stage in this quest is the realization of quantum error correction codes, which will mitigate the impact of faulty quantum information on a quantum computer.
arxiv   +1 more source

The Quantum Socket and DemuXYZ-Based Gates with Superconducting Qubits [PDF]

arXiv, 2022
Building large-scale superconducting quantum computers requires two complimentary elements: scalable wiring techniques and multiplex architectures. In our previous work [B\'ejanin et al., Phys. Rev. Applied 6, 044010 (2016)], we have introduced and characterized a truly vertical interconnect named the quantum socket.
arxiv  

Endeavouring Intelligent Process Self-Control by Employing Digital Twin Methodology: Proof-of-Concept Study for Cooking Applications [PDF]

arXiv, 2022
This work demonstrates the use of the Digital Twin methodology to predict the water concentration and temperature of chicken meat. It marks a milestone on the path to autonomous cooking devices that do not only control device temperatures but culinary food quality markers as well. A custom water transport equation is coupled to the energy equation. The
arxiv  

Replacing ANSI C with other modern programming languages [PDF]

, 2014
Replacing ANSI C language with other modern programming languages such as Python or Java may be an actual debate topic in technical universities. Researchers whose primary interests are not in programming area seem to prefer modern and higher level languages.
arxiv   +1 more source

Mitigating coherent leakage of superconducting qubits in a large-scale quantum socket [PDF]

, 2017
A practical quantum computer requires quantum bit (qubit) operations with low error rates in extensible architectures. We study a packaging method that makes it possible to address hundreds of superconducting qubits by means of three-dimensional wires: The large-scale quantum socket.
arxiv   +1 more source

Browsix: Bridging the Gap Between Unix and the Browser [PDF]

ASPLOS 2017, 2016
Applications written to run on conventional operating systems typically depend on OS abstractions like processes, pipes, signals, sockets, and a shared file system. Porting these applications to the web currently requires extensive rewriting or hosting significant portions of code server-side because browsers present a nontraditional runtime ...
arxiv   +1 more source