Miracle-dz/UniFAR-FTUs huggingface dataset:
Magnesium and Osteoporosis: Current State of Knowledge and Future Research Directions

A tight control of magnesium homeostasis seems to be crucial for bone health. On the basis of experimental and epidemiological studies, both low and high magnesium have harmful effects on the bones. Magnesium deficiency contributes to osteoporosis directly by acting on crystal formation and on bone cells and indirectly by impacting on the secretion and the activity of parathyroid hormone and by promoting low grade inflammation. Less is known about the mechanisms responsible for the mineralization defects observed when magnesium is elevated. Overall, controlling and maintaining magnesium homeostasis represents a helpful intervention to maintain bone integrity.
Unified security model of authenticated key exchange with specific adversarial capabilities

The most widely accepted models in the security proofs of authenticated key exchange protocols are the Canetti–Krawczyk (CK) and extended CK models that admit different adversarial queries with ambiguities and incomparable strength. It is desirable to incorporate specific and powerful adversarial queries into a single unified security model and establish a more practical oriented security notion. Concerning the security of one-round implicitly authenticated Diffie–Hellman (DH) key exchange protocols, the authors present a unified security model that has many advantages over the previous ones. In the model, a system environment is set up, all of adversarial queries are practically interpreted and definitely characterised through physical environment, and some rigorous rules of secret leakage are also specified. To demonstrate usability of their model, a new protocol based on the OAKE protocol is proposed, which satisfies the presented strong security notion and attains high efficiency. The protocol is proven secure in random oracle model under gap DH assumption.
Application of Reliability Prediction Model Adapted for the Analysis of the ERP System

— This paper presents the possibilities of using Weibull statistical distribution in modeling the distribution of defects in ERP systems. There follows a case study, which examines helpdesk records of defects that were reported as the result of one ERP subsystem upgrade. The result of the applied modeling is in modeling the reliability of the ERP system from a user perspective with estimated parameters like expected maximum number of defects in one day or predicted minimum of defects between two upgrades. Applied measurement-based analysis framework is proved to be suitable in predicting future states of the reliability of the observed ERP subsystems.
Reelin and ApoE Receptors Cooperate to Enhance Hippocampal Synaptic Plasticity and Learning*

Two apolipoprotein E (apoE) receptors, the very low density lipoprotein (VLDL) receptor and apoE receptor 2 (apoER2), are also receptors for Reelin, a signaling protein that regulates neuronal migration during brain development. In the adult brain, Reelin is expressed by GABA-ergic interneurons, suggesting a potential function as a modulator of neurotransmission. ApoE receptors have been indirectly implicated in memory and neurodegenerative disorders because their ligand, apoE, is genetically associated with Alzheimer disease. We have used knockout mice to investigate the role of Reelin and its receptors in cognition and synaptic plasticity. Mice lacking either the VLDL receptor or the apoER2 show contextual fear conditioning deficits. VLDL receptor-deficient mice also have a moderate defect in long term potentiation (LTP), and apoER2 knockouts have a pronounced one. The perfusion of mouse hippocampal slices with Reelin has no effect on baseline synaptic transmission but significantly enhances LTP in area CA1. This Reelin-dependent augmentation of LTP is abolished in VLDL receptor and apoER2 knockout mice. Our results reveal a role for Reelin in controlling synaptic plasticity in the adult brain and suggest that both of its receptors are necessary for Reelin-dependent enhancement of synaptic transmission in the hippocampus. Thus, the impairment of apoE receptor-dependent neuromodulation may contribute to cognitive impairment and synaptic loss in Alzheimer disease.
WSO2 Stratos: An Application Stack to Support Cloud Computing

