Hasil untuk "Hungary"

Florian Fichot, Laure Carénini, Stephan Brumm et al.

Molten corium stabilization following a severe accident is of crucial importance in order to ensure containment integrity on a long-term basis and minimizing radioactive elements releases outside the plant. Among the possible options, In-Vessel Retention (IVR) through external cooling appears as an attractive solution that would limit the dispersion of corium in the plant and minimize the risks of containment failure. Nevertheless its feasibility has to be proved.The IVR strategy is already adopted in Europe for some VVER 440 type 213 reactors thanks to thorough research work started in the '90s for the Finnish Loviisa power plant, and subsequently extended to Bohunice and Mochovce (Slovakia), Dukovany (Czech Republic) and Paks (Hungary) power plants. The strategy is also included in the design of some high power new Gen.III reactors such as AP1000, APR 1400 and Chinese HPR1000 and CAP1400. It has also been studied in the past for other reactor concepts like KERENA (1250 MWe - BWR), AP600 or VVER-640.Current approaches for reactors with relatively small power, such as VVER 440 or AP600, use conservative assumptions for the safety demonstration. However, for higher power reactors (around 1000 MWe), the safety margin is reduced and it is necessary to evaluate the IVR strategy with best-estimate methods in order to reduce the uncertainties associated with the involved phenomena. Additional R&D as well as a revision of the methodology are needed to ensure and demonstrate adequate safety margins, including, in particular, best-estimate evaluations of thermal load applied on the vessel and mechanical resistance of the ablated vessel.The IVMR project (In-Vessel Melt Retention) was built with the goal of providing new knowledge (experimental, theoretical and technical) and a new methodology able to provide a best-estimate evaluation of IVR strategy for large power reactors. The main objective of Task 2.1 within WP2 was to define a common methodology to analyse IVR Severe Accident Management (SAM) strategy for the different types of EU NPPs. It started by reviewing the status of existing methodology and aimed at elaborating a more general, updated and less conservative one applicable to several types of reactors.This paper describes the proposed new methodology. It starts with the identification of the deficiencies of the standard methodology when it is applied to a high power reactor. It introduces the minimum vessel thickness as a parameter representing the cumulated imbalance between internal heat load and external cooling. Then it explains how to use that parameter in the evaluation of the safety margin. Although some examples are given as illustrations, it must be kept in mind that this paper proposes a generic methodology but there cannot be any generic conclusion: any reactor design must be evaluated independently.

Alireza Ardalani, Joseph Antonucci, Iulian Neamtiu

Mobile apps are used in a variety of health settings, from apps that help providers, to apps designed for patients, to health and fitness apps designed for the general public. These apps ask the user for, and then collect and leak a wealth of Personal Information (PI). We analyze the PI that apps collect via their user interface, whether the app or third-party code is processing this information, and finally where the data is sent or stored. Prior work on leak detection in Android has focused on detecting leaks of (hardware) device-identifying information, or policy violations; however no work has looked at processing and leaking of PI in the context of health apps. The first challenge we tackle is extracting the semantic information contained in app UIs to discern the extent, and nature, of personal information. The second challenge we tackle is disambiguating between first-party, legitimate leaks (e.g,. the app storing data in its database) and third-party, problematic leaks, e.g., processing this information by, or sending it to, advertisers and analytics. We conducted a study on 1,243 Android apps: 623 medical apps and 621 health&fitness apps. We categorize PI into 16 types, grouped in 3 main categories: identity, medical, anthropometric. We found that the typical app has one first-party leak and five third-party leaks, though 221 apps had 20 or more leaks. Next, we show that third-party leaks (e.g., advertisers, analytics) are 5x more frequent than first-party leaks. Then, we show that 71% of leaks are to local storage (i.e., the phone, where data could be accessed by unauthorized apps) whereas 29% of leaks are to the network (e.g., Cloud). Finally, medical apps have 20% more PI leaks than health&fitness apps, due to collecting additional medical PI.

Márk Somorjai, Mihály Dobos-Kovács, Zsófia Ádám et al.

Constrained Horn Clauses (CHCs) have conventionally been used as a low-level representation in formal verification. Most existing solvers use a diverse set of specialized techniques, including direct state space traversal or under-approximating abstraction, necessitating purpose-built complex algorithms. Other solvers successfully simplified the verification workflow by translating the problem to inputs for other verification tasks, leveraging the strengths of existing algorithms. One such approach transforms the CHC problem into a recursive program roughly emulating a top-down solver for the deduction task; and verifying the reachability of a safety violation specified as a control location. We propose an alternative bottom-up approach for linear CHCs, and evaluate the two options in the open-source model checking framework THETA on both synthetic and industrial examples. We find that there is a more than twofold increase in the number of solved tasks when the novel bottom-up approach is used in the verification workflow, in contrast with the top-down technique.

