Miracle-dz/UniFAR-FTUs huggingface dataset:
Conserved charges in the principal chiral model on a supergroup

The classical principal chiral model in 1+1 dimensions with target space a compact Lie supergroup is investigated. It is shown how to construct a local conserved charge given an invariant tensor of the Lie superalgebra. We calculate the super-Poisson brackets of these currents and argue that they are finitely generated. We show how to derive an infinite number of local charges in involution. We demonstrate that these charges Poisson commute with the non-local charges of the model.
Transborder Citizenship: an Outcome of Legal Pluralism within Transnational Social Fields - eScholarship

Transborder citizenship: an outcome of legal pluralism within transnational social fields forthcoming in Mobile People, Mobile Law: Expanding Legal Relations in a Contracting World. Franz Bender Beckman and Keebit Bender Beckman eds. London: Ashgate Nina Glick Schiller In this paper I will discuss the implications of migrants’ transnational connections and networks for the concept of citizenship and propose the concept of the transborder citizen. Transborder citizens are people who live their lives across the borders of two or more nation-states, participating in the normative regime, legal and institutional system and political practices of these various states. As all other citizens, they claim rights and privileges from government but transborder citizens claim and act on a relationship to more than one government. The fact that within the past decade an impressive number of states have adopted some form of dual citizenship or dual nationality is an important foundation of the development of transborder citizenship. But an understanding of the development of transborder citizenship takes us beyond legal definitions of citizenship into the subject of social and cultural citizenship and the multiple experiences of living within plural systems of laws, customs and values. The political ideas, practices and claims-making of transborder citizens confront us with the task of assessing an important and unexplored outcome of legal pluralism within a transnational social field. By living their lives across borders, transborder citizens can become a social force in reshaping the workings of legal domains in more than one state. This does not make transborder citizens a single political force. Because the same transnational social field may contain individuals with differing interests and agendas, the degree of unity and
Proposal : Object Propositions

predicates can be used to express properties of elds using integers, but reasoning about integers is di cult. We are going to employ a theorem prover to prove properties about integers. Most probably, we are going to use the Z3 theorem prover [3]. Kevin Bierho has implemented a tool called JavaSyp [1] that uses the SMT solver Z3 to formally verify Java code. We initially wanted to modify JavaSyp in order to implement Oprop, but that proved to be a di cult task. There are many details that are di erent between JavaSyp and what Oprop needs to do: JavaSyp uses borrowing and capture/release because the tool does not implement fractional permissions. Oprop does not use borrowing, but instead it uses fractional permissions. Fractions give more precision than the borrowing mechanism and we are going to implement fractional permissions. Oprop will implement the pack/unpack mechanism, while JavaSyp does not implement this mechanism. JavaSyp implements instead exposure blocks" that show how elds should be accessed. These features are closely related: when the elds of an object are unpacked (when the object proposition that encapsulated them is unpacked), we can think of them as being exposed". In Bierho 's system, there are unique" and immutable" exposure blocks. Fields can be assigned inside unique exposure blocks, with eld reads yielding the eld's original permission. Inside an immutable block, reading elds results in a weakened eld permission. The technical di erence is that in my system I do not have immutable permissions, but instead one can always write to the elds of an object (in some cases, one has to make sure that the invariant is preserved). I acknowledge that this is just an incidental di erence and the ideas of pack/unpack vs. exposure blocks are very similar. JavaSyp has class invariants, but Oprop will not have them and instead it will have invariants for objects that are shared. Our plan is to create a tool similar to JavaSyp that rst translates the code and speci cations into an intermediary language (such as those used by Dafny or Chalice, from the RiSE group at Microsoft Research [7]) and then use that intermediary tool together with Z3 to obtain the nal result. 9 Validation and Evaluation We will evaluate the usefulness of the Oprop tool and of the object proposition methodology by designing a user study where we observe how the Oprop plugin improves the e ciency of programmers. We will also try to solve the open problem Finalizers, that will be described below, using our methodology. We have already made some contributions to the speci cation and veri cation of the Composite pattern, and we will nalize the veri cation of the Composite pattern.
On the eccentricity of self-gravitating circumstellar disks in eccentric binary systems

Aims. We study the evolution of circumstellar massive disks around the primary star of a binary system focusing on the computation of disk eccentricity. In particular, we concentrate on its dependence on the binary eccentricity. Self-gravitation is included in our numerical simulations. Our standard model assumes a semimajor axis for the binary of 30 AU, the most probable value according to the present binary statistics. Methods. Two-dimensional hydrodynamical computations are performed with FARGO. Besides the dynamical standard method to determine disk eccentricities, we apply a morphological method which may allow a better comparison with observations. Results. Self-gravitation leads to disks that, on average, have low eccentricity. Moreover, the orientation of the disk computed with the standard dynamical method always librates instead of circulating as in simulations without self-gravitation. The disk eccentricity decreases with the binary eccentricity, a result found also in models without self-gravitation. Conclusions. Disk self-gravitation appears to be an important factor in determining the evolution of a massive disk in a binary system. High eccentricity binaries are not necessarily a hostile environment for planetary accretion.
Concentration and Separation of Active Proteins from Potato Industry Waste Based on Low-Temperature Evaporation and Ethanol Precipitation

