Miracle-dz/UniFAR-FTUs huggingface dataset:
Contextualizing the Cognition Crisis

This workshop submission argues for a more socio-technical approach to scholarly explorations of task complexity in user search and retrieval. Doing so will lead to results that are not only more applicable outside of the lab and in the "real world," but also to results that are scientifically more 1) consistent, 2) reproducible, and 3) falsifiable. To demonstrate the importance of this approach, this submission draws on recent findings that cognitive experiments that fail to contextualize cognitive tasks lead to irreproducible results both within and outside of the lab. These same problems transfer to complex search tasks that draw from the same cognitive studies (e.g., with confirmation bias) or limit the contextualization in their own experiments. However, a distributed-cognition approach acknowledges how cognition is distributed amongst contextual factors. The author suggests that a mixed-methods approach could assist with capturing more context. Specifically, a population-based survey experiment may provide a straight forward method for information search and retrieval scholars to create an internal valid experimental study with some of the generalizability from survey sampling. With this in mind, the workshop suggests that instead of setting out to reproduce cognitive effects via mechanistic changes in a work task, the context of the work task should be determined first. After the context and task are determined, the mechanistic variables (e.g., interface features) for participants can be experimented with. Finally, the author draws from a long scholarly debate between various information scientists and cognitive science labs to argue that the analysis of observations can determine which cognitive effects provide the best explanatory power.
Toward a self‐similar theory of microbial populations

A fresh quest is made of segregated cell models of microbial populations with a view to determine whether the multivarite distribution of physiological states, during transient growth, can attain self‐similar forms (i.e., become time invariant) when each physiological state variable is scaled with respect to its population average. Such self‐similar growth situations are believed to be more general than those of balanced growth. The conditions under which self‐similarity is possible are investigated. Thus conditions are stipulated on the synthesis rates of different physiological entities, cell division rate, and the partitioning of the parent cell's components among the daughter cells (assuming binary division) in order for self‐similar growth to be attained. Subject to the attainment of self‐similar growth, it is shown that cytometric data can be analyzed systematically to determine how the rates of syntheses of various biochemical entities and cell division rates vary with the physiological entities that are measured. Inverse problems, represented by algebraic systems, are identified which will potentially allow flow cytometric data to be inverted to yield quantitative information on the absolute rates of cellular growth and reproductory processes as a function of the cell states chosen for measurement. It is suggested that the methods become more effective when cytometry can be used to make direct observations on dividing cells so that the number of unknowns in the inverse problem can be reduced, thus facilitating its more complete solution. Preliminary analysis of cytometric data obtained in the literature show promise of self‐similarity and thus the possibility of application of the methods discussed here. © 1994 John Wiley & Sons, Inc.
Examining the Processes by Which Multiple Forms of Intergroup Contact Predict Prejudice in Daily Life

Intergroup contact theory posits that interaction with outgroup members should improve our attitudes toward the outgroup as a whole. However, contact with outgroups is rare, even in diverse communities. One form of contact that might be particularly useful for improving intergroup attitudes would be contact with outgroups through mass media. Indeed, people spend several hours a day consuming media, and mass media have become more diverse over the last few decades, offering many opportunities for people to have contact with outgroups. The goal of the present research was to examine how daily experiences of intergroup contact through social interaction (direct contact) and exposure to outgroups in mass media (media contact) relate to intergroup attitudes. In Study 1, a 1-time diary survey was used to examine whether direct social interaction with outgroup members and exposure to outgroup members in the media would predict attitudes toward these groups. Moreover, I had participants respond to several items to determine the mechanisms explaining these relationships. I found that intergroup contact did indeed occur more through media than direct social interaction. Importantly, the relationships of direct contact and media contact with attitudes toward ethnic/racial outgroups were explained by different mechanisms. Moreover, I found that these relationships were moderated by group status (minority or majority), such that many of them were only significant when considering contact
Making sense of Roget

Being able to resolve word senses could improve precision in Information Retrieval, machine translation or other natural language applications. However, automatic disambiguation rarely provides benefits in proportion to its costs. In this study we have tried to determine the dominant or ‘most frequent’ sense of an ambiguous word. By identifying this, future applications could statistically choose a ‘correct’ word sense the majority of the time without computation. We investigated several ambiguous nouns and the frequency of their cooccurring synonyms from Roget’s thesaurus using the British National Corpus. This indicates the likelihood of the possible word senses. The results have been evaluated with some success against varying lexical resources including WordNet and the Concise Oxford Dictionary.
3D simulation of light exposure and resist effects in laser direct write lithography

