Miracle-dz/UniFAR-FTUs huggingface dataset:
MSC 65 L 80 , 65 L 05 , 65 L 06 , 65 L 20 DOI : 10 . 14529 / mmp 180406 CONVERGENCE ANALYSIS OF LINEAR MULTISTEP METHODS FOR A CLASS OF DELAY DIFFERENTIAL-ALGEBRAIC EQUATIONS

Delay di erential-algebraic equations (DDAEs) can be used for modelling real-life phenomena that involve simultaneously time-delay e ect and constraints. It is also known that solving delay DAEs is more complicated than solving non-delay ones because approximation of solutions in the past time is usually needed and discontinuity in higher derivatives of the solutions is typical. Recently, we have proposed and investigated linear multistep (LM) methods for strangeness-free DAEs (without delay). In this paper, we extend the use of LM methods to a class of structured strangeness-free DAEs with constant delay. For the approximation of solutions at delayed time we use polynomial interpolation. Convergence analysis for LM methods is presented. It is shown that, similarly to the nondelay case, the strict stability of the second characteristic polynomial associated with the methods is not required for the convergence if we discretize an appropriately reformulated DDAE instead of the original one. Numerical experiments are also given for illustration.
A Model to Investigate Preference for Use of Gamification in a Learning Activity

Applying the engaging and motivating aspects of video games in non-game contexts is known as gamification. Education can benefit from gamification by improving the learning environment to make it more enjoyable and engaging for students. Factors that influence students’ preference for use of gamification are identified. Students are surveyed on their experiences of playing a gamified quiz, named Quick Quiz, during class. Quick Quiz features several gamification elements such as points, progress bars, leader boards, timers, and charts. Data collected from the survey is analysed using Partial Least Squares. Factors including ‘usefulness’, ‘preference for use’, ‘knowledge improvement’, ‘engagement’, ‘immersion’ and ‘enjoyment’ were found to be significant determinants. Students were found to have a preference for use for gamification in their learning environment.
Latent error prediction and fault localization for microservice applications by learning from system trace logs

In the production environment, a large part of microservice failures are related to the complex and dynamic interactions and runtime environments, such as those related to multiple instances, environmental configurations, and asynchronous interactions of microservices. Due to the complexity and dynamism of these failures, it is often hard to reproduce and diagnose them in testing environments. It is desirable yet still challenging that these failures can be detected and the faults can be located at runtime of the production environment to allow developers to resolve them efficiently. To address this challenge, in this paper, we propose MEPFL, an approach of latent error prediction and fault localization for microservice applications by learning from system trace logs. Based on a set of features defined on the system trace logs, MEPFL trains prediction models at both the trace level and the microservice level using the system trace logs collected from automatic executions of the target application and its faulty versions produced by fault injection. The prediction models thus can be used in the production environment to predict latent errors, faulty microservices, and fault types for trace instances captured at runtime. We implement MEPFL based on the infrastructure systems of container orchestrator and service mesh, and conduct a series of experimental studies with two opensource microservice applications (one of them being the largest open-source microservice application to our best knowledge). The results indicate that MEPFL can achieve high accuracy in intraapplication prediction of latent errors, faulty microservices, and fault types, and outperforms a state-of-the-art approach of failure diagnosis for distributed systems. The results also show that MEPFL can effectively predict latent errors caused by real-world fault cases.
Explorer Epidermal Growth Factor Receptor substrate 8 ( Eps 8 ) controls Src / FAK-dependent phenotypes in squamous carcinoma cells

