Miracle-dz/UniFAR-FTUs huggingface dataset:
Psychology Research and Behavior Management Dovepress Internet Gaming Addiction: Current Perspectives

In the 2000s, online games became popular, while studies of Internet gaming addiction emerged, outlining the negative consequences of excessive gaming, its prevalence, and associated risk factors. The establishment of specialized treatment centers in SouthEast Asia, the US, and Europe reflects the growing need for professional help. It is argued that only by understanding the appeal of Internet gaming, its context, and neurobiologic correlates can the phenomenon of Internet gaming addiction be understood comprehensively. The aim of this review is to provide an insight into current perspectives on Internet gaming addiction using a holistic approach, taking into consideration the mass appeal of online games, the context of Internet gaming addiction, and associated neuroimaging findings, as well as the current diagnostic framework adopted by the American Psychiatric Association. The cited research indicates that the individual's context is a significant factor that marks the dividing line between excessive gaming and gaming addiction, and the game context can gain particular importance for players, depending on their life situation and gaming preferences. Moreover, the cultural context is significant because it embeds the gamer in a community with shared beliefs and practices, endowing their gaming with particular meaning. The cited neuroimaging studies indicate that Internet gaming addiction shares similarities with other addictions, including substance dependence, at the molecular, neurocircuitry, and behavioral levels. The findings provide support for the current perspective of understanding Internet gaming addiction from a disease framework. The benefits of an Internet gaming addiction diagnosis include reliability across research, destigmatization of individuals, development of efficacious treatments, and the creation of an incentive for public health care and insurance providers. The holistic approach adopted here not only highlights empirical research that evidences neurobiologic correlates of Internet gaming addiction and the establishment of a preliminary diagnosis, but also emphasizes the necessity of an indepth understanding of the meaning, context, and practices associated with gaming.
A New Calibration Methodology for Thorax and Upper Limbs Motion Capture in Children Using Magneto and Inertial Sensors

Recent advances in wearable sensor technologies for motion capture have produced devices, mainly based on magneto and inertial measurement units (M-IMU), that are now suitable for out-of-the-lab use with children. In fact, the reduced size, weight and the wireless connectivity meet the requirement of minimum obtrusivity and give scientists the possibility to analyze children's motion in daily life contexts. Typical use of magneto and inertial measurement units (M-IMU) motion capture systems is based on attaching a sensing unit to each body segment of interest. The correct use of this setup requires a specific calibration methodology that allows mapping measurements from the sensors' frames of reference into useful kinematic information in the human limbs' frames of reference. The present work addresses this specific issue, presenting a calibration protocol to capture the kinematics of the upper limbs and thorax in typically developing (TD) children. The proposed method allows the construction, on each body segment, of a meaningful system of coordinates that are representative of real physiological motions and that are referred to as functional frames (FFs). We will also present a novel cost function for the Levenberg–Marquardt algorithm, to retrieve the rotation matrices between each sensor frame (SF) and the corresponding FF. Reported results on a group of 40 children suggest that the method is repeatable and reliable, opening the way to the extensive use of this technology for out-of-the-lab motion capture in children.
Fast RE set matching for network content inspection

There is a growing demand for network devices capable of examining the content of data packets in order to improve network security and provide application-specific services. Most high performance systems perform content inspection in the use of regular expression-based pattern matching, since regular expressions offer superior expressive power and flexibility. The regular expression searching algorithms that use filtration are in general much faster searching. The effectiveness of this method depends basically on two factors, lmin and Pref (RE). lmin is the shortest length from the initial state to final states of the NFA and Pref (RE) is the prefixes of length lmin for all the strings in the language of the regular expression. The search speed is faster for longer lmin and less prefixes. In this paper a regular expression searching method based on bloom filter is proposed. It makes the searching speed notable fast and immune from the size of Pref (RE). Especially, if multiple bloom filter engines are used, the shift distance may be larger than lmin. Experiments showed that the method can achieve much higher speed than currently known algorithms and the acceleration is especially remarkable for set of regular expression matching
Dynamic Logic for Multi-agent (Mis) Communication

