Miracle-dz/UniFAR-FTUs huggingface dataset:
A CONSTRAINT BASED APPROACH TO HUMAN COMPUTER INTERACTION

ORAL PRESENTATION 268 Automated cartography has tended to focus on the geometric at the expense of a holistic view which includes consideration of the over arching mechanisms by which a cartographic solution is reached. The use of computer technology has itself altered the methodology of design yet little effort has been spent on supporting the actual process of design something thatshciuld be creative and exploratory. TheJe is little that is endearing about machines that offer high functionality which empower the user to travel round in recursive circles in search cfa solution (and a way out! ). This paper looks at methods by which the user can feel more in control, can eXpioJe,and navigate among alternate designs, while still moving towards some acceptable solution. A constraint based system is proposed: one that views the problem from a user centered perspective, asking the questions: What objectives is the user trying to satisfy? , What decisions do we control which affect these objectives? What items dictate constraints on our range of choices? What decision provides us with the most satisfactory outcome with respect to the criteria we have established? Ideally the design of such systems should implicitly support the user's opportunistic sense-making efforts.
Expression pattern of CDK12 protein in gastric cancer and its positive correlation with CD8+ cell density and CCL12 expression

Background: The aims of this study were to investigate the expression pattern of CDK12 protein in gastric cancer, and to analyze the correlations of CDK12 expression between CD8+ cell density and CCL12 expression. Methods: Eighty-six paired tumor and non-tumor samples were collected from patients who underwent radical surgery and had pathological confirmed gastric adenocarcinoma. Immunohistochemistry was used to assess CDK12 expression and CD8+ cell density. Expression of CDK12 and CCL21 mRNA was detected by quantitative reverse transcription-polymerase chain reaction. Results: CDK12 expression in gastric tumor tissues was significantly higher than it in paired non-tumor tissues (P<0.001). High expression of CDK12 was identified in 43 cases (50%), and it was significantly correlated with Lauren's classification (diffuse type) and number of metastatic lymph nodes (≥15). High CDK12 protein level indicated a relative poorer overall survival than patients with CKD12 low expression, while it was not identified as an independent prognostic factor. Median number of CD8+ cells in tumor tissues was 51 (range: 0-292). Number of CD8+ cells was positively correlated with CDK12 expression score in tumor tissues (r=0.243, P=0.024). Positive correlation was also found between CDK12 and CCL21 mRNA expression (r=0.419, P=0.017). Conclusion: High CDK12 expression was detected in gastric cancer which was correlated with malignant phenotypes and worse outcome. Positive correlations of CD8+ cell number and CCL21 mRNA expression with CDK12 level were identified.
Neurotransmissão glutamatérgica e plasticidade sináptica : aspectos mo-leculares , clínicos e filogenéticos Glutamatergic neurotransmission and synaptic plasticity : molecular , clinical , and phylogenetic aspects

Communication between neurons is subject to constant changes, even in the adult brain. This ability of neural circuits to strengthen or weaken their specific synaptic interactions (a phenomenon known as synaptic plasticity) may occur according to different environmental demands, which favors the idea that dynamic changes in the communication between neurons underlie behavioral flexibility (i.e., learning and memory processes). In recent decades, advances in neuroscience has allowed a better understanding of synaptic plasticity, specially the plasticity of glutamatergic synapses, whose molecular processes of synaptic change appear to be among the most common throughout the central nervous system. Much of this progress in basic science has contributed to a better understanding of pathological processes involving the glutamatergic synapses, such as Alzheimer's disease. Furthermore, the growing understanding about the physiology of glutamatergic communication has helped explain how synapses, in general, would have originated and evolved in the phylogenetic scale of the Metazoa. This review attempts to address clinical aspects of glutamatergic neurotransmission, contextualizing such aspects with basic knowledge about synaptic plasticity and evolution of synapses.
Enhancement of Analytical OBR (Out of Band Radiation) and BER Calculation for Digital Au-dio-Video Broadcasting in Companded OFDM System using Non-Symmetric QAM/QPSK Tecniques

Companding transforms useful under assumption of infinite bandwidth. Under band limited conditions OBR parameter filters out. So bandwidth is a factor that decides the filter-ing out OBR on the performance of companded OFDM sys-tems. As a result filtering becomes essential under band lim-ited conditions in turn this does deteriorate the system per-formance significantly. In this paper method proposed to overcome the performance degradation. Method called non symmetric scheme based on the use of curve fitting method to find out a suitable polynomial to be used for decom-panding at the receiver. This method indeed improves the performance in comparison to existing symmetric methods when filtering is necessary for band limited conditions.
Anonymity and Pseudonymity in Data-Driven Science