Eps8 is an actin regulatory scaffold protein whose expression is increased in squamous cell carcinoma (SCC) cells. It forms a complex with both focal adhesion kinase (FAK, also known as PTK2) and Src in SCC cells derived from skin carcinomas induced by administration of the chemical DMBA followed by TPA (the DMBA/TPA model). Here, we describe two new roles for Eps8. Firstly, it controls the spatial distribution of active Src in a FAKdependent manner. Specifically, Eps8 participates in, and regulates, a biochemical complex with Src and drives trafficking of Src to autophagic structures that SCC cells use to cope with high levels of active Src when FAK is absent. Secondly, when FAK is expressed in SCC cells, thereby meaning active Src becomes tethered at focal adhesion complexes, Eps8 is also recruited to focal adhesions and is required for FAK-dependent polarization and invasion. Therefore, Eps8 is a crucial mediator of Srcand FAK-regulated processes; it participates in specific biochemical complexes and promotes actin re-arrangements that determine the spatial localization of Src, and modulates the functions of Src and FAK during invasive migration.
A Full-Diversity Scheme for Four Transmit Antennas and Quantized Feedback Channel

Resumo— Neste artigo, prop̃oe-se um esquema de diversidade espacial para sistemas de comunicaç ̃ o sem fio com quatro antenas transmissoras e canal de realimentaç ̃ o quantizado. Apresenta-se uma t́ ecnica de pŕe-processamento que permite ao esquema obter um grau de diversidade espacial completo bem como um ganho de codificaç̃ ao. Uma ańalise da realimentaç̃ao quantizada para canais de comunicaç̃ ao sem fio com desvanecimento Rayleigh, plano e quase est á ico é apresentada tamb́em. Atrav és de resultados de simulaç̃ oes, mostra-se que o esquema proposto apresenta uma melhora no desempenho em torno de 1,6dB e 2,0dB em relaç̃ ao ao esquema ACBS para os casos em que ocorrem o uso de 3 e 4 bits de realimentaç̃ ao, respectivamente.
QUALITY ANALYSIS OF DRIED COD ( Gadus morhua ) HEADS ALONG THE VALUE CHAIN FROM ICELAND TO NIGERIA

The effect of bleeding and storage conditions on the quality of dried cod heads were determined by changes in physicochemical and nutritional properties. Dried cod heads from cods that were bled alive (BA) and bled dead (BD) were produced using the Icelandic method of geothermal energy in a drying chamber. The dried cod heads were packed in jute bags and stored in simulated storage conditions similar to that of Nigeria, 65% relative humidity at 30oC during the day and 85% relative humidity at 20oC at night for six weeks, storage conditions were altered at 24hours intervals. Samples of dried cod heads were taken at predefined intervals for quality analyses. The bleeding method has significant (P> 0.05) effect on the colour has the bled alive dried cod heads were whiter than the bled dead cod heads. Bleeding has no significant effect on other parameters tested but they fluctuated due to fluctuation in the storage conditions. The rehydration properties of the dried cod heads decreased as the storage period increased. The water activity, pH, moisture and protein of the dried cod heads during storage were 0.4-0.6, 6.6-7.1, 12.0%-16.5% and 54.1%-60.5% respectively. Dried cod head is a good source of protein, mineral and marine lipids rich in polyunsaturated fatty acids especially omega-3 fatty acids. Drying has no significant effect on the fatty acids profile and composition of the dried cod heads. The saturated fatty acids, monounsaturated fatty acids and polyunsaturated fatty acids of the dried cod heads were 28.3%, 27.7% and 37.8% of the total fatty acids respectively. The storage conditions have significant effect on the freshness and spoilage indices tested. The free fatty acids (FFA), peroxide value (PV) and total volatile basic nitrogen (TVB-N) were (30.1-36.8) g FFA/100g of lipids, (13.3-74.7) meq. /kg and 74.7-185.7mgN/100g respectively during the storage.
SURFACE EXPLORATION AND MONITORING OF GEOTHERMAL ACTIVITY IN THE KVERKFJÖLL GEOTHERMAL AREA , CENTRAL ICELAND

