다중혈관 관상동맥 환자에서 y-문합을 이용하여 양쪽 내흉동맥만을 사용한 우회술의 조기 성적

Deposits of clastic carbonate-dominated (calciclastic) sedimentary slope systems in the rock record have been identified mostly as linearly-consistent carbonate apron deposits, even though most ancient clastic carbonate slope deposits fit the submarine fan systems better. Calciclastic submarine fans are consequently rarely described and are poorly understood. Subsequently, very little is known especially in mud-dominated calciclastic submarine fan systems. Presented in this study are a sedimentological core and petrographic characterisation of samples from eleven boreholes from the Lower Carboniferous of Bowland Basin (Northwest England) that reveals a >250 m thick calciturbidite complex deposited in a calciclastic submarine fan setting. Seven facies are recognised from core and thin section characterisation and are grouped into three carbonate turbidite sequences. They include: 1) Calciturbidites, comprising mostly of highto low-density, wavy-laminated bioclast-rich facies; 2) low-density densite mudstones which are characterised by planar laminated and unlaminated muddominated facies; and 3) Calcidebrites which are muddy or hyper-concentrated debrisflow deposits occurring as poorly-sorted, chaotic, mud-supported floatstones. These

Phd by thesis

“Unpaired Image-to-Image Translation using Cycle-Consistent Adversarial Networks”の学習報告

https://www.cs.ox.ac.uk/people/bernardo.cuencagrau/publications/PelletDemo.pdf

Pellet: A practical OWL-DL reasoner

Data integration is the problem of combining data residing at different sources, and providing the user with a unified view of these data. The problem of designing data integration systems is important in current real world applications, and is characterized by a number of issues that are interesting from a theoretical point of view. This document presents on overview of the material to be presented in a tutorial on data integration. The tutorial is focused on some of the theoretical issues that are relevant for data integration. Special attention will be devoted to the following aspects: modeling a data integration application, processing queries in data integration, dealing with inconsistent data sources, and reasoning on queries.

/pdf/data-integration-a-theoretical-perspective-58aesjvhuk.pdf

Data integration: a theoretical perspective

Tangible user interfaces (TUIs) exhibit innovative interaction paradigms, for example through motion sensing, tactile feedback, or gesturing. Whilst wide spread in human-computer interaction, their value in robotic systems has still to be assessed. In this paper, we present some results obtained through an extensive experimental evaluation of motion sensing interaction paradigms implemented on TUIs for the teleoperation of ground robots. Once analyzed the collected data, in order to evince relevant properties of TUIs, we provide a detailed discussion of our results in terms of mission-related performance, environment conditions, robot operation degree, and human cognitive effort. Our belief is that such a study represents a valuable step towards a formal assessment of tangible interfaces in robotics.

Evaluating tangible paradigms for ground robot teleoperation

In this paper we present some results obtained through an experimental evaluation of tangible user interfaces (TUIs), comparing their novel interaction paradigms with more conventional interfaces, such as a joypad and a keyboard. Our main goal is to make a formal assessment of TUIs in robotics through a rigorous and extensive experimental evaluation. Firstly, we identified the main benefits of TUIs for robot teleoperation in a urban search and rescue task. Secondly, we provide an evaluation framework to allow for an effective comparison of tangible interfaces with other input devices.

Tangible interfaces for robot teleoperation

In this paper, we address coordination within a team of cooperative autonomous robots that need to accomplish a common goal. Our survey of the vast literature on the subject highlights two directions to further improve the performance of a multi-robot team. In particular, in a dynamic environment, coordination needs to be adapted to the different situations at hand (for example, when there is a dramatic loss of performance due to unreliable communication network). To this end, we contribute a novel approach for coordinating robots. Such an approach allows a robotic team to exploit environmental knowledge to adapt to various circumstances encountered, enhancing its overall performance. This result is achieved by dynamically adapting the underlying task assignment and distributed world representation, based on the current state of the environment. We demonstrate the effectiveness of our coordination system by applying it to the problem of locating a moving, non-adversarial target. In particular, we report on experiments carried out with a team of humanoid robots in a soccer scenario and a team of mobile bases in an office environment.

Multi-robot search for a moving target: Integrating world modeling, task assignment and context

A general problem in mobile robot navigation is knowing the robot's pose (position and orientation) in the environment. This is a crucial feature for autonomous robots performing complex tasks over long periods of time. Techniques for robot self-localization (see [2] for a survey) can be distinguished in the use of relative or absolute positioning methods. Each of these techniques provides good results as long as some assumption are veri ed. For example, dead reckoning approaches are accurate only over short runs of the robot, since error in positioning constantly increases over time. Moreover, global positioning systems and arti cial landmark recognition are e ective as long as the environment can be appropriately structured. Since none of these techniques provides for a global solution to the self-localization problem, it is often necessary to integrate di erent localization methods in order to improve the overall result. A typical solution is to rely on dead reckoning methods (such as odometry) for a short period of time, and then to apply an absolute positioning method. One of the most common class of methods for absolute positioning is model matching, that is the process of determining the pose of the robot by a matching between a given model of the environment (a map) and the information acquired by the robot's sensors. Observe that these methods require an a priori knowledge of the environment (a map), but they do not require ad hoc modi cations in the environment. In this paper we present a self-localization method that is based on matching a geometric reference map with a representation of range information acquired by the robot's sensors. The technique is quite adequate for indoor oAEce-like environments, and speci cally for those environments that can be represented by a set of segments. We exploit the properties of the Hough Transform for recognizing lines from a sets of points, as well as for calculating the displacement between the estimated and the actual pose of the robot. We tested the approach in the RoboCup environment [1] with good results.

http://www.wseas.us/e-library/conferences/florida1999/Papers/m45.pdf

Hough transform based localization for mobile robots

We present a semantic tableaux calculus for propositional nonmonotonic modal logics, based on possible-worlds characterisations for nonmonotonic modal logics. This method is parametric with respect to both the modal logic and the preference semantics, since it handles in a uniform way the entailment problem for a wide class of nonmonotonic modal logics: McDermott and Doyle's logics and ground logics. It also achieves the computational complexity lower bounds.

Daniele Nardi

Papers

Evaluating tangible paradigms for ground robot teleoperation

Tangible interfaces for robot teleoperation

Multi-robot search for a moving target: Integrating world modeling, task assignment and context

Hough transform based localization for mobile robots

A Uniform Tableaux Method for Nonmonotonic Modal Logics