Miracle-dz/UniFAR-FTUs huggingface dataset:
CCN networking architecture for mobile applications

We have proposed a CCN-based Virtual Private Community (VPC) service for content sharing as a prototype for Content-Centric Networking (CCN). A VPC is a hierarchical and closed user group which consumers themselves can easily create and manage on their devices. CCN is a new networking paradigm that was considered to bring significant advantages over current IP-based Internet. Their main idea was based on named data networking not the named hosts. CCN is known to have advantages of reducing congestion and latency by eliminating redundant data delivery, ensuring secure data delivery by content protection, improving delivery efficiency by utilizing multiple paths over IP-based networking paradigm. In this paper, in addition to the well-known properties of CCN listed above, we show that CCN-based networking architecture fits with community grouping solution such as VPC. Then, we describe how the communities are formed and existing applications run with the CCN VPC. We have implemented our CCN VPC on Android platforms to demonstrate the potential of user device oriented CCN applications.
Complete functional synthesis

Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algorithms should behave in a predictable way - they should succeed for a well-defined class of specifications. They should also support unbounded data types such as numbers and data structures. We propose to generalize decision procedures into predictable and complete synthesis procedures. Such procedures are guaranteed to find code that satisfies the specification if such code exists. Moreover, we identify conditions under which synthesis will statically decide whether the solution is guaranteed to exist, and whether it is unique. We demonstrate our approach by starting from decision procedures for linear arithmetic and data structures and transforming them into synthesis procedures. We establish results on the size and the efficiency of the synthesized code. We show that such procedures are useful as a language extension with implicit value definitions, and we show how to extend a compiler to support such definitions. Our constructs provide the benefits of synthesis to programmers, without requiring them to learn new concepts or give up a deterministic execution model.
Neuropathological findings after intracerebral implantation of microdialysis catheters

THE neuropathological and immunocytochemical changes in the sheep forebrain following 7 days of microdialysis, using a catheter approved for human use, are described. There was no behavioural dysfunction and light microscopy revealed mild astrogliosis and patchy macrophage infiltration immediately adjacent to the catheter track. The surrounding neuropil was normal. There was one small subcortical haemorrhage (10 × 1.5 mm). These findings are similar to those following microdialysis in rodents and suggest that the risk of significant damage to the human brain is low, that neuropathological changes in the brain around the catheter should not interfere with local brain metabolism, and that the catheter should be affixed in such a way as to minimize movement-induced damage to the brain.
Emotion Influenced Robotic Path Planning

We introduce an emotion influenced robotic path planning solution which offers the possibility of enabling emotions in the robot. The robot can change the speed of the path or learn where it should be and where it should not be. Most existing solutions for robotic path planning have no emotional influences. The most successful emotions were taken and included into the solution of this paper. The results were analyzed with regard to the time and speed it takes for a normal robotic path planning without emotions and with emotions of happiness, fear and novelty.
Posttranscriptional Regulation of High-Affinity Sulfate Transporters in Arabidopsis by Sulfur Nutrition1[OA]

High-affinity sulfate transporters SULTR1;1 and SULTR1;2 are expressed at epidermis and cortex of Arabidopsis (Arabidopsis thaliana) roots during sulfur limitation. Here, we report that SULTR1;1 and SULTR1;2 are two essential components of the sulfate uptake system in roots and are regulated at posttranscriptional levels together with the previously reported transcriptional control. Double knockout of SULTR1;1 and SULTR1;2 by T-DNA insertion gene disruption resulted in complete lack of sulfate uptake capacity and severely affected plant growth under low-sulfur conditions. Expression of epitope-tagged proteins SULTR1;1mycHis and SULTR1;2mycHis, under the control of the cauliflower mosaic virus 35S promoter, rescued the uptake of sulfate and the growth of the sultr1;1 sultr1;2 double knockout mutant. The recovery of the double knockout phenotypes was attributable to the posttranscriptional accumulation of sulfate transporter proteins that derive from the epitope-tagged transgenic constructs. Both SULTR1;1mycHis and SUTLR1;2mycHis mRNAs were predominantly found in roots and slightly induced by long-term sulfur limitation. SULTR1;1mycHis and SULTR1;2mycHis proteins were found exclusively in roots, and significantly accumulated by sulfur limitation, correlating with the induction of sulfate uptake activities. In the time course of short-term sulfate starvation treatment, SULTR1;1mycHis and SULTR1;2mycHis proteins were significantly accumulated during the 8- to 72-h period, causing substantial induction of sulfate uptake activities, while their corresponding mRNAs were expressed constantly around the initial levels, except for the transient induction in the first 2 h. This study suggested the importance of root-specific and sulfur deficiency-inducible accumulation of SULTR1;1 and SULTR1;2 sulfate transporter proteins for the acquisition of sulfate from low-sulfur environment.
The optimal contracts in continuous time under Knightian uncertainty

