Miracle-dz/UniFAR-FTUs huggingface dataset:
Third-wave HCI, 10 years later---participation and sharing

In the second wave, the focus was on groups working with a collection of applications. Theory focused on work settings and interaction within well-established communities of practice. Situated action, distributed cognition, and activity theory were important sources of theoretical reflection, and concepts like context came into focus in the analysis and design of human-computer interaction. Proactive methods, such as a variety of participatory design workshops, prototyping, and contextual inquiries, were added to the toolbox. In the third wave, the use contexts and application Almost 10 years ago I gave a keynote at NordiCHI in which I discussed the second and third waves of HCI [1]. I chose the topic due to a general frustration over whether the third wave was about to throw out the baby with the bath water, discarding what was useful in the second wave. Here is my interpretation of the three waves: The first wave was cognitive science and human factors. It was model-driven and focused on the human being as a subject to be studied through rigid guidelines, formal methods, and systematic testing, as discussed by Liam Bannon [2]. He talked about the move to the second wave as that Third-Wave HCI, 10 Years Later— Participation and Sharing
Opacities in the lens of the eye experimentally induced by exposure to microwave radiation.

Lens opacities result from exposure of the rabbit eye to 2450-mc continuous wave radiation. Threshold for a single damaging exposure is determined by power density and duration. Opacities may also result as a cumulative effect of repeated subthreshold exposures. Intraocular temperature increases during irradiation, the extent and rate of increase being related to power density. Inasmuch as a particular temperature critical for opacity induction cannot be identified, it is suggested that the intraocular thermal response may be coincident with, rather than the cause of, induction of opacities. Lens damage may result from irradiation at power levels not sufficient to cause discomfort to nonanesthetized animals. Pulsed radiation with high peak intensities appears to be more potent in inducing lens opacities than continuous wave radiation of equal average power. Since ocular temperature is related to average rather than to peak power, these findings further suggest the possibility of a nonthermal biological effect of microwave radiation.
An approach for modeling and analyzing the communication protocols in a telemedicine system

Telemedicine systems are a type of safety critical systems that require high quality in system design and implementation. The quality of the communication protocols between a user and a service provider in a telemedicine system is especially important to the success of a telemedicine system. Therefore, a rigorous modeling and analysis approach to ensure the quality of the communication protocols in a telemedicine system is necessary. However, most of the rigorous modeling and analysis approaches were developed based on formal methods, which are not practical for large systems. In addition, many of existing approaches are only useful in a particular development phase such as design or implementation but not the whole life cycle of system development. In this paper, we introduce an integrated modeling and analysis approach that enhances the quality of software testing though injecting the rigorousness of formal methods into it to ensure the correctness of a system at each development phase. The idea of the approach and its effectiveness are illustrated by case study of the communication protocols in a telemedicine system. The communication protocol is first modeled using a high-level Petri nets, and then the model is analyzed with model checking, simulation, reachability analysis, and testing. According to a selected test adequacy criterion, the adequate tests are automatically generated for the model, and then they are converted into the tests to test the system implementation.
Neurotoxic Effects of Fluorinated Glucocorticoid Preparations on the Developing Mouse Brain: Role of Preservatives