Rapidly emerging technological improvements, e.g., in the area of data storage, computation performance, cloud computing and collaborative work supporting technologies, as well as new methods in statistical analysis, facilitate a new field of science we refer to as data-driven science. The general objectives of this specific area are to reason based upon empirical findings and evidence for assumptions by analyzing huge amounts of data that are nowadays familiar by the term “Big Data”. Big Data can be derived from several sources, e.g., the Web, research partners, volunteers or enterprises. In general, noncommercial research is meant to be released to the public, but often only the actual results of the analyzed data are presented and/or the data included in condensed or abstracted form in a way that it is impossible for the reader to repeat the evaluation for validation or personal learning effect. The peer review procedure should ensure quality of research, but without access to the underlying research data it is virtually impossible to perform this fundamental element of proper validation for the reviewer in the field of data-driven science. Especially in academic research the phrase “publish or perish” describes the pressure of scholars to publish new publications frequently, otherwise they will not be recognized in the academic field or by funding institutions. That leads to the assumption that without publishing the research data, at least for the review process, we leave open a hole for fraud and poor research. However, even if a policy would be enforced that the underlying research data has to be available for the public or maybe limited to reviewers, it would imply that sensitive or data subject to privacy polices is still made public, even though maybe only to a limited group. Once access to data has been provided, it cannot be withdrawn and the possibility is higher that the data can be exploited for malicious purpose. Likewise, in cooperative research the data has to be published at a need-to-know basis, adhering to privacy policies. Therefore, we provide an overview on the latest data anonymization and pseudonymization techniques that should prevent data disclosure and inference attacks.
Summary TOWARDS UNIVERSAL ACCESS : Scaling up Priority HIV / AIDS Interventions in the Health Sector Progress Report

The end of 2007 marks an important step in the history of the HIV epidemic. According to the WHO, UNAIDS and UNICEF report Towards Universal Access: Scaling up Priority HIV/AIDS Interventions in the Health Sector, nearly a million more people (950,000) were receiving treatment with antiretroviral therapy (ART) in lowand middle-income countries by year’s end, bringing the total number of recipients to close to 3 million—a more than seven-fold increase over four years.
Synchronization and Transient Stability in Multi-machine Power System Through Edge Control Using TCSC

Present paper proposes a method to provide necessary series compensation by formulating transient stability problem as a synchronization problem providing an edge control to keep the line flows within permissible limits. With the aim to satisfy relative rotor angle criteria in addition to line flow control having multiple constraints on a set of state variables as well as on control variables makes it necessary to call for an efficient optimization tool. Knowing the strengths and effectiveness of convex optimization we propose application of the same in finding necessary series compensation using TCSC to address this multidimensional problem in remarkably shortest possible time which facilitates on-line synchronization. In doing so, post fault conditions are mapped to pre-fault healthy conditions so as to guarantee stable and secure power flow even after credible line contingency without shedding any load (i.e. maintaining demand supply balance), which if not followed may lead to cascade tripping.
Image processing technique for hydraulic application

In this paper, we present techniques Surface Flow Image Velocimetry (SFIV) that is a practical extension of Particle Image Velocimetry method (PIV). In particular, this technique is to evaluate the behavior on the surface flow for complex flow. SFIV allows to measure complex surface velocity fields for engineering applications. The objective of this work was the application of the SFIV technique to determine the velocity fields and their hydraulic efficiency of grated inlet, making a comparison between the programs able to correlate images like Digiflow or PIVlab program.
Teachers’ Participation in Decision Making for Sustainable Development: A Case of Rivers State Secondary Schools

This study was carried out to determine teachers’ participation in decision making for sustainable development in Rivers States Secondary Schools. To get information for the study, a two part questionnaire Tagged teachers’ participation in Decision-making (TPDMQ) was constructed. This was distributed to four hundred and fifty (450) randomly selected teachers in Rivers State Secondary Schools. The completed questionnaire were analyzed and scored according to the Likert-type measurement. Their mean responses were calculated and tabulated as well as their correlation coefficient of relationship ‘r’. To test for the significance of the Null hypothesis, the t-test statistics were used at probability level of 0.05 significance. Findings among others revealed that teachers’ level of participation in decision- making processes has been very low and this affects the management of secondary schools negatively. Conclusion and recommendations were made based on findings made.
Hardened Dildo.io: A Cryptographically Secure, Usable Matchmaking Service

