Miracle-dz/UniFAR-FTUs huggingface dataset:
Assessment of Internet Banking Services Continued Use: Role of Socio-Cognitive and Relational View

Recently, continued use of information systems in general and particularly the context of internet banking has drawn increasing attention both in academic and trade literatures. However, different perspectives that determine the continued use of internet banking has been addressed. Given the long-term goal of any business entity is to increase its productivity, expand its customer base and maximize revenues, it is crucial for banks offering internet banking services to focus on encouraging their customers to continually use internet banking. While emerging attention had been given on the assessment of continued use of internet banking services from single view, little of attention were given from researchers to combine different views in a single comprehensive model. Yet, it is believe that combining different views would provide a better understanding to the issues surrounding the continued use. Drawing on the literature, this study developed a model to determine factors that influence the continued use of internet banking by combining factors from the socio-cognitive view and the relational view. Using a survey questionnaire, 450 questionnaires were distributed to users of internet banking in Libya. A number of interesting findings emerged, among others, is the lack of association between trust and perception to continue using the internet banking services in Libya.
Sobolev Spaces: with Applications to Elliptic Partial Differential Equations

Sobolev spaces play an outstanding role in modern analysis, in particular, in the theory of partial differential equations and its applications in mathematical physics. They form an indispensable tool in approximation theory, spectral theory, differential geometry etc. The theory of these spaces is of interest in itself being a beautiful domain of mathematics. The present volume includes basics on Sobolev spaces, approximation and extension theorems, embedding and compactness theorems, their relations with isoperimetric and isocapacitary inequalities, capacities with applications to spectral theory of elliptic differential operators as well as pointwise inequalities for derivatives. The selection of topics is mainly influenced by the author’s involvement in their study, a considerable part of the text is a report on his work in the field. Part of this volume ﬁrst appeared in German as three booklets of Teubner-Texte zur Mathematik (1979, 1980). In the Springer volume “Sobolev Spaces”, published in English in 1985, the material was expanded and revised. The present 2nd edition is enhanced by many recent results and it includes new applications to linear and nonlinear partial differential equations. New historical comments, five new chapters and a signiﬁcantly augmented list of references aim to create a broader and modern view of the area.
Asymmetric Uncertainties: Sources, Treatment and Potential Dangers

The issue of asymmetric uncertainties resulting from fits, nonlinear propagation and systematic effects is reviewed. It is shown that, in all cases, whenever a published result is given with asymmetric uncertainties, the value of the physical quantity of interest is biased with respect to what would be obtained using at best all experimental and theoretical information that contribute to evaluate the combined uncertainty. The probabilistic solution to the problem is provided both in exact and in approximated forms.
Three dimensional compressible turbulent flow computations for a diffusing S-duct with/without vortex generators

Numerical investigations on a diffusing S-duct with/without vortex generators and a straight duct with vortex generators are presented. The investigation consists of solving the full three-dimensional unsteady compressible mass averaged Navier-Stokes equations. An implicit finite volume lower-upper time marching code (RPLUS3D) has been employed and modified. A three-dimensional Baldwin-Lomax turbulence model has been modified in conjunction with the flow physics. A model for the analysis of vortex generators in a fully viscous subsonic internal flow is evaluated. A vortical structure for modeling the shed vortex is used as a source term in the computation domain. The injected vortex paths in the straight duct are compared with the analysis by two kinds of prediction models. The flow structure by the vortex generators are investigated along the duct. Computed results of the flow in a circular diffusing S-duct provide an understanding of the flow structure within a typical engine inlet system. These are compared with the experimental wall static-pressure, static- and total-pressure field, and secondary velocity profiles. Additionally, boundary layer thickness, skin friction values, and velocity profiles in wall coordinates are presented. In order to investigate the effect of vortex generators, various vortex strengths are examined in this study. The total-pressure recovery and distortion coefficients are obtained at the exit of the S-duct. The numerical results clearly depict the interaction between the low velocity flow by the flow separation and the injected vortices.
Simplified Proofs for the Pro-Lie Group Theorem and the One-Parameter Subgroup Lifting Lemma

This note is devoted to the theory of projective limits of finite-dimensional Lie groups, as developed in the recent monograph ``The Lie Theory of Connected Pro-Lie Groups'' by K.H. Hofmann and S.A. Morris. We replace the original, highly non-trivial proof of the One-Parameter Subgroup Lifting Lemma given in the monograph by a shorter and more elementary argument. Furthermore, we shorten (and correct) the proof of the so-called Pro-Lie Group Theorem, which asserts that pro-Lie groups and projective limits of Lie groups coincide.
Pengembangan Laboratorium Virtual Fisika Osilasi