Prenatal betamethasone (Celestene) therapy reduces the incidence of brain damage, whereas prenatal or neonatal dexamethasone (Soludecadron) increases the risk of brain lesions or neuromotor deficits. To determine whether this increase is ascribable to the sulfites used as preservatives in Soludecadron, we investigated the effects of 12 h of exposure to pure dexamethasone, Soludecadron, pure betamethasone, Celestene, and sulfites on in vitro and in vivo death of neurons cultured under basal conditions or with excitotoxic agents (N-methyl-d-aspartate or (S)-5-bromowillardiine) or hypoxia. Apoptotic features were quantitated using a fluorescent chromatin stain (Hoechst 33258). Neuronal viability was unaffected by pure dexamethasone, pure betamethasone, or Celestene. Soludecadron or sulfites significantly increased neuronal loss. Pure dexamethasone or pure betamethasone produced a 40–50% decrease in neuronal death induced by N-methyl-d-aspartate, (S)-5-bromowillardiine, or hypoxia, whereas Soludecadron had no effect and sulfites significantly increased the neurotoxicity of excitotoxic agents. In in vivo experiments involving terminal deoxynucleotidyl transferase-mediated dUTP nick-end labeling after several i.p. injections of fluorinated glucocorticoids, Soludecadron, but not pure dexamethasone, significantly increased the number of terminal deoxynucleotidyl transferase-mediated dUTP nick-end labeling–stained cells in neocortical layers and thalamus. These experimental findings suggest that injectable dexamethasone should be used with caution during the perinatal period.
Optimization of grid wall walking by genetic algorithm

Grid wall walking promises attractive 3-D mobility for multi-legged robots. The robot hangs the grids by its multi-legs so that the stable positioning is achieved. The grid environments are implemented by assembling iron wires in a matrix. The artificial environment can be good for the robots by considering robot's ability. The grid wall will be attached on various wall and ceiling. The robot has to hang them in highly stable posture since it must not fall down. Multi-legged robots have various hanging styles and it is difficult to find the available and optimal posture. The nonlinear search problem of the optimal posture can be solved by GA(Genetic Algorithm). The optimal hanging postures are found out on all of inclined grid wall, and these postures can be switched from each other to walk the complicated wall terrain. This paper shows the method of optimization for grid wall walking and the results show the feasibility of our proposed 3-D environmental mobility.
Towards Knowledge-Driven Annotation

While the Web of data is attracting increasing interest and rapidly growing in size, the major support of information on the surface Web are still multimedia documents. Semantic annotation of texts is one of the main processes that are intended to facilitate meaning-based information exchange between computational agents. However, such annotation faces several challenges such as the heterogeneity of natural language expressions, the heterogeneity of documents structure and context dependencies. While a broad range of annotation approaches rely mainly or partly on the target textual context to disambiguate the extracted entities, in this paper we present an approach that relies mainly on formalized-knowledge expressed in RDF datasets to categorize and disambiguate noun phrases. In the proposed method, we represent the reference knowledge bases as co-occurrence matrices and the disambiguation problem as a 0-1 Integer Linear Programming (ILP) problem. The proposed approach is unsupervised and can be ported to any RDF knowledge base. The system implementing this approach, called KODA, shows very promising results w.r. t. state-of-the-art annotation tools in cross-domain experimentations.
Load balancing of adaptive zone routing in ad hoc networks

A load-balancing scheme has a significant effect on the performance of the adaptive zone routing protocol, especially in an ad hoc network environment. In order to analyze the effect on the distribution of input traffic among global paths in AZRP (adaptive zone routing protocol), the routing process is evaluated in terms of two additional local history tables to be maintained in each node: One for the forward error-control (FEC) code rate and a second one for the required information rate with the neighboring nodes. Then the local routing process can then be simplified by creating an efficient load balancing rule. We then considered the load balancing as an optimization problem by using congestion parameter (CP). The solution to the optimization problem is interestingly in accordance to CP Our simulation results show that AZRP with load balancing (B-AZRP) is so effective that the number of throughputs is increased significantly while the network resource can be utilized more efficiently than that in AZRP (adaptive zone routing protocol). We propose a load balancing for hybrid routing protocol as its name indicates: B-AZRP as an extended from adaptive zone routing protocol (ZRP).
Analysis of Protein Thiol Changes Occurring During Rat Sperm Epididymal Maturation1

