Formal abstract architecture for use case specifications von Rysavy, O., Bures, F.

Volltext bestellen

A component-based approach to verification of embedded control systems using TLA+ von Rysavy, O., Rab, J.

Volltext bestellen

Reachability Analysis in Dynamically Routed Networks von Sveda, M., Rysavy, O., de Silva, G., Matousek, P., Rab, J.

Volltext bestellen

Designing algorithm-oriented generic library on .NET framework von Rysavy, O., Scuglik, F., Sveda, M.

Volltext bestellen

Inter-university project based on LEGO NXT von Pilat, A., Kornecki, A.J., Thiriet, J.-M., Grega, W., Rysavy, O.

Volltext

Methodology for creation of multidisciplinary, transatlantic engineering program in information technology von Grega, W., Hilburn, T., Kornecki, A.J., Rysavy, O., Sveda, M., Thiriet, J.-M.

Volltext bestellen

Real-time software-intensive systems engineering: An international perspective von Sveda, M., Kornecki, A.J., Hilburn, T.B., Grega, W., Thiriet, J.-M., Rysavy, O.

Volltext bestellen

Formal analysis approach on networks with dynamic behaviours von de Silva, G, Matousek, P, Rysavy, O, Sveda, M

Volltext

Designing and Implementing International RSIC Engineering Curriculum von Rysavy, O., Sveda, M., Kornecki, A.J., Hilburn, T.B., Grega, W., Pilat, A., Thiriet, J.-M.

Volltext bestellen

Variability of mitotic activity in chicken embryo tissues von Kolář, Z., Guberová, I., Ryšavý, O., Kovařík, J.

Volltext

Surgical Necrotizing Enterocolitis and Spontaneous Intestinal Perforation Lead to Severe Growth Failure in Infants von Speer, Allison L, Lally, Kevin P, Pedroza, Claudia, Zhang, Yuxin, Poindexter, Brenda B, Chwals, Walter J, Hintz, Susan R, Besner, Gail E, Stevenson, David K, Ohls, Robin K, Truog, William E, Stoll, Barbara J, Rysavy, Matthew A, Das, Abhik, Tyson, Jon E, Blakely, Martin L

Volltext

Analysis methods for the first KATRIN neutrino-mass measurement von Aker, M., Altenmüller, K., Beglarian, A., Behrens, J., Berlev, A., Besserer, U., Bieringer, B., Blaum, K., Block, F., Bornschein, B., Bornschein, L., Böttcher, M., Brunst, T., Caldwell, T. S., La Cascio, L., Chilingaryan, S., Choi, W., Díaz Barrero, D., Debowski, K., Deffert, M., Descher, M., Doe, P. J., Dragoun, O., Drexlin, G., Dyba, S., Edzards, F., Eitel, K., Ellinger, E., Engel, R., Enomoto, S., Fedkevych, M., Felden, A., Formaggio, J. A., Fränkle, F. M., Franklin, G. B., Friedel, F., Fulst, A., Gauda, K., Gil, W., Glück, F., Grössle, R., Gumbsheimer, R., Höhn, T., Hannen, V., Haußmann, N., Helbing, K., Hickford, S., Hiller, R., Hillesheimer, D., Hinz, D., Houdy, T., Huber, A., Jansen, A., Köllenberger, L., Karl, C., Kellerer, J., Kippenbrock, L., Klein, M., Kopmann, A., Korzeczek, M., Kovalík, A., Krasch, B., Krause, H., Lasserre, T., Le, T. L., Lebeda, O., Lehnert, B., Lokhov, A., Lopez Poyato, J. M., Müller, K., Machatschek, M., Malcherek, E., Mark, M., Marsteller, A., Martin, E. L., Melzer, C., Mertens, S., Niemes, S., Oelpmann, P., Osipowicz, A., Parno, D. S., Poon, A. W. P., Priester, F., Röllig, M., Röttele, C., Rest, O., Robertson, R. G. H., Rodenbeck, C., Ryšavý, M., Sack, R., Saenz, A., Schaller (née Pollithy), A., Schäfer, P., Schimpf, L., Schlösser, K., Schlösser, M., Schlüter, L., Schrank, M., Schulz, B., Šefčík, M.

Volltext

