Fast Three-Valued Abstract Bit-Vector Arithmetic von Onderka, Jan, Ratschan, Stefan

Volltext

Input-based Framework for Three-valued Abstraction Refinement von Onderka, Jan

Volltext bestellen

Input-based Framework for Three-valued Abstraction Refinement von Onderka, Jan

Volltext

METHOD OF RENEWING FUNCTIONAL PROPERTIES OF DISTRIBUTION PIPES MADE OH HIGH-ALLOY CAST STEEL von SOJKA JAN, MIKULOWSKI BORYS, ONDERKA JAN, RESZKA JERZY, WYBRANIEC MARIAN, SOJKA JERZY, MORAWIEC HENRYK, SMOLEN ANDRZEJ, KUCIA KAZIMIERZ

Volltext bestellen

METHOD OF RENEWING FUNCTIONAL PROPERTIES OF DISTRIBUTION PIPES MADE OH HIGH-ALLOY CAST STEEL von SOJKA JAN, MIKULOWSKI BORYS, ONDERKA JAN, RESZKA JERZY, WYBRANIEC MARIAN, SOJKA JERZY, MORAWIEC HENRYK, SMOLEN ANDRZEJ, KUCIA KAZIMIERZ

Volltext bestellen

METHOD OF REGENERATING CATALYTIC TUBES von SOJKA JAN, ONDERKA JAN, ZIMON MARIAN, WYBRANIEC MARIAN, MORAWIEC HENRYK, SOJKA JERZY, SMOLEN ANDRZEJ, KUCIA KAZIMIERZ, HETMANCZYK JAN

Volltext bestellen

Improved tag-switch method reveals that thioredoxin acts as depersulfidase and controls the intracellular levels of protein persulfidation von Wedmann, Rudolf, Onderka, Constantin, Wei, Shengwei, Szijártó, István András, Miljkovic, Jan Lj, Mitrovic, Aleksandra, Lange, Mike, Savitsky, Sergey, Yadav, Pramod Kumar, Torregrossa, Roberta, Harrer, Ellen G, Harrer, Thomas, Ishii, Isao, Gollasch, Maik, Wood, Mark E, Galardon, Erwan, Xian, Ming, Whiteman, Matthew, Banerjee, Ruma, Filipovic, Milos R

Volltext

Microbial Communities in Underground Gas Reservoirs Offer Promising Biotechnological Potential von Buriánková, Iva, Molíková, Anna, Vítězová, Monika, Onderka, Vladimír, Vítěz, Tomáš, Urbanová, Iva, Hanišáková, Nikola, Černý, Martin, Novák, David, Lochman, Jan, Zeman, Josef, Javůrek, Jakub, Machálková, Markéta, Dengler, Linda, Huber, Harald

Volltext

In situ field experiment shows the potential of methanogenic archaea for biomethane production from underground gas storage in natural rock environment von Vítězová, Monika, Onderka, Vladimír, Urbanová, Iva, Molíková, Anna, Hanišáková, Nikola, Buriánková, Iva, Vítěz, Tomáš, Novák, David, Lochman, Jan, Machálková, Markéta, Javůrek, Jakub

Volltext

Applying a time-varying GEV distribution to correct bias in rainfall quantiles derived from regional climate models von Onderka, Milan, Pecho, Jozef, Szolgay, Ján, Kohnová, Silvia, Garaj, Marcel, Mikulová, Katarína, Varšová, Svetlana, Lukasová, Veronika, Výleta, Roman, Rutkowska, Agnieszka

Volltext

Simulation of Orbital Fractures Using Experimental and Mathematical Approaches: A Pilot Study von Eiba, Patrik, Frydrysek, Karel, Zanganeh, Behrad, Cepica, Daniel, Marsalek, Pavel, Handlos, Petr, Timkovic, Juraj, Stembirek, Jan, Cienciala, Jakub, Onderka, Arnost, Brezik, Michal, Mizera, Ondrej

Volltext

Is the Water Temperature of the Danube River at Bratislava, Slovakia, Rising? von Pekarova, Pavla, Halmova, Dana, Miklanek, Pavol, Onderka, Milan, Pekar, Jan, Skoda, Peter

Volltext

Examination of the Dissolved Inorganic Nitrogen Budget in Three Experimental Microbasins with Contrasting Land Cover—A Mass Balance Approach von Onderka, Milan, Pekarova, Pavla, Miklanek, Pavol, Halmova, Dana, Pekar, Jan

Volltext

Prediction of Water Quality in the Danube River Under extreme Hydrological and Temperature Conditions von Pekárová, Pavla, Onderka, Milan, Pekár, Ján, Roncák, Peter, Miklánek, Pavol

Volltext

Advanced SPARQL querying in small molecule databases von Galgonek, Jakub, Hurt, Tomáš, Michlíková, Vendula, Onderka, Petr, Schwarz, Jan, Vondrášek, Jiří

Volltext

Improved tag-switch method reveals that thioredoxin acts as depersulfidase and controls the intracellular levels of protein persulfidation† †Electronic supplementary information (E... von Wedmann, Rudolf, Onderka, Constantin, Wei, Shengwei, Szijártó, István András, Miljkovic, Jan Lj, Mitrovic, Aleksandra, Lange, Mike, Savitsky, Sergey, Yadav, Pramod Kumar, Torregrossa, Roberta, Harrer, Ellen G., Harrer, Thomas, Ishii, Isao, Gollasch, Maik, Wood, Mark E., Galardon, Erwan, Xian, Ming, Whiteman, Matthew, Banerjee, Ruma, Filipovic, Milos R.

Volltext

Long-term trend and multi-annual variability of water temperature in the pristine Bela River basin (Slovakia) von Pekárová, Pavla, Miklánek, Pavol, Halmová, Dana, Onderka, Milan, Pekár, Ján, Kučárová, Katarína, Liová, Soňa, Škoda, Peter

Volltext

SIMULATION OF THE IMPACT OF FERTILIZER DOZES ON NITRATE CONCENTRATIONS IN THE STREAM von PEKAROVA, Pavla, SEBIN, Michal, PEKAR, Jan, ONDERKA, Milan, MIKLANEK, Pavol

Volltext

Analyzing temporal changes in maximum runoff volume series of the Danube River von Halmova, Dana, Pekarova, Pavla, Pekar, Jan, Onderka, Milan

Volltext

Lead activities and ternary miscibility gap in the CuPbFe liquid solutions von Onderka, Boguslaw, Wypartowicz, Jan, Hämäläinen, Marko

Volltext