ABSTRACT The maturation of spermatozoa throughout the epididymal environment occurs in the complete absence of nuclear protein biosynthesis. As such, these cells rely heavily on posttranslational modifications of existing proteins in order to obtain the potential for fertilization. We have used an OxiCat approach to label both free and oxidized cysteine residues in rat sperm proteins and compared the ratio of reduced:oxidized peptides as these cells undergo epididymal transit. In all, 20 peptides, corresponding to 15 proteins, underwent a change in their redox status. Included in this list were A-kinase anchoring protein 4 and fatty acid-binding protein 9. Both of these proteins undergo intradisulfide bonding, leading to reduced solubility and, in the case of the latter, is likely to cause a loss of protein function. Interestingly, two glycolytic enzymes, hexokinase-1 and lactate dehydrogenase, also display increased cysteine oxidation during epididymal transit, which may be involved in the regulation of the enzyme activities.
Content Based Image Retrieval Using Motif Cooccurence Matrix

We present a new technique for content based image retrieval using motif cooccurence matrix(MCM). MCM is derived using a motif transformed image. The whole image is divided into 2 2 pixel grids. Each grid is replaced with the scan motif which minimize the local gradient while traversing the 2 2 grid forming a motif transformed image. MCM is then de ned as a 3 dimensional matrix whose (i,j,k) entry denotes the probability of nding a motif i at a distance k from motif j in the transformed image. Conceptually the motif cooccurence matrix is quite similar to color cooccurence matrix (CCM). MCM performs much better than CCM since it captures the third order image statistics in the local neighborhood. Experiments con rm that use of MCM considerably improves the performance of CBIR system.
CA-IDTIMS and biostratigraphy: Their impact on exploration

Uranium-Lead dating of Zircon using the Chemical Abrasion-Isotope Dilution Thermal Ionisation Mass Spectrometry (CA-IDTIMS) technique has largely overcome the problem of radiogenic lead loss, and has greatly improved the precision of the dating. That improvement in precision and the plethora of tuffs throughout the Permian and Triassic successions in eastern Australian basins (Tasmania, Sydney, Gunnedah, Bowen and Galilee) permits the recalibration of the Australian spore and pollen palynostratigraphic scheme directly to the numerical timescale, obviating the need for a multi-step process of correlation. The Permian recalibration has, for example, shown the base of the Dulhuntyispora parvithola (APP5) Zone to be about 6 million years younger than previously calibrated, and in the Triassic, the base of the Polycingulatisporites crenulatus (APT5) Zone could be about as much as 10 million years younger than previously calibrated.
An Examination of the Four Realms of Tourism Experience Theory

To meet the expectations of sophisticated and affluent consumers seeking memorable experiences hospitality and tourism industries must redesign and reposition their services. A better understanding of the nature of tourism experiences is necessary for successful redesign. This study examines the four realms of tourism experience theory as a structure for the study of tourism experiences. The four theorized realms appear to exist when tested on actual tourist participation in activities but participation in one realm does not preclude participation in an opposing realm.
Dummynet revisited

Dummynet is a widely used link emulator, developed long ago to run experiments in user-configurable network environments. Since its original design, our system has been extended in various ways, and has become very popular in the research community due to its features and to the ability to emulate even moderately complex network setups on unmodified operating systems. We have recently made a number of extensions to the emulator, including loadable packet schedulers, support for better MAC layer modeling, the inclusion in PlanetLab, and development of Linux and Windows versions in addition to the native FreeBSD and OS X ones. The goal of this paper is to present in detail the current features of Dummynet, compare it with other emulation solutions, and discuss what operating conditions should be considered and what kind of accuracy to expect when using an emulation system.
Two‐dimensional hydrodynamic modelling for urban flood risk assessment using unmanned aerial vehicle imagery: A case study of Kirsehir, Turkey

