Miracle-dz/UniFAR-FTUs huggingface dataset:
TIME MODEL AND OPTIMIZATION METHOD IN CONCURRENT PRODUCT DEVELOPMENT PROCESS

A time computing model with its corresponding optimization method is presented for the overlapping and iteration between design activities in concurrent product development process. The design activity groups are divided into coupling and non-coupling activity blocks based on the programmed design structure matrix. According to the direction of information flow, rework time of each design activity caused by overlapping is calculated in turn. Then the time model of product development is formulated. Given cost constraint, the problem of shortest development time is transformed into constrained optimization problem, and a corresponding algorithm for this problem is proposed. The results of application example show that the time model and optimization method are effective.
Hyperdize Jaya Algorithm for Harmony Search Algorithm's Parameters Selection

This paper present a successful method to tune the parameters of the harmony search algorithm, which is a well-known meta-heuristic algorithm. Choosing the values of HS parameters consider as a difficulty when we use it in different cases, and we tried to solve this problem by using another meta-heuristic algorithm to pick the right value for one of these parameters, which is harmony memory consideration rate. To evaluate the performance of the amended algorithm, we have applied it on different bench-mark functions that shows its good performance, in terms of result accuracy in contrast with the original algorithm Harmony Search with less number of iterations, and when we compare it with two other well-known variants of HS.
Diagnosing the transition layer at extratropical latitudes using MLS O 3 and MOPITT CO analyses

he behavior of the extratropical transition layer (ExTL) is investigated using a chemistry transport model (CTM) and analyses derived from assimilation of MLS (Microwave Limb Sounder) O3 and MOPITT (Measurements Of Pollution In The Troposphere) CO data. We firstly focus on a stratosphere-troposphere exchange (STE) case study that occurred on 15 August 2007 over the British Isles (50° N, 10° W). We evaluate the effect of data assimilation on the O3-CO correlations. It is shown that data assimilation disrupts the relationship in the transition region. When MLS O3 is assimilated, CO and O3 values are not consistent between each other, leading to unphysical correlations at the STE location. When MLS O3 and MOPITT CO assimilated fields are taken into account in the diagnostics the relationship happens to be more physical. We then use O3-CO correlations to quantify the effect of data assimilation on the height and depth of the ExTL. When the free-model run O3 and CO fields are used in the diagnostics, the ExTL distribution is found 1.1 km above the thermal tropopause and is 2.6 km wide (2σ). MOPITT CO analyses only slightly sharpen (by −0.02 km) and lower (by −0.2 km) the ExTL distribution. MLS O3 analyses provide an expansion (by +0.9 km) of the ExTL distribution, suggesting a more intense O3 mixing. However, the MLS O3 analyses ExTL distribution shows a maximum close to the thermal tropopause and a mean location closer to the thermal tropopause (+0.45 km). When MLS O3 and MOPITT CO analyses are used together, the ExTL shows a mean location that is the closest to the thermal tropopause (+0.16 km). We also extend the study at the global scale on 15 August 2007 and for the month of August 2007. MOPITT CO analyses still show a narrower chemical transition between stratosphere and troposphere than the free-model run. MLS O3 analyses move the ExTL toward the troposphere and broaden it. When MLS O3 analyses and MOPITT CO analyses are used together, the ExTL matches the thermal tropopause poleward of 50°.
Pediatric Resuscitation Revised: A summary of the updated BLS/NALS/PALS recommendations

In 2005, The American Heart Association (AHA) published its revised recommendations for basic and advanced life support, emphasizing the importance of effective cardiopulmonary resuscitation (CPR). It also simplified the original guidelines, providing standard CPR criteria across all age groups. This work reviews the major changes made in the guidelines for the pediatric and neonatal groups and provides a modified algorithm to help rescuers care for children and infants with cardiac/hypoxic arrest.
Anomalous Diffusion in Microrheology: A Comparative Study

