Miracle-dz/UniFAR-FTUs huggingface dataset:
Mapping Kant's Architectonic onto the Yijing Via the Geometry of Logic

Both Kant's architectonic and the Yijing can be structured as four perspectival levels: 0 + 4 + 12 + (4 × 12) = 64. The first, unknowable level is unrepresentable. The geometry of logic provides well-structured maps for levels two to four. Level two consists of four basic gua (2, 64, 63, 1), corresponding to Kant's category-headings (quantity, quality, relation, modality). Level three's twelve gua, derived logically from the initial four, correspond to Kant's twelve categories. Level four correlates the remaining 48 gua (in twelve sets of four) to Kant's theory of the four university faculties (philosophy, theology, law, medicine), and to four categorially organized (twelvefold) domains comprising his philosophical system.
Verificação formal de workflows com spin

O gerenciamento de workflows e uma realidade atualmente, mas os sistemas atuais carecem de suporte a verificacao de correcao em modelos de workflow. Este trabalho visa a realizacao de verificacoes em processos, objetivando a deteccao de erros sintaticos, como a existencia de atividades mal modeladas, ou seja, sem condicoes de entrada ou de saida. E objetivo deste trabalho tambem a definicao de verificacoes de ordem estrutural, como detectar se o processo de workflow nao possui deadlocks (estado em que o processo trava sem possibilidade de progredir), ou verificar se existem atividades mortas no processo (atividades impossiveis de serem executadas), ou se ha terminacoes incompletas, ou seja, transicoes pendentes apos o processo ter atingido seus objetivos. Alem de verificacoes sintaticas e estruturais, e necessario tambem a realizacao de verificacoes semânticas do modelo, ou seja, e importante que os processos possam ser validados quanto a caracteristicas que dizem respeito a sua organizacao logica, a um nivel um pouco mais alto de informacao do que simplesmente estrutural. Por exemplo, e diretamente impactante na qualidade do modelo de um processo, definir se este possui conflitos ao acesso de recursos. Dessa forma, um processo estruturalmente correto, pode ficar travado em um deadlock, devido a concorrencia quanto ao acesso de um recurso comum entre atividades distintas. Alem disso, verificacoes de restricoes de custo, por exemplo, tambem podem inviabilizar um processo. Todas essas verificacoes sao importantes para decidir se um processo de workflow e correto. A maior contribuicao deste trabalho, e entao a definicao de uma modelagem de processos de workflow que possibilite a verificacao de problemas sintaticos, estruturais e semânticos, todos em uma unica ferramenta, que se mostra escalavel para processos reais, alem de possibilitar a verificacao de questoes ad-hoc, especificas de cada instância, como verificar ordenacoes entre atividades especificas, etc Abstract
Innovative dynamics for bimatrix games

Innovative Dynamiken, wie die Best response Dynamik, die Brown-von Neumann-Nash Dynamik und die Pairwise-Difference Dynamik sind eine interessante Klasse der evolutionaren Dynamiken. Ihre Modelle richten sich mehr nach dem Verhalten von rationalen Spielern und wahrend die Best response Dynamik eine Differential Inklusion ist, erfullen die letzten beiden den Eindeutigkeitssatz fur Gewohnliche Differentialgleichungen. Wir untersuchen das Verhalten dieser Dynamiken fur alle 2x2 Bimatrix-Spiele. Wir werden sehen, dass jedes Spiel zumindest ein erreichbares Gleichgewicht hat und untersuchen die Stabilitat der Gleichgewichte mittels Liapunovfunktionen. Weiters werden wir mittels Bendixson-Dulac zeigen, dass es keine periodischen Orbits gibt.
Representing Cultural Collections in Digital Aggregation and Exchange Environments