Abstract Cloud computing has heralded many advantages including self-service, elasticity, pay as you go, improved accessibility to computation resources, and ease of deployment and deployment automation. However, to extend those advantages to a larger audience, higher-level abstractions such as Software as a Service (SaaS) or Platform as a Service (PaaS) are needed. This paper presents Stratos, which is a Platform-as-a-Service based around the principles and design of Service Oriented Architecture (SOA). Furthermore, we introduce the concept of Cloud Native attributes, which we argue are properties essential to extend the benefits of the underlying Cloud to PaaS and SaaS users. We present Stratos as a Cloud Native PaaS offering, discuss the architecture that enables Cloud Native attributes, and discuss scenarios where Stratos can be useful to the end user. Zusammenfassung Cloud Computing verspricht viele Vorteile, insbesondere Nachfrageelastizität, verbesserte Erreichbarkeit von Rechenressourcen und vereinfachte Verwendung bzw. Einsatzautomatisierung. Um diese Vorteile einem breiten Publikum zur Verfügung stellen zu können, bedarf es jedoch hoher Abstraktionen wie etwa Software as a Service (SaaS) oder Platform as a Service (PaaS). Der vorliegende Beitrag stellt Stratos vor, das eine solche, auf Service-orientierten Architekturen basierende PaaS ist. Wir diskutieren die Architektur sowie Szenarien, in denen Stratos für den Endanwender wertvoll ist.
Functional interpretations of feasibly constructive arithmetic

Abstract A notion of feasible function of finite type based on the typed lambda calculus is introduced which generalizes the familiar type 1 polynomial-time functions. An intuitionistic theory IPVω is presented for reasoning about these functions. Interpretations for IPVω are developed both in the style of Kreisel's modified realizability and Godel's Dialectica interpretation. Applications include alternative proofs for Buss's results concerning the classical first-order system S12 and its intuitionistic counterpart IS12 as well as proofs of some of Buss's conjectures concerning IS12, and a proof that IS12 cannot prove that extended Frege systems are not polynomially bounded.
PENGELOMPOKAN MODEL PROSES BERDASARKAN MATRIK SIMILARITAS DENGAN PENDEKATAN SEMANTIK

Saat ini, pemanfaatan sebuah sistem informasi berorientasi proses pada sebuah organisasi sangat marak dilakukan. Sistem informasi berorientasi proses bertujuan untuk meningkatkan kinerja sebuah organisasi. Dalam sebuah organisasi berskala besar, model proses yang digunakan untuk mendukung bisnis tidak berjumlah sedikit, melainkan dapat mencapai angka ratusan bahkan hingga ribuan. Repositori model proses adalah sebuah media untuk menyimpan model proses dalam sebuah organisasi. Terdapat permasalahan dalam pengelolaan repositori model proses, antara lain proses perhitungan kesamaan model proses yang masih menggunakan pendekatan kesamaan sintaktik. Pendekatan tersebut membuat proses pengelompokan model proses menjadi kurang optimal. Untuk menjawab permasalahan tersebut, pada penelitian ini dilakukan mekanisme pengelompokan model proses berdasarkan kedekatan derajat kesamaan yang dimiliki tiap model proses. Penghitungan derajat kesamaan dilakukan berdasarkan beberapa matrik kesamaan, antara lain kesamaan titik (node), kesamaan struktur, dan kesamaan perilaku (behavior). Serta perhitungan derajat kesamaan dilakukan dengan menggunakan metode kesamaan arti (semantik). Penggunaan metode kesamaan arti dapat meningkatkan nilai compactness pada kelompok yang dihasilkan dari proses clustering.
Readmission after hysterectomy and prophylactic low molecular weight heparin: retrospective case-control study

