Related papers: A standard format and a graphical user interface f…
Mechanisms are a fundamental concept in many areas of science. Nonetheless, there has been little effort to develop structures to represent mechanisms. We explore the issues in developing a basic semantic modeling framework for describing…
Safety is an important element of dependability. It is defined as the absence of accidents. Most accidents involving software-intensive systems have been system accidents, which are caused by unsafe inter-system or inter-component…
Structured Natural Language Processing (XNLP) is an important subset of NLP that entails understanding the underlying semantic or syntactic structure of texts, which serves as a foundational component for many downstream applications.…
The ability to control and manipulate spins via electrical, magnetic and optical means has generated numerous applications in metrology and quantum information science in recent years. A promising alternative method for spin manipulation is…
Spin glasses are magnetic systems exhibiting both quenched disorder and frustration, and have often been cited as examples of `complex systems.' In this talk I review some of the basic notions of spin glass physics, and discuss how some of…
Explainability is crucial for complex systems like pervasive smart environments, as they collect and analyze data from various sensors, follow multiple rules, and control different devices resulting in behavior that is not trivial and,…
We present a theoretical and a numerical formalism for analysis and design of spintronic integrated circuits (SPINICs). The formalism encompasses a generalized circuit theory for spintronic integrated circuits based on nanomagnetic dynamics…
Despite the fact that JSON is currently one of the most popular formats for exchanging data on the Web, there are very few studies on this topic and there are no agreement upon theoretical framework for dealing with JSON. There- fore in…
We report on the state-of-the-art of software visualization. To ensure reproducibility, we adopted the Systematic Literature Review methodology. That is, we analyzed 1440 entries from IEEE Xplore and ACM Digital Library databases. We…
In this paper, we give a complete geometric characterization of control systems, with m+1 inputs, locally static feedback equivalent to a triangular form compatible with the chained form, for m=1, respectively with the m-chained form, for…
We establish the conditions under which scalable spin squeezing can be achieved in interacting spin ensembles embedded in arbitrary, inhomogeneous graph geometries. We identify two different forms of squeezing: OAT-like scalable squeezing…
Spin dynamics in spiral magnetic structures has been investigated. It has been shown that the internal spatially dependent magnetic field in such structures produces a new mechanism of spin relaxation.
Spin-dynamics techniques can now be used to study the deterministic time-dependent behavior of magnetic systems containing over 10^5 spins with quite good accuracy. This approach will be introduced, including the theoretical foundations of…
BPMN represents an industrial standard created to offer a common and user friendly notation to all the participants to a business process. The present paper aims to briefly present the main features of this notation as well as an…
A generalised extraction procedure for magnetic interactions using effective Hamiltonians is presented that is applicable to systems with more than two sites featuring local spins $S_i \geq 1$. To this end, closed, non-recursive expressions…
This paper describes the system of storage, extract and processing of information structured similarly to the natural language. For recursive inference the system uses the rules having the same representation, as the data. The environment…
This article presents a visualization tool for designing and debugging deterministic finite-state machines in FSM -- a domain specific language for the automata theory classroom. Like other automata visualization tools, users can edit…
Developing soft circuits from individual soft logic gates poses a unique challenge: with increasing numbers of logic gates, the design and implementation of circuits leads to inefficiencies due to mathematically unoptimized circuits and…
Mathematical formulae carry complex and essential semantic information in a variety of formats. Accessing this information with different systems requires a standardized machine-readable format that is capable of encoding presentational and…
Extensible markup language (XML) is a technology that has been much hyped, so that XML has become an industry buzzword. Behind the hype is a powerful technology for data representation in a platform independent manner. As a text document,…