nils-herrmann/clean_scirepeval huggingface dataset:
On extended version of Yamada Ota and Xue models in micropolar fluid flow under the region of stagnation point
Year: 2020

In this study, a steady flow of micropolar hybrid nanofluid over permeable curved exponentially stretching channel surface has been analyzed. We also discussed the two models of hybrid nanofluid named as Yamada and Ota model and Xue model. The systems of governing partial differential equations are converted into a system of non dimensional ordinary differential equations by applying the suitable similarity transformation. The dimensionless form of the ordinary differential equations is solved through numerical technique via bvp4c method. The impacts of physical parameters which involve in ordinary differential equations are highlighted through graphs while skin friction, couple stress and Nusselt numbers are highlighted through Tables. Our interest of study is to be analyzed about the heat transfer rate of micropolar hybrid nanofluid with hybrid nanofluid of Y O model and Xue model. The comparison with the existence literature has been worked and it is revealed to be good agreement. Surprisingly, the Yamada and Ota model of the Hybrid nanofluid gain high than Xue model of the hybrid nanofluid on the temperature profile. In the both cases, the injection parameter g 0 gains higher thermal boundary layer thickness than that of suction parameter g 0 It is noted that the R e s 1 2 C f having opposite behavior to note for the R e s 1 2 N u s and R e s 1 2 C m for the both cases of C u A l 2 O 3 H 2 O and C u H 2 O The present analysis gives a good agreement with the decay.
Estimating Three Dimensional Body Orientation Based on an Improved Complementary Filter for Human Motion Tracking
Venue: Sensors
Year: 2018

Rigid body orientation determined by IMU (Inertial Measurement Unit) is widely applied in robotics, navigation, rehabilitation, and human computer interaction. In this paper, aiming at dynamically fusing quaternions computed from angular rate integration and FQA algorithm, a quaternion based complementary filter algorithm is proposed to support a computationally efficient, wearable motion tracking system. Firstly, a gradient descent method is used to determine a function from several sample points. Secondly, this function is used to dynamically estimate the fusion coefficient based on the deviation between measured magnetic field, gravity vectors and their references in Earth fixed frame. Thirdly, a test machine is designed to evaluate the performance of designed filter. Experimental results validate the filter design and show its potential of real time human motion tracking.
Aging and Cardiometabolic Risk in European HEMS Pilots: An Assessment of Occupational Old Age Limits as a Regulatory Risk Management Strategy.
Venue: Risk analysis an official publication of the Society for Risk Analysis
Year: 2018

Old age limits are imposed in some occupations in an effort to ensure public safety. In aviation, the "Age 60 Rule" limits permissible flight operations conducted by pilots aged 60 and over. Using a retrospective cohort design, we assessed this rule's validity by comparing age related change rates of cardiometabolic incapacitation risk markers in European helicopter emergency medical service (HEMS) pilots near age 60 with those in younger pilots. Specifically, individual clinical, laboratory, and electrocardiogram (ECG) based risk markers and an overall cardiovascular event risk score were determined from aeromedical examination records of 66 German, Austrian, Polish, and Czech HEMS pilots (average follow up 8.52 years) Risk marker change rates were assessed using linear mixed models and generalized additive models. Body mass index increases over time were slower in pilots near age 60 compared to younger pilots, and fasting glucose levels increased only in the latter. Whereas the lipid profile remained unchanged in the latter, it improved in the former. An ECG based arrhythmia risk marker increased in younger pilots, which persisted in the older pilots. Six month risk of a fatal cardiovascular event (in or out of cockpit) was estimated between 0% and 0.3% Between 41% and 95% of risk marker variability was due to unexplained time stable between person differences. To conclude, the cardiometabolic risk marker profile of HEMS pilots appears to improve over time in pilots near age 60, compared to younger pilots. Given large stable interindividual differences, we recommend individualized risk assessment of HEMS pilots near age 60 instead of general grounding.
'The shack becomes the house, the slum becomes the suburb and the slum dweller becomes the citizen' experiencing abandon and seeking legitimacy in Dar es Salaam
Year: 2014

