Miracle-dz/UniFAR-FTUs huggingface dataset:
Optimal Framework for reconfiguration of manufacturing setups using Non Dominating Sorting Genetic Algorithms

— The concept of reconfigurable manufacturing system has emerged drastically as it reduces the product lead time and meets with the market demand efficiently. The performance of a manufacturing system lies on a set of planning and scheduling data incorporated with the machining capabilities keeping in view the market demands. The proposed work focuses on the formulation of an optimal framework for production over part families. Machine’s kinematic configurations are generated considering tool’s degree of freedom. The application of non-dominating sorting genetic algorithms over machine configurations makes this approach more reliable. A case study has been presented to illustrate the application of proposed model based on the technological constraints.
Behavior Analysis Of Malicious Web Pages Through Client Honeypot For Detection Of Drive-By-Download Malwares

Malwares which is also known as malicious software’s is spreading through the exploiting the client side applications such as browsers, plug-ins etc. Attackers implant the malware codes in the user’s computer through web pages; thereby they are also known malicious web pages. Here in the paper, we present the usefulness of controlled environment in the form of client honeypots in detection of malicious web pages through collections of malicious intent in web pages and then perform detailed analysis for validation and confirmation of malicious web pages. First phase is collection of malicious infections through high interaction client honeypot, second phase is validations of the malicious infections embedded into web pages through behavior based analysis. Malwares which infect the client side applications and drop the malwares into user’s computers sometimes overrides the signature based detection techniques; thereby there is a need to study the behavior of the complete malicious web pages.
If you want your research done right, do you have to do it all yourself? Developing design principles for systematic literature search systems

A review of existing knowledge builds the foundation of any research project. However, conducting a rigorous and systematic literature search that provides the required literature sample is a complex and tedious task. Existing technical solutions, like literature databases or scientific web search engines, provide only limited support for systematic literature searches, due to their narrow coverage, oversimplified user interfaces, or non-transparent search processes. In this paper, we report the first results of an ongoing design science research project focusing on how to design systematic literature search systems (SLSS) that effectively facilitate systematic literature searches. The meta-requirements and design principles derived in this paper provide a starting point for future research on SLSS. Our research results may also serve as blueprints for new SLSS that increase the comprehensiveness, precision, and reproducibility of systematic lit-
Duygusal Emeğin İşle Bütünleşme Üzerindeki Etkisinin Belirlenmesine Yönelik Bir Araştırma: Hizmet Sektöründe Özel İşletme Çalışanları

Emotional labor represents the work related to employees’ emotional efforts in the workplace. Employees’ emotional efforts that are in harmony with business ethics can be defined as emotional labor. In this study, the significant effect of emotional labor on work engagement was attempted to determine for service sector employees in private enterprises. For this purpose, a questionnaire form was applied from internet to service sector employees in private enterprises in Ankara. Accurate data was collected from 153 service-sector employees working in private enterprises. The relational pattern model was used in this quantitative research. Research findings indicate that natural feelings predict vigor and dedication, deep acting predicts absorption, and surface acting predicts vigor significantly. In addition, from socio-demographic variables income was found as a significant variable to predict vigor, dedication, and absorption. Gender was also found as a significant variable to predict vigor and dedication.
XML for ASP.NET Developers

From the Publisher: XML for ASP.NET Developers first gives a solid foundation in the basics of MSXML including XML Syntax, XML Schemas, Xpath, Xlink, Xpointer, and other concepts necessary to leverage the power of XML. After the building blocks of XML are thoroughly covered, Dan guides readers through manipulating XML documents using the Document Object Model (DOM) and XSL (Extensible Stylesheet Language) both on the client and the server. Detailed examples combined with easy to follow tutorials will have readers transforming XML documents into professional looking applications quickly and easily. Providing a single source for information on a variety of XML related technologies makes XML for ASP.NET Developers a necessary edition to any developer's library and sets it apart from any book available today.
Bidirectional DC-DC Converter For Battery Charging And Discharging Applications

With the advancements power generation using renewable energy sources, the bidirectional dc-dc converters (BDC) are being extensively used to achieve power transfer between two dc power sources in either direction. In renewable energy systems with solar, wind, fuel cell etc., battery energy storage is most suitable. In this paper, a buck-boost type, non-isolated bidirectional dc-dc converter is designed and implemented for interfacing battery with the DC bus. The power from DC bus is used to charge the batteries through the DC-DC converter operating in buck mode and battery discharges to supply power to DC load through the same converter operating in boost mode. The power converter topology uses the same components for charging and discharging operations. Hence it is simple in design with less components, low cost, light in weight with better efficiency than isolated BDC. The converter designed in this paper is used for low power applications with bidirectional switches like MOSFET’s. The simulation is done in matlab simulink and hardware results are presented.
Verification by Reduction to Functional Programs

