Miracle-dz/UniFAR-FTUs huggingface dataset:
Asymptotic Expansions for Regularization Methods of Linear Fully Implicit Differential-Algebraic Equations

Abstract. Differential-algebraic equations with a higher index can be approximated by regularization algorithms. One of such possibilities was introduced by März for linear time varying index 2 systems. In the present paper her approach is generalized to linear time varying index 3 systems. The structure of the regularized solutions and their convergence properties are characterized in terms of asymptotic expansions. In this way it is also possible to characterize the so-called pencil regularization in the index 2 case.
RemoteFusion: real time depth camera fusion for remote collaboration on physical tasks

Remote guidance systems allow humans to collaborate on physical tasks across large distances and have applications in fields such as medicine, maintenance and working with hazardous substances. Existing systems typically provide two dimensional video streams to remote participants, and these are restricted to viewpoint locations based on the placement of physical cameras. Recent systems have incorporated the ability of a remote expert to annotate their 2D view and for these annotations to be displayed in the physical workspace to the local worker. We present a prototype remote guidance system, called RemoteFusion, which is based on the volumetric fusion of commodity depth cameras. The system incorporates real-time 3D fusion with color, the ability to distinguish and render dynamic elements of a scene whether human or non-human, a multi-touch driven free 3D viewpoint, and a Spatial Augmented Reality (SAR) light annotation mechanism. We provide a physical overview of the system, including hardware and software configuration, and detail the implementation of each of the key features.
Modeling multiple fields of collective emotions with brownian agent-based model

Understanding the emergence of collective emotions is critical to the analysis of online and offline societies. The agent-based simulation community has developed various social norm models to see the polarization of collective emotions. Yet, a few models have psychological background as fundamentals, as well as statistical validation, and this paper aims at resolving the two challenges. Particularly, this paper models agents as Brownian agents with different parameters of arousal, valence, and preference, which originates from the field of psychology. The Brownian agents enable the agents to become more heterogeneous, while they are simple enough to be understood and expanded. In the simulation, the agents influence and are influenced by multiple fields, or parts of community, of collective emotions. We designed two virtual experiments: one hypothetical setting to generate the emergence, and the other setting to validate the model with a real-world dataset. The first experiment identifies the scenario characteristics of extreme polarizations of collective emotions. The second experiment shows that the simple Brownian agent model is able to generate the real-world case with statistical significance.
Joint use of STTD and Antenna Diversity for OFDM / TDM

Abstract: Orthogonal frequency division multiplexing (OFDM) combined with time division multiplexing (TDM) can bridge the conventional OFDM and single carrier (SC) transmission by using minimum mean square error (MMSE) frequencydomain equalization (FDE). The channel frequency-selectivity can be exploited by MMSE-FDE to improve the bit error rate (BER) performance. A much better BER performance is achieved in comparison to conventional OFDM while reducing the peak-to-average power ratio (PAPR). Further performance improvement can be achieved by transmit/receive antenna diversity technique. In this paper, the joint use of space-time transmit diversity (STTD) and receive antenna diversity is discussed.
Using Repayment Data to Test Across Models of Joint Liability Lending

Spurred by its successful delivery of credit to poor borrowers in diverse areas of the developing world, joint liability lending has caught the imagination of development theorists and practitioners. Various theories have arisen to explain why joint liability group-based lending can be an improvement over traditional individual-based lending. Here we exploit the idea that if a model were true, the repayment rate would vary in a systematic way with various covariates. We thus use observed repayment rates to test across four representative and oft-cited models of joint liability lending. The theoretical part of this paper develops the models' implications for repayment and derives new ones, signing the derivative of a project choice, monitoring, default, or selection equation. For example, we find that several models imply that higher correlation of output can raise the observed repayment rate, and in some the ability to act cooperatively leads to lower repayment rates. More generally, the models agree on some dimensions and conflict on others. The empirical part uses survey data from 262 Thai joint liability groups of the Bank for Agriculture and Agricultural Cooperatives (BAAC) and from 2880 households of the same villages. Nonparametric, univariate tests and multivariate logits are used to evaluate the predictions of the models. A hybrid, partially linear procedure is used to understand any differences in the results between the two types of tests. We find that the Besley and Coate model of limited enforcement is strongly supported in the more rural, poorer region of Thailand covered by the data. In the more prosperous region, closer to Bangkok, support is found for the Stiglitz model of moral hazard and the Ghatak model of adverse selection.
First Extragalactic Direct Detection of Large-Scale Molecular Hydrogen in the Disk of NGC 891

