Results 91 to 100 of about 237,500 (306)

Probabilistic Action System Trace Semantics [PDF]

, 2007
Action systems are a construct for reasoning about concurrent, reactive systems, in which concurrent behaviour is described by interleaving atomic actions.
Meinicke, Larissa
core  

Comparing Syntactic and Semantic Action Refinement

Information and Computation, 1996
AbstractThe semantic definition of action refinement on labelled configuration structures is compared with the notion ofsyntactic substitution, which can be used as another notion of action refinement in a process algebraic setting. The comparison is done by studying a process algebra equipped with sequential composition, parallel composition with an ...
Ursula Goltz, Roberto Gorrieri, Arend Rensink   +2 more
openaire   +2 more sources

An Explainable Multimodal Artificial Intelligence Model Integrating Histopathological Microenvironment and EHR Phenotypes for Germline Genetic Testing in Breast Cancer

Advanced Science, EarlyView.
This study presents an explainable multimodal AI model, MAIGGT (Multimodal Artificial Intelligence Germline Genetic Testing), that combines whole‐slide histopathology with clinical data for accurate germline BRCA1/2 mutation prescreening. By integrating digital pathology and EHR phenotypes, MAIGCT enables cost‐effective, scalable hereditary breast ...
Zijian Yang, Changyuan Guo, Jiayi Li, Yalun Li, Lei Zhong, Pengming Pu, Tongxuan Shang, Lin Cong, Yongxin Zhou, Guangdong Qiao, Ziqi Jia, Hengyi Xu, Heng Cao, Yansong Huang, Tianyi Liu, Jian Liang, Jiang Wu, Dongxu Ma, Yuchen Liu, Ruijie Zhou, Xiang Wang, Jianming Ying, Meng Zhou, Jiaqi Liu   +23 more
wiley   +1 more source

NO Formation and Autoignition Dynamics during Combustion of H₂O-Diluted NH₃/H₂O₂ Mixtures with Air

Energies, 2020
NO formation, which is one of the main disadvantages of ammonia combustion, was studied during the isochoric, adiabatic autoignition of ammonia/air mixtures using the algorithm of Computational Singular Perturbation (CSP).
Ahmed T. Khalil, Dimitris M. Manias, Dimitrios C. Kyritsis, Dimitris A. Goussis   +3 more
doaj   +1 more source

Blockchain‐Empowered H‐CPS Architecture for Smart Agriculture

Advanced Science, EarlyView.
This article reviews the current system architectures for smart agriculture and proposes a blockchain‐empowered hierarchical cyber‐physical system (H‐CPS) framework. It discusses the challenges and outlines future research directions, including the use of semantic blockchain to handle complex data and models.
Xiaoding Wang, Qibin Wu, Haitao Zeng, Xu Yang, Hui Cui, Xun Yi, Md. Jalil Piran, Ming Luo, Youxiong Que   +8 more
wiley   +1 more source

UNCONTROLLABILITY AND TEMPORALITY

Вестник Кемеровского государственного университета, 2013
The paper considers the influence of the semantics of uncontrollability on the use of verbs in different tense forms.
T. G. Pismak
doaj  

Subjective semantics of action: age aspect [PDF]

, 2006
У статті наводяться дані апробації «Тесту соціальної компетентності підлітка». Зроблено висновок: компетентність підлітків у семантиці вчинку залежить від притаманних індивідуальних якостей та суспільно прийнятних форм семантичного вираження досвідуВ ...
Лозова, Ольга Миколаївна
core  

CDC: Convolutional-De-Convolutional Networks for Precise Temporal Action Localization in Untrimmed Videos

, 2017
Temporal action localization is an important yet challenging problem. Given a long, untrimmed video consisting of multiple action instances and complex background contents, we need not only to recognize their action categories, but also to localize the ...
Chan, Jonathan, Chang, Shih-Fu, Miyazawa, Kazuyuki, Shou, Zheng, Zareian, Alireza   +4 more
core   +1 more source

Actors, actions, and initiative in normative system specification [PDF]

, 1993
The logic of norms, called deontic logic, has been used to specify normative constraints for information systems. For example, one can specify in deontic logic the constraints that a book borrowed from a library should be returned within three weeks, and
D.T. Sannella, H. Kamp, J. -J. Ch. Meyer, J.-J.Ch. Meyer, J.-J.Ch. Meyer, J.-J.Ch. Meyer, J.A. Bergstra, J.A. Bergstra, J.A. Goguen, J.J.Ch. Meyer, R. J. Wieringa, R. Reiter, R.J. Glabbeek van, R.J. Wieringa, R.J. Wieringa, R.J. Wieringa, R.M. Lee, S. Khosla, S.N. Khoshafian, W. Hoek van der   +19 more
core   +3 more sources

A Wearable AI‐Driven Mask with Humidity‐Sensing Respiratory Microphone for Non‐Vocal Communication

Advanced Science, EarlyView.
A wearable, plug‐and‐play respiratory microphone—featuring a gold nanoparticle‐based humidity sensor—facilitates voice‐free verbal communication for patients with impaired vocal fold function. Abstract Hoarseness and dysphonia caused by vocal cord conditions or laryngeal surgeries significantly hinder communication and quality of life.
Jianfei Wang, Hongyu Zhang, Xiaomin Wu, Mingyan Gao, He Wen, Zhibo Zhang, Kremena Makasheva, Wen Jung Li, Zuobin Wang   +8 more
wiley   +1 more source