Miracle-dz/UniFAR-FTUs huggingface dataset:
In situ stress measurement near fault and interpretation by means of discrete element modelling

The design of underground caverns of significant size and of complex geometry is often accompanied by the use of numerical models able to estimate the range of stresses and strains induced by the excavations and, consequently to evaluate the stability of the caverns. In this context, it is convenient to estimate the natural state of stress of the rock mass, the mechanical properties of the rock matrix and the discontinuities and to carry out in situ measurements to calibrate the model. In the Carrara basin (Italy) there is a huge number of underground excavations that need to be monitored and, for this purpose, a series of models and in situ measurements have been performed. This study aims to point out the difficulties involved in understanding the in-site measured stress. A series of tests were conducted in Carrara, in an underground marble quarry site, focusing to study the complex tectonic environment in the area. A series of comparisons between 3D DEM numerical models has been performed in order to understand the influence of the presence of the main faults on the in situ state of stress. Some final comments regarding the variability of stress fields in faulted rock masses are provided. ARTICLE INFO
Programming by Demonstration Framework applied to Procedural Math Problems

K-12 mathematics includes many procedures to be learned, such as addition and subtraction, and there are many “buggy” or incorrect procedures that students demonstrate during this learning process. Learning such procedures (both correct and incorrect) from demonstration traces has various applications in computer-aided education. We formalize mathematical procedures as spreadsheet programs, involving loops and conditionals over a given set of base operators, and present a novel algorithm for synthesizing such procedures from demonstrations. Our algorithm is based on dynamic programming and leverages ideas from version-space algebras and template-based program synthesis. Our implementation efficiently synthesized programs to solve 20 common math procedures and reproduce 28 different kinds of bugs that were demonstrated by real students across 9 procedures. Our implementation significantly outperforms SKETCH, a state of the art program synthesizer, on these tasks. We also demonstrate the applicability of our generic program synthesis technology to spreadsheet table transformations, an important domain in end-user programming.
Integrated environmental modelling: achieving the vision

Abstract Integrated environmental modelling (IEM) is a recent phenomenon that offers the opportunity to solve complex environmental problems. Whilst it has made great strides in recent years, there are still challenges to be met before IEM is universally accepted and used. This paper describes the current state of IEM and sets out a roadmap for achieving its full potential. A multidisciplinary, multi-agency approach will be required, the main goals of which are to: (1) raise awareness and build confidence in IEM; (2) ensure availability and accessibility of IEM techniques, tools and standards; (3) establish a minimum set of standards; (4) build the IEM skills base; (5) establish an underpinning research and development (R&D) programme; (6) co-ordinate and promote collaboration; and (7) foster IEM use by government, industry and the public. Once these goals have been achieved, then IEM can be deployed to help resolve currently intractable environmental issues, and the IEM methodology can be transferred to other fields.
Importance of Lignin on the Properties of Binderless Particleboard Made From Oil Palm Trunk

This study investigated the influence of soda lignin extracts from oil palm on the binderless particleboard properties especially in against moisture. Characterization analysis of oil palm soda lignin, including carbon, hydrogen, nitrogen, sulphur elemental analysis, ash content, infrared spectra via fourier transform spectrometer, glass transition point, and thermal decomposition were conducted. Moisture resistant properties including thickness swelling, and dimensional changes with changes of relative humidity of binderless board with lignin add-on were investigated. Mechanical strength properties including modulus of rupture and internal bond strength were evaluated. Scanning electron microscopy image of specimens was inspected. Lignin was statistically significant influencing the properties of oil palm binderless particleboard. All specimens with lignin added showed better performances than control specimens that without lignin add-on. Binderless board with 5% lignin add-on showed the best result in moisture resistant properties and mechanical properties.
Deformitas Ligula Larva Tanypodinae sebagai Indikator Pencemaran Logam Berat di Danau Lido, Jawa Barat

As one group of Chironomidae Tanypodinae larvae can be used in biological assessment to detect the heavymetal pollution in aquatic environment, because they could show morphological changes due to the pollution. Thestudy was aimed to describe ligula deformities in Tanypodinae larvae in a heavy metal polluted lake. The study wasconducted in Mei to June 2014 at Lake Lido, West Java. The results showed that lead (Pb) concentration in LidoLake was quaite high, i.e. 0.08 0.19 mg/L. Ten of fifty-five collected Tanypodinae larve exhibited deformation in theirligulae. Index of severity of ligula deformation (ILSD) was 4.4 indicating the response of the Chironomidae larvae tolead pollution.
Potential of Sorghum as an Alternative to Corn Forage

