Miracle-dz/UniFAR-FTUs huggingface dataset:
The Rice brassinosteroid-deficient dwarf2 Mutant, Defective in the Rice Homolog of Arabidopsis DIMINUTO/DWARF1, Is Rescued by the Endogenously Accumulated Alternative Bioactive Brassinosteroid, Dolichosterone

We have identified a rice (Oryza sativa) brassinosteroid (BR)-deficient mutant, BR-deficient dwarf2 (brd2). The brd2 locus contains a single base deletion in the coding region of Dim/dwf1, a homolog of Arabidopsis thaliana DIMINUTO/DWARF1 (DIM/DWF1). Introduction of the wild-type Dim/dwf1 gene into brd2 restored the normal phenotype. Overproduction and repression of Dim/dwf1 resulted in contrasting phenotypes, with repressors mimicking the brd2 phenotype and overproducers having large stature with increased numbers of flowers and seeds. Although brd2 contains low levels of common 6-oxo-type BRs, the severity of the brd2 phenotype is much milder than brd1 mutants and most similar to d2 and d11, which show a semidwarf phenotype at the young seedling stage. Quantitative analysis suggested that in brd2, the 24-methylene BR biosynthesis pathway is activated and the uncommon BR, dolichosterone (DS), is produced. DS enhances the rice lamina joint bending angle, rescues the brd1 dwarf phenotype, and inhibits root elongation, indicating that DS is a bioactive BR in rice. Based on these observations, we discuss an alternative BR biosynthetic pathway that produces DS when Dim/dwf1 is defective.
Probabilistic Interface Automata

System specifications have long been expressed through automata-based languages, which allow for compositional construction of complex models and enable automated verification techniques such as model checking. Automata-based verification has been extensively used in the analysis of systems, where they are able to provide yes/no answers to queries regarding their temporal properties. Probabilistic modelling and checking aim at enriching this binary, qualitative information with quantitative information, more suitable to approaches such as reliability engineering. Compositional construction of software specifications reduces the specification effort, allowing the engineer to focus on specifying individual component behaviour to then analyse the composite system behaviour. Compositional construction also reduces the validation effort, since the validity of the composite specification should be dependent on the validity of the components. These component models are smaller and thus easier to validate. Compositional construction poses additional challenges in a probabilistic setting. Numerical annotations of probabilistically independent events must be contrasted against estimations or measurements, taking care of not compounding this quantification with exogenous factors, in particular the behaviour of other system components. Thus, the validity of compositionally constructed system specifications requires that the validated probabilistic behaviour of each component continues to be preserved in the composite system. However, existing probabilistic automata-based formalisms do not support specification of non-deterministic and probabilistic component behaviour which, when observed through logics such as pCTL, is preserved in the composite system. In this paper we present a probabilistic extension to Interface Automata which preserves pCTL properties under probabilistic fairness by ensuring a probabilistic branching simulation between component and composite automata. The extension not only supports probabilistic behaviour but also allows for weaker prerequisites to interfacing composition, that supports delayed synchronisation that may be required because of internal component behaviour. These results are equally applicable as an extension to non-probabilistic Interface Automata.
Validation of the data warehouse metrics using formal frameworks

The DW consists of huge and complex set of data. Maintaining its quality is thus a matter of concern. The metrics are used to measure the quality factor of data warehouse. Several data model metrics of data warehouse have been proposed and validated in the literature to measure its quality attributes. There are two ways to validate the metrics. One is the formal validation and another is empirical validation. Our focus of study is on formal validation of metrics. Here in this paper, two formal frameworks have been surveyed for metrics validation namely; Briand's framework and Zuse's framework. Further, formal validation is illustrated with the help of Briand's framework and Zuse's framework by taking an example of each. Finally, both the formal frameworks have been compared and found easily understandable for validating the metrics formally.
Incompressibility of quadratic Weil transfer of generalized Severi–Brauer varieties

