Paul Bernays and David Hilbert carefully avoided overspecification of Hilbert’s ε-operator and axiomatized only what was relevant for their proof-theoretic investigations. Semantically, this left the ε-operator underspecified. In the meanwhile, there have been several suggestions for semantics of the ε as a choice operator. After reviewing the literature on semantics of Hilbert’s epsilon operat...

Process mining is automated acquisition of process models from event logs. Although many process mining techniques have been developed, most of them are based on control flow. Meanwhile, the existing role-oriented process mining methods focus on correctness and integrity of roles while ignoring role complexity of the process model, which directly impacts understandability and quality of the mod...

Automatic lumen segmentation from intravascular optical coherence tomography (IVOCT) images is an important and fundamental work for diagnosis and treatment of coronary artery disease. However, it is a very challenging task due to irregular lumen caused by unstable plaque and bifurcation vessel, guide wire shadow, and blood artifacts. To address these problems, this paper presents a novel autom...

In view of the conservatism of the conventional linear matrix inequality (LMI) based fault detection observer design for Takagi-Sugeno fuzzy nonlinear systems with more If-Then rules, an improved fuzzy observer design is presented. The identical transformation of matrix inequalities is employed to reduce the conservatism and the number of LMI constraints, which can accommodate to the models wit...

Cetuximab is widely used in patients with metastatic colon cancer expressing wildtype KRAS. However, acquired drug resistance limits its clinical efficacy. Exosomes are nanosized vesicles secreted by various cell types. Tumor cell-derived exosomes participate in many biological processes, including tumor invasion, metastasis, and drug resistance. In this study, exosomes derived from cetuximab-r...

Diamond thin films are grown on silicon substrates by only using methanol and argon mixtures in microwave plasma chemical vapor deposition (MPCVD) reactor. It is worth mentioning that the novel strategy makes the synthesis reaction works smoothly without hydrogen atmosphere, and the substrates temperature is only 500 °C. The evidence of surface morphology and thickness under different time is o...

In this paper, a BCC-DPSO scheduling algorithm is proposed to solve multi-objective optimization problem for task scheduling on Network-on-Chip (NoC). In our proposal, the relative advantage of the solution is evaluated by calculating its efficiency using BCC model in Data Envelopment Analysis (DEA), and the referred-time method is introduced to rank the BCC-efficient solution. Moreover, a sub-...

Intra-body communication (IBC) is a technology using the conductive properties of the body to transmit signal, and information interaction by handshake is regarded as one of the important applications of IBC. In this paper, a method for modeling the galvanic coupling intra-body communication via handshake channel is proposed, while the corresponding parameters are discussed. Meanwhile, the math...

Based on the propagation rules of electromagnetic waves in metal conductors, this paper analyzes the characteristics of electric field and magnetic field of internal conductors. Then the complex power of electromagnetic wave is calculated. The impedance calculation formula of metal conductor is derived. Moreover, in order to identify and detect defects of metal casing, an alternating current im...

The hybrid signcryption scheme based on certificateless public key cryptography avoids the complexity of certificate management existing in the traditional public key cryptography and the inherent key escrow problem existing in identity-based public key cryptography. The certificateless hybrid signcryption scheme combined with certificateless signcryption key encapsulation mechanism and data en...