Dependencies among Architectural Views Got from Software Requirements Based on a Formal Model
Applied Computer Systems, 2014 A system architect has software requirements and some unspecified knowledge about a problem domain (e.g., an enterprise) as source information for assessment and evaluation of possible solutions and getting the target point, a preliminary software design.
Osis Janis +3 more
doaj +1 more source
Mott scattering at the interface between a metal and a topological insulator
, 2010 We compute the spin-active scattering matrix and the local spectrum at the interface between a metal and a three-dimensional topological band insulator.
Chun Zhang +5 more
core +1 more source
Concurrent enhancement of percolation and synchronization in adaptive networks [PDF]
, 2015 Co-evolutionary adaptive mechanisms are not only ubiquitous in nature, but also beneficial for the functioning of a variety of systems. We here consider an adaptive network of oscillators with a stochastic, fitness-based, rule of connectivity, and show ...
Boccaletti, Stefano +2 more
core +2 more sources
Microstructure Evolution of a VMnFeCoNi High‐Entropy Alloy After Synthesis, Swaging, and Annealing
Advanced Engineering Materials, EarlyView.The synthesis and processing (rotary swaging and annealing) of the novel VMnFeCoNi alloy is investigated, alongside the estimation of the grain size effect on hardness. Analysis of a wide grain size range of recrystallized microstructures (12–210 µm) reveals a low annealing twin density.
Aditya Srinivasan Tirunilai +6 more
wiley +1 more source
Modelling brain dynamics by Boolean networks
Scientific Reports, 2022 Understanding the relationship between brain architecture and brain function is a central issue in neuroscience. We modeled realistic spatio-temporal patterns of brain activity on a human connectome with a Boolean networks model with the aim of ...
Francesca Bertacchini +3 more
doaj +1 more source
Toward a Semiotic Framework for Using Technology in Mathematics Education: The Case of Learning 3D Geometry [PDF]
, 2004 This paper proposes and examines a semiotic framework to inform the use of technology in mathematics education. Semiotics asserts that all cognition is irreducibly triadic, of the nature of a sign, fallible, and thoroughly immersed in a continuing ...
Nason, Rodney, Yeh, Andy
core +1 more source
Detection of Complex Networks Modularity by Dynamical Clustering
, 2006 Based on cluster de-synchronization properties of phase oscillators, we introduce an efficient method for the detection and identification of modules in complex networks.
A. Pluchino +10 more
core +1 more source
Advanced Functional Materials, EarlyView.From a database of 170 pentagonal 2D materials, 4 candidates exhibiting altermagnetic ordering are screened. Furthermore, the spin‐splitting and unconventional boundary states in the pentagonal 2D altermagnetic monolayer MnS2 are investigated. A MnS2‐based altermagnetic tunneling junction is designed and, through ab initio quantum transport simulations,
Jianhua Wang +8 more
wiley +1 more source
Stability, the NIP, and the NSOP: model theoretic properties of formulas via topological properties of function spaces [PDF]
, 2020 Karim Khanaki
openalex +3 more sources
Topological mechanics of gyroscopic metamaterials
, 2015 Topological mechanical metamaterials are artificial structures whose unusual properties are protected very much like their electronic and optical counterparts.
Irvine, William T. M. +5 more
core +1 more source