The website Dildo.io [1] has been used by many MIT students over the last few months as a matchmaking service restricted to students at MIT. However, such a service may have a key security flaw: all the information is centralized, and some central server(s) have access to everyone’s preferences. We wanted to set up a cryptographically secure matchmaking service in which no central server has access to anyone’s preferences, and we wanted to make it difficult for any client or the central server to learn about preferences. In addition, many solutions to secure matchmaking involve incredibly complex protocols, so we set out to make our system as easy to use as possible. 1 Motivation In the 21 century, online matchmaking services have become extremely popular in America. From Tinder to Match.com to OkCupid, dozens of services have popped up. However, in each of these services, a centrally controlled server stores information about the matches of its users. Data breaches, like the one that hit AshleyMadison in mid 2015[9], can reveal everyone’s private match and preference information to external parties. Thus, there is certainly place in the world for cryptographically secure matchmaking. The fundamental motivation for our project was to create a system in which no central server has access to information about individuals’ preferences. We modeled our service after Dildo.io (shown in Figure 1), a popular service started by an East Campus resident in 2016. It is an intra-MIT matchmaking service; in particular, it restricts the set of users to all undergraduate students at MIT and has approximately one thousand users [5]. To mimic this sort of user base, we constructed our system to heavily use MIT’s Athena, and Athena’s Shared File System known as AFS; because all users who have accounts on Athena can access certain shared resources through AFS, we used this as a base in order to ensure that public keys were accessible and data storage was persistent. Fundamentally, our goals for inter-user security are as follows:
Simulation and Modeling of Integrated Hall Sensor Devices

In this paper the reviews of 3D simulation procedure and modelling of Hall sensor realized in standard high-voltage CMOS technologies are given. The complete manufacturing process flow and electrical characteristics of cross-shaped Hall sensor, vertical Hall sensor and MAGFET are simulated by using Silvaco and ISE TCAD software package tools. In addition, the efficient electrical models of these devices are derived and successfully implemented in circuit simulator SPICE.
Running head: ANXIETY, INTEROCEPTION, AND EMOTION CONCEPTUALIZATION 1 Know Yourself: Effects of Interoception and Emotion Conceptualization on Anxiety University of North Carolina at Chapel Hill Spring 2016 Acknowledgements

Anxiety is a major cause of distress for many Americans. Much could be gained from understanding the fundamental processes that cause this maladaptive state. According to a psychological constructionist perspective, anxiety may arise when people perceive and make meaning of their internal physical sensations as an instance of threat. As part of a separate experiment involving stress induction, we collected self-report data intended to measure interoceptive sensibility, emotion conceptualization and differentiation, and anxiety. Participants completed the Trier Social Stress Test (TSST) in order to induce higher physiological arousal and state anxiety. I hypothesized that interoceptive sensibility, emotion conceptualization, and emotion differentiation would serve as a buffer against anxiety resulting from the TSST. I argued, however, that after a certain point the relationship between interoceptive sensibility and anxiety would shift to positive, demonstrating a curvilinear relationship between interoceptive sensibility and anxiety. A negative relationship was found between interoceptive sensibility and trait anxiety. Alexithymia, measured as lack of emotion conceptualization, was positively correlated with trait anxiety. These findings both add to and challenge the current literature on contributing and mitigating factors underlying anxiety.
The role of convective available potential energy for tropical cyclone intensification

The research project will focus on the investigation of the relevance of convective available potential energy (CAPE) for tropical cyclone intensification. Numerical model simulations will be conducted and analysed to reveal whether CAPE exists during the intensification phase, how it is distributed, and the particular role it may play for the evolution dynamics. According to the WISHE theory for tropical cyclogenesis (WISHE=Wind Induced Surface Heat Exchange), the existence of CAPE is not required in the intensification process. However, this theory only leads to a conclusive result, if the net latent heating in the outer region of a tropical cyclone vanishes due to the assumption of low relative humidity. Such an assumption is not necessary when CAPE can be stored in the inflow boundary layer. The 3dimensional cloud resolving model CM1 (Bryan and Fritsch 2002) will be applied for the study. The research is based on the hypothesis that CAPE contributes to an increase in the intensification rate.
Technology foresight on cognition and robotics

This technology foresight project was motivated by the significant resources recently invested, both nationally and internationally, in the development of increasingly advanced and complex robots. There is a need to examine the perspectives, possibilities and consequences of development and utilisation of advances in robotics. The goal of the foresight project is to formulate a robust and broadly accepted foundation that can be used to identify opportunities for innovation associated with the development of robot technology that seem particular promising for Demark within a time frame of ten years
Performance Comparison of Different Speed Estimation Techniques in Sensorless Vector Controlled Induction Motor Drives

