nils-herrmann/clean_scirepeval huggingface dataset:
Antalya Kaleici'nde Bir Simge Yapi: Yivli Minare

Selcuklular doneminde, Akdeniz'in onemli bir ticaret merkezi olan Kaleici Antalya kentinin ilk kurulum bolgesidir. Bu bolgede kendi adi ile anilan kulliye icerisinde yer alan Yivli Minare I. Alaeddin Keykubat doneminde, 13. yuzyilda yaptirilmis olup kentin ilk Islam eserlerindendir. Gunumuzde kenti simgeleyen onemli bir yapi olan Yivli Minare en cok ziyaret edilen eserlerden birisidir. Bu calismanin amaci Yivli Minare'nin kenti simgeleyen yapi olmasini saglayan ozelliklerinin vurgulanmasidir. Tarihi degeri, yapisal ozellikleri, konumu, dogal cevre ozellikleri, kent siluetinde etkin olmasi ve fonksiyonelligini devam ettirmesi acisindan yapi irdelenmis ve Antalya Kenti tarihindeki onemi ortaya konmustur. Anahtar Kelimeler: Antalya, Kaleici, Yivli Minare, Anadolu Selcuklu Donemi, simge yapi. A Landmark In Antalya Kaleici: Yivli Minaret Abstract Kaleici, one of important Mediterranean trade centers in Seljuk period is the first settlement center of Antalya city. In this region Yivli Minaret, located in the complex referred to its name was built during Alaeddin Keykubat era in 13th century, as one of the first Islamic monuments of the city. Yivli Minaret, an important building symbolizing the city is today one of the most visited monuments. The aim of this study is to highlight the characteristics providing Yivli Minaret a special feature, the landmark of the city. The building is examined in terms of historical value, structural characteristics, location, natural land features, the strength in city skyline and ongoing functionality, and its importance in the history of Antalya City is presented.  Antalya, Kaleici, Yivli Minaret, Anatolian Seljuk Period, landmark.
Yahya Kemal'in Siirlerinin Simge Kurgusu ve Goruntu Duzeyleri

Insan, yeryuzundeki en soylu varlik olarak durmaksizin degisir, donusur ve kendini gerceklestirmesine yardimci olan simgesel gondergeli degerler yaratir. Bu simgesel anlamda tasarlanmis yaratimlar, ayni zamanda dunyanin yeniden kurgulanmasidir. Yahya Kemal de simgesel anlamda Turk siirine cok yuzlu ve estetik bir butunluk kazandirmistir. Geleneksel siirin deger ve olanaklarini Batili siirin modern acilimlariyla birlestiren Yahya Kemal, Turk siirinin simge ve goruntu duzeyleri acisindan tarihsel anlamda cikarimdir. Gecmisin estetik, melodik ve anlamsal buyusu ve atilimlarini icinde barindiran Yahya Kemal'in siir dunyasi, ayni zamanda simgelerin dili ve goruntu duzeyleriyle kendi varlik katmanlarini olusturur. Sairin siirlerinde dil, cografya ve mazinin "kulturel bellek mekani" donusen simge ve goruntuleri, siirde seyler dunyasi yani fenomenlerin yeniden hatirlanip kesfedilmesini saglar. Esya, nesne ve varliklara kendi gercek anlamlarinin disinda yeni ve cagrisimsal anlamlar yukleyen Yahya Kemal, simgeler ve onlara yukledigi anlamlarla kendi siir dunyasini zenginlestirir. Turkcenin anlam evreninde gosteren ve gosterge arsindaki anlam iliskisini ust bir kurmacayla bize sezdiren sair, simgelerin mitik ve kutsal oykusunu yeniden kurup okumamizi saglar. Bu acidan Turkcenin anlam evreninde kendi ruhunun sonsuz acilimlarini simgelerin yogun ve sikistirilmis anlamlariyla ortaya koyan Yahya Kemal, kendi bilincalti, bilincdisi ve mitik ogelerini siirlerinde simgelerin ortuk anlamlariyla ortaya koyar. Yayha Kemal'in siirlerinin simge kurgusu ve goruntu duzeyleri, sairin varolussal degerlerini nesne, esyaya sinen mitik oykusunu yeniden kavramamizi saglar. Nitekim nesne, esya ruhuna sinen tarih ve gelenek, nesneler dunyasinin kesfedilmesi veya kesfedilmeye zorlanmasi ile kavramlarin ust bir dili olan simgenin diliyle ortaya konur. Insan, simgeler ormaninda kaybolmus bir cocuktur. Sairin siirlerindeki simgesel anlatim bireyselden geleneksele, gelenekselden evrensele acilan bir goruntu arz eder. Bu acidan sairin siirlerinde simge, dilin dunyasini yeniden tasarlayan bir anlam ureticidir. Sairin siirlerinde dini simgeler, tabiat unsurlarinin simgesel dili, mekanin simgelesen yuzu, geleneksel kulturel simgeler olarak kendini gosterir. Anahtar Kelimeler: Yahya Kemal, siir, simge, bireysel simge, geleneksel simge, evrensel simge, deniz, Istanbul, bulbul, bahce.
Fostering Science and Technology Interest in Chilean Children with Educational Robot Kits
Venue: 2016 XIII Latin American Robotics Symposium and IV Brazilian Robotics Symposium (LARS/SBR)

