Miracle-dz/UniFAR-FTUs huggingface dataset:
What Is the Rational Unified Process ?

What exactly is the Rational Unified Process, or RUP as many call it now? I can give several answers to this question, from different perspectives: q What is the purpose of the RUP? It is a software engineering process, aimed at guiding software development organizations in their endeavors. q How is the RUP designed and delivered? It is a process product, designed like any software product, and integrated with the Rational suites of software development tools. q What is the structure of the RUP; how is it organized internally? The RUP has a very well-defined and regular structure, using an object-oriented approach for its description. q How would an organization proceed to adopt the RUP? The RUP is a process framework that allows a software development organization to tailor or extend the RUP to match its specific needs. q What will I find in the RUP? It captures many of modern software development's best practices harvested by Rational over the years, in a form suitable for a wide range of projects and organizations. Many organizations have slowly become aware of just how important a well-defined and well-documented software development process is to the success of their software projects. The development of the CMM (Capability Maturity Model) by the Software Engineering Institute (SEI)
Depth maps estimation and use for 3DTV

We describe in this document several depth maps estimation methods, in different video contexts. For standard (monocular) videos of fixed scene and moving camera, we present a technique to extract both the 3D structure of the scene and the camera poses over time. These information are exploited to generate dense depth maps for each image of the video, through optical flow estimation algorithms. We also present a depth maps extraction method for multi-view sequences aiming at generating MVD content for 3DTV. These works are compared to existing approaches used at writing time in the 3DV group of MPEG for normalization purposes. Finally, we demonstrate how such depth maps can be exploited to perform relief auto-stereoscopic rendering, in a dynamic and interactive way, without sacrifying the real-time computation constraint.
Chinese FrameNet Data in Semantic Web Language

The Chinese FrameNet Project is creating a lexical resource for Chinese, based on the principles of Frame Semantics and supported by corpus evidence. The resulting database mainly consists of descriptions of the semantic frames underlying the meanings of the words described and a representative collection of annotated corpus attestations, which jointly exemplify the linking between FEs and their syntactic realizations. This paper provides a representation for the frames in OWL Web Ontology Language and annotated sentences in XML, which can represent our ontologies and to make CFN information machine readable and understandable.
Exposure fusion via textural and color transform

Due to the low dynamic range of image capture devices, a single still image is usually insufficient to represent a high contrast scene. Exposure fusion can enhance the dynamic range of an image, so that it can display both the details in the bright and dark regions. A novel exposure fusion method is proposed in this paper. Both the textural and color transform are introduced in our algorithm to preserve the details and color information in the resulting image. Experimental results show that the proposed method outperforms the compared algorithms.
Accumulation of heavy metals in fishes: A human health concern

Investigations on the accumulation of heavy metals (Cu, Ni, Fe, Co, Mn, Cr and Zn) were carried out three commercially important fishes namely Channa punctatus (murrel), Clarias gariepinus (cat fish) and Labeo rohita (carp). The accumulation was observed in tissues of muscles, liver, kidney, gills, and Integument. The results revealed that the Fe and Zn concentrations were the highest in all tissues analyzed, followed by Ni, Cu, Co, Mn and Cr in almost all the three species. In the muscles of Channa punctatus the order of accumulation is Fe >Zn > Ni > Cu > Co> Mn, whereas in Clarias gariepinus itwasFe>Zn>Ni >Cu=Mn>Co>Cr. In Labeo rohita the pattern of accumulation was Zn> Fe > Ni > Cu > Co > Mn. The order of accumulation of heavy metals was similar in murreIand cat fish.
Part-time working by students: is it a policy issue, and for whom?

This paper uses data from interviews with representatives of national and state organisations that have a policy interest in student-working in Australia. The interviewees included representatives from employer bodies and trade unions as well as government organisations. The data are used to discuss these stakeholders’ perceptions of the main advantages and disadvantages of working by young full-time students and the ways in which organisations in the business and educational sectors have adapted their policies and practices for student-working. The analysis is then used to inform a discussion about whether this is a legitimate area for public policy formulation and if so, what principles might underpin such policy and what some policies might look like.
Computing with Free Algebras and Generalized Constructors

We describe arithmetic computations in terms of operations on some well known free algebras (S1S, S2S and ordered rooted binary trees) while emphasizing the common structure present in all them when seen as isomorphic with the set of natural numbers. Constructors and deconstructors seen through an initial algebra semantics are generalized to recursively defined functions obeying similar laws. Implementations using Scala’s apply and unapply and GHC’s view construct are discussed together with an application to a realistic arbitrary size arithmetic package written in Scala, based on the free algebra of rooted ordered binary trees.
Seamless development of software product lines

