Miracle-dz/UniFAR-FTUs huggingface dataset:
Appetitive aggression and adaptation to a violent environment among youth offenders

Previous research has demonstrated that those who perpetrate violence and report aggression to be appetitive are less vulnerable to developing posttraumatic stress disorder (PTSD). The current study examined the hypothesis that, among youth offenders living in a high-violence community, an attraction to violence is associated with improved psychosocial functioning and less concern about future threats. A sample of 69 male youth offenders living in two high-violence communities in Cape Town, South Africa, completed measures of trauma exposure, PTSD symptoms, appetitive aggression, reactive aggression, psychosocial functioning, and concerns about future threats. Higher PTSD symptoms predicted lower psychosocial functioning as well as more concern about future threats. However, participants high in appetitive aggression showed better functioning and fewer concerns about future threat. By contrast, reactive aggression was a significant predictor of reduced functioning and increased concerns about threat. These findings suggest that, for youth offenders living in contexts of ongoing violence exposure, appetitive aggression may serve a psychologically self-protective function. Implications for interventions with youth offenders living in high-violence communities are considered.
CustomConsole: A Framework for Supporting Cross-device Videogames

Nowadays it is increasingly common to own multiple devices such as laptops, smartphones or tablets. Distributed User Interfaces (DUS) leverage the simultaneous use of various devices to interact with different applications. However, no previous work has studied the use of DUS for videogames. Videogames are one of the largest industry but have requirements different from those of regular applications. CustomConsole is a framework to interconnect multiple devices and create custom gaming systems. CustomConsole games define different roles; each role has associated inputs and outputs: pointing or buttons are inputs whereas views or listeners are outputs. Players can select their role and distribute the associated inputs and outputs across the available devices. We present an initial design of the framework and a use case of a CustomConsole game.
Diagnosis and step by step systematic management of cleft anomalies underlining the importance of an early referral and non-surgical interceptive treatment modalities: A review

Cleft lip and cleft palate are two of the most frequently recorded birth defects in the world. It may occur as an isolated condition or it may be associated with other developmental birth defects. Either way, cleft related deformities are completely treatable and the children born with such conditions can lead a normal healthy life following its correction. The aim of this article is to communicate a systematic time bound treatment algorithm underlining the importance of the various adjuvant interceptive non-surgical modalities.
Design and analysis of a resonant inverter fed from a Cûk converter for the conversion of alternative energy directly into commercial supply efficiently

Power crisis in the world has compelled mankind to think for alternative energy. But all the alternative sources have not yet been exploited. From many ongoing researches, it reveals that if all the alternative energy sources are exploited, the energy crisis of the world would be reduced to a great extent. Many alternative energy technologies today are well developed and they are reliable and cost competitive with the conventional fuel generators. There are many alternative sources of energy such as biomass, wind, solar, minihydro and tidal power. The most important advantage offered by alternative energy sources is their potential to provide sustainable electricity in areas not served by the conventional power grid. Most of the alternative energy technologies produce DC power, and hence power electronics and control equipment are required to convert the DC power into AC power. Industry professionals are now opening their minds to alternate energy sources that can deliver quality power at reduced life-cycle costs in a variety of applications. Alternate energy sources generate power independently of the electrical grid. These sources can operate in stand-alone mode or they can be interconnected directly to the grid. With the use of power electronics, the alternative energy may be directly converted into commercial supply effectively in a cost effective way.
MAGALI: A Network-on-Chip based multi-core system-on-chip for MIMO 4G SDR

