Miracle-dz/UniFAR-FTUs huggingface dataset:
Pristop za prilagajanje procesa razvoja programske opreme

Povzetek. V prispevku obravnavamo pristop za prilagajanje procesa razvoja programske opreme potrebam konkretnih projektov, ki se izvajajo v podjetjih za razvoj programske opreme. Predlagan pristop je bistveno preprostejši od dosedanjih pristopov, ki jih opredeljuje področje konstruiranja metodologij. V okviru predstavitve pristopa opredelimo odločitvena pravila, ki usmerjajo postopke izbire ustreznih elementov procesa in same postopke za gradnjo prilagojenih različic procesa, ki je bil v podjetje že prej uveden.
Cassandra: Towards a Certifying App Store

Modern mobile devices store an abundance of information. However, users do not yet obtain satisfactory support for controlling what applications do with their personal data. In this article, we propose Cassandra, a tool that allows users to verify Android apps against their security needs before installation. Cassandra implements the core functionality of a conventional app store, augmented with the possibility to verify user-defined security policies. Cassandra’s security analysis is fully automatically performed on a server. The analysis results are communicated to a mobile device using the proof-carrying code paradigm.
Market Efficiency and Diversification: An Experiential Approach Using the Wall Street Journal's Dartboard Portfolio

The concepts of market efficiency and portfolio diversification are easy to understand, but it is difficult for some to comprehend the relation of risk and return. A good way to teach these concepts uses the Wall Street Journal's dartboard contest, where dart throws and professionals pick only four stocks per period. Undergraduate students can use the contest to form portfolios; calculate returns, wealth changes, and risk measures; and compare results to unmanaged indexes over time. Doctoral students can use the contest to estimate a market model to calculate abnormal returns and announcement effects, and adjust for time series issues. Dart picks beat the pros over the 1990-2001 period on both on a cumulative wealth and risk-adjusted basis. Neither dart nor pro picks beat the S&P 500 or the DJIA on a raw return basis, and both fall well behind on a risk-adjusted basis. Analysis like this can enhance student understanding of the basic issues in market efficiency, diversification, and portfolio theory.
How Does Your Cortex Grow?

Understanding human cortical maturation is a central goal for developmental neuroscience. Significant advances toward this goal have come from two recent strands of in vivo structural magnetic resonance imaging research: (1) longitudinal study designs have revealed that factors such as sex, cognitive ability, and disease are often better related to variations in the tempo of anatomical change than to variations in anatomy at any one time point; (2) largely cross-sectional applications of new surface-based morphometry (SBM) methods have shown how the traditional focus on cortical volume (CV) can obscure information about the two evolutionarily and genetically distinct determinants of CV: cortical thickness (CT) and surface area (SA). Here, by combining these two strategies for the first time and applying SBM in >1250 longitudinally acquired brain scans from 647 healthy individuals aged 3–30 years, we deconstruct cortical development to reveal that distinct trajectories of anatomical change are hidden within, and give rise to, a curvilinear pattern of CV maturation. Developmental changes in CV emerge through the sexually dimorphic and age-dependent interaction of changes in CT and SA. Moreover, SA change itself actually reflects complex interactions between brain size-related changes in exposed cortical convex hull area, and changes in the degree of cortical gyrification, which again vary by age and sex. Knowing of these developmental dissociations, and further specifying their timing and sex-biases, provides potent new research targets for basic and clinical neuroscience.
Circadian and wakefulness-sleep modulation of cognition in humans