Rocco Servidio, Paolo Soraci, Mark D. Griffiths et al.

Background and aim: Fear of Missing Out (FoMO) is consistently associated with problematic social media use (PSMU). Moreover, previous studies have shown a significant association between FoMO, self-esteem, and social comparison. However, there is a lack of studies that have investigated the relationship between, FoMO, social comparison, self-esteem, and PSMU in an integrated model. The present study hypothesized that FoMO may influence PSMU through the serial mediating role of social comparison and self-esteem. Method: A cross-sectional survey study was conducted comprising 256 Italian university students (74.4% female), aged 18 to 38 years (M = 23.05 years; SD = 3.58). The participants completed an online survey assessing the variables of the study. Results: Controlling for age and gender, the results showed positive associations between FoMO, social comparison, and PSMU, and a negative association between FoMO and self-esteem. Self-esteem was also negatively associated with PSMU. It was also found that social comparison and self-esteem sequentially mediated the association between FoMO and PSMU. Conclusions: The present study contributes to understanding the mechanisms that underline the complex effects of FoMO on PSMU.

Kaja Troha, Domen Vozel, Matevž Arko et al.

The preparation of autologous platelet and extracellular vesicle-rich plasma (PVRP) has been explored in many medical fields with the aim to benefit from its healing potential. In parallel, efforts are being invested to understand the function and dynamics of PVRP that is complex in its composition and interactions. Some clinical evidence reveals beneficial effects of PVRP, while some report that there were no effects. To optimize the preparation methods, functions and mechanisms of PVRP, its constituents should be better understood. With the intention to promote further studies of autologous therapeutic PVRP, we performed a review on some topics regarding PVRP composition, harvesting, assessment and preservation, and also on clinical experience following PVRP application in humans and animals. Besides the acknowledged actions of platelets, leukocytes and different molecules, we focus on extracellular vesicles that were found abundant in PVRP.

Zoltan Kekecs, Bence Palfi, Barnabas Szaszi et al.

The low reproducibility rate in social sciences has produced hesitation among researchers in accepting published findings at their face value. Despite the advent of initiatives to increase transparency in research reporting, the field is still lacking tools to verify the credibility of research reports. In the present paper, we describe methodologies that let researchers craft highly credible research and allow their peers to verify this credibility. We demonstrate the application of these methods in a multi-laboratory replication of Bem's Experiment 1 (Bem 2011 J. Pers. Soc. Psychol. 100, 407–425. (doi:10.1037/a0021524)) on extrasensory perception (ESP), which was co-designed by a consensus panel including both proponents and opponents of Bem's original hypothesis. In the study we applied direct data deposition in combination with born-open data and real-time research reports to extend transparency to protocol delivery and data collection. We also used piloting, checklists, laboratory logs and video-documented trial sessions to ascertain as-intended protocol delivery, and external research auditors to monitor research integrity. We found 49.89% successful guesses, while Bem reported 53.07% success rate, with the chance level being 50%. Thus, Bem's findings were not replicated in our study. In the paper, we discuss the implementation, feasibility and perceived usefulness of the credibility-enhancing methodologies used throughout the project.

Katalin Reszegi

Preschool children’s name model. Complex place name competence survey among school-age children Onomastic research typically focuses on the place-name recognition of adult name users. Thus, little research has focused on the place name vocabulary and naming competences of children. This paper presents the results of a survey using a complex methodology to characterise children’s place-name knowledge in a comprehensive way. Comprehensive interviews were conducted with ten children aged 6–7 years, as part of which children’s place-name knowledge, place-name competence and mental maps were assessed. The results show that children’s place-name knowledge is much narrower and spatially more limited than adults’, essentially covering only the inner area of their own municipality. They also know the macrotoponyms of other places, but the conceptual representations of these names are rather schematic. Children’s travel descriptions and mental maps are based on an egocentric perspective. The results show that the methodology can be applied successfully and provides a comprehensive picture of children’s spatial knowledge and place perception.

Márta Virágos