Field-oriented control and direct torque control are fast becoming necessities of modern industrial setups for induction motor drive control. Induction motors are considered as the beginning part to create any electrical drive system to be subsequently utilized for several industrial requirements. So now a day due to its high application the need to control the performance of the induction motor is gaining importance. In modern control system, IM is analyzed by different mathematical models mainly depending on its applications. Vector control method is suitably applied to induction machine in 3-phase symmetrical or in 2-phase unsymmetrical version. For vector control IM is realized as DC motor having its characteristics. This dissertation work is aimed to give a detailed idea about the speed control and variations in an induction motor through vector control technique thereby showing its advantage over the conventional scalar method of speed control. It also focusses on the speed estimation techniques for sensorless closed loop speed control of an IM relying on the direct field-oriented control technique. The study is completed through simulations with use of MATLAB/Simulink block sets allowing overall representation of the whole control system arrangement of the Induction motor. The performance of different sensorless schemes and comparison between them on several parameters like at low speed, high speed etc. is also provided emphasizing its advantages and disadvantages. The analysis has been carried out on the results obtained by simulations, where secondary effects introduced by the hardware implementations have not been considered. The simulations and the evaluations of different control techniques are executed using parameters of a 50 HP, 60 Hz induction motor which is fed by an inverter.
EFFECT OF FIRE ON SOIL PHYSICAL AND BIOLOGICAL CHARACTERISTICS IN NORTHERN FORESTS OF IRAN

This study was performed to investigate fire effects on some soil physical characteristics and biological characteristics in Northern forests of Iran. The soil physical characteristics included soil moisture and soil particles. The biologic characteristics included leaf litter moisture and depth, forest ground cover and fallen trees. For this purpose, 70 samples of soil and leaf litter were collected in the burned and unburned areas. The sampling method was based on randomselecting method. The soil moisture and leaf litter moisture of samples were obtained by weighing the humid and dry samples in Soil Science Laboratory. Soil particles size was measured by hydrometer method in Soil Science Laboratory. For data analysis, the mean comparison test of two statistical societies was used because data include two groups (burned area and unburned area). Thus, Independent-Sample T test was applied to investigate the significant difference of soil and biologic characteristics in the burned and unburned areas. Results showed that there was a significant relation between mean of soil moisture, clay, silt and sand percent, leaf litter moisture, leaf litter depth and ground cover in the burned and unburned areas; while there was not a significant relation between fallen trees in the burned and unburned areas in this study.
Seamless Interaction Across Roles

The SAVIOR system demonstrates a virtual desktop environment that partitions applications and data into isolated Roles for security, which run in separate virtual machines in the cloud. SAVIOR addresses two usability issues with such an architecture: management of and interaction with applications scattered across VMs in the cloud, and secure information sharing across Roles. First, its custom Desktop application unifies presentation and interaction across Roles and provides a user experience almost like running the applications locally. The Desktop also provides a single interface for starting and stopping installed applications. Second, SAVIOR allows sharing data across Roles with familiar clipboard operations and file sharing with single sign-on to standard file servers, as permitted by the administrator. For security, user credentials are never shared with applications themselves or even the VMs they reside in.
MOSFET Modeling Aimed at Minimizing EMI in Switched DC/DC Converters Using Active Gate Control

This thesis deals with electromagnetic interference that can arise from switched DC/DC-converters intended for low-power applications, e.g. within the telecom or automotive industry. It analyzes measures and methods that can be applied when a reduction of EMI directly at the source without using any additional means such as shielding and filtering is desired. By investigating the physical properties of the two most important ingoing components, the diode and the MOSFET, an improved MOSFET model and a new gate voltage control method is proposed. This method is referred to as active gate control with a operating principle where a controller circuit shapes the desired output to a sinusoidal trajectory during the entire switching event. By doing this, it is shown that the harmonic content in the output signal can be reduced. The proposed MOSFET model is used as a base for extracting suitable controller parameters with the help of a linearized state-space system. Two different outputs were selected and investigated, either the drain-source voltage or the drain current. The general conclusion from simulations and measurements are that active gate control where the drain current is selected as the controlled quantity has good potential for reducing the harmonics and the emitted electromagnetic disturbance in a switched DC/DC converter even though it sets high demands on the controller circuit. The analysis shows that a controller with static parameters derived on basis of the proposed MOSFET model is not sufficient due to the complexity of the system which includes many nonlinearities and varying parameters. In order to obtain better transitions that are valid over a wider range of operating points, adaptive control needs to be implemented. Simulations shows that by carefully selecting the controller parameters based on the proposed MOSFET model and adapting the parameters to the current operating point an improvement in performance and robustness can be achieved.