The representation of collections in digital library systems that aggregate or exchange cultural heritage data can serve a number of useful functions. In this article, we present specific roles that collections can play in digital aggregations, representational requirements that arise from those roles, and modeling strategies for meeting the requirements. The functional roles of collections and collection descriptions speak to the needs of individual users accessing or contributing content, system developers seeking to improve search experiences, and institutions providing data to federated aggregations. However, the current data models that support cultural heritage aggregations are not designed to fully accommodate and integrate collection-level data. Therefore we have developed a set of general requirements for the representation of collections in digital aggregation systems. In order to demonstrate how these requirements can be addressed in a current operational context, we present specific strategies for collection representation in systems that use the Europeana Data Model.
Candidate Dipeptidyl Peptidase-4 Inhibitors for the Treatment of Type 2 Diabetes

Type 2 diabetes mellitus (T2DM) is a progressive disease that is characterized by insulin resistance and decreased insulin secretion [1]. Based on data from the UK Prospective Diabetes Study (UKPDS), there is consensus regarding the importance of glycemic control in patients with T2DM [2]. The American Diabetes Association (ADA) considers general glycemic control to be represented by HbA1c below 7.0% [3]. The ADA and European Association for the Study of Diabetes (EASD) statement on the management of hyperglycemia in T2DM patients recommends metformin intervention at the time of diagnosis in combination with lifestyle changes, and continuing timely augmentation of therapy with additional agents to achieve and
An identical HMGIC‐LPP fusion transcript is consistently expressed in pulmonary chondroid hamartomas with t(3;12)(q27–28;q14–15)

The high frequency of the t(3;12)(q27–28;q14–15) in lipomas and pulmonary chondroid hamartomas (PCHs) makes the HMGIC‐LPP fusion gene the most common fusion gene in a human tumor known so far. Nevertheless, there is no in‐depth molecular analysis of the HMGIC‐LPP fusion transcripts in PCHs. Certainly, a possible molecular variability of the HMGIC‐LPP fusion may contribute to a better understanding of the histologic differences between lipomas and PCHs and the intratumoral histologic heterogeneity of PCHs. By RT‐PCR and restriction analysis, we have investigated the HMGIC‐LPP fusion transcripts in a series of 13 PCHs with t(3;12)(q27–28;q14–q15). HMGIC‐LPP fusion transcripts of identical size were found in all PCHs tested. In all tumors investigated, the fusion transcripts had the same structure, i.e., exons 1 to 3 of HMGIC and exons 9 to 11 of LPP encoding a protein composed of three AT‐hooks and two LIM‐domains. Our results clearly show that neither the histologic differences between lipomas and PCHs nor the histologic heterogeneity of PCHs can be explained by a molecular diversity of the HMGIC‐LPP fusion transcript. © 2000 Wiley‐Liss, Inc.
Comparisons of different control strategies for 20kVA solid state transformer

This paper presents and compares different control strategies for 20kVA silicon IGBT based solid state transformer (SST). The SST has a cascaded seven level rectifier stage, three output parallel Dual Active Bridge (DAB) DC/DC stage and an inverter stage. The voltage of the three high voltage capacitors must be balanced for the safe operation of the IGBTs, however, the mismatch of power devices parameters and variance of high frequency transformer leakage inductance of the DAB stage will cause voltage unbalance for these capacitors as well as the power unbalance of the three output parallel DAB stages. This paper analyzed these effects and discussed the limitations and merits for several different control strategies. The newly proposed control strategy for the SST has been determined as the most suitable strategy in terms of performance and simplicity. Simulation and experiment results are presented to validate the analysis.
Sharing Existing Knowledge between E-Learning Platforms: Enhancing Interoperability

The arrival of new technologies to universities creates new situations and problems that must be solved in order to improve the care, support and tutoring provided to students. In many cases, the communication flows between teachers and students place an excessive demand on the teacher's response capacity. This paper describes a system designed to answer automatically the questions of students, using the existing knowledge stored in e-learning platforms, such as dotLRN or Moodle; indexed in search engines, as Google or Yahoo; or data repositories as wikis.
The potential of miRNAs as biomarkers for multiple myeloma