This research aims to develop a virtual lab application with oscillation concept. Oscillation concept in this application is described as pendulum motion. The application was developed by using the ADDIE model and Easy Java Simulations (EJSs) software. It has advantages compared with similar applications, which has a damping coefficient that similar with real world condition. Some other features of the application are the users can run and pause the simulation, observe the details of changes in pendulum movement angle by using step forward button, users can change pendulum mass, adjust the length of the rope, gravitational force, initial angle, damping coefficient, and can observe the change of pendulum angular position in parabolic graphs in real-time. The application was tested using the Technology Acceptance Model (TAM) concept. Based on the research results, the user satisfaction level is categorized as very useful. Therefore, it can be conclude that the application can be accepted and used well by the user.
Lévy processes and infinitely divisible distributions

Preface to the revised edition Remarks on notation 1. Basic examples 2. Characterization and existence 3. Stable processes and their extensions 4. The Levy-Ito decomposition of sample functions 5. Distributional properties of Levy processes 6. Subordination and density transformation 7. Recurrence and transience 8. Potential theory for Levy processes 9. Wiener-Hopf factorizations 10. More distributional properties Supplement Solutions to exercises References and author index Subject index.
Lane Keeping Assistance with Learning-Based Driver Model and Model Predictive Control

This paper proposes a novel active Lane Keeping Assistance Systems (LKAS) which relies on a learning-based driver model. The driver model detects unintentional lane departures earlier than existing LKAS, and as a result the correction needed to keep the vehicle in the lane is smaller. When the controller has control of the car, the driver model estimates what the driver would do to keep the car in the lane, and the controller tries to reproduce that behavior as much as possible so that the controlled motion feels comfortable for the driver. The driver model combines a Hidden Markov Model and Gaussian Mixture Regression. The controller is a Nonlinear Model Predictive Controller. The results obtained with real data show that our driver model can reliably predict lane departures. The controller is able to keep the car in the lane when there is a risk of lane departure, and does so less intrusively than existing LKAS. Topics / Active safety and driver assistance systems, Driver modeling
USING GEOGEBRA SOFTWARE IN TEACHING APPLICATIONS OF DERIVATIVE

The aim of this study is to determine the effects of a dynamic software on the achievement of pre-service mathematics teachers in applications of derivative and identify their opinions about computer-assisted instruction. As the dynamic mathematics software, GeoGebra is used in the study. The sample of the study comprises of 35 pre-service mathematics teachers in the Department of Mathematics Education Program of a state university inTurkey. An achievement test for applications of derivative and opinion form are used as data collecting tools of the study carried out with embedded design as a part of mixed method. After the analysis of data it is concluded that computer-assisted instruction method in which dynamic mathematics software is used has a positive effect on the achievement of pre-service mathematics teachers in applications of derivative. In addition, it is determined that pre-service teachers’ opinions support the usage of this method in other mathematics lessons because of the features of this method which are visualize, concretization, understanding by applying and interpreting and increasing retention. Especially, it has been determined that this method has contributed to the visualization and concretization of the maximum and minimum problems and the Mean Value, Fermat and Rolle Theorems.
9C continued: Results from a deeper radio-source survey at 15 GHz

The 9C survey of radio sources with the Ryle Telescope at 15.2 GHz was set up to survey the fields observed with the cosmic microwave background telescope, the Very Small Array. In our first paper, we described three regions of the survey, constituting a total area of 520 deg2 to a completeness limit of ≈25 mJy. Here we report on a series of deeper regions, amounting to an area of 115 deg2 complete to ≈10 mJy and of 29 deg2 complete to ≈5.5 mJy. We have investigated the source counts and the distributions of the 1.4 to 15.2 GHz spectral indices (α15.21.4) for these deeper samples. The whole catalogue of 643 sources is available online. Down to our lower limit of 5.5 mJy, we detect no evidence for any change in the differential source count from the earlier fitted count above 25 mJy, n(S) = 51(S/Jy)−2.15 Jy−1 sr−1. We have matched both our new and earlier catalogues with the NRAO VLA Sky Survey (NVSS) catalogue at 1.4 GHz and selected flux-limited samples at both 15 and 1.4 GHz. As expected, we find that the proportions of sources with flat and rising spectra in the samples selected at 15 GHz are significantly higher than those in the samples selected at 1.4 GHz. In addition, for 15-GHz samples selected in three flux density ranges, we detect a significant shift in the median value of α15.21.4: the higher the flux densities the higher the proportions of sources with flat and rising spectra. In our area complete to ≈10 mJy, we find five sources between 10 and 15 mJy at 15 GHz, amounting to 4.3 per cent of sources in this range, with no counterpart in the NVSS catalogue. This implies that, had we relied on NVSS for locating our sources, we could have missed a significant proportion of them at low flux densities. Our results illustrate the problems inherent in using a low-frequency catalogue to characterize the source population at a much higher frequency and emphasize the value of our blind 15.2-GHz survey.
Recent progress in backreacted bottom-up holographic QCD