We present a simulation approach that includes light and photoresist effects in laser direct write lithography (LDWL). This simulation flow allows to predict how the fabricated structure changes with variation in the process parameters. Using this simulation approach, we compute the change in feature size or critical dimension (CD) versus laser power and writing speed. The obtained simulation result agrees with experimental results. We extend this simulation method to predict the axial resolution of woodpile like structures and mesa arrays, which provide interesting patterns for metamaterials.
Design of LVDS driver based CMOS transmitter for a high speed serial link

This paper presents a low-power CMOS multichannel transmitter that achieves a data rate of 3.125Gb/s/ch. The LVDS (Low-voltage differential-signaling) driver is used because of its noise immunity and low power consumption. And a pre-emphasis circuit is also proposed to increase the transmitter speed. The prototype chip is comprised of 4 channels and was fabricated in a 0.18 μm standard CMOS process. The measured output jitter of transmitter is 100ps, peak-to-peak(0.31UI). The area of the chip is 0.045 mm2 and the power consumption is about 48mW/ch.
Has the “ Golden Rule ” Lost its Aura ? Revisiting Multimarket Contact under Asymmetric Pricing in the U . S . Domestic Airline Industry ( COMPLETED RESEARCH )

Extant research suggests that tacit collusion or the “golden rule” of refraining from aggressive pricing in jointly contested markets is an integral feature of the US airline industry. Our research revisits this past wisdom in the presence of airlines that pursue a distinctly different pricing strategy. Amongst airlines, Southwest and JetBlue largely practice an Everyday Low Price (EDLP) price-format which can be best characterized as a portfolio-level pricing strategy while most others engage in some form of temporal fare promotions. In a first study using both posted and transacted airline prices, we examine the impact of asymmetric pricing strategies on the understanding of multimarket contact (MMC). By first ignoring these differences in pricing strategy, we
Information foraging in information access environments

Information foraging theory is an approach to the analysis of human activities involving information access technologies. The theory derives from optimal foraging theory in biology and anthropology, which analyzes the adaptive value of food-foraging strategies. Information foraging theory analyzes trade-offs in the value of information gained against the costs of performing activity in human-computer interaction tasks. The theory is illustrated by application to information-seeking tasks involving a Scatter/Gather interface, which presents users with a navigable, automatically computed, overview of the contents of a document collection arranged as a cluster hierarchy.
Cooperative QoS-Aware Routing Algorithm Based on IEEE 802.11 Multi-rate over Mobile Ad Hoc Networks

In this work, we present a cooperative QoS-aware routing algorithm based on the multi-rate service of IEEE 802.11, which is implemented to minimize the total sum of consumed timeslots while providing the required timeslots at nodes over routes and their contention neighbors over mobile ad hoc networks. The proposed algorithm shows better performance when traffic load is relatively heavy.
3D-MODELING OF URBAN STRUCTURES

Three dimensional building models have become important during the past years for various applications like urban planning, enhanced navigation or visualization of touristic or historic objects. 3D-models can increase the understanding and explanation of complex urban scenarios and support decision processes. A 3D-model of the urban environment gives the possibility for simulation and rehearsal, to "fly through" the local urban structures with multiple perspective viewing, and to visualize the scene out from different viewpoints. The building models are typically acquired by (semi-) automatic processing of Laser scanner elevation data or aerial imagery. We are presenting an automatic generation method of polyhedral 3D-models from Laser height data in our paper. The methods of deriving a DTM and a DSM from the data as well as the estimation of a ground map for the built-up area as alternative of a cadastral map are especially investigated. An approach for the classification of vegetation areas is presented. Although for some applications geometric data alone is sufficient, for visualization purposes a more realistic representation with textured surfaces is necessary. The associated textures from buildings are extracted either from airborne imagery or, especially for facades, from images taken by ground based cameras. We have investigated the selection of optimal texturing images from the acquired data including occlusions and multiple representations. Results are presented.
Locating Anatomical Points on Foot from 3D Point Cloud Data

Algorithms are proposed to automatically locate the foot anatomical points from scanned 3D point data based on a novel method that uses the pternion point for foot alignment, whereby variations in the different dimensions are minimized. The detected foot malleoli and arch point are used to classify the foot type. Based on the automatically detected anatomical points, 9 foot dimensions of 10 participants were determined and compared with manual measurements.
Stabilization of multi-AUV formation with digital control