This paper proposes a logical formalization of agents' beliefs which admits an agent's misinterpretation of the other agents' actions to her. Most of the previous logical studies on dynamic changes of knowledge and belief often assume that agents are idealistic or logical omniscient in the sense that they will not make a mistake in reasoning and in reacting to the other agent's action. However, our human agents are often lazy and also sometimes make a mistake in these aspects. Our logical framework for agents' beliefs focuses on two actions of command and permission, but allows agents to make a mistake in interpreting an action from one of the other agents. Moreover, we also propose two dynamic operators capturing the process of changing an agent's interpretation of the other agents' command and permission. Finally, we applied our formal tool to describe types of agent in virtual football game. Technical contributions of this paper are to provide sound and complete axiomatizations of all of three logics of belief with agent communication allowing misinterpretations.
The Minimal Active Domain of Endostatin Is a Heparin-Binding Motif that Mediates Inhibition of Tumor Vascularization

Endostatin constitutes the COOH-terminal 20,000 Da proteolytic fragment of collagen XVIII and has been shown to possess antiangiogenic and antitumorigenic properties. In the present study, we have investigated the role of the heparin-binding sites in the in vivo mechanism of action of endostatin. The majority of the heparin binding is mediated by arginines 155/158/184/270 in endostatin, but there is also a minor site constituted by arginines 193/194. Using endostatin mutants lacking either of these two sites, we show that inhibition of fibroblast growth factor-2–induced angiogenesis in the chicken chorioallantoic membrane requires both heparin-binding sites. In contrast, inhibition of vascular endothelial growth factor-A–induced chorioallantoic membrane angiogenesis by endostatin was only dependent on the minor heparin-binding site (R193/194). These arginines were also required for endostatin to inhibit fibroblast growth factor-2– and vascular endothelial growth factor-A–induced chemotaxis of primary endothelial cells. Moreover, we show that a synthetic peptide corresponding to amino acids 180–199 of human endostatin (which covers the minor heparin-binding site) inhibits endothelial cell chemotaxis and reduces tumor vascularization in vivo. Substitution of arginine residues 193/194 for alanine attenuates the antiangiogenic effects of the peptide. These data show an essential role for heparin binding in the antiangiogenic action of endostatin.
The early brain development of the dog

The neural plate in dog embryos forms cranial to the primitive streak by 15 days and elongates as the primitive streak regresses. The neural folds contact each other at the third rhombomere at the seven somite stage. Neural crest cells are present in the early somite embryos from the optic primordia throughout the brain. Differentiation of these cells results in the anlagen of cranial nerve ganglia. Regional differentiations of the neural plate establish the prosencephalon as a broad cranial segment by four somites, with a closed neural tube, optic vesicles and infundibulum by 15 somites. The mesencephalon is an almost spherical vesicle and the rhombencephalon has become subdivided by 15 somites into seven neuromeres. The cranial flexure begins in the mesencephalon at ten somites, and the cervical flexure at the fourth somite level by 20 somites. The pontine flexure first appears at 32 somites. Secondary divisions of prosencephalon and rhombencephalon from a typical five vesicle brain anlage. The telencephalon is present at 20 somites as a bulge from the roof of the diencephalon. Telencephalic vesicles appear by 30 somites. The mesencephalon elongates slowly but is not divided into neuromeres. The rhombencephalon by 25 days has differentiated into the primordia of the cerebellum and pons cranially (the metencephalon) and the medulla oblongata caudally (the myelencephalon).
Hierarchical Network Transfer Function and Doubly-Greedy Half-Duplex Stage Scheduling for WPNC Networks

Wireless Physical Layer Network Coding (WPNC) based communication networks deliver the information from sources to destinations through the complex relay network. To properly design the Network Coded Modulation transmitted by network nodes and the relay processing including the Hierarchical Network Code (HNC) maps, we need a formal description of the global network processing function. Any practical implementation also implies the half-duplex constrained relays which imposes the network to work in multiple stages. We present a polynomial based formalism defining the Hierarchical Network Transfer Function (H-NTF). It captures all phenomena related to the stage dependent transmit and receive activity over the network, including potential buffering, and mainly the hierarchy of forming the local HNC maps into the global hierarchical flow description. Using the polynomial formalism of H-NTF, we develop the half-duplex constrained stage scheduling algorithm. It starts with finding a causal minimal latency (or close to minimal) critical sequence with subsequent doubly (first Rx then Tx) greedy mapping of the node activity compliant with the half-duplex constraint.
Gut microbial metabolite short-chain fatty acids and obesity

