Miracle-dz/UniFAR-FTUs huggingface dataset:
Allowing for the Systematic Simulation of Non-Nominal System Behavior

We introduce a library developed at ESI ITI for modeling faults in physical systems. We outline the motivation of how and why to model faults as well as a description of the library structure. The new library is exemplified in different fields of applications. In addition, we demonstrate a number of complementary tools and techniques for analyzing the results of simulations of faulted models.
Amfiteatru Economic DISPARITIES IN TOURISM DEMAND OF UNESCO DESTINATIONS

This paper clarifies disparities in tourism demand of some chosen UNESCO destinations in the Czech Republic, which is located in Central Europe. The Czech Republic, despite its relatively small area, is an important destination for cultural tourism ‒ a large number of unique cultural and other historic monuments are located on its territory. Twelve of those historic monuments are inscribed on the UNESCO World Heritage List, including the Czech capital, the city of Prague. As capitals are usually very different from the regions as far as tourism demand is concerned, another separate study area was chosen for this case ‒ the Vysočina Region located in the middle of the Czech Republic. This region has the most UNESCO World Heritage Sites of all the Czech regions ‒ there are three of them there: Telč, Třebíč and Zelená hora in Žďár nad Sázavou. Within the framework of developing a new regional tourism strategy and at the request of the Regional Authority of the Vysočina Region, an extensive marketing survey among visitors to the region was carried out. This research was done by the College of Polytechnics Jihlava in 2014-2015 and within it, various characteristics of tourism demand in all three UNESCO destinations were gathered. The research provided background information for creating visitor profiles of the destinations. Primary data obtained from the questionnaire survey enabled, after being processed by various mathematical and statistical methods, a comparative analysis of the chosen UNESCO destinations in Central Europe in terms of tourism demand. Its results show, e.g. that all surveyed destinations attract mainly one-day visitors, but not all of them regard a visit to unique cultural heritage sites of those destinations as their main reason for travelling there. The research results show not only new visitor profiles of the UNESCO destinations in the smallest statistical unit (the municipality), but they can also be used by destination management for planning customised tourism development strategies. Moreover, the study gives a comprehensive picture of tourism demand, which is important for the regional policy. Finally, the paper can be used as a case study for sustainable development of tourism in other UNESCO destinations.
Object-Oriented Development of Software Systems for Power System Simulations

 The software systems developed for power system simulations have evolved into such complicated systems that the applied design practices appear inadequate to support further enhancement and maintenance. The major obstacles stem directly or indirectly from the conventional function-oriented software development methodologies. To overcome the drawbacks of these methodologies, this paper proposes applying object-oriented technology for power system software development. As an illustration of this approach, the Object Modeling Technique (OMT), an object-oriented software development methodology, is used to develop a distribution analysis system. With this technique, a generic Distribution Circuit Object Model (DCOM) is designed based on the real-world concepts and implemented with the object-oriented programming techniques. The developed DCOM is capable of supporting a wide range of distribution applications and allowing modification and maintenance over a long period of time. The performed case study has demonstrated that object-oriented technology, when applied to each stage of software development, can help achieve complicated tasks in power system simulations.
Jurnal Teknologi Surface Modification of CTA-FO Membrane by CO 2 Plasma Treatment

Department of Civil Engineering, Faculty of Engineering, Prince of Songkla University Hat Yai, Songkhla, 90112 Thailand Faculty of Environmental Management, Prince of Songkla University, Hat Yai, Songkhla 90112, Thailand Department of Food Technology, Faculty of Agro-Industry, Prince of Songkla University, Hat Yai, Songkhla 90112, Thailand. Membrane Science and Technology Research Center (MSTRC), Prince of Songkla University, Hat Yai, Songkhla 90112, Thailand
FOR GOING PUBLIC : THEORY VS . POLISH PRACTICE

