Miracle-dz/UniFAR-FTUs huggingface dataset:
Determinação do tamanho da amostra em pesquisas experimentais na área de saúde

No presente trabalho sao apresentados e discutidos alguns metodos para determinacao do tamanho da amostra para atributos e para variaveis, operando-se com dados pareados e nao-pareados, visando a validade estatistica de trabalhos de pesquisa experimental na area da saude. Os metodos conduzem a valores minimos do tamanho da amostra, calculados por equacoes matematicas, que devem ser coerentemente majorados de acordo com as condicoes dos experimentos. Sao apresentados e discutidos exemplos ilustrativos para melhor entendimento dos metodos sugeridos.
Modélisation et estimation de variances hétérogènes dans les modèles non-linéaires mixtes

Les modeles non lineaires occupent une place a part dans la methodologie des modeles mixtes. Contrairement aux modeles lineaire et lineaire generalises qui s'apparentent souvent a des boites noires, la fonction d'ajustement des donnees dans le cas non lineaire provient en general de l'integration d'une equation differentielle ce qui confere a ces modeles une dimension "explicative" beaucoup plus riche et souvent plus parcimonieuse. D'autre part, l'estimation des parametres y est difficile du fait de l'impossibilite d'une integration analytique des effets aleatoires. Comme dans tous les modeles mixtes notamment ceux appliques aux donnees longitudinales, ils permettent bien de prendre en compte la variabilite entre et intra unites experimentales. Mais, la comme ailleurs, le statut des residus supposes habituellement independants et identiquement distribues suivant une loi normale de variance homogene reste problematique car frequemment irrealiste. L'objet de ce travail etait de presenter quelques possibilites de modelisation de ces variances residuelles qui prennent en compte la grande heterogeneite potentielle de celles-ci mais dans un souci delibere d'economie vis-a-vis du nombre de nouveaux parametres impliques dans ces fonctions. C'est pourquoi, en sus de la relation classique moyenne-variance, nous avons opte pour une approche parametrique de type "modele mixte" sur les logvariances. Nous avons choisi une methode d'inference classique basee sur la theorie du maximum de vraisemblance et, dans ce cadre complexe, nous avons considere un algorithme de type EM stochastique plus precisement l'algorithme dit SAEM-MCMC. La structure de modele mixte a la fois sur les parametres de position et de dispersion se prete particulierement bien a la mise en oeuvre de ces algorithmes EM. La phase MCMC, a necessite la mise au point et le calibrage de distributions instrumentales adaptees a cette situation ainsi que la definition de criteres permettant de controler la convergence de l'algorithme. Le tout a ete valide numeriquement dans le cadre lineaire et non lineaire par comparaison a des algorithmes EM analytiques quand ils existaient (cas lineaire) ou a d'autres algorithmes numeriques tels ceux bases sur la quadrature de Gauss. Ces techniques ont ete illustrees par l'analyse de profils de comptage de cellules somatiquesde vaches laitieres. Plusieurs modeles lineaire et non lineaires sont compares et montrent clairement l'interet d'une modelisation mixte des variances residuelles.
THEOLOGIE UND ONTOLOGIE IN DER „METAPHYSIK” DES ARISTOTELES

Anders als die brigen Pragmatien des Aristoteles nimmt die unter dem Namen „τα μετά τα φυσικά uns berkommene Sdiriftensammlung einen langen Anlauf, ehe sie sich ihrem eigentlichen Gegenstand und seinen Problemen zuwendet. Von ihren insgesamt 14 B chern geh ren allein sechs — und wenn wir die B cher α ελαττον und Δ als nicht eigentlich dem Zusammenhang zugeh rig streichen, immerhin noch ganze vier — B cher einer tastenden, wenn auch sicher tastenden Vorer rterung an. Durch diese vier B cher hin (A, B, Γ und E ) geht Aristoteles unter wechselnden Gesichtspunkten auf die philosophische Grundwissenschaft zu, die er zun chst „die gesuchte Wissenschaft" (ή ζητούμενη επιστήμη), sp ter dann die „erste Philosophie" (πρώτη φιλοσοφία) nennt. Es ist nicht leicht, den tats chlich folgerichtigen Gedankengang dieser Einleitung stets im Auge zu behalten: l ngere Exkurse unterbrechen ihn; auch kann der mehrfache Wechsel der Gesichtspunkte verwirren. Die Wesensz ge der gesuchten Wissenschaft, die Aristoteles ihrem Vorbegriff aus dem Kapitel A l stufenweise einzeichnet, scheinen sich gelegentlich fremd gegen berzustehen, oder sogar einander auszuschlie en. So stellt uns der Text der Metaphysik vor eins seiner schwierigsten Interpretationsprobleme dadurch, da in dem Buch Γ die gesuchte Wissenschaft sehr ausf hrlich als die Wissenschaft vom „Seienden als solchen"
Design and Implementation of Mastrovito Multiplier using New Serial-Out Bit-Level

