Miracle-dz/UniFAR-FTUs huggingface dataset:
Brain Response to Aversive Taste for Investigating Taste Preference

To clarify the intrinsic food preference mechanism, we investigated brain neurophysiological responses to unpleasant gustatory stimuli using electroencephalogram (EEG) and near-infrared hemoencepalogram (NIR-HEG) simultaneously. A conventional delayed response task based on Go/Nogo paradigm was adopted to extract real brain response components from spontaneous background signals. We found excessive evoked EEG potential responses to both bitter and sour stimuli, while we didn’t find excessive changes in purified water condition. These potentials appeared before P3, hence, they potentially predicted unconscious attention to the gustatory stimuli. We also identified a late contingent negative variation (CNV) and corresponding P3 for sour stimulus. In addition, NIR-HEG responses showed relative changes for every stimulus and we considered that these NIR-HEG signal changes were attributed to the prefrontal cortex activity for regulating negative emotional valence against aversive tastes typically including sour and bitter. In spite of limitation to timing accuracy of taste presentations, the early markers found in this study could be fundamentals for investigating individual food preference.
Identidade social e autoestima de travestis, homens e mulheres trans e transgêneros : a influência do apoio social

A presente dissertacao de mestrado e composta por quatro estudos, sendo dois de carater teorico e dois que possuem abordagem analitico-quantitativa com o objetivo de investigar a identidade social e a autoestima de travestis e homens e mulheres trans, bem como saber a influencia e o papel da rede de apoio social, constituida pela familia, pelos relacionamentos amorosos e pela comunidade LGBT, na constituicao destas. Os estudos 1 e 2 teorizaram sobre como se dao esses fenomenos psi em trangeneros, sendo aquele uma revisao sobre identidade social e apoio social e o segundo, uma revisao sistematica da literatura sobre autoestima com esta parcela populacional. Evidenciou-se a importância do apoio social para o bom desenvolvimento e boa formacao da autoestima e da identidade social em pessoas trans. O estudo 3 adaptou e investigou evidencias de validade e fidedignidade da Escala de Necessidade de Identificacao Social (nID), oferecendo uma medida confiavel e valida na mensuracao do construto da identidade social. Por fim, no estudo 4, explorou-se as variaveis supracitadas e suas correlacoes em pessoas trans por meio de um questionario online que incluia escalas: do Questionario de Identidade corporal, do Questionario Juventude Brasileira, a nID, validada no estudo 3, da ESSS e a de Satisfacao conjugal GRIMS. Foram 203 participantes de todas as regioes do pais sendo que 34,8% travestis e mulheres trans. Verificou-se que quanto maior o apoio familiar maior a autoestima, assim como o fato de estar em hormonoterapia, maior a idade e a satisfacao com o suporte social, previram uma identificacao social maior por parte dos participantes para com os grupos de pertenca de identidade e expressao de genero. Aponta-se para a necessidade de acolhimento dos modos de existencia de transgeneros pela sociedade.
Rivaling the World's Smallest Reptiles: Discovery of Miniaturized and Microendemic New Species of Leaf Chameleons (Brookesia) from Northern Madagascar

Background One clade of Malagasy leaf chameleons, the Brookesia minima group, is known to contain species that rank among the smallest amniotes in the world. We report on a previously unrecognized radiation of these miniaturized lizards comprising four new species described herein. Methodology/Principal Findings The newly discovered species appear to be restricted to single, mostly karstic, localities in extreme northern Madagascar: Brookesia confidens sp. n. from Ankarana, B. desperata sp. n. from Forêt d'Ambre, B. micra sp. n. from the islet Nosy Hara, and B. tristis sp. n. from Montagne des Français. Molecular phylogenetic analyses based on one mitochondrial and two nuclear genes of all nominal species in the B. minima group congruently support that the four new species, together with B. tuberculata from Montagne d'Ambre in northern Madagascar, form a strongly supported clade. This suggests that these species have diversified in geographical proximity in this small area. All species of the B. minima group, including the four newly described ones, are characterized by very deep genetic divergences of 18–32% in the ND2 gene and >6% in the 16S rRNA gene. Despite superficial similarities among all species of this group, their status as separate evolutionary lineages is also supported by moderate to strong differences in external morphology, and by clear differences in hemipenis structure. Conclusion/Significance The newly discovered dwarf chameleon species represent striking cases of miniaturization and microendemism and suggest the possibility of a range size-body size relationship in Malagasy reptiles. The newly described Brookesia micra reaches a maximum snout-vent length in males of 16 mm, and its total length in both sexes is less than 30 mm, ranking it among the smallest amniote vertebrates in the world. With a distribution limited to a very small islet, this species may represent an extreme case of island dwarfism.
Autofunk, a fast and scalable framework for building formal models from production systems