This thesis considers the (over)promotion of formal home ownership, and the parallel neglect of rental housing, in international development policy and practice. Using a qualitative methodology, which incorporates policy analysis, as well as interviews and focus groups with key informants and informal residents, this research has moved beyond broad, singular conceptualisations of the 'slum' Instead, this study offers an insight into the multiple lived experiences of informal urban housing, in the context of a tenure biased policy landscape. Research with informal residents was carried out exclusively with members of community led groups who are in the process of resettling to formal plots on the margins of Dar es Salaam city. Drawing upon Foucaultian governmentality scholarship, the findings of this study highlight the centrality of housing tenure in notions of being counted, recognition and urban citizenship. The research findings highlight the complexities of informal urban housing, drawing particular attention to the everyday realities of renting shelter in the urban private rental market. In exploring the lived realities of informal housing in Dar es Salaam, this thesis uncovers the everyday realities of a wholesale neglect of the private rental sector in policy and the lack of recognition of private renters by the Tanzanian state. Using two distinct case studies of forced eviction in Dar es Salaam, this thesis interrogates the process and management of eviction, demonstrating the centrality of tenure in determining the validity of claims for state support and recognition and in shaping state citizen relations. In engaging with members of community led groups that are resettling, and have resettled, to formal plots on the urban fringe, this thesis further scrutinises the positioning of individual, formal home ownership as a universal normative ideal. This research considers resettlement as a considered strategy by informal residents to achieve a sense of belonging in Dar es Salaam, a performance of citizenship. Yet, this thesis questions 'resettlement' as an optimum strategy for securing an officially recognised place in the city. This thesis will consider the complex hopes, dreams and trade offs made in decisions to resettle and consider the implications of resettlement for notions of a right to the city.
City planning and population health: a global challenge
Venue: The Lancet
Year: 2016

Significant global health challenges are being confronted in the 21st century, prompting calls to rethink approaches to disease prevention. A key part of the solution is city planning that reduces non communicable diseases and road trauma while also managing rapid urbanisation. This Series of papers considers the health impacts of city planning through transport mode choices. In this, the first paper, we identify eight integrated regional and local interventions that, when combined, encourage walking, cycling, and public transport use, while reducing private motor vehicle use. These interventions are destination accessibility, equitable distribution of employment across cities, managing demand by reducing the availability and increasing the cost of parking, designing pedestrian friendly and cycling friendly movement networks, achieving optimum levels of residential density, reducing distance to public transport, and enhancing the desirability of active travel modes (eg, creating safe attractive neighbourhoods and safe, affordable, and convenient public transport) Together, these interventions will create healthier and more sustainable compact cities that reduce the environmental, social, and behavioural risk factors that affect lifestyle choices, levels of traffic, environmental pollution, noise, and crime. The health sector, including health ministers, must lead in advocating for integrated multisector city planning that prioritises health, sustainability, and liveability outcomes, particularly in rapidly changing low income and middle income countries. We recommend establishing a set of indicators to benchmark and monitor progress towards achievement of more compact cities that promote health and reduce health inequities.
PELAKSANAAN PENGADAAN BUKU TEKS PELAJARAN KURIKULUM 2013 DI KABUPATEN NATUNA
Year: 2019

Abstrak. Tujuan dari penelitian ini adalah untuk menganalisa mekanisme pengadaan buku teks pelajaran kurikulum 2013 dan kendalanya di Kabupaten Natuna. Penelitian ini merupakan penelitian kualitatif. Temuan dari penelitian ini, yaitu Pengadaan buku teks pelajaran kurikulum 2013 di Kabupaten Natuna menggunakan dua mekanisme, yaitu e katalog dan BSE. Kedua mekanisme tersebut menyulitkan sekolah sekolah yang ada di Kabupaten Natuna, karena banyak penyedia/penerbit yang tidak bersedia mengirim disebabkan biaya pengiriman yang cukup mahal. Sementara di Kabupaten Natuna tidak ada penyedia/penerbit buku dan tidak semua sekolah memiliki jaringan internet. Ada dua distributor buku teks di Kabupaten Natuna, jika membeli buku teks di distributor tersebut, harga buku teks yang ditawarkan oleh distributor melebihi harga eceran tertinggi yang sudah ditetapkan berdasarkan zona dan pengiriman buku teksnya tidak tepat waktu. Sehingga proses pembelajaran untuk semester 1 tetap tidak menggunakan buku teks pelajaran kurikulum 2013 karena pengiriman yang terlambat.  mekanisme, pengadaan, buku teks.
Poem Generation using Transformers and Doc2Vec Embeddings
Venue: 2020 International Joint Conference on Neural Networks (IJCNN)
Year: 2020

Poems are sequences of words that express ideas and emotions in an imaginative style, some following strict literary syntax or form. They are artistic expressions, and their generation requires in depth knowledge and mastery of language. As such, poem generation is considered a very challenging task in Natural Language Processing and has been attracting research interest in the recent decade. We propose a method of generating poems using transformers, coupled with doc2vec embeddings in order to assess the automatically generated poems. In this method, we first train a transformer and a doc2vec model using a poem dataset. Then the trained transformer takes an input text and produces several generated poems. To have an objective basis for assessing the generated poems, we present a preliminary attempt at measuring the quality of a machine generated poem by computing the cosine similarity score, referenced to the trained doc2vec model. This score is used as a basis for choosing the final output poem. The results show that this method ensures good cohesion between the machine generated poem and the given input text. We then also explore the implication of the transformer training to the doc2vec embeddings of its output poems, which are shown to be more similar to poems (documents) in the train set as training progresses. Finally, we demonstrate how transformers can learn some poetry styles by exposing them to poems of specific poets.
PROXY WAR AND INDONESIA'S NATIONAL SECURITY: VICTORIA CONCORDIA CRESCIT
Year: 2017