The Serial-out bit-level multiplication scheme is characterized by an important latency feature. It has an ability to sequentially generate an output bit of the multiplication result in each clock cycle. However, the computational complexity of the existing serial-out bitlevel multipliers in GF (2 m ) using normal basis representation, limits its usefulness in many applications; hence, an optimized serial out bit-level multiplier using polynomial basis representation is needed. In this paper, we propose new serial-out bitlevel Mastrovito multiplier schemes. We show that in terms of the time complexities, the proposed multiplier schemes outperform the existing serial out bit-level schemes available in the literature. In addition, using the proposed multiplier schemes, we present new hybrid-double multiplication architectures. To the best of our knowledge, this is the first time such a hybrid multiplier structure using the polynomial basis is proposed. Prototypes of the presented serial-out bitlevel schemes and the proposed hybrid-double multiplication architectures (10 schemes in total) are implemented over both GF (2 163 ) and GF (2 233 ), and experimental results are presented
Contribution à la modélisation et l'inférence de réseau de régulation de gènes

Cette these propose des developpements autour de l’etude theorique et l’utilisation de methodes statistiques mathematiques et d’optimisation dans le contexte des reseaux geniques. De tels reseaux sont des outils puissants de representation et d’analyse de systemes biologiques complexes, et permettent de modeliser des relations fonctionnelles entre les elements qui composent ces systemes. La premiere partie de cette these est consacree a l’etude de methodes d’apprentissage statistique pour inferer ces reseaux par le biais de regressions parcimonieuses dans le contexte de grande dimension, et plus particulierement les algorithmes de L2-Boosting. D’un point de vue theorique, nous montrons des resultats de consistance et de stabilite du support, sous des hypotheses concernant notamment la dimension du probleme. La deuxieme partie concerne l’utilisation des algorithmes de L2-Boosting pour l’apprentissage d’indices de Sobol dans le cadre d’analyse de sensibilite. Pour estimer ces indices, on s’appuie sur la decomposition du modele sous forme de fonctionnelles d’ANOVA. Les composantes sont estimees via une procedure d’orthogonalisation hierarchique de Gram-Schmidt, visant a construire une approximation de la base analytique, et une procedure de L2-Boosting pour reconstruire une approximation parcimonieuse du signal. Nous montrons alors que l’estimateur obtenu est consistant dans un contexte de bruit sur le dictionnaire d’approximation. La derniere partie concerne enfin le developpement de methodes d’optimisation pour estimer des interactions au sein de reseaux. Nous montrons que le probleme de minimisation de la logvraisemblance peut etre reecrit sous la forme d’un probleme de double optimisation, consistant a trouver la forme complete du graphe (ordre des variables au sein du graphe) puis a le rendre parcimonieux. Nous proposons de le resoudre par le biais d’un algorithme genetique, specifiquement adapte a la structure de notre probleme.
Marker-based tangible interfaces for 3D reconstruction