Abstract Let X be the variety obtained by the Weil transfer with respect to a quadratic separable field extension of a generalized Severi–Brauer variety. We study (and, in some cases, determine) the canonical dimension, incompressibility, and motivic indecomposability of X. We determine the canonical 2-dimension of X (in the general case).
COMPARISON AND COUPLING OF ALGORITHMS FOR COLLISIONS, CONTACT AND FRICTION IN RIGID MULTI-BODY SIMULATIONS

Numerous works in computational mechanics are dedicated to multi-body systems. This leads to the use of various methods to simulate the static or dynamic evolution of complex systems. The case of dense multi-contact assemblies is one of the more complex one: the problem have often a large number of unknown and have a inﬁnity of solution due to the deﬁnition of the matrix of the system. Moreover this problem become harder when friction or more complex laws are introduced in the system. Thus we need fast and robust solvers to perform mechanical studies. These performances can be increased when the special problem structure is considered (sparse matrices, block structured problem). Our work is based on the Non Smooth Contact Dynamic framework introduced by Moreau. The method uses a time-stepping integrator without explicit event-handling procedure and an unilateral contact impact formulation associated to Coulomb’s friction. In this paper we use and compare different iterative algorithms such as Gauss-Seidel, projected conjugate gradient and direct ones as Lemke and Quadratic programming solvers. The efﬁciency of the methods is compared in terms of complexity, convergence criterion and of CPU time. To illustrate the results, we focus on granular assemblies. 3D frictional contact simulations are performed with ConF&TiS and the Numerics library of the siconos project.
Estimating class probabilities in random forests

For both single probability estimation trees (PETs) and ensembles of such trees, commonly employed class probability estimates correct the observed relative class frequencies in each leaf to avoid anomalies caused by small sample sizes. The effect of such corrections in random forests of PETs is investigated, and the use of the relative class frequency is compared to using two corrected estimates, the Laplace estimate and the m-estimate. An experiment with 34 datasets from the UCI repository shows that estimating class probabilities using relative class frequency clearly outperforms both using the Laplace estimate and the m-estimate with respect to accuracy, area under the ROC curve (AUC) and Brier score. Hence, in contrast to what is commonly employed for PETs and ensembles of PETs, these results strongly suggest that a non-corrected probability estimate should be used in random forests of PETs. The experiment further shows that learning random forests of PETs using relative class frequency significantly outperforms learning random forests of classification trees (i.e., trees for which only an unweighted vote on the most probable class is counted) with respect to both accuracy and AUC, but that the latter is clearly ahead of the former with respect to Brier score.
QRST Cancellation based on the empirical mode decomposition

Baseline drift and QRST residues are frequently present after QRST cancellation. This study deals with the improvement of atrial signal quality after QRST cancellation using an empirical mode decomposition (EMD) based post-processing. The EMD decomposes non-stationary signals into narrow-band components, known as intrinsic mode functions (IMFs). Simulated and clinical 30-second segments of estimated atrial activity (after QRST cancellation) on lead VI were decomposed into IMFs using an EMD algorithm. The DF and the energy ratio between TQ and QRS segments for each enhanced IMF component were used to select the IMFs that correspond to atrial activity. The atrial activity signal was taken as the sum of the selected IMFs. The performance of the method is compared with that of a standard post-processing approach using an infinite impulse response bandpass filter.
Analysis of channel-width effects in 0.3 /spl mu/m ultra-thin SOI NMOSFETs

Experiment-based new phenomena, such as LIF energy and channel width effects in ultra-thin (T/sub Si/=700 /spl Aring/) 0.3 /spl mu/m SOI NMOSFETs, are analysed using TCAD tools. The relatively higher doping profile along with the width direction silicon edge can improve the breakdown characteristics (i.e., BV/spl cong/9 V at W/L=0.4 um/0.3 um). This effect, which does not coincide with typical BV characteristics in very-small SOIs, is caused by the reduction of the impact ionization rate due to the doping and geometric effects of the silicon edge as the channel-width becomes narrower. It implies that very small SOI NMOSFETs can be well adopted for the ultra-high density DRAM cells when an optimised doping profile is provided.
Automated Support for State-Based Testing

