Publications

Note on Deduction Theorems in contraction-free logics

CHVALOVSKÝ, Karel, CINTULA, Petr. Note on Deduction Theorems in contraction-free logics. <em>Mathematical Logic Quarterly. </em> 2012, <b>58</b>(3), 236-243. ISSN 0942-5616. E-ISSN 1521-3870<br>Dostupné z: doi:10.1002/malq.201110065

Autoři: Karel Chvalovský , Petr Cintula

A review of operational, regional-scale, chemical weather forecasting models in Europe

KUKKONEN, J., OLSSON, T., SCHULTZ, D.M., BAKLANOV, A., KLEIN, T., MIRANDA, A.I., MONTEIRO, A., HIRTL, M., TARVAINEN, V., BOY, M., PEUCH, V.H., POUPKOU, A., KIOUTSIOUKIS, I., FINARDI, S., SOFIEV, M., SOKHI, R., LEHTINEN, K.E.J., KARATZAS, K., SAN JOSÉ, R., ASTITHA, M., KALLOS, G., SCHAAP, M., REIMER, E., JAKOBS, H., EBEN, Kryštof. A review of operational, regional-scale, chemical weather forecasting models in Europe. <em>Atmospheric Chemistry and Physics. </em> 2012, <b>12</b>(-), 1-87. ISSN 1680-7316. E-ISSN 1680-7324<br>Dostupné z: doi:10.5194/acp-12-1-2012

Autoři: J. Kukkonen , T. Olsson , D.M. Schultz , A. Baklanov , T. Klein , A.I. Miranda , A. Monteiro , M. Hirtl , V. Tarvainen , M. Boy , V.H. Peuch , A. PoupKou , I. Kioutsioukis , S. Finardi , M. Sofiev , R. Sokhi , K.E.J. Lehtinen , K. Karatzas , R. San José , M. Astitha , G. Kallos , M. Schaap , E. Reimer , H. Jakobs , Kryštof Eben

A note on permanents and generalized complementary basic matrices

FIEDLER, Miroslav, HALL, F.J. A note on permanents and generalized complementary basic matrices. <em>Linear Algebra and Its Applications. </em> 2012, <b>436</b>(9), 3553-3561. ISSN 0024-3795. E-ISSN 1873-1856<br>Dostupné z: doi:10.1016/j.laa.2011.12.030

Autoři: Miroslav Fiedler , F.J. Hall

G-matrices

FIEDLER, Miroslav, HALL, F.J. G-matrices. <em>Linear Algebra and Its Applications. </em> 2012, <b>436</b>(3), 731-741. ISSN 0024-3795. E-ISSN 1873-1856<br>Dostupné z: doi:10.1016/j.laa.2011.08.001

Autoři: Miroslav Fiedler , F.J. Hall

Nonparametric Multivariate Rank Tests and their Unbiasedness

JUREČKOVÁ, J., KALINA, Jan. Nonparametric Multivariate Rank Tests and their Unbiasedness. <em>Bernoulli. </em> 2012, <b>18</b>(1), 229-251. ISSN 1350-7265. E-ISSN 1573-9759<br>Dostupné z: doi:10.3150/10-BEJ326

Autoři: J. Jurečková , Jan Kalina

On Rump’s characterization of P-matrices

ROHN, Jiří. On Rump’s characterization of P-matrices. <em>Optimization Letters. </em> 2012, <b>6</b>(5), 1017-1020. ISSN 1862-4472. E-ISSN 1862-4480<br>Dostupné z: doi:10.1007/s11590-011-0318-y

Autoři: Jiří Rohn

A theorem of the alternatives for the equation |Ax| - |B||x| = b

ROHN, Jiří. A theorem of the alternatives for the equation |Ax| - |B||x| = b. <em>Optimization Letters. </em> 2012, <b>6</b>(3), 585-591. ISSN 1862-4472. E-ISSN 1862-4480<br>Dostupné z: doi:10.1007/s11590-011-0284-4

Autoři: Jiří Rohn

Automated Resolution of Connector Architectures Using Constraint Solving (ARCAS method)

KEZNIKL, Jaroslav, BUREŠ, T., PLÁŠIL, F., HNĚTYNKA, P. <em>Automated Resolution of Connector Architectures Using Constraint Solving (ARCAS method)</em>. Prague: Department of Distributed and Dependable Systems, Charles University, 2012. Technical report, 2012/1.

Autoři: Jaroslav Keznikl , T. Bureš , F. Plášil , P. Hnětynka

A Note on Density and the Dirichlet Condition

MARKO, F., PORUBSKÝ, Štefan. A Note on Density and the Dirichlet Condition. <em>International Journal of Number Theory. </em> 2012, <b>8</b>(3), 823-830. ISSN 1793-0421. E-ISSN 1793-7310<br>Dostupné z: doi:10.1142/S1793042112500479

Autoři: F. Marko , Štefan Porubský