In this paper, we show that the non-deterministic choice “+”, which was proposed as a primitive operator in Synchronization Tree Logic (STL for short) can be defined essentially by conjunction and disjunction in the μ-calculus (μM for short). This is obtained by extending the μcalculus with the non-deterministic choice “+” (denoted by μM) and then showing that μM can be translated into μM. Furt...

— Stereolithography (STL) is an additive manufacturing process which employs an ultraviolet curable photopolymer resin to form an object layer by layer. Due to the complicated multi-physical nature of the process, the major challenge that arises is the accuracy of the finished parts. The aim of the student-research project was to gain insight into the main governing effects of STL and to model ...

The main goal of this study was to explore different potential components of science and technological literacy. The study explores student’s skill of grouping concepts and creating a concept map. The sample for the study consisted of 131 grade 11 secondary school students from all over Estonia. A test comprising 2 problems was compiled to investigate the grouping of alcohol related concept and...

This paper describes the participation of RePaLi, a team composed with members of IRISA, LIMSI and STL, to the biomedical information retrieval challenge proposed in the framework of CLEF eHealth. For this first participation, our approach relies on a state-of-theart IR system called Indri, based on statistical language modeling, and on semantic resources. The purpose of semantic resources and ...

When printing a plate (or dish) by an FDM 3D printer, the process normally requires support material, which causes several problems. This paper proposes a method for forming thin plates without using wasteful support material. This method requires several extraordinary parameter values when slicing plates. The experiments show that the plates can, for the most part, be successfully formed using...

A great number of studies have investigated science teaching and learning (STL) using data from the Trends in International Mathematics Science Study (TIMSS) Programme for Student Assessment (PISA). Nevertheless, there is little effort to synthesise these studies. Reviewing status research on STL, including trends, approaches, findings crucial identifying gaps that require greater attention. Co...

BACKGROUND The purpose of this study was to report preliminary long-term outcomes after supratracheal laryngectomy (STL). METHODS Twenty-two male patients who underwent STL were involved in this study. Swallowing skills, neoglottis motility, and vibrations were videoendoscopically assessed. Aerodynamic measures, spectrogram analysis, aspiration pneumonia, body weight variations, and voice per...

Computer aided design (CAD) models are the starting point for many downstream applications such as mesh generation, structural/fluid/thermal analysis, rapid prototyping, numerical controlled machining, casting, computer graphics. Each of these downstream applications are strongly dependent on the accuracy and consistency of the input geometry, but due to numerical problems, imprecise design, so...

In this contribution, a software system for computer-aided position planning of miniplates to treat facial bone defects is proposed. The intra-operatively used bone plates have to be passively adapted on the underlying bone contours for adequate bone fragment stabilization. However, this procedure can lead to frequent intra-operatively performed material readjustments especially in complex surg...

High-content screening microscopy relies on automation infrastructure that is typically proprietary, non-customizable, costly and requires a high level of skill to use and maintain. The increasing availability of rapid prototyping technology makes it possible to quickly engineer alternatives to conventional automation infrastructure that are low-cost and user-friendly. Here, we describe a 3D pr...