We present a comparative study on two theoretical descriptions of microrheological experiments. Using a generalized Langevin equation (GLE), we analyze the origin of the power‐law behavior of the main properties of a viscoelastic medium. Then, we discuss the equivalence of the GLE with a generalized Fokker‐Planck equation (GFPE), and how more general GFPE's can be derived from a thermo‐kinetic formalism. These complementary theories lead to a justification for the physical nature of the Hurst exponent of fractional kinetics. Theory is compared with experiments.
Genetics of healthy ageing

Veroudering gaat samen met een afname van de fysiologische functies. Deze afname van fysiologische functies kan leiden tot de ontwikkeling van leeftijdsgebonden ziekten, zoals cardiovasculaire ziekte (CVD) of chronische obstructieve longziekte (COPD), en uiteindelijk tot de dood. Er zijn grote verschillen in het tempo van veroudering tussen mensen; mensen worden ziek en sterven op verschillende leeftijden. Genetica lijkt een belangrijke rol te spelen in het tempo van veroudering. Uit eerder onderzoek is gebleken dat de variatie in de menselijke levensduur voor ongeveer 30% erfelijk bepaald is. Dit proefschrift richt zich op de genetische factoren die geassocieerd zijn met sterfte in zijn algemeenheid en met sterfte door specifieke oorzaken (cardiovasculaire en COPD-gerelateerde sterfte) in de algemene bevolking.
Torsional Newton–Cartan geometry from Galilean gauge theory

Using the recently advanced Galilean gauge theory (GGT) we give a comprehensive construction of torsional Newton–Cartan (NC) geometry. The coupling of a Galilean symmetric model with background NC geometry following GGT is illustrated by a free nonrelativistic scalar field theory. The issue of spatial diffeomorphism (Son and Wingate 2006 Ann. Phys. 321 197–224; Banerjee et al 2015 Phys. Rev. D 91 084021) is focussed from a new angle. The expression of the torsionful connection is worked out, which is in complete parallel with the relativistic theory. Also, smooth transition of the connection to its well known torsionless expression is demonstrated. A complete (implicit) expression of the torsion tensor for the NC spacetime is provided where the first-order variables occur in a suggestive way. The well known result for the temporal part of torsion is reproduced from our expression.
Repoliticising women’s rights in development: young African feminisms at the cutting edge

ABSTRACT Twenty-five years on from the UN Conferences in Cairo (1994) and Beijing (1995) with their radical vision of women’s rights – including sexual and reproductive rights – this article considers the challenges to women’s rights from the perspective of young feminists connected to FEMNET. It draws on recent research with FEMNET members, partners, allies, and staff at the secretariat in Nairobi, Kenya. The article has been developed through collaboration and feminist sisterhood with the ATHENA Initiative, a feminist collective working on gender equality, HIV/AIDS, and sexual and reproductive health and rights. The article reflects in particular on the role of young African feminists in reclaiming the women’s rights agenda from political actors who many of us consider to have hijacked the concept and language of ‘women’s rights’ and ‘gender equality’, to further different goals. These concepts have been depoliticised and professionalised, at a time when many of the rights of young women are increasingly under threat.
IMAge/enGINE: a freely available software for rapid computation of high-dimensional quantification.

Background High-dimensional image data including diffusion weighted imaging, diffusion tensor imaging and dynamic imaging are important in exploring the connectivity, cellularity, pharmacokinetic and blood supply. IMAge/enGINE is software especially designed for high-dimensional medical image computing. Methods IMAge/enGINE is implemented based on open-source and cross-platform tools such as Qt, ITK and VTK. It processes the high-dimensional image data in a slice-by-slice computation mechanism. For computational efficiency, C++ is used for implementing IMAge/enGINE and multi-thread computing is handled in the scale of voxels. The architecture of IMAge/enGINE is modularized for easier extension. Results IMAge/enGINE has following features: (I) IMAge/enGINE is free for research use; (II) it has an easy-to-use graphic user interface designed for clinical users without programming or engineering background; (III) its frame work is open-source and extensible. Developers can implement algorithms as modules and integrate them into IMAge/enGINE or generate their own application. Conclusions The source of IMAge/enGINE is hosted at https://github.com/VusionMed/IMAge-enGINE. Multiple diffusion and perfusion models are implemented and integrated into IMAge/enGINE and its binaries can be downloaded freely at http://www.vusion. com.cn/? page_id=14971.
Fish Detection by LBP Cascade Classifier with Optimized Processing Pipeline (スマートインフォメディアシステム)

In this paper, we present a fish detection and classification mechanism using LBP feature. In this system, training sets are created for each fish species. Besides the strict sample alignment, a processing pipeline is applied in both training and detection process to achieve high performance of detection task. This pipeline further highlights unique features of each species such as edges and dominant colors. Machine learning is used to find the best pipeline model to be applied for each training set. A case study at a local aquarium shows high accuracy at a compelling detection rate.
A Formal Description of UML Sequence Diagram

The Unified Modeling Language(UML) is a common graphical modeling language.It has become a de facto standard in the analyzing and designing the object oriented system.However,the UML is not a formal language,its lack of rigor and formal semantics prevents it from further developing.Linear temporal logic is a formal description language of the dynamic semantics by of the concurrent or the reactive program.It suits for precisely representing the dynamic semantics of a model.This paper defines formal syntax of the sequence diagram and gives a description of its semantics by using the linear temporal logic.Moreover,a property of the model is proved.It provides the foundation for the analysis and validation of the model.
Correspondence Analysis in R, with Two- and Three-dimensional Graphics: The ca Package

We describe an implementation of simple, multiple and joint correspondence analysis in R. The resulting package comprises two parts, one for simple correspondence analysis and one for multiple and joint correspondence analysis. Within each part, functions for computation, summaries and visualization in two and three dimensions are provided, including options to display supplementary points and perform subset analyses. Special emphasis has been put on the visualization functions that offer features such as different scaling options for biplots and three-dimensional maps using the rgl package. Graphical options include shading and sizing plot symbols for the points according to their contributions to the map and masses respectively.
Toward an Understanding of the Globular Cluster Overabundance around the Central Giant Elliptical Galaxy NGC 1399

We investigate the kinematics of a combined sample of 74 globular clusters around NGC 1399. Their high velocity dispersion, increasing with radius, indicates their association with the gravitational potential of the galaxy cluster rather than with that of NGC 1399 itself. We find no evidence for rotation in the full sample, although there is some indication of rotation in the outer regions. The data do not allow us to detect differences between the kinematics of the blue and red subpopulations of globular clusters. A comparison of the globular cluster systems of NGC 1399 and those of NGC 1404 and NGC 1380 indicates that the globular clusters in all three galaxies are likely to have formed via similar mechanisms and at similar epochs. The only property that distinguishes the NGC 1399 globular cluster system from these others is that it is 10 times more abundant. We summarize the evidence for associating these excess globular clusters with the galaxy cluster rather than with NGC 1399 itself and suggest that the overabundance can be explained by tidal stripping, at an early epoch, of neighboring galaxies and subsequent accumulation of globular clusters in the gravitational potential of the galaxy cluster.
Munc18 function in large dense-core vesicle exocytosis

Neurotransmitter and hormon release is based on Ca2+ dependent exocytosis. The sequential steps of exocytosis are executed by proteins and protein complexes. Formation of the SNARE complex is essential in later steps of exocytosis. The Sec1/Munc18 proteins are also essential in exocytosis and other membrane trafficking processes but their molecular and cellular function is less clear than that of the SNARE proteins.In our work we studied the role of Munc18 in large dense-core vesicle exocytosis in adrenal chromaffin cells. We combined complementary techniques (electrophysiology, electronmicroscopy) to assay docking, priming and Ca2+ triggered fusion of the vesicles. First, we further confirmed the view that Munc18-1 is a positive regulator of large dense-core vesicle exocytosis. Second, we were interested the downstream molecular targets of Munc18-1 therefore we studied the physiological role of Munc18-1/syntaxin1 interaction. We showed that this interaction is highly important in functional vesicle docking but further experiments are needed to decide whether it is the only major factor or there are other essential downstream targets for Munc18-1. Third, we studied different Munc18 isoforms and our results imply that Munc18 may act not only at the docking but also at the priming step of large dense-core exocytosis. Although some publications argue for the regulatory role of Munc18 in single vesicle fusion kinetics, we found no sign for the direct involvement of Munc18 in Ca2+ triggered fusion. Fourth, we also focused on the upstream regulation of Munc18-1. We obtained opposing data to the hypothesis that Munc18-1 is an important element of the phorbol ester induced potentiation of catecholamine release in the diacylglycerol (DAG) route. The DAG pathway remains an important but poorly understood regulator of transmitter/hormon release, which probably has multiple branches targeting multiple molecules and exocytic steps. Taken together, our findings provided inspiring hints about many aspects of Munc18 function in Ca2+ dependent exocytosis. Perhaps the most important aspect is to match the consecutive steps of exocytosis with the molecular happenings along the Munc18/syntaxin complex SNARE complex axis. Our complementary assays combined with the gene knockout and rescue technique could promote adrenal chromaffin cells to become the first system where this match between cellular function and molecular structure is clarified.
NooJ's dictionaries

NooJ is the new linguistic development environment developed by Max Silberztein. It has been designed to replace INTEX in the near future. NooJ has been rewritten from the ground up, with a new computer architecture and an innovative linguistic engine that makes it possible to build a new set of NLP applications. Among other novelties, NooJ's linguistic engine uses a new type of lexical data base, its dictionaries, that are an improvement upon the INTEX dual system of DELA dictionaries and Lexicon-Grammar tables.
The impact of risk based audit on financial performance in Commercial Banks in Kenya

The financial performance requires appropriate risk based audit practices hence effective and efficient internal audit. For the purpose of this study the researcher sought to determine the impact of risk-based audit on financial performance in commercial banks in Kenya. This study adopted Correlation research design for it describes the specific phenomenon in its current trends, current events and linkages between different factors at the current time. The target population for the study constituted of 44 respondents who were finance officers, internal auditors, the credit officers, relationship officers/managers and accountants at commercial banks in Kenya. The study administered questionnaires which included structured and unstructured questions to all the respondents since it was the most appropriate tool to gather information. Descriptive statistics such as mean, standard deviation and frequency distribution were used to analyze the data Data presentation was done by the use of pie charts and tables for ease of understanding and interpretation. From the findings, the study concludes that risk based auditing through risk assessment, risk management, annual risk based planning, internal auditing standards and internal auditing staffing should be enhanced. This would enable the firm to be able to detect risks on time and concentrate on high risk areas leading to increased transparency and accountability, hence enhancing financial perfomance. Proper planning improves efficiency, accuracy, completeness, timeliness, convenience and clarity. Credible audit reports, auditor independence to identify and rectify audit errors, effective implementation of audit recommendations, financial management and compliance with accepted audit standards, effective internal audit staff and independent audit committee influence financial perfomance in commercial banks. From the findings, the stud> recommends that management in commercial banks in Kenya should adopt effective risk based audit practices such as risk assessment, risk management, annual risk based planning, internal auditing standards and internal auditing staffing to enhance effective and efficient financial performance.
Extraordinary encounters : authenticity and the interview

Introduction: The Interview as Analytical Category James Staples and Katherine Smith Chapter 1. The Transcendent Subject? Biography as a Medium for Writing 'Life and Times' Pat Caplan Chapter 2. Using and Refusing Antiretroviral Drugs in South Africa: Towards a Biographical Approach Isak Niehaus Chapter 3. An 'Up and Down Life': Understanding Leprosy through Biography James Staples Chapter 4. Finding My Wit: Explaining Banter and Making the Effortless Appear in the Unstructured Interview Katherine Smith Chapter 5. 'Different Times' and Other 'Altermodern' Possibilities: Filming Interviews with Children as Ethnographic 'Wanderings' Angels Trias i Valls Chapter 6. Dialogues with Anthropologists: Where Interviews Become Relevant Judith Okley Chapter 7. Talking and Acting for Our Rights: The Interview in an Action-research Setting Ana Lopes Epilogue: Extraordinary Encounter? The Interview as an Ironical Moment Nigel Rapport Notes on Contributors
Effects of online learning communities on college students’ knowledge learning and construction

Abstract This study aims to discuss the application of online learning communities to university courses and the effect on students’ knowledge construction. Total 186 college students in Fujian Province, China, are selected as the research objects. The virtual online community in this study is a course online community with the constructive teaching theories as the core idea, combines knowledge sharing and co-construction, and applies online community platforms to assist students in the course learning. According to different interaction styles in the virtual online community, the students are divided into the teaching assistant (TA) participation group and the control group for the teaching experiment. Referring to Salmon’s (2003) five-stage online teaching model, teaching assistants in the TA participation group proceed online teaching, participate in the interaction and discussion in the virtual online community, and apply knowledge construction code table as the data analysis tool to code and analyze the interaction contents between teaching assistants and students in virtual online community as well as to discuss the effect of virtual online community integrated teaching on college students’ knowledge construction. The research findings show positive effects of the virtual online communities and online teaching of teaching assistants on students’ knowledge construction; besides, teaching assistants and the timely application of teaching strategies are the key factors in students constructing high-level knowledge. Nevertheless, students’ aggressiveness and reflection depth to actively participate in online community activity and express feedback opinions require reinforcement.
7 Actuator Sub-System : The Auditory Cueing

Patients with Parkinson’s Disease (PD) are usually affected by clinical symptoms associated to a reduced motor performance that frequently compromises their ability to walk independently and safely [1]. While a number of pharmacological solutions help to manage the symptoms of PD, some gait-related problems appear resistant to such treatments and, over time, movement-related disturbances turn out to be the most incapacitating symptoms of the disease [2]. The internal regulation of step length is generally affected, which is reflected as an inability to generate sufficient amplitude of movement, even though the control of cadence, or step rate, is intact. This is in fact the foundation for the use of external rhythmic stimuli, or cueing, as a way to ameliorate the impact of the disease on rhythmic movement-based tasks, as is the case of walking [3, 4]. Typically, to compensate for the reduced step length, patients may increase the stepping frequency. These symptoms are usually referred to as “continuous gait problems”, since the changes in walking patterns are more or less consistent from one step to the next. With disease progression, “episodic gait disturbances” may appear which result in intermittent and occasional episodes, such as start hesitation, Freezing of Gait (FOG) episodes and festination [3–5].
Robust image and video transmission across heterogeneous networks with packet erasures and bit errors

In this dissertation, a rate allocation algorithm is developed, using a trellis structure and the Viterbi search algorithm. The rate allocation algorithm couples a source coder and a channel coder, thus providing joint source and channel coding, by allocating unequal error protection (UEP) to the channel packets. The rate allocation is sub-optimal in an expected mean squared error (MSE) sense, but the results indicate the sub-optimality is sufficiently small so as to be ignored in most cases. The complexity of the rate allocation system is significantly less than any known globally optimal search. The allocation process requires knowledge of the distortion-rate function of the source coder, and the packet error probabilities of the channel coder. The distortion-rate function, or an approximation thereof, for the source coder can often be obtained directly from the source encoder with minimal complexity increase. In the work presented, the error in the distortion estimates from two source encoders (JPEG-2000 and 3-D SPIHT) are shown to be greater contributors to sub-optimality than the rate allocation algorithm. Using the rate allocation process, this dissertation presents a system for robust transmission of images and video across noisy channels. The binary symmetric channel model is used for the image transmission work as well as for general Gaussian and Laplacian sources. The channel model is extended to include erasures for the video transmission work. Simulation results demonstrate the system performance, having a high expected peak signal to noise ratio (PSNR), and is robust to both random errors and erasures.