Abstract The addition of artificial pinning centers has led to an impressive increase in the critical current density ( J c ) superconductors, enabling record-breaking all-superconducting magnets and other applications. superconductors reached ~0.2–0.3 d , where is depairing density, numerical factor depends on optimization. By modifying λ and/or ξ, penetration depth coherence length, respectiv...

The digitalization of railways allows for improvements in service reliability, safety, security, and predictability. It relies on stable connections innovative services. This paper presents an approach to designing critical railway voice communication applications, which follows the principles a service-oriented architecture. Security-related functions, such as user data management policy that ...

We view match as an operator that takes two graph-like structures (e.g., classifications, XML schemas) and produces a mapping between the nodes of these graphs that correspond semantically to each other. Semantic matching is based on two ideas: (i) we discover mappings by computing semantic relations (e.g., equivalence, more general); (ii) we determine semantic relations by analyzing the meanin...

Interpretation of artificial intelligence on the base of the philosophical fictionalism allowed discussing the educational technologies in the context of conditions for strengthening of discursive power of pupils’ thought. The artificial intelligence received broad interpretation as an embodiment of a literary image, which did not have unambiguous link with the area of logical formalisms and ma...

In this thesis we prove the existence of m-armed spiral wave solutions for the complex Ginzburg-Landau equation in the circular and spherical geometries. Instead of applying the shooting method in the literature, we establish a functional approach and generalize the known results of existence for rigidly-rotating spiral waves. Moreover, we prove the existence of two new patterns: frozen spirals...

We investigate people’s attitudes towards the possible use of mobile negotiation support systems (NSS) in different social contexts and the consequences for their design. For that purpose we developed an online survey based on existing models of technology acceptance. In the questionnaire we showed five filmed scenarios of NSS use contexts. The data collected from 120 respondents, showed (a) th...

Sufficiency criteria are established to ensure the asymptotic stability and boundedness of solutions to third-order nonlinear delay differential equations of the form ... x (t) + e(x(t), ẋ(t), ẍ(t))ẍ(t) + g(x(t− r), ẋ(t− r)) + ψ(x(t− r)) = p(t, x(t), x(t − r), x(t), x(t− r), x(t)). By using Lyapunov’s functional approach, we obtain two new results on the subject, which include and improve some ...

Various researchers and policy analysts have made empirical studies of innovation systems in order to understand their current structure and trace their dynamics. However, policy makers often experience difficulties in extracting practical guidelines from studies of this kind. In this paper, we operationalize our previous work on a functional approach to analyzing innovation system dynamics int...