Results 21 to 30 of about 3,329,409 (253)

Tree rules in probabilistic transition system specifications with negative and quantitative premises [PDF]

Electronic Proceedings in Theoretical Computer Science, 2012
Probabilistic transition system specifications (PTSSs) in the ntmufnu/ntmuxnu format provide structural operational semantics for Segala-type systems that exhibit both probabilistic and nondeterministic behavior and guarantee that isimilarity is a ...
Pedro R. D'Argenio, Matias David Lee, Daniel Gebler   +2 more
doaj   +1 more source

Multimodal sleep staging network based on obstructive sleep apnea

Frontiers in Computational Neuroscience
BackgroundAutomatic sleep staging is essential for assessing sleep quality and diagnosing sleep disorders. While previous research has achieved high classification performance, most current sleep staging networks have only been validated in healthy ...
Jingxin Fan, Jingxin Fan, Jingxin Fan, Mingfu Zhao, Li Huang, Li Huang, Bin Tang, Bin Tang, Lurui Wang, Zhong He, Zhong He, Xiaoling Peng   +11 more
doaj   +1 more source

Selective enforcement of regulation

China Journal of Accounting Research, 2011
Regulatory agencies may, whether outside of set rules or within their discretion, depart from the original goals or principles set for enforcing the rules, which we term selective enforcement.
Donghua Chen, Dequan Jiang, Shangkun Liang, Fangping Wang   +3 more
doaj   +1 more source

Regular-triangle trimer and charge order preserving the Anderson condition in the pyrochlore structure of CsW2O6

Nature Communications, 2020
Many rules have been suggested to rationalize the behaviour of transition metal oxides but the complex underlying physics often leads to deviations from the expected behaviour. Here the authors show that the metal-insulator transition in CsW2O6 satisfies
Yoshihiko Okamoto, Haruki Amano, Naoyuki Katayama, Hiroshi Sawa, Kenta Niki, Rikuto Mitoka, Hisatomo Harima, Takumi Hasegawa, Norio Ogita, Yu Tanaka, Masashi Takigawa, Yasunori Yokoyama, Kanji Takehana, Yasutaka Imanaka, Yuto Nakamura, Hideo Kishida, Koshi Takenaka   +16 more
doaj   +1 more source

Timed Colored Logical Petri Net [PDF]

Jisuanji kexue yu tansuo
Aiming at the problems of weak expressive ability and narrow scope of application in extended colored logical Petri net, timed colored logical Petri net is proposed. Firstly, instantiating colors and using variables to build expressions on directed edges
WANG Jiafeng, XU Xian
doaj   +1 more source

Exploring the effects of partitioned transition rules upon urban growth simulation in a megacity region: a comparative study of cellular automata-based models in the Greater Wuhan Area

GIScience & Remote Sensing, 2021
Substantial studies have been conducted to simulate urban growth in the rapidly growing regions for planning and management. However, the difficulty remains in the establishment of urban growth models designed for megacity regions, particularly due to ...
Chang Xia, Bin Zhang
doaj   +1 more source

Reactive Rules for Emergency Management [PDF]

, 2010
The goal of the following survey on Event-Condition-Action (ECA) Rules is to come to a common understanding and intuition on this topic within EMILI. Thus it does not give an academic overview on Event-Condition-Action Rules which would be valuable for ...
Brodt, Simon, Bry, François, Hausmann, Steffen   +2 more
core   +1 more source

Incomplete Judgments in AHP: Transition-Based Approaches, Aggregation Strategies, and Their Impact on Decision Outcomes

Algorithms
This paper examines decision-making challenges that arise when information is incomplete, specifically when judgments are missing or unavailable in the context of individual and group applications of the Analytic Hierarchy Process (AHP). Two illustrative
Bojan Srđević, Zorica Srđević
doaj   +1 more source

Weak $$\Xi _{QQ} \rightarrow \Sigma _Q \ell ^+ \ell ^-$$ Ξ QQ → Σ Q ℓ + ℓ - decays induced by FCNC in QCD

European Physical Journal C: Particles and Fields, 2022
With the discovery of the doubly heavy $$\Xi _{cc}$$ Ξ cc baryon, comprehensive studies of the properties of the doubly heavy baryons are started. In the present work, we examine the $$\Xi _{bb} \rightarrow \Sigma _b \ell ^+ \ell ^-$$ Ξ bb → Σ b ℓ + ℓ ...
T. M. Aliev, M. Savci, S. Bilmis
doaj   +1 more source

Molecular dynamics study on the structural properties and phase transformation of Cu-Au nanoparticles

Materials Research Express, 2023
The electroreduction of CO _2 to carbon-containing products carries considerable significance. Cu-Au alloys have been considered as potential bimetallic catalysts recently.
Haowei Cui, Kun Meng
doaj   +1 more source