Miracle-dz/UniFAR-FTUs huggingface dataset:
RMHP_A_257473 1353..1364

1Centre De Recherche Sur Les Liens Sociaux (CERLIS), Paris Descartes University, Paris, France; 2Institute of New Rural Development, South China Agricultural University, Guangzhou, People’s Republic of China; 3School of International Relations, Sun Yat-Sen University, Guangzhou, People’s Republic of China; 4School of Management, Curtin University, Perth, WA, Australia Background: A novel coronavirus (COVID-19) caused pneumonia broke out at the end of 2019 in Wuhan, China. Many cases were subsequently reported in other cities, which has aroused strong reverberations on the Internet and social media around the world. Objective: The aim of this study was to investigate the reaction of global Internet users to the outbreak of COVID-19 by evaluating the possibility of using Internet monitoring as an instrument in handling communicable diseases and responding to public health emergencies. Methods: The disease-related data were retrieved from China’s National Health Commission (CNHC) and World Health Organization (WHO) from January 10 to February 29, 2020. Daily Google Trends (GT) and daily Baidu Attention Index (BAI) for the keyword “Coronavirus” were collected from their official websites. Rumors which occurred in the course of this outbreak were mined from Chinese National Platform to Refute Rumors (CNPRR) and Tencent Platform to Refute Rumors (TPRR). Kendall’s Tau-B rank test was applied to check the bivariate correlation among the two indexes mentioned above, epidemic trends, and rumors. Results: After the outbreak of COVID-19, both daily BAI and daily GT increased rapidly and remained at a high level, this process lasted about 10 days. When major events occurred, daily BAI, daily GT, and the number of rumors simultaneously reached new peaks. Our study indicates that these indexes and rumors are statistically related to disease-related indicators. Information symmetry was also found to help significantly eliminate the false news and to prevent rumors from spreading across social media through the epidemic outbreak. Conclusion: Compared to traditional methods, Internet monitoring could be particularly efficient and economical in the prevention and control of epidemic and rumors by reflecting public attention and attitude, especially in the early period of an outbreak.
Optimal Placement of Dynamic Var Sources by Using Empirical Controllability Covariance

In this paper, the empirical controllability covariance (ECC), which is calculated around the operating region of a power system, is applied to quantify the degree of controllability of system voltages under specific dynamic var source locations. An optimal dynamic var source placement method addressing fault-induced delayed voltage recovery (FIDVR) issues is further formulated as an optimization problem that maximizes the determinant of ECC. The optimization problem is effectively solved by the NOMAD solver, which implements the Mesh Adaptive Direct Search algorithm. The proposed method is tested on an NPCC 140-bus system and the results show that the proposed method with fault specified ECC can solve the FIDVR issue caused by the most severe N-1 contingency with fewer dynamic var sources than the Voltage Sensitivity Index (VSI) based method. The proposed method with fault unspecified ECC does not depend on the settings of the contingency and can address more FIDVR issues than VSI method when placing the same number of SVCs under different fault durations. It is also shown that the proposed method can help mitigate voltage collapse.
Antisense oligonucleotide-mediated modulation of SOST and Rank expression

Osteoporosis is characterized by low bone mineral density and a loss of trabecular connectivity, leading to bone fragility and increased fracture risk. Sclerostin, the product of the SOST gene, is an important negative regulator of bone formation with a restricted expression pattern specifically in osteocytes. It is therefore regarded as a good target for new anabolic treatments for osteoporosis. Since sclerostin is a natural inhibitor of bone formation, inhibition of sclerostin function or downregulation of SOST expression will lead to increased bone formation as is seen in patients with sclerosteosis and Van Buchem disease. Another interesting target is the receptor activator of nuclear factor-κB (RANK), which is the key activator for osteoclast differentiation. Blocking RANK or its ligand RANKL will therefore lead to a decrease in bone resorption. we investigated skipping a means bone
A Comparative Survey of Collaborative Filtering Similarity Measures: Limitations of Current Similarity and Formalization of New Similarity Measure

— The technique of Collaborative Filtering is especially successful in generating personalized recommendations. Collaborative Filtering is quickly becoming a popular technique for reducing information overload, often as a technique to complement content based information filtering. More than a decade of research has resulted in numerous algorithms, although no comparison of the different strategies has been made. In fact, a universally accepted way of evaluating a Collaborative Filtering algorithm does not exist yet. In this survey, we explain different techniques found in the literature, and we study the characteristics of each one, highlighting their principal strengths and weaknesses. This Paper Present a new user similarity model to improve the recommendation performance to calculate the similarity of each user. The model not only consider the local context information of user rating but also the global preferences of user behavior.
Etude d'une classe de systèmes photovoltai͏̈ques par une approche bond graph : modélisation, analyse et commande