Since the discovery of the link between miRNA and cancer, miRNAs have been investigated in virtually all tumors. Their ability to add a novel level of gene regulation and to target genes apparently not linked to each other has greatly intrigued researchers and physicians alike. In this review, the role of miRNAs in multiple myeloma (MM) is summarized, with particular attention to their potential as biomarkers. The promising role of circulating miRNAs in diagnosis and risk stratification is also discussed, as well as preliminary results of miRNA-based therapeutic approaches. Finally, the critical issues in miRNA analysis in MM and ongoing strategies to solve them are discussed. The ability to standardize miRNA analysis procedures will permit the inclusion of miRNA evaluation alongside available stratification tools, paving the way for personalized medicine in MM.
Understanding the I Ching: The Wilhelm Lectures on the Book of Changes

Change: Eight Lectures on the I ChingPreface31Origins82The Concept of Change203The Two Fundamental Principles334The Trigrams and the Hexagrams475The Hexagrams Ch'ien and K'un636The Ten Wings837The Later History of the Book of Changes1018The Oracle Book120Lectures on the I Ching: Constancy and ChangeIntroduction139Opposition and Fellowship154The Spirit of Art According to the Book of Changes194Constancy in Change236Death and Renewal286Notes317Index327
Linear-Time Temporal Logic Control of Discrete Event Systems

A Discrete Event System (DES) is a dynamic system that evolves in accordance with the instantaneous occurrence, at possibly unkown intervals, of physical events. Given a DES, its behavior (the sequence of displayed events) may not satisfy a set of logical performance objectives. The purpose of Supervisory Control is to restrict that behavior in order to achieve those objectives. Linear-Time Temporal Logic (LTL) is an extension of Propositional Logic which allows reasoning over an infinite sequence of states. We will use this logical formalism as a way to specify our performance objectives for a given DES and build a supervisor that restricts the DES’ behavior to those objectives by construction. Several simulated application examples illustrate the developed method.
Adaptive threshold nonlinear algorithm for adaptive filters with robustness against impulse noise

A new adaptation algorithm for adaptive filters is proposed, introducing "adaptive threshold" in the nonlinear correlation function. The adaptive threshold varies according to the long-term average of the error signal plus the additive noise, which makes the adaptive filtering system highly robust against sharp increase in the noise yet maintains the fast convergence and low residual error properties. Results of simulation and theoretical calculation prove the effectiveness of the proposed algorithm and its superiority to the conventional LMS algorithm in an impulse noise environment.
Efficient Querying and Analytics of Semantic Web Data. (Interrogation et Analyse Efficiente des Données du Web Sémantique)

The utility and relevance of data lie in the information that can be extracted from it.The high rate of data publication and its increased complexity, for instance the heterogeneous, self-describing Semantic Web data, motivate the interest in efficient techniques for data manipulation.In this thesis we leverage mature relational data management technology for querying Semantic Web data.The first part focuses on query answering over data subject to RDFS constraints, stored in relational data management systems. The implicit information resulting from RDF reasoning is required to correctly answer such queries. We introduce the database fragment of RDF, going beyond the expressive power of previously studied fragments. We devise novel techniques for answering Basic Graph Pattern queries within this fragment, exploring the two established approaches for handling RDF semantics, namely graph saturation and query reformulation. In particular, we consider graph updates within each approach and propose a method for incrementally maintaining the saturation. We experimentally study the performance trade-offs of our techniques, which can be deployed on top of any relational data management engine.The second part of this thesis considers the new requirements for data analytics tools and methods emerging from the development of the Semantic Web. We fully redesign, from the bottom up, core data analytics concepts and tools in the context of RDF data. We propose the first complete formal framework for warehouse-style RDF analytics. Notably, we define analytical schemas tailored to heterogeneous, semantic-rich RDF graphs, analytical queries which (beyond relational cubes) allow flexible querying of the data and the schema as well as powerful aggregation and OLAP-style operations. Experiments on a fully-implemented platform demonstrate the practical interest of our approach.
Performance Comparison of Duobinary Formats for 40-Gb/s and Mixed 10/40-Gb/s Long-Haul WDM Transmission on SSMF and LEAF Fibers