Climate change, which is currently characterized by increased atmospheric CO2, rising temperature, and altered pattern of precipitation, is affecting agricultural productivity. Rising temperatures and shifting precipitation patterns will alter the ability to meet crop water requirements, water availability, crop productivity, and costs of water access across the agricultural landscape. Searching for alternative crops with lower water requirements increased yield or organic matter per unit of water are important for agricultural sustainability. Sorghum is one of the world’s important crops; a crop that is adapted to a variety of agronomic and environmental conditions, particularly to areas with low rainfall or limited access of irrigation water. Forage Sorghum is able to produce comparable yield to corn suggesting that there is a potential for Sorghum to replace corn in areas where water supply is limited. But, there is a cost since corn silage, because of its high grain content, which is typically superior in digestible energy content to Sorghum forages. There is also a lack of information on the feeding value of Sorghum silages in high producing dairy cows as well as strategies that may be used for sorghum silage to replace a portion of the corn silage in dairy cattle diets.
Simple and complex micelles in amphiphilic mixtures: A coarse-grained mean-field study

Binary mixtures of amphiphiles in solution can self-assemble into a wide range of structures when the two species individually form aggregates of different curvatures. In this paper, we focus on small, spherically symmetric aggregates in a solution of sphere-forming amphiphile mixed with a smaller amount of lamella-forming amphiphile. Using a coarse-grained mean-field model (self-consistent field theory, or SCFT), we scan the parameter space of this system and find a range of morphologies as the interaction strength, architecture, and mixing ratio of the amphiphiles are varied. When the two species are quite similar in architecture, or when only a small amount of lamella-former is added, we find simple spherical micelles with cores formed from a mixture of the hydrophobic blocks of the two amphiphiles. For more strongly mismatched amphiphiles and higher lamella-former concentrations, we instead find small vesicles and more complex micelles. In these latter structures, the lamella-forming species is encaps.
Diversity Results for DSTC-ICRec and DSTC Joint-user ML decoding

Author(s): Li, Liangbin; Jing, Yindi; Jafarkhani, Hamid | Abstract: In this technical report, we provide diversity analysis for two transmission schemes in (J;Ja;Ra;N) multi-access relay networks (MARNs), where J users, each equipped with Ja antennas, communicate to one N-antenna receiver through Ra single-antenna relays. Both transmission schemes allow all users' symbols to be transmitted concurrently through the source-relay and relay-receiver links. Therefore, both schemes have the potential of high transmission rate in multi-user relay networks. In the first scheme, called DSTC joint-user ML decoding, the relays perform distributed space-time coding (DSTC) to improve the reliability of the system, and the receiver jointly decodes all users' symbols using the ML decoding. Through rigorous analysis, this scheme achieves a symbol rate of 1/2 symbols/user/channel use, in conjunction to a diversity gain of Ra*min(Ja;N), which is the maximum diversity achievable in this network. But the decoding complexity of this scheme is exponential in the number of users. To reduce the decoding complexity, we consider a second scheme, DSTC-ICRec, in which the relay operations are the same, but the receiver first conducts interference cancellation (IC) to decouple multi-user signals, then decodes each user's symbols independently. We show analytically that in (2; 1; 2; N) and (2; 2;2;N) MARNs, DSTC-ICRec achieves a diversity of 1 and min(2;N-1), respectively, at a symbol rate of 1/2 symbols/user/channel use. Since the maximum achievable diversity gains in these two networks are 2 and 2*min(2;N), respectively, DSTC-ICRec has a lower diversity gain, compared to DSTC joint-user ML decoding, but its decoding complexity is much lower due to the IC.
Ekspektasi Kinerja Pembelajaran Online di Perguruan Tinggi Jakarta

This research calculates performance expectation of online learning system in Jakarta Undergraduate Universities. The main goal of the research is to calculate the difference of online learning system performance expectation between non experienced students and lecturers compared to the experienced students and lecturers. Data is gathered by using random sampling method, questionnaire, and analyzed in experimental research. Result of analysis shows that there is no significant difference of online learning system performance expectation between experienced and inexperienced users. It is can be concluded that online learning system still cannot be able to give a good performance expectation to users in Jakarta Undergraduate Universities. Furthermore education institution should make a better plan and evaluation to their online learning system. Index Terms — Expectation, Online, Performance, Learning
The interplay between self-construal, social support, and psychological adaptation of Indian immigrants’ in Greece