Cognitive and affective processes vary over the course of the 24 h day. Time of day dependent changes in human cognition are modulated by an internal circadian timekeeping system with a near-24 h period. The human circadian timekeeping system interacts with sleep-wakefulness regulatory processes to modulate brain arousal, neurocognitive and affective function. Brain arousal is regulated by ascending brain stem, basal forebrain (BF) and hypothalamic arousal systems and inhibition or disruption of these systems reduces brain arousal, impairs cognition, and promotes sleep. The internal circadian timekeeping system modulates cognition and affective function by projections from the master circadian clock, located in the hypothalamic suprachiasmatic nuclei (SCN), to arousal and sleep systems and via clock gene oscillations in brain tissues. Understanding the basic principles of circadian and wakefulness-sleep physiology can help to recognize how the circadian system modulates human cognition and influences learning, memory and emotion. Developmental changes in sleep and circadian processes and circadian misalignment in circadian rhythm sleep disorders have important implications for learning, memory and emotion. Overall, when wakefulness occurs at appropriate internal biological times, circadian clockwork benefits human cognitive and emotion function throughout the lifespan. Yet, when wakefulness occurs at inappropriate biological times because of environmental pressures (e.g., early school start times, long work hours that include work at night, shift work, jet lag) or because of circadian rhythm sleep disorders, the resulting misalignment between circadian and wakefulness-sleep physiology leads to impaired cognitive performance, learning, emotion, and safety.
“Reflective of my best work”: Promoting inquiry-based learning in a hybrid graduate history course

Abstract This article discusses authentic inquiry-based learning in a hybrid graduate course, Teaching Hidden History, taught in 2015 and 2016. Students in this course created online history learning modules based on their own scholarly research. They defined their intended audience and crafted modules tailored specifically for those learners. The authors draw on course assignments, student modules, interviews, and focus group data to present a model of how inquiry-based learning can be scaffolded to promote the benefits of student-centered inquiry – namely the intrinsic motivation associated with the creation of authentic projects and practical skill acquisition.
Analysis and Recognition of Pitch Accent Patterns

This study proposes a framework of automatic analysis and recognition of pitch accent patterns. In the first place we present the results of analyses which aimed at identification of acoustic cues signaling prominent syllables and different pitch accent types distinguished at the surface-phonological level. The resulting representation provides a framework of analysis of pitch accent patterns at the acoustic-phonetic level. The representation is compact it consists of 13 acoustic features, has low redundancy – the features can not be derived from one another and wide coverage – it encodes distinctions between perceptually different utterances. Next, we train statistical models to automatically determine pitch accent patterns of utterances using the acoustic-phonetic representation. The efficiency of the best models consists in achieving high accuracy (above 80% on average) using small acoustic feature vectors.
FTUAM 06-6 IFT-UAM / CSIC-06-24 MPP-2006-49 Phenomenology of symmetry breaking from extra dimensions

Motivated by the electroweak hierarchy problem, we consider theories with two extra dimensions in which the four-dimensional scalar fields are components of gauge boson in full space. We explore the Nielsen-Olesen instability for SU(N) on a torus, in the presence of a stationary background with constant field strenght. A field theory approach is developed, computing explicitly the minimum of the complete effective potential, including tri-linear and quartic couplings and determining the symmetries of the stable vacua. We also develop appropriate gauge-fixing terms when both Kaluza-Klein and Landau levels are present and interacting, discussing the interplay between the possible six and four dimensional choices. The equivalence between coordinate dependent and constant Scherk-Schwarz boundary conditions -associated to continuous and/or discrete Wilson linesis analyzed.
European Work Time Regulation, Surplus-Value and Underemployment among Full-Time Employees: A Cross-Sectional Analysis using the 2009 EU LFS

This paper investigates surplus-value rates and work time patterns among fulltime workers in five European Union economies - France, Germany, Italy, Spain and the UK - using macroeconomic EUROSTAT data and individual-level data extracted from the 2009 Labour Force Survey. This is considered in terms of the constituent drivers of the rate of surplus-value, in particular working hours. France and the UK are of most interest in terms of work time regulation because of the exceptional nature of their relationship to the European Working Time Directive, 1993 (WTD). The UK is characterised by absolute surplus-value production, whereas we can partially attribute low levels of surplus-value in France to fewer working hours. While this signals some success for workers, evidence indicates the WTD may also have had repercussions for income levels and the family. In the French case reductions in hours may have also depressed real wages (somewhat counteracting the effect of reduced hours in producing low levels of surplus-value), causing underemployment for some, particularly in the 'technicians and associate professionals' and 'all other occupations' categories.
Neurogliaform and Ivy Cells: A Major Family of nNOS Expressing GABAergic Neurons

