Miracle-dz/UniFAR-FTUs huggingface dataset:
Analysing UML-Based Software Modelling Languages OZKAYA

In this paper, the existing 31 different UML-based software modelling languages have been analysed for a number of requirements that are believed to be highly important for practitioners. These requirements are formal semantics, multiple viewpoints modelling, model analysis, code-generation, and modelling toolset. According to the analysis results, only the UWE, TTool, Pi-ADL languages support all those requirements. While 21% of the languages offer general-purpose notation set, the rest offer domain-specific notation set and the top domains of interest are the multi-agent, embedded, and real-time systems. 38% of the languages use UML’s profiling mechanism for extending UML, 18% of the languages extend UML’s class diagram, and 13% of the languages extend UML’s state and sequence diagrams. 41% of the languages support the logical viewpoint and 36% support the behaviour viewpoint – the rest of the viewpoints are rarely used. 58% of the languages are defined formally and many of them are based on formal verification languages. 44% of the languages ignore model analysis. Among the rest, 25% of the languages support the exhaustive model checking and 14% support the analysis for well-formedness. Generating software code from software models and the modelling tool support are the least supported requirements by the UML-based languages.
L G ] 1 0 M ay 2 01 9 Assuring the Machine Learning Lifecycle : Desiderata , Methods , and Challenges

