Note on paraconsistency and reasoning about fractions

We apply a paraconsistent logic to reason about fractions.Comment: 6 page

Straight-line instruction sequence completeness for total calculation on cancellation meadows

A combination of program algebra with the theory of meadows is designed leading to a theory of computation in algebraic structures which use in addition to a zero test and copying instructions the instruction set $\{x \Leftarrow 0, x \Leftarrow 1, x\Leftarrow -x, x\Leftarrow x^{-1}, x\Leftarrow x+y, x\Leftarrow x\cdot y\}$. It is proven that total functions on cancellation meadows can be computed by straight-line programs using at most 5 auxiliary variables. A similar result is obtained for signed meadows.Comment: 24 page

Equations for formally real meadows

We consider the signatures $\Sigma_m=(0,1,-,+, \cdot, \ ^{-1})$ of meadows and $(\Sigma_m, {\mathbf s})$ of signed meadows. We give two complete axiomatizations of the equational theories of the real numbers with respect to these signatures. In the first case, we extend the axiomatization of zero-totalized fields by a single axiom scheme expressing formal realness; the second axiomatization presupposes an ordering. We apply these completeness results in order to obtain complete axiomatizations of the complex numbers.Comment: 24 pages, 14 tables, revised, new Theorem 3.

Automated data acquisition and reduction system for torsional braid analyzer

Automated Data Acquisition and Reduction System (ADAR) evaluates damping coefficient and relative rigidity by storing four successive peaks of waveform and time period between two successive peaks. Damping coefficient and relative rigidity are then calculated and plotted against temperature or time in real time

Weight loss surgery in adolescents corrects high-density lipoprotein subspecies and their function.

Background/objectiveYouth with obesity have an altered high-density lipoprotein (HDL) subspecies profile characterized by depletion of large apoE-rich HDL particles and an enrichment of small HDL particles. The goal of this study was to test the hypothesis that this atherogenic HDL profile is reversible and that HDL function would improve with metabolic surgery.MethodsSerum samples from adolescent males with severe obesity mean±s.d. age of 17.4±1.6 years were studied at baseline and 1 year following vertical sleeve gastrectomy (VSG). HDL subspecies and HDL function were evaluated pre and post VSG using paired t-tests. A lean group of adolescents was included as a reference group.ResultsAfter VSG, body mass index decreased by 32% and insulin resistance as estimated by homeostatic model assessment of insulin resistance decreased by 75% (both P<0.01). Large apoE-rich HDL subspecies increased following VSG (P<0.01) and approached that of lean adolescents despite participants with considerable residual obesity. In addition, HDL function improved compared with baseline (cholesterol efflux capacity increased by 12%, HDL lipid peroxidation potential decreased by 30% and HDL anti-oxidative capacity improved by 25%, all P<0.01).ConclusionsMetabolic surgery results in a significant improvement in the quantity of large HDL subspecies and HDL function. Our data suggest metabolic surgery may improve cardiovascular risk in adolescents and young adults

TRUST DAN SELF-DISCLOSURE PADA REMAJA PENGGUNA INSTAGRAM

Media sosial Instagram mendorong para remaja untuk mengeksplor kehidupan pribadi penggunanya. Self-disclosure yang tinggi pada remaja pengguna Instagram, membutuhkan trust yang besar pada Instagram tersebut untuk menjaga keamanan dan kenyamanan dalam bersosial media. Penelitian ini bertujuan untuk mengetahui hubungan antara trust dan self-disclosure pada remaja pengguna Instagram. Metode yang digunakan dalam penelitian ini adalah metode kuantitatif dengan teknik purposive sampling. Sampel pada penelitian ini adalah remaja yang telah menggunakan Instagram selama minimal 1 tahun dan berusia 14-22 tahun dengan jumlah sampel 97 orang. Alat ukur dalam penelitian ini menggunakan skala trust dan skala self-disclosure. Nilai koefisien korelasi sebesar 0.193 dan nilai signifikansi sebesar 0.029 (p < .05). Hal ini menunjukan bahwa adanya hubungan positif antara trust dan self-disclosure pada remaja pengguna Instagram yang berati semakin tinggi trust maka semakin tinggi pula self-disclosure

Mitochondrial and chloroplast stress responses are modulated in distinct touch and chemical inhibition phases

Previous studies have identified a range of transcription factors that modulate retrograde regulation of mitochondrial and chloroplast functions in Arabidopsis (Arabidopsis thaliana). However, the relative importance of these regulators and whether they act downstream of separate or overlapping signaling cascades is still unclear. Here, we demonstrate that multiple stress-related signaling pathways, with distinct kinetic signatures, converge on overlapping gene sets involved in energy organelle function. The transcription factor ANAC017 is almost solely responsible for transcript induction of marker genes around 3 to 6 h after chemical inhibition of organelle function and is a key regulator of mitochondrial and specific types of chloroplast retrograde signaling. However, an independent and highly transient gene expression phase, initiated within 10 to 30 min after treatment, also targets energy organelle functions, and is related to touch and wounding responses. Metabolite analysis demonstrates that this early response is concurrent with rapid changes in tricarboxylic acid cycle intermediates and large changes in transcript abundance of genes encoding mitochondrial dicarboxylate carrier proteins. It was further demonstrated that transcription factors AtWRKY15 and AtWRKY40 have repressive regulatory roles in this touch-responsive gene expression. Together, our results show that several regulatory systems can independently affect energy organelle function in response to stress, providing different means to exert operational control