We present a technique for devising a progress indicator of static analyzers. Progress indicator is a useful user interface that shows how close a static analysis has progressed so far to its completion. Because static analysis’ progress depends on the semantic complexity, not on the code size, of the target software, devising an accurate progressindicator is not obvious. Our technique first co...

The present descriptive correlational study was conducted to predict the role of emotional intelligence and the Myers-Briggs personality type in marital satisfaction in married female students Tehran University in 2015. The study population consisted of all the married female students at Tehran University who visited Iran MBTI center between 22.04.2015 and 21.06.2015. A total of 140 students we...

14 The elemental (C, N and P) and isotopic (δ 13 C, δ 15 N) content of leaves of the seagrasses 15 Thalassia testudinum, Halodule wrightii, and Syringodium filiforme were measured across a 16 10,000 km 2 survey of the seagrass communities of South Florida in 1999 and 2000. Trends at 17 local and broad spatial scales were compared to examine interspecific variation in the seagrass 18 characteris...

Introduction The enlarged coverage of the international publication and citation databases Web of Science and Scopus towards local media in social sciences was a welcome response to an increased usage of these databases in evaluation and funding systems. The mostly international journals available earlier were the basis for the development of current standard bibliometric indicators. The same i...

Ulam's method of discretising the dynamics of a smooth deterministic system to produce a nite state Markov chain approximation has been in use for over two decades. We review what can be done with the constructions, in the sense of how various dy-namical indicators and behaviour can be numerically extracted.

The Malcolm horizon (Malcolm, et. al., 1975) utilizes a large projected light stimulus (PVHD) as an attitude indicator in order to achieve a more compelling sense of roll than is obtained with smaller devices. The basic principle is that the larger stimulus is more similar to visibility of a real horizon during roll, and does not require fixation and attention to the degree that smaller display...

Aircraft engine manufacturers collect large amount of engine related data during flights. These data are used to detect anomalies in the engines in order to help companies optimize their maintenance costs. This article introduces and studies a generic methodology that allows one to build automatic early signs of anomaly detection in a way that is understandable by human operators who make the f...

Very high resolution satellite images are used to derive the spatial distributions of landscape ecological metrics within suburban areas. These indicators are weighted mean patch size and lacunarity computed from thresholded normalized difference vegetation index obtained from multispectral IKONOS-2 imagery. Spatial distributions of the metrics are derived for an extensive suburban area on the ...

With the emphasis on self-directed learning (SDL) and learner-controlled instruction (LCI) the author looks into the mechanism that has made several business and industrial sectors in the Western world progress significantly in the training and development field. The achievement of this strategy as compared to the traditional training of time-based rotation has made several organizations follow...

The sustainable organizational change has an ever increasing importance, leading to the rethinking of the management and systems of performance measurement and monitoring within the companies. As a reaction to current economic phenomena, in the first section of this work we tried to bring out the need for using the couple Balanced Scorecard Corporate Social Responsibility by companies. Thus, co...