The aim of this article is to identify the main reasons for the implementation of the IPO strategy according to the contemporary theory, and to compare it with practical approaches to this type of financing in companies that implemented the IPO in the Polish capital market. In agreement with the theoretical approaches, respondents from issuer companies mentioned the raising of external equity to be used to finance development investments as the main reason for the IPO implementation. The second most important reason for the IPO implementation is to use publicly traded shares for later acquisitions and mergers. Other important reasons for the IPO implementation include the increase of publicity and enhancement of the corporate image, increase in the company's attractiveness as an employer, and the determination of its market value. As far as disadvantages associated with the IPO are concerned, it follows from the results of our survey that respondents were mainly concerned about the time demands and the cost of the entire process when deciding whether to implement the IPO. Neither the fear of a loss or a curtailment of the control over the company, of the broadening of the shareholders' structure, nor the fear of strategic information leaks and its disuse by competitors gained any empirical support.
A META-ANALYSIS OF FRAUD , WASTE AND ABUSE DETECTION METHODS IN HEALTHCARE

Fraud, waste and abuse have been a concern in healthcare system due to the exponential increase in the loss of revenue, loss of reputation and goodwill, and a rapid decline in the relationship between healthcare providers and patients. Consequently, fraud, waste and abuse result in a high cost of healthcare services, decreased quality of care, and threat to patients’ lives. Its enormous side effects in healthcare have attracted diverse efforts in the healthcare industry, data analytics industry and research communities towards the development of fraud detection methods. Hence, this study examines and analyzes fraud, waste and abuse detection methods used in healthcare, to reveal the strengths and limitations of each approach. Eighty eight literatures obtained from journal articles, conference proceedings and books based on their relevance to the research problem were reviewed. The result of this review revealed that fraud detection methods are difficult to implement in the healthcare system because new fraud patterns are constantly developed to circumvent fraud detection methods. Research in medical fraud assessment is limited due to data limitations as well as privacy and confidentiality concerns.
Continuous and Hybrid Systems ARCH-COMP 19 Category Report : Continuous and Hybrid Systems with Nonlinear Dynamics

We present the results of a friendly competition for formal verification of continuous and hybrid systems with nonlinear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2019. In this year, 6 tools Ariadne, CORA, DynIbex, Flow*, Isabelle/HOL, and JuliaReach (in alphabetic order) participated. They are applied to solve reachability analysis problems on four benchmark problems, one of them with hybrid dynamics. We do not rank the tools based on the results, but show the current status and discover the potential advantages of different tools. G. Frehse and M. Althoff (eds.), ARCH19 (EPiC Series in Computing, vol. 61), pp. 41–61 ARCH-COMP19 Nonlinear Dynamics Immler et al.
A sensorimotor interpretation of Logical Form , and its application in a model of Māori sentences

The guiding hypothesis behind the model is that the logical form (LF) of a sentence reporting some directly observable event in the world can be interpreted as a description of the sensory and/or motor processes involved in experiencing this event. This proposal is described in more detail elsewhere (see e.g. Knott 2012; Takac et al. 2012). We hypothesise that language is intimately connected with the sensorimotor mechanisms through which we experience the world. This idea has received a lot of attention in cognitive science, within ‘embodied’ models of cognition (see e.g. Feldman & Narayanan 2004; Barsalou 2008). But the idea has some interesting implications about language universals that cognitive scientists do not typically pursue. If language is connected to sensorimotor mechanisms, then we expect structural similarities between all languages, because speakers of all languages have the same sensorimotor mechanisms. If language is strongly connected to sensorimotor mechanisms, as many embodied linguists believe, then we should expect a substantial set of structural similarities between languages. Such similarities are clearly not visible ‘on the surface’, so the only way to maintain a strongly embodied model of language is to adopt some linguistic theory that posits cross-linguistic universals at some ‘underlying’ level of structural representation. This argument provides an interesting way of thinking about Chomskyan models of syntax. Chomskyan models take linguistic universals seriously: identifying underlying structures that obtain in many languages is at the heart of the Chomsykan research programme. From this perspective, a Chomskyan account of syntax might provide an ideal vehicle for the expression of ‘strongly’ embodied models of language.
The Spin-Along Strategy