In this paper, we proposed a novel marker-based tangible interface for various users to manipulate the object with intuitive and simple approaches during an authoring application of augmented reality. The proposed method makes use of marker as intuitive interface to obtain 3D geometric information of 3D reconstruction. 3D geometric information of an object surface is acquired by touching the object directly with the proposed tangible interfaces. The tangible interfaces not only support 3D reconstruction for graphical modeling but also offer features information which is used for augmented reality. Finally, we verify efficiency of the proposed method with demonstration of an augmented reality application using the proposed method.
Adiponectin receptor 1 overexpression reduces lipid accumulation and hypertrophy in the heart of diet-induced obese mice – possible involvement of oxidative stress and autophagy

Abstract Background: Studies show that adiponectin and its receptors (AdipoR1 and 2) play important roles in regulating glucose and lipid metabolism in mice. Obesity, type II diabetes and cardiovascular disease are highly correlated with downregulated adiponectin signaling; however, research has not clarified the functions of AdipoR1 in vivo. Methods: In this study, mice were induced to overexpress the AdipoR1 transgene so that its functions could be studied in relation to hypertrophic cardiomyopathy. Wild-type and AdipoR1-transgenic male mice were fed ad libitum with a standard chow diet or else a high-fat/sucrose diet (HFSD) for 24 weeks, beginning at 6–7 weeks of age. Results: After receiving the 24-week HFSD, AdipoR1-transgenic mice did not become obese, nor did they develop heart hypertrophy. The AdipoR1 transgene decreased the elevating cardiac troponin I expression caused by the HFSD. While the HFSD induced mRNA expression of CD36 and CPTI, AdipoR1 reversed it. Suppression of cardiac SOD mRNA expression by the HFSD was improved by the AdipoR1 transgene. The HFSD caused a higher autophagic gene expression of Beclin 1 and Lamp 2 A in the heart, whereas the AdipoR1 transgene ameliorated them. Conclusions: The AdipoR1 transgene enabled mice to resist diet-induced obesity while decreasing lipid accumulation, oxidative stress and autophagic damage. These effects might contribute to the improvement of heart functions in diet-induced obese mice.
Distributed processing for features improvement in real-time portable medical devices

Portable biomedical devices are being developed and incorporated in daily life. Nevertheless, their standalone capacity is diminished due to the lack of processing power required to face such duties as for example, signal artifacts robustness in EKG monitor devices. The following paper presents a multiprocessor architecture made from simple microcontrollers to provide an increase in processing performance, power consumption efficiency and lower cost.
Methods for the Evaluation of Regular, Weakly Singular and Strongly Singular Surface Reaction Integrals Arising in Method of Moments

Abstract : The accurate and fast evaluation of surface reaction integrals for Method of Moments computations is presented. Starting at the classification of the integrals into regular and weakly, strongly and nearly singular integrals, appropriate methods are presented that handle each. A Gauss-Legendre quadrature rule evaluates regular integrals. For singular integrals, the singularity is lifted or weakened by an extraction of the singularity, a transform to polar coordinates or a domain transform. The resulting regular integral is in turn solved by a quadrature rule. The different methods are finally applied to an example, and the resulting accuracy tested against the analytical result. The presented methods are general enough to be used as integration methods for integrals with various degrees of singularity and is not limited to Method of Moments.
Inferential Processing and the Comprehension of Literary Texts

The purpose of this paper is to explore the nature and function of inference in the comprehension of literary texts. It will be argued that inferential processing plays a central role in literary interpretation. It will also be argued that this is a qualitatively different role from the one it plays in the processing of non-literary texts. It will further be contended that a recognition of this difference goes a considerable distance towards revealing how literary texts are processed.
Positions paradigmatiques et recherches sur le développement vocationnel adulte

Cet article aborde les questions ontologiques et epistemologiques qui sous-tendent les divers paradigmes et les debats methodologiques de 1980 a 1990. Il precise comment la position constructiviste que nous adoptons est presente dans nos travaux relatifs au developpement vocationnel adulte et en quoi elle devient objet de questionnement.
Cloning, expression and analysis of a novel defense gene from Antheraea pernyi.

