Search results for " Soft"

Temporal Logic To Query Semantic Graphs Using The Model Checking Method

2012

International audience; Semantic interoperability problems have found their solutions due to the use of languages and techniques from the Semantic Web. The proliferations of ontologies and meta-information have improved the understanding of information and the relevance of search engine responses. However, the construction of semantic graphs is a source of numerous errors of interpretation or modeling, and scalability remains a major problem. The processing of large semantic graphs is a limit to the use of semantics in current information systems. The work presented in this paper is part of a new research at the border of two areas: the semantic web and the model checking. This line of rese…

Swarming of micron-sized hematite cubes in a rotating magnetic field -- Experiments

2020

Energy input by under-field rotation of particles drives the systems to emergent non-equilibrium states. Here we investigate the suspension of rotating magnetic cubes. Micron-sized hematite cubes are synthesized and observed microscopically. When exposed to a rotating magnetic field, they form rotating swarms that interact with each other like liquid droplets. We describe the swarming behaviour and its limits and characterize swarm size and angular velocity dependence on magnetic field strength and frequency. A quantitative agreement with a theoretical model is found for the angular velocity of swarms as a function of field frequency. It is interesting to note that hematite particles with p…

Typology of Hirnantian glacial pavements in SW Djado Basin (NE Niger).

2006

11 pages; International audience

Close-Range Photogrammetric Tools for Epigraphic Surveys

2016

In this article, we present a method to carry out a computerized epigraphic survey of historic stones and their engraved epigraphy. In fact, the preservation of archaeological objects has always been an issue of concern for the research community. On the one hand, the fragility of the objects limits their study. On the other hand, such objects are housed in museums, libraries, and institutions worldwide, locations that significantly limit their accessibility. Different survey methods have been carried out in these attempts to overcome the aforementioned limitations. Among them, the MicMac open source software was used in this work to survey and process the dense correlation of the hieroglyp…

Software architectures for cloud robotics : the 5 view Hyperactive Transaction Meta-Model (HTM5)

2015

Software development for cloud connected robotic systems is a complex software engineeringendeavour. These systems are often an amalgamation of one or more robotic platforms, standalonecomputers, mobile devices, server banks, virtual machines, cameras, network elements and ambientintelligence. An agent oriented approach represents robots and other auxiliary systems as agents inthe system.Software development for distributed and diverse systems like cloud robotic systems require specialsoftware modelling processes and tools. Model driven software development for such complexsystems will increase flexibility, reusability, cost effectiveness and overall quality of the end product.The proposed …

TRANS-FUSIMO – A novel system for treatment support for FUS applications in moving abdominal organs

2018

Computer based treatemnt support for FUS therapy of moviving abdominal organs is essential due to great intrinsic challenges: the target moves due to breathing and may be occluded by the rib cage. In the EU project TRANS-FUSIMO we have developed a sophisticated software system that connects to a FUS transducer and an MRI. This enables physicians to conduct safe, effective and efficient ablation of tumors in the moving liver.

Soft tissue integration of different abutment surfaces: An experimental study with histological analysis

2021

OBJECTIVE To evaluate whether abutment surface and surface bio-activation have an effect on soft tissue morphogenesis. MATERIALS AND METHODS 36 patients (36 implants) were included. Abutments were randomly divided into 4 groups (n = 9): Smooth Surface-MAChined (MAC), Ultrathin Threaded Microsurface (UTM), MAC Plasma of Argon activated (Plasma-MAC), and UTM Plasma of Argon activated (Plasma-UTM). After 2 months of healing, soft tissue samples were collected and prepared for histological analysis. The margin of the peri-implant mucosa (PM), the apical extension of the barrier epithelium (aJE), and the apical location of the abutment (AM) were identified. Significances of differences among gro…

Uz lietotāja modeli balstīta personalizēta adaptīva e-studiju sistēma

2017

Promocijas darbs ir veltīts uz lietotāja modeli balstītas personalizētas adaptīvas e-studiju sistēmas izveides metožu izstrādei, lai veicinātu un uzlabotu e-studiju izmantošanu apmācības procesā. Darbā apskatīti adaptīvajās sistēmās iekļaujamie pamatmodeļi, īpašu uzmanību veltot lietotāja modelim un eksistējošajām adaptācijas metodēm. Balstoties uz esošo risinājumu analīzi, ir izstrādāts uz datu dzīves ilgumu bāzēts lietotāja modelis un piedāvātas trīs jaunas adaptācijā izmantojamās metodes: apmācāmo grupu veidošanas metode, kursa optimālās tēmu secības izveides metode un tēmu secības organizēšanas metode. Izstrādātais lietotāja modelis un adaptācijas metodes nodrošina iespēju katram sistēm…

Agile software development in theory and practice

2002

Laboratorio informatico-statistico con R

2018

Questo manuale introduce all’ambiente R, un linguaggio di programmazione a oggetti, e fornisce gli strumenti essenziali per poter effettuare un’analisi statistica dei dati. Costituisce un valido supporto per gli studenti che seguono i corsi di Statistica descrittiva (modulo I) e Statistica inferenziale (modulo II), ma anche per i ricercatori che si accingono per la prima volta a usare questo linguaggio. Il testo richiama i concetti e gli argomenti fondamentali della Statistica di base ed è corredato di numerosi esempi ed esercizi svolti, elementi che lo rendono utile anche a studiosi di altre discipline.