This study is an assessment of flash flood risk in the downstream part of an intermittent stream which lost its natural bed due to intense human interventions, with the example of Hastane Brook in the province of Kirsehir (Turkey). The effects of flooding events with high, medium, and low probability of occurrence are investigated on a street‐by‐street basis with a two‐dimensional (2D) hydrodynamic model constructed in HEC‐RAS 5.0 software. Due to the lack of records of past flood events required for model calibration, it is aimed to utilise high‐quality data as much as possible in model development. Therefore, to more accurately simulate the movement of water and thereby to advise adequate measures for reducing the most likely flood effects, the required high‐resolution terrain and land use data are produced by processing the aerial images acquired by the unmanned aerial vehicle (UAV) flights over the flood risk zone. The estimation of flood hydrographs is only based on the synthetic unit hydrograph methods due to the absence of representative stream gauging stations inside or near the region. The resultant flood hazard maps are cautionary in terms of demonstrating the effects of possible floods that are unexpected to come from such an intermittent stream basin.
Hybrid Types , Invariants , and Refinements For Imperative Objects

To control the complexity of large object-oriented systems, objects should communicate via precisely-specified interfaces. Static type checking catches many interface violations early in the development cycle, but decidability limitations preclude checking all desired properties statically. In contrast, dynamic checking supports expressive specifications but may miss errors on execution paths that are not tested. We present a hybrid approach for checking precise object specifications that reasons statically, where possible, but also dynamically, when necessary. This hybrid approach supports a rich specification language with features such as object invariants and refinement types.
Pareto Analysis with Uncertainty

Pareto analysis is a broadly applicable method to model and analyze tradeoffs in multi-objective optimization problems. The set of Pareto optimal solutions is guaranteed to contain the best solution for any arbitrary cost function or selection procedure. This work introduces a method to explicitly take uncertainty into account during Pareto analysis. A solution is not modeled by a single point in the solution space, but rather by a set of such points. This is useful in settings with much uncertainty, such as during model-based design space exploration for embedded systems. A bounding-box abstraction is introduced as a finite representation of Pareto optimal solutions under uncertainty. It is shown that the set of Pareto optimal solutions in the proposed approach still captures exactly the potentially best solutions for any cost function as well as any way of reducing the amount of uncertainty. During model-based design space exploration, for instance, design and implementation choices that are made during the development process reduce the amount of uncertainty. Steps in such a refinement trajectory can render previously Pareto optimal solutions sub optimal. The presented results provide a way to ensure that early selections in the refinement process remain valid.
Abnormal Liver Development and Resistance to 2,3,7,8-Tetrachlorodibenzo-p-Dioxin Toxicity in Mice Carrying a Mutation in the DNA-Binding Domain of the Aryl Hydrocarbon Receptor

The aryl hydrocarbon receptor (AHR) is known for its role in the adaptive and toxic responses to a large number of environmental contaminants, as well as its role in hepatovascular development. The classical AHR pathway involves ligand binding, nuclear translocation, heterodimerization with the AHR nuclear translocator (ARNT), and binding of the heterodimer to dioxin response elements (DREs), thereby modulating the transcription of an array of genes. The AHR has also been implicated in signaling events independent of nuclear localization and DNA binding, and it has been suggested that such pathways may play important roles in the toxicity of 2,3,7,8-tetrachlorodibenzo-p-dioxin (TCDD). Here, we report the generation of a mouse model that expresses an AHR protein capable of ligand binding, interactions with chaperone proteins, functional heterodimerization with ARNT, and nuclear translocation, but is unable to bind DREs. Using this model, we provide evidence that DNA binding is required AHR-mediated liver development, as Ahrdbd/dbd mice exhibit a patent ductus venosus, similar to what is seen in Ahr−/− mice. Furthermore, Ahrdbd/dbd mice are resistant to TCDD-induced toxicity for all endpoints tested. These data suggest that DNA binding is necessary for AHR-mediated developmental and toxic signaling.
A dynamic grouping technique for ink and audio notes