Országh László könyvtárának sorsáról már az 1970-es évek közepén rendelkezett egy részletes levélben, melynek  eredeti kézírásos formáját a Debreceni Egyetem Egyetemi és Nemzeti Könyvtára őriz Kézirattárában. A levelet eredeti formájában adjuk közre.

Klára Berzeviczy, Gyula Pályi

The medieval respect towards progenitors induced not only sentimental feelings but also practical steps, such as sponsoring works of art. In the present study, the family connections of Landgrave Hermann I of Thuringia to the Carolingians and to (Saint) Guillaume/Guilhem d’Orange, from the family of the Counts of Autun, have been explored. The possibility of the role of these kinships as a “driving force” behind initiating and sponsoring the epos <i>Willehalm</i> of <i>Wolfram von Eschenbach</i> has been analyzed.

Anna Bálint, Ádám Szabó, Attila Andics et al.

Voice-sensitivity in the auditory cortex of a range of mammals has been proposed to be determined primarily by tuning to conspecific auditory stimuli, but recent human findings indicate a role for a more general tuning to voicelikeness. Vocal emotional valence, a central characteristic of vocalisations, has been linked to the same basic acoustic parameters across species. Comparative neuroimaging revealed that during voice perception, such acoustic parameters modulate emotional valence-sensitivity in auditory cortical regions in both family dogs and humans. To explore the role of voicelikeness in auditory emotional valence-sensitivity across species, here we constructed artificial emotional sounds in two sound categories: voice-like vs. sine-wave sounds, parametrically modulating two main acoustic parameters, f0 and call length. We hypothesised that if mammalian auditory systems are characterised by a general tuning to voicelikeness, voice-like sounds will be processed preferentially, and acoustic parameters for voice-like sounds will be processed differently than for sine-wave sounds - both in dogs and humans. We found cortical areas in both species that responded stronger to voice-like than to sine-wave stimuli, while there were no regions responding stronger to sine-wave sounds in either species. Additionally, we found that in bilateral primary and emotional valence-sensitive auditory regions of both species, the processing of voice-like and sine-wave sounds are modulated by f0 in opposite ways. These results reveal functional similarities between evolutionarily distant mammals for processing voicelikeness and its effect on processing basic acoustic cues of vocal emotions.

V. V. Mironov

The process of disorganization of the armed forces of Austria-Hungary in 1918 is considered through the prism of the national issue and the prospects for the further preservation of the Habsburg Monarchy. It is concluded that the military and diplomatic victories won in the early 1918 by Austria-Hungary were illusory and only put off the inevitable defeat of its army. Investigation of the first cases of mass withdrawal from obedience of military units in the spring and summer of 1918, showed that they were an interweaving of social, national-political and military reasons proper. At the same time, a serious discrepancy was revealed between Slovenian and Italian researchers in the interpretation of the reasons for the uprising in the 97th infantry regiment stationed in the Slovenian Radkersburg (Radgon). If for the former it was typical, following the Marxist tradition, to emphasize the social contradictions that led to the revolutionization of the army according to the “Russian model”, the latter praised the participants in the uprising from the Italian side as genuine national patriots. It is shown that the “shock force” of all the soldiers’ uprisings that broke out in the spring and summer of 1918 in the Austro-Hungarian army were servicemen who returned from Russian captivity in the spring of 1918, where some of them were imbued with revolutionary ideas. The conclusion is drawn about the extreme severity of military justice, which condemned many of the insurgents to death, which became the reason for deputy inquiries.

Ágnes Jakab, Tamás Emri, Kinga Csillag et al.

The glucocorticoid betamethasone (BM) has potent anti-inflammatory and immunosuppressive effects; however, it increases the susceptibility of patients to superficial <i>Candida</i> infections. Previously we found that this disadvantageous side effect can be counteracted by menadione sodium bisulfite (MSB) induced oxidative stress treatment. The fungus specific protein phosphatase Z1 (CaPpz1) has a pivotal role in oxidative stress response of <i>Candida albicans</i> and was proposed as a potential antifungal drug target. The aim of this study was to investigate the combined effects of <i>CaPPZ1</i> gene deletion and MSB treatment in BM pre-treated <i>C. albicans</i> cultures. We found that the combined treatment increased redox imbalance, enhanced the specific activities of antioxidant enzymes, and reduced the growth in cappz1 mutant (KO) strain. RNASeq data demonstrated that the presence of BM markedly elevated the number of differentially expressed genes in the MSB treated KO cultures. Accumulation of reactive oxygen species, increased iron content and fatty acid oxidation, as well as the inhibiting ergosterol biosynthesis and RNA metabolic processes explain, at least in part, the fungistatic effect caused by the combined stress exposure. We suggest that the synergism between MSB treatment and CaPpz1 inhibition could be considered in developing of a novel combinatorial antifungal strategy accompanying steroid therapy.