Purpose. Potato fruit juice, a residue of starch industry, contains up to 2.5% [w/w] of proteins that are potentially valuable raw-materials of food, cosmetic, and pharma industries. The recovery of protein from the potato fruit juice is limited by the lack of industrially feasible concentration and separation technologies. The present research thus aimed at development of such process for the separation of active protease inhibitors from potato fruit juice. Methods. Low temperature mechanical vapor recompression evaporation was applied for concentration of potato fruit juice followed by ethanol precipitation for recovery of active proteins. The effects of precipitation temperature and precipitative agents were investigated employing response surface modeling methodology. Results. Concentration of potato fruit juice by evaporation was successful without loss of trypsin inhibition activity. Precipitation using 6.5 M ethanol at low temperature (0–+4°C) was found suitable for the recovery of active protease inhibitors from the concentrate. Piloting at starch industry yielded 50% of total proteins, with a high quantity of active protease inhibitors and a minor inclusion of other proteins. Conclusion. Concentration by low-temperature evaporation, followed by ethanol precipitation of protease inhibitors at optimized temperature, is an attractive option for valorization of potato fruit juice.
Nanophotonic Polarization Diversity Demultiplexer Chip

We demonstrate a very compact multifunctional photonic-crystal demultiplexer on high index contrast InP-membrane for coarse WDM applications. Polarization diversity is implemented using 2D-grating couplers. The performance of the device is evaluated using integrated p-i-n photodetectors. Polarization diversity from fiber to detector-without intermediate functional device-results in a minimal polarization dependent loss (PDL) of 0.2 dB. This value increases to 1.1 dB when including the photonic-crystal demultiplexer.
Bifidobacterium adolescentis Exerts Strain-Specific Effects on Constipation Induced by Loperamide in BALB/c Mice

Constipation is one of the most common gastrointestinal complaints worldwide. This study was performed to determine whether Bifidobacterium adolescentis exerts inter-strain differences in alleviating constipation induced by loperamide in BALB/c mice and to analyze the main reasons for these differences. BALB/c mice underwent gavage with B. adolescentis (CCFM 626, 667, and 669) once per day for 17 days. The primary outcome measures included related constipation indicators, and the secondary outcome measures were the basic biological characteristics of the strains, the concentration changes of short-chain fatty acids in feces, and the changes in the fecal flora. B. adolescentis CCFM 669 and 667 relieved constipation symptoms by adhering to intestinal epithelial cells, growing quickly in vitro and increasing the concentrations of propionic and butyric acids. The effect of B. adolescentis on the gut microbiota in mice with constipation was investigated via 16S rRNA metagenomic analysis. The results revealed that the relative abundance of Lactobacillus increased and the amount of Clostridium decreased in the B. adolescentis CCFM 669 and 667 treatment groups. In conclusion, B. adolescentis exhibits strain-specific effects in the alleviation of constipation, mostly due to the strains’ growth rates, adhesive capacity and effects on the gut microbiome and microenvironment.
NEW RECONSTRUCTION ALGORITHMS IN ELECTRICAL IMPEDANCE TOMOGRAPHY BASED ON NONLINEAR OPTIMIZATION

We consider the inverse conductivity problem in Electrical Impedance Tomography for which we focus on the case of important conductivity jumps. If we formulate the problem with a boundary element method we obtain a nonlinear system which can be solved by a Levenberg-Marquardt method. The important size of this system is reduced by simulating a global current injection. The resolution of the new nonlinear system allows us to reconstruct the first layer of the domain. Once this layer obtained we iterate the process to reconstruct the next layer by choosing an accurate starting point that is a conductivity distribution which minimizes the difference between measured and calculated potentials on the boundary. With this method we obtain a layer reconstruction algorithm which gives good results not only for small conductivity jumps but also for important jumps.
Determination of the strong coupling constant using matched NNLO+NLLA predictions for hadronic event shapes in e+e− annihilations

