Results 201 to 210 of about 57,211 (297)

Semantically Correct Policy Mining and Enforcement for Attribute based Access Control. [PDF]

ACM Trans Internet Technol
Batra G, Talegaon S, Atluri V, Vaidya J, Sural S.   +4 more
europepmc   +1 more source

Implementing Structural Operational Semantics in Python

Journal of KIISE, 2018
Suhwan Ji, Hyeonseung Im
openaire   +1 more source

Academic misconduct appeal services in China: Platform logics, self‐platformization and implications for integrity education

British Educational Research Journal, EarlyView.
Abstract Academic misconduct appeal services have quietly emerged within China's education marketplace, with commercial agencies promoting themselves on social media to assist international students facing misconduct hearings. While existing research on academic integrity has emphasized prevention and detection, far less attention has been paid to what
Gengyan Tang, Sarah Elaine Eaton, Wei Cai   +2 more
wiley   +1 more source

Data Interpretation in Structural Health Monitoring: Toward a Universal Language. [PDF]

Sensors (Basel)
Ruiz M, Gualdrón Ó, Peral Mondaza JA, Mujica Delgado LE.   +3 more
europepmc   +1 more source

Compositionality of Hennessy-Milner logic by structural operational semantics

, 2006
Wan Fokkink, R.J. vanGlabbeek, P. deWind
openalex   +1 more source

Transforming Brain Health With Neurotechnology Convergence (Part II): Intelligent Neurointervention Systems for Neurological Disorders

Brain Health, EarlyView.
ABSTRACT Neurological disorders represent a critical domain within global health, necessitating advanced interventions to address complex pathologies such as tumors, functional disorders, and cerebrovascular diseases. Despite the proven benefits of early intervention, current treatment paradigms face significant challenges: (1) limited precision in ...
Qing Ye, Fei Peng, Chao Pan, Ping Zhang, Xuewei Xie, Zixiao Li, Yingxin Tang, Danyang Chen, Yuanwei Li, Jiawen Wu, Zao Han, Qing Dai, Quansheng Gu, Jizong Zhao, Zhouping Tang   +14 more
wiley   +1 more source

Hemispheric disconnection as a basis for neurodegeneration in apraxia and Alzheimer's disease. [PDF]

Discov Ment Health
Sanna M.
europepmc   +1 more source

Structural Operational Semantics for Stochastic Systems (talk) [PDF]

, 2008
Vladimiro Sassone
openalex  

Ontology Combined Structural and Operational Semantics for Resource-Oriented Service Composition

, 2020
Cheng Xie, Hongming Cai, Lihong Jiang
openalex   +1 more source

Structural operational semantics for non-deterministic processes with quantitative aspects [PDF]

, 2014
Marino Miculan, Marco Peressotti
openalex   +1 more source