We present direct observations of molecular hydrogen in the disk of the nearby edge-on spiral galaxy NGC 891. With Infrared Space Observatory's Short-Wavelength Spectrometer (SWS) it has been possible, for the first time, to observe the lowest pure rotational lines of H2 [S(0) at 28.2 μm and S(1) at 17.0 μm] at eight positions throughout the stellar disk of NGC 891. Both lines have been detected at all the surveyed positions out to 11 kpc north of the center of the galaxy. An H2 rotation curve is derived, and we compare H2 radial profiles with CO and H I data. The observed line ratios indicate relatively warm (T = 150-230 K) molecular clouds scattered throughout the disk in addition to a massive cooler (T = 80-90 K) component which dominates the signal in the outer regions. For H2 ortho/para ratios of 2-3, the cool gas has typical edge-on column densities (1–3) × 1023 cm-2 (or ~3000 M☉ pc-2), in which case it outweighs the H I by a factor of 5-15. This factor matches well the mass required to resolve the problem of the missing matter of spiral galaxies within at least the optical disk. The newly discovered cool H2 component would be less massive in the case in which its dominant ortho/para ratio is near unity. We address the thermal balance of this component by a comparison with [C II] 158 μm data. When combining the new coolish molecular gas results with recent SCUBA cold dust observations of NGC 891, the total gas-to-dust ratio at r < 12 kpc remains around 200.
Second Literacy and Numeracy Network Meeting EMOTIONAL AND COGNITIVE FACTORS IN ARITHMETIC DIFFICULTIES

Math anxiety is a genuine detriment to math learning and achievement, despite the difficulties that experimentally-oriented researchers have in appreciating this fact. In this talk, I will discuss the personal, educational, and cognitive consequences of math anxiety, focusing especially on performance-related deficits in tasks that depend on working memory. We do not know what factors lead to the development of math anxiety, although longitudinal tests should help decide among several plausible hypotheses. Planned work on the neurological patterns of activity associated with math anxiety may reveal the degree to which it combines emotional and cognitive components, and possibly shed light on the difficult relationship between math anxiety and math achievement.
The Red Queen in organizational creation and development

We synthesize organization learning theory and organizational ecology to predict systematic patterns in the founding and growth of organizations over time. Our central argument is that competition triggers organizational learning, which in turn intensifies competition that again triggers an adaptive response. We model this self-exciting dynamic--sometimes referred to as the 'Red Queen' in general evolutionary theory--to explain organizational founding and growth rates among the thousands of retail banks that have operated in Illinois at any time from 1900--1993. We find strong evidence that Red Queen evolution led some organizations to grow quickly and to place strong competitive pressure on rivals. Red Queen evolution also helped establish barriers to entry. However, this same evolutionary process appears to make organizations more susceptible to 'competency traps', ultimately slowing their growth rates and inviting new market entry. Organizations confronted by a widely varying distribution of competitors grow more slowly and are more likely to face new entrants. Overall, the results suggest that processes of organizational creation and growth emerge from ecologies of learning organizations. More generally, we discuss the use of ecological theory and models to study the empirical consequences of organizational learning. Copyright 2002, Oxford University Press.
Automatized test item generation in moodle

Creating reliable, reusable and efficient tests is a long and time-consuming process. One of the most important stages is creating a question bank. An approach to automatized generation of test items of different types is presented in this paper. It is based on the accumulative method that uses stored and assessed test items in the process of doing the test. An important role is played by the so-called accumulative question type (AQT), which, along with its attributes is described as a base of design, specifications and realization of a software test module implemented in Moodle. The presented module provides possibilities to enrich question banks with test items of different types and use the learning and assessing process in automatized test generation.
Spatio-temporal Feature Classifier

Different from current foreground and background segmentation methods, we did not utilize the low level im- age representation method (such as boundaries and textures) to extract the feature of the videos, instead we proposed a spatio-temporal feature classifier to obtain the union region of object from natural videos as the interest points. We slide the temporal chunk along time axis to obtain samples from videos, and train the Support Vector Machine (SVM) with fea- ture vectors. Then we built a spatio-temporal feature classifier and tested our algorithm on the most popular benchmark dataset. Experiment results showed the effectiveness and robustness of the algorithm.
Generating visualization-based analysis scenarios from maintenance task descriptions

Software visualization is an efficient and flexible tool to inspect and analyze software data at various levels of detail. However, software analysts typically do not have a sufficient background in visualization and cognitive science to select efficient representations and parameters without the help of visualization experts. To overcome this problem, we propose an approach to generate software analysis tasks that use visualization. To this end, we use taxonomies of low-level analytic tasks, high-level interactive tasks, and perceptual rules to design an assistant that proposes analysis scenarios.
Random dilutions, generating functions, and the void probability distribution function

