Miracle-dz/UniFAR-FTUs huggingface dataset:
Modelica-Modellbibliothek zur Simulation der Dynamik von Schaltvorgängen bei Automatikgetrieben

In diesem Beitrag wird gezeigt, wie die Modelica-Komponentenbibliothek PowerTrain zur Modellierung von Automatikgetrieben verwendet werden kann. In der Modelica-Simulationsumgebung Dymola last sich aus den Modellen effizienter Simulationscode erzeugen, der selbst fur Echtzeitanwendungen geeignet ist. Gekoppelte Reibelemente (Kupplungen, Bremsen, Verzahnungsreibung) werden in der Simulation zuverlassig behandelt.
Interrogating Conflicts in Jos-Nigeria Effects on Women and Youths and the Debate on Transformative Theatre for Development: A Case for Forum Theatre

Theatre for Development(TFD) Process calls for Conscientization, improves quality of life, and transformation for a better and organized society. These TFD processes enable people to acquire knowledge through drama to understand the benefits of transformation and take collective action towards positive change. The Theoretical and Conceptual framework is based on the assumption that the study is appropriate in solving the violent conflict in Jos. Government and NGOs have recognized the use of TFD for Transformation globally. This paper has analysed the use of FT as the medium for empathy on women and youths in terms of participatory involvement as a process of healing in the violent conflict in Jos. The study explore Frequency rum theory can effectively serve as a therapy for transformation. The study adopted a case study design to show how the study is effective other areas. Quantitative and qualitative design was employed to show the level of effect on the crisis. Findings show a collective movement and action to include: skits, songs, dance, street shows, stigmatization, unemployment, corruption, insecurity, kidnapping, cultural barrier, access to education were found to be the challenges. Collective actions such as Government‟s involvement in addressing the core issues of the conflict in Jos are possible resolutions. Introduction: Backgrounding the issues The global community witnessed about 250 armed conflicts in the twentieth century, with over 110,000,000 million people killed, wounded, crippled and mutilated (Servae, 2008). Statistics have also suggested the existence of 233 groups in 93 countries between 1989 and 2005, representing fully one-sixth of humanity engaged in political, ethnic or military struggles, from which more than 20 million refugees were in flight (Cramer, 2006:1). In the above statistics, 2 African countries such as Nigeria, Kenya, Egypt, South Africa, Cameroun, Congo, account for more fatalities and such violent conflicts are seen to hinder development in Africa (Adolfo,
Nature in our lives: Examining the human need for nature relatedness as a basic psychological need

Abstract Is the need for nature relatedness a basic psychological need? Using Baumeister and Leary’s need criteria as comparators, we explored literature arcing across disciplines to find evidence that either supported or undermined our proposition that the human need for nature may be a fundamental psychological need. We found that while nature’s salubrious effects benefited humans across the lifespan, and largely transcended cultural boundaries, socioeconomic status, age, and state of health, the benefits of being in nature depended on choice, perception of safety, and absence of fear. Race, ethnicity, and gender tended to impede leisure in natural environments. In concluding that the need for nature relatedness is a basic psychological need, we discuss practical implications for leisure and recreation professionals, researchers, educators, architects, and city planners and proffer several practical interventions in several domains to benefit both the environment and humanity.
Spelmotorkonstruktion för Android

The purpose of this project has been to investigate if XML works as a language of description in a game engine. With focus on aspects such as what can be defined in the XML, what the loading times are and if the solution is easy to understand and if it is attractive. The idea behind the solution is that it should be easy to, together with a game engine, create two-dimensional strategy games without writing any compiling code, which in turn would make it possible for aspiring game developers to have an easy starting point where they can start their career. Results of the research shows that XML works as a solution for this kind of game and that it is possible to do a lot with it. The loading times for the system keep below acceptable levels with much to spare, according to the specifications set regarding to the amount of data to load. This solution is also an attractive one and there are several people that would want to utilize it. However, it has been shown that XML alone can not manage to be clear - for example, what the content of the XML files does, something that gives the indication that there needs to be more focus on documenting this and complete the XML solution with said documentation.
Generalising Fine-Grained Sketch-Based Image Retrieval

Fine-grained sketch-based image retrieval (FG-SBIR) addresses matching specific photo instance using free-hand sketch as a query modality. Existing models aim to learn an embedding space in which sketch and photo can be directly compared. While successful, they require instance-level pairing within each coarse-grained category as annotated training data. Since the learned embedding space is domain-specific, these models do not generalise well across categories. This limits the practical applicability of FG-SBIR. In this paper, we identify cross-category generalisation for FG-SBIR as a domain generalisation problem, and propose the first solution. Our key contribution is a novel unsupervised learning approach to model a universal manifold of prototypical visual sketch traits. This manifold can then be used to paramaterise the learning of a sketch/photo representation. Model adaptation to novel categories then becomes automatic via embedding the novel sketch in the manifold and updating the representation and retrieval function accordingly. Experiments on the two largest FG-SBIR datasets, Sketchy and QMUL-Shoe-V2, demonstrate the efficacy of our approach in enabling cross-category generalisation of FG-SBIR.
Perfil clínico y epidemiológico de pacientes con enfermedad pulmonar obstructiva crónica hospitalizados en un centro de alta complejidad de la ciudad de Medellín, Colombia, durante el año 2015

Introducción: la enfermedad pulmonar obstructiva crónica (EPOC) es una condición que cursa con limitación del flujo aéreo espiratorio e inflamación crónica de las vías aéreas, y que representa un problema de salud pública a nivel mundial.Objetivo. Determinar el perfil clínico y epidemiológico de pacientes con EPOC en una institución hospitalaria de la ciudad de Medellín, Colombia. Metodología: se realizó un estudio transversal, con una muestra de 50 pacientes, con diagnóstico clínico o espirométrico de enfermedad pulmonar obstructiva crónica, atendidos de forma intrahospitalaria en una institución privada en Medellín durante el año 2015. A las variablescuantitativas se les calculó el promedio, desviación estándar y valores mínimo y máximo. A las cualitativas, medidas de nivel nominal y ordinal y se les estimaron proporciones.Resultados: La edad promedio fue de 73,5±9,3 años, el 52% fueron mujeres. El promedio de tiempo de diagnóstico fue de 7,8±1,3 años. Las características clínicas más frecuentes fueron las siguientes: el 36% tenía como clasificación estadio D para la enfermedad, el 34% tenía VEF1 <30%, el 88% tenían antecedente de tabaquismo y el 52% utilizaba oxígeno en casa.Conclusiones: La mayoría de nuestra población fue clasificada como GOLD categoría D, con una limitación grave del flujo aéreo espiratorio (VEF1 < 30%) y requerimiento de uso de oxígeno domiciliario. Lo anterior indica un inadecuado control de la enfermedad, debido, probablemente, al contexto intrahospitalario de los pacientes incluidos en el estudio.
Relational Concept Knowledge in a Social Network

This thesis deals w ith the topic o f peer-to-peer referral systems and the policies that allow for the emergence of efficient retrieval o f requested information. In an agentbased peer-to-peer network, member agents are capable of giving and follow ing referrals to each other. This results in the emergence of communities where agents d irectly interact w ith other neighbouring agents that supply the required service or w ill refer the righ t source. The notion o f referral networks, as presented in the w ork of Singh and Yolum [1], and the ir application to knowledge management, lacks two fundamental aspects; the relation o f concepts w ith in a domain, and the ab ility o f an agent to dynamically change the ir interests based on suggestions in the form of concept relations. This thesis introduces the concept of an "oracle" agent, which is an agent w ith relational concept knowledge that can supply suggestions to a querying agent on how to adapt the ir interests. Additionally the notion o f health and localized trust automata are used to aid agents in discrim inating useful pieces of concept knowledge. These new features allow agents to search in new ways so as to achieve superior results and as a consequence outperform agents in a traditional referral network. The thesis presents simulation results that confirm this hypothesis.
Influence of Gender Differences on Usage Patterns of Electronic Information Sources among Undergraduates of Selected Universities in Southwest, Nigeria

This research work investigated the influence of gender differences on usage patterns of electronic information sources among undergraduates in Nigeria. The study adopted a descriptive survey research design. The population was made up of randomly selected undergraduate students of Ekiti State University (EKSU) and University of Ibadan (UI). Data were generated through the use of questionnaire designed to elicit responses from respondents and analysed using descriptive statistics method of frequency counts and percentages. However, out of five hundred (500) copies of questionnaire administered, four hundred and twenty one (421) were returned which represents 84.2% response rate for the study. Findings revealed that there is no basis for gender differentiation in the use of electronic information sources as gender gap in electronic resources usage appeared negligible. However, it was recommended that university libraries in Nigeria should continue to give equal opportunities to both sexes in term of training and orientation on the use of e-resources among other recommendations.
Searching for Semantically Correct Postal Addresses on the Croatian Web

This article presents a method of extraction and simultaneous verification of postal addresses within web pages written in a highly inflective language (Croatian). The method uses a combined approach of direct city name extraction, string similarity measure (Jaro-Winkler) for street names, an algorithm for treating overlapping addresses and a machine learning classifier (Decision trees) to derive Semantically Correct Postal Addresses. A Semantically Correct Postal Address is defined as one that was meant to be written by an author of the text and is not simply there by a lucky ordering of words. The presented method jointly does geoparsing and geocoding. For the initial search of cities and streets, the method relies on a database containing most of the streets and cities in Croatia. The method was evaluated on a data set consisting of 13,000,000 documents (from 35,000 web domains) and resulted in 4,000,000 addresses found in 2,750,000 documents. The quality of classifiers was tested on a hand annotated set giving F1 scores greater than 0.9.
Commercial Banks Performance and Causality Analysis

The present study estimates technical efficiency (TE) by developing Translog stochastic frontier approach. The study also verifies causal relationship between efficiency and advances using panel Granger causality test. The study experienced an increasing trend in terms of level of efficiency. The public sector banks emerged relatively more efficient than other ownership groups. The study found that priority sector advances to total advances, marker share and non-performing assets to total assets are positively associated while loanable funds to total liabilities is negatively related with technical inefficiency. The study further confirmed the existence of positive and bilateral relationship between advances and TE score.
A programming framework to ease development of tightly-coupled cloud applications

Chuang, Wei-Chiu PhD, Purdue University, August 2015. A Programming Framework to Ease Development of Tightly-coupled Cloud Applications . Major Professors: Charles E. Killian Jr. and Dongyan Xu. Cloud application development is currently for professionals only. To make the cloud more accessible, cloud applications should ideally be easy to develop so that virtually anyone can develop their own cloud applications. However, they are difficult to develop, because they are essentially distributed systems, where the concurrent operations may take place, and reasoning about the behavior of concurrent operations to ensure correctness is not trivial. Additionally, programmers must consider failure handling, scalability, consistency, modularity, elasticity. A programming model approach to ease the development is to let programmers write code in sequential semantics, and then use a runtime system to transform the sequential code into parallel operations. One well known example is Hadoop: the programmers write MapReduce tasks which appear sequential, and the Hadoop runtime system executes the tasks in a parallel fashion on multiple nodes. Its runtime system also enables automatic failure recovery. However, Hadoop and many similar frameworks are designed for data parallel computation. When it comes to more general distributed systems, which usually have some mutable state shared by concurrent operations, these frameworks become useless. This dissertation describes a new programming framework that not only offers simple sequential semantics, but also provides distributed applications with desirable properties, including elasticity, failure handling, scalability, consistency and modularity.
Color moving object detection method based on automatic color clustering

Moving object detection is usually used in gray image, and the color image should be converted to gray images to achieve detection. However, the color object can't be described by simple gray information completely. In order to achieve automatic color moving object detection, the method based on automatic color clustering is especially proposed. Because the difference between adjacent pixels in an image is very small, the initial cluster center can be moved in the maximum distance. The proposed method can reduce the number of iterations and quicken convergence speed, meanwhile determine the number of color cluster and the location of the color object automatically. The proposed algorithm is validated in the actual system, experimental results show that the proposed method can automatically achieve color clustering for color image, while detect color objects.
Novel Approach to Improve Concolic Testing

Concolic Testing is the combination of symbolic as well as concrete execution. It considers program variables as symbolic variables along with concrete execution path. Branch Coverage belongs to white box testing. Its objective is to demonstrate that all conditions present in a predicate can impact the estimation of predicates in a particular manner. In the area of aerospace and safety critical domains, software quality assurance is strict to specified rules and regulations that maintained in DO-178 standard. To resolve such issues, Concolic testing generates automated test cases to attain high branch and MC/DC coverage in an automated technique based on the branch coverage. Here, we consider Java programs for achieving a high percentage. We are taking Java program as input that is named as J. This Java program is supplying to JPCT (Java program code transformer) which gives the output program called transformed program J which is feed as input to JCUTE (Java Concolic tester tool) to generate test cases as well as to achieve more branch coverage percentage. Our study here is based on two steps, and one is taking Java program without the help of JPCT, and other is with the help of JPCT. The percentage coverage of branch is more in the transformed program without affecting the output with automatically adding some extra statements to the input. This resolves some of the bottleneck issues of the previous Concolic testing methods. We are getting the result experimentally show that our method achieves an average 17.21 percentage more branch coverage.
Automatic Speaker Characterization Automatic Identification of Gender, Age, Language and Accent from Speech Signals

Speech signals carry important information about a speaker such as age, gender, language, accent and emotional/psychological state. Automatic recognition of speaker characteristics has a wide range of commercial, medical and forensic applications such as interactive voice response systems, service customization, natural human-machine interaction, recognizing the type of pathology of speakers, and directing the forensic investigation process. This research aims to develop accurate methods and tools to identify different physical characteristics of the speakers. Due to the lack of required databases, among all characteristics of speakers, our experiments cover gender recognition, age estimation, language recognition and accent/dialect identification. However, similar approaches and techniques can be applied to identify other characteristics such as emotional/psychological state. For speaker characterization, we first convert variable-duration speech signals into fixed-dimensional vectors suitable for classification/regression algorithms. This is performed by fitting a probability density function to acoustic features extracted from the speech signals. Since the distribution of acoustic features is complex, Gaussian mixture models (GMM) are applied to model the distribution of acoustic features. Due to lack of data, it is not possible to build a separate acoustic model for short utterances. Therefore, parametric utterance adaptation methods have been applied to adapt the universal background model (UBM) to the characteristics of utterances. The parameters of each adapted GMM characterize the corresponding utterance. An effective approach involves adapting UBM to speech signals using the Maximum-A-Posteriori (MAP) scheme. Then, the Gaussian means of the adapted GMM are extracted and concatenated to form a Gaussian mean supervector for the given utterance. Finally, a classification or regression algorithm is used to identify the speaker characteristics. While effective, Gaussian mean supervectors are of a high dimensionality resulting in high computational cost and difficulty in obtaining a robust model in the context of limited data. In the field of speaker recognition, recent advances using the i-vector framework have increased the classification
Advances in Internal Model Control Technique: A Review and Future Prospects

Abstract The current study endeavors to put together evolution, developments, and future prospects of internal model control strategy. Due efforts have been made to include all the techniques and philosophies used to that end. The brief account of the most recent techniques for near optimal and robust control has been provided along with a summary of conventional control schemes. At the same time, more emphasis is given on the issues in IMC design for single-input, single-output systems, like quantitative filter selection and tuning guidelines, modified structures, and related aspects of contemporary research developments. A set of references of all concerned papers, and a brief summary in them is provided. This paper also presents the results of these techniques as provided in the respective references. Illustrative example is given to show the effectiveness and the merits of the IMC based various forms.
Finite state automaton based control system for walking machines

Walking machines have proved to be an important invention as they do not require any prepared surface, making them ideal for applications involving unexplored environments. They are equipped with a large number of actuators and sensors to achieve a robust locomotion; thus, a systematic approach to designing their control system is required. This article presents a functional control structure based on the logic-labelled finite state automaton approach developed for walking machines. A general control structure is presented and a hexapod robot is used to verify the practicability of the design.
Grid to Vehicle and to Grid Energy Transferusing Bidirectional AC - DC Converter

This paper proposes a bidirectional ac/dc converter for vehicle to grid power transfer. The proposed converter consist of single-phase current-source rectifier (SCSR) and an auxiliary switching network (ASN). This offers bidirectional power flow between battery and grid in buck or boost mode with wider voltage range, The topology structure and operating principles of the proposed converter are analyzed in detail. An indirect control algorithm is used to realize the charging and discharging of the battery. This paper main objective is to present the principles of charging and discharging with buckboost modes and to verify the efficiency of the proposed converter the circuit will be simulated using MATLAB simulink. Keywords— Bidirectional AC/DC converter,. Single-phase current-source rectifier (SCSR), Auxiliary switching network (ASN).
Ray-Space Projection Model for Light Field Camera

Light field essentially represents the collection of rays in space. The rays captured by multiple light field cameras form subsets of full rays in 3D space and can be transformed to each other. However, most previous approaches model the projection from an arbitrary point in 3D space to corresponding pixel on the sensor. There are few models on describing the ray sampling and transformation among multiple light field cameras. In the paper, we propose a novel ray-space projection model to transform sets of rays captured by multiple light field cameras in term of the Pl\"ucker coordinates. We first derive a $6\times6$ ray-space intrinsic matrix based on multi-projection-center (MPC) model. A homogeneous ray-space projection matrix and a fundamental matrix are then proposed to establish ray-ray correspondences among multiple light fields. Finally, based on the ray-space projection matrix, a novel camera calibration method is proposed to verify the proposed model. A linear constraint and a ray-ray cost function are established for linear initial solution and non-linear optimization respectively. Experimental results on both synthetic and real light field data have verified the effectiveness and robustness of the proposed model.
The Discovering of the New Option Price of the Stock Price Related to the Nobel Prize Work of F. Black and M. Scholes

In this paper, we studied the new option price of the stock price which is the another solution of the Black-Scholes Equation. Such option price can be related to the Black-Scholes Formula which is the Nobel prize work of F. Black and M. Scholes. Moreover we also obtain the kernel of such option price which is the interesting new results. However, we hope that such new results of this paper may be useful in the research area of Financial Mathematics.