These days stand on a digital era, where science and technology are two key concepts for understanding the fundamentals of devices people cope daily. In order to increase the population size of at least, technology friendly users, fostering the algorithmic thinking process on children is a crucial step and has taken more relevance every year. This document presents the experience of a group of students highly committed to present to children the exciting underlying concepts found on robotics, through practical sessions whose ending is marked by a national competition for school children, where the acquired solving problems skills using robotics can be tested. These courses have been extended both on impact and physical locations: some children are taken to compete at RoboCup Junior, and there has been an increasing interest of attend to these free courses on several places from all over the country.
Manufacturing Ontology Development Based on Industry 4.0 Demonstration Production Line
Venue: 2016 Third International Conference on Trustworthy Systems and their Applications (TSA)

The increasing pressures faced by manufacturers, the shortening of innovation cycles and the growing importance of high efficiency manufacturing demand a higher versatility of factory automation. In order to achieve this target, engineering tasks currently performed manually need to be automated. In this case, ontologies emerge as a significant method for representing manufacturing knowledge in a machine interpretable way. This knowledge can then be used by automated problem solving methods to reconfigure the control software that coordinates and supervises manufacturing systems. Besides, Ontology can play a very important role in the process of creating as well as managing the knowledge. This paper addresses the important issues in developing domain specific ontology for manufacturing used in industry 4.0 demonstration production line. A generic ontology is developed considering all the aspects about product from customized order to resulting production.
Literature survey on the relationships between energy variables, environment and economic growth

This paper provides an extensive survey of the great progress in the literature of energy environment growth nexus for both specific and multi county studies covering the period from 1978 to 2014. The survey focuses on country (ies) coverage, periods, modeling methodologies, and empirical conclusions. Our survey is based on the direction of causality between (i)energy consumption (electricity, nuclear, renewable and non renewable) and economic growth; (ii) between economic growth and environment; and between the three variables at the same time. As a general remark from these studies is that the literature produced paradoxical and not conclusive results which energy consumption can boost economic growth through the productivity enhancement and it can boost also the environmental damages through the enhancement of pollutant emissions. This survey gives researchers a 'snap shot' of the literature on the causality between the four types of energy, environment and economic growth for both individual and collective cases. Understanding the causal links between environment, economic growth and different types of energy consumption provides a basis for discussion in order to design and implementating effective energy and environmental policies.
A Framework to Combine Low and High resolution Spectroscopy for the Atmospheres of Transiting Exoplanets