Duobinary formats are today considered as being one of the most promising cost-effective solutions for the deployment of 40-Gb/s technology on existing 10-Gb/s WDM long-haul transmission infrastructures. Various methods for generating duobinary formats have been developed in the past few years but to our knowledge their respective performances for 40-Gb/s WDM transmission have never been really compared. In this paper, we made an extensive numerical evaluation of the robustness of these different types of duobinary transmitter to accumulation of ASE noise, chromatic dispersion, PMD but also to single-channel and WDM 40-Gb/s transmission impairments on standard single-mode fiber. A numerical evaluation of the ability of duobinary format for mixed 10/40-Gb/s WDM long-haul transmission with 50-GHz channel spacing is also led, on both standard single-mode and LEAF fibers, and compared to DQPSK format. In order to clearly identify the limiting transmission effects on each of these two fiber types, the assessment of the performance of a 50-GHz spaced WDM 40-Gb/s long-haul transmission using either duobinary or DQPSK channels only is implemented at last.
Support for the RV144 HIV Vaccine Trial

Currently, RV144, a phase iii clinical trial in Thailand, is evaluating the efficacy of ALVAC-HIV (vCP1521) plus gp120 (AIDSVAX B/E) as a prime-boost combination. This trial, sponsored by the U.S. and Thai governments, has been strongly criticized by D. R. Burton et al. in their Policy Forum “A
Sudden cardiac death and the 'athlete's heart'.

OBJECTIVES To review the current literature pertaining to the cardiovascular adaptations to exercise and the impact on the physical examination, the electrocardiogram, and the echocardiogram, and to distinguish those physiologic changes from pathologic conditions associated with sudden cardiac death in athletes. DATA SYNTHESIS Specific cardiovascular adaptations occur in response to regular physical exercise. The extent of these changes depend on the type and duration of exercise as well as the gender of the athlete. These cardiac adaptations are morphologically different from those conditions associated with sudden cardiac death. In the athlete younger than 35 years, hypertrophic cardiomyopathy is the most common cardiac condition associated with sudden death. Right ventricular dysplasia, idiopathic left ventricular hypertrophy, coronary anomalies, premature atherosclerosis, and Marfan syndrome compose the majority of the remaining causes of sudden cardiac death in athletes. In the athlete older than 35 years, coronary atherosclerosis is the leading cause of sudden death followed by those conditions responsible for sudden death in the younger athlete. Despite this, regular exercise before or following a myocardial infarction provides a protective effect with respect to overall mortality, cardiovascular mortality, and fatal reinfarction rates. CONCLUSIONS Cardiovascular adaptation to regular physical exercise leads to morphologic changes in the myocardium that influence the cardiac examination, the electrocardiogram, and the echocardiogram. Knowledge and recognition of those changes can allow the clinician to distinguish normal physiologic changes from cardiac abnormality. Proper detection of athletes at high risk for sudden cardiac death and abstention from vigorous physical activity in these athletes may prevent sudden death.
A generic model for IT services and service management

Whereas network and system components were in the focus of management research in previous years, nowadays management of services dominates management activities. We are witnessing a paradigm shift from device-oriented to service-oriented management, and with this the need to deal with new challenging management issues. The management of the underlying infrastructure with respect to the delivered services and agreed service level agreements is certainly the fundamental challenge. It is easy to see that all research questions center around the new managed object service and its integration with existing device-oriented managed objects (network devices, end systems, applications). Thus, the development of a common definition of a service in terms of a common generic service model is essential.
Optimal design of sales contracts under information asymmetry