The Kverkfjöll high-temperature area is situated within the Kverkfjöll central volcano, Central Iceland. The volcano consists of a mountain massif of hyaloclastic rocks, of evolved basaltic composition, and a fissure swarm comprising lava flows, rows of craters and hyaloclastic ridges. The thermal activity of the high-temperature area, is mainly confined to three fields, one in the western part of the Kverkfjöll mountain massif and two in the eastern part of the complex. Geothermal manifestations consist of fumaroles, mudpots and hot springs and cover some 25 km. Gas geothermometers indicate subsurface temperatures of about 300°C within the geothermal system. Mercury concentrations in steam range from 70 to 750 ng/kg indicating higher concentrations in fumaroles with higher gas content and higher gas geothermometer temperatures.The geothermal area has been monitored with respect to thermal activity and chemistry for about ten years. No major changes have been observed.
Assessing Regulators Fairly : Matching Scientific Knowledge With Impact Assessments

Retrospective analyses, regulatory performance measures and scorecards have been used for assessing the quality of impact assessments. However, these methods neglect the actual scientific knowledge available at the time of conducting a specific policy appraisal and do not enable to capture the extent of diachronic learning related to a specific regulatory reform. By focusing on the EU rail liberalisation, the aim of this paper is to assess the quality of economic analyses within impact assessments vis-àvis the quality of scientific knowledge. The research design is straightforward. A review of the economic literature traces the progress in the scientific methods for evaluating the economic impact of rail liberalisation. By matching such scientific knowledge with the knowledge expressed in the practice of impact assessment, the main hypothesis to test is whether economic models are fully exploited by policy evaluators. The contribution of the paper is two-fold: on the one hand, it enhances the methodology for regulatory policy evaluation and, on the other hand, it contributes to the literature of the use of scientific knowledge in policy
Emerging nanoparticulate systems: Preparation techniques and stimuli responsive release characteristics

Nanotechnology has become an outgrowing field in novel drug delivery system. It confers several merits over conventional formulations like increased solubility and bioavailability, targeted drug delivery and a decreased dose of the drug. The selection of appropriate method for the preparation of nanoparticulate system depends on the physicochemical characteristics of the drug to be loaded and polymer. This review has covered the most widely acceptable preparation techniques for polymeric and lipidic nanoparticles including nanoprecipitation, milling, extrusion, supercritical fluid technology, salting out, gelation, sonication, high-pressure homogenization, and solvent emulsification methods. Nanocarriers, the traditional nano-formulation drug delivery systems, encountered some major problems in process scale-up, reproducibility, and stability during storage. To circumvent these problems a new approach has emerged which are “In situ or self-assembled nanoparticles drug delivery system. ” Such approaches comprise experimentation with different types of polymers, surfactants or novel process in order to prepare a preconcentrate of drug formulation, which on entering into an aqueous medium (gastrointestinal fluid, blood) will form nanoparticles. The in situ nanoformulations can be the futuristic approach in nanocarriers to overcome the problems associated with the scale-up process and also minimize the cost of production. This review focuses on different preparation techniques for polymeric and lipidic nanocarriers preparation, in situ nanoformulation approaches and release characteristics of stimuli responsive nanoformulation.
Explorer Big Graph Analyses : From Queries to Dependencies and Association Rules

This position paper provides an overview of our recent advances in the study of big graphs, from theory to systems to applications. We introduce a theory of bounded evaluability, to query big graphs by accessing a bounded amount of the data. Based on this, we propose a framework to query big graphs with constrained resources. Beyond queries, we propose functional dependencies for graphs, to detect inconsistencies in knowledge bases and catch spams in social networks. As an example application of big graph analyses, we extend association rules from itemsets to graphs for social media marketing. We also identify open problems in connection with querying, cleaning and mining big graphs.
Supply Chain Resilience-Epidemiological Characterization

Disasters such as the Japanese tsunami and Thai floods in 2011 serve as a reminder about the extent to which a firm’s operations are vulnerable to disruptions. The resulting losses arise not only through direct damage but also from disruption to partners beyond the adjacent tiers. Indeed, as per recent survey-based evidence, nearly 40% of the disruptions originate in tier 2 and beyond. In this paper, we propose an analytical framework to study the cascading of disruptions in supply-chain networks. We formalise the notion of supplychain resilience as a measure of how quickly firms in the supply chain recover from a disruption. We also provide a comparative metric termed relative vulnerability to identify firms which are expected to suffer greater downtimes and consequently more losses due to disruptions. We illustrate these metrics on common supply-chain topologies and discuss the implications.
Title A theoretical study on a reaction of iron ( III ) hydroxide withboron trichloride by ab initio calculation

