There is a need to provide haptic and tactile feedback to surgeons during robot-assisted minimally invasive surgery (RMIS). Such feedback is also essential for palpation based diagnostic during cancer removal using MIS. There have been recent efforts at developing a mechatronic finger to mimic some of the palpation capabilities of a human finger. These mechatronic fingers typically record force...

In this paper, we propose the application of formal methods to Software Engineering. The most used data model is the relational model and we present, within the general framework of lattice theory, this analysis of functional dependencies. For this reason, we characterize the concept of f -family by means of a new concept which we call non-deterministic ideal operator (nd.ideal-o). The study of...

Abstract Clarifying the influences of paleoclimate changes on disjunct distribution formation plants allows a historical and mechanical understanding current vegetation biodiversity. This study investigated present Pinus koraiensis (Korean pine) using species modeling. A model (SDM) was built maximum entropy principle algorithms (MaxEnt), data from 152 occurrences species, four bioclimatic vari...

For developing good quality information systems, the need of developing good quality conceptual models cannot be over emphasized. To improve the quality of a conceptual model, schema transformation rules have been proposed in our previous research. For applications developed using relational database management systems, conceptual models are translated into relational schema and the quality of ...

We consider the problem of updating databases through views composed of selections, projections, and joins of a series of Boyce-Codd Normal Form relations. This involves translating updates expressed against the view to updates expressed against the database. Previously, we enumerated all translations of view updates into database updates that satisfy five criteria. This enumeration shows that ...

Abstract Ecological niche models have proved to be a powerful tool in assessing invasiveness risk of alien species, allowing the optimization control strategies. Vespa velutina (Hymenoptera: Vespidae) is an invasive species with strong ecological, economical and health impacts Europe after it was first reported France 2004. It detected for time on Mediterranean island (Mallorca, Balearic Island...

A common approach in designing relational databases is to start with a universal relation schema, which is then decomposed into multiple subschemas. A good choice of subschemas can be determined using integrity constraints defined on the schema, such as functional, multivalued or join dependencies. In this paper we propose and analyze a new normal form based on the idea of minimizing overall st...

Given the fact that relational and object-relational databases are the most widely used technology for storing data and that XML is the standard format used in electronic data interchange, the process of converting relational data to XML documents is one that occurs frequently. The problem that we address in this paper is an important one related to this process. If we convert a relation to an ...