In this paper, we focus on the principal-agent problems in continuous time when the participants have ambiguity on the output process in the framework of g-expectation. The first best (or, risk-sharing) type is studied. The necessary condition of the optimal contract is derived by means of the optimal control theory. Finally, we present some examples to clarify our results.
GROUNDING GOVERNANCE IN DIALOGUE? DISCOURSE, PRACTICE AND THE POTENTIAL FOR A NEW PUBLIC SECTOR ORGANIZATIONAL FORM IN BRITAIN

Drawing on debates about the nature and significance of quasi-autonomous government organizations, this article asks what happens when trends towards agency creation by government and trends towards stakeholder participation in policy processes come together. Issues are considered through an examination of the National Institute for Clinical Excellence, one of a series of new regulatory bodies set up in Britain after 1997 and given the task of providing national guidance on treatments and care for people using the health service. The analysis points to the emergence of a new form – the dialogic intermediary organization. Such an organization, while maintaining close and informal links with government, attempts to build legitimacy for its activities through multiple and potentially competing engagements with diversely constituted publics. The potential theoretical and political importance of dialogic intermediary organizations, and some implications for their fuller empirical study are briefly explored.
In vivo Spectrophotometric Assessment of the Tooth Whitening Effectiveness of Nite White 10% with Amorphous Calcium Phosphate, Potassium Nitrate and Fluoride, Over a 6-month Period

To clinically evaluate the effectiveness of Nite White 10% carbamide peroxide with amorphous calcium phosphate, potassium nitrate and fluoride over a 6-month follow-up period. Nite White was applied nightly for 14 days, according to the manufacturer’s instructions. The color of teeth 11 and 21 of twenty one subjects was measured with a spectrophotometer (L*; a*; b*). Subjects were instructed to take note of any tooth sensitivity and gingival irritation. For all three components (L*, a* and b*) statistical significant differences (p<0.05) in the values between base-line (pre-bleaching) and; after treatment, after 1-month, after 3-months as well as after 6-months were found (Wilcoxon Signed Rank Sum Test). Significant differences were also found amongst the ΔE*ab (0-14days) values and; ΔE*ab (0-1 month), ΔE*ab (0-3 months) and ΔE*ab (0-6 months). However, no significant differences were found between pairs of ΔE*ab (0-1 month), ΔE*ab (0-3 months) and ΔE*ab (0-6months). The decrease in ΔE*ab was the highest after 1 month (~30%). The highest decrease in L* was about 58% after 1 month. Over the 14-day treatment period tooth sensitivity was 24.5%. Conclusions: Nite White ACP demonstrated significant tooth-whitening (unit increase = 5.29) with a low tooth sensitivity (25%) probably due to the presence of amorphous calcium phosphate, potassium nitrate, and fluoride. The whitening effect decreased the most after one month and then maintained well even after a 6 month period (units 3.89). Clinical implications The product is a good tooth whitener with a color increase of about 5 units accompanied with a low sensitivity.
CheCUDA: A Checkpoint/Restart Tool for CUDA Applications

In this paper, a tool named CheCUDA is designed to checkpoint CUDA applications that use GPUs as accelerators. As existing checkpoint/restart implementations do not support checkpointing the GPU status, CheCUDA hooks a part of basic CUDA driver API calls in order to record the status changes on the main memory. At checkpointing, CheCUDA stores the status changes in a file after copying all necessary data in the video memory to the main memory and then disabling the CUDA runtime. At restarting, CheCUDA reads the file, re-initializes the CUDA runtime, and recovers the resources on GPUs so as to restart from the stored status. This paper demonstrates that a prototype implementation of CheCUDA can correctly checkpoint and restart a CUDA application written with basic APIs. This also indicates that CheCUDA can migrate a process from one PC to another even if the process uses a GPU. Accordingly, CheCUDA is useful not only to enhance the dependability of CUDA applications but also to enable dynamic task scheduling of CUDA applications required especially on heterogeneous GPU cluster systems. This paper also shows the timing overhead for checkpointing.
H2A.Bbd: an X-chromosome-encoded histone involved in mammalian spermiogenesis