Abstact.In this study, we first reported the defense gene (ApDef) in lepidoptera insect, the Chinese oak silkworm Antheraea pernyi (Lepidoptera: Saturniidae). It consists of 677 bp with a putative open reading frame (ORF) of 492 bp encoding 163 amino acids residues. A signal peptide with 18 amino acids and a typical reeler domain was found in ApDef protein. Phylogenetic analysis indicated that ApDef gene had the closest genetic distance with Antheraea mylitta Defense. The results of real-time quantitative PCR (qRT-PCR) showed that this gene was highly expressed in fat body, low expressed in hemocytes and midgut, and not expressed in epidermis. After being challenged by three types of pathogens (Escherichia coli, Micrococcus luteus and Beauveria bassiana), the expression levels of ApDef were up-regulated significantly compared with the control, and reached the maximum at 12 h post infection. These data indicated that ApDef may play an important role in innate immune responses of A. pernyi .
A Taxonomy of Service Failures in Electronic Retailing

Service failure and recovery have been extensively investigated in the bricks-and-mortar environment, and there is a growing body of empirical research exploring service failure and recovery in the electronic environment. The present study addresses a gap in the literature by developing a taxonomy of failures applicable to both product-oriented transactions (e.g., online purchasing of books, apparel, electronics) and service-oriented transactions (e.g., online banking, online stock trading, online reservation services). Using the critical incident technique (CIT), we content- analyzed 243 customer-reported unsatisfactory incidents to refine a deductive taxonomy of failures identified from the literature. The final taxonomy developed in this study offers insights into the types of failures that are applicable to product-oriented and service-oriented transactions.
Adoption of Internet Banking in Sri Lanka: An Extension to Technology Acceptance Model

This study develops an extended model to predict customer adoption of Internet banking based on the Technology Acceptance Model (TAM) integrating with perceived risks, perceived web site features. In particular, drawing from the perceived risk construct, six specific risk facets; security, privacy, social, time, performance and financial risk synthesized with the construct perceived web site features which has two variables; perceived system quality and perceived information quality which are integrated with the technology acceptance model (TAM) variables; perceived usefulness and perceived ease of use to propose a theoretical model to predict customers’ adoption of Internet banking. An online questionnaire was designed and sent out to Internet banking users in the selected three local commercial banks in Sri Lanka. Respondents participated through extensive personalized e-mail invitations through the selected commercial banks. The extended model is then tested using the data collected and analyzed using multiple- regression. The results indicated that the adoption of Internet banking is positively affected by perceived usefulness, perceived security, perceived social facet, and perceived system quality and those variables were found to be the most influential factors explaining the adoption of Internet banking services. In addition, analysis has revealed that there is a moderated impact on the relationship between the independent variables and dependent variable through respondents’ age, income levels and working hours.
Etude par la méthode du champ de phase à trois dimensions de la solidification dirigée dans des lames minces

Nous etudions numeriquement la solidification directionnelle d'un alliage binaire a base de succinonitrile. Pour cela, nous developpons un code s'appuyant sur le formalisme du champ de phase adapte au cas de la croissance dans des lames minces. Les resultats numeriques obtenus sont compares qualitativement et quantitativement avec les observations experimentales. Une bonne confirmation des lois experimentales et de nouvelles informations sur la dynamique des microstructures sont obtenues.La direction de croissance est generalement limitee par deux axes : l'axe cristallin principal et la direction du gradient thermique. Une premiere partie de la these porte sur l'etude des effets de la desorientation de l'axe cristallin sur la direction de croissance des structures et sur leurs morphologies. Nos resultats sont directement compares a la loi experimentale qui donne la reponse en orientation des microstructures sur l'ensemble de leur domaine d'existence en fonction du nombre de Peclet. Nous obtenons un accord tres satisfaisant entre simulation et experience. Dans la seconde partie de la these, une instabilite oscillante (mode 2λ − O) est etudiee en se basant sur le diagramme de stabilite experimental. Dans ce mode deux cellules voisines oscillent en opposition de phase en largeur et en hauteur. Nos simulations reproduisent ce mode oscillant dans des lames minces et permettent une comparaison quantitative avec les experiences. Le regime des oscillations forcees est notamment explore pour obtenir des informations sur la reponse en frequence du systeme.
Short-data recursive HMM parameter estimation for rapid vision-based aircraft heading estimation