We present a determination of the strong coupling constant from a fit of QCD predictions for six event-shape variables, calculated at next-to-next-to-leading order (NNLO) and matched to resummation in the next-to-leading-logarithmic approximation (NLLA). These event shapes have been measured in e+e? annihilations at LEP, where the data we use have been collected by the ALEPH detector at centre-of-mass energies between 91 and 206 GeV. Compared to purely fixed order NNLO fits, we observe that the central fit values are hardly affected, but the systematic uncertainty is larger because the NLLA part re-introduces relatively large uncertainties from scale variations. By combining the results for six event-shape variables and eight centre-of-mass energies, we find ? s(MZ) = 0.1224? 0.0009? (stat)? 0.0009? (exp)? 0.0012? (had)? 0.0035? (theo), which improves previously published measurements at NLO+NLLA. We also carry out a detailed investigation of hadronisation corrections, using a large set of Monte Carlo generator predictions.
A Look at the Reliability of an Early Childhood Expository Comprehension Measure

A Look at the Reliability of an Early Childhood Expository Comprehension Measure Alta Adamma McDonald Department of Teacher Education, BYU Master of Arts Although the implementation of the Common Core State Standards has included more informational texts in early grades to emphasize reading to gain knowledge (Green, 2012; Roskos & Neuman, 2014), the lack of available expository assessments leaves teachers unsure of what students need to know in order to be successful comprehenders of these texts (Hall, Markham, & Culatta, 2005; Harding, 2014). Moreover, there are very few early expository assessments available which makes it difficult for teachers to monitor young children’s expository text knowledge and skills and then adjust their instruction to meet children’s unique needs. The EECA R-2 is an early expository assessment measure that was created in order to meet these demands. Data from 128 preschoolers between the ages of four and five in seven different Title I classrooms were collected to determine the reliability and validity of the EECA R-2. Children were given the Test of Story Comprehension (TSC) subtest of the Narrative Language Measures (NLM) Preschool Assessment as well as two versions of the EECA R-2. A Many Facets Rasch model was used to determine reliability and to allow for examination of individual test items. In addition, correlations were run between the NLM and the EECA to determine the validity of the EECA. Results indicate the EECA R-2 is a reliable and valid measure. High reliability was obtained for all facets (rater .00, person .97, and form .96). Items 6-13, 15, 18, and 23 were deemed quality items. Items 1, 2, 5, 15, 16, 20, 21, 25, and 26 were deemed problematic items. There was a positive correlation between the TSC subtest of the NLM Preschool Assessment and the EECA R-2 tasks (r=.76, p= ≤.01). Future research could include another rendition of the EECA in order to gain a better understanding of the problematic items. Doing so could support teachers in assessing student abilities and preparing classroom instruction that targets specific areas of focus to move learning to higher levels.
Self-Predictions and Depressive Realism in Future Life Events.

Research has demonstrated that depressed people lack the optimistic bias evidenced by nondepressed persons and that the former may be more realistic in predicting the outcome of future events (depressive realism hypothesis). This study assesses the depressive realism hypothesis by comparing the accuracy of depressed and nondepressed people's self-predictions of a series of life events. One hundred college students (75 females) answered the Beck Depression Inventory and then made self-predictions about a series of future life events. Results indicate that depressed persons made significantly more pessimistic predictions than nondepressed subjects. Depressed persons were more accurate than nondepressed ones for pessimistic judgments while the latter were more accurate on optimistic judgments. No mediating factors such as event controllability and base rate were found for prediction accuracy. One possible explanation for the finding that depressives are more accurate than nondepressed subject in predicting undesirable events is that nondepressed persons may be more apt to avoid undesirable outcomes whereas depressed individuals may not elude these. Included are two tables which summarize the data and a copy of the Life Events Questionnaire. (RJM) ***********************************************************************. Reproductions supplied by EDRS are the best that can be made from the original document. ***********************************************AAAA:,AAH.A. %;,AA*. ;,A**A-*:',
AN EMPIRICAL COMPARISON OF SUPERVISED LEARNING ALGORITHMS IN DISEASE DETECTION

In this paper empirical comparison is carried out with various supervised algorithms. We studied the performance criterion of the machine learning tools such as Naive Bayes, Support vector machines, Radial basis neural networks, Decision trees J48 and simple CART in detecting diseases. We used both binary and multi class data sets namely WBC, WDBC, Pima Indians Diabetes database and Breast tissue from UCI machine learning depositary. The experiments are conducted in WEKA. The aim of this research is to find out the best classifier with respect to disease detection.
An investigation of the rescue personality in firefighter recruits.