Current observations of the atmospheres of close in exoplanets are predominantly obtained with two techniques: low resolution spectroscopy with space telescopes and high resolution spectroscopy from the ground. Although the observables delivered by the two methods are in principle highly complementary, no attempt has ever been made to combine them, perhaps due to the different modeling approaches that are typically used in their interpretation. Here, we present the first combined analysis of previously published dayside spectra of the exoplanet HD 209458 b obtained at low resolution with HST/Wide Field Camera 3 (WFC3) and Spitzer/IRAC and at high resolution with VLT/CRIRES. By utilizing a novel retrieval algorithm capable of computing the joint probability distribution of low and high resolution spectra, we obtain tight constraints on the chemical composition of the planet's atmosphere. In contrast to the WFC3 data, we do not confidently detect H2O at high spectral resolution. The retrieved water abundance from the combined analysis deviates by 1.9s from the expectations for a solar composition atmosphere in chemical equilibrium. Measured relative molecular abundances of CO and H2O strongly favor an oxygen rich atmosphere (C/O 1 at 3.5s) for the planet when compared to equilibrium calculations including O rainout. From the abundances of the seven molecular species included in this study we constrain the planet metallicity to 0.1 1.0 x the stellar value (1s) This study opens the way to coordinated exoplanet surveys between the flagship ground and space based facilities, which ultimately will be crucial for characterizing potentially habitable planets.
Nonlinear stability analysis of rotational dynamics and transversal vibrations of annular circular thin plates functionally graded in radial direction by differential quadrature

In this article, the nonlinear analysis of free vibrations, dynamic stability, and rotational dynamics of rotating annular circular thin plates, made of functionally graded material (FGM) is studied. Based on classical plate theory, von Karman's nonlinear plate theory, and assuming the FGM mechanical properties vary in the radial direction, the governing equations of motion are obtained by direct use of Newton's laws. A 1 D differential quadrature is used to solve the governing equations determining the natural frequencies, corresponding transverse mode shapes, and the critical speeds of rotation. The accuracy and convergence of the method are studied by comparing the results with the similar results whenever available in the literature. The influence of different parameters such as inner to outer radii ratio, thickness to outer radius ratio, graded index, angular velocity of the plate, and different boundary conditions on the natural frequencies of FG rotating plate are demonstrated by numerical examples. It is shown that fabricating a rotating disk with FGM can lead to an increase in its critical speed.
SCONE: Secure Linux Containers with Intel SGX
Venue: OSDI

In multi tenant environments, Linux containers managed by Docker or Kubernetes have a lower resource footprint, faster startup times, and higher I/O performance compared to virtual machines (VMs) on hypervisors. Yet their weaker isolation guarantees, enforced through software kernel mechanisms, make it easier for attackers to compromise the confidentiality and integrity of application data within containers. We describe SCONE, a secure container mechanism for Docker that uses the SGX trusted execution support of Intel CPUs to protect container processes from outside attacks. The design of SCONE leads to (i) a small trusted computing base (TCB) and (ii) a low performance overhead: SCONE offers a secure C standard library interface that transparently encrypts/decrypts I/O data; to reduce the performance impact of thread synchronization and system calls within SGX enclaves, SCONE supports user level threading and asynchronous system calls. Our evaluation shows that it protects unmodified applications with SGX, achieving 0.6x 1.2x of native throughput.
Continuous measurements of isotopic composition of water vapour on the East Antarctic Plateau

Water stable isotopes in central Antarctic ice cores are critical to quantify past temperature changes. Accurate temperature reconstructions require one to understand the processes controlling surface snow isotopic composition. Isotopic fractionation processes occurring in the atmosphere and controlling snowfall isotopic composition are well understood theoretically and implemented in atmospheric models. However, post deposition processes are poorly documented and understood. To quantitatively interpret the isotopic composition of water archived in ice cores, it is thus essential to study the continuum between surface water vapour, precipitation, surface snow and buried snow. Here, we target the isotopic composition of water vapour at Concordia Station, where the oldest EPICA Dome C ice cores have been retrieved. While snowfall and surface snow sampling is routinely performed, accurate measurements of surface water vapour are challenging in such cold and dry conditions. New developments in infrared spectroscopy enable now the measurement of isotopic composition in water vapour traces. Two infrared spectrometers have been deployed at Concordia, allowing continuous, in situ measurements for 1 month in December 2014 January 2015. Comparison of the results from infrared spectroscopy with laboratory measurements of discrete samples trapped using cryogenic sampling validates the relevance of the method to measure isotopic composition in dry conditions. We observe very large diurnal cycles in isotopic composition well correlated with temperature diurnal cycles. Identification of different behaviours of isotopic composition in the water vapour associated with turbulent or stratified regime indicates a strong impact of meteorological processes in local vapour/snow interaction. Even if the vapour isotopic composition seems to be, at least part of the time, at equilibrium with the local snow, the slope of dD against d18O prevents us from identifying a unique origin leading to this isotopic composition.
Water vapour adsorption and desorption in GCLs

