Miracle-dz/UniFAR-FTUs huggingface dataset:
Biblioteca de emulação para plataforma modular de simulação de sistemas ciber-físicos

One of the biggest issues when developing cyber-physical systems is the ability to test them in a similarenvironment for which they were designed. The execution of these tests in the real environment mayrequire large sums of money, or, the testing cycles can be slower than the expected reduction of thesecycles.The objective of the KhronoSim project is the development of a modular and extensible testingplatform, which shall allow whoever uses it to develop intuitive closed loop real-time tests for cyberphysical systems, via software. Therefore, the usage of a full-system emulator (which is an emulator thatsimulates at such a level of detail that the software can run directly on it, without any modification) isimperative simulate the environment of the testing target as faithfully as possible. In the scope ofKhronoSim, the chosen emulator was QEMU.Considering this context, and to further approach the behavior of emulated systems to the behavior ofreal systems, this project focuses on: (1) the development of a library (QEMU-Lib) that is able tomanipulate QEMU instances, to ease its use; (2) changing QEMU 19s source code to implement a newfeature, that reduces the execution frequency of a virtual machine, known as the throttle mechanism.QEMU-Lib was implemented having into account all the enumerated requirements made by the client. Itis modular, extensible and concise, using C++ language and tested using BOOST. Using it, makes itpossible to manipulate individual QEMU instances, should it be turning an instance on or off or sendingcommands via network sockets.The throttle mechanism was implemented by altering QEMU 19s source code in the less invasive waypossible and tested to measure its functional specificities. The results show that the data curve whilsthaving this mechanism activated is linear when the exiting condition is a time constraint and thecomputational load is null. When there is some computational load, namely the ordering of a vectorusing an algorithm of n "17 log n complexity, the data curve presents a quadratic form. Biblioteca de emulação para plataforma modular de simulação de sistemas ciber-físicos CISTER Research Centre
Formal interpretation of cyber-physical system performance with temporal logic

ABSTRACT The inherent and increasing complexity of many cyber-physical systems (CPSs) makes it challenging for human users or designers to comprehend and interpret their performance. This issue, without proper attention paid, may lead to unwanted and even catastrophic consequences, particularly with safety-critical CPSs. This paper presents a new methodology of enabling (i) a human to interrogate a CPS by inquiring with questions written in formal logic and (ii) the CPS to interpret its performance precisely in the context of the inquiry. This formal interpretation problem is first formulated as temporal logic inference problem, which, aided by the concept of robustness degree, can be converted into an optimisation problem with probably approximately correct solutions. A new Gaussian-process-based active learning algorithm is then proposed to address the potential computational budget issue arising from solving the optimisation problem. Both theoretical and empirical analyses are carried out to demonstrate the performance of the proposed algorithm. Finally, a detailed case study on automotive mechatronic design is provided to showcase the proposed formal interpretation methodology.
The role of corpus linguistics in a lexical approach to college level English-as-a-foreign-language pedagogy

English is the contemporary lingua franca; almost three quarters of the world's population is comprised of English-native or nonnative speakers. English proficiency is widely believed to determine one's academic and career success. To this end, English education is essential in many countries throughout the world. English education has been formally part of the curriculum in Cyprus since 1935 because it is necessary for the island's economic development and participation in' international politics. It is also important for students to attain English-language proficiency because many high school graduates continue their education at universities in English-speaking countries. Students who attend the University of Cyprus also need to take English courses as a requirement for the completion of a degree. This project offers methods for English-as-aforeign-language (EFL) undergraduate students to improve their English skills following a lexical approach to language incorporating the methodology of corpus linguistics research. It is hoped that EFL teachers and students will revisit language teaching and learning from this innovative perspective.
A Novel Control Plane Optimization Strategy for Important Nodes in SDN-IoT Networks

One of the crucial technologies for future Internet of Things (IoT) is software defined networks, which provides a centralized and programmable control ability for operators. However, the current single control plane deployed on the remote IoT gateway may incur a bottleneck with the continuous growth of IoT devices and applications. In this paper, we propose a two-level hierarchy (the master and slave) control framework to resolve this problem. Additionally, a novel slave controller placement strategy (SCPS) is presented to further optimize the control performance. In SCPS, we first design a synthetic IoT node importance assessment model based on an improved analytic hierarchy process and fuzzy integral. It considers the device attributes, service attributes, and control frequency. Then we formulate the slave controller placement as a binary integer program problem. It is solved by a modified binary particle swarm optimization algorithm to optimize the control delay and control cost of critical IoT nodes. Finally, we carry out extensive experiments to evaluate the performance of our strategy. The results show that, compared to other competing methods, it approximately reduces the control delay of important IoT nodes by 30.56%.
A Review of Smart Parking System based on Internet of Things