Chips for digital baseband processing have long been based on simple fixed pipeline structures connecting processing elements. The emergence of complex multi-modes applications like 3GPP-LTE, Software Defined Radio or Cognitive Radio leads to fast handover need between Telecommunication protocols. On one hand, to fulfill these new requirements, more flexible architectures are required. On the other hand, such applications demand more computing performance, and thus power consumption is a concern. In this paper, we present a new chip dedicated to baseband processing. Based on an asynchronous Network-on-Chip and 23 processing units, it delivers 37 GOPS of peak performance. A dynamic reconfiguration management is deployed on the chip for fast handover between modes, with less than 50 µs of full reconfiguration. The asynchronous Network-on-Chip used to communicate allows a complete frequency decoupling between the units. A distributed power management strategy leads to less than 500 mW power consumption in typical use.
Investigation of Spontaneous Speech Characterization Applied to Speaker Role Recognition

Extracting information from large data is a challenging task. In this paper, we investigate the link between speech spontaneity levels and speaker roles, and the relevance to use an automatic spontaneous speech characterization as a speaker role identification feature. Applying this automatic spontaneous speech characterization system to a broadcast news corpus containing ten manually labeled speaker roles allowed us to highlight this relationship. So, we propose to directly apply the spontaneous speech characterization approach in order to automatically recognize speaker roles. Experimental results show that characteristics used to detect speech spontaneity could be very useful to recognize speaker roles, as we reached an overall classification precision of 74.4%.
Notes and note pairs in Nørgård's infinity series

The Danish composer Per Nørgård (born July 13, 1932) defined the “infinity series” by the rules , for , and for ; it figures prominently in many of his compositions. Here we give several new results about this sequence: first, the set of binary representations of the positions of each note forms a context-free language that is not regular; second, a complete characterization of exactly which note pairs appear; third, consecutive occurrences of identical phrases are widely separated. We also consider to what extent the infinity series is unique.
Theorizing Development of Parasocial Engagement

The article proposes a theoretical model of the development of parasocial relationships (PSRs) building on Knapp’s model of relationship development. Through synthesis of research across disciplines, the model conceptualizes the relational goals and parasocial interactions (PSIs) specific to the PSR. The model identifies variables that predict engagement at that level, describes the stage’s outcomes/effects, and considers the utility of existing measures to assess these stages. The conceptualization of PSRs as a dynamic process rather than intensity of a monolithic experience offers new directions worthy of empirical examination.
Teacher Talk: The Use of L1 vs. L2 in the Classroom

Teacher talk is one of the aspects in second language acquisition in which the teacher talk functioned as the input for the learners. Besides providing input for the learners, teacher talk provides interaction in the classroom. The teacher talk in this study aims to discover the overall approach of the English lecturers to use Bahasa Indonesia (L1) and English (L2) in the classroom. The data of the study was gathered from the questionnaires and interview. The participants of the research were the lecturers of Language Training Center, Universitas Muhammadiyah Yogyakarta. The result findings show that the use of L2 is still dominant for each category in the discourse assessed through the questionnaires.
Using Poisson processes to model lattice cellular networks

An almost ubiquitous assumption made in the stochastic-analytic approach to study of the quality of user-service in cellular networks is Poisson distribution of base stations, often completed by some specific assumption regarding the distribution of the fading (e.g. Rayleigh). The former (Poisson) assumption is usually (vaguely) justified in the context of cellular networks, by various irregularities in the real placement of base stations, which ideally should form a lattice (e.g. hexagonal) pattern. In the first part of this paper we provide a different and rigorous argument justifying the Poisson assumption under sufficiently strong lognormal shadowing observed in the network, in the evaluation of a natural class of the typical-user service-characteristics (including path-loss, interference, signal-to-interference ratio, spectral efficiency). Namely, we present a Poisson-convergence result for a broad range of stationary (including lattice) networks subject to log-normal shadowing of increasing variance. We show also for the Poisson model that the distribution of all these typical-user service characteristics does not depend on the particular form of the additional fading distribution. Our approach involves a mapping of 2D network model to 1D image of it “perceived” by the typical user. For this image we prove our Poisson convergence result and the invariance of the Poisson limit with respect to the distribution of the additional shadowing or fading. Moreover, in the second part of the paper we present some new results for Poisson model allowing one to calculate the distribution function of the SINR in its whole domain. We use them to study and optimize the mean energy efficiency in cellular networks.
Density estimation for out-of-range events on personal mobile devices