One of the key problems in the development of software product lines is the representation and management of variability and commonality. The customary way to define both aspects is by means of feature models that also allow the configuration of each specific application within the product line to be selected. However the control of traceability between the features and the architectural models (generally based on UML) is not simple. The fundamental reasons are the complexity of the traceability relationships, and the fact that the same modeling mechanisms (e.g., the specialization in a class diagram) serve to express the variation points in the models that represent the product line and in each specific application. The aim of this work is to use the package merge mechanism of the UML 2 infrastructure meta-model as the representation (and support for the configuration) of the variability in the product line while reserving the classical mechanisms (the specialization in the structural models, the <<extends>> relationship in the use case models, etc.) to express the variants in execution time of each specific application. The structure of the feature models is directly reflected in the relationships between packages in the architectural models, so the traceability of the configuration decisions is straightforward. The direct implementation of the package merge mechanism using the facility of partial classes of languages such as C# is an additional advantage that leads to the ideal of "seamless development".
Porous Properties of Pillared Carbons Prepared from the Thermal Reduction of Graphite Oxide Repeatedly Silylated with Methyltrichlorosilanes

Pillared carbons with interlayer spacings of 1.27 – 1.37 nm were obtained from graphite oxide repeatedly silylated with methyltrichlorosilane, when the content of it was higher than 1.5 per GO unit. The BET surface area of the resulting pillared carbons reached 723 m2/g and decreased with the increase in the content of Si because of the increase in the density of pillar. Based on the intercalation behaviors of n-alkylamine molecules into pillared carbons, it has been concluded that the entrance for organic molecules between pillars and length of pillars were almost independent of the pillar density. The molecular length of n-butylamine molecule added during the silylation of graphite oxide seems to determine the length of the pillars.
Magnetophotoluminescence of negatively charged excitons in narrow quantum wells

We present the results of photoluminescence experiments on the negatively charged exciton X- in GaAs/AlxGa1-xAs quantum wells (QW) in high magnetic fields (≤50 T). Three different QW widths are used here: 100, 120, and 150 A. All optically allowed transitions of X- are observed, enabling us to experimentally verify its energy-level diagram. All samples behave consistently with this diagram. We have determined the binding energy Eb of the singlet and triplet state of X- between 23 and 50 T for the 120 and 150 A QW, while only the triplet Eb is observed for the 100 A QW. A detailed comparison with recent theoretical calculations shows an agreement for all samples across this entire field range.
Achieving interoperability among healthcare standards: building semantic mappings at models level

Resolving heterogeneities between data and processes paves the way for interoperability between different heterogeneous systems. Healthcare standards provide the base for interoperability between different Electronic Health Record (EHR) system. The problems related to data interoperability arise when two EHR system's are complaint to heterogeneous healthcare standards and want to communicate with each other. To achieve semantic data interoperability, there is need to resolve data level heterogeneity. In this paper, we propose system that enable high level of accuracy of mapping between heterogeneous healthcare standards model. The broader goal of data interoperability is achieved when these heterogeneities are resolved through ontology matching and generation of accurate mapping file, that helps in clinical message conversion from one standard to another. To justify claim we investigate HL7 and openEHR standards ontological mappings. We will discuss transformation of HL7 and openEHR models at high level and instance transformation at the realization level. The proposed approach provides accurate mappings that enables timely health information sharing among different healthcare systems to provide better healthcare to patients.
Strong Zero-knowledge Authentication Based on Virtual Passwords

Currently, the security of the users' privacy in public spaces has more concerns especially in web applications. Also, the unconsciousness of users by the importance of the quality cryptographic of these authentication parameters makes their commoditized accounts. Hence, investment in the computer discipline becomes more demanding to prevent potential attacks. In this paper, we intro-duce a new strong zero knowledge authentication system based on virtual passwords (SAVP). Its objective of this paper is to ensure the identification of users on the net-work by ensuring intractability, portability, unpredictability, integrity and reusability of their authentication set- tings. In the second section, we study the difficulties and users habits followed in the selection, storage or memorizing passwords, as well, the evolution and the limits of all categories of texture password authentication. Also, we locate the importance of integration of salts in authentication mechanisms and their impacts on the robustness of passwords regenerated. As for the third section, we start with a detail description of all mechanisms and component contributing to the robustness of our mutual authentication system. Our goal is to provide a strong zero knowledge authentication system based on salts generated by a cryptographically secure random regenerator, algorithm for dynamic rotation of binary strings, symmetric cryptography primitive, one-way hash function and random nonce to provide mutual authentication. The security analysis of our proposal, which is the goal of the fourth section, shows their ability to resist against multiple types of attacks.
Medical Marijuana: Review and Analysis of Federal and State Policies

