Miracle-dz/UniFAR-FTUs huggingface dataset:
Validation Led Development of Software Specifications

Abstract A software development methodology is defined that integrates software specification and validation efforts. The integration helps in achieving the twin goals of correct software with well-defined specifications that document it. The major focus of the paper is on dynamic life-cycle models. We indicate how language analysis of the problem description can be extended to derive not only a static class model for the system but also an initial dynamic life-cycle model. Consistency and completeness checks are provided that further drive the requirements elicitation. A case study is presented that clearly demonstrates the methodology.
An empirical investigation on learners' acceptance of e-learning for public unemployment vocational training

Public vocational training is one of the major tasks for the modern government to solve the unemployment problem. The e-learning technology has been seen as a potential solution. However, we cannot confirm whether learners would like to accept e-learning systems. Unfortunately, most of the e-learning research focuses on the platform development. Without the real user acceptance, the implementation of the new technology will be difficult. This study focuses on the user acceptance investigation for the e-learning technology in public unemployment vocational training. The Technology Acceptance Model is adopted for this empirical study. The result shows that most of the public vocational training learners will accept the e-learning technology and the content usefulness is a major factor to impact the learner adoption decision. It suggests that the government e-learning project should focus on the content designed with a standard format (such as SCORM), but not put most budget on the e-learning platform infrastructure.
Memory Physical Aware Multi-Level Fault Diagnosis Flow

Advanced methods of fault detection and diagnosis become increasingly important for the improvement of reliability, safety and efficiency in nanoscale designs. Because the existing approaches do not give a deeper insight and usually do not allow a comprehensive fault diagnosis, multi-level model based methods of fault detection were developed by using hierarchy of detection and diagnosis methods. This contribution proposes a memory physical (scrambling) aware multi-level fault diagnosis flow which is generic and applicable both for planar- and FinFET-based memories. In addition, special test algorithms for classification of static and dynamic faults are discussed while for classification of FinFET-specific faults a new test algorithm March FFDD is proposed. The flow is validated on 16nm FPGA board as well as it has been applied to numerous chips enabling successful physical failure analysis (PFA). At the end of the paper some real-life case scenarios of the flow application are presented.
Reading Augustine through Erasmus' Eyes: Humanist Scholarship and Paratextual Guidance in the Wake of the Reformation

This article investigates Erasmus' edition of the collected works of Augustine of Hippo (Basel 1528–1529) as an example of the interaction between the scholarly culture of Renaissance humanism and the Reformation. It examines how Erasmus' reservations about Augustine's thought informed his presentation of the church father as a brilliant bishop but a mediocre writer. It shows how Erasmus' humanist perspective and theological agenda guided—and at times misguided—his editorial practice, such as in the assessment of authenticity. The result was an edition in which Augustine's works were framed by a highly ideological textual apparatus, which proved especially controversial in post-Tridentine Catholic circles.
A review of conservation treatments of waterlogged basketry from the northwest coast of North America

Abstract Basketry artifacts fabricated from spruce and cedar limb wood and root and the inner bark of yellow and western red cedar have been found in water-saturated archaeological sites in the Pacific Northwest since the mid-twentieth century. These artifacts range in age from a few centuries to more than 5000 years old. While these materials retain their overall physical structure due to burial in an anoxic environment they are degraded on the cellular level. Experiments and treatments performed by archaeologists and conservators over the past 50 years have attempted to stabilize these degraded structures and minimize splitting, crumbing, and distortion of the woven structures as they dried. Many of these tests and treatments are published in out-of-print conference proceedings or remain unpublished in conservation lab records. This review of tests and treatments as well as a current condition assessment of several collections brings this information together for the first time and allows conservators and archaeologists specializing in these treatments to see the broader arch of success and failure of the preservation of waterlogged basketry materials.
"Speaking Nearby:" A Conversation with Trinh T. Minh–ha

NANCY N. CHEN: One of themostimportantquestions for myself deals with the personal. In your latest film SHOOT FOR THE CONTENTS Clairmonte Moore refers to himself as "a member of the residual class" which is a euphemism for "living underground, for living outside the norm, and for living outside of the status quo. " Then another character Dewi refers to having the "pull" of being here and there. I think that this reflects on the personal and I would like to ask how your family background or personal experience has influenced your work,
From a priest into a clown: Makavejev's critical transformation of Bergman

The article examines Makavejev's film experiment conducted at Harvard University on the occasion of an International Conference on Bergman in 1978. The now-lost film, comprised of fragments from Bergman's films, was projected simultaneously on three reels to an audience of Bergman specialists. The experiment was an investigation into critical method, nonverbal cinematic expression, and Bergman's imagery and narrative structure. The author argues that Makavejev's experiment was performed in the Surrealist spirit and that it specifically evokes Surrealist critical practices, which combined the critical and the poetic functions. Like his Surrealist predecessors, Makavejev sought to genuinely transform the object of criticism rather than to critically evaluate it; to ‘liberate’ the poetic fragment from the constraints of narrative logic. The experiment's structure – which is based on the principles of association and repetition – pulls the work in opposing directions, thus creating a fundamentally liminal structure that lies somewhere between two distinct creative visions. The author argues that Makavejev's poetic transformation of Bergman is motivated by a desire to suppress the moralist in favour of the transgressor.
What We Know About Games

This article proposes a reflexive approach on the scientific production in the field of game studies in recent years. It relies on a sociology of science perspective to answer the question: What are game studies really about? Relying on scientometric and lexicometric tools, we analyze the metadata and content of a corpus of articles from the journals Games Studies and Games & Culture and of Digital Games Research Association (DiGRA) proceedings. We show that published researches have been studying only a limited set of game genres and that they especially focus on online games. We then expose the different ways game studies are talking about games through a topic model analysis of our corpus. We test two hypotheses to explain the concentration of research on singular objects: path dependence and trading zone. We describe integrative properties of the focus on common objects but stress also the scientific limits met by this tendency.
De facto refuse or structured deposition? House inventories of the late neolithic Vinča culture

The goal of this paper is to determine whether there are reasons to believe that inventories from the Late Neolithic Vinca culture houses do not represent systemic assemblages and to offer an interpretation of household assemblage variation. Pottery inventories from Vinca culture houses were compared to the ethnographically recorded range of variation in household inventory size. The discard equation was used to make projections of the accumulated assemblages from house assemblages for comparison with empirically observed accumulated assemblages. It is concluded that in general there is no reason to reject the assumption that Vinca household inventories reflect systemic assemblages. Moreover, the patterns of inventory variability can be meaningfully interpreted in social terms. [Projekat Ministarstva nauke Republike Srbije, br. 177008]
PASTA UNTABLE DE PAVO ENRIQUECIDA CON FIBRAS, VITAMINAS Y MINERALES ANTIOXIDANTES COMO INGREDIENTES FUNCIONALES PARA EL ADULTO MAYOR

Se desarrollo una pasta untable destinada al adulto mayor con pavo, fibras solubles (inulina y oligofructosa), vitaminas (A y E) y minerales antioxidantes (selenio y zinc). La formulacion se optimizo con la metodologia de Taguchi, considerando como factores de control: manteca de cerdo, inulina hidratada, emulsionante, sal, oregano/pimienta, ajo y hielo. Se utilizaron los disenos experimentales L8(27) y L9(34) y se realizaron evaluaciones sensoriales, obteniendo la formulacion optimizada un puntaje de 4,51 (superior a "bueno"). Del producto destaco el bajo nivel de lipidos y calorias, la textura suave-agradable y se demostro que el producto es apto y seguro para el consumo, manteniendo su calidad sensorial y sanitaria durante 28 dias de almacenamiento en refrigeracion. El adulto mayor mostro un 90% de aceptacion y alta preferencia por la pasta. Por lo tanto, la metodologia de Taguchi logro optimizar la pasta untable, constituyendo una buena alternativa de alimento para el adulto mayor.
Computational vademecums for real‐time simulation of surgical cutting in haptic environments

A new method for the real‐time simulation of surgical cutting in haptic environments is presented. It is based on the intensive use of computational vademecums, that is, a sort of computational parametric meta‐model, which is computed offline and only evaluated online. Therefore, the necessary time savings are obtained, allowing for feedback responses on the order of kilohertz. Such a high‐dimensional, parametric solution of the problem is computed by employing proper generalized decomposition for the offline phase of the method, along with X‐FEM techniques for the incorporation of the discontinuities in the displacement field after cutting, in the online phase. A thorough description of the proposed method, along with examples of its performance in the simulation of corneal surgery, are provided. Copyright © 2016 John Wiley & Sons, Ltd.
Serum β−endorphin and Catecholamine Concentrations After Successful Resuscitation Stężenie β−endorfiny i katecholamin w surowicy u chorych po skutecznej resuscytacji krążeniowo−oddechowej

Objectives. The aim of this prospective study was to assess the relation between hemodynamic changes and β−endorphin and catecholamine levels in cardiac arrest survivors in the early postresucitation period. Material and Methods. Thirty−two patients in whom spontaneous circulation (ROSC) was restored successfully after cardiac arrest due to non−traumatic reasons were enrolled. Hemodynamic measurements were carried out within the first 24 hours. Serum β−endorphin and catecholamine levels were assessed by the radioimmunometric method. Results. All the patients in whom ROSC was obtained (groups I and II) revealed significantly increased β−endor− phin levels compared with the control group (III). The highest mean serum β−endorphin level was observed in patients who died in hospital (279.3 ± 223.25 pg/ml, group II) compared with patients who survived until discharge (148.5 ± 70.4 pg/ml, group I) (p < 0.05). The differences in catecholamine levels in patients from groups I and II compared with group III were statistically significant (p < 0.05). Survivors demonstrated higher systemic vascular resistance (2830.4 ± 227.3 dyn/s/cm 5 ) and lower cardiac index (2.1 ± 0.5 l/min/m 2 ) than non−survivors (2425.6 ± 1118.9 dyn/s/cm 5 and 2.5 ± 0.4 l/min/m 2 ) (p < 0.05). Patients who died in hospital after ROSC had significantly higher HR, lower MAP, higher CVP, lower PVRI, lower MPAP, and lower PCWP than patients who survived until discharge. Conclusions. The observed changes in the hemodynamic profile in patients after ROSC in connection with changes in β−endorphin level can depict the role of β−endorphin in the distortion of the regulation of vascular peripheral resistance after cardiac arrest (Adv Clin Exp Med 2007, 16, 5, 635–642).
3L: Learning Linux Logging

Logging is a common and important programming practice, but choosing how to log is challenging, especially in a large, evolving software code base that provides many logging alternatives. Insufficient logging may complicate debugging, while logging incorrectly may result in excessive performance overhead and an overload of trivial logs. The Linux kernel has over 13 million lines of code, over 1100 different logging functions, and the strategies for when and how to log have evolved over time. To help developers log correctly we propose a framework that will learn existing logging practices from the software development history, and that will be capable of identifying new logging strategies, even when the new strategies just start to be adopted.
The Ontology of Interactive Art

Developments in the art world such as Duchamp's ready-mades, environmental theatre, and Cage's 2'33" seem always to keep one step ahead of philosophical attempts to characterize the nature and value of art. A pessimist may conclude that theories of art are doomed to failure. But those more optimistic about the prospects for progress in philosophy may retort that avant-garde art does philosophers a great service. It helps us to ensure that our generalizations are true, our conceptual analyses are adequate, and that the theories in which our generalizations and conceptual analyses are embedded enjoy maximal explanatory power. Arguably the most important engine for artistic innovation in recent years has been the new information technologies, especially multimedia, hypertext, and the Internet. These technologies have made possible not only new means for distributing art but also new kinds of art, including "interactive art." While interactive art raises many interesting questions that a full account of it must address, a good start can be made by examining its ontology. Indeed, most questions about interactive art cannot be properly addressed absent a rough outline of its ontology. Moreover, it is not obvious what we should say about the ontology of interactive art. For instance, David Saltz has argued that the type-token distinction (which is widely taken to account for the relationship between works of literature, music, theatre, and drama on one hand and instances or performances of them on the other) does not apply to interactive artworks.1 I shall argue to the contrary that interactive artworks are types whose tokens are produced by our interaction with them. Showing that this is the case will, however, require a
Spectrally Stable Ink Variability In A Multi-Primary Printer

It was shown previously that a multi-ink printer can reproduce spectral reflectances within a specified tolerance range using many distinct ink combinations. An algorithm was developed to systematically analyze a printer to determine the amount of multi-ink variability throughout its spectral gamut. The advantage of this algorithm is that any spectral difference metric can be used as the objective function. Based on the results of the analysis for one spectral difference metric, six-dimensional density map displays were constructed to illustrate the amount of spectral redundancy throughout the ink space. One CMYKGO ink-jet printer was analyzed using spectral reflectance factor RMS as the spectral difference metric and selecting 0.02 RMS as the tolerance limit. For these parameters, the degree of spectral matching freedom for the printer reduced to five inks because the chromatic inks were able to reproduce spectra within the 0.02 tolerance limit throughout the printer’s gamut. Experiments were designed to exploit spectrally stable multi-ink variability within the analyzed printer. The first experiment used spectral redundancy to visually evaluate spectral difference metrics. Using the developed database of spectrally similar samples allows any spectral difference metric to be compared to a visual response. The second experiment demonstrated the impact of spectral redundancy on spectral color management. Typical color image processing techniques use profiles consisting of sparse multi-dimensional lookup tables that interpolate between adjacent nodes to prepare an image for rendering. It was shown that colorimetric error resulted when interpolating between lookup table nodes that were inconsistent in digital count space although spectrally similar. Finally, the analysis was used to enable spectral watermarking of images. To illustrate the significance of this watermarking technique, information was embedded into three images with varying levels of complexity. Prints were made verifying that information could be hidden while preserving the visual and spectral integrity of the original image.
Optimal Path Generation for Monocular Simultaneous Localization and Mapping

Simultaneous Localization and Mapping (SLAM) is a navigation method for autonomous vehicles lacking Global Positioning System data and uses only on-board sensors to map the environment and localize the vehicle's position within the environment. Monocular Simultaneous Localization and Mapping (MonoSLAM) is a branch of SLAM in which the only sensors used are an inertial measurement unit and a single visual camera that is capable of measuring bearings to objects within the environment. Since the initial development of SLAM (circa 1986), several papers have been published in which the authors attempt to optimize the performance of SLAM by generating an optimal path for the vehicle to follow. MonoSLAM is a much newer algorithm (first developed in 2007 by Davison, Reid, Molton, and Stasse); no optimization work has been done specifically for MonoSLAM. This thesis examines a simplified two-dimensional MonoSLAM simulation; no hardware component exists. The author details an optimal path generation (OPG) method designed specifically for MonoSLAM. In MonoSLAM, the vehicle gains useful data when it can detect a change in bearing to objects in the environment (also known as features). The OPG in question maximizes parallax among all visible features in the environment. When comparing paths from this OPG method with paths typically used in MonoSLAM, it is evident that the OPG method produces extremely large fuel savings (up to 98%). This fuel savings comes at the expense of some estimation accuracy; however, the OPG method still produces acceptable estimation performance. Tim Roorda is an MS candidate in the Aerospace Engineering Department working under the supervision of Professor Hurtado. His research interests are in the areas of Guidance, Navigation, & Control (GNC). He is seeking employment within the field of GNC.
UNUNITED FRACTURES OF THE NECK OF THE FEMUR

T is a widespread assumption on the part of the general public and many medical men that, with the use of internal fixation, the problem of treatment of fractures of the neck of the femur has been completely and successfully solved. This method of management has marked an important milestone, but it has not provided the complete and final solution in such fractures. Before internal nailing was used, union occurred in only about 50 per cent of intracapsular fractures of the femur, whereas now about 80 per cent of such fractures unite. However, appraisal of results merely from the standpoint of bone healing does not tell the whole story. When the results are considered from the standpoint of function they are unsatisfactory in a rather large proportion of cases in which union is obtained. The group in which atrophic changes in the head and arthritic complications result even though union occurs, added to the approximately 20 per cent of cases in which the fracture fails to unite, comprises about 35 to 50 per cent of all fractures of the femoral neck. Thus treatment with internal fixation may be said to be actually successful in only one-half to two-thirds of such cases. These figures indicate that there is room for considerable improvement in the treatment of this type of fracture.
Gene expression of excision repair cross-complementation group 1 enzyme as a novel predictive marker in patients receiving platinum-based chemotherapy in advanced bladder cancer

Background Excision repair cross-complementation group 1 enzyme (ERCC1) expression is most probably associated with cisplatin resistance in different tumors, including bladder tumors. Predictive role of ERCC1 expression in the neoadjuvant setting in bladder cancer had been studied as this genetic testing could personalize the chemotherapy by selecting the patients who would benefit from platinum-based chemotherapy. Participants and methods This is a descriptive study that was conducted on 80 patients with muscle invasive bladder cancer who received platinum-based chemotherapy. Clinical and histopathologic parameters along with immunohistochemical ERCC1 staining were examined and correlated with response rates and survival. Results The study showed a significant relationship between treatment response and ERCC1 expression of tumor tissue samples (P=0.013), indicating an association between negative immunoexpression and more favorable outcome. analysis of variance test revealed no significant difference neither between mean progression-free survival in different immunoexpression levels (P=0.794) nor mean overall survival in different immunoexpression levels (P=0.499). Conclusion Our study showed that there was a significant relationship between treatment response and ERCC1 expression of tumor tissue samples, although it did not show a significant difference between ERCC1 expression and mean overall survival or progression-free survival in different immunoexpression levels in patients with bladder cancer who received neoadjuvant platinum-based chemotherapy. ERCC1 may represent a potential predictive, but not prognostic, marker for platinum-based treatment in bladder cancer.
REGULAR VARIATION AND THE IDENTIFICATION OF GENERALIZED ACCELERATED FAILURE-TIME MODELS

Ridder (1990, Review of Economic Studies 57, 167–182) provides an identification result for the Generalized Accelerated Failure-Time (GAFT) model. We point out that Ridder’s proof of this result is incomplete, and provide an amended proof with an additional necessary and sufficient condition that requires that a function varies regularly at 0 and ∞. We also give more readily interpretable sufficient conditions on the tails of the error distribution or the asymptotic behavior of the transformation of the dependent variable. The sufficient conditions are shown to encompass all previous results on the identification of the Mixed Proportional Hazards (MPH) model. Thus, this paper not only clarifies, but also unifies the literature on the nonparametric identification of the GAFT and MPH models.