We investigate a reaction of boron trichloride (BCl3) with iron(III) hydroxide (Fe(OH)3) by ab initio quantum chemical calculation as a simple model for a reaction of iron impurities in BCl3 gas. We also examine a reaction with water. We find that compounds such as Fe(Cl)(OBCl2)2(OHBCl2) and Fe(Cl)2(OBCl2)(OHBCl2) are formed while producing HCl and reaction paths to them are revealed. We also analyze the stabilization mechanism of these paths using newly-developed interaction energy density derived from electronic stress tensor in the framework of the Regional DFT (Density Functional Theory) and Rigged QED (Quantum ElectroDynamics).
Exploring Robustness in a Combined Feature Selection Approach

A crucial task in the bidding phase of industrial systems is a precise prediction of the number of hardware components of specific types for the proposal of a future project. Linear regression models, trained on data of past projects, are efficient in supporting such decisions. The number of features used by these regression models should be as small as possible, so that determining their quantities generates minimal effort. The fact that training data are often ambiguous, incomplete, and contain outlier makes challenging demands on the robustness of the feature selection methods used. We present a combined feature selection approach: (i) iteratively learn a robust well-fitted statistical model and rule out irrelevant features, (ii) perform redundancy analysis to rule out dispensable features. In a case study from the domain of hardware management in Rail Automation we show that this approach assures robustness in the calculation of hardware components.
ESCI 433/533 POPULATION BIOLOGY Spatially Structured Populations

metapop2_CCF. pdf 1 McLaughlin Spatial structure affects populations and population processes in diverse ways. These effects are being studied intensively, and several themes have emerged from extensive field, laboratory, and theoretical analyses. First, there are thresholds in habitat area and number of habitat patches below which populations go extinct. Second, persistence depends on asynchrony in the dynamics of local populations. Such asynchrony can result from persistent environmental gradients, or through protection of some patches from deleterious factors. Third, inter-patch dispersal is essential to metapopulation persistence, which requires that colonization rates exceed rates of local population extinction. Fourth, migration couples the dynamics of local populations to create regional systems. Fifth, populations can be impacted by stressors located outside habitat boundaries. Sixth, different population distributions and abundances may result from similar initial conditions, implying that model analysis is vital to proper interpretation of empirical data.
Multihop Rendezvous Algorithm for Frequency Hopping Cognitive Radio Networks

A method for pilot-assisted Inertial Navigation System (INS) aiding is explored in which the pilot identifies and tracks a ground feature of unknown position over a short measurement epoch using an Electro-Optical (E/O) sensor. One then refers to Visual-INS. In contrast to current research trends, a human operator is entrusted with visually tracking the ground feature. In addition, a less conventional measurement linearization technique is applied to generate “converted” measurements of the feature position from successive bearing measurements and the INS estimated aircraft position. A linear regression algorithm is then applied to the converted measurements providing an estimate of the INS horizontal velocity error and accelerometer biases. At the completion of the measurement epoch, the INS is corrected by subtracting out the estimated errors. Aiding the INS in this manner provides a significant improvement in the accuracy of the INS-provided aircraft navigation state estimates when compared to those of a free/unaided INS. A number of scenarios are simulated including with and without a constrained flight path, with single vs. multiple ground feature tracking sessions, and with a navigation vs. tactical grade INS. Applications for this autonomous navigation approach include navigation in Global Positioning System (GPS) denied environments and/or when RF emitting/receiving sensors are undesirable.
Residents ’ Contribution towards Improving Physical Quality of Neighborhood Open Spaces in Multi-cultural Community of Nigeria