Abstract Objective To determine whether use of tinzaparin, a low molecular weight heparin introduced for prophylactic management of deep vein thrombosis, increases the risk of serious postoperative bleeding leading to a higher than expected 28 day readmission rate after discharge for hysterectomy. Design Retrospective case-control study using computerised hospital inpatient data and review of case notes. Setting District general hospital. Subjects 2108 patients undergoing hysterectomy between August 1997 and March 2003 Main outcome measures Readmission and reoperation associated with bleeding. Results 54 cases of serious postoperative bleeding were identified, 46 of which were readmissiogns. These 54 cases were compared with 179 controls. Regression analysis indicated a positive relation between prophylaxis with tinzaparin and serious postoperative bleeding. There was a significant twofold increase in odds (odds ratio 2.02, 95% confidence interval 1.02 to 4.05) after adjustment for type of operation, age, and type of pain relief. Conclusions In the prophylactic treatment of thromboembolic disease after hysterectomy, compared with calci-heparin, tinzaperin is associated with a twofold increase in risk of serious postoperative bleeding.
Exploring the relationship between parental worry about their children's health and usage of an internet intervention for pediatric encopresis.

OBJECTIVE To investigate whether parental worry about their children's health predicts usage of a pediatric Internet intervention for encopresis. METHODS Thirty-nine families with a child diagnosed with encopresis completed a national clinical trial of an Internet-based intervention for encopresis (www.ucanpooptoo.com). Parents rated worry about their children's health, encopresis severity, current parent treatment for depression, and parent comfort with the Internet. Usage indicators were collected while participants utilized the intervention. RESULTS Regression analyses showed that parents who reported higher baseline levels of worry about their children's health showed greater subsequent intervention use (beta =.52, p =.002), even after accounting for other plausible predictors. Exploratory analyses indicated that this effect may be stronger for families with younger children. CONCLUSIONS Characteristics of individuals using Internet-based treatment programs, such as parental worry about their children's health, can influence intervention usage, and should be considered by developers of Internet interventions.
Is Abnormally Slow Blink Rate a Clinically Useful Indicator of Acute Suicide Risk

Background: Lowered eye blink rate may be a clinically useful indicator of acute, imminent, and severe suicide risk. Diminished eye blink rates are often seen among individuals engaged in heightened concentration on a specific task that requires careful planning and attention. Indeed, overcoming one's biological instinct for survival through suicide necessitates premeditation and concentration; thus, a diminished eye blink rate may signal imminent suicidality. Aims: This article aims to spur research and clinical inquiry into the role of eye blinks as an indicator of acute suicide risk. Method: Literature relevant to the potential connection between eye blink rate and suicidality was reviewed and synthesized. Results: Anecdotal, cognitive, neurological, and conceptual support for the relationship between decreased blink rate and suicide risk is outlined. Conclusion: Given that eye blinks are a highly observable behavior, the potential clinical utility of using eye blink rate as a marker of suicide risk is immense. Research is warranted to explore the association between eye blink rate and acute suicide risk.
InvisiType: Object-Oriented Security Policies

Many modern software platforms today, including browsers, middleware server architectures, cell phone operating systems, web application engines, support thirdparty software extensions. This paper proposes InvisiType, an object-oriented approach that enables platform developers to efficiently enforce fine-grained safety checks on thirdparty extensions without requiring their cooperation. This allows us to harness the true power of third-party software by giving it access to sensitive data while ensuring that it does not leak data. In this approach, a platform developer encapsulates all safety checks in a policy class and selectively subjects objects at risk to these policies. The runtime enforces these policies simply by changing the types of these objects dynamically. It uses the virtual method dispatch mechanism to substitute the original methods and operations with code laced with safety checks efficiently. The runtime hides the type changes from application code so the original code can run unmodified. We have incorporated the notion of InvisiType into the Python language. We have applied the technique to 4 realworld Python web applications totaling 156,000 lines of code. InvisiType policies greatly enhance the security of the web applications, including MoinMoin, a popular, 94,000line Wiki Engine. MoinMoin has a large number of thirdparty extensions, which makes security enforcement important. With less than 150 lines of Python code, we found 16 security bugs in MoinMoin. This represents a significant reduction in developers’ effort from a previous proposal, Flume, which required 1,000 lines of C++ code and modifications to 1,000 lines of Python code. Our InvisiType policies successfully found 19 cross-site scripting vulnerabilities and 6 access control errors in total. The overhead of applying the policies is less than 4 percent, indicating that the technique is practical.
Tardive dysmentia : further comments.