The generating function for counts in randomly placed cells is derived using the characteristic functional. The distribution of voids in a randomly diluted subset of a given point distribution is shown to contain information about all the other count probabilities. Thus, random dilutions may be used to derive the entire distribution function from the void distribution. A generalization of the random dilution selection process that enhances the eeects of the more massive objects on the statistics is considered. The resulting statistics are related to cluster-cluster type correlations. A relation between this selection process and the scaling properties of the distribution function of a system with scale-invariant hierarchical correlation functions is considered. Superposition of point distributions, random and homologous subsamples of point distributions, and Poisson cluster models in particular, are also discussed. Poisson cluster models are studied here because, if the peaks model of biased galaxy formation is correct, then Poisson cluster models provide a natural rst approximate description of the observed galaxy distribution.
Always on: understanding the intrinsic motivations for playing games on smartphones and the effect of user characteristics

This study examines the intrinsic motivations that drive the enjoyment of smartphone games and the influence of the characteristics of age, gender and playfulness on such motivations. Using Self-Determination Theory (SDT) from the discipline of psychology as a basis, a sample of 340 smartphone gamers was surveyed and the results were analyzed using a multiple linear regression approach. The consequent model was then tested in relation to two specific games to further validate the approach and provide a model that is relevant to individual games. This study thus provides a clearer idea of the nature of play as it develops in the era of the smartphone game as well as adding another layer to our understanding of intrinsic motivation due to the fact that smartphone games can be accessed as necessary for need satisfaction, to experience flow, to gain a sense of escapism and ultimately to allow a player to experience a sense of enjoyment. Given that smartphones now constitute an essential communication device, this represents a key change in that people can now access a mode of play almost at whim. Players now have access to an enjoyable experience that can provide satisfactions that other experiences in their daily life may not allow.
Efficient and Secure Aggregation of Sensor Data against Multiple Corrupted Nodes

SUMMARY Wireless Sensor Networks (WSNs) rely on in-network ag-gregation for efficiency, that is, readings from sensor nodes are aggregated at intermediate nodes to reduce the communication cost. However, the previous optimally secure in-network aggregation protocols against multiple corrupted nodes require two round-trip communications between each node and the base station, including the result-checking phase whose congestion is O(log n) where n is the total number of sensor nodes. In this paper * * , we propose an efficient and optimally secure sensor network aggregation protocol against multiple corrupted nodes by a random-walk adversary. Our protocol achieves one round-trip communication to satisfy optimal security without the result-checking phase, by conducting aggregation along with the verification, based on the idea of TESLA technique. Furthermore, we show that the congestion complexity, communication complexity and computational cost in our protocol are constant, i.e., O(1).
Building making scholarship

Artikkelen beskriver hvordan forskning innen skapende profesjonsfag har blitt drevet fram av professor Halina Dunin-Woyseth. Med bakgrunn som arkitekt har hun hatt et innsideperspektiv på de utfordringene de skapende profesjonsfagene sto overfor. Som en av de få arkitekter som også hadde doktorgrad fikk hun ansvar for utviklingen av doktorgradsprogrammet på Arkitektur- og designhøgskolen i Oslo (AHO). Hun utviklet kunnskapskonseptene ‘the making professions’ og ‘the making disciplines’ for å synliggjøre og håndtere de skapende profesjonenes utfordringer som selvstendige forskbare (researchable) fagfelt i møte med etablerte akademiske disipliner. I 1995 sto hun sentralt i avgjørelsen om å åpne doktorprogrammet på AHO for designere og designdidaktikere, noe som har spilt en avgjørende rolle for framveksten av et designdidaktisk forskningsfelt i Norge. Innsatsen til Dunin-Woyseth går langt ut over det å være én persons innsats, den eksemplifiserer hvordan utdanning og forskning med et innsideperspektiv på kunnskapsutvikling har avgjørende betydning for et demokrati der også representanter for praktiske profesjoner må kunne artikulere sin innsidekunnskap med akademisk troverdighet. Framhevingen av et innsideperspektiv (Ryle, 1945) og viktigheten av aktive fagmiljøer (Becher & Trowler, 2001) setter også Halina Dunin-Woyseths innsats inn i et større perspektiv. Hun har høstet internasjonal anerkjennelse både som teoretiker og feltbygger.
Access Control Policy Analysis Using Free Variable Tableaux

