Miracle-dz/UniFAR-FTUs huggingface dataset:
FORWARD AND BACKWARD BLOCKING UNDER IMPLICIT LEARNING CONDITIONS

Several authors have suggested that there are close parallels between human causal induction and classical conditioning. This has prompted them to try to use models developed in the classical conditioning literature to account for empirical results in human causal induction. The evidence that the same mechanism gives rise to the phenomena described in the classical conditioning and human causal induction literatures is reviewed and found wanting. Specifically, it is argued that experiments on human causal induction have thus far been amenable to explicit reasoning processes, which might set them apart from conditioning experiments, as the latter might rely on implicit learning. Two phenomena that have been instrumental in the development of these two literatures are forward and backward blocking. An experiment designed to test these phenomena in humans, under controlled implicit learning conditions, is described and its results are discussed.
Model of a true random number generator aimed at cryptographic applications

The paper presents a simple stochastic model of a true random number generator, which extracts randomness from the tracking jitter of a phase-locked loop. The existence of such a model is a necessary condition in the security certification process. The proposed model can be used to test, in real time, the proper behavior of the generator and thus to guarantee its robustness against cryptographic attacks. The model is validated on real data, which have been obtained using Altera Stratix Nios and Altera Stratix DSP professional boards
Leisure defined by perceiving choice: perspectives of Ugandan women

ABSTRACT The purpose of this phenomenological study was to expand the predominantly ethnocentric definitions of leisure by exploring the meaning of leisure among women in the developing East African nation of Uganda. Semi-structured interviews were used to understand the perspectives of 38 Ugandan women, and main themes were developed from the data using the constant comparative method. Our analysis revealed the core variable of perceiving choice emerging from themes including fortifying, restoring, and enjoying. Ugandan women used leisure to enhance their sense of identity, improve their health, build relationships and network, enhance their professional skills, strengthen family and community, refresh from daily work, and enjoy life. While leisure was often co-occurring with emotional and physical labour, women considered activities to be leisure when they perceived participation was freely chosen. The findings challenge the dichotomous relationship between work and leisure.
Planarity Testing and Embedding

Roma Tre University 1.1 Properties and Characterizations of Planar Graphs . 2 Basic Definitions • Properties • Characterizations 1.2 Planarity Problems . 6 Constrained Planarity • Deletion and Partition Problems • Upward Planarity • Outerplanarity • Simultaneous Planarity • Clustered Planarity 1.3 History of Planarity Algorithms. 9 1.4 Common Algorithmic Techniques and Tools . 10 1.5 Cycle-Based Algorithms . 11 Adding Segments: The Auslander-Parter Algorithm • Adding Paths: The Hopcroft-Tarjan Algorithm • Adding Edges: The de Fraysseix-Ossona de Mendez-Rosenstiehl Algorithm 1.6 Vertex Addition Algorithms . 16 The Lempel-Even-Cederbaum Algorithm • The Shih-Hsu Algorithm • The Boyer-Myrvold Algorithm
The 17D-204 Vaccine Strain-Induced Protection against Virulent Yellow Fever Virus Is Mediated by Humoral Immunity and CD4+ but not CD8+ T Cells

A gold standard of antiviral vaccination has been the safe and effective live-attenuated 17D-based yellow fever virus (YFV) vaccines. Among more than 500 million vaccinees, only a handful of cases have been reported in which vaccinees developed a virulent wild type YFV infection. This efficacy is presumed to be the result of both neutralizing antibodies and a robust T cell response. However, the particular immune components required for protection against YFV have never been evaluated. An understanding of the immune mechanisms that underlie 17D-based vaccine efficacy is critical to the development of next-generation vaccines against flaviviruses and other pathogens. Here we have addressed this question for the first time using a murine model of disease. Similar to humans, vaccination elicited long-term protection against challenge, characterized by high neutralizing antibody titers and a robust T cell response that formed long-lived memory. Both CD4+ and CD8+ T cells were polyfunctional and cytolytic. Adoptive transfer of immune sera or CD4+ T cells provided partial protection against YFV, but complete protection was achieved by transfer of both immune sera and CD4+ T cells. Thus, robust CD4+ T cell activity may be a critical contributor to protective immunity elicited by highly effective live attenuated vaccines.
Space and Time in Perception and Action: The utility of visual motion for goal-directed reaching