Muon-induced background in the KATRIN main spectrometer von Altenmüller, K., Arenz, M., Baek, W.-J., Beglarian, A., Behrens, J., Bergmann, T., Berlev, A., Besserer, U., Blaum, K., Bobien, S., Bode, T., Bornschein, B., Bornschein, L., Brunst, T., Chilingaryan, S., Deffert, M., Doe, P.J., Dragoun, O., Drexlin, G., Dyba, S., Edzards, F., Eitel, K., Ellinger, E., Engel, R., Enomoto, S., Erhard, M., Eversheim, D., Fränkle, F.M., Gil, W., Glück, F., Gonzalez Ureña, A., Grohmann, S., Grössle, R., Gumbsheimer, R., Hackenjos, M., Hannen, V., Harms, F., Haußmann, N., Helbing, K., Herz, W., Hickford, S., Hilk, D., Hillesheimer, D., Howe, M.A., Kellerer, J., Kleesiek, M., Klein, M., Korzeczek, M., Krasch, B., Kraus, M., Kuckert, L., Leiber, B., Letnev, J., Machatschek, M., Marsteller, A., Martin, E.L., Monreal, B., Niemes, S., Off, A., Osipowicz, A., Otten, E., Parno, D.S., Pollithy, A., Ranitzsch, P.C.-O., Rest, O., Robertson, R.G.H., Roccati, F., Rodenbeck, C., Röllig, M., Röttele, C., Ryšavý, M., Schimpf, L., Schlösser, K., Schlösser, M., Schönung, K., Schrank, M., Sentkerestiová, J., Sibille, V., Slezák, M., Steidl, M., Steinbrink, N., Sturm, M., Suchopar, M., Suesser, M., Thümmler, T., Titov, N., Tkachev, I., Trost, N., Valerius, K., Vénos, D., Vianden, R., Vizcaya Hernández, A.P., Wandkowsky, N., Weber, M., Weinheimer, C., Wendel, J., Wilkerson, J.F., Wüstling, S., Zadoroghny, S., Zeller, G.

Volltext

Properties of 83mKr conversion electrons and their use in the KATRIN experiment von Vénos, D, Sentkerestiová, J, Dragoun, O, Slezák, M, Ryšavý, M, Špalek, A

Volltext

Assessment of Corticosteroid Therapy and Death or Disability According to Pretreatment Risk of Death or Bronchopulmonary Dysplasia in Extremely Preterm Infants von Jensen, Erik A, Wiener, Laura Elizabeth, Rysavy, Matthew A, Dysart, Kevin C, Gantz, Marie G, Eichenwald, Eric C, Greenberg, Rachel G, Harmon, Heidi M, Laughon, Matthew M, Watterberg, Kristi L, Walsh, Michele C, Yoder, Bradley A, Lorch, Scott A, DeMauro, Sara B

Volltext

GPACDA – circRNA-Disease Association Prediction with Generating Polynomials von Ryšavý, Petr, Kléma, Jiří, Merkerová, Michaela Dostálová

Volltext

Improved Upper Limit on the Neutrino Mass from a Direct Kinematic Method by KATRIN von Aker, M, Altenmüller, K, Arenz, M, Babutzka, M, Barrett, J, Bauer, S, Beck, M, Beglarian, A, Behrens, J, Bergmann, T, Besserer, U, Blaum, K, Block, F, Bobien, S, Bokeloh, K, Bonn, J, Bornschein, B, Bornschein, L, Bouquet, H, Brunst, T, Caldwell, T S, La Cascio, L, Chilingaryan, S, Choi, W, Corona, T J, Debowski, K, Deffert, M, Descher, M, Doe, P J, Dragoun, O, Drexlin, G, Dunmore, J A, Dyba, S, Edzards, F, Eisenblätter, L, Eitel, K, Ellinger, E, Engel, R, Enomoto, S, Erhard, M, Eversheim, D, Fedkevych, M, Felden, A, Fischer, S, Flatt, B, Formaggio, J A, Fränkle, F M, Franklin, G B, Frankrone, H, Friedel, F, Fuchs, D, Fulst, A, Furse, D, Gauda, K, Gemmeke, H, Gil, W, Glück, F, Görhardt, S, Groh, S, Grohmann, S, Grössle, R, Gumbsheimer, R, Ha Minh, M, Hackenjos, M, Hannen, V, Harms, F, Hartmann, J, Haußmann, N, Heizmann, F, Helbing, K, Hickford, S, Hilk, D, Hillen, B, Hillesheimer, D, Hinz, D, Höhn, T, Holzapfel, B, Holzmann, S, Houdy, T, Howe, M A, Huber, A, James, T M, Jansen, A, Kaboth, A, Karl, C, Kazachenko, O, Kellerer, J, Kernert, N, Kippenbrock, L, Kleesiek, M, Klein, M, Köhler, C, Köllenberger, L, Kopmann, A, Korzeczek, M, Kosmider, A, Kovalík, A, Krasch, B, Kraus, M, Krause, H