Recent progress in constructing holographic models for QCD is discussed, concentrating on the bottom-up models which implement holographically the renormalization group flow of QCD. The dynamics of gluons can be modeled by using a string-inspired model termed improved holographic QCD, and flavor can be added by introducing space filling branes in this model. The flavor fully backreacts to the glue in the Veneziano limit, giving rise to a class of models which are called V-QCD. The phase diagrams and spectra of V-QCD are in good agreement with results for QCD obtained by other methods.
Analysis of Technology Acceptance Model (TAM) on E-Learning System

—Advances in science and technology, especially Information and Communication Technology (ICT) more positive impact for the advancement of education today. Various advantages of e-learning to encourage the use of e-learning has become a necessity these days is no longer a necessity or compulsion. Utilization of e-learning in the learning process was already inevitable. This study aims to
Towards Faster Development of Deep Learning Models Using Meta-Learning

Deep learning has, in relatively few years, improved significantly the performance of many machine learning applications. Even though its popularity has surged, it’s not always easy to apply deep learning to a real-world problem. Developing a good deep learning model is a process that most likely will include several iterations of data collection, training and hyperparameter tuning. One big obstacle in this process is the hunger for data and compute power. Supervised learning often requires a massive amount of annotated examples, and training usually extends over hours or days. This makes the process of developing deep learning models very time and resource consuming. In this thesis we investigate if recent advances in few-shot learning can be used to speed up this process, and look specifically at object detection as an example. Such methods could potentially decrease both the necessary number of examples and the training time. MAML (Finn et al. 2017) is a promising few-shot learning method based on metalearning that optimizes the initial parameters of a model to be best possibly suited for fine-tuning. It’s model-agnostic by nature and can in principle be applied to most deep learning models. But through extensive exploration we show that it’s far from trivial to apply MAML to object detection on natural images. However, we are able to use a simpler method inspired by MAML, Reptile (Nichol et al. 2018b). We show that a model pretrained using Reptile can be fine-tuned considerably faster than a model pretrained normally on object detection, but surprisingly it does not enable using fewer examples. In addition, we show that Reptile is able to speed up the development of deep learning models in practice. This is done by building a proof of concept tool and use this to test some example use cases.
Fighting CPS Complexity by Component-Based Software Development of Multi-Mode Systems

Growing software complexity is an increasing challenge for the software development of modern cyber-physical systems. A classical strategy for taming this complexity is to partition system behaviors into different operational modes specified at design time. Such a multi-mode system can change behavior by switching between modes at run-time. A complementary approach for reducing software complexity is provided by component-based software engineering (CBSE), which reduces complexity by building systems from composable, reusable and independently developed software components. CBSE and the multi-mode approach are fundamentally conflicting in that component-based development conceptually is a bottom-up approach, whereas partitioning systems into operational modes is a top-down approach with its starting point from a system-wide perspective. In this article, we show that it is possible to combine and integrate these two fundamentally conflicting approaches. The key to simultaneously benefiting from the advantages of both approaches lies in the introduction of a hierarchical mode concept that provides a conceptual linkage between the bottom-up component-based approach and system level modes. As a result, systems including modes can be developed from reusable mode-aware components. The conceptual drawback of the approach—the need for extensive message exchange between components to coordinate mode-switches—is eliminated by an algorithm that collapses the component hierarchy and thereby eliminates the need for inter-component coordination. As this algorithm is used from the design to implementation level (“compilation”), the CBSE design flexibility can be combined with efficiently implemented mode handling, thereby providing the complexity reduction of both approaches, without inducing any additional design or run-time costs. At the more specific level, this article presents (1) a mode mapping mechanism that formally specifies the mode relation between composable multi-mode components and (2) a mode transformation technique that transforms component modes to system-wide modes to achieve efficient implementation.
Thermal Sensor Placement and Thermal Reconstruction Under Gaussian and Non-Gaussian Sensor Noises for 3-D NoC

On-chip thermal sensors are essential for temperature management in 3-D network-on-chip (NoC) systems. However, due to the physical (area and power) or economical constraints, the number of sensors is limited. Therefore, the two critical issues we face are: 1) how to figure out an efficient thermal sensor placement with the limited number of sensors and 2) how to reconstruct the entire thermal profile based on sensor observations. Another major issue for the thermal reconstruction is the sensor measurement accuracy. Thus, online accurate full-chip thermal reconstruction under Gaussian and non-Gaussian noises is another great challenge. In this paper, a greedy thermal sensor placement algorithm maximizing the rank of the observability Gramian is proposed. A good placement algorithm always relies on a specific reconstruction method. The proposed placement algorithm is designed for the state-space-based thermal model, thus the combination of the proposed placement algorithm and the Kalman filter-based reconstruction method provides a high reconstruction accuracy under Gaussian noise. For accurate temperature reconstruction under non-Gaussian noise, the Gaussian-Sum filter is applied to 3-D NoC. Compared with the Kalman filter, the Gaussian-Sum filter can reduce the root-mean-squared-error and the max error by 29.27%–35% and 33.26%–40.6%, respectively. A reusable architecture for the Kalman filter and the Gaussian-Sum filter has been proposed. Its hardware implementation details are presented in this paper. Besides, the performance and the area are evaluated as well.
Factors Influencing Customer Engagement in Social Commerce Websites: A Systematic Literature Review

The evolution of social commerce (s-commerce) has changed both businesses and customers. Therefore, understanding customer engagement behaviour in the s-commerce context has become a key competitive advantage for companies that aim to build a customer-centric business. The purpose of this study is to provide an in-depth review of customer engagement studies in the context of s-commerce. This study used a systematic literature review approach on customer engagement studies in the context of s-commerce. The results show that social theories and factors play a significant role in customer engagement along with technological factors. More importantly, drawn from the review results, a research framework was developed to show the factors that provide the greatest influence in customer engagement behavior.
An exploratory study: using Danmaku in online video-based lectures

ABSTRACT This exploratory study investigated the use of Danmaku in video-based lectures as a method to enhance learners’ interactions and course engagement in online instruction. Visually, Danmaku is real-time, horizontal, text-based display of commentary that uses subtitles in a manner widely employed in Animation, Comic, and Game (ACG) videos in Asian countries. To assess the potential value of Danmaku for online instruction and learner interaction, this study employed an inductive content analysis using Danmaku from 934 online lecture videos. Data were collected from Bilibili.tv, a video-sharing website based in China. This study concluded that Danmaku could function as an effective way to enhance learners’ interaction, increase course engagement, and improve learning experiences while participating in online video-based lectures.
Numerical and Experimental Fuel Flow Analysis of Small Engine Carburetor Idle Circuits

Small engine carburetors have been used for over 100 years and their continual development has produced a mechanical device that although simple in principle is difficult to control in practice. This study aims to develop a mathematical model of the air and fuel delivery process that occurs in the idle path that can predict the air-to-fuel ratio in small engines. A one-dimensional model was created that incorporates single phase air and fuel flow effects using an electrical circuit analog. The model incorporates dynamic fuel flow effects due to inertia, and was coupled to the engine airflow via input data provided by commercial engine simulation software. The methodology developed for the idle path creates a foundation on which to build a transition system and the boundary conditions that control it. A simplified model of the main path circuit was also created that incorporates single phase inertial effects and was used to provide boundary conditions to the idle path model. Finally, a dynamic sensitivity analysis of the idle path was conducted to analyze which elements of the idle path control the fuel flow response. The second part of this study addressed the results of the sensitivity analysis. The idle discharge metering orifice has the largest effect on the air-to-fuel ratio delivered to the engine by the idle path. An experiment was created to characterize two-phase orifices representative of the idle discharge metering orifice. The data produces an empirical correlation that can be used to predict the pressure loss across the metering orifice. The correlation displays results that are inconsistent with the homogeneous assumption and highlights the need for further research in this area.
Calibrating Milky Way dust extinction using cosmological sources

We constrain the light extinction properties of Milky Way dust. We investigated the correlations between dust column density as inferred from infrared data and the observed colours of celestial objects at cosmological distances with low levels of colour dispersion. Results derived using colours of quasars, brightest central galaxies, and luminous red galaxies are broadly consistent, indicating a proportionality constant between the reddening E(B-V)=A_B-A_V and the dust column density D^T (given in units of MJy/sr) of p=E(B-V)/D^T=0.02 and a reddening parameter R_V=A_V/E(B-V)=3 with fractional uncertainties of approximately 10%. The data do not provide any evidence for spatial variations in the dust properties, except for a possible hint of scatter in the dust extinction properties at the longest optical wavelengths.
Growth, Structure Analysis and Anisotropic Superconducting Properties of MgB2 Single Crystals

Here we report the growth of sub-millimeter MgB 2 single crystals of various shapes under high pressure in Mg–B–N system. Structure refinement using a single-crystal X-ray diffraction analysis gives lattice parameters a =3.0851(5) A and c =3.5201(5) A with small reliability factors ( R w =0.025, R =0.018), which enables us to analyze the Fourier and Fourier difference maps. The maps clearly show the B sp 2 orbitals and covalency of the B–B bonds. The sharp superconducting transitions at T c =38.1–38.3 K were obtained in both magnetization (Δ T c =0.6 K) and resistivity (Δ T c <0.3 K) measurements. Resistivity measurements with magnetic fields applied parallel and perpendicular to the Mg and B sheets reveal the anisotropic nature of this compound, with upper critical field anisotropy ratio of about 2.7.