PRIMA 2015: Principles and Practice of Multi-Agent Systems
18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings
Article
Traditional tool condition monitoring methods developed in an ideal environment are not universal in multiple working conditions considering different signal sources and recognition methods. This paper present...
Article
The great saphenous vein is the most commonly used vessel for coronary artery bypass grafting (CABG), but its use has been associated with a high restenosis rate at 10-year follow-up. This study sought to dete...
Chapter and Conference Paper
Prompt-based learning has been proved to be an effective way in pre-trained language models (PLMs), especially in low-resource scenarios like few-shot settings. However, the trustworthiness of PLMs is of param...
Chapter and Conference Paper
The effective monitoring of PM2.5, a major indicator of air pollution, is crucial to human activities. Compared to traditional physiochemical techniques, image-based methods train PM2.5 estimators by using dat...
Article
Ultrasonic vibration-assisted grinding (UVAG) is a highly effective technique for improving the grindability of difficult-to-cut materials, making it widely applicable in various industrial fields. However, th...
Article
The dried stem of Cistanche, is a famous Chinese traditional medicine. The main active pharmacodynamic components are phenylethanol glycosides (PhGs). Cistanche tubulosa produces higher level of PhGs in its stems...
Article
Perioperative coronary artery spasm (CAS) following coronary artery bypass grafting (CABG) is a severe or lethal condition that is rarely reported. In addition, rare cases with CAS following CABG in the non-ma...
Chapter and Conference Paper
Aspect-based sentiment classification (ABSC) is a very challenging subtask of sentiment analysis (SA) and suffers badly from the class-imbalance. Existing methods only process sentences independently, without ...
Article
Oxidized low-density lipoprotein (ox-LDL)-induced endothelial cell dysfunction is a significant event in the progression of atherosclerosis. Even Myricetin (Myr) has been exhibited strong antioxidant potency, ...
Article
Two patients diagnosed with cardiac foreign bodies underwent a surgical extraction in our department. The needles in both cases experienced a strange migration: the one disappeared from entry side and presente...
Chapter and Conference Paper
In recent years, Deep Neural Networks (DNN) have empowered Compressed Sensing (CS) substantially and have achieved high reconstruction quality and speed far exceeding traditional CS methods. However, there are...
Article
Cistanche tubulosa is one of the most valuable desert medicinal plants, whose cell culture investigations have been rarely reported before. Phenylethanoid glycosides (PhGs) are its major components with a wide ra...
Chapter and Conference Paper
In this paper, GNSS receiver dynamic accuracy verification environment is constructed. High precision trigger time recording circuit is designed with the precise time synchronization function of the timing rec...
Article
A considerably large class of critical applications run in distributed and real-time environments, and most of the correctness requirements of such applications must be expressed by time-critical properties. T...
Chapter and Conference Paper
This paper introduces a multi-modal logic of Quantified Coalition Logic of Knowledge, Belief and Certainty (QCLKBC) to establish a logical framework that can model novel properties concerning mental attitudes ...
Article
Coalition logic (CL) enables us to model the strategic abilities and specify what a group of agents can achieve whatever the other agents do. However, some rational mental attitudes of the agents are beyond th...
Article
Coalition logic (CL) is one of the most influential logical formalisms for strategic abilities of multi-agent systems. CL can specify what a group of agents can achieve through choices of their actions, denote...
Book and Conference Proceedings
18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings
Article
Diarrheagenic Escherichia coli (DEC), including Enterotoxigenic E.coli (ETEC), Enteroaggregative E.coli (EAEC), Enteropathogenic E.coli (EPEC), Enterohemolysin E.coli (EHEC) and Enteroinvasive E.coli (EIEC) cause...
Chapter and Conference Paper
This paper introduces a multi-dimensional modal logic of Quantified Coalition Logic of Beliefs, Desires and Intentions (QCLBDI) to reason about how agents’ mental attitudes evolve by cooperation in game-like m...