In this thesis, we explore techniques for the development and verification of programs in a high-level, expressive, and safe programming language. Our programs can express problems over unbounded domains and over recursive and mutable data structures. We present an implementation language flexible enough to build interesting and useful systems. We mostly maintain a core shared language for the specifications and the implementation, with only a few extensions specific to expressing the specifications. Extensions of the core shared language include imperative features with state and side effects, which help when implementing efficient systems. Our language is a subset of the Scala programming language. Once verified, programs can be compiled and executed using the existing Scala tools. We present algorithms for verifying programs written in this language. We take a layer-based approach, where we reduce, at each step, the program to an equivalent program in a simpler language. We first purify functions by transforming away mutations into explicit return types in the functions' signatures. This step rewrites all mutations of data structures into cloning operations. We then translate local state into a purely functional code, hence eliminating all traces of imperative programming. The final language is a functional subset of Scala, on which we apply verification. We integrate our pipeline of translations into Leon, a verifier for Scala. We verify the core functional language by using an algorithm already developed inside Leon. The program is encoded into equivalent first-order logic formulas over a combination of theories and recursive functions. The formulas are eventually discharged to an external SMT solver. We extend this core language and the solving algorithm with support for both infinite-precision integers and bit-vectors. The algorithm takes into account the semantics gap between the two domains, and the programmer is ultimately responsible to use the proper type to represent the data. We build a reusable interface for SMT-LIB that enables us to swap solvers transparently in order to validate the formulas emitted by Leon. We experiment with writing solvers in Scala; they could offer both a better and safer integration with the rest of the system. We evaluate the cost of using a higher-order language to implement such solvers, traditionally written in C/C++. Finally, we experiment with the system by building fully working and verified applications. We rely on the intersection of many features including higher-order functions, mutable data structures, recursive functions, and nondeterministic environment dependencies, to build concise and verified applications.
A Walking Stabilization Control for Biped Robots on Loose Soil

This paper presents a walking control system for biped robots on loose soil. The proposed method realizes long time continuous walking and stable stopping on sand. Characteristics of the proposed system is landing position (modiﬁcation) control. In this control, as a balance index, amount of CoM position modiﬁcation is utilized. Consid-ering past modiﬁcation history, amount of current landing position modiﬁcation is decided. In oder to evaluate the proposed control system, the small humanoid robot performed walking, stepping and turning on sand.
Showing Your Thinking: Using Mind Maps to Understand the Gaps Between Experienced Emergency Physicians and Their Students

Clinical teaching faculty rely on schemas for diagnosis. When they attempt to teach medical students, there may be a gap in the interpretation because the students do not have the same schemas. The aim of this analysis was to explore expert thinking processes through mind maps, to help determine the gaps between an expert's mind map of their diagnostic thinking and how students interpret this teaching artifact.
Dynamic Distribution of Security Keys and IP Addresses Coalition Protocol for Mobile Ad Hoc Networks

In mobile adhoc networks (MANETs) a tree-based dynamic address auto-configuration protocol (T-DAAP) is one of the best protocols designed for address assignment as far as the network throughput and packet delays are concerned. Moreover, MANET security is an important factor for many applications given that any node can listen to the channel and overhear the packets being transmitted. In this paper, we merge the address assignment with the security key delivery into one protocol, such that a node in the MANET is configured with IP address and security key simultaneously. To the best of our knowledge, no single protocol provides concurrent assignment of IP addresses and security keys for MANET nodes. The proposed method, which is based on T-DAAP, shows significant enhancements in the required control packets needed for assigning network nodes IP addresses and security keys, MAC layer packets, total end-to-end delay, and channel throughput over those obtained when using separate protocols. Additionally, it provides not only efficient security keys to the nodes from the first moment they join the network, but also secure delivery of the address and security key to all participating nodes. It is noteworthy to mention that providing a complete security model for MANET to detect and countermeasure network security threats and attacks is beyond the scope of our proposed protocol.
Análisis de sentimientos sobre un corpus en español: experimentación con un caso de estudio

Resumen. En este artículo se presenta la investigación, evaluación y comparación experimental de tócnicas de procesamiento de lenguaje natural para analisis de información subjetiva como opiniones, sentimientos y emociones en textos no estructurados en idioma español. Se implemento una herramienta para la extracción de opiniones de documentos con el objetivo de clasificarlos segun polaridad de sentimientos (positivos o negativos) utilizando como corpus de datos la base de comentarios de un sitio de crítica gastronómica al que se le aplican distintas tócnicas de preprocesamiento. La principal contribución de este artículo es la experimentacióon y evaluacióon de tóecnicas de clasificacioón subjetiva de textos para el idioma espanol en funcion del tamaño de corpus, tipos de atributos extraódos y preprocesamientos aplicados.
A break in the clouds: towards a cloud definition

This paper discusses the concept of Cloud Computing to achieve a complete definition of what a Cloud is, using the main characteristics typically associated with this paradigm in the literature. More than 20 definitions have been studied allowing for the extraction of a consensus definition as well as a minimum definition containing the essential characteristics. This paper pays much attention to the Grid paradigm, as it is often confused with Cloud technologies. We also describe the relationships and distinctions between the Grid and Cloud approaches.
Implementing dynamic changes in automation support using ocular-based metrics of mental workload: a laboratory study.

Adaptive Automation has been often invoked as a remedy to indiscriminate introduction of automation support. However, this form of automation is difficult to implement without a sensitive and reliable index of the Operator Functional State. In a series of studies we have showed the usefulness of the distribution of eye fixations as an index of mental workload to be used as a trigger of automation. Particularly, the distribution pattern was found to be sensitive to taskload variations and types, thus making it very appealing for designing adaptive systems. This approach seems to be valid and reliable, but a necessary step in this research program would be testing the effectiveness of automation driven by fixation distribution and its capability in reducing the workload. The present study is a first attempt to carry out such validation.
Scene recognition based on integrating active learning with dictionary learning

Scene recognition is a significant topic in the field of computer vision. Most of the existing scene recognition models require a large amount of labeled training samples to achieve a good performance. However, labeling image manually is a time consuming task and often unrealistic in practice. In order to gain satisfying recognition results when labeled samples are insufficient, this paper proposed a scene recognition algorithm named Integrating Active Learning and Dictionary Leaning (IALDL). IALDL adopts projective dictionary pair learning (DPL) as classifier and introduces active learning mechanism into DPL for improving its performance. When constructing sampling criterion in active learning, IALDL considers both the uncertainty and representativeness as the sampling criteria to effectively select the useful unlabeled samples from a given sample set for expanding the training dataset. Experiment results on three standard databases demonstrate the feasibility and validity of the proposed IALDL.
Enhancing Learning Interaction through Inter-Forum Group Discussion in Online Learning: A Case Study on Online Teaching of Research in English Language Teaching Course

This research aimed to develop a model of Inter-Group Discussion Forum (IGDF) application as media to increase students’ interaction and participation in the discussion forum during the online learning. Data were collected through the process of the implementation of discussion forum using IGDF application during the online learning of Research in English Language Teaching (ELT) courses during the teaching period of 2014.2. Data of the students participation were collected through online observation, and data about the students’ perception of the IGDF model were collected by providing an online close and open ended questionnaires and analyzed by calculating the percentage. The results of this study indicated that the application of IGDF is applicable in online learning. The amount of participation and the quality of the interaction from the discussion through IGDF has not shown significant improvement. The main obstacle came from the technical problems associated with passwords and the ability to follow the discussion in a discussion forum between groups. However, the variety types of posting has increased. Each group is able to post presentations, questions, responses, and commands. Students' perceptions toward the IGDF proved significant where there was 88.46% of them stated that the discussion forum with IGDF is very good discussion among the group and it can increase interaction among students in the online learning.
Finding patient-oriented evidence in PubMed abstracts

This project develops a computational method to improve searches of the medical literature by selecting the studies that report reliable evidence of patient-oriented outcomes. These outcomes include morbidity, mortality, symptom severity, and quality of life. Four machine learning methods, Support Vector Machines, naive bayes, naive bayes multinomial and logistic regression, achieve over 70% accuracy on the identification of such studies in PubMed abstracts. The accuracy attainable by hand in this task is about 95%. The best machine learning results, just over 80% accurate, were obtained with naive bayes multinomial on a combination of single words and contiguous pairs of words using WEKA 3.7. 5. Index words: Machine Learning, Evidence-Based Medicine, Text Classification, Logistic Regression, Support Vector Machines, Bayesian Learning Finding Patient-Oriented Evidence in PubMed Abstracts
A New Method for Iris Segmentation and Feature Extraction in Spatial Domain

In this paper, a new proposed method is developed, this method contains two algorithms, one for human iris recognition, the other is for extracting the features of the recognized iris. Many studies tried to extract the iris from images, most of those studies succeeded but after using very complex processing and filtering operations in addition to transforming the image to other domains (such as frequency domain) to achieve the required operations. The proposed method deduct those complexities operations to a minimum and requires only wavelet transform in a small part of the second algorithm, all other operations will be applied directly to the spatial domain. Experimental results shows the efficiency of the method as its being applied to the images of the Chinese Academy of Sciences – Institute of Automation “CASIA” iris database which contains a lot of deformations. Finally, Matlab R2010a (Ver. 7.10.0) was used to implement the algorithms presented in this paper because it facilitates handling images, arrays, and filters.
Detecting all potential null dereferences based on points-to property sound analysis

ABSTRACT Null dereferences are a bane of programming in languages such as C, and static analysis is an effective method to detect them but often due to false negative. This paper proposes a points-to property sound analysis method to detect all potential null dereferences. First, the feature and detection method of null dereference of C programs are introduced. Second, an abstract memory model Region-based Symbolic Three-Valued Logic (RSTVL) is proposed to describe storage states of memory objects. Third, the property sound analysis theory based on abstract interpretation is proposed, which only analyze a single property of a program applies over-approximation strategy. Then, evaluations’ rules of points-to property based on RSTVL are presented, which guarantees the points-to property of a pointer contains the actual points-to property and detect all potential null dereferences. Experiment results of five real projects show that this method could detect all potential null dereferences with acceptable false-positive rates and efficiency.
Ultra-compact pancake optics based on ThinEyes® super-resolution technology for virtual reality headsets

We present an advanced optical design for a high-resolution ultra-compact Virtual Reality headset based on the traditional pancake configuration following optical foveation in the following sense: Firstly, the magnification is variable along the FoV i.e. the VR pixel density is maximum at the center and gradually diminishes towards the edge. Secondly, the optics image quality is also adapted, so the MTF of any gazable field is best when it is directly gazed. The combination of both is designed to fit with the human visual acuity with normal eye movements, so the user does not perceive the lower peripheral resolution at the edges of the FoV. VR pixel resolution (i.e. pixels per degree) of traditional pancake configuration optics is limited to the geometrical distance of the different elements. However, we have broken that compromise by applying Limbak’s ThinEyes® superresolution technology to the design of four aspherical surfaces in a pancake-type configuration, so the VR pixel resolution is dramatically increased at the center of the virtual reality space while maintaining high FoV and excellent imaging quality across the FoV. We make use of a curved reflective polarizer, which could be done in practice by vacuum molding a polymeric one made out of birefringent multilayer technology (as DBEF of 3M). As an example, we present an optical system that uses a standard 2.85“square display, with a pixel pitch of 35.5 microns (1440x1440 pixels). The total track length (eye pupil to display distance) of the system is 36mm with 15 mm eye relief, so the lens thickness is only 21 mm. For a conventional optical design to achieve a higher VR pixel resolution of 24 pixels per degree, the compromise comes in the form of reduced FoV of around 85 deg. These drawbacks do not bound our take on the pancake configuration. Thanks to the optical foveation, this design achieves a focal length of 49 mm at the center of the FoV, resulting in an outstanding VR pixel resolution of 24 pixels per degree at the center with a circular FoV of 100 deg for a 10mm eyebox.
AN ALTERATION-IMPERVIOUS DEFEATING BACKGROUND FOR CIRCULATION HIP WIRELESS MULTIHOP SYSTEMS

A large-different research was present on routing computations for wireless random with meshes systems. Previous produces routing meant for video communications will spotlight on multiple description coding. The schemes of multipath routing are believed to be to obtain greater quality of video transfer. Inside our work we consider wireless network in which the application flows includes video traffic and introduce an analytical structure that captures impact of routing on finish-to-finish video features regarding distortion. The expansion will facilitate computation of routes that are best regarding achieving of least distortion. To think about growth of the whole process of video frame loss, analytical structure recognizes and, assesses impact of wireless network above video distortion. The recommended system will grant us to make a routing policy meant for minimizing distortion that's which we goal a procedure for routing video traffic. Our proposal is video quality of user-perceived is considerably enhanced by means of comprised of application needs, especially video distortion that's possessed a flow. Our physiques of routing are enhanced for moving videos above wireless systems by means of minimum video distortion.