نتایج جستجو برای: rigid
تعداد نتایج: 41768 فیلتر نتایج به سال:
Rigid endoscopes like graded-index (GRIN) lenses are known tools in biological imaging, but it is conceptually difficult to miniaturize them. In this letter, we demonstrate an ultra-thin rigid endoscope with a diameter of only 125 μm. In addition, we identify a domain where two-photon endoscopic imaging with fs-pulse excitation is possible. We validate the ultra-thin rigid endoscope consisting ...
This paper investigates the notion of definiteness from a psycholinguistic perspective and addresses Löbner’s (1987) distinction between semantic and pragmatic definites. To this end inherently definite noun phrases, proper names, and indexicals are investigated as instances of (relatively) rigid designators (i.e. semantic definites) and contrasted with definite noun phrases and third person pr...
this paper is an attempt at providing a systematic presentation of Quantified Modal Logics (with constant domains and rigid designators). We present a set of modular, uniform, normalizing, sound and complete labelled sequent calculi for all QMLs whose frame properties can be expressed as a finite set of first-order sentences with equality. We first present CQK, a calculus for the logic QK, and ...
Semantic interoperability is essential when carrying out postgenomic clinical trials where several institutions collaborate, since researchers and developers need to have an integrated view and access to heterogeneous data sources. In this paper we present a solution that uses an ontology based on the HL7 v3 Reference Information Model and a set of R2RML mappings that relate this ontology to an...
BACKGROUND In this paper, we propose a non-linear calibration method for hand-eye system equipped with a camera undergoing radial distortion as the rigid endoscope. Whereas classic methods propose either a separated estimation of the camera intrinsics and the hand-eye transform or a mixed non-linear estimation of both hand-eye and camera intrinsics assuming a pin-hole model, the proposed approa...
The ontologization of non-ontological resources has led to the design of several specific methods, techniques and tools. Among those techniques, we have the Re-engineering Patterns. More specifically, we have the Patterns for re-engineering NORs (PR-NOR) that define a procedure that transforms the NOR terms into ontology representational primitives. Currently, the W3C RDB2RDF Working Group is a...
Redis is a widely used non-relational and in-memory database system. It holds a large amount of information both in memory and file system, which is of great significance to forensic analysis. This paper mainly proposes a forensic analysis method for Redis based on RDB and AOF file. A method of extracting useful information from RDB backup file is proposed based on the data storage mechanism de...
Nowadays, swirling around most businesses is not structure information but semi-structure information, such as spreadsheets, and documents created by an individual or company. However, in spite of success of data management of structure data by using databases, current enterprise information infrastructure is poorly suited for dealing with the continuing, rapid explosion of semi-structure data ...
Image processing methods, which can visualize objects inside the human body, are of special interests. In clinical diagnosis using medical images, integration of useful data from separate images is often desired. The images have to be geometrically aligned for better observation. The procedure of mapping points from the reference image to corresponding points in the floating image is called Ima...
This paper extends a calculus for rst-order logic that combines the inference mechanism of hyperresolution with the more informative structure of analytic tableaux and that has been introduced as hyper tableaux by Baumgartner et al. (1996). This clausal tableau calculus is proof connuent, but suuers from the need of partial ground instantia-tions. I will develop an improvement of hyper tableaux...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید