nils-herrmann/clean_scirepeval huggingface dataset:
A case study on software risk analysis and planning in medical device development

Software failures in medical devices can lead to catastrophic situations. Therefore, it is crucial to handle software-related risks when developing medical devices, and there is a need for further analysis of how this type of risk management should be conducted. The objective of this paper is to collect and summarise experiences from conducting risk management with an organisation developing medical devices. Specific focus is put on the first steps of the risk management process, i.e. risk identification, risk analysis, and risk planning. The research is conducted as action research, with the aim of analysing and giving input to the organisation’s introduction of a software risk management process. First, the method was defined based on already available methods and then used. The defined method focuses on user risks, based on scenarios describing the expected use of the medical device in its target environment. During the use of the method, different stakeholders, including intended users, were involved. Results from the case study show that there are challenging problems in the risk management process with respect to definition of the system boundary and system context, the use of scenarios as input to the risk identification, estimation of detectability during risk analysis, and action proposals during risk planning. It can be concluded that the risk management method has potential to be used in the development organisation, although future research is needed with respect to, for example, context limitation and how to allow for flexible updates of the product.
A robust and high-throughput Cre reporting and characterization system for the whole mouse brain

The Cre/lox system is widely used in mice to achieve cell-type-specific gene expression. However, a strong and universally responding system to express genes under Cre control is still lacking. We have generated a set of Cre reporter mice with strong, ubiquitous expression of fluorescent proteins of different spectra. The robust native fluorescence of these reporters enables direct visualization of fine dendritic structures and axonal projections of the labeled neurons, which is useful in mapping neuronal circuitry, imaging and tracking specific cell populations in vivo. Using these reporters and a high-throughput in situ hybridization platform, we are systematically profiling Cre-directed gene expression throughout the mouse brain in several Cre-driver lines, including new Cre lines targeting different cell types in the cortex. Our expression data are displayed in a public online database to help researchers assess the utility of various Cre-driver lines for cell-type-specific genetic manipulation.
"Right Time, Right Place" Health Communication on Twitter: Value and Accuracy of Location Information

Twitter provides various types of location data, including exact Global Positioning System (GPS) coordinates, which could be used for infoveillance and infodemiology (ie, the study and monitoring of online health information), health communication, and interventions. Despite its potential, Twitter location information is not well understood or well documented, limiting its public health utility.



The objective of this study was to document and describe the various types of location information available in Twitter. The different types of location data that can be ascertained from Twitter users are described. This information is key to informing future research on the availability, usability, and limitations of such location data.



Location data was gathered directly from Twitter using its application programming interface (API). The maximum tweets allowed by Twitter were gathered (1% of the total tweets) over 2 separate weeks in October and November 2011. The final dataset consisted of 23.8 million tweets from 9.5 million unique users. Frequencies for each of the location options were calculated to determine the prevalence of the various location data options by region of the world, time zone, and state within the United States. Data from the US Census Bureau were also compiled to determine population proportions in each state, and Pearson correlation coefficients were used to compare each state's population with the number of Twitter users who enable the GPS location option.



The GPS location data could be ascertained for 2.02% of tweets and 2.70% of unique users. Using a simple text-matching approach, 17.13% of user profiles in the 4 continental US time zones were able to be used to determine the user's city and state. Agreement between GPS data and data from the text-matching approach was high (87.69%). Furthermore, there was a significant correlation between the number of Twitter users per state and the 2010 US Census state populations (r ≥ 0.97, P < .001).



Health researchers exploring ways to use Twitter data for disease surveillance should be aware that the majority of tweets are not currently associated with an identifiable geographic location. Location can be identified for approximately 4 times the number of tweets using a straightforward text-matching process compared to using the GPS location information available in Twitter. Given the strong correlation between both data gathering methods, future research may consider using more qualitative approaches with higher yields, such as text mining, to acquire information about Twitter users' geographical location.
Review of wafer dicing techniques for via-middle process 3DI/TSV ultrathin silicon device wafers

Dicing of ultrathin (e.g. <; 75um thick) “via-middle” 3DI/TSV semiconductor wafers proves to be challenging because the process flow requires the dicing step to occur after wafer thinning and back side processing. This eliminates the possibility of using any type of “dice-before-grind” techniques. In addition, the presence of back side alignment marks, TSVs, or other features in the dicing street can add challenges for the dicing process. In this presentation, we will review different dicing processes used for 3DI/TSV via-middle products. Examples showing the optimization process for a 3DI/TSV memory device wafer product are provided.
The Australian Digital Technologies Curriculum: Challenge and Opportunity

There is a call for change in the treatment of ICT curriculum in our schools driven by the relatively recent acknowledgement of the growing importance of ICT in industry and society, and the need to empower youth as producers, as well as consumers, of technology. ICT curriculum in previous incarnations tended to focus on ICT as a tool, with the development of digital literacy as the key requirement. Areas such as computer science (CS) or computational thinking were typically isolated into senior secondary programs, with a focus on programming and algorithm development, when they were considered at all. New curricula introduced in England, and currently under debate within Australia, have identified the need to educate for both digital literacy and CS, and the need to promote both learning areas from the commencement of schooling, Foundation (F) to year 12.
 In this paper, we discuss the main trends and learning objectives of these new curricula, identifying key areas requiring further research and development by the CS Education community. We undertake a review of current research in CS Education within the F-12 context, to identify research that can guide effective implementation and provide opportunities for further research.
A subdivision-based algorithm for the sparse resultant

Multivariate resultants generalize the Sylvester resultant of two polynomials and characterize the solvability of a polynomial system. They also reduce the computation of all common roots to a problem in linear algebra. We propose a determinantal formula for the sparse resultant of an arbitrary system of n + 1 polynomials in n variables. This resultant generalizes the classical one and has significantly lower degree for polynomials that are sparse in the sense that their mixed volume is lower than their Bézout number. Our algorithm uses a mixed polyhedral subdivision of the Minkowski sum of the Newton polytopes in order to construct a Newton matrix. Its determinant is a nonzero multiple of the sparse resultant and the latter equals the GCD of at most n + 1 such determinants. This construction implies a restricted version of an effective sparse Nullstellensatz. For an arbitrary specialization of the coefficients, there are two methods that use one extra variable and yield the sparse resultant. This is the first algorithm to handle the general case with complexity polynomial in the resultant degree and simply exponential in n. We conjecture its extension to producing an exact rational expression for the sparse resultant.
Business Process Digitalization and New Product Development: An Empirical Study of Small and Medium-Sized Manufacturers

Over the past decades, the rapid developments of the Internet and the information technologies have profoundly impacted every aspect of organizational and social activities. Many business organizations, including small and medium-sized enterprises (SMEs), have started to adopt business process digitalization (hereafter “BPD”) as a tool to gain market and operational efficiency (e.g., BarNir, Gallaugher & Auger, 2003; Bharadwaj & Soni, 2007; Johnston, Wade & McClean, 2007). Business process digitalization, in this study, is defined as abStract
Muscle function in 164 men and women aged 20--84 yr.

The purpose of the present study was to investigate the effect of aging in men and women on muscle functional properties, i.e., muscle force and force per unit of cross-sectional area (force/CSA).



A total of 164 volunteers participated in this study and were divided into five groups according to their chronological age as follows: 20s (20--39 yr old), 40s, 50s, 60s, and 70s (70--84 yr old). Isokinetic (0, 60, 180, and 300 degrees.s(-1)) knee extensor and flexor peak torque, and CSA of the quadriceps femoris (QF) muscle of the mid-thigh were measured.



Peak torque during knee extension and flexion was inversely related to age in both men and women. This was the case irrespective of the speed of contraction in both genders (men: r = -0.797 to -0.756, all P < 0.001, women: r = -0.639 to -0.530, all P < 0.001). A significant correlation was observed between CSA of QF and peak torque during isometric knee extension in men (r = 0.827, P < 0.001) and women (r = 0.657, P < 0.001). During isometric contraction, the force/CSA exhibited a significant decrease with increasing age in men (r = -0.518, P < 0.001) but not in women (r = -0.207, NS).



These results thus suggest that muscle strength losses would be mainly due to a decline in muscle mass in both genders, whereas age-related decline in muscle function in men may also be the result of neural factors, such as muscle recruitment and/or specific tension.
V-BLAST Architecture : A New Transmission Scheme for MIMO-OFDM

This contribution introduces a new transmission scheme for multiple-input multiple-output (MIMO) Orthogonal Frequency Division Multiplexing (OFDM) systems. The new scheme is efficient and suitable especially for symmetric channels such as the link between two base stations or between two antennas on radio beam transmission. This Thesis presents the performance analysis of V-BLAST based multiple input multiple output orthogonal frequency division multiplexing (MIMO-OFDM) system with respect to bit error rate per signal to noise ratio (BER/SNR) for various detection techniques. A 2X2 MIMO-OFDM system is used for the performance evaluation. The simulation results shows that the performance of V-BLAST based detection techniques is much better than the conventional methods. Alamouti Space Time Block Code (STBC) scheme is used with orthogonal designs over multiple antennas which showed simulated results are identical to expected theoretical results. With this technique both Bit Error Rate (BER) and maximum diversity gain are achieved by increasing number of antennas on either side. This scheme is efficient in all the applications where system capacity is limited by multipath fading.
CRF based road detection with multi-sensor fusion

In this paper, we propose to fuse the LIDAR and monocular image in the framework of conditional random field to detect the road robustly in challenging scenarios. LIDAR points are aligned with pixels in image by cross calibration. Then boosted decision tree based classifiers are trained for image and point cloud respectively. The scores of the two kinds of classifiers are treated as the unary potentials of the corresponding pixel nodes of the random field. The fused conditional random field can be solved efficiently with graph cut. Extensive experiments tested on KITTI-Road benchmark show that our method reaches the state-of-the-art.
Weight bias among professionals treating eating disorders: attitudes about treatment and perceived patient outcomes.

This study aimed to assess weight bias among professionals who specialize in treating eating disorders and identify to what extent their weight biases are associated with attitudes about treating obese patients.



Participants were 329 professionals treating eating disorders, recruited through professional organizations that specialize in eating disorders. Participants completed anonymous, online self-report questionnaires, assessing their explicit weight bias, perceived causes of obesity, attitudes toward treating obese patients, perceptions of treatment compliance and success of obese patients, and perceptions of weight bias among other practitioners.



Negative weight stereotypes were present among some professionals treating eating disorders. Although professionals felt confident (289; 88%) and prepared (276; 84%) to provide treatment to obese patients, the majority (184; 56%) had observed other professionals in their field making negative comments about obese patients, 42% (138) believed that practitioners who treat eating disorders often have negative stereotypes about obese patients, 35% (115) indicated that practitioners feel uncomfortable caring for obese patients, and 29% (95) reported that their colleagues have negative attitudes toward obese patients. Compared to professionals with less weight bias, professionals with stronger weight bias were more likely to attribute obesity to behavioral causes, expressed more negative attitudes and frustrations about treating obese patients, and perceived poorer treatment outcomes for these patients.



Similar to other health disciplines, professionals treating eating disorders are not immune to weight bias. This has important implications for provision of clinical treatment with obese individuals and efforts to reduce weight bias in the eating disorders field.
A randomized clinical trial to compare the Goshgarian and Nance palatal arch.

The aim of this trial was to evaluate whether a Nance or Goshgarian palatal arch was most effective for prevention of mesial drift, distal tipping, prevention of mesio-palatal rotation of the upper first permanent molars, and patient comfort and ease of removal. Patients were recruited from a district general hospital and a specialist orthodontic practice and randomly allocated to a Goshgarian (n = 29) or a Nance (n = 28) group. Pre-treatment study models (T1) were taken followed by the placement of the palatal arch, premolar extractions, and upper and lower fixed appliances. The clinical end point was 6 months (T2), at which time, an impression for an upper study model was taken. The amount of upper first permanent molar mesial movement, distal tipping, and mesio-palatal rotation was measured by scanning T1 and T2 study models and then using a software program to calculate molar changes. In addition, the patients recorded their discomfort scores using a seven-point Likert scale at each recall visit. Forty-nine patients (86 per cent) completed the trial. t-tests were used to compare molar movements between the Goshgarian and Nance palatal arch groups. There were no statistically significant differences between the palatal arches in terms of prevention of mesial drift or distal tipping (P > 0.05). There was a statistically significant difference in the amount of molar rotation between the arch types, with both exhibiting some disto-palatal rotation even though they were not activated for this movement. The Goshgarian palatal arch produced marginally more disto-palatal rotation than the Nance arch (P = 0.02), although this may not be considered clinically significant. A Mann-Whitney test revealed that there was also a statistically significant difference in pain scores between the Goshgarian and the Nance arch, with the latter being associated with more discomfort (P = 0.001). This trial did not support any preference in the use of the Goshgarian or Nance palatal arch, unless the slightly reduced patient discomfort with the Goshgarian arch is considered significant.
Machine Fault Diagnosis and Prognosis : The State of The Art

Machine fault diagnostic and prognostic techniques have been the considerable subjects of condition-based maintenance system in the recent time due to the potential advantages that could be gained from reducing downtime, decreasing maintenance costs, and increasing machine availability. For the past few years, research on machine fault diagnosis and prognosis has been developing rapidly. These publications covered in the wide range of statistical approaches to model-based approaches. With the aim of synthesizing and providing the information of these researches for researcher’s community, this paper attempts to summarize and classify the recent published techniques in diagnosis and prognosis of rotating machinery. Furthermore, it also discusses the opportunities as well as the challenges for conducting advance research in the field of machine prognosis.
Literature Review of Air Pollution Control Biofilters and Biotrickling Filters for Odor and Volatile Organic Compound Removal

A literature study was conducted to compare the feasibility of biofilters and biotrickling filters for the treatment of complex odorous waste air containing hydrogen sulfide (H2S), organic reduced sulfur compounds, and chlorinated and nonchlorinated volatile organic compounds (VOCs). About 40 pilot-plant studies and full-scale applications at wastewater treatment plants and other facilities were reviewed. Reactor design and pollutant removal efficiencies were summarized in tables for easy reference and for a perspective on the current state of the art, and to allow comparison between different projects. The survey indicated that both biofilters and biotrickling filters are capable of combining a high H2S and odor removal efficiency with VOC removal. Apart from odor abatement, biological treatment therefore holds promise for reducing the overall toxicity and potential carcinogenicity of VOCcontaining odorous waste air from wastewater treatment plants and other facilities. VOC removal efficiencies were in general lower than those of H2S and odor, although concentrations of individual VOC species were relatively low. This indicates that for effective treatment of VOC-containing odorous waste air, the design and operation should emphasize VOC removal as the rate-limiting parameter.
How developers search for code: a case study

With the advent of large code repositories and sophisticated search capabilities, code search is increasingly becoming a key software development activity. In this work we shed some light into how developers search for code through a case study performed at Google, using a combination of survey and log-analysis methodologies. Our study provides insights into what developers are doing and trying to learn when per- forming a search, search scope, query properties, and what a search session under different contexts usually entails. Our results indicate that programmers search for code very frequently, conducting an average of five search sessions with 12 total queries each workday. The search queries are often targeted at a particular code location and programmers are typically looking for code with which they are somewhat familiar. Further, programmers are generally seeking answers to questions about how to use an API, what code does, why something is failing, or where code is located.
Back-to-back converter control of grid-connected wind turbine to mitigate voltage drop caused by faults

Power electronic converters enable wind turbines, operating at variable speed, to generate electricity more efficiently. Among variable speed operating turbine generators, permanent magnetic synchronous generator (PMSG) has got more attentions due to low cost and maintenance requirements. In addition, the converter in a wind turbine with PMSG decouples the turbine from the power grid, which favors them for grid codes. In this paper, the performance of back-to-back (B2B) converter control of a wind turbine system with PMSG is investigated on a faulty grid. The switching strategy of the grid side converter is designed to improve voltage drop caused by the fault in the grid while maximum available active power of wind turbine system is injected to the grid and the DC link voltage in the converter is regulated. The methodology of the converter control is elaborated in details and its performance on a sample faulty grid is assessed through simulation.
A BACnet gateway for embedded Web services

The vision of the smart home is increasingly becoming reality. Devices become smart, interconnected and accessible through the Internet. In the classical building automation domain already a lot of devices are interconnected providing interfaces for control or collecting data. Unfortunately for historical reasons they use specialized protocols for their communication hampering the integration into newly introduced smart home technologies. In order to make use of the valuable information gateways are required. BACnet as a protocol of the building automation domain already can make use of IP and defined a way to represent building data as Web services in general, called BACnet/WS. But using full fledged Web services would require too much resources in the scenario of smart home thus we need a more resource friendly solution. In this work a Devices Profile for Web Services (DPWS) adaptation of the BACnet/WS specification is proposed. DPWS enables Web service conform communication with a focus on a small footprint, which in turn enables interdisciplinary communication of constrained devices.
The fallacy of the Principle of Procreative Beneficence.

The claim that we have a moral obligation, where a choice can be made, to bring to birth the 'best' child possible, has been highly controversial for a number of decades. More recently Savulescu has labelled this claim the Principle of Procreative Beneficence. It has been argued that this Principle is problematic in both its reasoning and its implications, most notably in that it places lower moral value on the disabled. Relentless criticism of this proposed moral obligation, however, has been unable, thus far, to discredit this Principle convincingly and as a result its influence shows no sign of abating. I will argue that while criticisms of the implications and detail of the reasoning behind it are well founded, they are unlikely to produce an argument that will ultimately discredit the obligation that the Principle of Procreative Beneficence represents. I believe that what is needed finally and convincingly to reveal the fallacy of this Principle is a critique of its ultimate theoretical foundation, the notion of impersonal harm. In this paper I argue that while the notion of impersonal harm is intuitively very appealing, its plausibility is based entirely on this intuitive appeal and not on sound moral reasoning. I show that there is another plausible explanation for our intuitive response and I believe that this, in conjunction with the other theoretical criticisms that I and others have levelled at this Principle, shows that the Principle of Procreative Beneficence should be rejected.