This paper enhances an emerging concept of corporate entrepreneurship theory: the spin along approach. The spin-along approach depicts a unique method that brings together rudiments of internal and external corporate venturing. By taking the spin-along approach into account, I propose the spin-along strategy to be an alternative strategic attempt for organiza-tions, which aim to adapt to changing environmental conditions. I acknowledge the viewpoint of adaptionistic population ecologists, who claim that although incumbency may lead to struc-tural inertia, larger companies can learn from past experiences and take action to change their organization. After defining the spin-along strategy, the paper addresses the issue of distance between spin-along ventures and their parental organization with the help of the newly intro-duced ? Spin-Along Shell Model? Finally, I derive implications for academia and R&D Man-agement practitioners and open up the discussion for future research directions, which have the potential to sharpen the spin along strategy further.
Interactive comment on “ Intercomparison of in situ water vapor balloon-borne measurements from Pico-SDLA H < sub > 2 < / sub > O and FLASH-B in the tropical UTLS ”

p 13698, l 18-26: Like suggested by the referee, we added more details: "However, persistent disagreements remain. For example, (Vömel et al, 2007a), compared in situ balloon-borne measurements of water vapor from several instruments during coincident flights. Comparison of in situ water vapor measurements from the CFH hygrometer (cryogenic frost point hygrometer) and the NOAA/CSD (cryogenic frost point hygrometer) aircraft hygrometer led to differences ranging up to 40% between 14 and
Space , Interaction , and Innovation : Does proximity really matter for high tech firms ?

There is a widespread assumption in economic geography and innovation economics that firms located in the same geographic clusters benefit from being together and that proximity promotes knowledge externalities leading to innovative activity. However, proximity provided by geographic clusters is by no means a guarantee of the development of interactions between firms located in them. Especially in an environment where technological developments in ICT has reshaped the meaning of distance, business behavior, and strategy of firms, whether spatial boundaries of geographic clusters still matter for firms in forming interactions with others is an important question. The aim of this paper is to address this issue by examining interactions between high tech firms located in a technology park in Turkey. The results show that the geographical proximity provided by science and technology parks (STPs) is not a source or driver for the formation of interactions between high tech firms. In fact, it is the match between the goals and needs of the firms and the structure of benefits of interaction that determines the significance of locational proximity for firms in STPs. These results suggest that more focused polices and measures are needed to develop interactions between firms in STPs or geographic clusters in order to ensure knowledge spillovers and innovation.
Classification Based on Convolutional Neural Network

Reviewing the shortcomings of plant classification methods in recent years. The advantages of convolutional neural networks in image classification are briefly described. In order to classify plants simply and efficiently, a plant recognition method based on convolutional neural network was proposed. And we use it to verify on the data set. The results indicate a significant advantage over traditional algorithms.
Titre : Title : Critical assessment of influenza VLP production in Sf 9 and HEK 293 expression systems Auteurs :