This paper proposes a model inference framework for production systems distributed over multiple devices exchanging thousands of events. Building models for such systems and keeping them up to date is time consuming and expensive, thus not adequately taken care of. Our framework, called Autofunk and designed with the collaboration of our industrial partner Michelin, combines formal model-driven engineering and expert systems to infer formal models that can be used to perform analyses, e.g. test case generation, or help diagnose faults in production by highlighting faulty behaviours. Given a large set of production events, we infer exact models that only capture the functional behaviours of a system under analysis. In this paper, we introduce and evaluate our framework on a real Michelin manufacturing system, showing that it can be used in practice.
Stealth DoS Attacks on Secure Channels

We initiate study of the use of ‘secure tunnel’ protocols, specifically IPsec, and its availability and performance guarantees to higher-layer protocols, in particular TCP, against Denial/Degradation of Service (DoS) attacks. IPsec is designed to provide privacy and authentication against MITM attackers, and employs an anti-replay mechanism to ensure performance. For our analysis, we define a new family of adversaries, the stealth denial and degradation of service (DoS) adversaries. These adversaries are weaker than the classical MITM adversary, and may be of interest in other works. We analyse their ability to launch (DoS) attacks on secure channels, and show realistic amplification attacks, disrupting TCP communication over secure VPNs using IPsec. In particular, we show that antireplay mechanism is critical for performance by launching a DoS attack on communication over IPsec without antireplay window. We present attacks exploiting insufficient IPsec anti-replay window size, and show how to calculate correct window size. Finally we present attacks on IPsec with correctly adjusted anti-replay window size thus showing that even large anti-replay window does not ensure performance to TCP flows. We then suggest a fix to TCP in IPsec gateway designed to prevent the above attacks, and to provide secure channel immune to degradation and other DoS attacks. Our solution involves changes (only) to the sending gateway machines running IPsec. In addition to their practical importance, our results also raise the challenge of formally defining secure channels immune to DoS and degradation attacks, and providing provably-secure implementations. ∗Amir.Herzberg@gmail.com †Haya.Shulman@gmail.com
A Framework for 2D Model-Based Pose Estimation

This paper introduces the concept of the tangent-image plane for solving 2D model based pose estimation, which allows 2D model based pose estimation from coplanar features to be handled in a unified way. The tangent-image is defined as the tangent plane of a unit sphere and the plane for imaging, and thus 2D model based pose estimation is reduced to finding the tangent-image plane that parallels to the model plane of coplanar features. The solution can be obtained by affine iteration. A new Perspective-n-Point (PnP) algorithm from coplanar points is derived based on the concept of the tangent-image plane. Simulations are carried out to verify the effectiveness of the proposed algorithm.
Parallel Consensus on Likelihoods and Priors for Networked Nonlinear Filtering

A novel consensus approach to networked nonlinear filtering is introduced. The proposed approach is based on the idea of carrying out in parallel a consensus on likelihoods and a consensus on prior probability distributions and then combine the outcomes with a suitable weighting factor. Simulation experiments concerning a target tracking case-study show that the proposed consensus-based nonlinear filter can be convenient when only a few consensus iterations per sampling interval can be afforded.
A study on Modeling of Dependency between Configuration Parameters and Overall Energy Consumption in Wireless Sensor Network (WSN)

In this paper, we study a new approach to model the overall Energy Consumption (EC) in Wireless Sensor Networks (WSN). First, we extract parameters involving in the EC of WSNs. The dependency between configuration parameters and the average residual energy of a specific application is then investigated. Our approach has three key steps: profiling, parameter reduction, and modeling. In profiling, a sensor network simulator is re-run 800 times with different values of the configuration parameters in order to profile the average residual energy in nodes. In the parameter reduction, three statistical analyses (p-value, linear and non-linear correlation) are applied to the outcome of profiled experiments in order to separate the effective parameters on WSN residual energy. Finally, linear regression is used to model the relation between the chosen effective parameters and the residual energy. The evaluation based on running the simulator for another 200 times with different values of the effective parameters shows that the model can predict the residual energy of nodes in WSN with average error of less than 13%.
Communicating Environmental and Ethical Performance: A Longitudinal Analysis of Annual Reports from 1998–2009

Along with the publics’ increased demand for businesses to operate responsibly, more and more companies proactively publish their CSR-related principles and activities. A growing body of research is dedicated to the analysis of patterns in self-reported CSR performances; these studies use annual reports as a proxy for the social or environmental activities of the companies. Integrating qualitative and quantitative approaches, the aims of this paper are twofold: First, on the basis of content analysis, we examine categories of CSR-related communication that are in a second step used in a longitudinal perspective spanning twelve years, to compare how CSR motives and activities have changed over time.
Money in Monetary Policy Design: A Formal Characterization of ECB-Style Cross-Checking