In this paper, we describe a technique for dynamically grouping digital ink and audio to support user interaction in freeform note-taking systems. For ink, groups of strokes might correspond to words, lines, or paragraphs of handwritten text. For audio, groups might be a complete spoken phrase or a speaker turn in a conversation. Ink and audio grouping is important for editing operations such as deleting or moving chunks of ink and audio notes. The grouping technique is based on hierarchical agglomerative clustering. This clustering algorithm yields groups of ink or audio in a range of sizes, depending on the level in the hierarchy, and thus provides structure for simple interactive selection and rapid non-linear expansion of a selection. Ink and audio grouping is also important for marking portions of notes for subsequent browsing and retrieval. Integration of the ink and audio clusters provides a flexible way to browse the notes by selecting the ink cluster and playing the corresponding audio cluster.
The Epistemics of Presupposition Projection

Pragmatic accounts of presupposition projection go back to work of Karttunen and Stalnaker, who proposed that presuppositions are requirem ents on the common ground and that their projection behaviour should follow from the w ay this common ground is updated in a discourse. This idea has been worked out by var ious authors who made the idea of shifting context precise, most notably Heim 1983, and presupposition projection has been a major topic in dynamic semantics o f natural language ever since, although there have been dissenting voices, see e.g. Schlenker 2007. Recent advances in the logic of announcements and knowledge — the logic of public announcements of Plaza 1989, the action style dynami cs of Baltag et al. 1999, and the axiomatisation of a very general logic of communicat ion and change in van Benthem et al. 2006 — make it possible to have another go at for malizing the intuitions of Karttunen and Stalnaker. This task is taken up in th s paper. Context is represented (not as a set of propositions but) as a multimoda l Kripke model, utterances are (public) announcements, sequencing is uttering o ne announcement after another, context shift is epistemic updating, common groun d is common knowledge between discourse participants (or, more subtly, knowledg e that the speaker believes to have in common with the audience), and basic presuppositi on are checks on common knowledge. We will show that the core of presupposition p rojection facts then follows from the way in which announcements are composed in d ynamic epistemic logic.
Temporal-color space analysis of reflection

A method to analyze a sequence of color images is proposed. A series of images is examined in a four-dimensional space, which is called the temporal-color space, the axes of which are the three color axes (RGB) and one temporal axis. The significance of the temporal-color space lies in its ability to represent the change of image color with time. A conventional color space analysis yields the histogram of the colors in an image only at an instance of time. Conceptually, the two reflection components from the dichromatic reflection model, the specular reflection component and the body reflection component, form two subspaces in the temporal-color space. These two components can be extracted by principal component analysis. Using this fact, real color images are analyzed, and the two reflection components are separated successfully. <<ETX>>
Morphology-aware alignments for translation to and from a synthetic language

Most statistical translation models rely on the unsupervized computation of word-based alignments, which both serve to identify elementary translation units and to uncover hidden translation derivations. It is widely acknowledged that such alignments can only be reliably established for languages that share a sufficiently close notion of a word. When this is not the case, the usual method is to pre-process the data so as to balance the number of tokens on both sides of the corpus. In this paper, we propose a factored alignment model specifically designed to handle alignments involving a synthetic language (using the case of the Czech:English language pair). We show that this model can greatly reduce the number of non-aligned words on the English side, yielding more compact translation models, with little impact on the translation quality in our testing conditions.
THE DYNAMICAL TRANSITION IN PROTEINS : THE ROLE OF HYDROGEN BONDS

The onset of anharmonic molecular motions in proteins is shown to depend on fluctuations of intramolecularand protein-water hydrogen bonds. Energy-resolved neutron scattering and Mößbauer spectroscopy reveal two anharmonic dynamical components: fast side-chain librations and a less localized reorganisation of the hydrogen bond network. The former involve two levels in the hierarchy of conformational substates: A glassy state, where the side-chains are locked by rigid hydrogen bonds and a liquid state where the bonds fluctuate on a picosecond time scale. The change in the population of the two states ( ∆H ≈ 10 kJ/mol) causes a transition in the dynamic properties.