Over the years, personal mobile devices have obtained increasing capabilities to concurrently connect to surrounding networks and nearby other devices. Good knowledge on the dynamics in the availability of these heterogeneous entities constitutes essential input for various data communication problems, ranging from the adaptation of applications on mobile devices to multi-homed situations, to the optimization of routing protocols for delay tolerant networks. In this paper, we focus on a method for the prediction in time of the loss in visibility of currently in-range network entities, as observed on a personal mobile device. We are interested in estimating the full probability density function of the time of these out-of-range events, as this allows us to ask arbitrary questions such as: what is the probability of losing connection X in the next Y minutes? To do so, we model the mobility of the user by applying kernel density estimation on previously observed mobility traces collected during a user experiment we ran with 12 participants in a six week period, logging cellular, 802.11 wireless LAN, Bluetooth, and various other events on the participant's mobile device.
Perceptions and Attitudes: Analyzing Opinion Leaders in Relation to Genetically Modified Foods

Controversial issues in agriculture arise, and it falls on opinion leaders to disseminate information to their networks and the public. Agriculturalists are often blamed for not taken consumers’ concerns into consideration. This study sought to add to previous research by identifying the current perceptions of Florida agricultural leaders toward GM food, what percentage of them identify as opinion leaders with respect to GM food, and what they identify as sources of information regarding GM food. Through an online survey, the trust and attitudes towards GM foods and science, of agricultural leaders who participated in the Wedgworth Leadership Institute, were measured as well as their sources and channels of information. By identifying opinion leaders and helping them understand how to create and disseminate effective agricultural messages, agricultural educators and communicators can reach consumers and reduce the current knowledge gap more successfully. The results of this study confirm previous literature which states that both “what one knows” and “who one knows” impacts the level of influence an opinion leader may have with their peers. Agricultural educators should work with both agricultural opinion leaders and communicators to identify current consumer perceptions and how to address any differences or concerns that arise in interactions.
LBMP: A Logarithm-Barrier-Based Multipath Protocol for Internet Traffic Management

Traffic management is the adaptation of source rates and routing to efficiently utilize network resources. Recently, the complicated interactions between different Internet traffic management modules have been elegantly modeled by distributed primal-dual utility maximization, which sheds new light for developing effective management protocols. For single-path routing with given routes, the dual is a strictly concave network optimization problem. Unfortunately, the general form of multipath utility optimization is not strictly concave, making its solution quite unstable. Decomposition-based techniques like TRaffic-management Using Multipath Protocol (TRUMP) alleviates the instability, but their convergence is not guaranteed, nor is their optimality. They are also inflexible in differentiating the control at different links. In this paper, we address the above issues through a novel logarithm-barrier-based approach. Our approach jointly considers user utility and routing/congestion control. It translates the multipath utility maximization into a sequence of unconstrained optimization problems, with infinite logarithm barriers being deployed at the constraint boundary. We demonstrate that setting up barriers is much simpler than choosing traditional cost functions and, more importantly, it makes optimal solution achievable. We further demonstrate a distributed implementation, together with the design of a practical Logarithm Barrier-based-Multipath Protocol (LBMP). We evaluate the performance of LBMP through both numerical analysis and packet-level simulations. The results show that LBMP achieves high throughput and fast convergence over diverse representative network topologies. Such performance is comparable to TRUMP, and is often better. Moreover, LBMP is flexible in differentiating the control at different links, and its optimality and convergence are theoretically guaranteed.
VERSION Plateau Potentials in Developing Antennal-Lobe Neurons of the Moth , Manduca sexta .