Despite the identification of H2A.Bbd as a new vertebrate-specific replacement histone variant several years ago, and despite the many in vitro structural characterizations using reconstituted chromatin complexes consisting of this variant, the existence of H2A.Bbd in the cell and its location has remained elusive. Here, we report that the native form of this variant is present in highly advanced spermiogenic fractions of mammalian testis at the time when histones are highly acetylated and being replaced by protamines. It is also present in the nucleosomal chromatin fraction of mature human sperm. The ectopically expressed non-tagged version of the protein is associated with micrococcal nuclease-refractory insoluble fractions of chromatin and in mouse (20T1/2) cell line, H2A.Bbd is enriched at the periphery of chromocenters. The exceedingly rapid evolution of this unique X-chromosome-linked histone variant is shared with other reproductive proteins including those associated with chromatin in the mature sperm (protamines) of many vertebrates. This common rate of evolution provides further support for the functional and structural involvement of this protein in male gametogenesis in mammals.
Midgut and Fat Body Bacteriocytes in Neotropical Cerambycid Beetles (Coleoptera: Cerambycidae)

ABSTRACT Xylophagous insects derive nutrients from intractable substrates by producing or ingesting cellulolytic enzymes, or by maintaining associations with symbiotic microbes. Wood-boring cerambycid beetle larvae sometimes house maternally-transmitted endosymbiotic yeasts that are presumed to provide their hosts with nutritional benefits. These are thought to be absent from species in the large subfamily Lamiinae; nevertheless yeasts have been repeatedly isolated from the guts of neotropical lamiines. The objective of this study was to conduct transmission electron microscopy (TEM) studies of cerambycid larval midgut tissues to determine if gut yeasts were intracellular, or simply present in the gut lumen. Nine cerambycid larvae were harvested from two trees in the Brazil nut family (Lecythidaceae) in the rain forest of SE Peru; seven were identified using mtDNA sequence data and processed for TEM. Yeasts cultured from larval frass or exuvia, and identified with rDNA sequence data, were identical or similar to yeasts previously isolated from beetles. In TEM analyses yeast cells were found only in the gut lumens, sometimes associated with fragments of thick-walled xylem cells. Apparent bacteriocytes were found in either midgut or fat body tissue of three larval specimens, including two lamiines. This is the first report of a potential fat body symbiosis in a cerambycid beetle. Future studies of cerambycid symbiosis should distinguish the identities and potential roles of free-living organisms in the gut lumen from those of organisms harbored within gut epithelial or fat body tissue.
Anemia in Patients with Type 2 Diabetes Mellitus

The objective of this study was to evaluate the prevalence of anemia in DM2 patients and its correlation with demographic and lifestyle and laboratory variables. This is a descriptive and analytical study of the type of case studies in the urban area of the Ijuí city, registered in programs of the Family Health Strategy, with a total sample of 146 patients with DM2. A semistructured questionnaire with sociodemographic and clinical variables and performed biochemical test was applied. Of the DM2 patients studied, 50 patients had anemia, and it was found that the body mass items and hypertension and hematological variables are significantly associated with anemia of chronic disease. So, the prevalence of anemia is high in patients with DM2. The set of observed changes characterizes the anemia of chronic disease, which affects quality of life of diabetic patients and is associated with disease progression, development, and comorbidities that contribute significantly to increasing the risk of cardiovascular diseases.
Counter-Hegemony and Environmental Justice in California Newspapers: Source Use Patterns in Stories About Pesticides and Farm Workers

Articles from four California newspapers focusing on pesticide use and farm workers were content analyzed to track inclusion of pro- and anti-pesticide sources, along with neutral sources. The authors applied hegemony theory to news content and historical, socioeconomic, and demographic data. Results indicate that in all newspapers, “counter-hegemonic” anti-pesticide sources were the most-often quoted. Analysis suggests that newspapers, themselves part of the ruling hegemony, nevertheless do sometimes provide significant space for opposing voices on environmental justice issues, especially when the sources become professional challengers, such as the United Farm Workers Union, highly legitimized by their routine use in the press.
A Time-Domain Approach to Control of Series Elastic Actuators: Adaptive Torque and Passivity-Based Impedance Control

Robots are increasingly designed to physically interact with humans in unstructured environments, and as such must operate both accurately and safely. Leveraging compliant actuation, typically in the form of series elastic actuators (SEAs), can guarantee this required level of safety. To date, a number of frequency-domain techniques have been proposed, which yield effective SEA torque and impedance control; however, these methods are accompanied by undesirable stability constraints. In this paper, we instead focus on a time-domain approach to the control of SEAs, and adapt two existing control techniques for SEA platforms. First, a model reference adaptive controller is developed, which requires no prior knowledge of system parameters and can specify desired closed-loop torque characteristics. Second, the time-domain passivity approach is modified to control desired impedances in a manner that temporarily allows the SEA to passively render impedances greater than the actuator's intrinsic stiffness. This approach also provides conditions for passivity when augmenting any stable SEA torque controller with an arbitrary impedance. The resultant techniques are experimentally validated on a custom prototype SEA.compliant actuation,frequency-domain techniquesundesirable stability constraints.
Viscous constitutive relations of solid-liquid composites in terms of grain boundary contiguity: 1. Grain boundary diffusion control model