In this paper the object-oriented software testing environment (TOSTER) is presented. This environment supports state-based testing of object programs. TOSTER extracts information from two commercial CASE tools – Paradigm Plus and Select Enterprise and supports test generation for C++ and Java classes. In TOSTER the state vector testing method is used. The state vector method and its implementation is briefly described. A simple example of testing in this environment is also given.
Multilevel Circuit Partitioning

Recent work has illustrated the promise ofmultilevel approaches for partitioning large circuits. Multilevel partitioningrecursively clusters the instance until its size is smallerthan a given threshold, then unclusters the instance while applyinga partitioning refinement algorithm. Our multilevel partitioner usesa new technique to control the number of levels in the matching-basedclustering phase and also exploits recent innovations in classiciterative partitioning. Our heuristic outperforms numerousexisting bipartitioning heuristics, with improvements rangingfrom 6.9 to 27.9% for 100 runs and 3.0 to 20.6% for just 10 runs(while also using less CPU time).
Analysis of Neurocontrollers Designed by Simulated Evolution

Randomized adaptive greedy search, using evolutionary algorithms, ooers a powerful and versatile approach to the automated design of neural network architectures for a variety of tasks in artiicial intelligence and robotics. In this paper we present results from the evolutionary design of a neuro-controller for a robotic bulldozer. This robot is given the task of clearing an arena littered with boxes by pushing boxes to the sides. Through a careful analysis of the evolved networks we show how evolution exploits the design constraints and properties of the environment to produce network structures of high tness. We conclude with a brief summary of related ongoing research examining the intricate interplay between environment and evolutionary processes in determining the structure and function of the resulting neural architectures.
Progress or development; word selection of progress in Islamic-Iranian model of progress

The design of Islamic-Iranian model of progress requires word selection of local words to achieve the real progress and this issue is observed in Islamic revolution process to use Islamic literature. These words are proposed as equivalents of common western terms. The word selection of progress in Islamic-Iranian process of progress indicates exact word selection for materialistic and spiritual progress. To do this, the present study is an analytic-descriptive design and library study to evaluate the importance of the term “progress” in the concept of Iranian-Islamic model of progress. The results show that the term development is conceptually ambiguous with western and liberal economic value and concepts not consistent with the Islamic and Iranian values and culture. The term progress has special requirements in accordance to the principles and components of Islamic-Iranian growth and all are aware of its meaning and can organize their relevant excellence road map.
Parallelization of bitonic sort and radix sort algorithms on many core GPUs

Data sorting is used in many fields and plays an important role in defining the overall speed and performance. There are - many sorting categories. In this study, two of these sorting algorithms that are bitonic sort and radix sort are dealt with. We have designed and developed Radix Sort and Bitonic Sort algorithms for many core Graphics Processing Units (GPUs). Although bitonic sort is a concurrent sorting algorithm, radix sort is a distribution sorting algorithm, i.e. both of these algorithms are not usual sorting algorithms. They can be parallelized on GPUs easily to get better performance than other sorting algorithms. We parallelized these sorting algorithms on many core GPUs using the Compute Unified Device Architecture (CUDA) platform, developed by NVIDIA Corporation and got some performance measurements.
Hubungan Religiusitas, Optimism, Social Support, dan Psychological Well-being Peserta Didik Man Se-kota Malang

This study aims to know the relation between religiousity (X1) and psychological well being (Y), the relation between optimism (X2) and psychological well being (Y), as well as the relation between social support (X3) and psychological well being (Y) of students of MAN in the entire Malang city. This study was a non-experimental study with causal relationship study plan. The result of this research showed that there was a positive significant between X1 and Y, X2 and Y, X3 and Y; X1, X2, X3 had strong linear relation with Y; the influence of the three independent logical well being (Y), optimism (X2) dan psychological well being (Y), social support (X3) and psychological well being (Y) student of MAN se-Kota Malang. Penelitian ini bertujuan untuk mengetahui hubungan religiusitas (X1) dan psychological well being (Y), optimis (X2) dan psychological well being (Y), social support (X3) dan psychological well being (Y) peserta didik MAN se-kota Malang. Pendekatan yang digunakan adalah non experimental research dengan jenis penelitian causal relationship study. Hasil penelitian menunjukkan ada hubungan positif signifikan antara X1 dan Y, X2 dan Y, X3 dan Y; X1, X2, X3 memiliki hubungan linear yang kuat dengan Y; pengaruh ketiga variabel independen psychological well being (Y), optimism (X2) dan psychological well being (Y), social support (X3) dan psychological well being (Y) peserta didik MAN se-Kota Malang.
Combat veterans diagnosed with posttraumatic stress disorder: An argument for family-centered therapy

Treatment for veterans who suffer from PTSD has focused upon only the veteran, through involvement in cognitive-behavioral approaches in individual and group therapeutic interventions. Family systems theory would indicate that inclusion of significant others in the treatment plan would contribute to the recovery of the veteran in treatment. This study tests three hypotheses concerning family relationships, family treatment-seeking, and efficacy of treatment for veterans with PTSD. The significance of family-centered therapy for PTSD sufferers is demonstrated, using bivariate analyses. This study employs survey research conducted over the Internet as part of its data collection methodology. Implications for social work practice include an increased emphasis on family-centered approaches for PTSD treatments.
Cylindrical shell approach for an infrared embedded metamaterial composed of circular ring resonator with wire strip topology

In this study, a composite media formed by the combination of a metallic resonator and a dielectric material is mathematically analyzed by means of its effective magnetic and electric response. It is demonstrated that a resonator, in the form of a ring with a wire strip, embedded in SiO2 exhibits artificial magnetic and electric effects. Once the dimensions of the resonator are smaller than the excitation wavelength, the overall response becomes artificially homogeneous. The negative magnetic resonance is coincided with the broadband negative electric response to obtain negative-index material (NIM) whose effective refractive index is negative. The transmission characteristics of the complex medium are verified to be multiband for the whole infrared (IR) range where double-negative (DN-NIM) and single-negative (SN-NIM) features observed via particular simulations.
Etude rétrospective des signes précoces des troubles du spectre de l'autisme chez les très jeunes enfants déficients visuels

Les recherches precedentes et les observations cliniques suggerent une prevalence elevee des troubles du spectre de l'autisme (TSA) dans la population d'enfants deficients visuels. Un phenomene de regression ou de stagnation developpemental des la deuxieme annee de vie des bebes deficients visuels semble etre un precurseur de troubles autistiques ulterieurs. Relativement peu de recherches ont examine les manifestations comportementaux des tres jeunes enfants deficients visuels avant et autour de l'apparition de cette periode de regression. Pour cette etude retrospective, des films familiaux d'enfants aveugles a l’âge de 12 mois, de 24 mois et entre 3 et 4 ans, sont analyses et les comportements de la communication sociale codifies, afin de reperer des signes precurseurs des TSA. Des films d'enfants aveugles ayant un diagnostic ulterieur de TSA ont ete compares aux films d'enfants aveugles sans TSA. Les resultats indiquent une frequence moins elevee chez les enfants ayant un diagnostic de TSA de certains signes de la communication sociale des l'âge de 12 mois, avec des differences tres marquees pour les comportements d'ouvertures sociales. D'importantes differences du langage fonctionnel sont observees a partir de l'âge de 24 mois. Des stereotypes motrices et langagieres sont observees a frequence egale dans les deux groupes jusqu'a 3 ans mais ensuite diminuent chez les enfants sans troubles associes et augmentent chez les enfants avec TSA. Des differences dans le type d'activite ludique sont aussi observees, les jeux sensoriels etant plus frequents chez les enfants aveugles avec TSA. Certains comportements de rejet social et de particularites sensorielles sont observes uniquement chez les enfants aveugles avec TSA. Ces resultats pourraient contribuer a une meilleure comprehension des signes autistiques chez les personnes aveugles, l'amelioration du depistage des TSA chez les tres jeunes enfants deficients visuels, et peuvent guider des dispositifs d'intervention precoce.
Threat Analysis of Cryptographic Election Schemes