Background: Each year, influenza is responsible for hundreds of thousand cases of illness and deaths worldwide. Due to the virus’ fast mutation rate, the World Health Organization (WHO) is constantly on alert to rapidly respond to emerging pandemic strains. Although anti-viral therapies exist, the most proficient way to stop the spread of disease is through vaccination. The majority of influenza vaccines on the market are produced in embryonic hen’s eggs and are composed of purified viral antigens from inactivated whole virus. This manufacturing system, however, is limited in its production capacity. Cell culture produced vaccines have been proposed for their potential to overcome the problems associated with egg-based production. Virus-like particles (VLPs) of influenza virus are promising candidate vaccines under consideration by both academic and industry researchers. Methods: In this study, VLPs were produced in HEK293 suspension cells using the Bacmam transduction system and Sf9 cells using the baculovirus infection system. The proposed systems were assessed for their ability to produce influenza VLPs composed of Hemagglutinin (HA), Neuraminidase (NA) and Matrix Protein (M1) and compared through the lens of bioprocessing by highlighting baseline production yields and bioactivity. VLPs from both systems were characterized using available influenza quantification techniques, such as single radial immunodiffusion assay (SRID), HA assay, western blot and negative staining transmission electron microscopy (NSTEM) to quantify total particles. Results: For the HEK293 production system, VLPs were found to be associated with the cell pellet in addition to those released in the supernatant. Sf9 cells produced 35 times more VLPs than HEK293 cells. Sf9-VLPs had higher total HA activity and were generally more homogeneous in morphology and size. However, Sf9 VLP samples contained 20 times more baculovirus than VLPs, whereas 293 VLPs were produced along with vesicles. Conclusions: This study highlights key production hurdles that must be overcome in both expression platforms, namely the presence of contaminants and the ensuing quantification challenges, and brings up the question of what truly constitutes an influenza VLP candidate vaccine.
Application of PMU Based Information in Improving the Performance of Indian Electricity Grid

SCADA/EMS system has been the most commonly used tool for real time power system operation and control throughout the world. This system has been found to be very useful in steady state analysis of the power system . The everincreasing dependence of human society and country’ s economy on electrical energy calls for reliable power deliv ery. In order to meet these expectations, engineers across the globe have been exploring for new technologies that can improve upo n the limitations of SCADA and provide dynamic visibility of the power system. A breakthrough has now been achieved in the form of Synchrophasor technology. Synchrophasor measurements using PMU deployed over wide-area, fac ilitate dynamic state measurement and visualization of powe r system which are useful in monitoring safety and security of the grid The Power System Operation Corporation (POSOCO) has taken up initiative and implemented its first pilot project in NR wherein nine Phasor Measurement Units (PMUs) along with one Phasor Data Concentrator (PDC) were commissioned. T he primary objective of this pilot project was to comprehend the Synchrophasor technology and its applications in Po wer System operation. The data received and information derived from pilot project have been found very useful and helped in i mproving the performance of the grid operation in several ways. The pilot project is operational since last 2 years. Meanwhil e other initiatives have been taken up and pilot/demo proje cts are being implemented in other regions also by Power System O peration Corporation. This paper detailed out the utilization of data collected from these pilot/demo projects and applic ation of the data towards improvement in operation of the Indian electricity grid. KeywordsPhasor Measurement Units (PMU), Synchrophasors, Wide Area Monitoring System (WAMS), Oscillations, PSS Tuning.
DIGITAL TRANSFORMATION OF COMPOSITE PRODUCT MANUFACTURING

ASME and ISO are issuing new editions of their standards that deal with definitions and models for composite products. The new edition of ASME Y14.37 deals with standardized product definition for composite parts. The Edition 2 of ISO 10303-242 contains standardized data models for threedimensional representations of composite products. This paper analyzes several salient features of these two standards with a focus on their potential impact on the digital transformation of composite product manufacturing. It also provides a mathematical and information theoretic exposition of ply table as an important representation for modeling some of the complex composite products and their manufacturing processes.
Recent advances in targeting IP3R/Bcl-2-channel complexes by peptide molecules: novel therapeutic opportunities for Bcl-2- dependent cancers?