The author distinguishes between the putative neuroleptic-induced disorders of tardive dysmentia and supersensitivity psychosis. The distinction is made with regard to clinical features, response to pharmacological intervention, and proposed etiologies. It is suggested that tardive dysmentia is due not to dopaminergic supersensitivity but to some other neurotoxic phenomenon associated with the use of neuroleptic drugs. The possibility that cholinergic mechanisms are involved in the tardive dysmentia syndrome is examined. Finally, the potential for such drug-induced disorders to confuse diagnosis is highlighted.
Exploring a Model of Gaze for Grounding in Multimodal HRI

Grounding is an important process that underlies all human interaction. Hence, it is crucial for building social robots that are expected to collaborate effectively with humans. Gaze behavior plays versatile roles in establishing, maintaining and repairing the common ground. Integrating all these roles in a computational dialog model is a complex task since gaze is generally combined with multiple parallel information modalities and involved in multiple processes for the generation and recognition of behavior. Going beyond related work, we present a modeling approach focusing on these multi-modal, parallel and bi-directional aspects of gaze that need to be considered for grounding and their interleaving with the dialog and task management. We illustrate and discuss the different roles of gaze as well as advantages and drawbacks of our modeling approach based on a first user study with a technically sophisticated shared workspace application with a social humanoid robot.
Compton scattering sequence reconstruction algorithm for the liquid xenon gamma-ray imaging telescope (LXeGRIT)

The Liquid Xenon Gamma-Ray Imaging Telescope (LXeGRIT) is a balloon born experiment sensitive to (gamma) -rays in the energy band of 0.2 - 20 MeV. The main detector is a time projection chamber filled with high purity liquid xenon (LXeTPC), in which the three-dimensional location and energy deposit of individual (gamma) -ray interactions are accurately measured in one homogeneous volume. To determine the (gamma) - ray initial direction (Compton imaging), as well as to reject background, the correct sequence of interactions has to be determined. Here we report the development and optimization of an algorithm to reconstruct the Compton scattering sequence and show its performance on Monte Carlo events and LXeGRIT data.
On-line learning of the transition model for Recursive Bayesian Estimation

Recursive Bayesian Estimation (RBE) is a widespread solution for visual tracking as well as for applications in other domains requiring hidden state estimation. Although theoretically sound and unquestionably powerful, from a practical point of view RBE suffers from the assumption of complete a priori knowledge of the transition model, that is typically unknown. The use of wrong a priori transition model may lead to large estimation errors or even to divergence. This work proposes to prevent these problems, in case of fully observable systems, learning the transition model on-line via Support Vector Regression. An application of this general framework is proposed in the context of linear/Gaussian systems and shown to be superior to a standard, non adaptive solution.
Characteristics and Module Design of Weaving ERP

Weaving ERP should not only support the management of production plan and material control which the manufacturing industry altogether has, but should also meet the unique management needs of the weaving industry. On the basis of the current situation and characteristics of weaving ERP, this paper studies the module design and the functional structure of the ERP in details, in addition, gives some constructive advices on the implementation of ERP in weaving enterprises. Weaving enterprise should consider its own characteristics, put the emphasis on business operations and production management, and take ERP as core of information systems in order to improve production efficiency and integrated management level.
Incremental Lexical Choice Constrained by Generation Parameters

In the following paper, principal ideas for an incremental lexical choice process guided by generation constraints during the incremental natural language generation in the WIP system are presented. In this approach, a most adequate expression for an arbitraryly complex conceptual description is processed by examining a list of constraining generation parameters like time to produce the result, style of the produced text, habituality, etc. The component works incrementaly in the sense that knowledge arriving later leads to further constraints on the selection process. In the following paper, basic concepts of our first prototype for the incremental lexical choice — e.g., an anytime approach — are described. 1 General Suggestions on the Lexical Choice Process in Natural Language Generation The acceptance of an AI system depends directly on its user interface facilities. For the direction of output this means that situationally adequate text — instead of canned text prepared for a general situation — should be produced (e.g., the generation of a summarizing statement to avoid repetitions of the same canned text). The process of natural language generation can be divided into three major tasks (see, e.g., [Levelt 89]): • Macro planning (MAP) means the elaboration of the communicative intention as a sequence of subgoals, and the selection of information to be expressed in order to realize these communicative goals. WIP is the acronym for ”Wissenbasierte Informationspräsentation”. The WIP project is supported by the German Ministry of Research and Technology under grant ITW8901 8.
Autonomous Multisensor Calibration and Closed‐loop Fusion for SLAM

The vast majority of current robot mapping and navigation systems require specific well‐characterized sensors that may require human‐supervised calibration and are applicable only in one type of environment. Furthermore, if a sensor degrades in performance, either through damage to itself or changes in environmental conditions, the effect on the mapping system is usually catastrophic. In contrast, the natural world presents robust, reasonably well‐characterized solutions to these problems. Using simple movement behaviors and neural learning mechanisms, rats calibrate their sensors for mapping and navigation in an incredibly diverse range of environments and then go on to adapt to sensor damage and changes in the environment over the course of their lifetimes. In this paper, we introduce similar movement‐based autonomous calibration techniques that calibrate place recognition and self‐motion processes as well as methods for online multisensor weighting and fusion. We present calibration and mapping results from multiple robot platforms and multisensory configurations in an office building, university campus, and forest. With moderate assumptions and almost no prior knowledge of the robot, sensor suite, or environment, the methods enable the bio‐inspired RatSLAM system to generate topologically correct maps in the majority of experiments.
PENGARUH KONSEP DIRI, TEMAN SEBAYA DAN BUDAYA KONTEMPORER TERHADAP PERILAKU KONSUMTIF SISWA SMP NEGERI 41 SURABAYA

The purpose of this study was to determine influence of self concept, peer group and contemporary culture by partial to consumptive behavior On the students of Junior High Schools 41 Surabaya, and The influence of self concept, peer group and contemporary culture jointly to consumptive behavior of students at Junior High Schools 41 in Surabaya. This study was a correlational research and using quantitative approach. Questionnaire technique used to collect data with research object in SMP Negeri 41 Surabaya. Sample determination research use simple random sampling technique as much as 291 students of VII, VIII and IX class from total population of 1070 students. Technique analyze data is using multiple regression analysis. Based on data analysis can be concluded that: The self concept itself have a significant effect on consumptive behavior, indicated that the stroneg self concept tendency consumptive behavior also increase if there is a conflict. Peers also has a significant effect on consumptive behavior, due to the friendship. Contemporary culture also has a significant effect on consumptive behavior it is because of a conflict so that the concept of a strong self could be affected on consumptive behavior, as well as peer and contemporary. The concept of self, peer and contemporary culture jointly give a significant effect on consumptive behavior, it is because of a conflict so that the strong self concept could be affected on consumptive behavior, as well as peer and contemporary culture
A novel method for protein subcellular localization: Combining residue-couple model and SVM

Subcellular localization performs an important role in genome analysis as a key functional characteristic of proteins. Therefore, an automatic, reliable and efficient prediction system for protein subcellular localization is needed for large-scale genome analysis. This paper describes a new residue-couple model using a support vector machine to predict the subcellular localization of proteins. This new approach provides better predictions than existing methods. The total prediction accuracies on Reinhardt and Hubbard’s dataset reach 92.0% for prokaryotic protein sequences and 86.9% for eukaryotic protein sequences with 5-fold cross validation. For a new dataset with 8304 proteins located in 8 subcellular locations, the total accuracy achieves 88.9%. The model shows robust against N-terminal errors in the sequences. A web server is developed based on the method which was used to predict some new proteins.