Miracle-dz/UniFAR-FTUs huggingface dataset:
Understanding the Geometry of Photographic images using Deep Learning

Photographs are composed of diﬀerent attributes and styles which play a signiﬁcant role in the way they are viewed. These attributes contribute towards the overall aes-thetics of photographs. While a considerable amount of research has been carried out in understanding the appearances and texture of photographs using deep learning, the work done for identifying the geometry of photographs using deep learning becomes extremely limited. This dissertation is a step towards exploring diﬀerent neural network architectures and determining their performances in detection of geometric attributes in photographic images. The dissertation presents a novel dataset, Geo-Style, which has 12,000 images taken from Flickr and annotated with 7 geometric style labels: Architecture, Lines, Frames, Repetitions, Rule of Thirds, Silhouettes and Symmetry. Neural network architectures are used for style classiﬁcation and the results achieved show commendable understanding of geometric style by the selected networks. Additionally, the dissertation demonstrates explanations with the help of confusion matrix and feature map visualizations to justify the results achieved by the neural networks. The dissertation ﬁnally concludes by conducting a user study to provide a human baseline for the evaluation of Geo-Style dataset.
Design and Comparison of Performance of DFIG Based Wind Turbine with PID Controller, Fuzzy Controller, Artificial Neural Network and Model Predictive Controller

The everyday benefits of environmentally friendly power sources urges to build their use to the bigger degree of which wind energy is the most accessible asset. This paper presents the plan of multimode hang control methodology based variable speed wind power age framework. The multimode hang control procedure improves the framework to work regarding the network framework and furthermore in the independent method of activity. The multimode control methodology utilizes the DC connect voltage regulator to control the DC interface capacitor voltage for working the framework side converter and current regulator to control current and force of the rotor side converter. The control methodology is investigated with the customary regulator like PI regulator, astute regulators like Fuzzy regulator, fake neural organization (ANN) and model prescient regulator (MPC) which predicts the future factors. A correlation has been performed with the previously mentioned various sorts of regulators based breeze power age framework regarding various boundaries. This paper likewise includes examination of various experiments with the previously mentioned regulators. The examination of various experiments with various regulators has been performed utilizing MATLAB 2013a and every one of the outcomes are checked.
Boosting static analysis accuracy with instrumented test executions

The two broad approaches to discover properties of programs---static and dynamic analyses---have complementary strengths: static techniques perform exhaustive exploration and prove upper bounds on program behaviors, while the dynamic analysis of test cases provides concrete evidence of these behaviors and promise low false alarm rates. In this paper, we present DynaBoost, a system which uses information obtained from test executions to prioritize the alarms of a static analyzer. We instrument the program to dynamically look for dataflow behaviors predicted by the static analyzer, and use these results to bootstrap a probabilistic alarm ranking system, where the user repeatedly inspects the alarm judged most likely to be a real bug, and where the system re-ranks the remaining alarms in response to user feedback. The combined system is able to exploit information that cannot be easily provided by users, and provides significant improvements in the human alarm inspection burden: by 35% compared to the baseline ranking system, and by 89% compared to an unaided programmer triaging alarm reports.
Ju l 2 02 1 A TIGHT LOWER BOUND FOR THE ONLINE BOUNDED SPACE HYPERCUBE BIN PACKING PROBLEM

In the d -dimensional hypercube bin packing problem, a given list of d -dimensional hypercubes must be packed into the smallest number of hypercube bins. Epstein and van Stee [SIAM J. Comput. 35 (2005)] showed that the asymptotic performance ratio ρ of the online bounded space variant is Ω p log d q and O p d { log d q , and conjectured that it is Θ p log d q . We show that ρ is in fact Θ p d { log d q , using probabilistic arguments.
High-order Discontinuous Galerkin Methods for Nonhydrostatic Ocean Processes with a Free Surface

Accurate numerical simulation and modeling of ocean dynamics is playing an increasingly large role in scientific ocean applications. However, resolving these dynamics with traditional computational techniques can often be prohibitively expensive, necessitating the creation of next-generation high-order ocean models. In this work, we apply the local discontinuous Galerkin (LDG) and hybridizable discontinuous Galerkin (HDG) finite element methodology to discretize the ocean equations with a free-surface. We provide comparison of the strengths and weaknesses of the two formulations in terms of accuracy, efficiency, and scalability, and provide detailed discussion of numerical choices and their consequences as they relate to ocean modeling. We verify our methodology with numerical experiments and results from nonhydrostatic gravity wave theory.
Tackling barriers in the learning of computer programming

: The discipline of introduction to computer programming poses several difficulties to students and teachers. Success rates are low, students feel demotivated and there are cases of recurrent failure. Programming is an essential pre-requisite to other subjects in computer science, making the situation still worse. Moreover, several curriculum disciplines influence the programming contents, making it unlikely that a unified syllabus can be found. The problem is well known in the literature and, due to the multitude of aspects that affect it, currently there is no definitive solution. This article reports an on-going research, exploring some alternatives for the first programming discipline of a short-graduation course. The methodology under study focuses on motivation and problem solution and pushes into the background aspects of less pedagogical interest in the selection of the programming languages and the problems presented to the class. We also introduce an innovative strategy, by using two programming languages. The first results are encouraging; the students got involved and there were good indications of authentic attempts to solve problems, replacing the more usual passive attitude.
Graph-based seed object synthesis for search-based unit testing

Search-based software testing (SBST) generates tests using search algorithms guided by measurements gauging how far a test case is away from exercising a coverage goal. The effectiveness of SBST largely depends on the continuity and monotonicity of the fitness landscape decided by these measurements and the search operators. Unfortunately, the fitness landscape is challenging when the function under test takes object inputs, as classical measurement hardly provide guidance for constructing legitimate object inputs. To overcome this problem, we propose test seeds, i.e., test code skeletons of legitimate objects which enable the use of classical measurements. Given a target branch in a function under test, we first statically analyze the function to build an object construction graph that captures the relation between the operands of the target method and the states of their relevant object inputs. Based on the graph, we synthesize test template code where each "slot" is a mutation point for the search algorithm. This approach can be seamlessly integrated with existing SBST algorithms, and we implemented EvoObj on top of EvoSuite. Our experiments show that EvoObj outperforms EvoSuite with statistical significance on 2750 methods over 103 open source Java projects using state-of-the-art SBST algorithms.
Job performance, Innovative Work-behaviour, Job Satisfaction and Psychological Ownership: Evidence from Insurance Sector

The phenomenon of psychological ownership associated with employee attitudes and behaviours has frequently been the subject of recent academic research. The present study aims to reveal the outcomes of psychological ownership. Online survey was conducted on a sample of 435 employees from insurance companies, located in Istanbul. Data was collected through convenient sampling method. Findings showed that, psychological ownership positively affects employees’ job outcomes, specifically, task and contextual performance, job satisfaction and innovative work-behaviour. Practical implications and further recommendations are also discussed.
Implementation of Rowhammer Effect in gem5

Modern computer memories have been shown to have reliability issues. The main memory is the target of a se-curity attack called Rowhammer, which causes bit ﬂips in adjacent victim cells of aggressor rows. Existing architec-tures simulator don’t provide any implementation of unin-tended memory modiﬁcations like bit-ﬂips. In this paper, we propose an implementation of the Rowhammer effect in the gem5 architecture simulator.
Building Identification in Urban Areas using VHR Satellite Imagery

Satellite imagery is one of the emerging technologies which is extensively utilized in various applications such as detection/extraction of man-made structures, monitoring of sensitive areas, creating graphic maps etc. The main approach here is the automated detection of buildings from very high resolution (VHR) optical satellite images. Initially the shadow and the building region are investigated and building extraction is mainly focused. Once all the landscape is collected a trimming process is done so as to eliminate the landscapes that may occur due to nonbuilding objects. Finally the label method is used to extract the building regions. The label method may be altered for efficient building extraction. The images used for the analysis are the ones which are extracted from the sensors having resolution less than 1 meter (VHR). This method provides an efficient way to produce good results. The additional overhead of mid processing is eliminated without compromising the quality of the output to ease out processing steps required and time consumed in the same. /
The Role of National Context in the Relationship Between Founder CEO and IPO Performance

Purpose Although founders are often replaced with external CEOs prior to firms making IPOs, firms that do retain founder CEOs generally perform better at IPO. However, this relationship may be contingent upon context. This study aims to investigate how national context influences the relationship between a founder CEO and IPO long-run performance. The authors hypothesize that founder-CEOs will perform better in IPO firms in countries where managerial discretion, future orientation, and the level of conformity to professionalize management are high, and uncertainty avoidance is low. Design/methodology/approach Using insights from the upper echelon and institutional theory, the authors used hierarchical linear modeling to analyze over 1,000 firms across eight countries. Findings Founder CEOs perform best in IPO firms in a national context where managerial discretion is low, uncertainty avoidance is high and the level of conformity is high. Originality/value This study contributes to a growing area of cross-national IPO research in management by investigating the relationship between culture, management and IPO performance.
Impacts of Renewable Fuel Policy with Sentiment on the Energy and Agricultural Markets: A Vine Copula-based ARMA-GJR-GARCHX Model

Impacts of Renewable Fuel Policy with Sentiment on the Energy and Agricultural Markets: A Vine Copula-based ARMA-GJR-GARCHX Model Kuan-Ju Chen and Kuan-Heng Chen *Please do not copy or cite from this paper* Abstract This study investigates how the renewable fuel policy affects the investment decision making process in the U.S. energy and agricultural markets. The policy requires the U.S. transportation sector to contain a minimum volume of renewable fuels to reduce greenhouse gas emissions and dependence on imported oil. We use corn and sugar as proxies for ethanol and soybeans to represent biodiesel because these are the main components to produce alternative fuels. Meanwhile, crude oil is selected as another ingredient in conventional fuels. The effect of renewable fuel policies is evaluated on the corn, soybean, sugar, and cruel oil markets using a vine copula-based ARMA-GJR-GARCHX model. In order to capture investor reaction to fluctuations in the market, we incorporate the Sentiment Score provided by Thomson Reuters News into the model. Our results show the positive effects of the U.S. renewable energy policy and Sentiment Score on the volatility of commodity returns. Controlling for financial crisis of 2008, the average returns of the renewable energy market are increased after the passage of the updated renewable fuel policy, in particular, sugar that exhibits a significantly positive impact. This increase might be due to benefits from increasing biofuel production. In addition, using a vine copula technique to better capture the asymmetric and nonlinear dependencies among the commodities that make up the renewable energy market, our findings provide policymakers and industry participants with enhanced information on strategies for risk management, portfolio optimization, hedging, and asset pricing.
Corruption Distance and US Foreign Direct Investment Outflows

Corruption, defined as the misuse of public power for private gains, is a problem for many emerging and developing countries. Corruption increases the poverty and reduces growth and investment. This paper aims to analyze the relationship between corruption in the host country and the US foreign direct investment towards that country. I use two measures for corruption: The Corruption Perceptions Index and the corruption distance, which is the absolute difference of the corruption in the host and the US. Using a sample of 47 countries that receive the US foreign direct investment, I find that corruption is a strong determinant of US FDI outflows and the US investors are reluctant to invest in corrupt countries. Moreover, corruption distance has a negative effect on US FDI since as the distance in corruption increases, we observe less US FDI towards the host country.
Autologous Platelet-Rich Plasma Efficacy in the Field of Regenerative Medicine: Product and Quality Control

Platelet-rich plasma (PRP) has emerged as a significant regenerative therapy used alone or combined mainly with stem cells, autologous fat grafts, hyaluronic acid, and biomaterials in a variety of medical fields, especially in hair regrowth, wound healing, and sports and rehabilitation medicine. However, the results obtained with this biologic therapy are heterogeneous and conflicting. The observed disparities in the effectiveness of PRP therapies may be due to a lack of standardization in blood processing and preparation. This article is aimed at reviewing the main biological parameters that need to be documented for a thorough reporting of quantitative and qualitative characteristics of the PRP injected, to allow a comparison between the quality of samples and the clinically obtained results and advance the efforts towards treatment standardization.
A Representation of Artificial Spin Ice for Evolutionary Search

Arrangements of nanomagnets known as artiﬁcial spin ices show great potential for use in unconventional computation. The majority of exploratory work done in this area considers just a small handful of well studied geometries (nanomag-netic arrangements), and uses them as if they were a black box. Here we detail a novel representation of artiﬁcial spin ice geometries, which lends itself to the tuning and evolutionary search of geometries. Using our representation we present geometries tuned to exhibit a desired computational or meta-material property. This is the ﬁrst example of such a search performed on artiﬁcial spin ice.
Filter and correction for a hybrid sound field analysis of geometrical and wave-based acoustics

Statistical, geometrical, or wave-based acoustics are used as the basis for sound field analysis of buildings. As each technique has its own merits and limitations, it is imperative to select a suitable method for the target space and frequency. However, different techniques can be combined to obtain a precise wideband solution. Herein a hybrid technique, which combines the calculated results using the back-tracing method and the finite-difference time-domain (FDTD) method, is proposed to realize a wideband impulse response. Additionally, the required filters and corrections to properly combine the results are discussed. Then the effectiveness of the hybrid technique is evaluated from the viewpoints of required memory and computational time. Compared to the back-tracing method alone, the hybrid technique significantly improves the time and frequency response results, especially at low frequencies. Finally, the appropriate crossover frequency for hybrid analysis is discussed.
Source Related Argumentation Found in Science Websites: A quantitative study

In this paper, we consider the way that web documents seeking to persuade readers of certain science claims provide information about the sources of the arguments. Our quantitative analysis reveals that web documents in our sample include hundreds of examples in which the reader is provided information regarding the trustworthiness (or lack thereof) of sources. The web documents also contain a large number of examples in which the reader is provided with information about how many individuals hold a particular belief. We discuss ad hominem, ad verecundiam, and ad populum arguments, and the way that the examples found in our sample of documents are related to these argumentation schemes. Résumé: Dans cet article, nous examinons la manière dont les documents Web qui visent à persuader les lecteurs de certaines affirmations scientifiques fournissent des informations sur les sources des arguments. Notre analyse quantitative révèle que les documents Web de notre échantillon comprennent des centaines d'exemples dans lesquels le lecteur reçoit des informations sur la fiabilité (ou l'absence de fiabilité) des sources. Les documents Web contiennent également un grand nombre d'exemples dans lesquels le lecteur est informé du nombre d'individus qui ont une croyance particulière. Nous discutons des arguments ad hominem, ad verecundiam et ad populum, et de la manière dont les exemples trouvés dans notre échantillon de documents sont liés à ces schémas d'argumentation.
DSRC Applicability in Cameroon Road Traffic: A Simulation Study

The IEEE 802.11p standard has been amended in the 5.9GHz band in 2010 to provide road safety by enabling vehicle-to-vehicle (V2V) and vehicle-to-infrastructure (V2I) communications. V2V communications evolve the exchange of Wave Short Messages (WSM) between vehicles for safety advertisement, either in one hop or multi-hop broadcasts. However, previous DSRC evaluations have shown that this protocol is highly sensitive to transmission conditions, making it difficult to predict its performance. We are interested in finding the best configuration parameters for safety messages broadcasting over DSRC in typical African urban environments. Extensive simulations through the widely used network simulator OMNeT++, Veins, and SUMO show that only a very small fraction (around 30%) of the WSM reach the neighboring vehicles on time. Furthermore, the rebroadcasting of WSM further deteriorates the performances. Thus, the protocol as it is needs to be improved for its application in our environment.
Mid-Air Drawing of Curves on 3D Surfaces in Virtual Reality

Complex 3D curves can be created by directly drawing mid-air in immersive environments (Augmented and Virtual Realities). Drawing mid-air strokes precisely on the surface of a 3D virtual object, however, is difficult, necessitating a projection of the mid-air stroke onto the user “intended” surface curve. We present the first detailed investigation of the fundamental problem of 3D stroke projection in VR. An assessment of the design requirements of real-time drawing of curves on 3D objects in VR is followed by the definition and classification of multiple techniques for 3D stroke projection. We analyze the advantages and shortcomings of these approaches both theoretically and via practical pilot testing. We then formally evaluate the two most promising techniques spraycan and mimicry with 20 users in VR. The study shows a strong qualitative and quantitative user preference for our novel stroke mimicry projection algorithm. We further illustrate the effectiveness and utility of stroke mimicry to draw complex 3D curves on surfaces for various artistic and functional design applications.
Evaluation of Dental Surface after De-Bonding Orthodontic Bracket Bonded with a Novel Fluorescent Composite: In Vitro Comparative Study

The use of a new fluorescent composite can reduce some of the problems related to procedures of de-bonding orthodontic bracket (enamel damage, dentine lesions, and composite residuals). The aim of the presented study was to compare the effect of fluorescent and conventional non-fluorescent composite on dental surface and composite remnants by in vitro de-bonding tests. De-bonding of florescent composite (DFC) and the de-bonding of standard composite (DSC) were performed by operators on an in vitro sample of 48 teeth under UV light (360–370 nm min 20 mW/cm2). Modified ARI (Adhesive Remnant Index), scored under 5.0×/235 magnification, was used for evaluation of dental surface after the procedure, and the duration required for de-bonding was measured. Significant differences in ARI between the two groups were observed (Pearson two-tailed p = 0.006 1.4 ± 0.1 95% C.I.), and the average duration of de-bonding was 38 s (DFC) and 77 s (DSC) per tooth, respectively (Mann–Whitney test p = 0.015; 57.7 ± 19.9 95% C.I.). The use of fluorescent composite could significantly improve the quality of de-bonding by reducing the quantity of composite residuals and visible enamel damage, while reducing time needed for successful procedure performance.
Rise of Catholic Schools in the Global South and Implications for University Research

: Building on a presentation made at the closing plenary of OIEC’s World Congress in New York, this paper considers two trends affecting Catholic education globally and their potential implications for university research and programs in support of K12 schools. The first trend is the shift of enrollment in K12 Catholic education towards the global south and especially Africa in terms of the sheer number of students enrolled in schools. The second trend relates to the deepening learning crisis in K12 education affecting much of the developing world, and again especially Africa. These two trends have implications for university research and programs in support of K12 Catholic schools on the continent. The paper argues that apart from discussions related to Catholic identity, which are of course important, more attention should be placed by universities, including in the West, on the related but distinct issue of how to improve basic learning for students enrolled in K12 Catholic schools in the global south.