We consider a supply chain where one manufacturer sells products to local markets through dealers. Each dealer faces a geographically dispersed market with uncertain demand, and is able to observe demand signal and exert effort to enhance sales. Both signal and effort affect the sales outcomes probabilistically, and cannot be observed by the manufacturer. Furthermore, dealers’ signals are correlated across markets. We characterize sufficient conditions for the manufacturer to extract full surplus from dealers in this scenario. Surprisingly, when there are multiple dealers and signals are sufficiently informative, full surplus extraction can be implemented by a simple combination of linear contracts and lotteries. The linear contracts induce the dealers to exert the optimal effort, and the lotteries eliminate their incentives to misreport their signals. A linear contract plus lottery and nonlinear sales-contingent contracts can be used alternately to ensure full surplus extraction. Additionally, we show that using just linear contracts can leave large surplus for dealers. When the conditions for full surplus extraction fail to hold, we show that only a limited number of types receive information rent. We provide a two-stage procedure to compute the payment scheme. This scheme, as well, can be implemented using a linear payment scheme and a lottery.
JPEG 2000 compression of unfocused light field images based on lenslet array slicing

This paper proposes an algorithm for lossy compression of unfocused light field images. The raw light field is preprocessed by demosaicing, devignetting and slicing of the raw lenset array image. The slices are then rearranged in tiles and compressed by the standard JPEG 2000 encoder. The experimental analysis compares the performance of the proposed method against the direct compression with JPEG 2000, and JPEG XR, in terms of BD-PSNR gain and bit rate reduction. Obtained results show that the proposed method outperforms direct application of the reference state of the art image encoders.
Serological diagnosis of the porcine proliferative enteropathies: implications for aetiology and epidemiology

Campylobacter mucosalis and C hyointestinalis have been associated with the proliferative enteropathies of pigs. An examination of the antibody response to these organisms and to the intracellular campylobacter-like organism was undertaken. Antibody to the campylobacter-like organism was predominantly IgM, short lived, and could be detected by an immunofluorescence test using bacteria released from lesions as antigen. The majority (75 per cent) of pigs with proliferative enteropathy at necropsy were antibody positive and a small number (4 per cent) of pigs in which lesions were not observed were found to have antibody. Antibody appeared to be correlated with the presence of lesions rather than with exposure to infection and was independent of the presence of antibody to C mucosalis or C hyointestinalis. In natural outbreaks of the disease antibody to the campylobacter-like organism was more prevalent than clinical signs in the affected animals.
Referring and Existing

STRANGER: . Suppose one of this company were seriously required to concentrate his mind and tell us to what this name can be applied-' that which is not '. THEAETETUS : That is a hard question. STRANGER: Well, this much is clear at any rate: that the term 'what is not' must not be applied to anything that exists. THEAETETUS: Certainly not. STRANGER: And since it cannot be applied to what exists, neither can it properly be applied to 'something '. THEAETETUS : No. STRANGER: So it seems to follow necessarily that to speak of what is not ' Something' is to speak of no thing at all. THEAETETUS: Necessarily. STRANGER: Must we not even refuse to allow that in such a case a person is saying something, though he may be speaking of nothing ? Must we not assert that he is not even saying anything when he sets about uttering the sounds 'a thing that is not' ? 1 Plato in this passage is expressing for the first time in philosophy an exceedingly bewitching view of language; namely, that we cannot refer to things that don't exist-that non-being cannot be spoken of. The bewitchment lasts to our own day. In one of his early books Russell says: Being is that which belongs to every conceivable term, to every possible object of thought. 'A is not ' must always be either false or meaningless. For if A were nothing, it could not be said not to be; 'A is not' implies that there is a term A whose being is denied, and hence that A is. Thus being is a general attribute of everything, and to mention any thing is to show that it is.2 And in one of his later books, after he had developed his Theory of Descriptions, Russell says: The proposition ' The so-and-so exists ' is significant, whether true or false; but if a is the so-and-so (where ' a ' is a name), the words ' a exists ' are meaningless. For, if ' a ' is a name, it must name something : what does not name anything is not a name, and therefore, if intended to be a name, is a symbol devoid of meaning. 3 Similarly a prominent opponent of Russell's theory of reference, P. F. Strawson, agrees with him that we cannot refer to non-existent entities: