Miracle-dz/UniFAR-FTUs huggingface dataset:
Generic business process modelling framework for quantitative evaluation

Business processes are the backbone of organisations used to automate and increase the efficiency and effectiveness of their services and products. The rapid growth of the Internet and other Web based technologies has sparked competition between organisations in attempting to provide a faster, cheaper and smarter environment for customers. In response to these requirements, organisations are examining how their business processes may be evaluated so as to improve business performance. This thesis proposes a generic framework to expand the applicability of various quantitative evaluation to a large class of business processes. The framework introduces a novel engineering methodology that defines a modelling formalism to represent business processes that can be solved for a set of performance and optimisation algorithms. The methodology allows various types of algorithms used in model-based business process improvement and optimisation to be plugged in a single modelling formalism. As a part of the framework, a generic modelling formalism (MWF-wR) is developed to represent business processes so as to allow quantitative evaluation and to select the parameters for the associated performance evaluation and optimisation. The generic framework is designed and implemented by developing software support tools using Java as object oriented programming language combining three main modules: (i) a business process specification module to define the components of the business process model, (ii) a stochastic Petri net module to map the business process model to a stochastic Petri net, and (iii) an algorithms module to solve the models for various performance optimisation objectives. Furthermore, a literature survey of different aspects of business processes including modelling and analysis techniques provides an overview of the current state of research and highlights gaps in business process modelling and performance analysis. Finally, experiments are introduced to investigate the validity of the presented approach.
Development of a Robotic Part Fixture Mechanism for PNP Operation in an Industrial Scenario

This paper deals with the design, fabrication and implementation of an efficient method of part-feeding mechanism (work-space fixture) for a stationary 2-DOF cylindrical coordinate robot. The aim was to design, fabricate each part of the unit with indigenous components and construct a prototype of an part- feeding mechanism such as a conveyer belt for a robotic system to pick up parts from one place and keep it at another place, say in a container. This is achieved by means of a robot which is used in conjunction with the conveyor belt mechanism for performing an assembly operation, say, a PNP operation and interacting with each other and control it with a Graphical User Interface (GUI) software written in Visual Basic (VB) language while performing an assembly operation avoiding all the obstacles in its path of motion from the source to the destination. The objective of this work was to build a low cost part-feeding mechanism to the robot that could perform simple industrial manipulation tasks like picking up of manufactured components from conveyer belt and placing in a bin or a container. The simulation, design, fabrication and implementation of the work is divided into different stages, viz., Design and fabrication of the mechanical hardware of the robotic system, Design of the electrical / electronic hardware for the robot system, Development of the control software and various algorithms by developing a user friendly GUI using Visual Basic language in order to control the entire designed and fabricated robotic system, Integration of all the above three stages to perform an application such as grasping of objects which are arriving on a conveyor belt and placing in an container such as a bin and repeating the same task again and again.
A Counterfactual Theory of Prevention and 'Causation' by Omission

There is, no doubt, a temptation to treat preventions, such as ‘the father’s grabbing the child prevented the accident’, and cases of ‘causation’ by omission, such as ‘the father’s inattention was the cause of the child’s accident’, as cases of genuine causation. I think they are not, and in this paper I defend a theory of what they are. More specifically, the counterfactual theory defended here is that a claim about prevention or ‘causation’ by omission should be understood not as being directly about actual genuine causation but primarily as a counterfactual claim about genuine causation. The relation between actual causation and the mere possibility of causation allows my theory to explain both the difference and the similarity between the two notions (causation and prevention/omission). Further, the difference explains certain intuitions we have and the similarity justifies and explains the fact that for practical purposes we usually treat preventions and omissions as if they were genuine causation. Finally, the fact that this counterfactual theory of prevention and omission takes causation as primitive suggests that it is consistent with any theory of causation. This allows us to construct two arguments against what I will call genuinism, the view that cases of prevention and ‘causation’ by omission really are cases of genuine causation. In section II I show that genuinism does not account for the so-called intuition of difference. In section III I outline a number of problems that various theories of causation have with preventions and ‘causation’ by omission. These problems are ipso facto problems for genuinism, whereas I show in section V how the counterfactual theory solves those problems. Further, I answer a genuinist argument based on another type of intuition—the genuinist intuition—by showing why we have that intuition and how it should be handled (section VI).
An NBTI-aware Task Parallelism Scheme for Improving Lifespan of Multi-core Systems