In the present study, the interplay between self-construal, social support and psychological adaptation of first generation Indian immigrants residing in Crete (N = 114) was examined. The first aim of the study was to analyze the association of self-construal with anxiety, depression, and self-esteem as indicators of psychological adaptation. It was hypothesized that Indian immigrants would maintain a more interdependent than independent self-construal and that Indians with high interdependent self-construal would receive more social support and have less adaptation problems compared to immigrants’ with a more independent self-construal. Furthermore, the second aim was to examine the relation of social support to self-construal, and psychological adaptation. It was hypothesized that interdependent self-construal would have positive effects on psychological adaptation through social support (mediation). A moderation effect was also hypothesized, in that social support was expected to act protectively for Indians with high interdependence, regarding psychological adaptation. The results verified some of the hypotheses but there were unexpected findings as well. Interdependence was not related to any indices of psychological adaptation, while a negative relationship was found between independent self-construal and self-esteem. Although, social support was not related either to self-construal or to adaptation, it acted as mediator in the relationship between interdependent self-construal and depression. Furthermore, a moderation effect was found on the relationship between independent self-construal and self-esteem. There are certain implications of these findings, regarding the impact of cultural values in counseling and the role of social support in immigrants’ psychological adaptation.
Genetic improvement in Landcorp lamb supreme terminal sire flocks.

Two genetically linked Landcorp Lamb Supreme terminal sire flocks were established through intense screening of Landcorp ewe hoggets on liveweight in 1989 and 1990. Subsequent selection of the progeny has been based on a Lean Growth Index using liveweight and ultrasound records. Data from 13,8 18 individuals born 1990 to 1995 inclusive, were analysed to estimate breeding values using an across-flock/sex/year multi-trait animal model. Mean breeding values by year of birth indicated that genetic trends were positive for all traits analysed. Relative to foundation animals, those born in 1995 had mean breeding values of +468 # (Lean Growth Index), +864 g (carcass lean weight), +lOl g (carcass fat weight), +l cm2 (longissimus area) and +2 kg (liveweight at 8 months of age).
Improved VGG Model for Road Traffic Sign Recognition

Road traffic sign recognition is an important task in intelligent transportation system. Convolutional neural networks (CNNs) have achieved a breakthrough in computer vision tasks and made great success in traffic sign classification. In this paper, it presents a road traffic sign recognition algorithm based on a convolutional neural network. In natural scenes, traffic signs are disturbed by factors such as illumination, occlusion, missing and deformation, and the accuracy of recognition decreases, this paper proposes a model called Improved VGG (IVGG) inspired by VGG model. The IVGG model includes 9 layers, compared with the original VGG model, it is added max-pooling operation and dropout operation after multiple convolutional layers, to catch the main features and save the training time. The paper proposes the method which adds dropout and Batch Normalization (BN) operations after each fully-connected layer, to further accelerate the model convergence, and then it can get better classification effect. It uses the German Traffic Sign Recognition Benchmark (GTSRB) dataset in the experiment. The IVGG model enhances the recognition rate of traffic signs and robustness by using the data augmentation and transfer learning, and the spent time is also reduced greatly.
Changes in an Idiolect from Childhood to Middle Age

Since the 1960s, sociolinguists have been investigating dialect change mainly by using the so-called apparent time method, which compares the spoken language of people from different age groups. In recent decades, researchers have begun to test the apparent time method by combining it with the real time method, which concentrates on the influence of time in the language of a certain speech community or certain individuals. When the samples under investigation are collected by using the same principles and represent the same community at different times, the study can be called a trend survey. A more laborious and rarer method is a longitudinal follow-up study of individual infonnants, a panel survey, which is usually realized as part of a more extensive trend survey.
Seat belt Use Intention among Brazilian Undergraduate Students Intención de Uso del Cinturón de Seguridad en Estudiantes Universitarios Brasileños Intenção de uso do cinto de segurança em estudantes universitários brasileiros

The objectives of this study were to explore selfreported seat belt use and group differences in different scenarios in a Brazilian sample and research the variables related to it. 120 college students answered a questionnaire with variables from the theory of planned behavior in order to evaluate the intention of seat belt use among car occupants. Results indicated that attitude and intention were the variables that most contributed to explaining seat belt use. Intention was highly correlated with seat belt use, and attitude was correlated with intention. Seat belt use was more frequent among drivers and taxi passengers, but not among front and rear seat passengers. The article discusses the implications of the findings for possible interventions to encourage the use of seat belts among drivers and passengers.
Researching the lives of Catholic teachers who were members of religious orders: historiographical considerations