: The Internet of Things expands the wireless paradigm to the edge of the network, which enables to develop a different kind of applications or services. By using IoT the application becomes more reliable, flexible or portable. It has a large amount of nodes on the various geographic positions, to increase the awareness of location or reduce the latency. There are numerous IoT applications like smart grid, smart hospital, smart industry, smart traffic management etc. In this paper, we describe the smart traffic management and parking system using the internet to control the chaos and also discuss the various researches on this concept.
Analysis of AGV Optimal Path Problem in Smart Factory Based on Genetic Simulated Annealing Algorithm

: This paper analyzes the optimal path problem of AGV for smart factories, and propose a hybrid algorithm combining genetic algorithm and simulated annealing algorithm. The objective function model is established according to the target optimization, the improved genetic algorithm and simulated annealing algorithm can be used to obtain better path and can effectively fall into local optimum. Simulation results show that this improved genetic simulated annealing algorithm is feasible in solving the AGV optimal path of smart factories.
Temperature-dependent characterizations on parasitic capacitance of tapered through silicon via (T-TSV)

With increasing integration density of three-dimensional ICs, temperature is one of the major concern of circuit design, which influences the performance and reliability. In this paper, the parasitic capacitance of tapered TSV (T-TSV) with respect of thermal properties is studied. The concept of the Temperature Coefficient of Capacitance (TCC) is proposed to model the sensitive of TSV capacitance to temperature. It is found that TSV capacitance is sensitive to temperature under high frequency application, and the MOS capacitance variation is the main reason for the change of TSV capacitance and the TCC increases with elevated temperature. Furthermore, the affection of TSV dimensions on TCC are discussed. It is shown that the TCC increases gradually as the TSV radius increases, while the thickness of dielectric layer is the opposite. The cylinder TSV is less thermal sensitive than tapered TSV. This paper provides basis for TSV design considering the temperature effect.
FA-LAR: an efficient flow aware based load adaptive routing scheme for optical communication networks

Routing Protocols have been proposed to enable the network to identify and suggest various routes to number of demanded flows. In the Flow-Aware Network Models, the routes are identified and selected with the help of Flow Tables or Flow Identifiers that proposed by Flow Aggregation Mechanism. That is, users can define a Flow Aggregation Model to suggest routes depend on their defined-demanded flows and this model effectively handles many flows, which helps core routers to profit aggregate routing. This is an efficient and effective approach to identify a best route to achieve required performance. It is noted from the literature survey that the Flow-Aware Multi-Topology Adaptive Routing (FAMTAR) was proposed for achieving higher Network performance through multipath solutions. This FAMTAR Model was implemented and studied thoroughly. From the experimental results, it was noticed that this model unable to i. detect and manage bulk flow, ii. Control Traffic Loss and iii. Maintain Deviation of Links Load against Traffic Load. To address the above mentioned issues, this research work is proposed an efficient Flow-Aware based Load Adaptive Routing (FA-LAR). This model is developed and implemented in ns3 and the simulation results are analysed carefully. From the experimental results, it is noticed that the prosed Model, FA-LAR is performing well as compared with the existing FAMTAR in terms of Queueing Delay, Throughput, Power Consumption (Energy Dissipation), and Load Deviation. It is also noticed that the proposed model unable to achieve higher Throughput for Low Load.
' ' less is more ' ' hypothesis in two cultures Emotion and support perceptions in everyday social interaction : Testing the

The study examined emotional experience and perceived social support during naturally occurring social interactions in Greece and Britain. Multilevel analyses found that people in Greece (a more interdependent culture) perceived less support and experienced less positive and more negative affect in social interactions than those in the UK (a more independent culture). Positive relationships between positive affect and perceptions of support were stronger in Greece than in the UK. Global perceptions of social support did not differ between the two samples, and global perceptions were weakly related to perceived support in interaction. The results support the ‘‘less is more’’ hypothesis (Oishi, S., Diener, E., Choi, D. W., Kim-Prieto, C., & Choi, I. (2007). The dynamics of daily events and well-being across cultures: When less is more. Journal of Personality and Social Psychology, 93, 685-698) concerning cultural differences in social support and distal and proximal antecedents of interaction-level relational processes.
An Effective New Algorithm for Face Recognition KONG

To address the influence of the image pre-processing and feature extraction on the recognition rate in face recognition, we propose a algorithm with high recognition rate and fast face recognition under varying illumination environment. The new algorithm deals with complicated illumination conditions of face image, by employing Weber local descriptor (WLD) and Laplacian-of-Gaussian (LoG) descriptor for the extraction of illumination invariant. The processed image is not only insensitive to illumination but also enhances the edge detail information based on complete linear discriminant analysis (CLDA) algorithm for feature extraction. and nearest neighbor based on Euclidean distance classifier. The new algorithm is tested on Yale and the Extended Yale Database B face database respectively. Compared with other face recognition algorithms, the proposed method has outstanding advantage on recognition rate, recognition speed. As a result, It fully meets the real-time requirement for face recognition. KeywordsWeber’s Law; Feature extraction; Face recognition.
This is a repository copy of Activation of the Farnesoid X-receptor in breast cancer cell lines results in cytotoxicity but not increased migration potential. White Rose Research Online URL for this paper: http://eprints.whiterose.ac.uk/118394/