Task parallelism schemes with a multi-core system are widely used through various applications nowadays to obtain better throughput. Most of previous works will try to find maximum degree of parallelism (DOP) to achieve best performance. However, aging effects have become an unavoidable threat which may degrade system performance and even cause functional failure. We observe that if a task is always executed with maximum DOP, all cores may continuously suffer from the NBTI effect and wear out soon. On the other hand, if we can decrease DOP without causing task deadline violation, some cores may have opportunities to be power-gated and recover from the NBTI effect. In this paper, we propose a novel NBTI-aware task parallelism framework for multi-core systems to realize such an idea. Our framework first prioritizes ready tasks based on its criticality and then decide best DOP of each task without causing timing violation. After that, a task-to-core mapping algorithm which considers both IR-drop and core utilization is proposed. Finally, a recover decision algorithm is used to find the suitable recover mode of each core. Experimental results show that the proposed NBTI-aware task parallelism framework can successfully extend system lifetime to 3.7 times compared with MAX DOP method.
Identification of the Progenitors of Indonesian and Vietnamese Avian Influenza A (H5N1) Viruses from Southern China

ABSTRACT The transmission of highly pathogenic avian influenza H5N1 virus to Southeast Asian countries triggered the first major outbreak and transmission wave in late 2003, accelerating the pandemic threat to the world. Due to the lack of influenza surveillance prior to these outbreaks, the genetic diversity and the transmission pathways of H5N1 viruses from this period remain undefined. To determine the possible source of the wave 1 H5N1 viruses, we recently conducted further sequencing and analysis of samples collected in live-poultry markets from Guangdong, Hunan, and Yunnan in southern China from 2001 to 2004. Phylogenetic analysis of the hemagglutinin and neuraminidase genes of 73 H5N1 isolates from this period revealed a greater genetic diversity in southern China than previously reported. Moreover, results show that eight viruses isolated from Yunnan in 2002 and 2003 were most closely related to the clade 1 virus sublineage from Vietnam, Thailand, and Malaysia, while two viruses from Hunan in 2002 and 2003 were most closely related to viruses from Indonesia (clade 2.1). Further phylogenetic analyses of the six internal genes showed that all 10 of those viruses maintained similar phylogenetic relationships as the surface genes. The 10 progenitor viruses were genotype Z and shared high similarity (≥99%) with their corresponding descendant viruses in most gene segments. These results suggest a direct transmission link for H5N1 viruses between Yunnan and Vietnam and also between Hunan and Indonesia during 2002 and 2003. Poultry trade may be responsible for virus introduction to Vietnam, while the transmission route from Hunan to Indonesia remains unclear.
A Double Quadrature Topology for High Accuracy Upconversion in CMOS Transmitters

In this paper a high performance double quadrature topology for SSB upconversion is presented. The use of the double quadrature architecture allows to achieve a sideband suppression of more than 30 dB over a 225 MHz band from 700 to 925 MHz. This corresponds to a phase and amplitude accuracy of better than 1° and 10mdB. A first order input quadrature generator in combination with a 2nd order polyphase output filter result in an effective 3rd order suppression of the unwanted quadrature errors without sensitivity to component mismatch so that no tuning or trimming is required.
System-level specification of instruction sets

System-level design requires some sort of specification for a system at the level of abstraction of the system. When the system (or sub-system) is a processor, the appropriate level of abstraction is the instruction set. However, there are no good approaches for describing processors at this level. Nevertheless, this type of specification has a number of benefits: it is more concise (and thus less error-prone) than more general alternatives; it can be re-used in later re-implementations; and it provides support for software codesign through compiler-generators (which rely on higher-level abstractions than other techniques provide). Therefore, we have developed a methodology and an embodying language for specifying processors at the instruction set level. <<ETX>>
Regulation of Dystroglycan Gene Expression in Early Myoblast Differentiation

Dystroglycan, a component of the dystrophin-associated glycoprotein complex, connects the extracellular matrix and cytoskeleton to maintain muscle membrane integrity. As such, abnormalities of dystroglycan are linked to different types of muscular dystrophies. In an effort to develop therapeutic approaches to re-establish signal integration for muscle repair and homeostasis, we have previously determined that a clinically approved agonist of retinoid X receptor enhances myoblast differentiation through direct regulation of gene expression of the muscle master regulator MyoD. Using comprehensive omics and molecular analyses, we found that dystroglycan gene expression is responsive to retinoid X receptor-selective signaling in early myoblast differentiation. In addition, the dystroglycan gene is a MyoD target, and residue-specific histone acetylation coincides with the occupancy of histone acetyltransferase p300 at the MyoD binding sites. Consequently, the p300 function is important for rexinoid-augmented dystroglycan gene expression. Finally, dystroglycan plays a role in myoblast differentiation. Our study sheds new light on dystroglycan regulation and function in myoblast differentiation and presents a potential avenue for re-establishing signal integration of a specific chromatin state pharmacologically to overcome muscle pathology and identify additional myogenic interactions for therapeutic applications.
Definición y Especificación Formal de un Modelo Basado en Servicios para la Generación de Sistemas de Software.

