Understanding the notion of a model is not always easy in logic courses. Hence, tools such as Euler diagrams are frequently applied as informal illustrations of set-theoretical models. We formally investigate Euler diagrams as an introduction to set-theoretical models. We show that the model-theoretic notions of validity and invalidity are characterized by Euler diagrams, and, in particular, th...

A screen-printed dissolved oxygen sensor was fabricated using cerium oxide-supported silver catalyst and polydimethylsiloxane (PDMS) film. A PDMS film of 3 µm thickness showed good permeability for oxygen and impermeability for hydrogen peroxide. The calibration curve has shown a linear relationship with a correlation coefficient of 0.996 for the dissolved oxygen concentration. The sensitivi...

This paper describes the test collections produced for the Patent Retrieval Task in the Fifth NTCIR Workshop. We performed the invalidity search task, in which each participant group searches a patent collection for the patents that can invalidate the demand in an existing claim. For this purpose, we performed both document and passage retrieval tasks. We also performed the automatic patent cla...

This paper describes the Patent Retrieval Task in the Fourth NTCIR Workshop, and the test collections produced in this task. We perform the invalidity search task, in which each participant group searches a patent collection for the patents that can invalidate the demand in an existing claim. We also perform the automatic patent map generation task, in which the patents associated with a specif...

If all space is occupied by a linear bianisotropic material — whether homogeneous or not — then the concurrent replacements of the permittivity and the impermeability tensors by the negatives of their respective complex conjugates and of the magnetoelectric tensors by their respective complex conjugates (in the Boys–Post representation) imply the conjugation of both E and H, in the absence of e...

Context-aware adaptation is a central aspect of pervasive computing applications, enabling them to adapt and perform tasks based on contextual information. One of the aspects of context-aware adaptation is reconfiguration in which bindings are created between application component and remote services in order to realize new behaviour in response to contextual information. Various research effor...