414,886 Hits in 4.0 sec

Stateful Behavioral Types for ABS [article]

Eduard Kamburjan, Tzu-Chun Chen
2018 arXiv   pre-print
analysis is presented for type checking.  ...  To characterize runs of instances of types, we give a model-theoretic semantics for types and translate them into logical constraints over traces.  ...  Behavioral-Type-Based Stateful Specification We define a specification language for global types to specify the behavior of the system.  ... 
arXiv:1802.08492v2 fatcat:wok2olt56rajfecuh3iavwxifm

Metallic state in La-doped YBa2Cu3Oythin films withn-type charge carriers

S. W. Zeng, X. Wang, W. M. Lü, Z. Huang, M. Motapothula, Z. Q. Liu, Y. L. Zhao, A. Annadi, S. Dhar, H. Mao, W. Chen, T. Venkatesan (+1 others)
2012 Physical Review B  
The n-type samples show a metallic behavior below the Mott limit and a high carrier density of ∼2.8 × 10^21 cm^-3 at room temperature (T) at the optimally reduced condition.  ...  The in-plane resistivity (ρ_ab) of the n-type samples exhibits a quadratic T dependence in the moderate-T range and shows an anomaly at a relatively higher T probably related to pseudogap formation analogous  ...  R-144-000-278-112) for financial support.  ... 
doi:10.1103/physrevb.86.045124 fatcat:axiqbdojdbf7ppqdfpdxoawohm

Entanglement Dynamics of Two-Qubit System in Different Types of Noisy Channels

Shan Chuan-Jia, Liu Ji-Bing, Cheng Wei-Wen, Liu Tang-Kun, Huang Yan-Xia, Li Hong
2009 Communications in Theoretical Physics  
That is, if the initial entangled state is prepared in mixed instead of pure form, the state may exhibit entanglement sudden death (ESD) and/or be decreased for the critical probability at which the entanglement  ...  We show that the purity of initial entangled state has direct impacts on the entanglement robustness in each noisy channel.  ...  It was shown that for the same entangled states, their entanglement may exhibit completely different behaviors involving the appearance of ESD in different types of environments.  ... 
doi:10.1088/0253-6102/51/6/10 fatcat:osygmlinizeb7a44vltjfzz7gu

Complex and transitive synchronization in a frustrated system of calling frogs

Ikkyu Aihara, Ryu Takeda, Takeshi Mizumoto, Takuma Otsuka, Toru Takahashi, Hiroshi G. Okuno, Kazuyuki Aihara
2011 Physical Review E  
Therefore, the spontaneous calling behavior of interacting males can be understood as a system of coupled oscillators.  ...  In addition, we experimentally verify the theoretical prediction by ethological experiments on the calling behavior of three frogs and time series analysis on recorded sound data.  ...  Aoki, for their fruitful discussions, and also wish to thank K. Homma and A. Kitajima for their kind cooperation with the field research.  ... 
doi:10.1103/physreve.83.031913 pmid:21517531 fatcat:o67ek6upubhcbmlqs3luemmzzu

Three-species monomer-monomer model: A mean-field analysis and Monte Carlo study

Kevin E. Bassler, Dana A. Browne
1997 Physical review. E, Statistical physics, plasmas, fluids, and related interdisciplinary topics  
Static Monte Carlo simulations show a phase diagram consisting of a reactive steady state bordered by three equivalent unreactive phases where the surface is saturated with one monomer species.  ...  behavior in the even branching annihilating random walk class.  ...  FIG. 8 .FIG. 9 . 89 Average number of vacancies for p AB = 0.5, and p C ≤ p * C showing crossover from bicritical behavior to sub-critical behavior.  ... 
doi:10.1103/physreve.55.5225 fatcat:movyf7bharasldklv2rln6tnu4

Agent-based Simulation with Process-interaction Worldview

Shufang Xie, Tao Zhang, Oliver Rose
2019 SNE Simulation Notes Europe  
A method for combining the agent-based simulation and the PIW is proposed. The method is validated by applying in a simple queue system and compared with the normal ABS with a timescale.  ...  So, to speed up the ABS, we introduce a process-interaction worldview (PIW) originated in the discrete event simulation to the ABS.  ...  The two states will be defined in Section 2.2. Behaviors There are two types of behaviors: persistent behaviors and transient behaviors.  ... 
doi:10.11128/ fatcat:gjzbeuifubaxnaagjpkykbejve

Spectator Behavior in a Quantum Hall Antidot with Multiple Bound Modes

W.-R. Lee, H.-S. Sim
2010 Physical Review Letters  
This behavior is a possible origin of the features of previous experimental data which remain unexplained, spectator behavior in an antidot molecule and resonances in a single antidot with three modes.  ...  We find the spectator behavior that the resonances of some modes disappear and instead are replaced by those of other modes, due to internal charge relaxation between the modes.  ...  Kataoka for discussion, and NRF (2009-0078437).  ... 
doi:10.1103/physrevlett.104.196802 pmid:20866987 fatcat:c3afbx7oqfhtdohwxoqpe7k6j4

Gap-size distribution functions of a random sequential adsorption model of segments on a line

N. A. M. Araújo, A. Cadilhe
2006 Physical Review E  
We also analyzed the above quantities for the four possible segment-to-segment gap types. We ranged the values of the size ratio from one to twenty.  ...  We followed the kinetics towards the jamming state, but we paid particular attention to the characterization of the jamming state structure.  ...  One of us (NA) thanks Fundação para a Ciência e a Tecnologia for a Ph.D grant (SFRH/BD/17467/2004). We also want to thank Professor Vladimir Privman for useful comments.  ... 
doi:10.1103/physreve.73.051602 pmid:16802941 fatcat:gvznvqzarfhptgxbg3zalcqtbe