The residents’ contributions towards uplifting the status of neighbourhood open space such as Oja through diverse mechanisms is paramount. There have been challenges encountered by the planners, landscape architects and allied professionals towards improving the physical quality of Oja in recent time. Plethora of relevant literatures revealed persistence advocacy necessary to improve the physical quality of Oja in diverse forms. However, fewer studies have attempted to explore the residents’ contributions to its improvement through community efforts initiatives in South-west region of Nigeria. Consequently, this research explored the factors responsible to improvement on the physical quality of Oja through residents’ collective opinion efforts. The qualitative method was adopted for the study through focus group interview comprising thirty-five (n=35) Hausa, Ibo, and Yoruba participants. The decision extracts from the deliberations were analysed using content analysis and QSR (10) Nvivo software. Research findings revealed that Oja physical quality could be improved upon through residents’ opinions and views as supportive mechanisms to government initiative drives. This research suggests joint collaboration efforts between governments; stake holders and community residents towards improvement of Oja. It is therefore recommended that residents’ participation and opinions in decision making concerning Oja could further enhance the physical condition towards higher satisfaction in Nigeria. Copyright © 2016 Penerbit Akademia Baru All rights reserved.
ON PREDICTABILITY OF ELASTIC-PLASTIC SEA ICE DYNAMICS MODELS

Certain viscous-plastic (VP) models are unstable during all opening deformations and some closing deformations. Thus, their behavior is chaotic. Attention now turns to stability of elastic-plastic (EP) models, which are used less frequently, but are useful alternatives to VP models, especially for shorter-term simulations. The EP model is studied when behavior is elastic and when stress is on the tensile cutoff cone during opening deformations. To analyze stability, we introduce perturbations to solutions, linearize the perturbation equations, introduce modal solutions to the linear perturbation equations, and look for modes that grow. Modes that can grow are sensitive to initial conditions and are therefore chaotic. This analysis shows that the EP model is stable when stress is within or on the tensile cutoff cone. INTRODUCTION This study has the goal of determining whether or not an EP sea ice dynamics model is stable. The central idea is to determine if ice dynamics models have solutions that are sensitive to initial conditions. If solutions are sensitive to initial conditions, then small perturbations to the initial conditions grow, making solutions unpredictable and inaccurate. Such behavior is chaotic. Unstable models might have acceptable behavior for some time interval, but solutions that are similar initially will eventually diverge, which implies that unstable models will eventually lose predictability. Although a user might choose to use a chaotic model, such models require a statistical presentation of results, and we believe it is better to use a stable model. At a minimum, it is essential to know if behavior is chaotic. BACKGROUND Gray and Killworth (1995) and Gray (1999) showed that the Hibler (1979) VP model is unstable during uniaxial opening when the ice condition is described by the standard two-component approximation to the thickness distribution. Pritchard (2002) presented a method for analyzing model stability during general deformation states. Linearized 1 IceCasting, Inc., 20 Wilson Court, San Rafael, CA 94901-1230, USA. ; http://www.icecasting. com.
Quality Models : A Comprehensive Review and Analysis

ARTICLE HISTORY: Received 17 April 2019 Revised 31 May 2019 Accepted 01 June 2019 One of the major challenges in software engineering is how to respond to the desolate state of high-quality software development in a timely and cost-effective manner. Software quality refers to the abilities related to the properties of software products in meeting users' requirements. Many studies have been conducted in an attempt to formalize the quality of software. However, according to the recent researches, the lack of comprehensive quality model is rooted in neglecting all quality aspects. In this study, we review nineteen quality models and classify them from three different perspectives, including structural, behavioral, and basic and derived aspects. The main aim of this paper is to specify and extract the more comprehensive set of quality factors to evaluate software quality. Moreover, this paper compares the different quality models and analyzes the factors to draw the necessary aspects in comprehensive quality models. Since the software quality involves several engineering tasks and several players who deal with quality concepts during software life cycle according to their various roles, in various phases and different artifacts, comprehensive quality models must consider many factors. These factors are in different aspects such as the measurement time in different development phases, product as well as process-related quality factors, a set of quality metrics measureable on the different type of artifacts such as document, model and source code, and finally a specific mechanism to apply dynamic weights to quality factors to determine their impacts on final quality of a product based on its application domain.