The purpose o f this study was to investigate the predispositional nature o f the “rescue personality” and the mental health of firefighter recruits. This study compared responses to a written set o f personality and mental health measures between firefighter recruits and community controls— individually matched based on age, gender, ethnicity, education, and marital status. Data analysis involved statistical one-way analyses o f variance in complement with epidemiological paired odds ratio calculations. The results indicated that firefighter recruits are less open to experience, less Type A, and less likely to report posttraumatic stress symptomatology characteristic o f PTSD than controls. Recruits do not differ from controls in regards to any subscale of the SCL-90-R, neuroticism, extraversion, agreeableness, conscientiousness, sensation seeking, proactive coping, emotional intelligence, or satisfaction with life. Based on these findings, there is insufficient evidence to support the “rescue personality” as a predispositional factor to joining the firefighting service.
Metacognitive Knowledge and Metacognitive Regulation in Self-Regulatory Learning Style, and in Its Effects on Performance Expectation and Subsequent Performance across Diverse School Subjects

This study aimed at examining: (a) students’ metacognitive knowledge and metacognitive regulation when they are doing school work or homework, and their self-regulated learning style regarding the four different types of behavioral regulation: external, introjected, identified and intrinsic; and (b) the role of metacognition in self-regulated learning style, and in the impact of self-regulated learning style on performance expectations, and subsequent performance in the school subjects of language, mathematics and physical education. The sample comprised of 243 primary school students, fifth and sixth grades, boys and girls, who randomly came from 20 state primary schools of various regions of Greece. The participants completed the scales at the middle of a school year, while their school performance was estimated by the teachers. The results showed that: (a) the students used metacognitive knowledge (predominately, declarative) and metacognitive regulation (mainly, planning) at a moderate extent, and they reported a mixed profile of self-regulatory learning style, favoring identified; (b) metacognitive regulation, compared with metacognitive knowledge, was a more powerful formulator of regulatory learning styles, mainly intrinsic and identified; (c) metacognition explained a small percentage of variance of both performance expectations, beyond self-regulatory style, and performance, beyond the interactive effect of performance expectations and regulatory learning style, in both language and mathematics, while it had no significant unique contribution in physical education; (d) external regulation had negative contribution in school performance across the three school subjects, while intrinsic regulation had no unique effect. Theoretical and practical applications of the findings are discussed.
Feasibility Study of a Wearable System Based on a Wireless Body Area Network for Gait Assessment in Parkinson's Disease Patients

Parkinson's disease (PD) alters the motor performance of affected individuals. The dopaminergic denervation of the striatum, due to substantia nigra neuronal loss, compromises the speed, the automatism and smoothness of movements of PD patients. The development of a reliable tool for long-term monitoring of PD symptoms would allow the accurate assessment of the clinical status during the different PD stages and the evaluation of motor complications. Furthermore, it would be very useful both for routine clinical care as well as for testing novel therapies. Within this context we have validated the feasibility of using a Body Network Area (BAN) of wireless accelerometers to perform continuous at home gait monitoring of PD patients. The analysis addresses the assessment of the system performance working in real environments.
Movement of retinal terminals in goldfish optic tectum predicted by analysis of neuronal proliferation

Quantitative, computer-assisted autoradiography was used to assess the relative rate and pattern of growth of retina and tectum in larval and early juvenile goldfish. 3H-thymidine was used to mark the boundary of retina and tectum, and the location of this boundary was charted as the eye and brain grew and added more cells. The pattern of growth is at all times discordant. The original (larval) retina becomes surrounded by annuli of new tissue, whereas the larval tectum remains adjacent to the rostral edge as crescents of new tissue are added to the caudal end. After 2 years of growth, more than 95% of the total surface area of retina and tectum in goldfish derives from cells born after larval stages. Computer-aided reconstructions of 3H-thymidine labeled retina and tecta were used to predict the direction and magnitude of displacement of the retinotopic map. It was estimated that retinal terminals can shift 1.5–1.8 mm caudally at a rate of 5 micron/d during the first 2 years of growth. The terminals that move the farthest are those from temporal retina that project to rostral tectum. The magnitude and direction of the predicted movements matches certain features of HRP-filled retinal axons that others have assumed represented the history of displacements of the terminal arbors.
An Investigation of Incorporating Dialogical Argumentation into Peer Instruction (PI) for Pre-Service Teacher Learning of Current Electricity

The study is a quasi-experimental research employing the pretest-posttest design. 52 pre-service teachers from a college of education were sampled with 26 pre-service teachers in both the control group (CG) and experimental group (EG). The instruments used to collect data were Physics Achievement Test (PAT), Peer Instruction Dialogical Argumentation Questionnaire (PIDAQ), and Adopted Physics ConcepTest (APC) for teaching the experimental group. The instruments were validated by experts in science education and physics. The reliability of the PAT, based on a pilot test conducted, shows that the Cronbach’s alpha coefficient is 0.876. The data obtained were analyzed using t-test, Analysis of Covariance (ANCOVA), and descriptive statistics. Findings revealed that the incorporation of DA into PI has an impact on the students’ learning of current electricity. The study considered some implications of the findings on the teaching and learning of physics.