Over the past decade, the gut microbiota has emerged as an essential mediator in the pathophysiology of obesity and related metabolic disorders. In this context, the reciprocal interactions of the gut microbiota structure and their metabolite profiles with host metabolism predisposing to a range of pathological conditions (e.g., insulin resistance) related to energy homeostasis have been increasingly discussed in various animal models and human cohorts. Remarkably, as the role of gut microbial metabolites as critical signaling molecules that function through the complementary host receptors has come to be appreciated, tremendous attention has been focused on the proposed diet-gut microbiota-host homeostasis axis, entailing extensive cross-disciplinary efforts in medical, pharmaceutical, and agricultural sciences. This review will discuss the recent advances in understanding the mechanisms whereby the gut microbiota modulates the effects of diet and shapes the host metabolism either towards or away from obesity and related metabolic conditions. In particular, the interactions of short chain fatty acids (SCFAs), a subset of key gut microbial metabolites, with their specific receptors will be reviewed in relation to host energy homeostatic regulation and evaluated for potential as novel therapeutic targets for diet-induced obesity.
An Average Case NP-complete Graph Colouring Problem

NP-complete problems should be hard on some instances but those may be extremely rare. On generic instances many such problems, especially related to random graphs, have been proved to be easy. We show the intractability of random instances of a graph colouring problem: this graph problem is hard on average unless all NP problems under all samplable (i.e. generatable in polynomial time) distributions are easy. Worst case reductions use special gadgets and typically map instances into a negligible fraction of possible outputs. Ours must output nearly random graphs and avoid any super-polynomial distortion of probabilities. This poses significant technical difficulties.
THE SCAFFOLD MYD 88 ACTS TO COUPLE PROTEIN KINASE C EPSILON ( PKC ε ) TO TOLL-LIKE RECEPTORS

Mice lacking Protein Kinase Cε (PKCε) are hypersensitive to both gram positive and gram negative bacterial infections, however the mechanism of PKCε coupling to the Toll-like receptors (TLRs), responsible for pathogen detection, is poorly understood. Here we sought to investigate the mechanism of PKCε involvement in TLR signaling and found that PKCε is recruited to TLR4 and phosphorylated on two recently identified sites in response to lipopolysaccharide (LPS) stimulation. Phosphorylation at both of these sites (S346 and S368) resulted in PKCε binding to 14-3-3β. In response to LPS-induced PKCε phosphorylation, 14-3-3β binding and recruitment to TLR4 were all dependent on expression of the scaffold protein MyD88. In mouse embryo fibroblasts and activated macrophages from MyD88 knockout mice, LPS-stimulated PKCε phosphorylation was reduced compared to WT cells. Acute knockdown of MyD88 in LPS responsive 293 cells also resulted in complete loss of S346 phosphorylation and TLR4/PKCε association. By contrast MyD88 overexpression in 293 cells resulted in constitutive phosphorylation of PKCε . A general role for MyD88 was evidenced by the finding that phosphorylation of PKCε was induced by the activation of all TLRs tested that signal through MyD88 (i.e. all except TLR3) both in RAW cells and in primary human macrophages. Functionally, it is established that phosphorylation of PKCε at these two sites is required for TLR4and TLR2-induced NFkB reporter activation and IkB degradation in reconstituted PKCε -/cells. This study therefore identifies the scaffold protein MyD88 as the link coupling TLRs to PKCε recruitment, phosphorylation and downstream signaling.
A search for very active stars in the Galaxy. First results

