Miracle-dz/UniFAR-FTUs huggingface dataset:
Scheduling of Mobile Workstations for Overlapping Production Time and Delivery Time

Many existing mobile service robots, including the robots in Robocup@Home, perform their designated tasks only when the robots are stationary. The efficiency of these robots can be improved if they can perform some tasks while moving. In this paper, we propose the concept of mobile workstations, which combine mobile platforms with production machinery to increase efficiency by overlapping production time and delivery time. We present a model of mobile workstations and their jobs and describe the task planning algorithm for a team of mobile workstations. The temporal planning problem for mobile workstations combines both features of job shop scheduling problems (JSP) and traveling salesman problem (TSP), but there is little work in the literature that tackles both JSP and TSP simultaneously. Our first algorithm is a complete search algorithm which returns an optimal temporal plan with minimum makespan, and our second algorithm conducts a local search in the space of task graphs so as to quickly return suboptimal temporal plans. According to our experiments, when the number of jobs is small, our second algorithm can generate near-optimal temporal plans, and when the number of jobs is large, our algorithm can generate much shorter plans than SGPlan 5 and a version of job shop scheduling algorithms.
System Implementation of a Gesture Detection Glove for Human-Computer Interaction

The use of portable electronic devices, such as smartphones and tablets, is diffused around the world. However, because of the reduced size, the interaction with the human being is difficult, especially the data input by typing on virtual keyboards in the screen. Also, it is necessary to develop new interfaces that allow a more agile human-computer interaction with less effort to the user. This report describes the development of a gesture capture glove capable of recognizing patterns of hand movement and transform them into useful information. The proposed system consists of six accelerometers and six gyroscopes located at the fingertips and over the posterior part of the hand, allowing precise detection of movements in threedimensional space. A series of applications were developed, such as the recognition of gesture patterns of sign languages, allowing people with some kind of special needs (blind or deaf-mute, for example) to interact efficiently with a computer or smartphone. The glove may replace conventional joysticks and mice devices with the advantage of inserting more degrees of freedom to the control. We also developed a 3D virtual hand model controlled by the glove. The proposed system is cheap and can be implemented with conventional electronics devices available in the market.
Iatrogenic Left Main Dissection Bailout Treatment with Stenting

Catheter-induced left main coronary artery (LMCA) dissection is a rare complication of coronary catheterization and is a common cause of periprocedural mortality. Although the number of cases was small, prompt bail-out stenting for iatrogenic LMCA dissection had reportedly reversed this complication with favorable clinical outcomes. A 60-year-old male was admitted to our hospital complaining of chest pain and breathlessness. Inspite on optimal and proper medical management patient has persistant chest pain. Coronary angiography was planned to rule out coronary artery disease. Left main got dissected while doing coronary angiography. Immediately, the patient complained of severe chest pain, accompanied by ST-segment elevation on the ECG and hemodynamic condition deteriorated. Emergent bail out stenting was done with drug eluting stent of size 4.5X14mm placed in left main (LM) overlapping with 3.5X20mm in LAD, re-establishing TIMI 3 flow in LAD. The patient was stable without symptoms after the procedure. He was discharged five days later on optimal medical treatment
SISTEM SUPERVISED LEARNING ANALYSIS OF MONOLINGUAL ALIGNMENT IN MEASURING SEMANTIC TEXTUAL SIMILARITY SCORE ON AL-QURAN VERSE PAIRS WITH ADDITION OF SUPERVISED LEARNING SYSTEM

The research abaout measuring semantic score on Al-Quran verse pairs still very few. The research is still limited on searching verses that divided into level 0, level 1, and level 2 in Qursim research. Therefore, it needs other methods, one example is monolingual alignment method. On this final project research, it used monolingual alignment and addition of supervised learning system in measuring semantic similarity score on Al-Quran verse pairs. The results of alignment features system on 2016 dataset got its highest correlation score with 0.728 and on 2017 dataset with 0.698. While on the alignment features system that added supervised learning system, the maximum corelation score for 2016 dataset is 0.728 and for 2017 dataset is 0.7. Based on the results, we can conclude that identical words as the basic feature of alignment still become the best feature compared with other feature which are PPDB and WordNet. Correlation score from addition of supervised learning has gotten closer from the corelation score of alignment system.
A ug 2 01 9 CONTRIBUTIONS OF DEGENERATE STABLE LOG MAPS

Let X be a smooth surface and D a (possibly reducible or non-reduced) curve on X. An A-curve on (X,D) is an irreducible curve C on X such that the normalization of C\D is isomorphic to A. We calculate the contributions of the following curves to the genus 0 log Gromov-Witten invariants of maximal tangency: (a) Under the assumption that X is a projective rational surface, KX + D ∼ 0 and P ∈ Dsm, an A -curve C which is smooth at P = C ∩ D. (b) The sum of two immersed A-curves Z1, Z2 with (KX + D). Zi = 0, intersecting at P ∈ Dsm in a general way.
A 74-μW 11-Mbps Wireless Vital Signs Monitoring SoC for 3-Lead ECG , Respiration Rate , and Body Temperature

This paper presents a wireless vital signs monitoring System-on-Chip (SoC) including 3-lead ECG, bio-impedance (BioZ) and body temperature. A Bio-Z readout channel with early demodulation is introduced to detect small body impedance change below 300 mΩ under large baseline resistance while consuming power of 9.8 μW. A direct temperature-to-digital converter is also incorporated, which achieves an absolute resolution of 0.023 °C and inaccuracy less than ±0.13 °C over temperature range of 32 °C to 42 °C. The quantized vital sign signal is transmitted through a multi-channel reconfigurable QPSK/BFSK transmitter (TX) to accommodate different powerconstraint scenarios. Fabricated in 130-nm CMOS technology with a total die area of 6.25 mm, the proposed SoC only consumes 74 μW under 0.9-V supply.
How magazines could remain competitive in the transition from print to digital media

During the past decades, the world has seen a fast development in information technology. This has led to significant changes in many different industries including the media industry. The transformation is in progress and is unceasingly changing the game rules for media companies. Many magazines are struggling in the new competitive media landscape since existing business models in the print industry are hard to apply to the digital industry. In order for magazines to remain competitive they need to develop their revenue models and adjust to the new game rules in the industry. This thesis is focused on how magazines could develop their businesses in order to remain competitive in the transition from print to digital media. The research methods used were semi-structured interviews and a survey. The interviews were conducted with seven different media experts in order to find possible directions for Swedish magazines in general. The survey was aimed exclusively to the entertainment magazine Nöjesguiden in order to decide what additional revenue models fit them best. The results from the interviews implicate that magazines should continuously evaluate their print business using a holistic perspective, adopt long-term perspectives, initiate cost cutting in the print business and put the cost savings into investments for the future. In addition, they should have four main areas of focus in the digital business – strategy, content, target group and data. Strategy relates to focusing on the digital business, being innovative and trying new things. The results also show that it is beneficial to separate the old business from the new since the old business is linked to outdated industry structures. Regarding content, the direction should be either very broad or very niched. Thereto, magazines should focus on unique content, which refers to content that is not available elsewhere by other content providers. In addition, magazines should evaluate what makes their content unique. This is closely related to the target group, which is going to become more important in the future media climate. For magazines, getting to know their specific target group and focusing on improving the brand recognition are going to be advantageous factors in being competitive in the digital media climate. In conclusion, magazines should use data to continuously evaluate their business and use that knowledge to improve their offer. The results from the survey shows that the best new revenue model for Nöjesguiden at the moment is events. Key-words: Business model innovation, revenue model, magazine industry, print media, digital media Master of Science Thesis INDEK 2015:15 How magazines could remain competitive in the transition from print to digital media
Controlling the Reading Level of Machine Translation Output

Today’s machine translation systems output the same translation for a given input, despite important differences between users. In practice, translations should be customized for each reader, for instance when translating for children versus in a business setting. In this paper, we introduce the task of reading level control to machine translation, and provide the ﬁrst results. Our methods can be used to raise or lower the reading level of output translations. In our ﬁrst approach, source-side sentences in the training corpus are tagged based on the reading level (read-ability) of the matching target sentences. Our second approach alters the traditional encoder-decoder architecture by specifying a joint encoder and separate decoders for simple and complex decoding modes, with training data partitioned by reading level. We demonstrate control over output readability score on three test sets in the Spanish–English language direction.
Study Overview : Facilitating Sign Language Acquisition in Deaf Infants

Programming humanlike interactivity into a robot relies heavily on the knowledge of where an engaged participant is looking in real time. One method of obtaining this point of attention is to use eye tracking goggles, but in certain scenarios (such as those involving infant participants) it becomes necessary to calculate this eye gaze in a less-intrusive method, and one that does not require such expensive hardware. In particular, vision-tracking software can be implemented on a live video feed, and has been successfully put to use in past studies using a wide variety of techniques for eye gaze calculation. Unfortunately, many of these existing implementations rely on a front-facing camera view, which cannot be promised in an interactive infant study. Using multiple camera views can address this issue, but also introduces a new problem: how can the camera views be compared and programmed to work in combination? Using data points gathered from facial recognition software implemented on three Logitech web cameras in the Yale Social Robotics lab, I built a framework for calculating eye gaze from a multiple camera view that requires no per-user calibration. I created a data-filtering process for each frame of recognized facial features, which allowed for the actual vision-tracking to be deployed only from the most front-facing camera at any given point in time. 1 Background / Introduction The Social Robotics Lab at Yale develops a wide variety of computational models for embodying human behavior, using socially assistive robotics to answer a range of questions about social development. My project is based on this fundamental premise that a robot can be programmed to interact with an infant (age 6-12 months) in order to facilitate learning. In practice, this premise requires that we determine in real time where a person is looking in 3D space. One proven method for doing this is to use gaze-tracking goggles, which can analyze both head position and pupil location within the eye to compute an eye gaze vector with extreme accuracy[4]. However, this hardware can be extremely expensive, and furthermore certain participants (such as infants) cannot be expected to wear the goggles during a study. For this reason, my project focused on the main alternative to eye-tracking hardware: vision tracking using using cameras. Study Overview: Facilitating Sign Language Acquisition in Deaf Infants As part of the Signing Creatures project, the Yale Social Robotics Lab and collaborators will conduct a study as a first step towards helping hearing-impaired infants learn sign language. This study will
Data Reduction for IoT Networks: Algorithms and Implementation

With the advent of internet of things (IoT) technology, millions of smart devices will be connected to each other as well as to the internet. These connected devices will generate a huge amount of data and collaboratively dispense meaningful insights about the surrounding physical phenomenon by sensing, processing and actuating other devices to cater to various applications. In IoT networks, the sensor nodes need to continuously measure and transmit sensor data to the sink node or to the cloud directly. The communication cost in this transaction is usually high as compared to other operations of a sensor node. Keeping in mind that these battery-operated devices have a limited lifetime, efforts have been made in the wireless sensor networks (WSN) and IoT literature to improve the lifetime of the nodes. Of the many possible ways to increase the lifetime, reducing the sensor data communication to the sink node or other nodes is one of the most efficient ways. These data-transmission reduction techniques are often referred to as data reduction schemes. This thesis focuses on the popular data reduction schemes based on the classical least mean square (LMS) algorithm and the Shewhart test-based scheme. The algorithms have been implemented on a custom-designed low-cost sensor node using easily accessible hardware. The results of the proposed implementations have been evaluated upon real-time deployment of the nodes in our lab. Various results and measurements such as percentage reduction in data transmission, the current consumption of the node and estimation of the battery lifetime have been quantified based on the observations. Comparison of the LMS and Shewhart test-based data reduction schemes on different datasets encourages us to improve the accuracy of the estimated time series data at the sink node. To achieve this, a piggybacking and interpolation based scheme has been proposed along with the Shewhart test-based scheme to improve the mean square error (MSE) of the estimated data, without increasing the number of data transmissions to the sink. The proposed algorithm has also been implemented on the custom-designed sensor node. The current consumption and battery lifetime have been analyzed. It is seen that there is an inherent trade-off between the decrease in the MSE and the reduction in the battery-lifetime for the number of piggybacks chosen. However, the decrease in the battery lifetime is negligible as compared to the improvement in the accuracy. Later, the Shewhart test-based data reduction scheme is implemented on NodeMCU and integrated with oneM2M standard to show the proof-of-concept for using these algorithms for industrial and real-world IoT applications.
Indoor UWB Channel Analysis in an Atrium-Style Office Building for Multipath-Aided Localization

We present a detailed analysis of an indoor UWB channel measurement campaign. The focus is on the modeling of the deterministic part of the multipath channel using apriori known relevant reflections and scatterers, found from an available floor plan. Our approach uses virtual signal sources, whose locations and visibilities can be calculated using simple ray-launching techniques. The channel analysis steps exploit these results, using an effective multipath cancellation method that introduces virtually no artifacts. We show that the corresponding multipath-components can explain up to 90% of the UWB channel impulse responses in terms of energy capture. This is important for multipath-aided indoor localization, which provides robust position fixes using a single base station only.
Occupational mobility among scheduled castes

The book discusses the educational achievements and occupational mobility among the Scheduled Castes in India, the group that is a large section of Indian population (called as Dalit), was deprived of their basic legitimate and human rights to live with dignity. The book shows that, the second generation of Scheduled Castes is highly mobile as compared to their fathers' generation. It also attempts to measure the impact of Inclusive Policy provided by the Government of India. In this book, author found that, after the religious conversion under the leadership of Dr. Babasaheb Ambedkar, the Mahars converted to Buddhism. Therefore, the Buddhist community is more aware about the occupational development as compared to other communities. Hence, the development of the Buddhists could be treated as an ideal model for all the Backward Classes in India.
Findings Optimizing Crop Nutrition Yield Response of Winter Rapeseed to Potassium

A study on the response of winter rapeseed (Brassica napus L.) to potassium (K) application was carried out on soils in the region of the Yangtze River Valley (YRV). Effects of K treatment on K use efficiency by the crop in relation to soil available K levels were also reported. A total of 132 field experiments were conducted in farmers’ fields in the major winter rapeseed-growing areas in YRV of China. Results of these f ield experiments showed that, the average field increment resulting from 100 kg K ha application was 358 kg ha, an increase over the control CK (no K) of 18.0 percent in 2005/2006 and 2006/2007. The average internal use efficiency (IE) of K was higher in the CK treatment (21.9 kg grain, kg K uptake) than in the +K (100 kg K ha) treatment (17.7 kg grain, kg K uptake). Oilseed rape required 68.1 kg of K to produce 1,000 kg seed. The recovery efficiency of K fertilizer in rapeseed production ranged from 0 to 100 percent, with an average of 39.3 containing between 150 to 300 kg of K ha at maximum, excluding roots (Holmes, 1980). Considerable rapeseed yield increases, due to potassium fertilization, have been reported in various countries including Germany (Orlovius, 2000), south-western Australia (Brennan et al., 2007), and Pakistan (Khan, 2004). In China similar increases have been reported by Liu and Tu (1989) and Lu et al. (2003). Measurements of extractable soil K have been related to yield responses and K fertilization as observed by Soper (1971). In the USA, 150 mg kg soil of NH4OAc-extractable K has been recommended as an adequate status (Gerwing et al., 2001) which is similar to that in the UK (MAFF, 2000). These recommendations are in accord with the report of Govahi (2006) stating that rapeseed yield did not respond to applied K fertilizer when 209 mg kg of NH4OAc-extractable K was present in the soil. Likewise in south-western Australia, rapeseed yields were increased by application of K fertilizer to soils with less than 60 mg kg Colwell-K (Brennan and Bolland, 2006). In China, according to field experiments in the 1980s, a K supply in the soil of 110 mg kg NH4OAcextractable K was necessary to obtain maximum yields (Liu and Tu, 1989). However, because of the variance of soil testing methods, soil texture, climate, rapeseed varieties, yield levels, and other cultural management practices, the critical level for soil available K differed between regions. percent. The K balance at most experimental sites was negative, with an average net removal of 117.6 kg K ha in the CK treatment, and 56.8 kg K ha in the +K treatment. The results indicate that there was a significant negative relationship between yield increments by K application and soil available K content. Based on the relative yield of CK/+K at 90 percent level, the soil available K (NH4OAc-extractable K) critical level was 135 mg kg.
Valuing Residents ’ Preferences for Improved Urban Green Space Ecosystem Services in Addis Ababa , Ethiopia

The loss of ecosystems in cities may involve high long-term economic costs and severe impacts on social, cultural, and economic values. However, it is difficult to put a number on the benefits of urban green spaces. Limited research has been conducted on people’s preference for urban green spaces in developing countries and how much they are willing to pay for these benefits. Thus, this research contributes to sustainable urbanization by considering preferences and the value that residents place on potential improvements to urban green spaces in Addis Ababa, Ethiopia. We found that residents would be willing to pay up to 64 Ethiopian Birr (ETB) per month (about USD 2.28) for availability of a large multi-use park close to their homestead. Residents are less willing to pay as park distance to a neighborhood increases. Their next preference was for access to a green walking or bicycling route that would give them the option to access the city without traffic congestion. For this, they would pay up to 6.8 ETB per kilometer per month. For development of spaces for urban agriculture practices, they would pay up to 4.4 ETB per month per percentage improvement. Residents also were willing to pay for urban nature restoration programs, up to 7.64 ETB per month for each percent improvement of urban forest cover. They prefer urban forest conservation to rivers and streams rehabilitation. Our results highlight that city planners should consider the variations in residents’ preferences for urban green spaces and the services they provide. JEL Codes: Q57, Q26, Q51
2 A Fibrational Toolbox for Relational Parametricity

Reynolds’ theory of parametric polymorphism captures the invariance of polymorphically typed programs under change of data representation. Reflexive graph categories and fibrations are both known to give a categorical understanding of parametric polymorphism. This paper contributes further to this categorical perspective on parametricity by showing the relevance of bifibrations. Using bifibrations, it develops a framework for models of System F that are parametric, in that they verify the Identity Extension Lemma and Reynolds’ Abstraction Theorem. We also prove that our models satisfy expected properties, such as the existence of initial algebras and final coalgebras, and that parametricity implies dinaturality.
Alkylphosphocholines : new drugs in cancer therapy

Alkylphosphocholines represent a new and exciting class of antineoplastic agents, discovered by Eibl and Unger, displaying numerous biological effects. The research presented in this volume focuses on the biological properties of hexadecylphosphocholine (PHC) - the prototype of this class and one of the first lipid-derived anticancer compounds to be brought from the experimental stage to clinical trial. The contributions, authored by scientists directly involved in these developments, discuss the selective antineoplastic activity of HPC both in vitro and in vivo as well as the application of HPC in the topical treatment of skin metastases resulting from breast cancer and lymphomas. Summarizing what is now known about the biological activities of alkylphosphocholines and their potential as antitumour drugs, this book contains new information for cancer researchers, oncologists and pharmacologists.