Zsófia Varga-Medveczky, Dorottya Kocsis, Márton Bese Naszlady et al.

During the last decades, several technologies were developed for testing drug delivery through the dermal barrier. Investigation of drug penetration across the skin can be important in topical pharmaceutical formulations and also in cosmeto-science. The state-of- the-art in the field of skin diffusion measurements, different devices, and diffusion platforms used, are summarized in the introductory part of this review. Then the methodologies applied at Pázmány Péter Catholic University are shown in detail. The main testing platforms (Franz diffusion cells, skin-on-a-chip devices) and the major scientific projects (P-glycoprotein interaction in the skin; new skin equivalents for diffusion purposes) are also presented in one section. The main achievements of our research are briefly summarized: (1) new skin-on-a-chip microfluidic devices were validated as tools for drug penetration studies for the skin; (2) P-glycoprotein transport has an absorptive orientation in the skin; (3) skin samples cannot be used for transporter interaction studies after freezing and thawing; (4) penetration of hydrophilic model drugs is lower in aged than in young skin; (5) mechanical sensitization is needed for excised rodent and pig skins for drug absorption measurements. Our validated skin-on-a-chip platform is available for other research groups to use for testing and for utilizing it for different purposes.

Nikoletta Harsági, György Keglevich

Phosphinic and phosphonic acids are useful intermediates and biologically active compounds which may be prepared from their esters, phosphinates and phosphonates, respectively, by hydrolysis or dealkylation. The hydrolysis may take place both under acidic and basic conditions, but the C-O bond may also be cleaved by trimethylsilyl halides. The hydrolysis of <i>P</i>-esters is a challenging task because, in most cases, the optimized reaction conditions have not yet been explored. Despite the importance of the hydrolysis of <i>P</i>-esters, this field has not yet been fully surveyed. In order to fill this gap, examples of acidic and alkaline hydrolysis, as well as the dealkylation of phosphinates and phosphonates, are summarized in this review.

T. Bayasgalan, S. Stupniki, S. Stupniki et al.

The pedunculopontine nucleus (PPN), a structure known as a cholinergic member of the reticular activating system (RAS), is source and target of cholinergic neuromodulation and contributes to the regulation of the sleep–wakefulness cycle. The M-current is a voltage-gated potassium current modulated mainly by cholinergic signaling. KCNQ subunits ensemble into ion channels responsible for the M-current. In the central nervous system, KCNQ4 expression is restricted to certain brainstem structures such as the RAS nuclei. Here, we investigated the presence and functional significance of KCNQ4 in the PPN by behavioral studies and the gene and protein expressions and slice electrophysiology using a mouse model lacking KCNQ4 expression. We found that this mouse has alterations in the adaptation to changes in light–darkness cycles, representing the potential role of KCNQ4 in the regulation of the sleep–wakefulness cycle. As cholinergic neurons from the PPN participate in the regulation of this cycle, we investigated whether the cholinergic PPN might also possess functional KCNQ4 subunits. Although the M-current is an electrophysiological hallmark of cholinergic neurons, only a subpopulation of them had KCNQ4-dependent M-current. Interestingly, the absence of the KCNQ4 subunit altered the expression patterns of the other KCNQ subunits in the PPN. We also determined that, in wild-type animals, the cholinergic inputs of the PPN modulated the M-current, and these in turn can modulate the level of synchronization between neighboring PPN neurons. Taken together, the KCNQ4 subunit is present in a subpopulation of PPN cholinergic neurons, and it may contribute to the regulation of the sleep–wakefulness cycle.

Kenneth Lai, Xinyuan Tu, Svetlana Yanushkevich

This paper addresses the problem of biometric identification of animals, specifically dogs. We apply advanced machine learning models such as deep neural network on the photographs of pets in order to determine the pet identity. In this paper, we explore the possibility of using different types of "soft" biometrics, such as breed, height, or gender, in fusion with "hard" biometrics such as photographs of the pet's face. We apply the principle of transfer learning on different Convolutional Neural Networks, in order to create a network designed specifically for breed classification. The proposed network is able to achieve an accuracy of 90.80% and 91.29% when differentiating between the two dog breeds, for two different datasets. Without the use of "soft" biometrics, the identification rate of dogs is 78.09% but by using a decision network to incorporate "soft" biometrics, the identification rate can achieve an accuracy of 84.94%.