We report the first results of a systematic search near the plane of the Galaxy for so-called very active stars (VAS), which are characterized by a hard X-ray spectrum and activity in the radio domain. Candidates with hard X-ray binary-like spectra have been selected from the Bright ROSAT Source Catalogue in the Zone of Avoidance ($| b | < 20^{\circ}$) and were tentatively identified in GB6/PMM/NVSS radio surveys. Most of them were observed with the ATCA and VLA. Precise radio coordinates have led to unambiguous optical identification for 60 candidates, and a sub-sample of five of them has been observed with the VLT. Also some discovery and confirmatory spectra were obtained with the AAT (4-m) and BTA (6-m). Spectroscopy with moderate dispersion, made with the FORS1 spectrograph of the VLT has revealed two stellar objects (one of them, VASC J1628-41, is definitively a binary VAS), one new AGN and two featureless spectrum sources. One of these objects, VASC J1353-66, shows marginal evidence of proper motion, which, if confirmed, would imply the discovery of a new type of galactic source.
Combining Mizar and TPTP Semantic Presentation Tools

This paper describes a combination of several Mizar-based tools (the MPTP translator, XSL style sheets for Mizar), and TPTP-based tools (IDV, AGInT, SystemOnTPTP) used for visualizing and analyzing Mizar proofs. The combination delivers to the readers of the Mizar Mathematical Library (MML) an easy, powerful, and almost playful way of exploring the semantics and the structure of the library. The key factors for the relative easiness of having these functionalities are the choice of XML as both internal and external interface of Mizar, and the existence of a TPTP representation of MML articles. This clearly shows the great added value that can be obtained by cooperation of several quite diverse (and quite often separately developed) projects, provided that they are based on the same communication standards. 1 Instead of Reading This Paper Perhaps the first thing a reader of this paper should do is to play with the functionalities that have been implemented. These functionalities provide an easy, powerful, and almost playful way of exploring the semantics and the structure of the Mizar Mathematical Library (MML) [Rud92]. Select one of the HTML files at http://www.tptp. org/MizarTPTP/, e.g., the MML article about the Boolean Properties of Sets, xboole 1. This will show the HTML rendition of the article, an extract of which is shown in Figure 1. Provided that Java 1.5 is installed and available to the browser, clicking on the palm tree icon next to a theorem will run the Interactive Derivation Viewer (IDV) [TPS06] applet to display the TPTP form [SSCVG06] of the Mizar proof tree.1 Figure 2 shows the IDV window for the first theorem (Th1) in xboole 1. The many IDV functionalities available there are described later in this paper, on the other hand, many of them are quite self-explanatory and easy to explore. One of them, which might be particularly interesting to “semantically oriented” users, is the verification functionality. The sequence of interactions is shown in Figure 3. Click the “white tick” (“show verified formulae”) icon (it turns green), and then the “hurricane flags” icon on its right-hand side (“verify all formulae”), accept the default EP system [Sch02] as the verification ATP system in the pop-up window, and click the “GO CANES” icon in the pop-up window. Green ticks will start to appear in the IDV window, denoting that the (TPTP form of the) Mizar inference have been verified by the GDV derivation verifier [Sut06], using EP for checking logical consequences. Click the “hurricane flags” again to stop the verifications. Going back to the HTML presentation and clicking on the “hammock between palm trees” icon will similarly call IDV, now displaying the overall theorem structure of the article. If you think that this is not especially interesting, click this icon in jgraph 7 (it ∗Supported by Marie Curie International Fellowship within the 6 European Community Framework Programme See the IDV video http://www.cs. miami.edu/~geoff/ResearchProjects/ART/IDVVideo.mov.
Media Bias and Advertising: Evidence from a German Car Magazine

Abstract This paper investigates the existence of a possible media bias by analyzing the impact of automobile manufacturers’ advertisements on automobile reviews in a leading German car magazine. By accounting for both endogeneity and sample selection using a two-step procedure, we find a positive impact of advertising volumes on test scores. The main advantage of our study is the measurement of technical characteristics of cars to explain test scores. Due to this kind of measurement, we avoid serious biases in estimating media bias caused by omitted variables.
Three-Way Channels With Multiple Unicast Sessions: Capacity Approximation via Network Transformation