We discuss some vulnerabilities, threats and counter-measures for voter-verifiable, cryptographic election schemes: Chaum~\cite{chaum104:e-vote}, Neff~\cite{neff104:e-vote} and Pr\^{e}t \`{a} Voter schemes~\cite{chaum05:evote}. Our analysis shows that such schemes are potentially prey to a wide variety of threats, both technical and socio-technical. On the other hand, counter-measures can be deployed to all the threats identified. This paper strives to take initial steps towards a more systematic threat analysis for such schemes. We briefly address the issue of how to ensure such threat analyses are as systematic and complete as possible. © 2006 University of Newcastle upon Tyne. Printed and published by the University of Newcastle upon Tyne, Computing Science, Claremont Tower, Claremont Road, Newcastle upon Tyne, NE1 7RU, England. Bibliographical details RYAN, P. Y. A. , PEACOCK, T. Threat Analysis of Cryptographic Election Schemes [By] P. Y. A. Ryan and T. Peacock. Newcastle upon Tyne: University of Newcastle upon Tyne: Computing Science, 2006. (University of Newcastle upon Tyne, Computing Science, Technical Report Series, No. CS-TR-971)
Mining case summaries in BioWorld

BioWorld is a computer-based learning environment that was designed to support novices in diagnosing medical diseases. In this study, we examine case summaries written in BioWorld. We explore the use of text classification techniques to mine case summaries written in BioWorld. In particular, we evaluate the accuracy of several text classification algorithms in Diagnosis Correctness and Novice-Expert Overlay Model (i.e., recognizing case summaries written by novice and expert physicians). Experimental results suggest that text classification is a promising approach for mining case summaries.
Cognition sociale dans la maladie de Huntington : etude cognitive et par imagerie cérébrale morphologique et fonctionnelle

La maladie de Huntington s’accompagne de troubles des conduites sociales perturbant les relations interindividuelles. L'objectif de ce travail de these etait de mieux comprendre ces troubles sociaux en examinant les habiletes en cognition sociale de personnes porteuses de la mutation ou atteintes de cette maladie neurogenetique. La cognition sociale comprend notamment la reconnaissance des emotions d’autrui, les connaissances sociales et la theorie de l’esprit, soit la capacite a attribuer aux autres des etats mentaux affectifs (sentiments) ou cognitifs (intentions,croyances). Nous avons etudie la cognition sociale a la phase presymptomatique et symptomatique de la maladie de Huntington a l’aide de tests neuropsychologiques et de la neuroimagerie morphologique et fonctionnelle. Ce travail a ete realise dans le cadre d’une collaboration entre le centre national de reference pour les maladies neurogenetiques de l'adulte du CHU d’Angers et la plate-forme d’imagerie medicale Cyceron de Caen. Ce travail visait a mieux comprendre les perturbations en cognition sociale accompagnant la maladie de Huntington, leur evolution et leurs bases neurobiologiques afin d’ameliorer notre comprehension des troubles du comportement accompagnant cette maladie. Nous esperons ainsi pouvoir mieux contribuer au diagnostic, au pronostic et a la prise en charge des personnes concernees par cette maladie.
Variation in Pelvic Morphology May Prevent the Identification of Anterior Pelvic Tilt

Abstract Pelvic tilt is often quantified using the angle between the horizontal and a line connecting the anterior superior iliac spine (ASIS) and the posterior superior iliac spine (PSIS). Although this angle is determined by the balance of muscular and ligamentous forces acting between the pelvis and adjacent segments, it could also be influenced by variations in pelvic morphology. The primary objective of this anatomical study was to establish how such variation may affect the ASIS-PSIS measure of pelvic tilt. In addition, we also investigated how variability in pelvic landmarks may influence measures of innominate rotational asymmetry and measures of pelvic height. Thirty cadaver pelves were used for the study. Each specimen was positioned in a fixed anatomical reference position and the angle between the ASIS and PSIS measured bilaterally. In addition, side-to-side differences in the height of the innominate bone were recorded. The study found a range of values for the ASIS-PSIS of 0–23 degrees, with a mean of 13 and standard deviation of 5 degrees. Asymmetry of pelvic landmarks resulted in side-to-side differences of up to 11 degrees in ASIS-PSIS tilt and 16 millimeters in innominate height. These results suggest that variations in pelvic morphology may significantly influence measures of pelvic tilt and innominate rotational asymmetry.