Formation stability problem for a team of autonomous underwater vehicles (AUV) with digital control is investigated. A leader-follower formation control algorithm for multi-AUV system is proposed. Feedback control signal for the follower, which is piecewise constant, is computed on the basis of discrete measurements of the distance and the bearing angle to the leader. A discrete observer for estimation of the derivatives of the distance and the bearing angle are used to improve the control performance. The parameters of the controller and observer are synthesized using a digital control system design method based on the vector Lyapunov functions that allows one to take into account the uncertainties of the plant, measurement errors, and control constraints. Numerical simulations are carried out to demonstrate the effectiveness of the proposed control scheme.
Features representation by multiple local binary patterns for facial expression recognition

To recognize expressions conveniently and effectively, an enhanced feature representation method is proposed for facial expression recognition. Local binary pattern histogram Fourier (HF-LBP) features is used to represent facial expression features. Multiple HF-LBP features are extracted to form recognition vectors for facial expression recognition in the approach, which include sign and magnitude LBP in the completed LBP scheme with multiple radii and different size neighborhoods to achieve enough features. It represents images from different scales and directions in the local neighborhood by overall considerations from the aspect. K-nearest neighborhoods classifier is applied for expression recognition after representing facial features using HF-MLBP. Comparisons are made with other extension LBP operators to evaluate the approach. The experimental results show that our method has good performance in facial expression recognition.
Analysing Arguments in Networked Conversations: The Context of Student Teachers

The purpose of this article is to demonstrate how the method of meaning implication discourse analysis can be applied in the context of online collaborative reflective practice of student teachers. The method was developed to identify knowledge building in networked contexts. It derives from the model of meaning implication developed by Piaget, and the model of “schematization” proposed by Grize. It also borrows from the knowledge building theory developed by Scardamalia and Bereiter. The method allows understanding knowledge construction as an evolving process of conceptual change and learning through argumentation. We present two studies in which online “conversations” of pre-service teachers are analyzed. Contributions for higher education are discussed.
Formal Sensitivity Computation of Magnetic Moment Method

This paper presents a methodology for computing formally sensitivities of the magnetic moment method. This numerical method is known to be very accurate and light to compute force and torque acting on an open field problem. We propose an approach which computes formal derivatives with respect to the geometrical parameters of the device. Once the sensitivities are obtained, gradient based optimization algorithm can be used.
Robust real time face detection automatically from video sequence based on Haar features

The automatic human face detection from sequences of video plays vital role in intelligent human computer interaction systems for video surveillance, face recognition, emotion recognition and face database management. This paper proposes an automatic and robust method to detect human faces from the background that is capable of processing images rapidly while achieving high detection rates from video sequences. Highlight of the face detection system is to identify and locate all faces regardless of their position, scale, orientation, lighting conditions, expressions etc. The field of work is the incorporation of a normalization technique based on local histograms to alleviate a common problem in conventional face detection methods such as: inconsistent performance due to sensitivity to variation illuminations such as local shadowing, noise and occlusion. Next the Haar-like rectangle features can be computed very rapidly using the integral image that is most suitable for face/non face classification. In the final step, the face region is detected through a cascade of classifier consisting of detectors with Adaboost algorithm. Experimental result is showing promising results by conducting the experiments on video sequence as against the existing work on images.
Runge-Kutta time discretizations of nonlinear dissipative evolution equations

Global error bounds are derived for Runge-Kutta time discretizations of fully nonlinear evolution equations governed by m-dissipative vector fields on Hilbert spaces. In contrast to earlier studies, the analysis presented here is not based on linearization procedures, but on the fully nonlinear framework of logarithmic Lipschitz constants in order to extend the classical B-convergence theory to infinite-dimensional spaces. An algebraically stable Runge-Kutta method with stage order q is derived to have a global error which is at least of order q - 1 or q, depending on the monotonicity properties of the method.
Author's Personal Copy the Journal of Systems and Software Evaluating the Perceived and Estimated Quality in Use of Web 2.0 Applications Author's Personal Copy Author's Personal Copy Author's Personal Copy