Super saturated salt solutions are used to control relative humidity (RH) and to infer the hydration (water uptake and loss) behaviour of three needle punched geosynthetic clay liners (GCLs) with respect to time under conditions of both free swell and 20 kPa applied stress. It is shown that RH and applied stress play a key role in the hydration behaviour with time when GCL specimens were in equilibrium with water vapour. It was also observed that water uptake and loss was affected by the bentonite form (powdered or granular) and mineralogy of the bentonite. However, the effect of GCL structure (i.e. difference in geotextiles and bonding of needle punched fibres to the carrier geotextile) on their hydration behaviour for GCLs with similar form of bentonite was not significant for RH 97.7% The effect of GCL structure became more apparent at 100% RH (for all GCLs) The results presented in this study can be used to better assess the hydration of GCLs in field applications such as waste containment liners
Detection of water vapour absorption around 363 nm in measured atmospheric absorption spectra and its effect on DOAS evaluations

Water vapour is known to absorb radiation from the microwave region to the blue part of the visible spectrum with decreasing efficiency. Ab initio approaches to model individual absorption lines of the gaseous water molecule predict absorption lines up to its dissociation limit at 243 nm. We present the first evidence of water vapour absorption near 363 nm from field measurements using data from multi axis differential optical absorption spectroscopy (MAX DOAS) and long path (LP) DOAS measurements. The identification of the absorptions was based on the recent POKAZATEL line list by Polyansky et al. (2017) For MAX DOAS measurements, we observed absorption by water vapour in an absorption band around 363 nm with optical depths of up to 2 x 10 3. The retrieved column densities from 2 months of measurement data and more than 2000 individual observations at different latitudes correlate well with simultaneously measured well established water vapour absorptions in the blue spectral range from 452 to 499 nm (R2 0.89) but the line intensities at around 363 nm are underestimated by a factor of 2.6 0.5 by the ab initio model. At a spectral resolution of 0.5 nm, we derive a maximum cross section value of 2.7 x 10 27 cm2 molec 1 at 362.3 nm. The results were independent of the used literature absorption cross section of the O4 absorption, which overlays this water vapour absorption band. Also water vapour absorption around 376 nm was identified. Below 360 nm no water vapour absorption above 1.4 x 10 26 cm2 molec 1 was observed. The newly found absorption can have a significant impact on the spectral retrievals of absorbing trace gas species in the spectral range around 363 nm. Its effect on the spectral analysis of O4, HONO and OClO is discussed.
Observation of low level wind reversals in the Gulf of Lion area and their impact on the water vapour variability

Water vapour measurements from a ground based Raman lidar and an airborne differential absorption lidar, complemented by high resolution numerical simulations from two mesoscale models (AROME WMED and Meso NH) are considered to investigate three transition events from Mistral/Tramontane to southerly marine flow taking place in the Montpellier region (Southern France) in the time frame September October 2012, during the Hydrological Cycle in the Mediterranean Experiment Special Observation Period 1. Low level wind reversals associated with these transitions are found to have a strong impact on water vapour transport, leading to a large variability of the water vapour vertical and horizontal distributions. Water vapour mixing ratio within the boundary layer is found to vary from typical values in the range 4 8 g kg 1 during the northerly Mistral/Tramontane flows to values in the range 8 15 g kg 1 during the southerly marine flows. The increase/decrease in water vapour mixing ratio within the boundary layer may be abrupt and marked during these transition periods, with values increasing decreasing by a factor of 2 to 4 within 1 hour. The high spatial and temporal resolutions of the lidar data allow monitoring the time evolution of the water vapour field during these transitions from predominantly northerly Mistral/Tramontane flow to a predominantly southerly flow, permitting to identify the quite sharp separation between these flows, which is also satisfactorily well captured by the mesoscale models. Water vapour measurements from the ground based lidar are complemented by particle backscatter measurements from the same system, which allow also revealing the significant variability in the aerosol and cloud fields associated with these transition events.
A Probabilistic Model of Social Decision Making based on Reward Maximization
Venue: NIPS