Proxy war have occurred since ancient times until now which is conducted by the major state powers by using state actors or non state actors. The national interests of the big countries with objective of the struggle for power and the power of influence in affecting international relations. Proxy war has motives and hard power and soft power approaches to achieve their goals. Indonesia is safeguarding its national security in dealing with the proxy war strategy against disintegration attempts, thus it can be eliminated and the integration of the Unitary Republic of Indonesia will remains intact. To safeguard the integration of the nation, Indonesia must take a counter proxy measures. This article uses qualitative approach with data from reference sources and literature related to the proxy war. The validity and reliability of the data was tested by triangulation reference. The study shows that the counter proxy war conducted by maintaining Unity in Diversity which resemble the Opus Dei upon Indonesia, implementing policies and avoiding materialistic for the benefit of people (pro bono) and keeping the harmony of Indonesia.  Proxy war, proxy war motives, national security, counter proxy war.
Micro scale Energy Harvesting for Batteryless Information Technologies
Year: 2017

Continually growing integration levels and miniaturization in electronics has led to the enrichment of features to enable a variety of new applications with simultaneous reduction in system power consumption. The start of the 21st century is hallmarked by the emergence of small information engines (microsystems) as part of "internet of things" thrust to provide the intelligence behind the building blocks of the increasingly automated, digitized, and connected eco system around residential, industrial, health, education, transportation, communication, and other sectors of our civilization. These engines require small amount of power to work in an embedded environment where frequent access for maintenance, and power delivery or battery refurbishment is not desirable. The focus of this chapter is batteryless operation, which is at the center stage of microscale harvesting research efforts to enable such applications. Energy and power budgeting, and system design concerns are reviewed for batteryless operation, and system examples are provided. First part of Sect. 3.1 discusses demand for micro scale information technologies. Section 3.1.3 provides typical power and energy budgets for sensor nodes. The motivations for batteryless operation are examined in Sect. 3.1.4. Power generation is provided as a recent power management thrust in such systems in Sect. 3.1.5. System design issues for realizing batteryless information technologies are covered in Sect. 3.2 with the review of energy harvesting techniques such as small scale solar irradiation, environmental vibration, thermal differences, and ambient radio frequency electromagnetic waves. Finally, the last part of the section briefly discusses upcoming trends and further efforts in enabling batteryless information technologies at a disruptive level.
A Comparative Study of the Role of China and India in Sustainable Textile Competition in the U.S. Market under Green Trade Barriers
Year: 2018

The United States is the most important textile import market in the world, and one of the most important export targets of developing countries. In view of its ecological environment and consumer health, the United States has put forward increasingly harsh environmental protection systems and standards for imported textile products, and its environmental trade barriers have been steadily strengthened. China's textile exports increased substantially after joining the World Trade Organization (WTO) in 2000; at present, the textile imports of the United States from China and India reach in total more than one third of all their imports. China and India both have comparative advantages in the import trade of textile raw materials and clothing in the United States (U.S. On the basis of the United Nation ComTrade Rev. 3, this paper studies the role of China and India in the United States textile market, including calculating the trade competitiveness index, revealing the competitive advantages of China and India, and investigating the impact of both Chinese and Indian textiles on United States imports from the rest of the world across three main textile sectors in the period 2000 2016, especially in the context of green trade barriers. We find that the relative textile import prices, the ecological standard of China's textile production re edited Oeko Tex Standard 100 in 2008 and export tax policy, and the competitive advantages of China and India had varied impacts on relative U.S. textile imports across related sectors under green environmental trade barriers. These findings recognize China's competitiveness in international trading, and also provide suggestions regarding China's competitiveness and sustainable development in the U.S. market.
Estrategia para el desarrollo organizacional con perspectiva de genero en policlinicos de la ciudad de Guantanamo.
Year: 2018