eprints@whiterose.ac.uk https://eprints.whiterose.ac.uk/ Reuse Unless indicated otherwise, fulltext items are protected by copyright with all rights reserved. The copyright exception in section 29 of the Copyright, Designs and Patents Act 1988 allows the making of a single copy solely for the purpose of non-commercial research or private study within the limits of fair dealing. The publisher or other rights-holder may allow further reproduction and re-use of this version refer to the White Rose Research Online record for this item. Where records identify the publisher as the copyright holder, users can verify any specific terms of use on the publisher’s website.
tradE flowS among cEEc

In this paper we analyse the characteristics and evolution of the EU-CEEC trade in the last decade, giving particular attention to trade relations among the CEEC. We study the determinants of both total and sectoral trade flows and investigate the potential bilateral trade among all the countries. The analysis is based on the gravity model approach using panel data from 1993 to 2001. The results highlight the sectoral differences in the EU-CEEC trade developments. Furthermore, it is possible to conclude that there is still scope for growth on bilateral trade flows between some CEEC and some of the EU countries and especially among the new EU members.
FOR HOMOGENEOUS AND HETEROGENEOUS IMAGES

A statistical model for detecting changes in remote sensing images has recently been proposed in (Prendes et al., 2014, 2015). This model is sufficiently general to be used for homogeneous images acquired by the same kind of sensors (e.g., two optical images from Pléiades satellites, possibly with different acquisition conditions), and for heterogeneous images acquired by different sensors (e.g., an optical image acquired from a Pléiades satellite and a synthetic aperture radar (SAR) image acquired from a TerraSAR-X satellite). This model assumes that each pixel is distributed according to a mixture of distributions depending on the noise properties and on the sensor intensity responses to the actual scene. The parameters of the resulting statistical model can be estimated by using the classical expectation-maximization algorithm. The estimated parameters are finally used to learn the relationships between the images of interest, via a manifold learning strategy. These relationships are relevant for many image processing applications, particularly those requiring a similarity measure (e.g., image change detection and image registration). The main objective of this paper is to evaluate the performance of a change detection method based on this manifold learning strategy initially introduced in (Prendes et al., 2014, 2015). This performance is evaluated by using results obtained with pairs of real optical images acquired from Pléiades satellites and pairs of optical and SAR images.
Ultra-rapid UT 1 mea s urement by e-VLBI

1National Institute of Information and Communications technology, Kashima Space Research Center, 893-1, Hirai, Kashima, Ibaraki 314-8501, Japan 2Chalmers University of Technology, Onsala Space Observatory, SE-439 92 Onsala, Sweden 3Helsinki University of Technology, Metsähovi Radio Observatory, Metsähovintie 114 FIN-02540 Kylmälä, Finland 4Geographical Survey Institute, 1 Kitasato, Tsukuba 305-0811, Japan
Randomized Clinical Trial on the Use of PHYSTA Freeze-DriedWater Extract of Eurycoma longifolia for the Improvement of Quality of Life and SexualWell-Being inMen

Eurycoma longifolia is reputed as an aphrodisiac and remedy for decreased male libido. A randomized, double-blind, placebo controlled, parallel group study was carried out to investigate the clinical evidence of E. longifolia in men. The 12-week study in 109 men between 30 and 55 years of age consisted of either treatment of 300 mg of water extract of E. longifolia (Physta) or placebo. Primary endpoints were the Quality of Life investigated by SF-36 questionnaire and Sexual Well-Being investigated by International Index of Erectile Function (IIEF) and Sexual Health Questionnaires (SHQ); Seminal Fluid Analysis (SFA), fat mass and safety profiles. Repeated measures ANOVA analysis was used to compare changes in the endpoints. The E. longifolia (EL) group significantly improved in the domain Physical Functioning of SF-36, from baseline to week 12 compared to placebo (P = 0.006) and in between group at week 12 (P = 0.028). The EL group showed higher scores in the overall Erectile Function domain in IIEF (P < 0.001), sexual libido (14% by week 12), SFAwith sperm motility at 44.4%, and semen volume at 18.2% at the end of treatment. Subjects with BMI≥ 25 kg/m2 significantly improved in fat mass lost (P = 0.008). All safety parameters were comparable to placebo.
The role of Criterion A 2 in the DSM-IV diagnosis of post-traumatic stress disorder