A fundamental problem in cognitive neuroscience is how humans make decisions, act, and behave in relation to other humans. Here we adopt the hypothesis that when we are in an interactive social setting, our brains perform Bayesian inference of the intentions and cooperativeness of others using probabilistic representations. We employ the framework of partially observable Markov decision processes (POMDPs) to model human decision making in a social context, focusing specifically on the volunteer's dilemma in a version of the classic Public Goods Game. We show that the POMDP model explains both the behavior of subjects as well as neural activity recorded using fMRI during the game. The decisions of subjects can be modeled across all trials using two interpretable parameters. Furthermore, the expected reward predicted by the model for each subject was correlated with the activation of brain areas related to reward expectation in social interactions. Our results suggest a probabilistic basis for human social decision making within the framework of expected reward maximization.
A Portfolio Approach to Retirement Income Security
Venue: The Journal of Retirement

Workers with defined contribution retirement plans face a daunting array of choices as they enter retirement. They need to decide how to allocate their savings among asset classes and how much to withdraw from savings to support retirement. They also need to make choices about when to claim Social Security and whether or not to purchase annuities (and what type to purchase) to provide guaranteed lifetime income in addition to Social Security. In this article, we report on a recent collaboration between the Stanford Center on Longevity (SCL) and the Society of Actuaries (SOA) aimed at analyzing the various alternatives and finding optimal combinations of asset and product allocations, and strategies for withdrawing funds from savings. An important objective in this work has been finding solutions that are sufficiently straightforward to be implemented by retiring workers in employer sponsored retirement plans or by utilizing low cost advice options. Solutions that require substantial adviser involvement may be too expensive for typical middle income workers. While the report focuses on solutions for defined contribution retirement plans, its framework can also be applied to out of plan solutions.
THREE DIMENSIONAL GEOPHYSICAL MODELLING OF THE ALALOBEDA GEOTHERMAL FIELD

The Alalobeda geothermal system is located in the Afar region (Northern Ethiopia) along the western margin of the Tendaho Graben. A multidisciplinary study of the Alalobeda geothermal field, funded by the Icelandic International Development Agency (ICEIDA) and the Nordic Development Fund (NDF) was carried out by the Geothermal Division of the Geological Survey of Ethiopia under the supervision of ELC Electroconsult (Milan, Italy) In this paper, we show the results of the integrated geophysical survey, including 123 magnetotelluric and transient electromagnetic soundings and 300 gravity records. The high density station coverage over a regular grid allowed the successful application of 3D MT and gravity inversion, producing detailed and realistic models of the resistivity and density distributions. The final 3D gravity model images of the bedrock surface hindered by the sediments reveal first order normal faults controlling the graben main structures. Beneath the graben shoulder, a positive density contrast +300 kg m 3 was modelled at depths of 1 2 km and interpreted as a propylitic alteration of the bedrock surface. The 3D resistivity model revealed three NNE trending fracture zones beneath the shoulder of the Tendaho Graben, where topography and structural observations indicate the presence of NNEtrending MER normal faults. These fracture zones are characterised by a shallow conductive anomaly (interpreted as the "low temperature" clay cap) and a more resistive deeper anomaly (interpreted as the "high temperature" alteration) The fracture zones do not prosecute towards the plain and appear to be limited by the NW trending main normal faults of the Tendaho Graben