The European Central Bank has assigned a special role to money in its two pillar strategy and has received much criticism for this decision. The case against including money in the central bank's interest rate rule is based on a standard model of the monetary transmission process that underlies many contributions to research on monetary policy in the last two decades. In this paper, we develop a justification for including money in the interest rate rule by allowing for imperfect knowledge regarding unobservables such as potential output and equilibrium interest rates. We formulate a novel characterization of ECB-style monetary cross-checking and show that it can generate substantial stabilization benefits in the event of persistent policy misperceptions regarding potential output.
The Development and Validation of the Couple and Relationship Education Attitudes Index: Results from Two Studies

ABSTRACT As relationship educators work to reach more participants for their programs, they often face challenges with recruitment and retention. The theory of planned behavior, along with research, posits that attitudes are often predictive of behavior, and that attitudes toward education and help-seeking can be varied by unique contexts. This paper reports on the development and validation of an index that measures attitudes toward couple relationship education (CRE). The two scales within this index (benefits of CRE & CRE is not a good fit) assess how comfortable individuals are with CRE. The results from two studies support the validation of the index and show how CRE attitudes are linked to relational factors and a measure of intentions to attend CRE, using the scales within the index. Implications for researchers and practitioners are discussed.
Design and simulation wimax networks 802.16d and 802.16e in Sleman

Worldwide Interoperability for Microwave Access (WiMAX) is a wireless broadband access technology that is widely used. WiMAX has a wide coverage and can be used in non-line-of-sight conditions so appropriate for rural areas. This paper shows the design of WiMAX network in Sleman using IEEE standard 802.16d/e and performed simulations use OPNET. Distribution of the user based on the population density of each district. Test of video services in IEEE 802.16d show poor quality in delay, and troughput 56 Mbps. Tests on voice services show poor quality in delay, and good-quality jitter. Tests on the http service are very good quality of delay (under 150 ms), and moderate packet loss. Testing for video services in the IEEE 802.16e show poor quality of delay. Tests on voice services are poor quality of delay, and good quality jitter. Tests on the http service generally very good quality on delay and troughput.
Comparison of shunt connected tapping concepts in HVDC transmission systems

In this paper two tapping topologies will be compared in terms of efficiency and utilization of the installed semiconductors. Both topologies consist of a shunt connected two stage concept with a resonant DC/DC converter, followed by a medium power inverter on the low voltage side to supply an AC grid.
Using Graphic Organizers to Improve the Writing Skill of IX Grade Students of SMPN 9 Yogyakarta in the Academic Year of 2014/2015

The objective of this study was to improve the writing skill of IX grade students of SMPN 9 Yogyakarta in the academic year of 2014/2015 through graphic organizers. This study was action research that was conducted in two cycles. Cycle one of the research consisted of three meetings, and cycle two of the research consisted of two meetings. The subjects of the study were 33 students of IX B class of SMPN 9 Yogyakarta in the academic year of 2014/2015. The data in this research were qualitative data and were also supported by quantitative data. The qualitative data were gained through observations and interviews. The data were in the form of vignettes and interview transcripts. Meanwhile, the quantitative data were gained through writing tests. This study used five kinds of validity, namely democratic validity, outcome validity, process validity, catalytic validity, and outcome validity, while to fulfil the reliability the researcher used investigator triangulation and theoretical triangulation. The steps of the study were planning, implementations/actions, observations, and reflections. The finding of this study was that the use of graphic organizers improved the writing skill of IX grade students of SMPN 9 Yogyakarta. The research showed that there was improvement on students writing skill in five aspects of writing, namely content, organization, vocabulary, language use, and mechanics of writing after the implementation of graphic organizer that was supported by other actions. Moreover, the students’ improvement also can be seen from students’ mean scores which increased from 62.88 in pre-test into 74.21 in post-test cycle 2. In addition, the use of graphic organizers was also able to improve students’ motivation in writing.
INDIGENOUS KNOWLEDGE AND MANAGEMENT OF YAM (DIOSCOREA CAYENENSIS ?DIOSCOREA ROTUNDATA COMPLEX) PESTS AND DISEASES IN NORTHERN BENIN

Yam (Dioscorea spp.)production in Northern Benin is severely affected by pests and diseases resulting in poor yields and cultivars diversity loss in spite of the importanceof thiscommodity.In order to develop efficient integrated pestsand diseases management approaches, twenty seven (27) villages of the yam production zone of northern Benin were surveyed using participatory research appraisal to document farmers’indigenous knowledge, and traditional management practices of yam pests and diseases. Results indicated that farmers have good knowledge of the yam pests and diseases that were even reported as the third most important production constraints in the study area. Among the pests and diseases nematodes, termites, mealybugs and wilt diseases were the most signaled. Farmers surveyed have traditional methods for mealybugs but nothing for the other pests and diseases apart from the use of resistant/tolerant cultivars. An undetermined disease locally called Ban was reported as expanding at alarming rate throughout villages and yam fields seriously affecting the food quality of the tubers. Urgent intervention zones were identified with multivariate analysis and recommended to the national protection service. The sensitization of the yam producers of the necessity of treating both soil and tuber seeds before planting, the development and the use of pests and diseases tolerant cultivars were proposed as management strategies. Also, the extension of the study to other yam producing regions of the country for identifying more cultivars tolerant to pests and diseases was recommended.
Towards an Internalization of the Groupoid Model of Type Theory