Interpretation [57] ✔ ★ Generate tests via simulation ✔ ★ ✩ ✩ Verifier of Random Forests [163] ✔ ★ Verification of ML Libraries [152] ✔ ★ Check for unwanted bias [15] ✔ ★ Use synthetic test data [162] ✔ ✔ ★ ★ ✩ Use GAN to inform test generation [181] ✔ ★ ★ Incorporate system level semantics [45] ✔ ✔ ★ ★ ✩ Counterexample-guided data augmentation [44] ✔ ★ ✩ ★ Probabilistic verification [166] ✔ ★ Use confidence levels [45] ✔ X ✩ ★ Evaluate interpretability [42] ✔ ✔ ★ ★ † ✔ = activity that the method is typically used in;X= activity that may use the method ‡ ★ = desideratum supported by the method; ✩ = desideratum partly supported by the method Table 6. Open challenges for the assurance concerns associated with the Model Verification (MV) stage ID Open Challenge Desideratum (Section) MV01 Understanding how to detect and protect against typical errors Comprehensive MV02 Test coverage measures with theoretical and empirical justification (Section 6.4.1) MV03 Formal verification for ML models other than neural networks MV04 Mapping requirements to model features Contextually Relevant MV05 General framework for synthetic test generation (Section 6.4.2) MV06 Mapping of model-free reinforcement learning states to real-world
linked administrative data a population-based cohort study using Medications and Safety ) Study : protocol for The Smoking MUMS ( Maternal Use of

http://bmjopen.bmj. com/content/3/9/e003692.full. html Updated information and services can be found at: These include: References http://bmjopen.bmj. com/content/3/9/e003692.full. html#ref-list-1 This article cites 37 articles, 7 of which can be accessed free at: Open Access non-commercial. See: http://creativecommons.org/licenses/by-nc/3.0/ terms, provided the original work is properly cited and the use is work non-commercially, and license their derivative works on different license, which permits others to distribute, remix, adapt, build upon this Creative Commons Attribution Non Commercial (CC BY-NC 3.0) This is an Open Access article distributed in accordance with the
Influence of Strategic Innovation on the Performance of Small and Medium Women-Owned Enterprises in Kenya

In today’s volatile business environment, Small and Medium-Sized Enterprises (SMEs) in Kenya experience high number of problems affecting their performance, profitability, success and survival. Women-owned SMEs have important contributions to make to innovation and development of the Kenyan economy. Strategic innovations can actually enhance the performance of women-owned SMEs in several aspects. It has been found that more innovative firms adopt different operational strategies to accommodate flexibility and quality capabilities. The objective was to determine the influence of organization innovation on the performance of small and medium women-owned enterprises in Kenya. The scope of this study was in Nairobi County. The study was guided by an epistemological research philosophy adopting a positivist research paradigm. The research design was cross-sectional survey design using both quantitative and qualitative approaches. The target population for this study was 5,362 registered women owned enterprises registered with the County Government of Nairobi by December 2017 and the sample size was 358 respondents derived using Fisher’s formulae. This study used a selfadministered, closed and open-ended questionnaire to obtain quantitative data. The study results revealed that organizational innovations had a positive and significant influence on performance of women owned enterprises in Kenya. Findings also implied that strategic innovations adopted helped enterprises to create new markets which improved performance. The study concluded that favourable external environments such proper legislations, political climate conducive for business among others may enhance the performance of small and medium size enterprises. The study recommended that those women-owned enterprises should always be on the lookout for
An Efficient Image Thresholding Method for Arabic Handwriting Recognition System

Image preprocessing has assumed an essential part of handwriting recognition system. The main primary stage of the image preprocessing is thresholding. An effective thresholding method is based on Fuzzy C-Means clustering (FCM) for Arabic Handwriting Recognition system (AHR) has been proposed in this paper. Since thresholding stage in AHR is imperative to reduce the dimensionality of image to remove the undesirable information (noise) then increase the processing speed of the AHR system. The algorithm is performing by feeding the intensity of the pixel value of the image pixels into the FCM clustering algorithm. Exploratory results with artificial and real life images show that the proposed method gives better accuracy and good efficiency than the current methods.
Combining Information Technology and Decentralized Work Organization : SMEs versus Larger Firms Anonymous Version

This paper examines whether information technology (IT) and decentralized and incentive-based work organization are complementary only for large firms or also for smaller firms. Empirical evidence for complementarity between IT and decentralization is mainly based on large firms. Using data from a sample of 3288 SMEs and of 595 larger firms from the manufacturing and service sector in Germany, I can observe firms? IT intensity in terms of enterprise software and computer use and whether firms have a decentralized work organization. I find that SMEs with decentralized and incentive-based work practices tend to use IT more intensively. Moreover, for the sample of SMEs, IT and work organization are individually associated with higher productivity but the combination of IT and decentralization does not yield a productivity premium. Contrarily, for the sample of larger firms, the results show that the productivity of IT depends positively on decentralization. The findings suggest that combining IT and decentralized workplace organization seems to be a successful strategy only for larger firms.
The 7 th International Conference on Ambient Systems , Networks and Technologies ( ANT 2016 ) Requirements Analysis for Context-oriented Systems

Context-oriented systems are systems that observe and handle context information from the environment to guide their own behavior. Engineering such systems represents a complex task not only due to their complexity, but also due to the notion of context. Handling this notion involves tackling several challenges, demanding to system designers a certain knowledge and expertise about this notion. In order to help designers on this engineering process, we propose in this paper a roadmap on context management and a requirements elicitation process. This roadmap aims at sharing with non-expert designers the necessary expertise on context management allowing them to better understand the notion of context and its challenges. The elicitation process aims at guiding these non-expert designers across the roadmap, supporting them in their requirements elicitation process concerning context management. The proposal is presented on a running example that illustrates the approach. © 2016 The Authors. Published by Elsevier B.V. Peer-review under responsibility of the Conference Program Chairs.
Title Real-time unified single-and multi-channel structural damage detection using recursive singular spectrum analysis

A novel baseline free approach for continuous online damage detection of multi degree of freedom vibrating structures using Recursive Singular Spectral Analysis (RSSA) in conjunction with Time Varying Auto-Regressive Modeling (TVAR) is proposed in this paper. The acceleration data is used to obtain recursive proper orthogonal components online using rank-one perturbation method, followed by TVAR modeling of the first transformed response, to detect the change in the dynamic behavior of the vibrating system from its original state to contiguous linear /non-linear-states indicating damage. Most work to date deal with algorithms that require windowing of the gathered data that render them ineffective for online implementation. Algorithms focussed on mathematically consistent recursive techniques in a rigorous theoretical framework of structural damage detection is missing, that motivates the development of the present framework. The response from a single channel is provided as input to the algorithm in real time. The RSSA algorithm iterates the eigenvector and eigenvalue estimates for sample covariance matrices and new data point at each successive time instants. This eliminates the need for offline post processing and facilitates online damage detection especially when applied to streaming data without requiring any baseline data. Lower order TVAR models are applied on the transformed responses to improve detectability. Numerical simulations performed on a 5-dof nonlinear system and on an SDOF system modeled using a Duffing oscillator under white noise excitation data, with different levels of nonlinearity simulating the damage scenarios, demonstrate the robustness of the proposed algorithm. The method, further validated on results obtained from experiments performed on a cantilever beam subjected to earthquake excitation; a toy cart experiment model with springs attached to either side; demonstrate the efficacy of the proposed methodology as an appropriate candidate for real time, reference free structural health monitoring.
Interaction of human serum albumin with volatiles and polyphenol some berries

Headspace solid-phase microextraction SPME/GC GCeTOFMS) identified 19 albumin (HSA) was used in interaction wi complex. In order to determine the syner and molecular docking. Extracts of pol determined by two radical scavenging a directly related to their antioxidant proper compound was identified as γ-terpinene volatile substances. http://dx.doi. org/10.1016/j.foodhyd. 2017.06. 005 sional fluorescence, Binding properties, Molecular docking, Synergism with comprehensive two-dimensional gas chromatog-raphy with time-of-flight mass spectrometry (HSantified 6 monoterpenes in gooseberries, blueberries and cranberries. As a protein model human serum nes. Specific binding of terpenes to HSA under the physiological conditions was a result of the formation of a poly-phenols and volatiles in some berries binding properties with HSA were evaluated by 3D-fluorometry s and monoterpenes, using various ethanol mixtures with water, and their antioxidant properties were BTS and CUPRAC). The studied extracts interacted with HSA with different binding affinities which were e highest binding abilities were in blueberries and γ-terpinene. Among the six terpenes, the highest scoring tudy pro-vides useful information for the future designing of health food on the basic of polyphenols and
MODEL BASED ON EUCLIDEAN DISTANCE WITH VISUAL DEPTH 041

This study proposes an evacuation efficiency evaluation model considering both the spatial configuration and the physical/Euclidean distance of the layout. One of the critical issues in the design of high-rise buildings is the evacuation planning, and a tool for evaluating the evacuation efficiency is highly needed. The conventional evacuation efficiency evaluation tools such as SIMULEX focus on the evacuation time, and thus are inappropriate in specifically pointing out the areas with evacuation difficulty within the layout being analyzed. This study focuses on the configurational properties of space because they are easily connected with the evacuation route based on plan layout. The concept of Visibility Graph Analysis (VGA) is adopted as the starting point for measuring the configurational properties. In addition, the physical evacuation distance is considered as another basic factor for the evaluation of evacuation efficiency in order to describe actual physical setting of the building. Evacuation Cost can be inferred as the sum of the traveling distance (Distance Cost) and the change of visual information within the evacuation process (Visibility Cost). Distance Cost from a point to exit is proportionate to the evacuation distance. The Visibility Cost is the degree of effort required to visually survey for exit, and it is related to visual point depth. Essentially, the proposed model calculates the Evacuation Cost from a certain point to exit by substituting the summation of Distance Cost and Visibility Cost for the visual depth of the visibility graph. With reference to this, three hypotheses to examine the relation between Distance Cost and Visibility Cost are initially proposed. Moreover, two additional hypotheses which adopt the concept of Angular Analysis are proposed. In this paper, this new method is applied to an actual high-rise building, I-Park in Seoul, and its results are compared with those of SIMULEX, the evacuation simulation program. The high correlation and stability of the results suggest that the model proposed in this study can replace SIMULEX. The proposed model offers a clear visualization of the evacuation efficiency within a building plan, which can play a major role in the design development process where decisions must be made between alternatives. It can also be used to work out evacuation planning of buildings that are already built.
AN OVERVIEW OF THE NUMERICAL MODELING AND COMPUTER PROGRAMMING DISCIPLINES OF AN UNDERGRADUATE CIVIL ENGINEERING COURSE AND THE INSANE PROJECT EXPERIENCE

The world witnesses the progressive advancement of computing, whether it is in the raising power of data processing and storage, in the enhancement of modeling tools or in the improvement of the capacity to exchange information and knowledge. Today science seems to be dependent on informatics, and because of its nature, the Engineering (or the Exact Sciences, in a more general way) shares this connection even more. A need for understanding some real phenomena and the relentless search for rules that explain the behavior of physical systems drive the modern engineer to develop proper computational mechanisms that could handle the analysis of complex (mathematical) problems. Therefore, the appropriate training of engineering students regarding programming and numerical methods skills should be considered if a society wants to fully use its technological resources. In that sense, this work shares a brief overview of the numerical modeling and computer programming disciplines of the undergraduate civil engineering course of the Federal University of Minas Gerais, Brazil, towards a basic diagnosis and a critical appraisal of the curriculum. Trying to fill some gaps in the academic formation process, the INSANE (INteractive Structural ANalysis Environment) project was created; an interactive environment of structural analysis conceived to be used as a didactic resource in undergraduate and graduate courses of engineering, as well as a platform of high-level scientific research on numerical methods. Throughout the years, INSANE has contributed to the training of many students, either enabling programming proficiency or in-depth learning of finite element method formulations. Mecánica Computacional Vol XXXVI, págs. 1039-1048 (artículo completo) José G. Etse, Bibiana M. Luccioni, Martín A. Pucheta, Mario A. Storti (Eds.) San Miguel de Tucumán, 6-9 Noviembre 2018 Copyright © 2018 Asociación Argentina de Mecánica Computacional http://www.amcaonline. org.ar
Mycological Diversity Description II

