Miracle-dz/UniFAR-FTUs huggingface dataset:
Facilitating Scientific Workflow Configuration with Parameterized Workflow Skeletons

This paper describes an operator for configuring scientific workflows that facilitates the process of assigning workflow activities to cloud resources. In general, modeling and configuring scientific workflows is complex and error-prone, because workflows are built of highly parallel patterns comprising huge numbers of tasks. Reusing tested patterns as building blocks avoids repeating errors. Workflow skeletons are parametrizable building blocks describing such patterns. Hence, scientists have a means to reuse validated parallel constructs for rapidly defining their in-silico experiments. Often, configurations of data parallel patterns are generated automatically. However, for many task parallel patterns each task needs to be configured manually. In frameworks like MapReduce, scientists have no control of how tasks are assigned to cloud resources. What is the strength of such patterns, may lead to unnecessary data transfers in other patterns. Workflow Skeletons facilitate the configuration by providing an operator that accepts parameters, this allows for scalable configurations saving time and cost by allocating cloud resources just in time. In addition, this configuration operator helps to define configurations that avoid unnecessary data transfers.
Generic modeling of music for computational education and recognition of song variations

For purposes of identification and education todays music modeling is rather limited. Systems that can identify music in a generic way are either very restricted or do not exist at all. Therefore, it is not possible to associate the countless potential occurrences of a certain song with at least one generic description. Analogously, there is no computational approach to evaluate the performance of a music student who has been asked to play a certain song and to accompany it in a certain style. We introduce a generic model for music representation. To test our model, we have developed a prototype that correlates symbolic music performances to the proposed representation.
Towards a Model of Interdisciplinary Teamwork for Web Science : What can Social Theory Contribute ?

In this position paper, we argue that the different disciplines in Web Science do not work together in an interdisciplinary way. We attribute this to a fundamental difference in approaching research between social scientists and computer scientists, which we call the patterns vs. model problem. We reason that interdisciplinary teamwork is needed to overcome the patterns vs. model problem. We then discuss two theoretical strains in social science which we see as relevant in the context of interdisciplinary teamwork. Finally, we sketch a model of interdisciplinary teamwork in Web Science based on the interplay of collaboration and cooperation.
A 3D motion planning framework for snake robots

This paper presents a motion planning framework for three-dimensional body shape control of snake robots. Whereas conventional motion planning approaches define the body shape of snake robots in terms of their individual joint angles, the proposed framework allows the body shape to be specified in terms of Cartesian coordinates in the environment of the robot. This approach simplifies motion planning since Cartesian coordinates are more intuitively mapped to the overall body shape of the snake robot. The paper demonstrates the applicability of the framework for realizing different types of three-dimensional motion patterns.
Object instance recognition using triplets of feature symbols

Known object recognition is the task of recognizing specific objects, such as cereal boxes or soda cans. Millions of such objects exist, and finding a computationally feasible method for recognition can be difficult. Ideally, the computational costs should scale with the complexity of the testing image, and not the size of the object database. To accomplish this goal we propose a method for detection and recognition based on triplets of feature descriptors. Each feature is given a label based on a modified K-means clustering algorithm. Object matching is then done by inverse lookup within a table of possible triplets. The ambiguity of the matches is further reduced by having each triplet vote on its proposed object center. For planar objects, the proposed object centers should cluster at a single point. In general, assuming orthographic projection, the proposed centers will lie along a line. If enough triplets are in agreement on a specific object’s center, the object is labeled as detected. Our algorithm has been evaluated on a new database with 118 training objects and various testing scenarios.
Field experiments for developing transmission control based on weather estimation in an environmental wireless sensor network

One of the problems affecting sensor networks for natural environments is the attenuation of radio waves due to high humidity, and the attenuation is worst in the case of a 2.4 GHz radio wave. We are developing a transmission control method that estimates communication environment fluctuations caused by changes in the natural environment. This paper discusses a transmission performance in wireless sensor networks in terms of correlations between wireless transmission performance and environmental conditions observed in filed experiments. Measurements were made with sensor nodes equipped with a weather sensing device at an experimental filed of the university, Field Museum (FM) Tamakyuryo in Tokyo. During a one-week experiment, measurements of some parameters, a Throughput, signal strength, humidity, and atmospheric pressure were taken in the field. The results confirmed that increasing humidity definitely decreased the throughput. Temporal changes of the atmospheric pressure during the ongoing measurements will foresee short-term weather changes, which would enable to keep the transmission in control under the foreseen weather conditions.
Image-Based Navigation for the SnowEater Robot Using a Low-Resolution USB Camera

This paper reports on a navigation method for the snow-removal robot called SnowEater. The robot is designed to work autonomously within small areas (around 30 m2 or less) following line segment paths. The line segment paths are laid out so as much snow as possible can be cleared from an area. Navigation is accomplished by using an onboard low-resolution USB camera and a small marker located in the area to be cleared. Low-resolution cameras allow only limited localization and present significant errors. However, these errors can be overcome by using an efficient navigation algorithm to exploit the merits of these cameras. For stable robust autonomous snow removal using this limited information, the most reliable data are selected and the travel paths are controlled. The navigation paths are a set of radially arranged line segments emanating from a marker placed in the environment area to be cleared, in a place where it is not covered by snow. With this method, by using a low-resolution camera (640 × 480 pixels) and a small marker (100 × 100 mm), the robot covered the testing area following line segments. For a reference angle of 4.5° between line paths, the average results are: 4° for motion on hard floor and 4.8° for motion on compacted snow. The main contribution of this study is the design of a path-following control algorithm capable of absorbing the errors generated by a low-cost camera.
Web-Based Keystroke Dynamics Identity Verification Using Neural Network

Password typing is the most widely used identity verification method in Web based electronic commerce. Due to its simplicity, however, it is vulnerable to imposter attacks. Keystroke dynamics and password checking can be combined to result in a more secure verification system. We propose an autoassociator neural network that is trained with the timing vectors of the owner's keystroke dynamics and then used to discriminate between the owner and an imposter. An imposter typing the correct password can be detected with very high accuracy using the proposed approach. This approach can be effectively implemented by a Java applet and used for the Web.
Membrane solutions in M-theory

Motivated by the recent achievements in the framework of the semiclassical limit of the M-theory/field theory correspondence, we propose an approach for obtaining exact membrane solutions in general enough M-theory backgrounds, having field theory dual description. As an application of the derived general results, we obtain several types of membrane solutions in AdS4 × S7 M-theory background.
Moral dilemmas in females: children are more utilitarian than adults

Influential theories on moral judgments propose that they rely either on emotions or on innate moral principles. In contrast, the mental model theory postulates that moral judgments rely on reasoning, either intuition or deliberation. The theory allows for the possibility that intuitions lead to utilitarian judgments. This paper reports two experiments involving fifth-grade children, adolescents, and adults; the results revealed that children reason intuitively to resolve moral dilemmas in which action and inaction lead to different outcomes. In particular, the results showed female children to be more utilitarian than female adults in resolving classical moral dilemmas: they preferred an action that achieved a good outcome for a greater number of people. Within the mental model theory's framework there is no reason to expect that females and males differ in their ability to reason, but at the moment the results for females cannot be generalized to males who were not properly represented in the adults groups of the two experiments. The result revealing that (female) children are more utilitarian than (female) adults, which is hard to explain via many current theories, was predicted by the mental model theory.
Immunotherapy for Gastroesophageal Cancer

Survival for patients with advanced oesophageal and stomach cancer is poor; together these cancers are responsible for more than a million deaths per year globally. As chemotherapy and targeted therapies such as trastuzumab and ramucirumab result in modest improvements in survival but not long-term cure for such patients, development of alternative treatment approaches is warranted. Novel immunotherapy drugs such as checkpoint inhibitors have been paradigm changing in melanoma, non-small cell lung cancer and urothelial cancers. In this review, we assess the early evidence for efficacy of immunotherapy in patients with gastroesophageal cancer in addition to considering biomarkers associated with response to these treatments. Early results of Anti- Programmed Cell Death Protein-1 (anti-PD-1), anti-PD-L1 and anti-Cytotoxic T-lymphocyte assosciated protein-4 (anti-CTLA4) trials are examined, and we conclude with a discussion on the future direction for immunotherapy for gastroesophageal cancer patients.
IMMUNOLOGIC STUDIES WITH ETHYLENE OXIDE-TREATED HUMAN SERUM

The antigenicity of an ethylene oxide-treated human serum in humans has been studied. The immune response to the material had many of the characteristics of a delayed cellular skin reaction. Even after repeated immunizations by intradermal skin testing over a period of 1½ years, no detectable antibody could be found in the sera. The antigenicity has been shown to be associated with drastic alteration of the homologous serum proteins as evidenced by (a) the formation of new proteins, and (b) the poor cross-reactions of the modified serum proteins with antisera against normal human serum albumin and normal human gamma globulin. The delayed hypersensitivity was transferable to normal recipients by either viable or killed leukocytes. The implications of these findings have been discussed with respect to the problem of sterilization of sera, the tuberculin reaction, and autoimmune phenomena.
Glycaemic index of cereal products explained by their content of rapidly and slowly available glucose

Elucidating the role of carbohydrate quality in human nutrition requires a greater understanding of how the physico-chemical characteristics of foods relate to their physiological properties. It was hypothesised that rapidly available glucose (RAG) and slowly available glucose (SAG), in vitro measures describing the rate of glucose release from foods, are the main determinants of glycaemic index (GI) and insulinaemic index (II) for cereal products. Twenty-three products (five breakfast cereals, six bakery products and crackers, and twelve biscuits) had their GI and II values determined, and were characterised by their fat, protein, starch and sugar contents, with the carbohydrate fraction further divided into total fructose, RAG, SAG and resistant starch. Relationships between these characteristics and GI and II values were investigated by regression analysis. The cereal products had a range of GI (28–93) and II (61–115) values, which were positively correlated (r2 0·22, P<0·001). The biscuit group, which had the highest SAG content (8·6 (sd 3·7) g per portion) due to the presence of ungelatinised starch, was found to have the lowest GI value (51 (sd 14)). There was no significant association between GI and either starch or sugar, while RAG was positively (r2 0·54, P<0·001) and SAG was negatively (r2 0·63, P<0·001) correlated with GI. Fat was correlated with GI (r2 0·52, P<0·001), and combined SAG and fat accounted for 73·1 % of the variance in GI, with SAG as the dominant variable. RAG and protein together contributed equally in accounting for 45·0 % of the variance in II. In conclusion, the GI and II values of the cereal products investigated can be explained by the RAG and SAG contents. A high SAG content identifies low-GI foods that are rich in slowly released carbohydrates for which health benefits have been proposed.
Untreated illness and outcome of psychosis

Background There has been controversy as to whether early intervention in psychosis can improve the outcome of the disorder. Aims To establish if there is an association between duration of untreated psychosis and the 4-year outcome of persons with a first episode of psychosis. Method Prospective naturalistic follow-up study of the outcome of consecutive first presentations with DSM–IV psychosis attending a community-based psychiatric service. Results A longer duration of untreated psychosis was associated with a significantly poorer functional and symptomatic outcome 4 years later. For schizophrenia and schizophreniform disorder, each increment in duration of untreated psychosis was associated with a 7.8 point decrease in global functioning and an increase in positive symptoms scores by 1.9 points. Conclusions This study extends the findings of short-term follow-up studies by confirming an association between duration of untreated psychosis and ‘midterm’ outcome.
Television Markets and Congressional Elections

This research examines the effects of the relative congruence of congressional districts and television markets on congressional elections. We consider propositions concerning the voters' information about and evaluations of the candidates, drawing on data from the U.S. Census, the Nielsen Station Index, and the CPS 1980 National Election Study. The findings indicate that market/district congruence increases voter information about, exposure to, and familiarity with congressional candidates. This increase in information works to the challengers' advantage and results in challengers receiving a greater share of the vote in congruent than in incongruent districts. Congressional incumbents derive electoral benefits in direct proportion to the incongruence of their district and television markets.
Compliance, adherence, concordance, empowerment, and self-management: five words to manifest a relational maladjustment in diabetes

Background: The pathological reality of diabetes and the incidents in following the prescribed therapies have been considered and are still a serious and relevant problem in the health sector. Objective: This review aims at highlighting the importance of clinical psychological phenomena that underlie the notion of therapies. Methods: The review was conducted through search engines such as PubMed, Medline, Web of Science and Google Scholar. The articles related to compliance, adherence, concordance, empowerment and the self-management of diabetes were included, in order to highlight the possible similarities and differences that these terms bring with them in them management of diabetes. Results: Starting from 252 initial publications, 101 articles were selected that highlighted the practical implications that each term has compared to the others. Conclusion: The review can represent a bridge between the medical approach and clinical psychology, in which integration can suggest paths aiming at improving patients’ existential conditions and adaptation.
186-193 Image Rectification Based on Minimal Epipolar Distortion ∗

This paper gives a new method for the rectification . The method is based on an examination of the fund amental matrix, which describes the epipolar geometry of the image pair. The approach avoids camera calibration and ma kes the resampling images extremely simple by using Bresenh am Algorithm to extract pixels along the correspond ing epipolar line. For a large set of camera motions, remapping to a plane has the drawback of creating rectified i mages that are potentially infinitely large and presents a loss of pixel information along epipolar lines. In contras t, our method guarantees that the rectified images are bounded fo r all possible camera motions and minimizes the los s f pixel information along epipolar lines. Furthermore, it n ever splits the image so that connected regions are no longer connected even if the epipole locates in the image. A large number of intensive experiments have been carried out, and the results show that more accurate matches can be obtained for initial pair of images after the recti fi ation.
A Comprehensive Study of Extramural Venous Invasion in Colorectal Cancer

Colorectal cancer is a common malignancy and a leading cause of cancer related death. Cancer staging following resection is key to determining any adjuvant therapy in those patients with high risk disease. In colorectal cancer, tumour stage and lymph node stage are the main pathological factors which have been considered to influence outcome. Increasing emphasis is now being placed on other factors, especially the presence of extramural venous invasion (EMVI). It is important to understand the relationship of EMVI with other pathological factors and to confirm that in an individual centre that EMVI is being detected at an appropriate rate and is of prognostic significance. This comprehensive study assesses the reporting and prognostic significance of EMVI in a single centre, using prospectively collected data from histopathology reports of a cohort of 2405 patients who underwent surgery for colorectal cancer over a nine year period. Overall, EMVI was reported in 27.9% of colorectal cancer excision specimens. In tumours (n = 1928) that had not received neoadjuvant therapy, the presence of EMVI varied significantly depending on tumour site (χ2 = 12.03, p<0.005), tumour stage (χ2 = 268.188, p<0.001), lymph node stage (χ2 = 294.368, p<0.001) and Dukes’ stage (χ2 = 253.753, p<0.001). Multivariate analysis confirmed EMVI as a significant independent prognostic indicator (p<0.001). In conclusion, the presence of EMVI as an independent prognostic indicator is shown and is related to other pathological and prognostic factors. This study emphasises the requirement for the accurate identification of EMVI in colorectal cancer excision specimens and also understanding the relationship of EMVI with other prognostic factors.
A Comparative Study of Secure Intrusion-Detection Systems for Discovering Malicious Nodes on MANETs

recent years, security has become a most important service in Mobile Adhoc Network. Compared to other networks, MANETs are more vulnerable to various types of attacks. In this paper, a comparative study of Secure Intrusion-Detection Systems for discovering malicious nodes and attacks on MANETs are presented. Due to some special characteristics of MANETs, prevention mechanisms alone are not adequate to manage the secure networks. In this case detection should be focused as another part before an attacker can damage the structure of the system. First this paper gives an overview of IDS architecture for enhancing security level of MANETs based on security attributes and various algorithms, namely RSA and DSA. Then a hybrid cryptography IDS to further reduce the network overhead caused by digital signature is indicated.
Comprehensive Expression Map of Transcription Regulators in the Adult Zebrafish Telencephalon Reveals Distinct Neurogenic Niches

The zebrafish has become a model to study adult vertebrate neurogenesis. In particular, the adult telencephalon has been an intensely studied structure in the zebrafish brain. Differential expression of transcriptional regulators (TRs) is a key feature of development and tissue homeostasis. Here we report an expression map of 1,202 TR genes in the telencephalon of adult zebrafish. Our results are summarized in a database with search and clustering functions to identify genes expressed in particular regions of the telencephalon. We classified 562 genes into 13 distinct patterns, including genes expressed in the proliferative zone. The remaining 640 genes displayed unique and complex patterns of expression and could thus not be grouped into distinct classes. The neurogenic ventricular regions express overlapping but distinct sets of TR genes, suggesting regional differences in the neurogenic niches in the telencephalon. In summary, the small telencephalon of the zebrafish shows a remarkable complexity in TR gene expression.
Flow structure around a rectangular cylinder near a solid surface

The mean flow structure around an elongated rectangular cylinder near a solid wall has been here quantitatively characterized by measuring 2D velocity fields. The flow fields have been experimentally obtained by means of a PIV technique. The flow pattern has been extracted for each experimental condition and the effect of the solid wall has been investigated varying the distance of the cylinder from the wall. The study has been carried out using detection algorithms able to extract a series of significant points on 2D velocity fields. The cataloguing of these points leads to trace, in the measurement plane, a series of characteristic lines which depict the architectural state of flow. Finally, the parametric description of the morphological state of flow allowed to quantify the effects of the boundary (wall proximity) conditions on the flow structure. The parameterization of the flow structure allowed to identify significant cinematic parameter. The correlation between these parameter and the force coefficients has been shown.
ADAPTIVE EQUALIZATION WITH CANCELLATION FOR FREQUENCY SELECTIVE LAYERED SPACE-TIME RECEIVER

Layered space-time architecture can achieve high channel capacity by deploying multiple transmit and receive antennas, but the existence of inter-symbol interference (ISI) and co-channel interference (CCI) limits its performance over frequency selective fading channels. In this paper, a new adaptive equalization with interference cancellation method based on affine projection algorithm (APA) is developed. The proposed algorithm performs interference cancellation in the process of detection without channel identification. Simulation results demonstrate the promising performance of the proposed method. Furthermore, this algorithm can obtain significant computation saving over the existed RLS-IC-DFE algorithm with approximately the same bit error rate (BER) performance