J. Mur-Petit, M. Guilleumas, A. Polls, A. Sanpera, and M. Lewenstein Departament d’Estructura i Constituents de la Matèria, Facultat de Física, Universitat de Barcelona, E-08028 Barcelona, Spain ICREA and Grup de Física Teòrica, Universitat Autònoma de Barcelona, E-08193 Bellaterra, Spain ICREA and ICFO-Institut de Ciències Fotòniques, E-08034 Barcelona, Spain Institut für Theoretische Physik, ...

Communication protocols pose interesting and diicult challenges for veriication technologies. The state spaces of interesting protocols are either innnite or too large for nite-state veriication techniques like model checking and state exploration. Theorem proving is also not eeective since the formal correctness proofs of these protocols can be long and complicated. We describe a series of pro...

W artykule podjęto analizę sposobu funkcjonowania murów w dojrzałej twórczości Witolda Wirpszy. Choć wykorzystywał on ten motyw już we wczesnych tekstach, czego przykładem może być wiersz List o sumieniu z 1953 roku, to rozwinął go pełni utworach lat sześćdziesiątych i siedemdziesiątych powstałych pod wpływem doświadczeń czasu spędzonego Berlinie Zachodnim. Fragmenty poematów Faeton Traktat skł...

Sea Surface Temperature (SST) is at the core of many processes in oceans. Various remote sensing platforms have been used to obtain SST products different scales, but their validation remains a topic ongoing research. One promising platform an uncrewed surface vehicle called Saildrone. We use data from eight Saildrone deployments USA West Coast 2019 campaign validate MODIS level-2 and Multi-sca...