Intracellular Ca 2+ -release channels like the inositol 1,4,5-trisphosphate receptor (IP3R) play a pivotal role in a plethora of cell biological and physiological processes. IP3R-mediated Ca 2+ flux from the endoplasmic reticulum, the main intracellular Ca 2+ store, ought to be tightly regulated. This is achieved by a complex network of associated proteins. Recently, IP3Rs have been identified as targets for the anti-apoptotic Bcl-2-family members, Bcl-2 and Bcl-Xl, which control the Ca 2+ -flux properties of the channel. In collaboration with the Distelhorst lab, our lab has focused on the identification of the molecular determinants responsible for IP3R/Bcl-2-complex formation. These studies revealed a novel role for Bcl-2 as an endogenous inhibitor of IP3R-mediated Ca 2+ flux, thereby suppressing pro-apoptotic Ca 2+ signals. In addition, novel peptide tools were developed that disturb IP3R/Bcl-2 complexes. These tools may become particularly useful in Bcl-2-dependent cancers, like chronic lymphocytic leukemia to alleviate Bcl-2’s inhibitory role on IP3Rs and to provoke pro-apoptotic Ca 2+ signals. Furthermore, molecular studies revealed important differences between Bcl-2 and Bcl-Xl at the level of the BH4 domain, underlying differences in the regulation of IP3R-channel activity between Bcl-2 and Bcl-Xl. This also opens the avenue to selectively target Bcl-2 in cancer cells, while maintaining essential Bcl-Xl pro-survival functions in healthy cells.
Changes in BRCA 1 gene in patients with familial breast cancer in the Warsaw region of Poland

52 patient-probands with a family history of breast cancer and other tumours were selected from among 500 breast cancer patients treated at the Maria Sklodowska-Curie Memorial Cancer Centre and Institute of Oncology. We studied DNA isolated from peripheral blood. The PCR-SSCP procedure was used for seeking mutations in all protein coding exons of the BRCA1 gene. Fragments suspected of mutation presence were subjected to sequencing. In 36 probands of the BRCA1 gene 11 types of changes were found in exons and 5 types in introns. In 19 (36.5%) probands no changes were detected within the BRCA1 gene. Among exon changes 3 were ones generally regarded as pathogenic mutations: 5382insC (3 families; 6 cases), T300G (2 probands), 3819delGTAAA (1 proband). Among intron changes we suspect the IVS6 +28 (C→A) change to be pathogenic, since it is present in intron area participating in exons splicing. It was found in three sisters (two had breast cancer, one was healthy). The remaining 8 changes were disclosed in exons 11, 13 and 16 (A1186G, C2201T, T2430C, C2731T, A3232G, A3668G, T4427C, A4956G) and regarded as polymorphisms. One of them, A1186G, was, as a heterozygotic change, more frequent in breast cancer cases (18.8 %) than in healthy women (4%). We observed frequent presence of several types of polymorhisms (3-6) in BRCA1 gene exons. Two heterozygotic changes (T300G and A1186G) in the blood DNA of two unrelated patients lost their heterozygosity in tumour DNA.
SYNTHESIS AND CHARACTERISATION OF CARBOXYMETHYL CELLULOSE-GRAFT-( ACRYLIC ACID-CO-ACRYLAMIDE ) AND ITS APPLICATION AS ADSORBENT FOR WASTEWATER TREATMENT [ 3 ]

In this work , grafting polymerization using gamma radiation from C0-60 source at room temperature (27°C) was employed to produce a novel adsorbent using Acrylamide (AAm), Acrylic acid (AAc) on carboxymethyl cellulose (CMC) for water treatment . The preparation conditions such as effect of Acrylamide (AAm) and Acrylic acid (AAc) concentration and radiation dose on grafting percent were investigated to achieve the optimum grafting percent. The structure, thermal stability and surface morphology were characterized by Fourier transform infrared spectroscopy (FT-IR) & differential scanning calorimetry (DSC) and scanning electron microscopy (SEM), respectively. The results show that for the same radiation dose, the grafting percent is increased with increasing the concentration of acrylamide and acrylic acid (1:1) in solution till 30 % where the best grafting percent obtained. The grafting percent increases with increasing irradiation doses. The grafted Carboxymethyl cellulose (CMC-g-AAm/AAc) was examined and optimized for its application as adsorbent for wastewater treatment.