Background—Controversy exists about the utility of DSM-IV post-traumatic stress disorder (PTSD) Criterion A2: that exposure to a potentially traumatic experience (PTE; PTSD Criterion A1) is accompanied by intense fear, helplessness, or horror. Methods—Lifetime DSM-IV PTSD was assessed with the Composite International Diagnostic Interview in community surveys of 52,826 respondents across 21 countries in the World Mental Health Surveys. Results—37.6% of 28,490 representative PTEs reported by respondents met Criterion A2, a proportion higher than the proportions meeting other criteria (B-F; 5.4-9.6%). Conditional prevalence of meeting all other criteria for a diagnosis of PTSD given a PTE was significantly higher in the presence (9.7%) than absence (0.1%) of A2. However, as only 1.4% of respondents who met all other criteria failed A2, the estimated prevalence of PTSD increased only slightly (from 3.64% to 3.69%) when A2 was not required for diagnosis. PTSD with or without Criterion A2 did not differ in persistence or predicted consequences (subsequent suicidal ideation or secondary disorders) depending on presence-absence of A2. Furthermore, as A2 was by far the most commonly reported symptom of PTSD, initial assessment of A2 would be much less efficient than screening other criteria in quickly ruling out a large proportion of non-cases. Conclusion—Removal of A2 from the DSM-IV criterion set would reduce the complexity of diagnosing PTSD while not substantially increasing the number of people who qualify for diagnosis. A2 should consequently be reconceptualized as a risk factor for PTSD rather than as a diagnostic requirement.
Effect of Various Slot Parameters in Single Layer Substrate Integrated Waveguide ( SIW ) Slot Array Antenna for Ku-Band Applications

─ Extended study on SIW slot array antenna based on substrate integrated waveguide (SIW) has been proposed in this paper. Unlike recent publications, the effect of offset gap, gap between the slots and the gap between the last slot with the edge of the SIW antenna are extensively studied and effective formulation for proper positioning of the slots has been done. The structure consists of an array of slot antenna designed to operate in Microwave Ku Frequency bands. The basic structure is designed over a dielectric substrate with dielectric constant of 3.2 and with a thickness of 0.782 mm. The design consists of a SIW antenna fed with a microstrip to SIW transition. Multiple slot array effects are also being studied and analyzed using CST full wave EM Simulator. The designs are fabricated and supported with variation of return loss and radiation pattern characteristics due to appropriate slot offset. The analysis is being carried out to support integration to system-on-substrate (SoS) which promises more compact layouts. Index Terms ─ Substrate Integrated Waveguide (SIW), slot array, slot offset, System-on-Substrate (SoS), Kuband, Di-electric Filled Waveguide (DFW).
An investigative study into the perceived factors precluding auditors from using CAATs and CA

This paper aims to investigate the reasons why auditors in Libya may not make use of computer assisted audit techniques (CAATs) or continuous auditing (CA) on a larger scale. This research was carried out by applying the unified theory for acceptance and use of technology (UTAUT) developed by Venkatesh et al. (2003) and utilising concurrent triangulation through questionnaires and interviews. In line with UTAUT, the results indicate that although auditors believe that CAATs and CA can have positive impact on the audit function, CAATs are found to be underutilised and CA is rarely used. The lack of facilitating conditions and high costs involved can be seen as major factors to preclude auditors from using CAATs, while the late appointment of the auditor and a lack of infrastructure are found to be the main reasons for the limited usage of CA.
Fe b 20 18 Hyper-rational choice theory

The rational choice theory is based on this idea that people rationally pursue goals for increasing their personal interests. In most conditions, the behavior of an actor is not independent of the person and others’ behavior. Here, we present a new concept of rational choice as a hyper-rational choice which in this concept, the actor thinks about profit or loss of other actors in addition to his personal profit or loss and then will choose an action which is desirable to him. We implement the hyper-rational choice to generalize and expand the game theory. Results of this study will help to model the behavior of people considering environmental conditions, the kind of behavior interactive, valuation system of itself and others and system of beliefs and internal values of societies. Hyper-rationality helps us understand how human decision makers behave in interactive decisions.
ontractual versus non-contractual trade : The role of nstitutions in China

Recent research has demonstrated the importance of institutional quality at the country level for both the volume of trade and the ability to trade in differentiated goods that rely on contract enforcement. This paper takes advantage of cross-provincial variation in institutional quality in China, and export data that distinguishes between foreign and domestic exporters and processing versus ordinary trade, to show that institutional quality is a significant factor in determining Chinese provincial export patterns. Institutions matter more for processing trade and more for foreign firms, just as we would expect from a greater reliance on contracts in these cases. © 2013 Elsevier B.V. All rights reserved.