El trabajo contiene un estudio teorico critico del androcentrismo, y a partir de este analisis, se identificaron mecanismos y brechas de resistencia al enfoque de genero, desde ahi se construyo una Estrategia para disenar un diagnostico organizacional con perspectiva de genero en policlinicos de la ciudad de Guantanamo. Este posicionamiento posibilito la identificacion de tres problematicas: 1) El androcentrismo ha actuado como una eficiente barrera para abordar los problemas de equidad de genero que afectan la calidad de los proceso de salud, 2) Esta situacion no ha despertado un interes cientifico proporcional a su relevancia social, 3) La vida laboral no es la misma para mujeres que para hombres. El analisis de estas problematicas condiciono el siguiente problema cientifico Como contribuir a desmontar las brechas y mecanismos que limitan la perspectiva de genero en los policlinicos de la ciudad de Guantanamo? Desde este problema se determino el siguiente objeto de investigacion: las brechas y mecanismos que limitan la perspectiva de genero en la sociedad. El objetivo consistio en disenar una estrategia para el desarrollo organizacional con perspectiva de genero en policlinicos de la ciudad de Guantanamo, campo de accion el desarrollo organizacional con perspectiva de genero en policlinicos de la ciudad de Guantanamo. Los metodos de investigacion fueron la observacion, el analisis documental, la triangulacion metodologica, la modelacion y el analisis sistemico estructural. Se ofrecen conclusiones y recomendaciones pertinentes.
Reliability analysis of a historical bridge against ship impact with ANSYS optiSLang
Year: 2017

Ship impact against bridges crossing waterways may damage the structure and in some unlikely case may cause a failure with dramatical consequences. The contribution shows a practical example for determining the failure probability of a historical bridge against ship impact. For this purpose, a parametric, automatized workflow was generated with ANSYS optiSLang using a nonlinear dynamic finiteelement analysis of a 3 dimensional bridge model. In the ANSYS FE model nonlinear material models for concrete, historical masonry and the soil have been considered. The applied calculation method allowed a realistic calculation of the bridge by utilizing the available reserves of the load bearing capacity due to cracking and due to the load redistributions in the structure. In preparation of the probabilistic assessment of the bridge ultimate load calculations have been applied to identify the critical impact scenario, the failure mechanism and the ultimate load capacity of the bridge. Based on these results, different damage criteria had been derived, which are considered in a first variation and sensitivity analysis for the decisive impact scenario. With this sensitivity evaluation the most relevant parameters for the load behavior and for the evaluation criteria had been identified and only a small number of important input parameters could be identified. In the following reliability analysis the most suitable evaluation criterion was used to estimate the failure probability. The estimate was validated by using two different types of reliability analysis techniques within an automated workflow, an Adaptive Response Surface Approach in the significant parameter subspace and a Global Response Surface in the full parameter space combined with directional sampling. With the presented strategy a confident estimate of the failure probability could be achieved and the safety of the historical bridge against ship impact could be proven.
Splittable pseudorandom number generators using cryptographic hashing
Venue: Haskell '13
Year: 2013

We propose a new splittable pseudorandom number generator (PRNG) based on a cryptographic hash function. Splittable PRNGs, in contrast to linear PRNGs, allow the creation of two (seemingly) independent generators from a given random number generator. Splittable PRNGs are very useful for structuring purely functional programs, as they avoid the need for threading around state. We show that the currently known and used splittable PRNGs are either not efficient enough, have inherent flaws, or lack formal arguments about their randomness. In contrast, our proposed generator can be implemented efficiently, and comes with a formal statements and proofs that quantify how 'random' the results are that are generated. The provided proofs give strong randomness guarantees under assumptions commonly made in cryptography.
A practical algorithm for the computation of tree felling times
Year: 2008

The time taken for a tree to fall when felled can be expressed in closed form in terms of elliptic integrals. However, this form of the solution is of limited practical use to the non mathematician. A straightforward numerical method is presented that can be programmed into a spreadsheet in a few lines without requiring any high level programming or mathematical skills. Good accuracy for practical purposes is obtained without any iteration, but accuracy is further improved with two or three iterations, each involving only one or two extra cells in the spreadsheet. Results are compared with the analytic solution. This article demonstrates how a challenging real problem is accurately solved numerically with basic office tools and limited mathematics.
Collaborative Topic Regression with social trust ensemble for recommendation in social media systems
Venue: Knowl. Based Syst.
Year: 2016

Social media systems provide ever growing huge volumes of information for dissemination and communication among communities of users, while recommender systems aim to mitigate information overload by filtering and providing users the most attractive and relevant items from information sea. This paper aims at providing compound recommendation engine for social media systems, and focuses on exploiting multi sourced information (e.g. social networks, item contents and user feedbacks) to predict the ratings of users to items and make recommendations. For this, we suppose the users' decisions on adopting item are affected both by their tastes and the favors of trusted friends, and extend Collaborative Topic Regression to jointly incorporates social trust ensemble, topic modeling and probabilistic matrix factorization. We propose corresponding approaches to learning the latent factors both of users and items, as well as additional parameters to be estimated. Empirical experiments on Lastfm and Delicious datasets show that our model is better and more robust than the state of the art methods on making recommendations in term of accuracy. Experiments results also reveal some useful findings to enlighten the development of recommender systems in social media.