RESUMEN En este trabajo se realizan aportes a la Ingenieria de Software, mas precisamente a la Ingenieria de Software orientada a servicios. Se analizan distintos paradigmas de la orientacion a servicios como Service-oriented computing (SOC), Service-oriented programming (SOP), Web Services y Service-oriented architecture (SOA), que es la arquitectura de software sobre la cual se basan los otros paradigmas. Del analisis minucioso de estos conceptos, se realiza una ontologia de la cual se deriva un modelo de orientacion a servicios que luego se especificara formalmente a traves de la utilizacion de algun lenguaje para tal fin (RSL, MAUDE). Una vez realizado este trabajo, se validara el modelo propuesto a traves de un caso especifico: “Una Arquitectura abierta y estandar de servicios Web de GIS”, tambien especificada formalmente en RSL. Es importante notar que dicha tarea se realizo como parte de una Tesis de Maestria en Ingenieria de Software 1 . La necesidad de contar con un modelo de estas caracteristicas, mencionadas anteriormente, surge debido a la gran diversidad existente de paradigmas y de enfoques acerca de la orientacion a servicios, que a su vez permita el desarrollo de sistemas orientados a servicios en forma rapida y sencilla, siguiendo modelos establecidos y probados.
Clinical characteristics and molecular analysis of three Chinese children with Omenn syndrome

To cite this article: Zhang Z‐Y, Zhao X‐D, Jiang L‐P, Liu E‐M, Cui Y‐X, Wang M, Wei H, Yu J, An Y‐F, Yang X‐Q. Clinical characteristics and molecular analysis of three Chinese children with Omenn syndrome. Pediatr Allergy Immunol 2011; 22: 482–487.
Truth weakly inflated

While deflationism says too little about truth, strong inflationist theories say too much about it. Weak inflationism takes a middle course. Based on a truthdefinition reminiscent of Aristotle’s well-known statement in the Metaphysica, it reveals how truth, reality and meaning are related to each other. According to weak inflationism this interrelation is all that philosophy can discover about the nature of truth. Quantification over sentence-tokens is rigorously used within the theory, which is also sensitive to the difference between spoken and written language. I. NO DEFLATIONISM Deflationism has played a key role in the philosophical debate about truth during the past years, yet it is still difficult to determine what a “deflationary” or “deflationist” account of truth exactly is, as these terms have been used in different ways. Sometimes deflationism was defined by refer.
A Modified Successive Interference Cancellation Algorithm for Hybrid Diversity/Spatial Multiplexing MIMO Schemes

In this paper we propose a modified successive interference cancellation algorithm and its performance is evaluated considering hybrid diversity/spatial multiplexing MIMO schemes. As consequence of this modification, the diversity layer of hybrid schemes is now able to achieve the full diversity and thereby improves performance considering bit error rate, while offering greater efficiency in bits per channel use (pcu) when compared with traditional STBC using the same number of transmit antennas.
COLOCAR-SE NO LUGAR DO OUTRO?

This article discusses the teaching practice of taking thestudents to put themselves in somebody else’s shoes through a dramatic experience that promotes an imaginative empathy with other peoples and cultures. Here two principles, that underlie this perspective, are problematized: the one that claims that whatever the culture there must be a 'universal humanity'common to all of them; and the assumption that a foreign culture can be understood and justified according to its own logic and morals. The confrontation of these principles with the understanding that the individual is inevitably tied to the imaginative matrices of its own history and culture is here approached by crossing the theoretical contributions of Clifford Geertz and Henri Bergson.
Accurate Strawberry Plant Detection System Based on Low-altitude Remote Sensing and Deep Learning Technologies

Aiming at solving the problem of real-time monitoring strawberry plant growth in fields, a new scheme based on low-altitude remote sensing technology combined with deep learning is proposed to identify the strawberry plants. The goal is to establish an accurate, fast and reliable strawberry plant counting system, which is a key part to realize the fine management of strawberry planting in fields. To accurately recognize the strawberry plant objects in the complex growing environment, the outer contour characteristics of strawberry plant canopy in the low-altitude remote sensing images in the visible spectrum band is proposed to define the criterion of discriminating the strawberry plants. The state-of-the-art detection framework Faster R-CNN with different deep hierarchical structures is used to train the strawberry plant detection models. The results show that the average precision of the Faster R-CNN with the ResNet-50 backbone reaches 0.9888, which is 2.51% higher than the VGG-16-based model. The presented model can achieve the same accuracy as human beings. In the future, the system is expected to replace the artificial task of identifying the strawberry plants to cut the cost of strawberry production.
Lysosomal acid phosphatase is transported to lysosomes via the cell surface.

