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...

Indenopyridine hydrochloride (IH), an antispermatogenic agent, was tested to determine the testicular pathological changes, seminal spermatozoa concentrations and seminal plasma alkaline phosphatase levels in male dogs. A single oral dosage of 30 mg IH/kg BW induced the dissociation and premature release of germ cells into the lumens of seminiferous tubules. Ring-shaped spermatid nuclei, nuclea...

Besides the high performance simultaneous localization and mapping algorithm (SLAM) has to build the 3D mapping at the same time and to estimate the pose of the locomotion in real time, the flawlessly mobile robotic application tasks, meanwhile should be able to recognize objects in the environment in order to achieve the variety practical missions. This paper hence presents a coordination betw...

At present, multi-information fusion and compressive sensing arouse more and more research interest of people in the field of wireless sensor network. In wireless sensor network, due to the characteristics of limited energy and large quantity of nodes, it is unable to reduce network data traffic effectively through information simplification of monitoring data. In this paper, we divide the sens...

Quercetin, a flavone, is multifaceted, having anti-oxidative, anti-inflammatory, and anticancer properties. In the present study, we explored the effects of quercetin on the epithelial-mesenchymal transition (EMT) and invasion of pancreatic cancer cells and the underlying mechanisms. We noted that quercetin exerted pronounced inhibitory effects in PANC-1 and PATU-8988 cells. Moreover, quercetin...

The complexity of voting procedures make it challenging to design a secure electronic voting system. In many proposals, the security of the system relies mainly on a black box voting machine. Meanwhile, the most advanced proposals base their security arguments on (complicated) cryptographic protocols, e.g. blind signatures or homomorphic schemes. Canard and Traoré proposed cryptographic primiti...

It has been shown that the eyes anticipate the target of the next manual object interaction. Meanwhile, manual interactions anticipate object features for grasp adjustments (first order) and the most convenient end-state in anticipation of subsequent tasks (second order). Moreover, grasping kinematics for the same object can vary depending on the final goal (third order planning). In an eye-tra...

Web mining is good established technology when we must search data in the form of plain text. For this common purpose many well designed algorithms an technologies (like ontologies) has been developed and adopted. Other situation is when the most important information, which must be searched and retrieved from multimedial databases, is presented in the form of digital image. Meanwhile we observ...

Southern rice black-streaked dwarf virus (SRBSDV) has spread from thesouth of China to the north of Vietnam in the past few years and severelyinfluenced rice production. Its long incubation period and early symptoms are not evident; thus, controlling it is difficult. Chitosan oligosaccharide (COS) is a green plant immunomodulator. Early studies showed that preventing and controlling SRBSDV have...

Four new cuprous complexes (1-4) containing bisphosphine and triazolylpyridine donors have been prepared in order to examine the effects of the methyl group and the carbazole appendage on photo- and electro-luminescence (PL and EL) properties. Because of their additional steric hindrance from the methyl substituent group at a 6-pyridine ring, complexes 3 and 4, compared with the methyl group fr...