Results 11 to 20 of about 328,695 (196)
Computing Stuttering Simulations [PDF]
, 2009 Stuttering bisimulation is a well-known behavioral equivalence that preserves CTL-X, namely CTL without the next-time operator X. Correspondingly, the stuttering simulation preorder induces a coarser behavioral equivalence that preserves the existential fragment ECTL-{X,G}, namely ECTL without the next-time X and globally G operators.
RANZATO, FRANCESCO, TAPPARO, FRANCESCO
openaire +2 more sources
Isometric Shape Representation by Integrating Shape Function Maps and Deep Learning
IEEE Access, 2019 With the wide application of isometric 3D models, the representation and recognition of them receive increasing attention. Most existing methods for shape representation and analysis either focus on using the constrained hand-craft models or purely ...
Zijian Wang +4 more
doaj +1 more source
Frontiers in Physiology, 2018 Introduction: Focal atrial tachycardia is commonly treated by radio frequency ablation with an acceptable long-term success. Although the location of ectopic foci tends to appear in specific hot-spots, they can be located virtually in any atrial region ...
Eduardo Jorge Godoy +6 more
doaj +1 more source
A framework for evaluating epidemic forecasts
BMC Infectious Diseases, 2017 Background Over the past few decades, numerous forecasting methods have been proposed in the field of epidemic forecasting. Such methods can be classified into different categories such as deterministic vs.
Farzaneh Sadat Tabataba +6 more
doaj +1 more source
Evolutionary computer simulations [PDF]
Physica A: Statistical Mechanics and its Applications, 2002 10 pages, plain TEX, no figures, STATPHYS ...
openaire +3 more sources
Instability of Reissner–Nordström black hole in Einstein-Maxwell-scalar theory
European Physical Journal C: Particles and Fields, 2019 The scalarization of Reissner–Nordström black holes was recently proposed in the Einstein-Maxwell-scalar theory. Here, we show that the appearance of the scalarized Reissner–Nordström black hole is closely related to the Gregory-Laflamme instability of ...
Yun Soo Myung, De-Cheng Zou
doaj +1 more source
Simulation of Quantum Computers [PDF]
, 2001 We describe a simulation approach to study the functioning of Quantum Computer hardware. The latter is modeled by a collection of interacting spin-1/2 objects. The time evolution of this spin system maps one-to-one to a quantum program carried out by the Quantum Computer.
De Raedt, H +4 more
openaire +3 more sources
The Checking of Computer Logic by Simulation on a Computer [PDF]
The Computer Journal, 1963 The proposed specification of the Sabrac digital computer was first discussed in papers presented to the International Conference on Information Processing (Lehman, 1959) and to the First Annual Conference of the British Computer Society. Since that time the specification of the machine has changed considerably.
Lehman, M., Eshed, R., Netter, Z.
openaire +1 more source
Stability of scalarized charged black holes in the Einstein–Maxwell–Scalar theory
European Physical Journal C: Particles and Fields, 2019 We analyze the stability of scalarized charged black holes in the Einstein–Maxwell–Scalar (EMS) theory with quadratic coupling. These black holes are labelled by the number of $$n=0,1,2,\ldots $$ n=0,1,2,… , where $$n=0$$ n=0 is called the fundamental ...
Yun Soo Myung, De-Cheng Zou
doaj +1 more source
MODELLING, SIMULATION AND VISUALIZATION OF A MULTISPECIFIC PHILIPPINE SEAGRASS MEADOW [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2019 Seagrass meadows are constantly under threat from natural and man-made stresses due to its shallow existence in the coastal environment. Restoration and preservation of seagrasses by means of rehabilitation or transplanting strategies is possible, but ...
V. P. Bongolan +2 more
doaj +1 more source