Here, Quambalaria fabacearum and Neopestalotiopsis brasiliensis are introduced as new species from Brazil, isolated as endophyte from Mimosa tenuiflora and causing post-harvest rot disease on fruits of Psidium guajava, respectively. Diaporthe inconspicua is emended to include a more detailed morphological description. Neopestalotiopsis egyptiaca is reported as new to the Americas and as causing post-harvest rot disease on fruits of Psidium guajava, while Umbelopsis isabellina is reported as endophyte.
Effect of 6-benzylaminopurine and -naphthalene acetic acid hormonal supplements on the in vitro seed germination and seedling development of orchid Otochilus albus Lindl

Otochilus albus Lindl is one of the important orchids especially used for the horticultural purpose and commercial use. It is listed as a rare and critically endangered species in Nepal. An attempt to preserve the important orchids was done by establishing an efficient in vitro regeneration protocol using seed. This study was carried out by using Murashige and Skoog (MS) medium and the MS medium supplemented with growth regulators namely 6-benzylaminopurine (BAP) and α-naphthalene acetic acid (NAA) in different concentration. The seed germination and protocorm formation started after 8 weeks of culture, and complete seedling was developed within 26 weeks of culture in the basal medium and medium supplemented with 0.5 mg/L BAP and 0.5 mg/L BAP + 0.5 mg/L NAA, respectively. Regardless of the NAA supplement, the protocorm formation and seedling development were delayed in the medium containing higher concentration of BAP. Key words: Otochilus albus Lindl, in vitro, Murashige and Skoog (MS), 6-benzylaminopurine (BAP), α-naphthalene acetic acid (NAA).
Men ' s Sheds : a conceptual exploration of the causal pathways for health and well-being

• Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the ResearchOnline@GCU portal Take down policy If you believe that this document breaches copyright please contact us at: repository@gcu.ac. uk providing details, and we will remove access to the work immediately and investigate your claim.
Relationship Templates for Synthesising Scene Variations

We propose a novel example-based approach to synthesize scenes with complex relations, e.g., when one object is ‘hooked’, ‘surrounded’, ‘contained’ or ‘tucked into’ another object. Existing relationship descriptors used in automatic scene synthesis methods are based on contacts or relative vectors connecting the object centers. Such descriptors do not fully capture the geometry of spatial interactions, and therefore cannot describe complex relationships. Our idea is to enrich the description of spatial relations between object surfaces by encoding the geometry of the open space around objects, and use this as a template for fitting novel objects. To this end, we introduce relationship templates as descriptors of complex relationships; they are computed from an example scene and combine the interaction bisector surface (IBS) with a novel feature called the space coverage feature (SCF), which encodes the open space in the frequency domain. New variations of a scene can be synthesized efficiently by fitting novel objects to the template. Our method greatly enhances existing automatic scene synthesis approaches by allowing them to handle complex relationships, as validated by our user studies. The proposed method generalizes well, as it can form complex relationships with objects that have a topology and geometry very different from the example scene.
DETECTION OF MALARIA PARASITES IN BLOOD SAMPLE USING CASCADING METHOD

Malaria is one of the life threatening disease worldwide. The accurate and timely diagnosis of malaria infection is essential to control and cure the disease. This paper focuses on segmentation and detection of microscopic images infected with malaria parasites using color based cascading method. This method begins with color normalization process followed by gamma correction then noise reduction, exposure compensation, edge compensation, edge enhancement, fuzzy c-means clustering, and morphological process. The results have shown that this method could be successfully used for malaria detection. Keywords— Malaria, Plasmodium, Cascading method, detection, image segmentation
Dynamical downscaling of Typhoon Lionrock (2016) for assessing the resulting hazards under global warming

Typhoons are considered as one of the most powerful disaster-spawning weather phenomena. Recent studies have revealed that typhoons will be stronger and more powerful in a future warmer climate and be a threat to lives and properties. In this study, we conduct downscaling experiments of an extreme rain-producing typhoon, Typhoon Lionrock (2016), to assess the impacts of climate change on resulting hazards by assuming pseudo global warming (PGW) conditions. The downscaled precipitations over the landfall region in the present climate condition agree well with the Radar-Automated Meteorological Data Acquisition System (Radar-AMeDAS) ob-servations. A typhoon track in the future climate similar to that in the present climate is successfully reproduced, with a stronger wind speed (by ~ 20 knots) and lower central pressure (by ~ 20 hPa) under the PGW condition. The changes in precipitation amounts associated with the typhoon under PGW condition are analyzed over seven individual prefectures in the northern part of Japan. The typhoon in the warming climate produces more precipitation over all prefectures. Iwate, Aomori, Akita, Miyagi, and Hokkaido are projected to have relatively more precipitation associated with the typhoon in the warming climate. The overall analysis suggests that Typhoon Lionrock under PGW may increase the risk of flooding, damages to infrastructures, and lives staying along the typhoon track.