Filters








486 Hits in 1.7 sec

Monitor komponensek okostelefon platformra

Zoltán Szatmári, Zoltán Micskei, István Majzik
2014 Fiatal Műszakiak Tudományos Ülésszaka  
In case of smartphone platforms, there is an emerging need for monitoring the running applications based on the observable elementary events and sensor data, as well as for an active intervention in case of detecting specific composite events or event sequences. In our paper we describe the monitoring components that we developed for accessing elementary events and data, for the rule-based monitoring of the status of applications, and for the temporal logic based evaluation of event sequences.
more » ... he novelty of our approach is the automated monitor synthesis based on the formal specification, and the handling of event taxonomy during the monitoring. Összefoglalás Okostelefon alkalmazások esetén is felmerül az igény a platformon megfigyelhető elemi adatok és események alapján a futó alkalmazások monitorozására, valamint a felismerhető összetett események illetve eseményszekvenciák esetén az aktív beavatkozásra. Cikkünkben ismertetjük azokat a monitor komponenseket, amiket az elemi adathozzáféréshez, a szabály alapú monitorozáshoz, valamint eseményszekvenciák temporális logikai specifikáció alapján történő kiértékeléséhez fejlesztettünk ki. Megoldásunk újdonsága a formális specifikáció alapján történő automatikus monitor szintézis, valamint az esemény taxonómia figyelembevétele a monitorozás során.
doi:10.36243/fmtu-2014.085 fatcat:5s5qtwuscjgrrazkxawrnt7iee

Fejlesztési folyamatok ontológia alapú ellenőrzése

Zoltán Szatmári
2010 Fiatal Műszakiak Tudományos Ülésszaka  
Our everyday life depends on software to a considerable extent, this way the reduction of the risks of design and implementation faults is of utmost importance. Software development processes are more and more subject to regulations fixed in standards that define criteria for the selection of proper development methods. The goal of this work is to support the assessment of development processes and toolchains by elaborating a formal verification technique that allows the automated checking of
more » ... e compliance to standards. Összefoglalás Mindennapi életünk jelentős mértékben függ a szoftverektől, így egyre fontosabbá válik a szoftver tervezési és implementációs hibákból adódó kockázatok csökkentése. A különféle szabványok egyre inkább szabályozzák a szoftverfejlesztési folyamatokat, többek között kritériumokat fogalmaznak meg az alkalmazandó fejlesztési módszerek kiválasztására. Ezen munkám célja, hogy formális verifikációs technikák felhasználásával elősegítsem a fejlesztési folyamatok értékelését a szabványoknak való megfelelőség szempontjából.
doi:10.36243/fmtu-2010.70 fatcat:u5v4i2n5m5d2fcvr5us4pizf6i

Molecular biology of toll-like receptors

Zoltan Szatmary
2012 General Physiology and Biophysics  
Similar promoter-selective effects of p38 and JNK were observed using glucocorticoid-responsive regulatory sequences (Szatmary and Kebis 2012) indicating that the interplay between glucocorticoids and  ... 
doi:10.4149/gpb_2012_048 pmid:23255661 fatcat:fnai6me5tjgbfamd3bqfv6xffm

INCOMPLETE LOCKED-IN SYNDROME

Timea Szilagyi, Zoltan Bajko, Liviu Axente, Szabolcs Szatmari
2011 Romanian Journal of Neurology  
In this paper, we present a case of 62 year-old male with quadriplegia, dysarthria and preserved consciousness. Our case belongs to the incomplete variety of locked-in syndrome due to pontine infarction, because beside the vertical eye movements and eye lid movements, the patient had horizontal eye movements and finger movements on the right side. In general, the basilar artery occlusion is associated with poor outcome, however the urgent thrombolytic therapy may increase the chances to
more » ... The prognosis of our patient was disquieting and he died after 6 weeks from the onset.
doi:10.37897/rjn.2011.2.6 doaj:9a4fb5b81b2b477c8d9bedbcf1ba11fe fatcat:2nugm7usv5bpph2bjqj2ztk4yy

Szatmáry Zoltán, Aszódi Attila: CSERNOBIL-tények, okok, hiedelmek

Typotex Kiadó
unpublished
Egy szó, mint száz: Szatmáry Zoltán és Aszódi Attila: Csernobil címû könyvét jó szívvel ajánlom mindenki figyelmébe. Még a zöldekébe is, tanulni ugyanis sohasem késô.  ...  Szatmáry és Aszódi könyvébôl kirajzolódik a nyolcvanas évek valósága.  ... 
fatcat:7wqmzrofz5ewdkhunjk62uuu2y

A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems [chapter]

Zoltán Micskei, Zoltán Szatmári, János Oláh, István Majzik
2012 Lecture Notes in Computer Science  
Autonomous systems are used nowadays in more and more sectors from vehicles to domestic robots. They can make decisions on their own or interact with humans, thus their robustness and safety are properties of crucial importance. Due to the adaptive and context-aware nature of these systems, the testing of such properties is especially challenging. In this paper, we propose a model-based testing approach to capture the context and requirements of such systems, to automatically generate test data
more » ... representing complex situations, and to evaluate test traces and compute test coverage metrics.
doi:10.1007/978-3-642-30947-2_55 fatcat:qfelacnlmnephgkzommvpcpd7y

Korcsolyázás motivációja felnőttkorban = Motivation for skating in adulthood

Diána Faragó, Róbert Paic, Péter Fritz, Zsolt Németh, Zoltán Szatmári
2021 Recreation  
ZSOLT habilitált egyetemi docens 7634 Pécs, Gém utca 34.Főbb kutatási területei: neveléstudomány, sporttudomány, sportpedagógia, sportpszichológia zsolt.nemeth@gamma.ttk.pte.huRovatvezető: DR.SZATMÁRI ZOLTÁN  ... 
doi:10.21486/recreation.2021.11.4.3 fatcat:iipw7qey5neujbhtulaf2qhznq

Iterative Determination of Distributions by the Monte Carlo Method in Problems with an External Source [article]

Mihály Makai, Zoltán Szatmáry
2013 arXiv   pre-print
Accepted for publication in Nuclear Science and Engineering, May 10, 2013 Fax: 36-1-4631954 e-mail: makai@reak.bme.hu, makai.mihaly@energia.mta.hu szatmary@reak.bme.hu Address: BME NTI, H-1111 Budapest  ... 
arXiv:1311.1630v1 fatcat:idaljmsp6fdmvd2nkvir62osga

Common Carotid Artery Occlusion: A Case Series

Zoltán Bajkó, Rodica Bălaşa, Anca Moţăţăianu, Smaranda Maier, Octavia Claudia Chebuţ, Szabolcs Szatmári
2013 ISRN Neurology  
Subjects and Methods. We analysed 5000 cerebrovascular ultrasound records. A total of 0.4% of the patients had common carotid artery occlusion (CCAO). Results. The mean age was years, and the male/female ratio was 2.33. The most frequent risk factors were hypertension, ischaemic heart disease, dyslipidemia, diabetes mellitus, and smoking. Right-sided and left-sided CCAO occurred in 65% and 30% of the cases, respectively, and bilateral occlusion was detected in one case (5%). Patent bifurcation
more » ... as observed in 10 cases of CCAO in which the anterograde flow in the ICA was maintained from the external carotid artery with reversed flow. In two of the cases, the occluded CCA was hypoplastic. The aetiology of CCAO in the majority of cases was the atherosclerosis (15 cases). The male/female ratio was higher in the patients with occluded distal vessels, and the short-term outcome was poorer. Only two cases from this series underwent revascularisation surgery. Spontaneous recanalisation was observed in one case. Conclusions. The most frequent cause of CCAO was atherosclerosis. The outcome is improved in the cases with patent distal vessels, and spontaneous recanalisation is possible. Treatment methods have not been standardised. Surgical revascularisation is possible in cases of patent distal vessels, but the indications are debatable.
doi:10.1155/2013/198595 pmid:24167740 pmcid:PMC3791643 fatcat:zjdrvc7rqvd3dgoilode5sks5i

Társas környezet, egészségmagatartás és egészség: Szegedi egyetemisták életmódjának vizsgálata szabadidős fizikai aktivitásuk tükrében

Zoltán Szatmári
2011 Recreation  
doi:10.21486/recreation.2011.1.1.1 fatcat:ams6xniupjeznj622iypplzn4i

Ontology-Based Identification of Commonalities and Variabilities Among Safety Processes [chapter]

Barbara Gallina, Zoltán Szatmári
2015 Lecture Notes in Computer Science  
Safety standards impose requirements on the process used to develop safety-critical systems. For certification purposes, manufacturers have to properly interpret and meet these requirements, which exhibit commonalities and variabilities. However, since different terms are used to state them, the comparative work aimed at manually identifying and managing these commonalities and variabilities is hard, time-consuming, and costly. In this paper, we propose to solve this problem by creating
more » ... -based models of safety standards and automate the comparative work. Then, we show how the result of this comparative study can be exploited to semi-automate the generation of safety-oriented process line models. To illustrate our solution, we apply it to portions of ISO 26262 and EN 50126. Finally, we draw our conclusions and future work.
doi:10.1007/978-3-319-26844-6_13 fatcat:2usdlxrz5jfonhuppws6egpyhe

Dynamically detuned oscillations account for the coupled rate and temporal code of place cell firing

Máté Lengyel, Zoltán Szatmáry, Péter Érdi
2003 Hippocampus  
Firing of place cells in the exploring rat conveys doubly coded spatial information: both the rate of spikes and their timing relative to the phase of the ongoing field theta oscillation are correlated with the location of the animal. Specifically, the firing rate of a place cell waxes and wanes, while the timing of spikes precesses monotonically as the animal traverses the portion of the environment preferred by the cell. We propose a mechanism for the generation of this firing pattern that
more » ... be applied for place cells in all three hippocampal subfields and that encodes spatial information in the output of the cell without relying on topographical connections or topographical input. A single pyramidal cell was modeled so that the cell received rhythmic inhibition in phase with theta field potential oscillation on the soma and was excited on the dendrite with input depending on the speed of the rat. The dendrite sustained an intrinsic membrane potential oscillation, frequency modulated by its input. Firing probability of the cell was determined jointly by somatic and dendritic oscillations. Results were obtained on different levels of abstraction: a purely analytical derivation was arrived at, corroborated by numerical simulations of rate neurons, and an extension of these simulations to spiking neurons was also performed. Realistic patterns of rate and temporal coding emerged and were found to be inseparable. These results may have implications on the robustness of information coding in place cell firing and on the ways information is processed in structures downstream to the hippocampus.
doi:10.1002/hipo.10116 pmid:12962315 fatcat:wmmy2o6ykjcdlou4oflpx2dyvy

