Satisfiability Checking meets Symbolic Computation (Project Paper)

Autor: Abraham, E., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Buchberger, B., Cimatti, A., Davenport, J. H., England, M., Fontaine, P., Forrest, S., Griggio, A., Kroening, D., Seiler, W. M., Sturm, T.

Publikováno v: M. Kohlhase, M. Johansson, B. Miller, L. de Moura, F. Tompa, eds., Intelligent Computer Mathematics (Proceedings of CICM 2016), pp. 28-43, (Lecture Notes in Computer Science, 9791). Springer International Publishing, 2016

Symbolic Computation and Satisfiability Checking are two research areas, both having their individual scientific focus but sharing also common interests in the development, implementation and application of decision procedures for arithmetic theories

Externí odkaz: http://arxiv.org/abs/1607.08028

Commissioning of the vacuum system of the KATRIN Main Spectrometer

Autor: Arenz, M., Babutzka, M., Bahr, M., Barrett, J. P., Bauer, S., Beck, M., Beglarian, A., Behrens, J., Bergmann, T., Besserer, U., Blümer, J., Bodine, L. I., Bokeloh, K., Bonn, J., Bornschein, B., Bornschein, L., Büsch, S., Burritt, T. H., Chilingaryan, S., Corona, T. J., De Viveiros, L., Doe, P. J., Dragoun, O., Drexlin, G., Dyba, S., Ebenhöch, S., Eitel, K., Ellinger, E., Enomoto, S., Erhard, M., Eversheim, D., Fedkevych, M., Felden, A., Fischer, S., Formaggio, J. A., Fränkle, F., Furse, D., Ghilea, M., Gil, W., Glück, F., Urena, A. Gonzalez, Görhardt, S., Groh, S., Grohmann, S., Grössle, R., Gumbsheimer, R., Hackenjos, M., Hannen, V., Harms, F., Hauÿmann, N., Heizmann, F., Helbing, K., Herz, W., Hickford, S., Hilk, D., Hillen, B., Höhn, T., Holzapfel, B., Hötzel, M., Howe, M. A., Huber, A., Jansen, A., Kernert, N., Kippenbrock, L., Kleesiek, M., Klein, M., Kopmann, A., Kosmider, A., Kovalík, A., Krasch, B., Kraus, M., Krause, H., Krause, M., Kuckert, L., Kuffner, B., La Cascio, L., Lebeda, O., Leiber, B., Letnev, J., Lobashev, V. M., Lokhov, A., Malcherek, E., Mark, M., Martin, E. L., Mertens, S., Mirz, S., Monreal, B., Müller, K., Neuberger, M., Neumann, H., Niemes, S., Noe, M., Oblath, N. S., Off, A., Ortjohann, H. -W., Osipowicz, A., Otten, E., Parno, D. S., Plischke, P., Poon, A. W. P., Prall, M., Priester, F., Ranitzsch, P. C. -O., Reich, J., Rest, O., Robertson, R. G. H., Röllig, M., Rosendahl, S., Rupp, S., Rysavy, M., Schlösser, K., Schlösser, M., Schönung, K., Schrank, M., Schwarz, J., Seiler, W., Seitz-Moskaliuk, H., Sentkerestiova, J., Skasyrskaya, A., Slezak, M., Spalek, A., Steidl, M., Steinbrink, N., Sturm, M., Suesser, M., Telle, H. H., Thümmler, T., Titov, N., Tkachev, I., Trost, N., Unru, A., Valerius, K., Venos, D., Vianden, R., Vöcking, S., Wall, B. L., Wandkowsky, N., Weber, M., Weinheimer, C., Weiss, C., Welte, S., Wendel, J., Wierman, K. L., Wilkerson, J. F., Winzen, D., Wolf, J., Wüstling, S., Zacher, M., Zadoroghny, S., Zboril, M.

The KATRIN experiment will probe the neutrino mass by measuring the beta-electron energy spectrum near the endpoint of tritium beta-decay. An integral energy analysis will be performed by an electro-static spectrometer (Main Spectrometer), an ultra-h

Externí odkaz: http://arxiv.org/abs/1603.01014

Malnutrition in the Elderly. [electronic resource]

Autor: Seiler, W. O.

Externí odkaz: Kolekce e-knih KNAV Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.

Epitaxial growth of gallium oxide films on c-cut sapphire substrate

Autor: Seiler, W., Selmane, M., Abdelouhadi, K., Perrière, J.

Publikováno v: In Thin Solid Films 31 August 2015 589:556-562

Epitaxial undoped indium oxide thin films: Structural and physical properties

Autor: Seiler, W., Nistor, M., Hebert, C., Perrière, J.

Publikováno v: In Solar Energy Materials and Solar Cells September 2013 116:34-42