Rapid recursive estimation of hidden Markov Model (HMM) parameters is important in applications that place an emphasis on the early availability of reasonable estimates (e.g. for change detection) rather than the provision of longer-term asymptotic properties (such as convergence, convergence rate, and consistency). In the context of vision-based aircraft (image-plane) heading estimation, this paper suggests and evaluates the short-data estimation properties of 3 recursive HMM parameter estimation techniques (a recursive maximum likelihood estimator, an online EM HMM estimator, and a relative entropy based estimator). On both simulated and real data, our studies illustrate the feasibility of rapid recursive heading estimation, but also demonstrate the need for careful step-size design of HMM recursive estimation techniques when these techniques are intended for use in applications where short-data behaviour is paramount.
Allelopathic effect on a nutrient-limited phytoplankton species

For aquatic systems, studies on allelopathic interactions among phytoplankton have increased over recent years, with the main focus on the role of the donor organism. In this study, we report on the response of a target organism to allelochemicals and whether this response was affected by stress conditions (nutrient limitation). We exposed the diatom Thalassiosira weissflogii, grown under different nitrogen (N) and phosphorus (P) conditions (NP, -N, or -P), to single or daily additions of a cell-free filtrate of Prymnesium parvum (grown with no nutrient limitation). When we exposed T. weissflogii to a single addition of filtrate, all 3 treatments were inhibited by P. parvum. However, T. weissflogii NP was the most resistant, while T. weissflogii -N showed the highest sensi- tivity to P. parvum filtrate, followed by T. weissflogii -P. When T. weissflogii was exposed to daily additions of P. parvum, the degree of inhibition of all T. weissflogii treatments was higher than when only 1 initial addition was made. In this case, even the treatment that had the highest resistance (T. weissflogii NP) was not only inhibited by the filtrate, but also showed a decrease in cell numbers. Nevertheless, T. weissflogii -N was still more sensitive than the other treatments. Therefore, nutri- ent-limiting conditions may increase allelopathic effects, by making the target more susceptive to allelopathic compounds. Under these conditions, allelopathy may play a strong role in phytoplankton competition, especially in natural environments where the allelochemicals are continuously released and, thus, the target species do not have time to recover.
A Border Line-Based Pruning Scheme for Shortest Path Computations

With the progress of IT and mobile positioning technologies, various types of location-based services (LBS) have been proposed and implemented. Finding a shortest path between two nodes is one of the most fundamental tasks in many LBS related applications. So far, there have been many research efforts on the shortest path finding problem. For instance, A * algorithm estimates neighboring nodes using a heuristic function and selects minimum cost node as the closest one to the destination. Pruning method, which is known to outperform the A * algorithm, improves its routing performance by avoiding unnecessary exploration in the search space. For pruning, shortest paths for all node pairs in a map need to be pre-computed, from which a shortest path container is generated for each edge. The container for an edge consists of all the destination nodes whose shortest path passes through the edge and possibly some unnecessary nodes. These containers are used during routing to prune unnecessary node visits. However, this method shows poor performance as the number of unnecessary nodes included in the container increases. In this paper, we focus on this problem and propose a new border line-based pruning scheme for path routing which can reduce the number of unnecessary node visits significantly. Through extensive experiments on randomly-generated, various complexity of maps, we empirically find out optimal number of border lines for clipping containers and compare its performance with other methods.
The evolution of hypertext link services

Hypertext, a neologism of the 1960s indicating something which is more than text, has taken over the attention of scholars, businesses and hobbyists in the form of the World Wide Web. Developed as a hypertext framework for information distribution [Berners-Lee 1992] , its overseeing organisation (W3C) has insisted on maintaining and developing a suite of open standards for data formats, communication protocols and programming interfaces to allow all comers to participate in a globally shared information repository. However the Web is just one example of how the development of hypertext philosophy, design and deployment has led to practical solutions for information dissemination, manipulation and maintenance. This paper describes how hypertext systems have evolved to become distributed and open providers of information services and examines the nature of the linking that forms the basis of hypertext functionality.