Categories, prototypes and memory systems in Alzheimer's disease

Szabolcs Kéri, Zoltán Janka, György Benedek, Péter Aszalós, Botond Szatmáry, Gábor Szirtes, András Lörincz
2002 Trends in Cognitive Sciences  
Recent studies indicate that category learning is mediated by multiple neuronal systems. It has been shown that patients with marked impairments in executive functions, explicit memory and procedural learning can categorize the exemplars and prototype of a previously trained category. Simple, self-organizing neuronal networks can explain prototype learning and related dysfunctions in Alzheimer's disease, and provide a model of how prototype learning is mediated by circumscribed mechanisms in the visual cortex.
doi:10.1016/s1364-6613(00)01859-3 pmid:11861191 fatcat:drx7cpqikncltnylimdghcahvm

A multimodális posztoperatív fájdalomcsillapítás szerepe primer csípőízületi arthroplasticában

Attila Szatmári, Ákos Menyhárt, Imre Antal, Imre Sallai, Gergely Holnapy, Zoltán Bejek, Gábor Skaliczki
2019 Orvosi Hetilap  
Abstract: Introduction: Due to the increasing number of arthroplasties, the number of post-operative hospital days was reduced and the rate of rehabilitation accelerated. For this, proper postoperative analgesia is essential and the multimodal pain relief is an excellent tool. Aim: The aim of our study was to compare postoperative functional results, postoperative pain levels, and opioid analgesic needs of patients who received conventional and novel analgesic treatments. Method: In our
more » ... ive study, 81 patients were enrolled who underwent primary hip prosthesis surgery in our institution between February 2017 and January 2018. Of the randomized patients, 38 were in the control group and 43 in the multimodal pain group. We have tested their analgesic needs and the subjective pain levels of patients with the help of the visual analog scale (VAS). Results: Patients receiving multimodal pain relief had significantly lower opioid analgesic requirements and significantly lower VAS values assessed at 6 hours, and 3 and 4 days postoperatively. In addition, the patients in this group stayed in the hospital for a significantly shorter time after surgery. Conclusions: Based on our experience, multimodal pain relief in one-sided primary hip joint arthroplasty significantly reduced the patients' postoperative subjective pain sensation and pain killer consumptions. Orv Hetil. 2019; 160(52): 2054–2060.
doi:10.1556/650.2019.31556 pmid:31868008 fatcat:4luxu5swbfcanmvntyfmbwgd2e

Inhibition of Glucocorticoid Receptor-mediated Transcriptional Activation by p38 Mitogen-activated Protein (MAP) Kinase

Zoltán Szatmáry, Michael J. Garabedian, Jan Vilček
2004 Journal of Biological Chemistry  
Tumor necrosis factor (TNF) promotes certain immune and inflammatory responses, whereas glucocorticoids exert immunosuppressive and anti-inflammatory actions. We show that TNF treatment produced a modest inhibition of glucocorticoid receptor (GR)-mediated transcriptional activation of a mouse mammary tumor virus (MMTV) promoter-driven luciferase construct in HeLa cells. The mitogen-activated protein (MAP) kinases, p38 and c-Jun N-terminal kinase (JNK), are important mediators of target gene
more » ... vation by TNF, and JNK activation was earlier shown to inhibit GR-mediated transcriptional activation by direct phosphorylation of GR at Ser-246. Transfection of HeLa cells with MKK6b(E), a constitutively active specific upstream activator of p38, led to a potent inhibition of GR activation of the MMTV promoter-driven luciferase construct. A similar inhibition of activation of the MMTV promoterdriven luciferase construct was seen in HeLa cells transfected with MKK7(D), a constitutively functional activator of JNK. Data from "domain swap" experiments using GR chimeras indicated that the main target of the p38mediated (but not JNK-mediated) inhibition is the ligand-binding domain of GR (spanning amino acids 525-795) , whereas the constitutively active N-terminal AF-1 region (spanning amino acids 106 -237) is dispensable for the inhibitory effect of p38. We also demonstrate that activated p38 targets the GR ligand-binding domain indirectly. Suppression of GR function by activated p38 and JNK MAP kinases may be physiologically important as a mechanism of resistance to glucocorticoids seen in many patients with chronic inflammatory conditions.
doi:10.1074/jbc.m406568200 pmid:15292225 fatcat:3gfbglaozrdkbkyfk6bp722gfa
« Previous Showing results 1 — 15 out of 486 results