This report discusses the issue facing Congress on whether to continue to support the executive branch’s prosecution of medical marijuana patients and their providers, in accordance with marijuana’s status as a Schedule I drug under the Controlled Substances Act, or whether to relax federal marijuana prohibition enough to permit the medical use of botanical cannabis products by seriously ill persons, especially in states that have created medical marijuana programs under state law.
The effects of task uncertainty, decentralisation and accounting information systems characteristics on the accounting information systems performance in Tehran Stock Exchang: Three way interaction model

Accounting information system design, management information system design, organizational design and other control arrangements of the organization form a package which can only be evaluated as a whole. Thus accounting information system could interact not only with organization environment but also another control subsystem such as organizational design to affect performance. Therefore, this study examines the interaction effects of task uncertainty, decentralization and accounting information systems characteristics on the accounting information systems performance. Accounting information systems characteristics are defined in terms of the availability of those characteristics which were scope and aggregation. User satisfaction is a surrogate measure that is applied for measuring the performance of accounting information system. The responses of 60 financial managers drown from a cross section of Tehran Stock Exchange, to a questionnaire survey were analyzed by examining the regression equation for three way interaction model and partial derivatives of the equation. The results show that: a combination of a high degree of decentralization, broad scope and aggregated accounting information system information have a positive impact on the performance of the accounting information systems which act in a low or high task uncertainty situations.
PerSum: Novel Systems for Document Summarization in Persian

In this paper we explore the problem of document summarization in Persian language from two distinct angles. In our first approach, we modify a popular and widely cited Persian document summarization framework to see how it works on a realistic corpus of news articles. Human evaluation on generated summaries shows that graph-based methods perform better than the modified systems. We carry this intuition forward in our second approach, and probe deeper into the nature of graph-based systems by designing several summarizers based on centrality measures. Ad hoc evaluation using ROUGE score on these summarizers suggests that there is a small class of centrality measures that perform better than three strong unsupervised baselines.
The No—Choice Alternative in Conjoint Choice Experiments

Conjoint choice designs are frequently applied in practice, and often a base alternative is added to the design. When such a 'no-choice' base alternative is present in conjoint choice experiments a constant term should be added to the design ('X'-) matrix with attribute dummies when effects type and/or linear coding is used for the attribute levels. Not including such a constant may result in a much lower model and predictive fit and even biased estimates for the (linear) attributes.
Using a Folksonomy Approach for Location Tagging in Community Based Presence Systems

Finding generic ways of representing location in context aware systems is an interesting problem with many pitfalls. In this work we examine how a folksonomy approach with collaborative location tagging can be used to allow for end users to communicate their whereabouts to others in a way that makes sense within a specific community. The Spots system allows for users to define places based on patterns of WiFi signal strength profiles. The places are tagged with labels describing the place. Different tags can be provided within different communities. A usage study shows a great diversity in how users chose to name places.
Oscillations in functional structural plant growth models

The dynamic model of plant growth GreenLab describes plant architecture and functional growth at the level of individual organs. Structural development is controlled by formal grammars and empirical equations compute the amount of biomass produced by the plant, and its partitioning among the growing organs, such as leaves, stems and fruits. The number of organs initiated at each time step depends on the trophic state of the plant, which is evaluated by the ratio of biomass available in plant to the demand of all the organs. The control of the plant organogenesis by this variable induces oscillations in the simulated plant behaviour. The mathematical framework of the GreenLab model allows to compute the conditions for the generation of oscillations and the value of the period according to the set of parameters. Two case-studies are presented, corresponding to emergence of oscillations associated to fructiﬁcation and branching. Similar alternating patterns are commonly reported by botanists. In this article, two examples were selected: alternate patterns of fruits in cucumber plants and alternate appearances of branches in Cecropia trees. The model was calibrated from experimental data collected on these plants. It shows that a simple feedback hypothesis of trophic control on plant structure allows the emergence of cyclic patterns corresponding to the observed ones.
Germline Genetic Variation Modulates Tumor Progression and Metastasis in a Mouse Model of Neuroendocrine Prostate Carcinoma

Neuroendocrine (NE) differentiation has gained increased attention as a prostate cancer (PC) prognostic marker. The aim of this study is to determine whether host germline genetic variation influences tumor progression and metastasis in C57BL/6-Tg(TRAMP)8247Ng/J (TRAMP) mouse model of aggressive NEPC. TRAMP mice were crossed to the eight progenitor strains of the Collaborative Cross recombinant inbred panel to address this. Tumor growth and metastasis burden were quantified in heterozygous transgene positive F1 male mice at 30 weeks of age. Compared to wild-type C57BL/6J-Tg(TRAMP)824Ng/J males, TRAMP x CAST/EiJ, TRAMP x NOD/ShiLtJ and TRAMP x NZO/HlLtJ F1 males displayed significant increases in tumor growth. Conversely, TRAMP x WSB/EiJ and TRAMP x PWK/PhJ F1 males displayed significant reductions in tumor growth. Interestingly, despite reduced tumor burden, TRAMP x WSB/EiJ males had an increased nodal metastasis burden. Patterns of distant pulmonary metastasis tended to follow the same patterns as that of local dissemination in each of the strains. All tumors and metastases displayed positive staining for NE markers, synaptophysin, and FOXA2. These experiments conclusively demonstrate that the introduction of germline variation by breeding modulates tumor growth, local metastasis burden, and distant metastasis frequency in this model of NEPC. These strains will be useful as model systems to facilitate the identification of germline modifier genes that promote the development of aggressive forms of PC.
TRACES ON OPERATOR IDEALS AND ARITHMETIC MEANS

This article investigates the codimension of commutator spaces (I, B(H)) of operator ideals on a separable Hilbert space, i.e., "How many traces can an ideal support? " We conjecture that the codimension can be only zero, one, or infin- ity. Using the arithmetic mean (am) operations on ideals introduced in (13) and the analogous arithmetic mean operations at infinity (am-∞) that we develop ex- tensively in this article, the conjecture is proven for all ideals not contained in the largest am-∞ stable ideal and not containing the smallest am-stable ideal, for all soft-edged ideals (i.e., I = se(I) = IK(H)) and all soft-complemented ideals (i.e., I = scI = I/K(H)), which include all classical operator ideals we considered. The conjecture is proven also for ideals whose soft-interior, seI, or soft-cover, scI, are am-∞ stable or am-stable and for other classes of ideals. We show that an ideal of trace class operators supports a unique trace (up to scalar multiples) if and only if it is am-∞ stable. For a principal ideal, am-∞ stability is what we call regularity at infinity of the sequence of s-numbers of the generator. We prove for these sequences analogs of several of the characterizations of usual regularity. In the process we apply trace extension methods to two problems on elementary operators studied by V. Shulman. This article presents and extends several of the results announced in PNAS-US (19) and then expanded and developed in a series of papers (20)-(24).
Computerised education for consumers

This chapter aims to provide the reader with an understanding of the rationale and methods of patient education for health promotion and management of health problems; the principles of design and evaluation of computerised patient education materials; and areas of potential future impact of IT in patient education and health promotion. The reader is assisted in acquiring skills in appraising the effectiveness of IT applications in patient and consumer education and health risk assessment
Opportunities and Limitations of Building Precooling

Conventional building cooling strategies largely ignore the thermal capacitance of the structure. Previous simulations and experiments have shown that significant operating savings can be realized when control strategies are used that precool the mass of the building. These savings result from lower utility rates and improved equipment performance at night. A detailed simulation tool has been developed to study building precooling. The program can examine the effects of building construction, weather, load profile, utility rates, cooling equipment, and control method on the daily cooling costs. Occupant comfort was also calculated and constrained during the occupied period. Numerical optimization was used to find the control strategy that minimized daily cooling costs. Simplifications were made to the optimal control problem which significantly reduce the dimensionality. The effect of these simplifications on daily cooling cost is demonstrated over a range of cooling plants and weather data. These simplifications could form the basis of an online adaptive control strategy. The simplifications also enabled plots of the daily cooling cost as a function of precooling to be generated. These plots were used to show how building precooling is limited by economic or comfort considerations. INTRODUCTION The standard procedure for controlling zone setpoints in most commercial buildings is night setback temperature control. During the occupied period, the zone temperature is set to a constant value within the comfort range. When the building is unoccupied, the set point is raised to a value outside of the comfort range. Night setback temperature control minimizes the zone cooling requirement, but that does not always translate to the lowest operating cost. Dynamic building control strategies make use of the building thermal storage by manipulating the cooling set points to reduce the operating costs. Studies have shown that utilizing thermal mass can yield savings of up to 50% on daily operating costs [Braun 1990]. These savings can be attributed to four effects. 1. Reduced electrical energy costs due to time of day utility rates 2. Improved equipment performance from more favorable ambient and part-load conditions 3. Cooling from night ventilation 4. Lower utility demand charges