Visual information is crucial for goal-directed reaching. Recently a number of studies have shown that motion in particular is an important source of information for the visuomotor system. For example, when reaching for a stationary object, nearby visual movement even when irrelevant to the object or task can influence the trajectory of the hand. Although it is clear that various kinds of visual motion can influence goal-directed reaching movements, it is less clear how or why they do so. In this chapter, we consider whether the influence of motion on reaching is unique compared to its influence on other forms of visually guided behavior. We also address how motion is coded by the visuomotor system and whether there is one motion processing system that underlies both perception and visually guided reaching. Ultimately, visual motion may operate on a number of levels, influencing goal-directed reaching through more than one mechanism, some of which may actually be beneficial for accurate behavior.
An Introduction to the 3rd Workshop on Egocentric (First-Person) Vision

Egocentric vision provides a unique perspective of the visual world that is inherently human-centric. Since egocentric cameras are mounted on the user (typically on the user's head), they are naturally primed to gather visual information from our everyday interactions, and can even act on that information in real-time (e.g. for a vision aid). We believe that this human-centric characteristic of egocentric vision can have a large impact on the way we approach central computer vision tasks such as visual detection, recognition, prediction, and socio-behavioral analysis. By taking advantage of the first-person point-of-view paradigm, there have been recent advances in areas such as personalized video summarization, understanding concepts of social saliency, activity analysis with inside-out cameras (a camera to capture eye gaze and an outward-looking camera), recognizing human interactions and modeling focus of attention. However, in many ways people are only beginning to understand the full potential (and limitations) of the first-person paradigm. In the 3rd workshop on Egocentric (First-Person) Vision, we bring together researchers to discuss emerging topics such as: Personalization of visual analysis; Socio-behavioral modeling; Understanding group dynamics and interactions; Egocentric video as big data; First-person vision for robotics; and Egographical User Interfaces (EUIs).
INCREMENTAL PARTIAL PARSER OF UNRESTRICTED NATURAL LANGUAGE SENTENCES

One of the current focuses of research within natural language processing is the partial and robust parsing of sentences written in natural language. Partial parsing could be used in diverse applications as data extraction, machine translation, dialogue systems, etc. His main attractiveness is that is able to handle unrestricted sentences, that contain lexical errors or that present constructions not accepted by the defined grammar. Partial parsing is an alternative to the definition of wide coverage grammars whose definition is an expensive and complex task and that present well-known problems such as overgeneration, undergeneration and ambiguity. In this paper, we present a partial parser of unrestricted natural language sentences APOLN (Analizador Parcial de Oraciones en Lenguaje Natural) which is based on finite-state machines. APOLN is an incremental parser that permits the compiling and inheritance of feature structures between levels of processing. We present the results of applying APOLN on an unrestricted Spanish corpus and we will use it in a speech dialogue system.
Energy Efficient Techniques for Resource Allocation in Cognitive Networks

The Cognitive Radio paradigm is aimed to optimize the utilization of licensed spectrum bands thanks to coexistence within the same network of licensed (primary) and cognitive (secondary) users. In this context, one of the most important key aspects is represented by an efficient resource allocation between secondary and primary users. Modeling it as an optimization problem, this paper provides a modified version of the well-known Iterated Water-Filling algorithm and a novel approach based on a game theory framework to solve this issue in a distributed and fair way. In particular, the proposed game is formulated as an S-Modular Game, since it provides useful tools for the definition of multi objective distributed algorithms in the context of radio communications. This paper provides also a performance comparison among the proposed solutions and the Simulated Annealing algorithm, that represents one of the most frequently used technique in this context.
Identification of Document Language is Not yet a Completely Solved Problem

Existing Language Identification (LID) approaches do reach 100% precision, in most common situations, when dealing with documents written in just one language, and when those documents are large enough. However, LID approaches do not provide a reliable solution for some situations: when there is need to discriminate the correct variant of the language used in a text, for example, European or Brazilian variants of Portuguese, UK or USA English variants, or any other language variants. Another hard context occur with small touristic advertisements on the web, addressing foreigners but using local language to name most local entities. In this paper, we present a fully statistics- based LID approach which learns the most discriminant information according to each context, and identifies the correct language or language variant a text is written in. This methodology is shown to be correct for normal texts and maintains its robustness in hard LID contexts.
Edge-Collapse Mesh Simplification Method Based on Gauss Curvature

Important visual features in current mesh simplification was easily lost, which thus often caused distortion of vision. In order to get simplified models with high fidelity, this paper proposes an improved edge-collapse mesh simplification algorithm by introducing Gauss curvature to QEM algorithm. The experimental results show that the approximations simplified by our algorithm maintain higher fidelity to the original model than QEM algorithm.
A Method of Suppressing Coherent Interference Based on Improved Nulling Technology

In the environment with coherent interferences, the common beam forming method has poor ability to suppress coherent interferences by estimating accurately the direction of arrival (DOA) of coherent signal and desired signal. The new anti-jamming technology based on multiple constrained least mean-square (MC-LMS) algorithm is proposed by the analysis of the coherent signal and the weighted vector two quadratic performance functions in the paper. The method uses MC-LMS algorithms calculates the weights for weighting the output of array signals, so the coherent interferences are suppressed by analyzing its spectrum. The algorithm has low computational complexity, high robustness and convergence. The results of simulation show that the coherent interference could be suppressed, the effectiveness of the proposed method are demonstrated with the complex electromagnetic environment.
Speech and language therapists’ perspectives of ICT use in aphasia rehabilitation

Background : The use of technology in aphasia rehabilitation is promoted as an e ﬃ cient route for the delivery of intensive speech and language therapy (Code & Petheram, 2011). Information Communications Technology (ICT) hardware has become more a ﬀ ordable and accessible, with a parallel proliferation of available therapeutic software in the forms of computer programmes and applications for smartphones and tablets. Research has begun to explore the views of people with aphasia (PwA) in relation to speci ﬁ c ICT-delivered therapeutic programmes in aphasia rehabilitation (Palmer, Enderby, & Paterson, 2013), but there is limited consideration of the prescriber views (i.e., speech and language therapists). Therapists consider a range of factors when making decisions about technology use in stroke rehabilitation (Chen & Bode, 2011). These factors come from three di ﬀ erent facets: patient, provider (i.e., health professional), and the larger context (i.e., health service). Theoretical frameworks of technology acceptance such as the Uni ﬁ ed Theory of Acceptance and Use of Technology may be useful when investigating factors that in ﬂ uence therapists ’ acceptance and employment of new technologies in rehabilitation (Liu et al., 2015). Aims : To explore speech and language therapists ’ views of ICT in aphasia rehabilitation. To identify factors that in ﬂ uence clinical decision-making when integrating ICT into aphasia rehabilitation. Methods and procedures : Speech and language therapists ( n = 15) were recruited from a range of clinical settings in the Republic of Ireland and invited to participate in one of four focus groups. Each group discussion was facilitated by an SLT researcher, data were audio recorded and transcribed. Analysis was completed independently by two researchers following Braun and Clarke ’ s six phases of thematic analysis (Braun & Clarke, 2006). After coding each transcript, the two researchers discussed the codes and emerging themes. Where discrepancies occurred, the codes and unit meanings were discussed and agreement was reached by consensus. The candidate themes were
Flicker-induced eye movements and the behavioural temporal cut-off frequency in a nocturnal spider

SUMMARY We investigated changes in the eye muscle activity in the spider Cupiennius salei as a response to temporal intensity modulations. These spiders are known to enhance eye muscle activity in their principal eyes when moving stimuli are detected in the secondary eyes. We measured the activity of the dorsal eye muscle using a small telemetric unit attached to the spiders' prosoma and confronted the animals to flicker stimuli presented on a cathode ray tube monitor. We registered a significant increase in eye muscle activity as response to temporal light intensity modulations, which implies that no directed motion is required to trigger the spiders' response. This allowed the determination of the behavioural temporal cut-off frequency. None of the frequencies higher than 8.6 cycles s–1 and all of the frequencies lower than 4.3 cycles s–1 elicited a significant increase in eye muscle activity. A behavioural cut-off frequency of only a few cycles per second is well in line with the temporal properties of the photoreceptor cells determined using intracellular recordings. A relatively low temporal resolution and a relatively high spatial resolution suit well C. salei's lifestyle as a nocturnal sit-and-wait hunter.
Compositional Verification of Higher-Order Masking: Application to a Verifying Masking Compiler

The prevailing approach for building masked algorithms that can resist higher-order differential power analysis is to develop gadgets, that is, masked gates used as atomic blocks, that securely implement basic operations from the original algorithm, and then to compose these gadgets, introducing refresh operations at strategic places to guarantee that the complete circuit is protected. These compositional principles are embedded in so-called masking transformations, which are used as heuristics to achieve secure composition. Unfortunately, these transformations are seldom proved secure rigorously, and in fact, sometimes yield algorithms that are not secure against higher-order attacks. In this paper, we define a notion of strong simulatability that naturally supports compositional principles. Although this notion is stronger than the notion of simulatability (or perfect simulation) from previous works, we show that it is satisfied by several gadgets from the literature, including the mask refreshing gadget from Duc, Dziembowski and Faust (Eurocrypt 2014), the secure multiplication gadget from Rivain and Prouff (CHES 2010) and the secure multiplication gadget between dependent inputs from Coron et al. (FSE 2013). Then, we exploit a tight connection between strong simulatability and probabilistic information flow policies to define a (fine-grained, incremental) type system that checks (strong) simulatability of algorithms. We use the type system to validate a novel and automated transformation that outputs masked algorithms at arbitrary orders. Finally, we measure the performance of masked algorithms of AES, Keccak-f, Simon, and Speck generated by our transformation. The results are encouraging: for AES, masking at order 5, 20, and 100 respectively incur slowdowns of 100x, 750x, and x1500 w.r. t. the unmasked implementation given as input to our tool.
Pilot-Aided Channel Estimation for WiMAX 802.16e Downlink Partial Usage of Subchannel System Using Least Squares Line Fitting

This paper presents a pilot-aided channel estimation method which is particularly suitable for mobile WiMAX 802.16e Downlink Partial Usage of Subchannel mode. Based on this mode, several commonly used channel estimation methods are studied and the method of least squares line fitting is proposed. As data of users are distributed onto permuted clusters of subcarriers in the transmitted OFDMA symbol, the proposed channel estimation method utilizes these advantages to provide better performance than conventional approaches while offering remarkably low complexity in practical implementation. Simulation results with different ITU-channels for mobile environments show that depending on situations, enhancement of 5dB or more in term of SNR can be achieved.
WEAMR — A Weighted Energy Aware Multipath Reliable Routing Mechanism for Hotline-Based WSNs

Reliable source to sink communication is the most important factor for an efficient routing protocol especially in domains of military, healthcare and disaster recovery applications. We present weighted energy aware multipath reliable routing (WEAMR), a novel energy aware multipath routing protocol which utilizes hotline-assisted routing to meet such requirements for mission critical applications. The protocol reduces the number of average hops from source to destination and provides unmatched reliability as compared to well known reactive ad hoc protocols i.e., AODV and AOMDV. Our protocol makes efficient use of network paths based on weighted cost calculation and intelligently selects the best possible paths for data transmissions. The path cost calculation considers end to end number of hops, latency and minimum energy node value in the path. In case of path failure path recalculation is done efficiently with minimum latency and control packets overhead. Our evaluation shows that our proposal provides better end-to-end delivery with less routing overhead and higher packet delivery success ratio compared to AODV and AOMDV. The use of multipath also increases overall life time of WSN network using optimum energy available paths between sender and receiver in WDNs.
Energy Management Considering Unknown Dynamics Based on Extremum Seeking Control and Particle Swarm Optimization

This brief studies an energy management (EM) problem with unknown dynamics of consumer appliances. A two-level optimization model is established between the utility company and the consumers. In this model, the utility company maximizes its profit by setting the electricity price, and the consumers respond to the price by regulating power usage to minimize their costs. The aforementioned process is performed in multiple stages. In each stage, the consumer response is formulated as a constrained optimization problem, which can be transformed into an unconstrained optimization problem using the penalty function method, and then an extremum seeking control (ESC) algorithm is developed to search for the quasi-optimal power consumption of the consumers. The ESC algorithm has noncontinuous first and second derivatives with respect to the variables. We propose an approximation method to make the ESC algorithm continuous and prove that the algorithm is semiglobally practically asymptotically (SPA) stable. After the consumer response in the same stage, the utility company updates the electricity price by the particle swarm optimization (PSO) algorithm. Then, we give an EM algorithm that integrates the ESC with PSO. In simulations, the algorithm is applied to achieve EM of heating, ventilation, and air conditioning (HVAC) systems, and the results show that the algorithm can converge to a neighborhood of the optimal solution and reduce the peak load and daily load.
PENGARUH GAYA KEPEMIMPINAN TRANSFORMASIONAL DAN BUDAYA ORGANISASI TERHADAP KINERJA KARYAWAN MELALUI KEPUASAN KERJA SEBAGAI VARIABEL INTERVENING (Studi pada PT The Univenus, Kragilan Serang Tahun 2018)

This study aims to determine the effect of effect of transformasional leadership style and ogranizational culture on employee performance through job satisfaction as intervening variable. Determination of samples used slovin formula and obtained a sample of 75 respondents using quantitative data analysis methods. From result of calculation of SPSS v.22, result of research with significance level of 0,05% obtained conclusion: (1) there is a positive and significant influence of transformasional leadership style to employee performance (2) there is a positive and significant influence of organizational culture toward employee performance (3) there is a positive and significant influence of transformasional leadership style to job satisfaction (4) there is a positive and significant influence of organizational culture on job satisfaction (5) there is positive and significant influence of job satisfaction toward employee performance obtained (6) the job satisfaction variable gives a not mediation but significant effect of transformasional leadership style to employee performance (7) the job satisfaction variable gives a not mediation but significant effect of the organizational culture to employee performance Keywords: Transformasional Leadership Style, Organizational Culture, Employee Performance, and Job Satisfaction