Dans le deuxieme chapitre nous elaborons des modeles bonds graphs de diverses configurations de systemes photovoltaiques. Pour la source PV, nous elaborons, dans une premiere etape, un modele complet tenant compte des divers phenomenes physiques qui influent sur la qualite de la source PV. Dans une seconde etape, nous deduisons un modele bond graph reduit afin de le rendre utilisable dans des applications d'analyse et de commande. Pour les convertisseurs DC/DC, nous rappelons la modelisation par bond graph des elements de commutation et les modeles bond graph moyens des convertisseurs DC/DC developpes dans la litterature. Suite a ceci nous deduisons les modeles bonds graphs des divers convertisseurs DC/DC a utiliser. Le troisieme chapitre presente une etude dynamique en lineaire de la stabilite de quelques configurations. Dans le quatrieme chapitre, nous etudions la faisabilite d'une commande linearisante entree-sortie pour quelques configurations de systemes PV. Dans cette etude, nous utilisons le concept du bond graph inverse pour determiner, par une approche bond graph, l'expression de la commande linearisante entree-sortie et la nature de la stabilite de la dynamique interne (dynamique des zeros). Le cinquieme chapitre est consacre a la presentation de resultats experimentaux. Ces resultats sont relatifs aux dispositifs experimentaux realises : systeme de caracterisation de modules et champs photovoltaiques, systeme photovoltaique constitue d'un generateur PV couple a une motopompe DC a travers un hacheur devolteur. Ce systeme fonctionne en MPPT suite a l'implantation d'une loi de commande non lineaire.
Automated Generation of Requirements-Based Test Cases for an Automotive Function using the SCADE Toolchain

—Results of acceptance tests trigger various adaptations in the architecture and design of a complex software system. Several adaptation iterations are needed until all acceptance tests are successfully passed. Checking whether the adapted software system complies with an extensive catalogue of requirements is an elaborate task, which cannot be managed only via manual testing anymore. Over the years, model checking has established itself as an efﬁcient method for the generation of requirements-based test cases. At the same time, the traction gained by model-based development tools, such as SCADE Suite, especially in the automotive and the avionics domains, facilitates the use of formal methods for the analysis and veriﬁcation of complex software systems developed in these industries. This paper describes an approach which supports the generation of test cases from formalized requirements using the SCADE toolchain. In order to evaluate the applicability of our approach, we apply our concept on a simple system from the automotive domain and discuss outcomming results.
KSHV confers a survival advantage to endothelial cells

Kaposi’s sarcoma-associated herpesvirus (KSHV) is associated with three different human malignancies including Kaposi’s sarcoma (KS), primary effusion lymphoma and multicentric Castleman’s disease. The KS lesion is of endothelial cell in origin and is highly dependent on autocrine and paracrine factors for survival and growth. In this study, we demonstrate that KSHV infection of endothelial cells induces the activation of the pro-survival PI3K/Akt/mTOR pathway. KSHV infection of endothelial cells augmented cell survival in the presence of apoptotic inducers, including etoposide and staurosporine, and under conditions of serum deprivation. We found that KSHV infection of endothelial cells also increased the ability of these cells to form an in vitro tubular network under conditions of stress and growth factor deprivation. Finally, we show that the NF- κ B and PI3K pathways are also required for endothelial tubular network formation. Collectively, these results suggest that KSHV infection of endothelial cells modulates cell signaling pathways and induces cell survival and angiogenesis, thereby contributing to the pathogenesis induced by KSHV. on VAD-FMK, a Caspase-3 inhibitor, dramatically suppressed Caspase-3 activity induced by etoposide and staurosporine in HUVEC and KSHV-HUVEC. (C) HUVEC and KSHVHUVEC were incubated in EBM-2 media, containing either 100 μ M etoposide or 20nM staurosporine for 24 hours. Cells were then harvested and PARP-1 activity was measured using a Colorimetric PARP Assay kit (Trevigen). KSHV-HUVEC treated with etoposide maintained higher PARP-1 activity compared to uninfected HUVEC. D) HUVEC and KSHV-HUVEC were incubated in EGM-2 media containing 10%FBS, with either 100 μ M etoposide, 100 μ M etoposide plus 50 μ M Z-VAD-FMK, 20nM staurosporine, or 20nM staurosporine plus 50 μ M Z-VAD-FMK for 24 hours. Cells were then harvested and PARP-1 activity was measured as above. Z-VAD-FMK dramatically increased PARP-1 activity in HUVEC and KSHV-HUVEC stimulated with etoposide and staurosporine.
Targeting Cancer by siRNA; A Review on Current Strategies