†† † †† †† The specification of access control policies for large, multi-organization applications is difficult and error-prone. Sophisticated policies are needed for fine-grained control of access to large numbers of entities, resulting in many policies specified by different security administrators. Techniques such as role based access control (RBAC) have been proposed to group policies and provide a framework for inheriting policies based on role hierarchies. RBAC does not prevent inconsistencies and conflicts arising in the policy specifications, though, which can lead to information leaks or prevent required access. This paper proposes an approach using free variable tableaux to detect conflicts and redundant policies resulting from the combination of various types of authorization and constraint policies. This approach uses static analysis to enable complete detection of modality and static constraint policy conflicts.
Supporting information to : Estimation in discretely observed diffusions killed at a threshold

In this Section we provide some details about the numerical procedure used in the simulation studies of the main paper, both to simulate the sample and to compute the estimated values. We warn the reader that many references are made to formulae and Sections of the main document. We worked in the R environment (R Development Core Team, 2011). Most of our routines have been designed modifying and adapting functions that were implemented in the sde package which is thoroughly documented in Iacus (2008).
Diffuse Ionized Gas in the Dwarf Irregular Galaxy DDO 53

The spectral characteristics throughout the dwarf irregular galaxy DDO 53 are studied. The results are very similar to those for other irregular galaxies: high excitation and low values of the [S II]/Hα ratio. The most likely ionization source is photon leakage from the classical H II regions, without any other source, although the interstellar medium of the galaxy is quite perturbed. Moreover, the physical conditions throughout the galaxy do not change very much because both the photon leakage percentage and the ionization temperature are very similar. In addition, the determined metal content for two H II regions indicates that DDO 53 is a low-metallicity galaxy.
Novel amplitude and frequency demodulation algorithm for a virtual dynamic atomic force microscope

Frequency-modulated atomic force microscopy (FM-AFM; also called non-contact atomic force microscopy) is the prevailing operation mode in (sub-)atomic resolution vacuum applications. A major obstacle that prohibits a wider application range is the low frame capture rate. The speed of FM-AFM is limited by the low bandwidth of the automatic gain control (AGC) and frequency demodulation loops. In this work we describe a novel algorithm that can be used to overcome these weaknesses. We analysed the settling times of the proposed loops and that of the complete system, and we found that an approximately 70-fold improvement can be achieved over the existing real and virtual atomic force microscopes. We show that proportional–integral–differential controllers perform better in the frequency demodulation loop than conventional proportional–integral controllers. We demonstrate that the signal to noise ratio of the proposed system is 5.7 × 10−5, which agrees with that of the conventional systems; thus, the new algorithm would improve the performance of FM-AFMs without compromising the resolution.
Hardware Support for Efficient Sparse Matrix Vector Multiplication

Sparse matrix vector multiplication (SpMxV) is a core operation in many engineering, scientific and financial applications. Due to the sparse nature of the underlying matrices, irregular memory access patterns and short row lengths often slow down the performance significantly. Past implementations of SpMxV have been reported to be run at 10% or less of the machine's peak capability. In this paper we present a novel hardware support called distTree for efficient SpMxV. It is shown that replacing the column indices of sparse matrices with extra hardware is achievable and yields an average speedup by a factor of two for the suite of benchmarks used. The matrix data set for the distTree is approximately 30% less than that for conventional CSR algorithms so that distTree is beneficial in terms of not only performance but also memory usage. Thorough analysis is done by looking at the correlation between the performance speedups and various matrices properties.
OCL Tools Report based on the IDE4OCL Feature Model

Previously we have developed the idea of an Integrated Development Environment for OCL (IDE4OCL). Based on the OCL community's feedback we have also designed and published an IDE4OCL feature model. Here we present a report on selected OCL tools developed by the authors and their teams. Each author gives an overview of their OCL tool, provides a top level architecture, and gives an evaluation of the tool features in a web framework. The framework can also be used by other potential OCL users and tool developers. For users it may serve as an aid to choose a suitable tool for their OCL use scenarios. For tool developers it provides a comparative view for further development of the OCL tools. Our plans are to maintain the collected data and extend this web framework by further OCL tools. Additionally, we would like to encourage sharing of OCL development resources.
The economic implementation of experimental retrieval techniques on a very large scale using an intelligent terminal

The results and achievements of research in information retrieval have had little influence on the types of retrieval mechanism implemented in the large commercial on-line retrieval systems. Commercial systems still use simple Boolean techniques while experiments have shown that other techniques, such as those making use of relevance information, perform better. Reasons for this are suggested. A strategy is described for the implementation of high-powered techniques which overcomes this problem - an intelligent terminal is used in conjunction with an existing commercial I. R. system. The added processing capability permits the implementation of more sophisticated retrieval techniques very cheaply. Retrieval methods that can be implemented on such a terminal used in this way are described.Particular emphasis is placed upon the practical implementation of a term weighting scheme based on relevance feedback information which generates a ranked list of documents in answer to a query.