[1] Viscous constitutive relations of partially molten rocks deforming in the regime of grain boundary (GB) diffusion creep are derived theoretically on the basis of microstructural processes at the grain scale. The viscous constitutive relation developed in this study is based on contiguity as an internal state variable, which enables us to take into account the detailed effects of grain-scale melt distribution observed in experiments. Compared to the elasticities derived previously for the same microstructural model, the viscosities are much more sensitive to the presence of melt and variations in contiguity. As explored in this series of three companion papers, this “contiguity” model predicts that a very small amount of melt (ϕ < 0.01) significantly reduces the bulk and shear viscosities. Furthermore, a large anisotropy in viscosity is produced by anisotropy in contiguity, which occurs in deforming partially molten rocks. These results have important implications for deformation and melt extraction at small melt fractions, as well as for shear-induced melt segregation. The viscous and elastic constitutive relations derived in terms of contiguity bridge microscopic grain-scale and macroscopic continuum properties. These constitutive relations are essential for investigating melt migration dynamics in a forward sense on the basis of the basic equations of two-phase dynamics and in an inverse sense on the basis of seismological observations.
NRAGE Mediates p38 Activation and Neural Progenitor Apoptosis via the Bone Morphogenetic Protein Signaling Cascade

Understanding the molecular events that govern neural progenitor lineage commitment, mitotic arrest, and differentiation into functional progeny are germane to our understanding of neocortical development. Members of the family of bone morphogenetic proteins (BMPs) play pivotal roles in regulating neural differentiation and apoptosis during neurogenesis through combined actions involving Smad and TAK1 activation. We demonstrate that BMP signaling is required for the induction of apoptosis of neural progenitors and that NRAGE is a mandatory component of the signaling cascade. NRAGE possesses the ability to bind and function with the TAK1-TAB1-XIAP complex facilitating the activation of p38. Disruption of NRAGE or any other member of the noncanonical signaling cascaded is sufﬁcient to block p38 activation and thus the proapoptotic signals generated through BMP exposure. The function of NRAGE is independent of Smad signaling, but the intro- duction of a dominant-negative Smad5 also rescues neural progenitor apoptosis, suggesting that both canonical and noncanonical pathways can converge and regulate BMP-mediated apoptosis. Collectively, these results establish NRAGE as an integral component in BMP signaling and clarify its role during were collected and subjected to standard Western blotting techniques. As anticipated, NRAGE overexpression resulted in increased p53 levels. A direct consequence of increased p53 was the accumulation of p21 waf1 and p27 kip1 after prolonged exposure to NRAGE. This increase in CDK inhibitors was reﬂected in elevated levels of active p-pRb. Furthermore, in support of NRAGE as an activator of p38, overexpression signiﬁcantly increased the active form of p38 within the ﬁrst 48 h. complex to activate p38. Active p38 promotes progression through the cell cycle, while Smad signaling facilitates growth arrest. This precocious reentry into S phase leads to the activation of p53 that facilitates activation and formation of the apoptosome, resulting in caspase activation. However, a basal level of NRAGE signaling is required to mediate growth arrest for terminal exit from the cell cycle in order to permit neural differentiation.
Gradient artifact removal in concurrently acquired EEG data using independent vector analysis

We consider the problem of removing gradient artifact from electroencephalogram (EEG) signal, registered during a functional magnetic resonance imaging (fMRI) acquisition, by calculating and utilizing the statistical properties of the artifacts. We propose a new approach to EEG data organization for extracting artifactual components using independent vector analysis. This new approach estimates the gradient artifact signal as a single component thus alleviating the need of using advanced order selection algorithm before back reconstruction of EEG data. Experimental results are compared with average artifact subtraction method on real EEG data collected concurrently with fMRI data.
Passive Guaranteed Simulation of Analog Audio Circuits: A Port-Hamiltonian Approach

We present a method that generates passive-guaranteed stable simulations of analog audio circuits from electronic schematics for real-time issues. On one hand, this method is based on a continuous-time power-balanced state-space representation structured into its energy-storing parts, dissipative parts, and external sources. On the other hand, a numerical scheme is especially designed to preserve this structure and the power balance. These state-space structures define the class of port-Hamiltonian systems. The derivation of this structured system associated with the electronic circuit is achieved by an automated analysis of the interconnection network combined with a dictionary of models for each elementary component. The numerical scheme is based on the combination of finite differences applied on the state (with respect to the time variable) and on the total energy (with respect to the state). This combination provides a discrete-time version of the power balance. This set of algorithms is valid for both the linear and nonlinear case. Finally, three applications of increasing complexities are given: a diode clipper, a common-emitter bipolar-junction transistor amplifier, and a wah pedal. The results are compared to offline simulations obtained from a popular circuit simulator.