In most cases authors are permitted to post their version of the article (e.g. in Word or Tex form) to their personal website or institutional repository. Authors requiring further information regarding Elsevier's archiving and manuscript policies are encouraged to visit: Keywords: Web 2.0 Quality in use Evaluation methodology a b s t r a c t Web 2.0 refers to a new generation of web applications where individuals are able to participate, collaborate , and share created artefacts. Despite the fact that Web 2.0 applications are widely used for both educational and professional purposes, a consolidated methodology for their evaluation is still not available. This paper presents and discusses the results of two empirical studies on the case of mind mapping and diagramming Web 2.0 applications. Both studies employed logging actual use method to measure the estimated quality in use, while the retrospective thinking aloud method and an online questionnaire were applied to assess the perceived quality in use. Achieved analytical results showed that the results of the estimated and the perceived quality in use match partially, which indicates that quality in use should be measured with both subjective and objective instruments. The work presented in this paper is the first step towards a comprehensive methodology for evaluating the quality in use of Web 2.0 applications. Consequently, the usage of the proposed quality in use model for other types of Web 2.0 applications as well as contexts of use needs to be investigated in order to draw generalizable conclusions. 1. Introduction Web 2.0 is an umbrella term of web applications that support different types of interaction among users and enable them to create, share, organize, and integrate various artefacts. The most popular representatives of Web 2.0 applications are wikis, blogs, microblogs, social bookmarking sites, social networking sites, mashups, podcasting applications, e-portfolios, virtual worlds, online office suites, and knowledge management applications (Orehovački et al., 2012a). Although differing in type and function, all the Web 2.0 applications have several characteristics in common. Firstly, they enable the active participation of each user thus adding value to the generated content. Secondly, they foster communication and collaboration which facilitates knowledge transfer among users. Finally, they encourage the creation of communities where users are able to share data and remix information from different sources. Because of all the set forth features, Web 2.0 applications are widely used for both educational (e.g. Orehovački et al., 2009) and …
2 D simulation with the FDTD method of GPR modelling applied to the detection in stratified lossy medium using the frequency effect pulse

In this paper we are interested in the implementation of the Yee finite-difference in time domain (FDTD) of a ground penetrating radar (GPR) model's using an electromagnetic differentiated Gaussian pulse (EDGP) propagation by using the MATLAB code and taking into account the: stability criterion and the perfect matched layer (PML). The source emits an (EDGP) from a free space and hits a slab which is formed by a dispersive multilayer media. Our objective is to assess the modelling and the detection of buried objects when using the (GPR) and to see the frequency effect excitation source on the medium. It is clearly shown that with the increase of the frequency, the pulse attenuation increases too. Our code, which can be used to detect metal or plastic materials in a slab like concrete or soil (with every electrical conductivity and permittivity of each layer such as used in non destructive techniques in civilian engineering) is well commented, relatively easy to understand and can be easily modified for user's specific purpose such as taking any kind of soil for detecting any kind of objects.
Combining GMM's with suport vector machines for text-independent speaker verification

Current best performing speaker recognition algorithms are based on Gaussian Mixture Models (GMM). Their results are not satisfactory for all experimental conditions, especially for the mismatched (train/test) conditions. Support Vector Machine is a new and very promissing technique in statistical learning theory. Recently, this technique produced very interesting results in image processing [2], [3], [4] and for the fusion of experts in biometric authentification [5]. In this paper we address the issue of using the Support Vector Learning technique in combination with the currently well performing GMM models, in order to improve speaker verification results.
Strategic discourse production and parent involvement: including parent knowledge and practices in the Lead My Learning campaign

ABSTRACT Parent involvement in a child’s education is usually viewed as integral for building educational participation. Critical work has examined the complexity of issues that work to exclude certain social and cultural ‘groups’, as well as practices that can work to build inclusion. This article sets out to contribute to the latter by examining how an approach we term strategic discourse production offers possibilities for practices of subjectivation that can deviate from the dominant discourse that portray parents who experience educational disadvantage as ‘not involved’ or ‘not engaged’ in their children’s learning. Drawing on Foucault’s work on practices of subjectivation, the article outlines the adaptation of social marketing techniques to create strategic discourse production. The article discusses Lead My Learning, an example of strategic discourse production that was guided by Australian Aboriginal Protocols. By drawing on Foucault’s concepts of subjectivation and procedures of truth as well as his work on subjugated knowledges, strategic discourses of parental involvement in their children’s education were produced. The article argues that this creates possibilities for an otherwise to be articulated, for parents to experience practices of subjectivation that prompt possibilities for forms of avowal that articulate their inclusion in the learning of their children.
Fixed Point Theory and Trace for Bicategories

The Lefschetz fixed point theorem follows easily from the identification of the Lefschetz number with the fixed point index. This identification is a consequence of the functoriality of the trace in symmetric monoidal categories. There are refinements of the Lefschetz number and the fixed point index that give a converse to the Lefschetz fixed point theorem. An important part of this theorem is the identification of these different invariants. We define a generalization of the trace in symmetric monoidal categories to a trace in bicategories with shadows. We show the invariants used in the converse of the Lefschetz fixed point theorem are examples of this trace and that the functoriality of the trace provides some of the necessary identifications. The methods used here do not use simplicial techniques and so generalize readily to other contexts.