Neurogliaform and Ivy cells are members of an abundant family of neuronal nitric oxide synthase (nNOS) expressing GABAergic interneurons found in diverse brain regions. These cells have a defining dense local axonal plexus, and display unique synaptic properties including a biphasic postsynaptic response with both a slow GABAA component and a GABAB component following even a single action potential. The type of transmission displayed by these cells has been termed “volume transmission,” distinct from both tonic and classical synaptic transmission. Electrical connections are also notable in that, unlike other GABAergic cell types, neurogliaform family cells will form gap junctions not only with other neurogliaform cells, but also with non-neurogliaform family GABAergic cells. In this review, we focus on neurogliaform and Ivy cells throughout the hippocampal formation, where recent studies highlight their role in feedforward inhibition, uncover their ability to display a phenomenon called persistent firing, and reveal their modulation by opioids. The unique properties of this family of cells, their abundance, rich connectivity, and modulation by clinically relevant drugs make them an attractive target for future studies in vivo during different behavioral and pharmacological conditions.
Neural circuits mediating visual flight control in flies. I. Quantitative comparison of neural and behavioral response characteristics

The motion-sensitive horizontal cells in the lobula plate of the fly are assumed to play a key role in the sensory control of yaw torque generated by the flying animal during course-stabilization maneuvers and the fixation of objects. This inference results from comparisons of electrophysiological data obtained from blowflies (Calliphora erythrocephala) and behavioral data obtained mainly from houseflies (Musca domestica) and fruitflies (Drosophila melanogaster). Apart from few exceptions, the compatibility of these physiological and behavioral data has not been critically tested. In the present study, the responses of the equatorial horizontal cell HSE of Calliphora and the yaw torque responses of Calliphora and Musca were recorded under identical visual stimulation with moving periodic gratings. The goal of the experiments was to obtain electrophysiological and behavioral data on Calliphora, on the one hand, and behavioral data on Calliphora and Musca, on the other hand, that allow direct comparisons between the physiological properties of the HSE and the visually induced torque responses in both species. The dependence of the HSE responses and the yaw torque responses on the direction, contrast frequency, and brightness of a moving periodic grating were evaluated quantitatively. The results of the electrophysiological recordings and torque measurements are in close agreement and thus represent strong evidence that the horizontal cells are, in fact, involved in yaw torque control in both species. Measurements of the cellular and behavioral responses as function of the stimulus position in the visual field, however, reveal differences between the spatial sensitivity of the horizontal cells and the sensory input to the motor system. (ABSTRACT TRUNCATED AT 250 WORDS)
Use-Dependent Modulation of Inhibitory Capacity in the Feline Lumbar Spinal Cord

The ability to perform stepping and standing can be reacquired after complete thoracic spinal cord transection in adult cats with appropriate, repetitive training. We now compare GAD67A levels in the spinal cord of cats that were trained to step or stand. We confirmed that a complete spinal cord transection at ∼T12 increases glutamic acid decarboxylase (GAD)67 in both the dorsal and ventral horns of L5–L7. We now show that step training decreases these levels toward control. Kinematic analyses show that this downward modulation is correlated inversely with stepping ability. Compared with intact cats, spinal cord-transected cats had increased punctate GAD67immunoreactivity around neurons in lamina IX at cord segments L5–L7. Compared with spinal nontrained cats, those trained to stand on both hindlimbs had more GAD67 puncta bilaterally in a subset of lamina IX neurons. In cats trained to stand unilaterally, this elevated staining pattern was limited to the trained side and extended for at least 4 mm in the L6 and L7 segments. The location of this asymmetric GAD67 staining corresponded to the motor columns of primary knee flexors, which are minimally active during standing, perhaps because of extensor-activated inhibitory interneuron projections. The responsiveness to only a few days of motor training, as well as the GABA-synthesizing potential in the spinal cord, persists for at least 25 months after the spinal cord injury. This modulation is specific to the motor task that is performed repetitively and is closely linked to the ability of the animal to perform a specific motor task.
Streptomyces lividans inhibits the proliferation of the fungus Verticillium dahliae on seeds and roots of Arabidopsis thaliana

Verticillium wilt, a vascular disease in more than 200 dicotyledonous plants, is due to the ascomycete fungus Verticillium dahliae. As documented by video‐microscopy, the soil bacterium Streptomyces lividans strongly reduces the germination of V. dahliae conidia, and the subsequent growth of hyphae. Quantification by the use of DNA‐intercalating dyes and Calcofluor‐staining revealed that during prolonged co‐cultivation, bacterial hyphae proliferate to a dense network, provoke a poor development of V. dahliae vegetative hyphae and lead to an enormous reduction of conidia and microsclerotia. Upon individual application to seeds of the model plant Arabidopsis thaliana, either the bacterial spores or the fungal conidia germinate at or within the mucilage, including its volcano‐shaped structures. The extension of hyphae from each individual strain correlates with the reduction of the pectin‐containing mucilage‐layer. Proliferating hyphae then spread to roots of the emerging seedlings. Plants, which arise in the presence of V. dahliae within agar or soil, have damaged root cells, an atrophied stem and root, as well as poorly developed leaves with chlorosis symptoms. In contrast, S. lividans hyphae settle in bunches preferentially at the outer layer near tips and alongside roots. Resulting plants have a healthy appearance including an intact root system. Arabidopsis thaliana seeds, which are co‐inoculated with V. dahliae and S. lividans, have preferentially proliferating bacterial hyphae within the mucilage, and at roots of the outgrowing seedlings. As a result, plants have considerably reduced disease symptoms. As spores of the beneficial S. lividans strain are obtainable in large quantity, its application is highly attractive.
OBJECT RECONSTRUCTION IN A BUNDLE BLOCK ENVIRONMENT

One of the main fields of current research in photogrammetry is concerned with the reconstruction of object surfaces from digital images. The great number of object classes which can be reconstructed by photogrammetric plotting as well as the great number of possible plotting configurations suggest to investigate common strategies for reconstruction and common structures for object models. In the course of the Austrian Research Program on Digital Image Processing, a framework for object reconstruction is being developed which should work under quite general circumstances. The central part of the framework is the integration of a bundle block adjustment system for consistent modelling of the object surfaces and hybrid robust estimation of model parameters for verification of correspondence hypotheses. The generation of these hypotheses will be a task-dependent feature based matching algorithm. Approximate values will be improved by hierarchical methods (image pyramids) starting from a very coarse level. The final result of our algorithm should be a fully three-dimensional representation of the surface to be reconstructed. Two possible applications of the framework, namely surface reconstruction for topographic mapping and building extraction are worked out in closer detail. * This work is funded by the Austrian Research Program S7004-MAT on Theory and Applications of Digital Image Processing and Pattern Recognition, Project IV: Stereovideometry and Spatial Object Recognition
Therapeutic drug monitoring for triazoles: A needs assessment review and recommendations from a Canadian perspective

Therapeutic drug monitoring (TDM) is necessary for certain drugs to ensure that the levels are sufficient to be effective, but not so high as to cause adverse effects. This review summarizes the literature regarding TDM for newer-generation extended-spectrum triazoles, including when TDM may be necessary for each drug and why, and laboratory techniques used for the measurement of levels of these drugs. The document includes recommendations for the use of TDM for each triazole that is discussed.
Learning associate appearance manifolds for cross-pose face recognition

Pose variation is a major challenge in face recognition. In this paper, we propose a novel cross-pose face recognition method by learning associate appearance manifolds to model the connection of faces under different poses. The associate manifolds are built on an auxiliary set, in which each identity contains cross-pose face images. The basic assumption is that cross-pose face images from two similar identities can be projected onto similar appearance manifolds by pose-specific transforms. We first associate the input faces with alike identities from the auxiliary set. Then the manifolds of cross-pose faces in the training set are confined close to that of the associate identities in the auxiliary set. Thus, the connection of cross-pose faces is well modeled by the associate appearance manifolds on the auxiliary set. Formally, we formulate the assumption as a manifold-based distance minimization problem, so as to learn the optimal transforms. Experiments on the Multi-PIE dataset demonstrate the effectiveness of the proposed method.
Two-layer large-scale cover song identification system based on music structure segmentation

This paper focuses on cover song identification over a large-scale dataset. Identifying all covers of a query song from music collection is a challenging task since covers vary in multiple aspects, such as tempo, key, and structure. For the large-scale dataset, cover song identification is more challenging and few works have been published. Previous works usually use a single representation for a whole song, such as 2D Fourier transform and chord profiles, which cannot reflect the property that covers are largely determined by a local similarity. To address this problem, we propose a novel cover song identification method based on music structure segmentation. The proposed structural method identifies cover songs on section level instead of song level. The experimental results show that the structural method improves the mean average precision of 2D Fourier transform method from 9.5% to 12.1%. In addition, we also propose a two-layer cover song identification system to improve the efficiency.
Joint Rate-Routing Control for Fair and Efficient Data Gathering in Wireless Sensor Networks

In wireless sensor networks, fair and efficient rate allocation is an essential mechanism to avoid congestion collapse and system degradation. While most prior work in this context has focused on a static tree, we consider the joint optimization of routing and rate allocation in this work. We formulate LP problems to obtain max-min fairness and sum-rate efficiency. We show the tradeoff between fairness and efficiency in this setting, and develop distributed algorithms based on Lagrange duality to achieve these objectives.
Collection of customers: a correlated M/G/1 queue

This paper analyses a variant of the ikl/G/l queue in which the service times of arriving customers depend on the length of the interval between their arrival and the previous arrival. The dependence structure corresponds to the case of customers arriving according to an ordinary Poisson arrival process, and customer collectors being sent out according to a Poisson process to collect the customers and to bring them to the service facility. In this case collected numbers of customers , and hence total collected service requests, are positively correlated with the corresponding collect intervals. Viewing a batch of collected customers as one (super) customer gives rise to an itf/G/l queue with a positive correlation between service times of such customers and their interarrival times. Both for individual customers and for batches of collected customers we derive the transforms of the sojourn time and waiting time distributions. We also compare our results with those for the ordinary M/G/l queue without dependence. 1 Introduction Consider the following situation. Customers arrive at pickup points according to independent Poisson processes. At these pickup points they wait for a bus to *This author wassupportedby NFI. o Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the ACM copyright notice and the title of the publication and its date appear, and notice is given that copying is by permission of tha Association for Computing Machinery. To copy otherwise, or to republish, requires a fee and/or specific permission. bring them to a single-server service facility (e.g., the check-in count er of a hotel). Busses with unlimited customer capacity move according to a fixed route along the pickup points, with fixed speed, collecting all waiting customers that they encounter and finally delivering all collected customers at the service facility. The intervals between the starts of successive bus tours are exponentially distributed. Because of the fixed tour length, the arrival process of busses at the service facility is a Pois-son process. Viewing the batch of customers brought to the service facility by a bus as one supercustomer, the service facility very closely resembles an ordinary M/G/l queue; the only difference is that the service time of a supeTcustomeT depends on the pTevious inteT-aTTival time. Indeed, if two consecutive busses arrive at a relatively long (short) interval, then the second bus is likely to …