Search Results - "Bokor Peter"

Could the Presence of Thrips AFFECT the Yield Potential of Genetically Modified and Conventional Maize? by Cagáň, Ľudovít, Bokor, Peter, Skoková Habuštová, Oxana

“…Maize pests like Ostrinia nubilalis and Diabrotica virgifera virgifera are eradicated using genetically modified maize. This study’s goal was to see if the…”
Get full text

The first detection of leafhopper Scaphoideus titanus Ball (Hemiptera, Cicadellidae) in Slovakia by TÓTHOVÁ, Monika, BOKOR, Peter, CAGÁŇ, Ľudovít

“…Scaphoideus titanus Ball, the main vector of Flavescence dorée phytoplasma, was monitored in Slovakia during 2013 and 2014. The species was present in the…”
Get full text

The Effects of Nosema pyrausta Infection on European Corn Borer Populations from Five European Countries by Ľudovit Cagan, Anna Plackova, Peter Bokor

Get full text

Scrooge: Reducing the costs of fast Byzantine replication in presence of unresponsive replicas by Serafini, M, Bokor, P, Dobre, D, Majuntke, M, Suri, N

“…Byzantine-Fault-Tolerant (BFT) state machine replication is an appealing technique to tolerate arbitrary failures. However, Byzantine agreement incurs a…”
Get full text

Selective CRF2 receptor agonists ameliorate the anxiety- and depression-like state developed during chronic nicotine treatment and consequent acute withdrawal in mice by Bagosi, Zsolt, Palotai, Miklós, Simon, Balázs, Bokor, Péter, Buzás, András, Balangó, Beáta, Pintér, Dávid, Jászberényi, Miklós, Csabafi, Krisztina, Szabó, Gyula

“…Abstract The aim of the present study was to investigate the effects of the selective agonists of the corticotropin-releasing factor (CRF) 2 receptor,…”
Get full text

Changes in striatal dopamine release and locomotor activity following acute withdrawal from chronic nicotine are mediated by CRF1, but not CRF2, receptors by Buzás, András, Bokor, Péter, Balangó, Beáta, Pintér, Dávid, Palotai, Miklós, Simon, Balázs, Csabafi, Krisztina, Telegdy, Gyula, Szabó, Gyula, Bagosi, Zsolt

“…•Male Wistar were exposed to repeated ip injection with nicotine for 7 days.•On the 8th and the 9th day rats were injected icv with antalarmin or…”
Get full text

The Effects of Alcohol Intoxication and Withdrawal on Hypothalamic Neurohormones and Extrahypothalamic Neurotransmitters by Simon, Balázs, Buzás, András, Bokor, Péter, Csabafi, Krisztina, Ibos, Katalin Eszter, Bodnár, Éva, Török, László, Földesi, Imre, Siska, Andrea, Bagosi, Zsolt

“…The aim of the present study was to determine the effects of alcohol intoxication and withdrawal on hypothalamic neurohormones such as corticotropin-releasing…”
Get full text

The roles of hedgehog, wingless and lines in patterning the dorsal epidermis in Drosophila by Bokor, P, DiNardo, S

“…Rows of cells that flank the parasegment boundary make up a signaling center within the epidermis of the Drosophila embryo. Signals emanating from these cells,…”
Get full text

Quick verification of concurrent programs by iteratively relaxed scheduling by Metzler, Patrick, Saissi, Habib, Bokor, Peter, Suri, Neeraj

“…The most prominent advantage of software verification over testing is a rigorous check of every possible software behavior. However, large state spaces of…”
Get full text

Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications by Sakurai, K., Bokor, P., Suri, N.

“…Designing safety-critical systems is a complex process, and especially when the design is carried out at different levels of abstraction where the correctness…”
Get full text

The occurrence of pests on lemon balm (Mellisa officinalis) and garden sage (Salvia officinalis) by Bokor Peter, Tancik Ján, Habán Miroslav, Marinković Branko J., Poláček Milan

“…Production of medicinal plants is accompanied by many problems, out of which some are overcome. Problems in medicinal plant production, including the…”
Get full text

Macrophomina phaseolina causing a charcoal rot of sunflower through Slovakia by Bokor, Peter

“…The fungus Macrophomina phaseolina distributed especially in warmer region of Europe is reported for the first time from the Slovakia as a pathogen of…”
Get full text

Application-Level Diagnostic and Membership Protocols for Generic Time-Triggered Systems by Serafini, M, Bokor, Péter, Suri, N, Vinter, J, Ademaj, A, Brandstätter, Wolfgang, Tagliabò, Fulvio, Koch, J

“…We present online tunable diagnostic and membership protocols for generic time-triggered (TT) systems to detect crashes, send/receive omission faults, and…”
Get full text

Occurrence and bionomics of Eriborus terebrans (Gravenhorst) (Hymenoptera: Ichneumonidae), a parasitoid of the European corn borer, Ostrinia nubilalis Hbn. (Lepidoptera: Pyralidae), in Central Europe by Peter Bokor, Ľudovít Cagáň

“…Eriborus terebrans (Gravenhorst), the parasitoid of the European corn borer, Ostrinia nubilalis Hbn., was studied at four locations in central Europe during…”
Get full text

Efficient model checking of fault-tolerant distributed protocols by Bokor, P., Kinder, J., Serafini, M., Suri, N.

“…To aid the formal verification of fault-tolerant distributed protocols, we propose an approach that significantly reduces the costs of their model checking…”
Get full text

Use of petal test in early-flowering varieties of oilseed rape (Brassica napus L.) for predicting the infection pressure of Sclerotinia sclerotiorum (Lib.) de Bary by Bečka, David, Prokinová, Evženie, Šimka, Jiří, Cihlář, Pavel, Bečková, Lucie, Bokor, Peter, Vašák, Jan

“…Sclerotinia sclerotiorum is one of the most important pathogens of winter oilseed rape plants. It causes the white mould disease of rape, thus significantly…”
Get full text

The correlation between the susceptibilities to lambda-cyhalothrin and tau-fluvalinate in Czech and Slovak pollen beetle populations by Seidenglanz, Marek, Bajerová, Romana, Kolařík, Pavel, Hrudová, Eva, Havel, Jiří, Táncik, Ján, Ruseňáková, Miriama, Bokor, Peter, Kocourek, František, Stará, Jitka, Víchová, Leona, Šafář, Jaroslav

Get full text

Efficient Verification of Distributed Protocols Using Stateful Model Checking by Saissi, Habib, Bokor, Peter, Muftuoglu, Can Arda, Suri, Neeraj, Serafini, Marco

“…This paper presents efficient model checking of distributed software. Key to the achieved efficiency is a novel stateful model checking strategy that is based…”
Get full text

Supporting domain-specific state space reductions through local partial-order reduction by Bokor, Peter, Kinder, Johannes, Serafini, Marco, Suri, Neeraj

“…Model checkers offer to automatically prove safety and liveness properties of complex concurrent software systems, but they are limited by state space…”
Get full text

Weighted multi-level deep learning analysis and framework for processing breast cancer WSIs by Bokor, Peter, Hudec, Lukas, Fabian, Ondrej, Benesova, Wanda

“…Prevention and early diagnosis of breast cancer (BC) is an essential prerequisite for the selection of proper treatment. The substantial pressure due to the…”
Get full text