Introduction When many of the parents of those currently attending Catholic schools throughout much of the English-speaking world were being educated, the Catholic teaching force was heavily influenced by the presence of the religious orders. Furthermore, this had been the situation for over a century. The turning point was the mid-1960s and the opening up of the Catholic Church (the Church) to the modern world as a result of the Second Vatican Council (1962–65). Amongst the related developments were large numbers leaving the orders, a major drop off in new recruits and a consequent need to employ ever-greater numbers of lay teachers. Consequently, young people being educated nowadays in Catholic schools are usually taught by lay teachers, the principals in their schools are lay men and women, and lay people predominate on their school boards. Equally, the presence of nuns, religious brothers and priests as teachers and administrators in the schools is minimal. The demise of the teachers who were members of religious orders (the teaching religious) has been accompanied by a fading of memory regarding their presence. There has been a flowering of hagiographic work on those who founded the orders and particularly on what Catholic historians in various parts of the English-speaking world have termed the ‘struggle’ for state aid. This work, however, has not been accompanied by a major corpus of serious scholarship on the social history of the lives of the ‘religious’. In other words, while religious historians have devoted considerable time to portraying the work of their members as heroic, as undertaken with saintly zeal and as a response to a divine call, secular historians have not been as active in examining the political, social and economic motivations underlying the actions of the religious teaching orders and in trying to understand how their members were socialized into opting for the religious way of life by a variety of institutions, including Catholic schools. This paper raises some historiographical issues regarding the development of the history of Catholic religious teachers, and particularly of their lives. The first part is aimed at locating the small body of research on the history of the lives of the teaching religious within the context of the more general field of the history of teachers. A brief account then follows highlighting a much neglected perspective, namely, that the growth of Catholic orders of teaching religious can be viewed as an outcome of political, social and economic action on the part of the institutional Church. The third part of the paper problematizes the
Implications of Ethiopian Productive Safety Net Programme on household dietary diversity and women’s body mass index: a cross-sectional study

Introduction Poor nutritional status of women remains a critical problem in Ethiopia. Nutrition for women matters not only for the public health relevance of breaking the intergenerational cycle of malnutrition but for its high return in other sectors such as education and health. The Ethiopian Productive Safety Net Programme (PSNP) is a program that protects chronically food-insecure households against food insecurity through cash or food transfer. However, its effect on food access and women’s body mass index (BMI) has remained unexplored. Objective This study was intended to assess differences in household dietary diversity (HDD) and women’s BMI and associated factors among PSNP and non-PSNP households. Methods This community-based cross-sectional study was carried out in the Kombolcha District of Eastern Ethiopia from July 1 to 28, 2015. HDD and women’s BMI were compared. Ordinal logistic regression was used to identify factors associated with women’s BMI. Result The prevalence of undernutrition was 27.3% (95% confidence interval [CI]: 23.8–30.9) and 20.2% (95% CI: 17.1–23.5) for women from PSNP and non-PSNP households, respectively. PSNP membership had a significant effect on HDD and minimal effect on women’s BMI. Ordinal logistic regression yielded significant associations for medium wealth status, with an odds ratio (OR) of 0.533 (95% CI: 0.339–0.837), uptake of better health care services compared to previous year with an odds ratio (OR) of 0.647 (95% CI: 0.429–0.974) and reduction in selling assets for the sake of buying food with an OR of 1.575 (95% CI: 1.057–2.349). Conclusion and recommendation There was high magnitude of chronic energy deficiency among PSNP and non-PSNP households, at 27.3 and 20.2%, respectively, and it was associated with economic status and health care utilization, suggesting the need to promote profitable income-generating activities and nudging for minimum health care as a condition for transfer.
The Accuracy of Public Polls in Provincial Elections

This study extends work on the accuracy of polls released in the final week of election campaigns in Canada, using data from the nine provincial elections held in Canada between 2011 and 2013 to identify what might affect the accuracy of those polls. Specifically, we attempt to empirically test two arguments - mainly that some methodologies are better than others in measuring voter preferences and that the nature of the election itself might make accurate forecasts more difficult. We find that absolute change in voter turnout was the strongest predictor of polling accuracy. In contrast, sample size, survey mode, or electoral volatility were statistically significant predictors of polling accuracy.
Iran Diabetes Research Roadmap (IDRR) Study; Mental Health in Diabetic Patients in Iran: A Review Article

Background: Diabetes has become a daunting health and medical challenge as well as a hefty economic burden for societies over the past decades. This study was designed to shed light on the overall trend of research across Iran regarding mental health status of diabetic patients. Method: Search process of the present study is part of search strategy of Iran Diabetes Research Roadmap (IDRR) study. We performed a thorough search about Iran diabetes research output in national (Iranmedex, Magiran, and SID) and international (Pubmed, ISI and Scopus) databases up to 2015. After removing duplicates, 426documents were remained and categorized by subject category, methodology, WHO classification and NHMRC criteria. Results: Most of obtained studies were concerned with quality of life, treatment, intervention, and behavioral disorders. Based on WHO categories, most studies revolved around epidemiology, causes and determinants of health-related outcomes. Methodological classification showed cross-sectional as the favored method of research. In the Australian classification system, most studies were clinical studies. The year 2010 and 2011 had the greatest spike during the study period. Conclusion: Overall trend in publication rate of papers related to the mental health is relatively growing. However, the lack of priority setting is obvious and there is a pressing need for more in-depth evaluations, prioritization of study type and interventional studies based on the needs of patients suffering from diabetes.