![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Article
Open AccessOn the optimality of quantum circuit initial map** using reinforcement learning
Quantum circuit optimization is an inevitable task with the current noisy quantum backends. This task is considered non-trivial due to the varying circuits’ complexities in addition to hardware-specific noise,...
-
Chapter and Conference Paper
DTN Routing Method Based on Records of Data Transmission Paths
The authors focus on the message ferrying method, which is one of the route selection methods on DTN (Delay/Disruption-Tolerant Networking). In the message ferrying method, mobile nodes called ferry nodes tran...
-
Chapter and Conference Paper
Implementing the \(\lambda _{GT}\) Language: A Functional Language with Graphs as First-Class Data
Several important data structures in programming are beyond trees; for example, difference lists, doubly-linked lists, skip lists, threaded trees, and leaf-linked trees. They can be abstracted into graphs (or ...
-
Article
Open AccessOn the learnability of quantum state fidelity
Current quantum processing technology is generally noisy with a limited number of qubits, stressing the importance of quantum state fidelity estimation. The complexity of this problem is mainly due to not only...
-
Chapter and Conference Paper
DTN Routing Method Based on Node Movement Prediction and Message Deliverability
In recent years, sensors have been deployed for measurement for weather, environment, or traffic. The obtained data is used for analysis or research. When such sensors are deployed in huge numbers, cost of rea...
-
Chapter and Conference Paper
Routing Method Based on Data Transfer Path in DTN Environments
In recent years, temporary network construction using Delay Tolerant Networking (DTN) has attracted attention as a preparation for communication infrastructure failures that may occur due to disasters. DTN is ...
-
Chapter and Conference Paper
DTN Sub-ferry Nodes Placement with Consideration for Battery Consumption
When networking infrastructures are damaged due to a serious disaster such as earthquakes, communications on the Internet might be inconvenient. Many researches about Delay Tolerant Networking (DTN) have been ...
-
Chapter and Conference Paper
Constraint-Based Modeling and Symbolic Simulation of Hybrid Systems with HydLa and HyLaGI
Hybrid systems are dynamical systems that include both continuous and discrete changes. Modeling and simulation of hybrid systems can be challenging due to various kinds of subtleties of their behavior. The de...
-
Article
Open AccessFatal community-acquired Bacillus cereus pneumonia in an immunocompetent adult man: a case report
Bacillus cereus is a gram-positive rod bacterium that is responsible for food poisoning. It is naturally widely distributed, and thus often contaminates cultures. Although it is rarely considered responsible, it ...
-
Chapter and Conference Paper
Score-Based Message Ferrying Approach for Evacuees on Delay Tolerant Networks
In recent years, network construction using DTN has attracted attention, in preparation for damage of communication infrastructure caused by a large-scale disaster. In the message ferry method which is one of ...
-
Chapter and Conference Paper
Peer-to-Peer Data Distribution System with Browser Cache Sharing
Many services that provide video contents such have been available. Traffic caused by watching videos has been increasing and the traffic will consume network resources on the Internet or networks of contents ...
-
Chapter and Conference Paper
Introducing Symmetry to Graph Rewriting Systems with Process Abstraction
Symmetry reduction in model checking is a technique for reducing state spaces by exploiting the inherent symmetry of models, i.e., the interchangeability of their subcomponents. Model abstraction, which abstra...
-
Chapter and Conference Paper
Performance Evaluation of Peer–to–Peer Network Applications on Multiple Overlay Networks
A peer–to–peer (P2P) network applications support peers or contents search based on overlay networks constructed by considering several criteria. Since overlay networks are constructed based on profiles of pee...
-
Article
Renewal of the Major Fields
-
Chapter and Conference Paper
Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection
Hybrid systems are dynamical systems that include both continuous and discrete changes. Some hybrid systems involve a large or infinite number of discrete changes within an infinitesimal-width region of phase ...
-
Chapter and Conference Paper
Unification of Hypergraph \(\lambda \) -Terms
We developed a technique for modeling formal systems involving name binding in a modeling language based on hypergraph rewriting. A hypergraph consists of graph nodes, edges with two endpoints and edges with m...
-
Chapter and Conference Paper
Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project
The technical goal of the Fifth Generation Computer Systems (FGCS) project (1982–1993) was to develop Parallel Inference technologies, namely systematized technologies for realizing knowledge information processi...
-
Chapter
Towards a Substrate Framework of Computation
A grand challenge in computing is to establish a substrate computational model that encompasses diverse forms of non-sequential computation. This paper demonstrates how a hypergraph rewriting framework nicely ...
-
Article
HyperLMNtal: An Extension of a Hierarchical Graph Rewriting Model
LMNtal (pronounced “elemental”) is a language model based on hierarchical graph rewriting that uses point-to-point links to represent connectivity and membranes to represent hierarchy. LMNtal was...
-
Article
An interval-based SAT modulo ODE solver for model checking nonlinear hybrid systems
This paper presents a bounded model checking tool called \({\texttt{Hydlogic}}\) for hybrid systems. It translates a ...