The growing adoption of safety standards in the automotive industry results in an increasing interest in as well as an increasing uncertainty about software tool certification and qualification. With ISO 26262 on the horizon, new tool qualification requirements need to be understood and implemented by automotive software practitioners. This paper summarizes the tool qualification approach of IS...

The aim of this study is to examine the behavior and thinking levels of secondary school students towards the environment according to grade and gender. Relational screening model was used for the study. The sample includes a total of 958 (512 females and 446 males) secondary school students. Of the participants, 261 (27.2%) are in 6 th grade, 461 (48.1%) are in 7 th grade, and 236 (24.6%) are ...

We analyzed visualization paper keywords supplied for 4366 papers accepted to three main visualization conferences. We describe main keywords, topic areas, and 10-year historic trends from authorchosen keywords for papers published in the IEEE Visualization conference series (now called IEEE VIS) since 2004. Furthermore, we present the KeyVis Web application that allows visualization researcher...

T paper develops the first operational tests of portfolio efficiency based on the general stochastic dominance (SD) criteria that account for an infinite set of diversification strategies. The main insight is to preserve the cross-sectional dependence of asset returns when forming portfolios by reexpressing the SD criteria in T -dimensional Euclidean space, with elements representing rates of r...

This paper compared and analyzed efficiency of each storage medium, by changing the size of data buffer caching in a memory, after connecting DBMS with a storage medium. According to the result of the test, both performances of storage media increased, as the buffer size was greatly reduced. Seeing that D-SSD's performance and HDD's performance changed from above 1GB and 2GB, respectively, it i...

Hypertensive disorders in pregnancy deserve special attention in the setting of global public health. Currently, they represent the third cause of maternal mortality in the world and first in Brazil. From a practical standpoint, pre-eclampsia remains a syndrome that leads to serious repercussions on maternal and fetal mortality and its etiology is not well known. Currently, the best treatment f...

IMPORTANCE Several classifications of cholesteatoma exist, but there are controversies about their clinical application. OBJECTIVE To classify cholesteatomas and describe the prevalence of the subtypes. DESIGN, SETTING, AND PARTICIPANTS A cross-sectional comparative study of 414 ears in 356 consecutive patients with middle ear cholesteatoma and no history of ear surgery treated at a tertiar...

This paper looks at the expected results for a neutron diffraction study according to stripes theory, paying attention to the ratio of incommensurate to satellite peaks. In particular this paper looks at a square wave profile and the effects of doping on the peaks, for most doping levels seen in the literature (hole concentrations of 1/6 < p < 1/10) it appears that in order to detect satellite ...

In this note we show, following W. Holsztynski, that there is a continuous metric d on R such that any finite metric space is isometrically embeddable into (R, d). Let M be a family of metric spaces. A metric space U is said to be a universal space for M if any space from M is (isometrically) embeddable in U . Fréchet [2] proved that l (the space of all bounded sequences of real numbers endowed...

The aim of this work is to develop a user-friendly software allowing him to classify images according to their dominant colour expressed through linguistic expressions. With this aim in view, images are processed and stored in a database. The processing consists in assigning a profile to each image. To do this, we consider the pixels of the images in the colorimetric space HLS and then a restri...