Volltext

Various Applications of Precision Low-Energy Nuclear Electron Spectrometry in the KATRIN Tritium Neutrino Project von Kovalík, A., Inoyatov, A. Kh, Vénos, D., Zbořil, M., Dragoun, O., Filosofov, D. V., Perevoshchikov, L. L., Lebeda, O., Ryšavý, M.

Volltext

Bound on 3+1 Active-Sterile Neutrino Mixing from the First Four-Week Science Run of KATRIN von Aker, M, Altenmüller, K, Beglarian, A, Behrens, J, Berlev, A, Besserer, U, Bieringer, B, Blaum, K, Block, F, Bornschein, B, Bornschein, L, Böttcher, M, Brunst, T, Caldwell, T S, La Cascio, L, Chilingaryan, S, Choi, W, Díaz Barrero, D, Debowski, K, Deffert, M, Descher, M, Doe, P J, Dragoun, O, Drexlin, G, Dyba, S, Edzards, F, Eitel, K, Ellinger, E, Engel, R, Enomoto, S, Fedkevych, M, Felden, A, Formaggio, J A, Fränkle, F M, Franklin, G B, Friedel, F, Fulst, A, Gauda, K, Gil, W, Glück, F, Grössle, R, Gumbsheimer, R, Höhn, T, Hannen, V, Haußmann, N, Helbing, K, Hickford, S, Hiller, R, Hillesheimer, D, Hinz, D, Houdy, T, Huber, A, Jansen, A, Köllenberger, L, Karl, C, Kellerer, J, Kippenbrock, L, Klein, M, Kopmann, A, Korzeczek, M, Kovalík, A, Krasch, B, Krause, H, Lasserre, T, Le, T L, Lebeda, O, Le Guennic, N, Lehnert, B, Lokhov, A, Lopez Poyato, J M, Müller, K, Machatschek, M, Malcherek, E, Mark, M, Marsteller, A, Martin, E L, Melzer, C, Mertens, S, Niemes, S, Oelpmann, P, Osipowicz, A, Parno, D S, Poon, A W P, Priester, F, Röllig, M, Röttele, C, Rest, O, Robertson, R G H, Rodenbeck, C, Ryšavý, M, Sack, R, Saenz, A, Schaller, A, Schäfer, P, Schimpf, L, Schlösser, M, Schlösser, K, Schlüter, L, Schrank, M, Schulz, B

Volltext

The design, construction, and commissioning of the KATRIN experiment von Aker, M., Altenmüller, K., Arenz, M., Behrens, J., Berendes, R., Bieringer, B., Bobien, S., Böttcher, M., Bohn, J., Bokeloh, K., Bolz, H., Bornschein, B., Bouquet, H., Boyd, N.M., Brunst, T., Burritt, T.H., Caldwell, T.S., Chaoui, Z., Debowski, K., Descher, M., Drexlin, G., Dunmore, J.A., Edzards, F., Enomoto, S., Fedkevych, M., Formaggio, J.A., Gauda, K., Gehring, R., Gil, W., Grohmann, S., Gumbsheimer, R., Hackenjos, M., Hannen, V., Heizmann, F., Hilk, D., Hiller, R., Hinz, D., Höhn, T., Hötzel, M., Huber, A., James, T., Kaiser, M., Kazachenko, O., Kippenbrock, L., Kleesiek, M., Kosmider, A., Krasch, B., Krause, H., Kraus, M., Leber, M.L., Lehnert, B., Malcherek, E., Mark, M., Meloni, M., Monreal, B., Oelpmann, P., Off, A., Ortjohann, H.-W., Ostrick, B., Parno, D.S., Peterson, D.A., Poon, A.W.P., Prall, M., Ranitzsch, P.C.-O., Reich, J., Rinderspacher, R., Rodejohann, W., Röllig, M., Röttele, C., Rohr, P., Rupp, S., Ryšavý, M., Saenz, A., Sagawe, M., Schäfer, P., Schaller (née Pollithy), A., Schimpf, L., Schlüter, L., Schneidewind, S., Schön, H., Schrank, M., Schulz, B., Schwarz, J., Seitz-Moskaliuk, H., Steidl, M., Sun, M., Tcherniakhovski, D., Telle, H.H., Thorne, L.A., Tkachev, I., Trost, N., VanDevender, B.A., Wall, B.L., Wandkowsky, N., Weiss, C., Wendel, J., Wilkerson, J.F., Xu, W., Zacher, M., Zadoroghny, S.

Volltext