Categorified cyclic operads

In this paper, we introduce a notion of categorified cyclic operad for set-based cyclic operads with symmetries. Our categorification is obtained by relaxing defining axioms of cyclic operads to isomorphisms and by formulating coherence conditions for these isomorphisms. The coherence theorem that we prove has the form "all diagrams of canonical isomorphisms commute". Our coherence results come in two flavours, corresponding to the "entries-only" and "exchangeable-output" definitions of cyclic operads. Our proof of coherence in the entries-only style is of syntactic nature and relies on the coherence of categorified non-symmetric operads established by Do\v{s}en and Petri\'c. We obtain the coherence in the exchangeable-output style by "lifting" the equivalence between entries-only and exchangeable-output cyclic operads, set up by the second author. Finally, we show that a generalisation of the structure of profunctors of B\' enabou provides an example of categorified cyclic operad, and we exploit the coherence of categorified cyclic operads in proving that the Feynman category for cyclic operads, due to Kaufmann and Ward, admits an odd version.Comment: 57 page

Interaction-induced current-reversals in driven lattices

We demonstrate that long-range interactions can cause, as time evolves, consecutive reversals of directed currents for dilute ensembles of particles in driven lattices. These current-reversals are based on a general mechanism which leads to an interaction-induced accumulation of particles in the regular regions of the underlying single-particle phase space and to a synchronized single-particle motion as well as an enhanced efficiency of Hamiltonian ratchets.Comment: 5 pages, 5 figure

Tempera: spatial transformer feature pyramid network for cardiac MRI segmentation

Assessing the structure and function of the right ventricle (RV) is important in the diagnosis of several cardiac pathologies. However, it remains more challenging to segment the RV than the left ventricle (LV). In this paper, we focus on segmenting the RV in both short (SA) and long-axis (LA) cardiac MR images simultaneously. For this task, we propose a new multi-input/output architecture, hybrid 2D/3D geometric spatial TransformEr Multi-Pass fEature pyRAmid (Tempera). Our feature pyramid extends current designs by allowing not only a multi-scale feature output but multi-scale SA and LA input images as well. Tempera transfers learned features between SA and LA images via layer weight sharing and incorporates a geometric target transformer to map the predicted SA segmentation to LA space. Our model achieves an average Dice score of 0.836 and 0.798 for the SA and LA, respectively, and 26.31 mm and 31.19 mm Hausdorff distances. This opens up the potential for the incorporation of RV segmentation models into clinical workflows

Safer school with near-UV technology: novel applications for environmental hygiene

Systems capable of disinfecting air and surfaces could reduce the risk of infectious diseases transmission. Aim: to evalu-ate the effectiveness of near-UV LED ceiling lamps, with a wavelength of 405 nm, in improving environmental hygiene. Between November and December 2020, we conducted an experimental study having a pre-post design in a kindergarten room in Siena where 4 ceiling lamps with 405 nm LED technology were installed. Twice per day, sampling was performed before (T0) and after treatment with near-UV (T1). We used between 8 and 12 pairs of contact plates to sample at various random spots each day. Air samplings were also performed. The plates were incubated at 22 and 36 degrees C. Significance was set at 95% (p < 0.05). The mean level of Colony Forming Unit (CFU) at T(0) was 249 (95% CI 193.1 - 305.0) at 36 degrees C and 535.2 (374.3 - 696.1) at 22 degrees C. The reduction was significant at T(1): by 65% at 36 degrees C and, 72% at 22 degrees C. Also, for air contamination: 95.3% (98.4 & mdash;92.3). A dose threshold of about 5 J/cm2 was identified to have an 80% CFU abatement and remains nearly constant. The advantage of being able to use this technology in the presence of people is very important in the context of controlling environmental contamination. © 2023, The Author(s)

Remote sensing of CO2 and CH4 using solar absorption spectrometry with a low resolution spectrometer

Throughout the last few years solar absorption Fourier Transform Spectrometry (FTS) has been further developed to measure the total columns of CO2 and CH4. The observations are performed at high spectral resolution, typically at 0.02 cm(-1). The precision currently achieved is generally better than 0.25%. However, these high resolution instruments are quite large and need a dedicated room or container for installation. We performed these observations using a smaller commercial interferometer at its maximum possible resolution of 0.11 cm(-1). The measurements have been performed at Bremen and have been compared to observations using our high resolution instrument also situated at the same location. The high resolution instrument has been successfully operated as part of the Total Carbon Column Observing Network (TCCON). The precision of the low resolution instrument is 0.32% for XCO2 and 0.46% for XCH4. A comparison of the measurements of both instruments yields an average deviation in the retrieved daily means of 0.2% for CO2. For CH4 an average bias between the instruments of 0.47% was observed. For test cases, spectra recorded by the high resolution instrument have been truncated to the resolution of 0.11 cm(-1). This study gives an offset of 0.03% for CO2 and 0.26% for CH4. These results indicate that for CH4 more than 50% of the difference between the instruments results from the resolution dependent retrieval. We tentatively assign the offset to an incorrect a-priori concentration profile or the effect of interfering gases, which may not be treated correctly

Body fat assessment in international elite soccer referees

Soccer referees are a specific group in the sports population that are receiving increasing attention from sports scientists. A lower fat mass percentage (FM%) is a useful parameter to monitor fitness status and aerobic performance, while being able to evaluate it with a simple and quick field-based method can allow a regular assessment. The aim of this study was to provide a specific profile for referees based on morphological and body composition features while comparing the accuracy of different skinfold-based equations in estimating FM% in a cohort of soccer referees. Forty-three elite international soccer referees (age 38.8 ± 3.6 years), who participated in the 2018 Russian World Cup, underwent body composition assessments with skinfold thickness and dual-energy X-ray absorptiometry (DXA). Six equations used to derive FM% from skinfold thickness were compared with DXA measurements. The percentage of body fat estimated using DXA was 18.2 ± 4.1%, whereas skinfold-based FM% assessed from the six formulas ranged between 11.0% ± 1.7% to 15.6% ± 2.4%. Among the six equations considered, the Faulkner's formula showed the highest correlation with FM% estimated by DXA (r = 0.77; R2 = 0.59 p < 0.001). Additionally, a new skinfold-based equation was developed: FM% = 8.386 + (0.478 × iliac crest skinfold) + (0.395 × abdominal skinfold, r = 0.78; R2 = 0.61; standard error of the estimate (SEE) = 2.62 %; p < 0.001). Due to these findings, national and international federations will now be able to perform regular body composition assessments using skinfold measurements. (c) 2020 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/)

Performance analysis using timed Petri Nets

Petri Nets have been successfully used to model and evaluate the performance of distributed systems. Several researchers have extended the basic Petri Net model to include time, and have demonstrated that restricted classes of Petri Nets can be analyzed efficiently. Unfortunately, the restrictions prohibit the techniques from being applied to many interesting systems, e.g. communication protocols. This paper proposes a version of timed Petri Nets which accurately models communication protocols, and which can be analyzed using Timed Reachability Graphs. Procedures for constructing and analyzing these graphs are presented. The analysis is shown to be applicable to a larger class of Timed Petri Nets than previously thought. The model and the analysis technique are demonstrated using a simple communication protocol