A network of three nodes mutually communicating with each other is studied. This multi-way network is a suitable model for three-user device-to-device communications. The main goal of this paper is to characterize the capacity region of the underlying Gaussian three-way channel (3WC) within a constant gap. To this end, a capacity outer bound is derived using cut-set bounds and genie-aided bounds. For achievability, the 3WC is first transformed into an equivalent star channel. This latter is then decomposed into a set of “successive” sub-channels, leading to a sub-channel allocation problem. Using backward decoding, interference neutralization, and known results on the capacity of the star-channel relying of physical-layer network coding, an achievable rate region for the 3WC is obtained. It is then shown that the achievable rate region is within a constant gap of the developed outer bound, leading to the desired capacity approximation. Interestingly, in contrast to the Gaussian two-way channel (TWC), adaptation is necessary in the 3WC. Furthermore, message splitting is another ingredient of the developed scheme for the 3WC, which is not required in the TWC. The two setups are, however, similar in terms of their sum-capacity pre-log, which is equal to 2. Finally, some interesting networks and their approximate capacities are recovered as special cases of the 3WC, such as the cooperative broadcast channel and multiple access channel.
BMI 1 promotes the progression of laryngeal squamous cell carcinoma

BMI1 is highly expressed in several malignant tumors, and its expression level is associated with tumor progression, proliferation, and prognosis. However, no published studies have examined the role of BMI1 in laryngeal squamous cell carcinoma (SCC). Expression of BMI1 in primary tumors was analyzed by immunofluorescence staining, real-time PCR, and Western blotting. BMI1 was knocked down, and proliferation, apoptosis, and cell cycle assays were performed. Sensitivity to radiochemotherapy was evaluated, and tumorigenicity assays were performed in vivo. BMI1 was highly expressed in laryngeal SCCs. BMI1 promoted cell proliferation and tumor progression, and inhibited apoptosis due to influences on the cell cycle. More importantly, BMI1 suppressed the sensitization of laryngeal Hep2 cells to radiochemotherapy. BMI1 is essential to maintain the proliferation and progression of laryngeal SCCs. Therefore, depletion of BMI1 may be a potential therapeutic option for cancer management. 2011 Elsevier Ltd. All rights reserved.
RUC at MediaEval 2016 Emotional Impact of Movies Task: Fusion of Multimodal Features

In this paper, we present our approaches for the Mediaeval Emotional Impact of Movies Task. We extract features from multiple modalities including audio, image and motion modalities. SVR and Random Forest are used as our regression models and late fusion is applied to fuse different modalities. Experimental results show that the multimodal late fusion is beneficial to predict global affects and continuous arousal and using CNN features can further boost the performance. But for continuous valence prediction the acoustic features are superior to other features.
Synthese Verteilter SystemeSynthesis of Distributed Systems

Zusammenfassung Der gemeinsame Nenner der Informatik ist die Automatisierung von Abläufen, Analysen und Prozessen. In den vergangenen Jahrzehnten wurde viel auf dem Gebiet der Automatisierung fremder Domänen erreicht. Traditionell sind wir aber bei Automatisierung in unserer ureigenen Domäne, der Systementwicklung und -analyse, deutlich zurückhaltender. Das wirft die Frage auf, ob wir hier nicht viel mehr tun könnten und müssten. Ist zum Beispiel die manuelle Suche nach Lösungen gut spezifizierter Probleme angemessen? Wir diskutieren diese Frage am Beispiel verteilter Systeme mit Spezifikationen in temporalen oder Fixpunkt-Logiken wie LTL, ATL∗ oder μ-Kalkülen, den natürlichen Spezifikationssprachen für nicht-terminierende (oder: reaktive) Systeme wie zum Beispiel Kommunikationsprotokolle.
Human Activity Tracking from Moving Camera Stereo Data

We present a method for tracking human activity using observations from a moving narrow-baseline stereo camera. Range data are computed from the disparity between stereo image pairs. We propose a novel technique for calculating weighting scores from range data given body configuration hypotheses. We use a modified Annealed Particle Filter to recover the optimal tracking candidate from a low dimensional latent space computed from motion capture data and constrained by an activity model. We evaluate the method on synthetic data and on a walking sequence recorded using a moving hand-held stereo camera.