Recent development in RNA Interference (RNAi) brought enthusiasm in the scientific community and opened the new ways for many therapeutic applications. The RNAi is a phenomenon which is used to targets mRNA and chops them up. The most appealing work of RNAi is observed in cancer inhibition by silencing genome sequences. Ultimate level of specificity can be achieved through siRNA targeted therapeutics. Short interfering RNA(siRNA) belongs to dsRNA molecules that can be produced exogenously and endogenously. This review sums up the recent approaches for cancer inhibition by siRNA. The article also points out the current targets of siRNA in cancer therapy development including expression level of cancerous and non-cancerous cells, their genetic concerns and siRNA drug delivery system like lipid base Nano-vectors. Currently, many of RNA based drugs are in practice at clinical trials level to overcome this deadly disease. In view of the encouraging results of RNAi based therapy, it is obvious that in near future siRNA will prove itself as a major cancer inhibitor and can become a standard cancer treatment.
University of Birmingham Neurophysiological correlates of linearization in language production

Background: During speech production the planning of a description of several events requires, among other things, a verbal sequencing of these events. During this process, referred to as linearization during conceptualization, the speaker can choose between different types of temporal connectives such as 'Before' X did A, Y did B' or 'After' Y did B, X did A'. To capture the neural events of such linearization processes, event-related potentials (ERP) were measured in native speakers of German. Utterances were elicited by presenting a sequence of two pictures on a video screen. Each picture consists of an object that is associated with a particular action (e.g. book = reading). A coloured vocalization cue indicated to describe the sequence of two actions associated with the objects in chronological (e.g. red cue: 'After' I drove the car, I read a book) or reversed order (yellow cue). Results: Brain potentials showed reliable differences between the two conditions from 180 ms after the onset of the vocalization prompt, with ERPs from the 'After' condition being more negative. This 'Before/After' difference showed a fronto-central distribution between 180 and 230 ms. From 300 ms onwards, a parietal distribution was observed. The latter effect is interpreted as an instance of the P300 response, which is known to be modulated by task difficulty. Conclusion: ERPs preceding midline (Fz, Cz, Pz), (Fp1/ 2, F3/4, C3/4, P3/4, O1/2), and temporal (F7/8, T7/8, P7/ 8) sites in an early (180–230 ms) and a later (350–400 ms) time-interval. These were subjected to repeated measures ANOVA. Factors were Order Anterior/Posterior The Huynh-Feldt correction for inhomogeneities of covariance was used when appropriate. We report the corrected p-value in conjunction with the original degrees of freedom.
Applied Stochastic Analysis: Proceedings of a Us-French Workshop, Rutgers University, New Brunswick, N.J., April 29-May 2, 1991

Estimates of cycle times in stochastic petri nets. - On Bellman equations of ergodic control in R n . - Some results on the filtering Riccati equation with random parameters. - Multi-dimensional finite-fuel singular stochastic control. - Numerical methods in ergodic optimal stochastic control and application. - Exponential triangular cooling schedules for simulated annealing algorithms : A case study. - A numerical method for a calculus of variations problem with discontinuous integrand. - Piecewise monotone filtering with small observation noise: Numerical simulations. - Particle approximation for first order stochastic partial differential equations. - An infinite-dimensional LP solution to control of a continuous, monotone process. - An optimal control depending on the conditional density of the unobserved state. - Partially observed control of Markov processes. - Numerical approximation for nonlinear filtering and finite-time observers. - A numerical method for stochastic singular control problems with nonadditive controls. - Averaging for martingale problems and stochastic approximation. - A nonlinear filter with two time scales. - Bounds for the price of options. - Brownian and diffusion decision processes. - Kantorovich's functionals in space of measures. - Partially parallel simulated annealing: Low and high temperature approach of the invariante measure. - Martingale representation for a class of processes with independent increments and its applications.
University of Birmingham Interventricular Differences in Adrenergic Responses in the Canine Heart

Citation for published version (Harvard): Molina, CE, Johnson, DM, Mehel, H, Spatjens, RLHMG, Mika, D, Algalarrondo, V, Slimane, ZH, Lechene, P, Abi-Gerges, N, Linde, HJVD, Leroy, J, Volders, PGA, Fischmeister, R & Vandecasteele, G 2014, 'Interventricular Differences in Adrenergic Responses in the Canine Heart: Role of Phosphodiesterases', Journal of the American Heart Association, vol. 3, no. 3, pp. 1-15. https://doi.org/10.1161/jaha.114. 000858
The application of data analysis algorithm in quality control, case study research:

This study investigated the appli control, case study research: the body making hall of Peugeot 206. decades, human ability for production and collection of data increasinginstancedevelopment in information systems, coherent banking systems, explosion developmen and automatic to science and information. problems. order to detect the patterns and valid relations which The present study is Iran assessment and amount making hall accuracy by percent and illustratethe probability to require again inspect system. information systems accomplish research using data analysis in the process of quality accuracy of exploration
Swarm Control for Distributed Construction: A Computational Complexity Perspective

Over the last 20 years, human interaction with robot swarms has been investigated as a means to mitigate problems associated with the control and coordination of such swarms by either human teleoperation or completely autonomous swarms. Ongoing research seeks to characterize those situations in which such interaction is both viable and preferable. In this article, we contribute to this effort by giving the first computational complexity analyses of problems associated with algorithm, environmental influence, and leader selection methods for the control of swarms performing distributed construction tasks. These analyses are done relative to a simple model in which swarms of deterministic finite-state robots operate in a synchronous error-free manner in 2D grid-based environments. We show that all three of our problems are polynomial-time intractable in general and remain intractable under a number of plausible restrictions (both individually and in many combinations) on robot controllers, environments, target structures, and sequences of swarm control commands. We also give the first restrictions relative to which these problems are tractable, as well as discussions of the implications of our results for both the design and deployment of swarm control assistance software tools and the human control of swarms.
JUGAAD: Comprehensive Malware Behavior-as-a-Service

An in-depth analysis of the impact of malware across multiple layers of cyber-connected systems is crucial for confronting evolving cyber-attacks. Gleaning such insights requires executing malware samples in analysis frameworks and observing their run-time characteristics. However, the evasive nature of malware, its dependence on real-world conditions, Internet connectivity, and short-lived remote servers to reveal its behavior, and the catastrophic consequences of its execution, pose significant challenges in collecting its real-world run-time behavior in analysis environments. In this context, we propose JUGAAD, a malware behavior-as-a-service to meet the demands for the safe execution of malware. Such a service enables the users to submit malware hashes or programs and retrieve their precise and comprehensive real-world run-time characteristics. Unlike prior services that analyze malware and present verdicts on maliciousness and analysis reports, JUGAAD provides raw run-time characteristics to foster unbounded research while alleviating the unpredictable risks involved in executing them. JUGAAD facilitates such a service with a back-end that executes a regular supply of malware samples on a real-world testbed to feed a growing data-corpus that is used to serve the users. With heterogeneous compute and Internet connectivity, the testbed ensures real-world conditions for malware to operate while containing its ramifications. The simultaneous capture of multiple execution artifacts across the system stack, including network, operating system, and hardware, presents a comprehensive view of malware activity to foster multi-dimensional research. Finally, the automated mechanisms in JUGAAD ensure that the data-corpus is continually growing and is up to date with the changing malware landscape.
Size measures and alphabetic equivalence in the μ-calculus

Algorithms for solving computational problems related to the modal μ-calculus generally do not take the formulas themselves as input, but operate on some kind of representation of formulas. This representation is usually based on a graph structure that one may associate with a μ-calculus formula. Recent work by Kupke, Marti & Venema showed that the operation of renaming bound variables may incur an exponential blow-up of the size of such a graph representation. Their example revealed the undesirable situation that standard constructions, on which algorithms for model checking and satisfiability depend, are sensitive to the specific choice of bound variables used in a formula. Our work discusses how the notion of alphabetic equivalence interacts with the construction of graph representations of μ-calculus formulas, and with the induced size measures of formulas. We introduce the condition of α-invariance on such constructions, requiring that alphabetically equivalent formulas are given the same (or isomorphic) graph representations. Our main results are the following. First we show that if two μ-calculus formulas are α-equivalent, then their respective Fischer-Ladner closures have the same cardinality, up to α-equivalence. We then continue with the definition of an α-invariant construction which represents an arbitrary μ-calculus formula by a graph that has exactly the size of the quotient of the closure of the formula, up to α-equivalence. This definition, which is itself based on a renaming of variables, solves the above-mentioned problem discovered by Kupke et al.
Promoting Computational Thinking in Teacher Education - Combining Semantic Waves and Algorithmic Thinking

Teaching algorithmic thinking and programming is an important competency for future informatics teachers to acquire. To encourage this, we are investigating the development of a teaching-learning structure that combines the concept of semantic waves and algorithmic thinking with integrating block-based languages. In our teaching-learning laboratory for informatics (TLL), pre-service informatics teachers develop workshops based our concept, evaluate them with school classes and reflect on their didactic learning. Our concept is evaluated by students’ algorithmic thinking and their perception of the semantic wave using mixed methods. This poster presents one workshop based on our teaching-learning structure and its research procedures.