Homotopical interpretations of Martin-Löf type theory lead toward an interpretation of equality as a richer, more extensional notion. Extensional or axiomatic presentations of the theory with principles based on such models do not yet fully benefit from the power of dependent type theory, that is its computational character. Reconciling intensional type theory with this richer notion of equality requires to move to higher-dimensional structures where equality reasoning is explicit. In this paper, we follow this idea and develop an internalization of a groupoid interpretation of Martin-Löf type theory with one universe respecting the invariance by isomorphism principle. Our formal development relies crucially on ad-hoc polymorphism to overload notions of equality and on a conservative extension of Coq’s universe mechanism with polymorphism.
The association between family structures and depressive symptoms among children

English The aim of this study was to examine whether family structures affected children’s depressed mood when time spent with parents was controlled as a covariate variable. It was also examined whether different family structures had an effect on depressed mood and whether it varied by gender. A random sample of 2075 participants was drawn from the populationwide cross-sectional data from the 2015 “Youth in Iceland” study. The participants were students in 5th, 6th and 7th grade. The results showed gender difference, with boys having lower depressed mood than girls, irrespective of family structure. The results indicate that those who live in a single parent household show a more depressed mood than those who live in intact families and shared physical household. There were a significant main effects between family structure and depressed mood when controlling for time spent with parents.
Concurrent Validity of the Cognitive Assessment of Minnesota in Older Adults with and without Depressive Symptoms

Cognitive impairment represents a common mental health problem in community-dwelling and institutionalized older adults, and the prevalence increases with age. Multidisciplinary teams are often asked to assess cognitive and functional impairment in this population. The Cognitive Assessment of Minnesota was created by occupational therapists for this purpose and is frequently used, but has not been extensively validated. This study examined the performance of the CAM and compared it to the MMSE with 113 outpatient clinic patients over the age of 60. Subgroups were established based on scores on a depression inventory to determine if the presence of depressed mood altered the relationship between the measures. Both measures demonstrated good internal consistency. The overall correlation between the two measures was high, statistically significant and remained high regardless of depression status. We offer recommendations about the utility of each measure in screening cognitive functioning for older adults.
Real-Time Improvement of Continuous Glucose Monitoring Accuracy

OBJECTIVE Reliability of continuous glucose monitoring (CGM) sensors is key in several applications. In this work we demonstrate that real-time algorithms can render CGM sensors smarter by reducing their uncertainty and inaccuracy and improving their ability to alert for hypo- and hyperglycemic events. RESEARCH DESIGN AND METHODS The smart CGM (sCGM) sensor concept consists of a commercial CGM sensor whose output enters three software modules, able to work in real time, for denoising, enhancement, and prediction. These three software modules were recently presented in the CGM literature, and here we apply them to the Dexcom SEVEN Plus continuous glucose monitor. We assessed the performance of the sCGM on data collected in two trials, each containing 12 patients with type 1 diabetes. RESULTS The denoising module improves the smoothness of the CGM time series by an average of ∼57%, the enhancement module reduces the mean absolute relative difference from 15.1 to 10.3%, increases by 12.6% the pairs of values falling in the A-zone of the Clarke error grid, and finally, the prediction module forecasts hypo- and hyperglycemic events an average of 14 min ahead of time. CONCLUSIONS We have introduced and implemented the sCGM sensor concept. Analysis of data from 24 patients demonstrates that incorporation of suitable real-time signal processing algorithms for denoising, enhancement, and prediction can significantly improve the performance of CGM applications. This can be of great clinical impact for hypo- and hyperglycemic alert generation as well in artificial pancreas devices.
Resource allocation for OFDMA amplify-forward relay system

This paper studies the resource allocation for orthogonal frequency division multiple access (OFDMA) relay system with a single source node, multiple relay nodes and multiple destination nodes. Joint subcarrier allocation and relay selection problem with different Quality of Service (QoS) requirements on destination nodes is transformed to the maximum weight matching problem in a bipartite graph. The Kuhn-Munkres algorithm can be used to find the optimal solution, but it has high complexity. Therefore, a low complexity suboptimal algorithm is proposed. When adding fairness constraint on relay nodes, we also propose a suboptimal algorithm. Simulation results show the proposed algorithms achieve near the optimal performance with low complexity.