A Mathematical Model for Attitude Formation by Pair Interactions [article]

Dirk Helbing
1998 arXiv   pre-print
Three types of pair interactions leading to attitude changes can be found: First, changes by some kind of avoidance behavior. Second, changes by a readiness for compromises.  ...  Different types of behavior are distinguished by introducing several subpopulations. Representative solutions of the model are illustrated by computational results.  ...  Haag for valuable discussions, and to the Volkswagen foundation for financial support.  ... 
arXiv:cond-mat/9805145v1 fatcat:gobewnof3vct7pgvsavngcobvu

Effect of crystallographic anisotropy on the resistance switching phenomenon in perovskites

T. Plecenik, M. Tomášek, M. Belogolovskii, M. Truchly, M. Gregor, J. Noskovič, M. Zahoran, T. Roch, I. Boylo, M. Španková, Š. Chromik, P. Kúš (+1 others)
2012 Journal of Applied Physics  
The type (i) junctions exhibited conventional bipolar resistance switching behavior, whereas in other two types the low-resistance state was unsteady and their resistance quickly relaxed to the initial  ...  high-resistance state.  ...  If we take t ab ~ 10 s, then for the in-plane diffusion coefficient we get D ab = L 2 /t ab 1 0 -14 cm 2 s -1 .  ... 
doi:10.1063/1.3691598 fatcat:6rvxp4dhtzg4bnzdwinnz5szp4

Crowbar: Behavioral Symbolic Execution for Deductive Verification of Active Objects [article]

Eduard Kamburjan and Marco Scaletta and Nils Rollshausen
2022 arXiv   pre-print
We present the Crowbar tool, a deductive verification system for the ABS language. ABS models distributed systems with the Active Object concurrency model.  ...  Crowbar has a clear interface to implement new specification languages and verification calculi in the Behavioral Program Logic and has been applied for the biggest verification case study of Active Objects  ...  We thank Daniel Drodt for his work on nullability checks.  ... 
arXiv:2102.10127v2 fatcat:v3hlok6wkzhyhclqpfxq2nnxh4


2009 International Journal of Modern Physics C  
The staggered quadrupolar ordering region separates into five ordering regions (A_3B(a), A_3B(f), AB (type-I), AB(type-II) and AB_3(f)) which have the different stoichiometric Cu-Au type structures.  ...  The ground state diagram (k, d) of the fcc BEG model has ferromagnetic (F), quadrupolar (Q) and staggered quadrupolar (SQ) ordering regions.  ...  At the phase boundary, the successive AB (type-I)−F − AB (type-I)−F − AB (type-II)−F − P phase transitions occur between the AB (type-I) and the AB 3 (f ) ground state regions at d = −15.9.  ... 
doi:10.1142/s0129183109014631 fatcat:twqxo3duxja43dd2ed3t5jaun4

Behavior-Preserving Refinement Relations Between Dynamic Software Architectures [chapter]

Reiko Heckel, Sebastian Thöne
2005 Lecture Notes in Computer Science  
For each level of abstraction, we employ an architectural style covering structural restrictions on component configurations as well as supported communication and reconfiguration operations.  ...  We propose a notion of refinement which requires the preservation of both structure and behavior at the lower level of abstraction.  ...  This property is expressed in terms of structural refinements for all states reachable in the abstract behavior.  ... 
doi:10.1007/978-3-540-31959-7_1 fatcat:lcghcbbxqzelxnqjqblvmroocu

Transport Measurement of Andreev Bound States in a Kondo-Correlated Quantum Dot

Bum-Kyu Kim, Ye-Hwan Ahn, Ju-Jin Kim, Mahn-Soo Choi, Myung-Ho Bae, Kicheon Kang, Jong Soo Lim, Rosa López, Nam Kim
2013 Physical Review Letters  
On the other hand, crossing of the two Andreev bound states is shown in the second type (type II) together with the 0-π transition of the Josephson junction.  ...  In the first type (type I), the coupling is strong and the Kondo effect is dominant. Levels of the Andreev bound states display anti-crossing in the middle of the ridge.  ...  Suppression of the supercurrent is clearly shown for the type-II ridge at the '' state'' [right panel of Fig. 3(b) ].  ... 
doi:10.1103/physrevlett.110.076803 pmid:25166391 fatcat:h7xzf2s4ojelhcdp7xqnwzzfra

Unconventional Quantum Criticality in β-YbAlB4 Detached from Its Magnetically Ordered Phase

Takahiro Tomita, Kentaro Kuga, Yoshiya Uwatoko, Piers Coleman, Satoru Nakatsuji
2015 Physics Procedia  
However, the non-Fermi liquid (NFL) behavior is found to be robust over a broad range of pressure 0 ≤ P ≤ 0.5 GPa.  ...  The NFL state above T c gradually changes to the Fermi liquid state with the application of pressure above P 0.5 GPa. The magnetic order transition is first observed at 50 mK and P c = 2.7 GPa.  ...  Shimura for support in experiments and K. Miyake and S. Watanabe for fruitful discussions. The authors are also grateful to N. Horie for experimental assistance.  ... 
doi:10.1016/j.phpro.2015.12.060 fatcat:puf7657p6nalbokz4uj5uhgjxm
« Previous Showing results 1 — 15 out of 414,886 results