Steffen Haas, Florian Wilkens, Mathias Fischer

Public networks are exposed to port scans from the Internet. Attackers search for vulnerable services they can exploit. In large scan campaigns, attackers often utilize different machines to perform distributed scans, which impedes their detection and might also camouflage the actual goal of the scanning campaign. In this paper, we present a correlation algorithm to detect scans, identify potential relations among them, and reassemble them to larger campaigns. We evaluate our approach on real-world Internet traffic and our results indicate that it can summarize and characterize standalone and distributed scan campaigns based on their tools and intention.

Laura Jankó, Zsanett Sári, Tünde Kovács et al.

Poly(ADP-Ribose) polymerases (PARPs) are enzymes that metabolize NAD⁺. PARP1 and PARP10 were previously implicated in the regulation of autophagy. Here we showed that cytosolic electron-dense particles appear in the cytoplasm of C2C12 myoblasts in which PARP2 is silenced by shRNA. The cytosolic electron-dense bodies resemble autophagic vesicles and, in line with that, we observed an increased number of LC3-positive and Lysotracker-stained vesicles. Silencing of PARP2 did not influence the maximal number of LC3-positive vesicles seen upon chloroquine treatment or serum starvation, suggesting that the absence of PARP2 inhibits autophagic breakdown. Silencing of PARP2 inhibited the activity of AMP-activated kinase (AMPK) and the mammalian target of rapamycin complex 2 (mTORC2). Treatment of PARP2-silenced C2C12 cells with AICAR, an AMPK activator, nicotinamide-riboside (an NAD⁺ precursor), or EX-527 (a SIRT1 inhibitor) decreased the number of LC3-positive vesicles cells to similar levels as in control (scPARP2) cells, suggesting that these pathways inhibit autophagic flux upon PARP2 silencing. We observed a similar increase in the number of LC3 vesicles in primary PARP2 knockout murine embryonic fibroblasts. We provided evidence that the enzymatic activity of PARP2 is important in regulating autophagy. Finally, we showed that the silencing of PARP2 induces myoblast differentiation. Taken together, PARP2 is a positive regulator of autophagic breakdown in mammalian transformed cells and its absence blocks the progression of autophagy.

Arindam Paul, Dipendra Jha, Reda Al-Bahrani et al.

Organic Solar Cells are a promising technology for solving the clean energy crisis in the world. However, generating candidate chemical compounds for solar cells is a time-consuming process requiring thousands of hours of laboratory analysis. For a solar cell, the most important property is the power conversion efficiency which is dependent on the highest occupied molecular orbitals (HOMO) values of the donor molecules. Recently, machine learning techniques have proved to be very useful in building predictive models for HOMO values of donor structures of Organic Photovoltaic Cells (OPVs). Since experimental datasets are limited in size, current machine learning models are trained on data derived from calculations based on density functional theory (DFT). Molecular line notations such as SMILES or InChI are popular input representations for describing the molecular structure of donor molecules. The two types of line representations encode different information, such as SMILES defines the bond types while InChi defines protonation. In this work, we present an ensemble deep neural network architecture, called SINet, which harnesses both the SMILES and InChI molecular representations to predict HOMO values and leverage the potential of transfer learning from a sizeable DFT-computed dataset- Harvard CEP to build more robust predictive models for relatively smaller HOPV datasets. Harvard CEP dataset contains molecular structures and properties for 2.3 million candidate donor structures for OPV while HOPV contains DFT-computed and experimental values of 350 and 243 molecules respectively. Our results demonstrate significant performance improvement from the use of transfer learning and leveraging both molecular representations.

Rodolphe Lepigre

We present the PML 2 language, which provides a uniform environment for programming, and for proving properties of programs in an ML-like setting. The language is Curry-style and call-by-value, it provides a control operator (interpreted in terms of classical logic), it supports general recursion and a very general form of (implicit, non-coercive) subtyping. In the system, equational properties of programs are expressed using two new type formers, and they are proved by constructing terminating programs. Although proofs rely heavily on equational reasoning, equalities are exclusively managed by the type-checker. This means that the user only has to choose which equality to use, and not where to use it, as is usually done in mathematical proofs. In the system, writing proofs mostly amounts to applying lemmas (possibly recursive function calls), and to perform case analyses (pattern matchings).