Lysosomal acid phosphatase (LAP) is transported as a transmembrane protein to dense lysosomes. The pathway of LAP to lysosomes includes the passage through the plasma membrane. LAP is transported from the trans‐Golgi to the cell surface with a half‐time of less than 10 min. Cell surface LAP is rapidly internalized. Most of the internalized LAP is transported back to the cell surface. On average, each LAP molecule cycles greater than 15 times between the cell surface and the endosomes before it is transferred to dense lysosomes. At equilibrium approximately 4 times more LAP precursor is present in endosomes than at the cell surface. Exposing cells to reduced temperature or weak bases such as NH4Cl, chloroquine and primaquine decreases the steady‐state concentration of LAP at the cell surface. The recycling pathway is operative at greater than or equal to 20 degrees C and does not include passage of the Golgi/trans‐Golgi network. LAP is transferred with a half‐time of 5‐6 h from the plasma membrane/endosome pool to dense lysosomes, from where it does not recycle to the endosome/plasma membrane pool at a measurable rate.
Study of biofilm formation as a virulence marker in Candida species isolated from various clinical specimens

Background: Candida species can be either commensals or opportunistic pathogens with the capacity to bring about several infections, extending from superficial to life-threatening. Nosocomial infections owing to Candida are also getting progressively significant. Early and precise diagnosis, correct treatment, and prohibition of candidemia owing to biofilms create a big task for microbiologists and clinicians worldwide. In addition to this is the emerging trend of antifungal drug resistance among the biofilm-producing strains of Candida. Objective: To detect biofilm production in Candida species isolated from various clinical samples obtained from patients at a tertiary-care hospital in Ahmedabad. Materials and Methods: A total of 67 Candida species (26 Candida albicans and 41 nonalbicans Candida species) isolated from various specimens (urine, sputum, endotracheal tube secretion, tissue, oral swabs, and other samples) were included in the study. The various Candida isolates were identified by using conventional methods, and their ability to produce biofilm was detected by the tube method and Congo red agar method. Result: Of 67 Candida species, Candida tropicalis [38 (56.78%)] was the predominant species isolated. Biofilm positivity was seen with 46 (68.65%) isolates, and the biofilm production was observed more with non-albicans Candida species [30 (65.21%)] when compared with C. albicans species [16 (34.78%)]. Among the non-albicans Candida species, strong biofilm producers were Candida parapsilosis and C. tropicalis. Biofilm positivity was found to be higher in the tissue, endotracheal aspirate, and urine of Candida isolates when compared with isolates from other sites. Conclusion: This study suggests an increasing prevalence of non-albicans Candida species in the various clinical samples isolated and shows them as strong biofilm producers when compared with C. albicans species. These data suggest that biofilm formation as a potential virulence factor might show a higher significance for non-albicans Candida species than for C. albicans and that the biofilm structure varies with the different species and strains of Candida, the nature of the colonized surface, and its localization. Thus, more remains to be determined about biofilms formed by the non-albicans Candida species, as they are now frequently encountered species in catheter-associated candidemias.
Magnetic source imaging during a visually guided task

THE cerebellum is heavily involved in the control of accurate eye movements. Cerebellar lesions typically result in nystagmus and dysmetria, inability to stop the eyes at the end of a conjugate movement. Up to now, no cerebellar activity has been identified from non-invasive electrophysiological data. Here we report on neuromagnetic signals of eight healthy subjects in association with visually guided horizontal saccades. The signals were averaged with respect to electrically recorded saccade onsets and their topography revealed activation of the cerebellar vermis starting about 30 ms before and peaking about 170 ms after the saccade onset. In darkness, the cerebellar signals, possibly arising from the cerebellum, were suppressed less than the coinciding signals from the posterior parietal lobe.
Theory of Complex Adaptive Systems and Agile Software Development

Recently academicians as well as practitioners have shown growing interest in agile software development methodologies. These methodologies refer to the development processes that are lighter and faster developed in response to uncertain and volatile market environment. Much of the prior literature does not provide any theoretical basis for these methodologies. In this paper, we demonstrate the use of various characteristics exhibited by the complex adaptive systems (CAS) to understand how agile software development organizations function and organize themselves to accomplish the development task.
A concept of a novel edge termination technique: Junction termination (RJT)

This paper presents a novel junction termination technique, named Recess Junction Termination (RJT), for power devices. This new junction termination improves the breakdown voltage of a planar junction by a silicon recess located to create a positive bevel, which reduces the peak of electric field. The RJT can reduce a thermal budget for the RESURF (REduced SURface Field) layer by the silicon recess, and has compatibility with a fine-pitch process due to a planarization process using Chemical Mechanical Polish (CMP) treatments. After numerous simulations to optimize the structure parameters, we have succeeded in obtaining sufficient blocking capabilities of pn-RJT-diodes, the voltage ratings of which are from 75 V to 1700 V.