Using whole-cell recordings from antennal-lobe (AL) neurons in vitro and in situ, in semi-intact brain preparations, we have examined membrane properties that contribute to electrical activity exhibited by developing neurons in primary olfactory centers of the brain of the sphinx moth, Manduca sexta. This activity is characterized by prolonged periods of membrane depolarization that resemble plateau potentials. The presence of plateau-potential-generating mechanisms was confirmed using a series of tests established by Russell and Hartline (1982). Brief depolarizing current pulses could be used to trigger a plateau state. Once triggered, plateau potentials could be terminated by brief pulses of hyperpolarizing current. Both triggering and terminating of firing states were threshold phenomena, and both conditions resulted in all-or-none responses. Rebound excitation from prolonged hyperpolarizing pulses could also be used to generate plateau potentials in some cells. These neurons were found to express a hyperpolarization-activated inward current. Neither the generation nor the maintenance of plateau potentials was affected by removal of Na ions from the extracellular medium or by blockade of Na currents with TTX. However, blocking of Ca currents with Cd (5x10M) inhibited the generation of plateau potentials, indicating that in Manduca AL neurons plateau potentials depend on Ca. Examining Ca currents in isolation revealed that activation of these currents occurs in the absence of experimentally applied depolarizing stimuli. Our results suggest that this activity underlies the generation of plateau potentials and characteristic bursts of electrical activity in developing AL neurons of M. sexta.
Urban Spatial Structure and Motorization in China

Using data from 161 Chinese cities, this paper investigates the effects of various dimensions of urban spatial structure on the ownership and commute mode split of automobile. Results confirm the positive effects of city size on auto ownership and mode split and the negative effect of density on auto ownership. Echoing a small number of studies, this research discovers the seemingly counterintuitive effect of jobs‐housing balance on the use of automobiles, probably due to the potential advantage of public transit relative to driving in dense and congested Chinese cities. Cities should emphasize public transit and maintain density in the future.
Energetic Bottlenecks and Other Design Constraints in Avian Annual Cycles1

Abstract The flexible phenotypes of birds and mammals often appear to represent adjustments to alleviate some energetic bottleneck or another. By increasing the size of the organs involved in digestion and assimilation of nutrients (gut and liver), an individual bird can increase its ability to process nutrients, for example to quickly store fuel for onward flight. Similarly, an increase in the exercise organs (pectoral muscles and heart) enables a bird to increase its metabolic power for sustained flight or for thermoregulation. Reflecting the stationary cost of organ maintenance, changes in the size of any part of the “metabolic machinery” will be reflected in Basal Metabolic Rate (BMR) unless changes in metabolic intensity also occur. Energetic bottlenecks appear to be set by the marginal value of organ size increases relative to particular peak requirements (including safety factors). These points are elaborated using the studies on long-distance migrating shorebirds, especially red knots Calidris canutus. Red knots encounter energy expenditure levels similar to experimentally determined ceiling levels of ca. 5 times BMR in other birds and mammals, both during the breeding season on High Arctic tundra (probably mainly a function of costs of thermoregulation) and during winter in temperate coastal wetlands (a function of the high costs of processing mollusks, prey poor in nutrients but rich in shell material and salt water). During migration, red knots phenotypically alternate between a “fueling [life-cycle] stage” and a “flight stage. ” Fueling red knots in tropical areas may encounter heat load problems whilst still on the ground, but high flight altitudes during migratory flights seem to take care of overheating and unacceptably high rates of evaporative water loss. The allocation principles for the flexible phenotypes of red knots and other birds, the costs of their organ flexibility and the ways in which they “organize” all the fast phenotypic changes, are yet to be discovered.
Acetylcholine Receptors in Innervated Muscles of Dystrophicmdx Mice Degrade as after Denervation

Acetylcholine receptors (AChRs) are present at the top of the postsynaptic membrane of the neuromuscular junction (NMJ) at very high density, possibly anchored to cytoskeletal elements. The present study investigated whether AChR degradation is affected in animals lacking dystrophin, a protein that is an integral part of the cytoskeletal complex and is missing in Duchenne muscular dystrophy. The animal model for Duchenne muscular dystrophy, the mutant mdx mouse, was used to determine whether disruption of the cytoskeleton, caused by the absence of dystrophin, affects AChR degradation. Of the two populations of junctional AChRs, Rs (expressed in innervated adult muscles) and Rr (expressed in embryonic or denervated muscles), only Rs are affected in mdx animals. In innervatedmdx soleus, diaphragm, and sternomastoid muscles, the AChRs have an accelerated degradation rate (t1/2 of ∼3–5 d), similar to that acquired by Rs in control muscles after denervation. The Rs inmdx NMJs do not accelerate further when the muscles are denervated. The absence of dystrophin does not affect the degradation rate of the Rr AChRs (t1/2 of 1 d), which are expressed after denervation in mdx as in control muscles. These results suggest that dystrophin or an intact cytoskeletal complex may be required for neuronal stabilization of Rs receptors at the adult neuromuscular junctions.
Proposta de Middleware Para Meta-Escalonamento em Ambientes Multi-Cluster

1 Introdução p. 10 1.1 Justificativa . p. 11 1.2 Objetivos . p. 13 1.2.1 Objetivo Geral . p. 13 1.2.2 Objetivos Específicos . p. 13 1.3 Estrutura do Trabalho . p. 13 2 Sistemas Distribuídos p. 14 2.1 Computação Distribuída . p. 14 2.2 Configurações Distribuídas . p. 15 2.2.1 Meta-Computador . p. 15 2.2.2 Clusters Computacionais . p. 17 2.2.3 Grids Computacionais . p. 19 2.2.3.1 Multi-Cluster . p. 20 2.3 Ambientes Paralelos . p. 22 2.3.1 PVM Parallel Virtual Machine . p. 22 2.3.2 MPI Message Passing Interface . p. 23 2.3.2.1 MPICH2 . p. 24 2.3.2.2 OpenMPI . p. 24 2.3.3 MOSIX . p. 26 2.3.4 Comparação . p. 27 2.3.5 Desempenho . p. 28 3 Gerenciamento de Recursos p. 31 3.1 Oracle Grid Engine . p. 31 3.2 LSF Load Sharing Facility . p. 34 3.3 Condor High-Throughpout Computing System . p. 35 3.4 Torque Resource Manager . p. 36 3.5 Meta-Escalonamento . p. 38 3.5. 1 CSF Community Scheduler Framework . p. 38 4 Proposta p. 40 4.1 Descrição do Ambiente Proposto . p. 40 4.2 Componentes . p. 41 4.3 Aspectos Relativos à Implementação . p. 42
Vocal interaction in collocated cooperative design

Using vocal interfaces in complex applications leads to more intuitive interactions. At the University of Technology of Compiègne, we have built a collaborative environment from a large graphics table, interactive board and peripheral devices for supporting preliminary cooperative design. The environment support unique multimodal interaction through intelligent personal assistant agents and this paper details the architecture and implementation of their vocal interfaces, as well as the multi-agent middleware, using two different multi-agent platforms.
Toward a Methodology for Unified Verification of Hardware / Software Co-designs

Critical and private applications of smart and connected objects such as health-related objects are now common, thus raising the need to design these objects with strong security guarantees. Many recent works offer practical hardware-assisted security solutions that take advantage of a tight cooperation between hardware and software to provide system-level security guarantees. Formally and consistently proving the efficiency of these solutions raises challenges since software and hardware verifications approaches generally rely on different representations. The paper first sketches an ideal security verification solution naturally handling both hardware and software components. Next, it proposes an evaluation of formal verification methods that have already been proposed for mixed hardware/software systems, with regards to the ideal method. At last, the paper presents a conceptual approach to this ideal method relying on ProVerif, and applies this approach to a remote attestation system (SMART).