cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
High-resolution, High-sensitivity, Low-frequency uGMRT View of Coma Cluster of Galaxies
Creators: name: Lal, D. V.
name: Lyskova, N.
name: Zhang, C.
name: Venturi, T.
name: Forman, W. R.
name: Jones, C.
name: Churazov, E. M.
name: van Weeren, R. J.
name: Bonafede, A.
name: Miller, N. A.
name: Roberts, I. D.
name: Bykov, A. M.
name: Di Mascolo, L.
name: Brüggen, M.
name: Brunetti, G.
Publisher: name: arXiv
Year: 2022
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: We present high-resolution, high-sensitivity upgraded Giant Metrewave Radio Telescope observations of the Coma cluster (A1656) at 250-500 MHz and 550-850 MHz. At 250-500 MHz, 135 sources have extensions $>$ 0.45 arcmin (with peak-to-local-noise ratio $> 4$). Of these, 24 sources are associated with Coma-member galaxies. In addition, we supplement this sample of 24 galaxies with 20 ram pressure stripped galaxies from Chen et al. (2020, eight are included in the original extended radio source sample) and an additional five are detected and extended. We present radio morphologies, radio spectra, spectral index maps, and equipartition properties for these two samples. In general, we find the equipartition properties lie within a narrow range (e.g., $P_{\rm min}$ = 1-3 dynes cm$^{-2}$). Only NGC 4874, one of the two brightest central Coma cluster galaxies, has a central energy density and pressure about five times higher and a radio source age about 50 % lower than that of the other Coma galaxies. We find a diffuse tail of radio emission trailing the dominant galaxy of the merging NGC 4839 group that coincides with the "slingshot" tail, seen in X-rays. The southwestern radio relic, B1253$+$275, has a large extent $\approx$ 32$^\prime$ $\times$ 10$^\prime$ ($\simeq$ 1.08 $\times$ 0.34 Mpc$^2$). For NGC 4789, whose long radio tails merge into the relic and may be a source of its relativistic seed electrons, and we find a transverse radio spectral gradient, a steepening from southwest to northeast across the width of the radio source. Finally, radio morphologies of the extended and RPS samples suggest that these galaxies are on their first infall into Coma on (predominantly) radial orbits.
description: 35 pages (includes Appendices), 15 figures (includes 2 figures in Appendix, some Figures are of lower quality), 6 tables (includes 1 table in Appendix), accepted for publication in the Astrophysical Journal
Sonnenfleckenzeichnung Nr. 19095.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 25.08.1955, erstellt von Helmut Müller
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1955

description: Bleistiftzeichnung mit Tinte und Farbstift überschrieben, erstellt als Projektionsbildzeichnung in der Eidgenössischen Sternwarte Zürich. Instrument: Kern-Merz-Refraktor.
Die Beobachtungen zu Einzelflecken und zu Sonnenfleckengruppen wurden mit Bleistift auf einem Vordruck eingetragen. Unter Umständen sind Angaben zu Protuberanzen vermerkt
Sonnenfleckenzeichnung Nr. 19003.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 24.05.1955, erstellt von Helmut Müller
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1955

description: Bleistiftzeichnung mit Tinte und Farbstift überschrieben, erstellt als Projektionsbildzeichnung in der Eidgenössischen Sternwarte Zürich. Instrument: Kern-Merz-Refraktor.
Die Beobachtungen zu Einzelflecken und zu Sonnenfleckengruppen wurden mit Bleistift auf einem Vordruck eingetragen. Später wurden ergänzende Angaben aufgrund auswärtiger Beobachtungen direkt auf der Fleckenzeichnung hinzugefügt. Unter Umständen sind Angaben zu Protuberanzen vermerkt
Sonnenfleckenzeichnung unnummeriert, einen Zürcher Lückentag ergänzend.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 27.08.1955, erstellt von Adnan Kiral an der Universitätssternwarte Istanbul
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1955

description: Bleistiftzeichnung mit Tinte und Bleistift, erstellt als Zeichnung nach eigener Vorlage am Istanbul Universitesi Observatuari, Beyazit (Istanbul). Instrument: Zeiss Refraktor Teleskop (Öffnung 130 mm, f = 2000 mm, projiziertes Sonnenbild D = 25 cm)
Continuous Facial Motion Deblurring
Creators: name: Lee, Tae Bok
name: Han, Sujy
name: Heo, Yong Seok
Publisher: name: arXiv
Year: 2022
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: FOS: Computer and information sciences

description: We introduce a novel framework for continuous facial motion deblurring that restores the continuous sharp moment latent in a single motion-blurred face image via a moment control factor. Although a motion-blurred image is the accumulated signal of continuous sharp moments during the exposure time, most existing single image deblurring approaches aim to restore a fixed number of frames using multiple networks and training stages. To address this problem, we propose a continuous facial motion deblurring network based on GAN (CFMD-GAN), which is a novel framework for restoring the continuous moment latent in a single motion-blurred face image with a single network and a single training stage. To stabilize the network training, we train the generator to restore continuous moments in the order determined by our facial motion-based reordering process (FMR) utilizing domain-specific knowledge of the face. Moreover, we propose an auxiliary regressor that helps our generator produce more accurate images by estimating continuous sharp moments. Furthermore, we introduce a control-adaptive (ContAda) block that performs spatially deformable convolution and channel-wise attention as a function of the control factor. Extensive experiments on the 300VW datasets demonstrate that the proposed framework generates a various number of continuous output frames by varying the moment control factor. Compared with the recent single-to-single image deblurring networks trained with the same 300VW training set, the proposed method show the superior performance in restoring the central sharp frame in terms of perceptual metrics, including LPIPS, FID and Arcface identity distance. The proposed method outperforms the existing single-to-video deblurring method for both qualitative and quantitative comparisons.
K-doped Ba122 epitaxial thin film on MgO substrate by buffer engineering
Creators: name: Qin, Dongyi
name: Iida, Kazumasa
name: Guo, Zimeng
name: Wang, Chao
name: Saito, Hikaru
name: Hata, Satoshi
name: Naito, Michio
name: Yamamoto, Akiyasu
Publisher: name: arXiv
Year: 2022
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: Molecular beam epitaxy of K-doped Ba122 (Ba$_{1-x}$K$_x$Fe$_\text{2}$As$_\text{2}$) superconductor was realized on a MgO substrate. Microstructural observation revealed that the undoped Ba122 served as a perfect buffer layer for epitaxial growth of the K-doped Ba122. The film exhibited a high critical temperature of 39.8 K and a high critical current density of 3.9 MA/cm$^\text{2}$ at 4 K. The successful growth of epitaxial thin film will enable artificial single grain boundary on oxide bicrystal substrates and reveal the grain boundary transport nature of K-doped Ba122.
description: 5 pages, 4 figures, accepted manuscript Supercond. Sci. Technol 2022
Tetragonoderus (Peronoscelis) undatus Dejean 1829
Creators: name: Martinez, Claudia
Publisher: name: Zenodo
Year: 2003
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Carabidae
Tetragonoderus
Tetragonoderus undatus

description: Tetragonoderus (Peronoscelis) undatus Dejean, 1829
Material examined. COLOMBIA. Caquetá: PNN Chiribiquete, río Cuñare, 0°31’N 72°38’W, 300 m, Manual, 10.xi.2000, M. Ospina, leg., IAvH 10829 (1 ex.). Magdalena: PNN Tayrona, sector Arrecifes, Qda. San Lucas, 11°20’N 74°02’W, 5 m, sobre arena húmeda de quebrada, Manual, 28.vi.2002, G. Ball & C. Martínez, leg., UAEC (8 ex.).
Comments. Species is only known from Brazil. First record for Colombia.
description: Published as part of Martinez, Claudia, 2003, New Records of ground beetles for Colombia (Coleoptera: Carabidae), pp. 1-27 in Zootaxa 250 (1) on page 7, DOI: 10.11646/zootaxa.250.1.1, http://zenodo.org/record/5014257
Sonnenfleckenzeichnung Nr. 19050.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 11.07.1955, erstellt von Helmut Müller
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1955

description: Bleistiftzeichnung mit Tinte und Farbstift überschrieben, erstellt als Projektionsbildzeichnung in der Eidgenössischen Sternwarte Zürich. Instrument: Kern-Merz-Refraktor.
Die Beobachtungen zu Einzelflecken und zu Sonnenfleckengruppen wurden mit Bleistift auf einem Vordruck eingetragen. Später wurden ergänzende Angaben aufgrund auswärtiger Beobachtungen direkt auf der Fleckenzeichnung hinzugefügt. Unter Umständen sind Angaben zu Protuberanzen vermerkt
Sonnenfleckenzeichnung Nr. 18993.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 14.05.1955, erstellt von Helmut Müller
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1955

description: Bleistiftzeichnung mit Tinte und Farbstift überschrieben, erstellt als Projektionsbildzeichnung in der Eidgenössischen Sternwarte Zürich. Instrument: Kern-Merz-Refraktor.
Die Beobachtungen zu Einzelflecken und zu Sonnenfleckengruppen wurden mit Bleistift auf einem Vordruck eingetragen. Unter Umständen sind Angaben zu Protuberanzen vermerkt
Sonnenfleckenzeichnung Nr. 19032.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 23.06.1955, erstellt von Helmut Müller
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1955

description: Bleistiftzeichnung mit Tinte und Farbstift überschrieben, erstellt als Projektionsbildzeichnung in der Eidgenössischen Sternwarte Zürich. Instrument: Kern-Merz-Refraktor.
Die Beobachtungen zu Einzelflecken und zu Sonnenfleckengruppen wurden mit Bleistift auf einem Vordruck eingetragen. Unter Umständen sind Angaben zu Protuberanzen vermerkt
Analysis of the Distance Scales by Cepheids from the Gaia EDR3 Catalogue Data
Creators: name: Bobylev, V. V.
name: Bajkova, A. T.
Publisher: name: arXiv
Year: 2022
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We study the kinematics of a sample of classical Cepheids younger than 120 Myr. For these stars, the estimates of distances taken from Skowron et al., which are based on the period-luminosity relation, and the line-of-sight velocities and the proper motions from the Gaia catalog are available. There are also distance estimates derived from the trigonometric parallaxes contained in the Gaia ERD3 catalog. A method, which relies on comparison of the first-order derivative of the Galactic rotation angular velocity, showed the need to lengthen the distance scales determined by Skowron et al. by about 10%. This conclusion was confirmed by direct comparison to the distances predicted on using the trigonometric parallaxes. With taking into account this result, we obtained new estimates of the Galactic rotation parameters and the parameters of a spiral density wave.
description: 14 pages, 6 figures, 2 tables
Sonnenfleckenzeichnung Nr. 19051.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 12.07.1955, erstellt von Helmut Müller und Adolf Lemans
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1955

description: Bleistiftzeichnung mit Tinte und Farbstift überschrieben, erstellt als Projektionsbildzeichnung in der Eidgenössischen Sternwarte Zürich. Instrument: Kern-Merz-Refraktor.
Die Beobachtungen zu Einzelflecken und zu Sonnenfleckengruppen wurden mit Bleistift auf einem Vordruck eingetragen. Später wurden ergänzende Angaben aufgrund auswärtiger Beobachtungen direkt auf der Fleckenzeichnung hinzugefügt. Unter Umständen sind Angaben zu Protuberanzen vermerkt
Sociodemographic Patterns of Leisure-Time Physical Activity of Albertans 2000 to 2011
Creators: name: Loitz, Christina C.
name: Fraser, Shawn N.
name: Garcia Bengoechea, Enrique
name: Berry, Tanya R.
name: McGannon, Kerry R.
name: Spence, John C.
Publisher: name: The Health & Fitness Journal of Canada
Year: 2012

description: Background: Physical inactivity has been a significant health concern among the Canadian population over the last decade. Purpose: To study the trend in leisure-time physical activity (LTPA) of Albertans from 2000 to 2011 and to assesses the relationship between sociodemographic factors and LTPA. Methods: Cross-sectional design was used. Data were obtained in 2000 (n = 1200), 2002 (n = 1209), 2005 (n = 1208), 2006 (n=1207), 2008 (n=1313) and 2010 (n=1202) through representative random telephone surveys. The Godin Leisure-Time Exercise Questionnaire was used for all three surveys, in addition to questions about sociodemographic information (age, income, education, marital status). Men and women were considered active if they expended at least 38 or 35 metabolic equivalents (METs) per week, respectively. Results: From 2000 to 2005, the proportion of active Albertans increased from 54.2% to 60.2% whereas from 2006 to 2011 it decreased from 57.4% to 54.3%. Controlling for sex, logistic regression analyses showed that, compared to the youngest adults, the oldest adults were the least likely to be active (OR = 0.16 to 0.55) over the last decade. The highest quintile of income was the most likely to be active from 2000 to 2008 (OR = 1.96 to 2.28). Education was not related to LTPA. Conclusion: Older age remained a risk for inactivity over the decade and high income supported LTPA until 2008. Marital status inconsistently affected activity status in Albertans over the last decade. Education was not related to LTPA.
description: The Health & Fitness Journal of Canada, Vol 5 No 1 (2012)
Sonnenfleckenzeichnung Nr. 19061.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 22.07.1955, erstellt von Adolf Lemans
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1955

description: Bleistiftzeichnung mit Tinte und Farbstift überschrieben, erstellt als Projektionsbildzeichnung in der Eidgenössischen Sternwarte Zürich. Instrument: Kern-Merz-Refraktor.
Die Beobachtungen zu Einzelflecken und zu Sonnenfleckengruppen wurden mit Bleistift auf einem Vordruck eingetragen. Unter Umständen sind Angaben zu Protuberanzen vermerkt
Sonnenfleckenzeichnung Nr. 19064.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 25.07.1955, erstellt von Adolf Lemans
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1955

description: Bleistiftzeichnung mit Tinte und Farbstift überschrieben, erstellt als Projektionsbildzeichnung in der Eidgenössischen Sternwarte Zürich. Instrument: Kern-Merz-Refraktor.
Die Beobachtungen zu Einzelflecken und zu Sonnenfleckengruppen wurden mit Bleistift auf einem Vordruck eingetragen. Unter Umständen sind Angaben zu Protuberanzen vermerkt
Sonnenfleckenzeichnung Nr. 18996.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 17.05.1955, erstellt von Helmut Müller
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1955

description: Bleistiftzeichnung mit Tinte und Farbstift überschrieben, erstellt als Projektionsbildzeichnung in der Eidgenössischen Sternwarte Zürich. Instrument: Kern-Merz-Refraktor.
Die Beobachtungen zu Einzelflecken und zu Sonnenfleckengruppen wurden mit Bleistift auf einem Vordruck eingetragen. Später wurden ergänzende Angaben aufgrund auswärtiger Beobachtungen direkt auf der Fleckenzeichnung hinzugefügt. Unter Umständen sind Angaben zu Protuberanzen vermerkt
Sonnenfleckenzeichnung, unnummeriert.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 12.07.1955, erstellt von Adnan Kiral an der Universitätssternwarte Istanbul
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1955

description: Bleistiftzeichnung mit Tinte und Bleistift, erstellt als Zeichnung nach eigener Vorlage am Istanbul Universitesi Observatuari, Beyazit (Istanbul). Instrument: Zeiss Refraktor Teleskop (Öffnung 130 mm, f = 2000 mm, projiziertes Sonnenbild D = 25 cm)
Measurement of Dog Walking Behaviour: Strengths and Weaknesses of Various Methods
Creators: name: Murray, Holly
name: Wharf Higgins, Joan
name: Temple, Vivian
name: Tuokko, Holly
name: Porter, Michelle
name: Rhodes, Ryan
Publisher: name: The Health & Fitness Journal of Canada
Year: 2012

description: Background: Physical activity promotion has become important in public health initiatives due to its overwhelming evidence in disease prevention; however, low participation rates prevail. Research between dog ownership and walking is relatively new, with primary evidence from self-report surveys. Purpose: The primary purpose of this study was to compare different physical activity (PA) measures: self-report, pedometry,accelerometry, and global positioning system(GPS)and to investigateself-report vs. direct measures of dog walking behaviour.Methods: Participants completed self-report; wore a pedometer, accelerometer, and GPS unit for four days.Results: Results indicate self-report both over and underestimates direct measures of PA.Conclusion: It is recommended that investigations of PA patterns and practices use direct measures such as GPS combined with accelerometry.
description: The Health & Fitness Journal of Canada, Vol 5 No 1 (2012)
Sonnenfleckenzeichnung Nr. 18976.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 26.04.1955, erstellt von Helmut Müller
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1955

description: Bleistiftzeichnung mit Tinte und Farbstift überschrieben, erstellt als Projektionsbildzeichnung in der Eidgenössischen Sternwarte Zürich. Instrument: Kern-Merz-Refraktor.
Die Beobachtungen zu Einzelflecken und zu Sonnenfleckengruppen wurden mit Bleistift auf einem Vordruck eingetragen. Später wurden ergänzende Angaben aufgrund auswärtiger Beobachtungen direkt auf der Fleckenzeichnung hinzugefügt. Unter Umständen sind Angaben zu Protuberanzen vermerkt
Tetragonoderus (Tetragonoderus) quadriguttatus Dejean 1829
Creators: name: Martinez, Claudia
Publisher: name: Zenodo
Year: 2003
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Carabidae
Tetragonoderus
Tetragonoderus quadriguttatus

description: Tetragonoderus (Tetragonoderus) quadriguttatus Dejean, 1829
Material examined. COLOMBIA. Magdalena: PNN Tayrona, 11°20’N 74°02’W, sector Naranjos, río Piedras, en arena bajo arbustos, 5 m, Manual, 1.vii.2002, G. Ball & C. Martínez, leg., UAEC (9 ex.).
Comments. Species is only known from Brazil. First record for Colombia.
description: Published as part of Martinez, Claudia, 2003, New Records of ground beetles for Colombia (Coleoptera: Carabidae), pp. 1-27 in Zootaxa 250 (1) on page 7, DOI: 10.11646/zootaxa.250.1.1, http://zenodo.org/record/5014257
Sonnenfleckenzeichnung, unnummeriert.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 24.07.1955, erstellt am Sonnenobservatorium Kanzelhöhe, Kärnten
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1955

description: Bleistiftzeichnung mit Tinte und Bleistift, erstellt als Zeichnung nach eigener Vorlage im Sonnenobservatorium Kanzelhöhe in Sattendorf, Österreich. Instrument: Heliostat mit Refraktor Eigenbau (Öffnung 110mm, f = 1650mm, projiziertes Sonnenbild D = 25cm)
The developing understanding of Human Health and Fitness: 2. Early city life.
Creators: name: Shephard, Roy J.
Publisher: name: The Health & Fitness Journal of Canada
Year: 2012

description: This article examines the effects upon health and fitness of a transition from a hunter-gatherer life to an agricultural and/or pastoral society. Data are considered from Simeria/Assyria/Babylonia, Egypt, Israel, India and China. In many of these regions, fertile alluvial flood plains and the development of skills in irrigation facilitated the emergence of large cities. Agricultural surpluses fostered the appearance of class structures, often with an elite ruling class, government officials, soldiers to protect and augment the new-found wealth, common labourers and slaves from subjugated territories, each with specific health and fitness needs. Occasionally the ruler was expected to demonstrate physical prowess, and the elite pursued hunting and other sports for pleasure. However, spectator sports, feasting and sedentary games brought obesity to many of the elite, with the appearance of lifestyle diseases such as atherosclerosis. Soldiers typically wore heavy clothing and carried heavy weapons, with fitness maintained by a combination of military duties and sports. Heavy occupational work was required of labourers and slaves, making it likely that they also were fit. However, this phase of history saw a gradual increase in passive transportation, and the introduction of waterpower as an early harbinger of industrial mechanization. Illness was generally attributed to offences against the gods and/or an imbalance of poorly understood body humours. Physicians emerged from the priesthood with a healing repertoire that included herbs and some forms of surgery, plus a heavy reliance on magical incantations. Only a few lone voices from this era advocated exercise for its health benefits. The Indian physician Sushruta stands out from his colleagues for recommending physical activity in the aerobic training zone.
description: The Health & Fitness Journal of Canada, Vol 5 No 1 (2012)
DropNet: Reducing Neural Network Complexity via Iterative Pruning
Creators: name: Min, John Tan Chong
name: Motani, Mehul
Publisher: name: arXiv
Year: 2022
Subjects: subject: Machine Learning (cs.LG)
subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: Modern deep neural networks require a significant amount of computing time and power to train and deploy, which limits their usage on edge devices. Inspired by the iterative weight pruning in the Lottery Ticket Hypothesis, we propose DropNet, an iterative pruning method which prunes nodes/filters to reduce network complexity. DropNet iteratively removes nodes/filters with the lowest average post-activation value across all training samples. Empirically, we show that DropNet is robust across diverse scenarios, including MLPs and CNNs using the MNIST, CIFAR-10 and Tiny ImageNet datasets. We show that up to 90% of the nodes/filters can be removed without any significant loss of accuracy. The final pruned network performs well even with reinitialization of the weights and biases. DropNet also has similar accuracy to an oracle which greedily removes nodes/filters one at a time to minimise training loss, highlighting its effectiveness.
description: Published at ICML 2020. Code can be found at https://github.com/tanchongmin/DropNet
Maximal Aerobic Testing in Spinal Cord Injury: Considerations from Clinical Experience
Creators: name: Phillips, Aaron A
name: Fougere, Renee J
name: Warburton, Darren
Publisher: name: The Health & Fitness Journal of Canada
Year: 2012

description: Increasing participation in physical activity is a primary clinical concern in those with spinal cord injury (SCI). The measurement of maximal aerobic capacity in those with spinal cord injury (SCI) is now being used to help predict habitual physical activity levels after SCI, as well as evaluate SCI athletes. As in able-bodied participants, precise execution of the maximal aerobic test is essential in order to obtain valid results. Many special considerations exist when performing a maximal aerobic testing in those with SCI. Most notably this includes using an arm-crank cycle, however further considerations exist such as: frequent evaluation of blood pressure and symptoms of syncope, unreliable heart rate response in those with SCI above the 5th thoracic vertebra, importance of bladder evacuation prior to testing, and the special attention required to decide work rate depending on lesion level and completeness. This review will detail these considerations from the perspective of clinical experience, as well as provide explain the underlying principles.
description: The Health & Fitness Journal of Canada, Vol 5 No 2 (2012)
A Neighborhood-Based Urban Water Carrying Capacity Assessment: Analysis of the Relationship between Spatial-Demographic Factors and Water Consumption Patterns in Tehran, Iran
Creators: name: Tayebi, Safiyeh
name: Feizizadeh, Bakhtiar
name: Esfandi, Saeed
name: Aliabbasi, Banafsheh
name: Seyed Ali, Alavi
name: Shamsipour, Aliakbar
Publisher: name: figshare
Year: 2024
Subjects: classificationCode: 310402
subject: Biogeography and phylogeography
classificationCode: 440611
subject: Transport geography
classificationCode: 370999
subject: Physical geography and environmental geoscience not elsewhere classified
classificationCode: 440604
subject: Environmental geography
classificationCode: 440612
subject: Urban geography
classificationCode: 440610
subject: Social geography
classificationCode: 440605
subject: Health geography

description: The upward trajectory of urbanization, coupled with the ever-growing demand for more water resources, has led to increased pressure on limited water resources, particularly in cities with dry climates such as Tehran. Since the balance of Tehran’s water ecosystems has been disturbed, and the quality and quantity of water resources have been affected in recent years, conducting an assessment of water environment carrying capacity (WECC) seemed vital for this city. WECC was used as the basis of water supply sustainability evaluation concerning Tehran’s land use and demographic characteristics on a neighborhood scale. Therefore, the effect size and correlation of 12 types of land use and six variables derived from the literature with water consumption patterns were examined in warm and cold seasons. The results show that land use, population density, percentage of deteriorated area, percentage of buildings over 30 years old, residential–commercial land use, and green spaces correlate significantly with water consumption. The percentage of deteriorated areas and buildings over 30 years old has a negative, and the rest has a positive impact on water consumption. It is also recommended to use the research findings to improve Tehran’s water environment carrying capacity and apply the proposed evaluation procedure to other cities. The results of this research can be used in planning large and densely populated cities with a neighborhood-oriented approach, in which local institutions play an essential role in attracting people’s participation and inclusive urban planning.
Sonnenfleckenzeichnung Nr. 19054.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 15.07.1955, erstellt von Helmut Müller
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1955

description: Bleistiftzeichnung mit Tinte und Farbstift überschrieben, erstellt als Projektionsbildzeichnung in der Eidgenössischen Sternwarte Zürich. Instrument: Kern-Merz-Refraktor.
Die Beobachtungen zu Einzelflecken und zu Sonnenfleckengruppen wurden mit Bleistift auf einem Vordruck eingetragen. Später wurden ergänzende Angaben aufgrund auswärtiger Beobachtungen direkt auf der Fleckenzeichnung hinzugefügt. Unter Umständen sind Angaben zu Protuberanzen vermerkt
The developing understanding of Human Health and Fitness: 3. The Classical Era.
Creators: name: Shephard, Roy J.
Publisher: name: The Health & Fitness Journal of Canada
Year: 2012

description: This article follows the development of interest in health and fitness, looking at contributions from the Minoan, Greek and Roman cultures. The Minoan era is best known for the institution of bull vaulting, but it also opened up sports for women, and served as an important bridge for the transmission of Egyptian knowledge to Greece. Ceramics suggest that their athletes had superb physiques, but the common people suffered from rickets, scurvy, a stunted stature and a short life expectancy. The most widely recognized contributions of the Greek period were the Hippocratic codification of health professionals and the establishment of inter-city Games such as the Olympiad. The latter competitions were initially amateur and patrician, but quickly became corrupted by the award of major prizes, with the modern problems of age classification, doping, fixing of contests and changes of citizenship. Another important feature of the Classical Era was a transition from Aesculapian mythology towards rational, evidence-based and even molecular medicine under Hippocrates, Pythagoras and Ascelapiades. Calls were made for a balancing of the four body humours through (among other tactics) a matching of exercise to diet, and exercise came to be seen as a useful component of medical therapy. Gymnasia were built across Greece; these offered a new type of education, where academic instruction was leavened and made more effective by regular physical training. There was also a gradual recognition that moderate exercise had greater health value than the massive muscular development typical of heavyweight wrestlers.  Both Sparta and Rome placed a strong emphasis upon sport as a means of enhancing fitness for military combat, but many in Rome decried the regimen of the gymnasion, considering it effete and an obstacle to effective martial training. Galen, one of many Greek physicians migrating to Rome, brought the discipline of anatomy to the interpretation of ill health. The introduction of odometers, milestones, the observation of ventilation and accurate pulse counting allowed a monitoring of the intensity of physical training, and initially all male Roman citizens had to maintain adequate fitness for military service. However, the increasing wealth of the Roman Empire was marked by greater leisure; the construction of massive stadia, and frequent public holidays gave the public the option of attending brutal spectator events or relaxing at thermal baths.  The resulting deterioration in physical condition and morale probably contributed to the subsequent conquest of the Roman Empire by stronger northern tribes.
description: The Health & Fitness Journal of Canada, Vol 5 No 2 (2012)
Sonnenfleckenzeichnung Nr. 19088.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 18.08.1955, erstellt von Helmut Müller
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1955

description: Bleistiftzeichnung mit Tinte und Farbstift überschrieben, erstellt als Projektionsbildzeichnung in der Eidgenössischen Sternwarte Zürich. Instrument: Kern-Merz-Refraktor.
Die Beobachtungen zu Einzelflecken und zu Sonnenfleckengruppen wurden mit Bleistift auf einem Vordruck eingetragen. Unter Umständen sind Angaben zu Protuberanzen vermerkt
Sonnenfleckenzeichnung Nr. 18963.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 13.04.1955, erstellt von Helmut Müller
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1955

description: Bleistiftzeichnung mit Tinte und Farbstift überschrieben, erstellt als Projektionsbildzeichnung in der Eidgenössischen Sternwarte Zürich. Instrument: Kern-Merz-Refraktor.
Die Beobachtungen zu Einzelflecken und zu Sonnenfleckengruppen wurden mit Bleistift auf einem Vordruck eingetragen. Unter Umständen sind Angaben zu Protuberanzen vermerkt
Needs satisfaction, self-determined motivation and health-enhancing physical activity
Creators: name: McEwan, Desmond
name: Sweet, Shane N
Publisher: name: The Health & Fitness Journal of Canada
Year: 2012

description: Background: Previous studies have assessed physical activity participation from a self-determination theory perspective. However, no study has yet determined whether individuals who engage in sufficient physical activity to obtain substantial health benefits (i.e., health-enhancing physical activity or HEPA) differ from those who do not engage in such physical activity in terms of their motivational regulations and psychological needs satisfaction.  Purpose: The primary purpose of the current study was to determine whether differences in motivation and psychological needs satisfaction exist between individuals who engage in HEPA and those who do not. Secondarily, we assessed whether each of the motivational regulations would mediate the relationships between needs satisfaction and HEPA.  Method: The study employed a cross-sectional design, as 332 participants completed questionnaires assessing their psychological needs satisfaction, motivation to exercise, and self-reported physical activity.  Results: As hypothesized, in comparison to the minimally active group, the HEPA group showed significantly greater levels of identified, integrated, and intrinsic regulations; lower levels of external regulation; and greater satisfaction of autonomy, competence, and relatedness. Simultaneous multiple mediator analyses revealed that external and integrated regulation mediated the autonomy  HEPA relationship, as well as the relatedness  HEPA relationship; the relationship between competence and HEPA was only mediated by external regulation.  Conclusion: These results support self-determination theory by demonstrating that individuals who participate in HEPA have higher levels in the theorys key variables. In addition, the process by which to increase the likelihood of participating in HEPA was also partially supported.
description: The Health & Fitness Journal of Canada, Vol 5 No 3 (2012)
Sonnenfleckenzeichnung Nr. 19020.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 11.06.1955, erstellt von Adolf Lemans
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1955

description: Bleistiftzeichnung mit Tinte und Farbstift überschrieben, erstellt als Projektionsbildzeichnung in der Eidgenössischen Sternwarte Zürich. Instrument: Kern-Merz-Refraktor.
Die Beobachtungen zu Einzelflecken und zu Sonnenfleckengruppen wurden mit Bleistift auf einem Vordruck eingetragen. Unter Umständen sind Angaben zu Protuberanzen vermerkt
ABP maximum principles for fully nonlinear integro-differential equations with unbounded inhomogeneous terms
Creators: name: Kitano, Shuhei
Publisher: name: arXiv
Year: 2022
Subjects: subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics

description: Aleksandrov-Bakelman-Pucci maximum principles are studied for a class of fully nonlinear integro-differential equations of order $σ\in [2-\varepsilon_0,2)$, where $\varepsilon_0$ is a small constant depending only on given parameters. The goal of this paper is to improve an estimate of Guillen and Schwab (Arch. Ration. Mech. Anal., 206, 2012) in order to avoid the dependence on $L^\infty$ norm of %the to the estimate depending only on $L^n$ norm the inhomogeneous term.
title:  Virgilio, Aen. IX 412 sg.: un locus insolubilis?
Creators: name: Canobbio, Alberto
Publisher: name: Roma Tre University
publisherIdentifier: https://ror.org/05vf0dg29
publisherIdentifierScheme: ROR
Year: 2024

description: Eneide, libro IX: il troiano Niso nel tentativo di salvare il suo amico Eurialo catturato dai Rutuli scaglia contro i nemici un’asta che uccide Sulmone; a proposito dei due esametri che descrivono la traiettoria dell’asta di Niso (vv. 412 sg. et venit adversi in tergum Sulmonis ibique / frangitur ac fisso transit praecordia ligno) Servio parla di locus insolubilis. Dopo un riesame del passo e della storia della sua esegesi si prende posizione a favore del testo pubblicato da Geymonat (adversi, non aversi) e dell’interpretazione secondo cui in tergum sta a indicare che Niso colpisce Sulmone non sullo scudo, come ritiene Servio, bensì alla schiena, come si legge nell’edizione Einaudi curata da Alessandro Fo.

Aeneid, Book IX: the Trojan Nisus, in an attempt to save his friend Euryalus captured by the Rutuli, throws a spear against his enemies and kills Sulmo. The two hexameters which describe the trajectory of Nisus’ spear (412 f. et venit adversi in tergum Sulmonis ibique / frangitur ac fisso transit praecordia ligno) are spoken of by Servius as locus insolubilis. A new examination of the exegetical history confirms both the text issued by Geymonat (adversi, not aversi) and the interpretation according to which in tergum indicates that Nisus hits Sulmo not on the shield (as believed by Servius), but on his back, as we read in the Aeneid published for Einaudi by Alessandro Fo.
description: RES PUBLICA LITTERARUM. Studies in the classical tradition – XLV/2024
Tetragonoderus (Tetragonoderus) tesselatus Chaudoir 1872
Creators: name: Martinez, Claudia
Publisher: name: Zenodo
Year: 2003
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Carabidae
Tetragonoderus
Tetragonoderus tesselatus

description: Tetragonoderus (Tetragonoderus) tesselatus Chaudoir, 1872
Material examined. COLOMBIA. Magdalena: PNN Tayrona, sector Neguanje, Qda. Neguanje, bosque seco, hojarasca, 11°20’N 74°02’W, 5 m, Manual, 27.vi.2002, G. Ball & C. Martínez, leg., UAEC (3 ex.).
Comments. Species is known from Venezuela. First record for Colombia.
description: Published as part of Martinez, Claudia, 2003, New Records of ground beetles for Colombia (Coleoptera: Carabidae), pp. 1-27 in Zootaxa 250 (1) on page 7, DOI: 10.11646/zootaxa.250.1.1, http://zenodo.org/record/5014257
Sonnenfleckenzeichnung, unnummeriert.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 27.07.1955, erstellt von Adnan Kiral an der Universitätssternwarte Istanbul
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1955

description: Bleistiftzeichnung mit Tinte und Bleistift, erstellt als Zeichnung nach eigener Vorlage am Istanbul Universitesi Observatuari, Beyazit (Istanbul). Instrument: Zeiss Refraktor Teleskop (Öffnung 130 mm, f = 2000 mm, projiziertes Sonnenbild D = 25 cm)
Sonnenfleckenzeichnung Nr. 19039.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 30.06.1955, erstellt von Helmut Müller
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1955

description: Bleistiftzeichnung mit Tinte und Farbstift überschrieben, erstellt als Projektionsbildzeichnung in der Eidgenössischen Sternwarte Zürich. Instrument: Kern-Merz-Refraktor.
Die Beobachtungen zu Einzelflecken und zu Sonnenfleckengruppen wurden mit Bleistift auf einem Vordruck eingetragen. Unter Umständen sind Angaben zu Protuberanzen vermerkt
$ W^{σ,p}$ A Priori Estimates for Fully Nonlinear Integro-Differential Equations
Creators: name: Kitano, Shuhei
Publisher: name: arXiv
Year: 2022
Subjects: subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics

description: $W^{σ,p}$ estimates are studied for a class of fully nonlinear integro-differential equations of order $σ$, which are analogues of $W^{2,p}$ estimates by Caffarelli. We also present Aleksandrov-Bakelman-Pucci maximum principles, which are improvements of estimates proved by Guillen-Schwab, depending only on $L^p$ norms of inhomogeneous terms.
Articles from the popular media and the scientific literature from When fiction becomes fact: exaggerating host manipulation by parasites
Creators: name: Jean-François Doherty
Publisher: name: The Royal Society
Year: 2020
Subjects: subject: 60801 Animal Behaviour
subject: FOS: Biological sciences

description: Methods and list of articles from the popular media and the scientific literature used to make Figure 1.
Entanglement Dynamics in Anti-$\mathcal{PT}$-Symmetric Systems
Creators: name: Fang, Yu-Liang
name: Zhao, Jun-Long
name: Chen, Dong-Xu
name: Zhou, Yan-Hui
name: Zhang, Yu
name: Wu, Qi-Cheng
name: Yang, Chui-Ping
name: Nori, Franco
Publisher: name: arXiv
Year: 2022
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: In the past years, many efforts have been made to study various noteworthy phenomena in both parity-time ($\mathcal{PT}$) and anti-parity-time ($\mathcal{APT}$) symmetric systems. However, entanglement dynamics in $\mathcal{APT}$-symmetric systems has not previously been investigated in both theory and experiments. Here, we investigate the entanglement evolution of two qubits in an $\mathcal{APT}$-symmetric system. In the $\mathcal{APT}$-symmetric unbroken regime, our theoretical simulations demonstrate the periodic oscillations of entanglement when each qubit evolves identically, while the nonperiodic oscillations of entanglement when each qubit evolves differently. In particular, when each qubit evolves near the exceptional point in the $\mathcal{APT}$-symmetric unbroken regime, there exist entanglement sudden vanishing and revival. Moreover, our simulations demonstrate rapid decay and delayed death of entanglement provided one qubit evolves in the $\mathcal{APT}$-symmetric broken regime. In this work, we also perform an experiment with a linear optical setup. The experimental results agree well with our theoretical simulation results. Our findings reveal novel phenomena of entanglement evolution in the $\mathcal{APT}$-symmetric system and opens a new direction for future studies on the dynamics of quantum entanglement in multiqubit $\mathcal{APT}$-symmetric systems or other non-Hermitian quantum systems.
description: 13 pages, 8 figures
Sonnenfleckenzeichnung Nr. 18968.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 18.04.1955, erstellt von Adolf Lemans
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1955

description: Bleistiftzeichnung mit Tinte und Farbstift überschrieben, erstellt als Projektionsbildzeichnung in der Eidgenössischen Sternwarte Zürich. Instrument: Kern-Merz-Refraktor.
Die Beobachtungen zu Einzelflecken und zu Sonnenfleckengruppen wurden mit Bleistift auf einem Vordruck eingetragen. Später wurden ergänzende Angaben aufgrund auswärtiger Beobachtungen direkt auf der Fleckenzeichnung hinzugefügt. Unter Umständen sind Angaben zu Protuberanzen vermerkt
Verification of Sigmoidal Artificial Neural Networks using iSAT
Creators: name: Grundt, Dominik
name: Jurj, Sorin Liviu
name: Hagemann, Willem
name: Kröger, Paul
name: Fränzle, Martin
Publisher: name: arXiv
Year: 2022
Subjects: subject: Artificial Intelligence (cs.AI)
subject: Machine Learning (cs.LG)
subject: Symbolic Computation (cs.SC)
subject: FOS: Computer and information sciences

description: This paper presents an approach for verifying the behaviour of nonlinear Artificial Neural Networks (ANNs) found in cyber-physical safety-critical systems. We implement a dedicated interval constraint propagator for the sigmoid function into the SMT solver iSAT and compare this approach with a compositional approach encoding the sigmoid function by basic arithmetic features available in iSAT and an approximating approach. Our experimental results show that the dedicated and the compositional approach clearly outperform the approximating approach. Throughout all our benchmarks, the dedicated approach showed an equal or better performance compared to the compositional approach.
description: In Proceedings SNR 2021, arXiv:2207.04391
title: ΛΑΤΟ + ΚΕΚΡΩΨ_Μια τοπιακή διαμόρφωση της πρώην λατομικής έκτασης
title: LATO + KEKROPS_A landscape formation of the former mining area, Athens
Creators: name: Κυριαζοπουλου Παναγιωτα
Publisher: name: Technical University of Crete
Year: 2020

description: Η παρούσα εργασία μελετά την πλέον εκτεταμένη και ψηλότερη λοφοσειρά της Αττικής, αυτή των Τουρκοβουνίων και σε μεγαλύτερη ανάλυση την πρώην λατομική έκταση, η οποία εντοπίζεται στο κέντρο αυτής και αποτελεί φυσικό όριο μεταξύ των δήμων Γαλατσίου και Φιλοθέης - Ψυχικού. Πιο συγκεκριμένα, επιχειρεί την ανάπλαση όλης της έκτασης όπου άλλοτε βρισκόντουσαν τα λατομεία ΛΑΤΟ και ΚΕΚΡΩΨ. Η μελέτη βασίζεται στο διαχωρισμό της έκτασης σε τρεις επιμέρους ενότητες. Η μία εξ' αυτών καταλαμβάνει το ψηλότερο υψομετρικά τμήμα και στοχεύει στην ανάδειξη του «σεληνιακού» και απόκοσμου τοπίου, με το σχεδιασμό ενός βιωματικού περιπάτου και κύριο σχεδιαστικό κριτήριο την προβολή των έντονων εξάρσεων των λόφων, που είναι αποτέλεσμα των πρώην εξορυκτικών δραστηριοτήτων. Στην ενότητα αυτή προτείνεται να τοποθετηθούν κάποιοι κτιριακοί όγκοι με χρήσεις πολιτισμού και αναψυχής. Οι άλλες δύο ενότητες τοποθετούνται εκατέρωθεν της πρώτης και στοχεύουν στην αναδάσωση δύο τμημάτων του ξερού τοπίου και στην απόδοσή τους ως πάρκα στους γειτνιάζοντες δήμους. Αποτελούν παράλληλα, τις δύο κεντρικές πύλες για ολόκληρη την έκταση και αποσκοπούν στη δημιουργία ενός πιο φυσικού τοπίου, με τη χρήση του πρασίνου, του υγρού στοιχείου, των μονοπατιών αλλά και κάποιων ελαφρών κατασκευών, που δύναται να υποστηρίξουν τις χρήσεις που προτείνονται (θέατρο, ανοιχτή αγορά, παρατηρητήρια, χώροι συναυλιών και αθλητικών δραστηριοτήτων). Τέλος, δημιουργείται ένας κεντρικός άξονας, ο οποίος διαπερνά τις τρεις παραπάνω ενότητες και λειτουργεί ως συνδετικός κρίκος των δύο εκατέρωθεν περιοχών, μετατρέποντας όλη την έκταση σε ένα υπερτοπικό πόλο έλξης.
Sonnenfleckenzeichnung Nr. 19080.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 10.08.1955, erstellt von Helmut Müller
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1955

description: Bleistiftzeichnung mit Tinte und Farbstift überschrieben, erstellt als Projektionsbildzeichnung in der Eidgenössischen Sternwarte Zürich. Instrument: Kern-Merz-Refraktor.
Die Beobachtungen zu Einzelflecken und zu Sonnenfleckengruppen wurden mit Bleistift auf einem Vordruck eingetragen. Unter Umständen sind Angaben zu Protuberanzen vermerkt
title: Istanbuler Mitteilungen, Bd. 61 (2011): Istanbuler Mitteilungen
title: Istanbuler Mitteilungen
titleType: AlternativeTitle
Creators: name: Istanbuler Mitteilungen
Publisher: name: Istanbuler Mitteilungen
Year: 2024

description: [PDFs verfügbar]
description: Konstantinopolitanisches Formenrepertoire in Mazedonien...433–439
Aus unruhigen Zeiten: Die ›Ächtungsinschrift‹ aus Milet, ein Erlass aus dem frühesten 5. Jahrhundert v. Chr....425–432
Ein frühbyzantinisches Waffengrab aus Pergamon...347–422
Bathing in a ›Western Style‹. Private Bath Complexes in Roman and Late Antique Asia Minor...287–346
Der kaiserzeitliche Tempel von Asartepe/Kimistene in der Chora des paphlagonischen Hadrianopolis...233–286
Zur Rekonstruktion der kaiserzeitlichen Halle am Nordmarkt in Milet...219–231
Eine wehrhafte Stadt in späthellenistisch-römischer Zeit...205–217
Der Tumulus auf dem İlyastepe und die pergamenischen Grabhügel...117–203
Der Hafen von Smyrna...105–115
Wohnsitze und Hauptstädte der hethitischen Könige...85–103
Das vorklassische Pergamon und sein Siedlungsprofil...21–84
Ein Terrakotta-Modell aus Çine-Tepecik...7–20
Sonnenfleckenzeichnung Nr. 19034.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 25.06.1955, erstellt von Helmut Müller
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1955

description: Bleistiftzeichnung mit Tinte und Farbstift überschrieben, erstellt als Projektionsbildzeichnung in der Eidgenössischen Sternwarte Zürich. Instrument: Kern-Merz-Refraktor.
Die Beobachtungen zu Einzelflecken und zu Sonnenfleckengruppen wurden mit Bleistift auf einem Vordruck eingetragen. Unter Umständen sind Angaben zu Protuberanzen vermerkt
Robot Swarms as Hybrid Systems: Modelling and Verification
Creators: name: Schupp, Stefan
name: Leofante, Francesco
name: Behr, Leander
name: Ábrahám, Erika
name: Taccella, Armando
Publisher: name: arXiv
Year: 2022
Subjects: subject: Systems and Control (eess.SY)
subject: Multiagent Systems (cs.MA)
subject: FOS: Electrical engineering, electronic engineering, information engineering
subject: FOS: Computer and information sciences
subject: C.1.m; D.2.4

description: A swarm robotic system consists of a team of robots performing cooperative tasks without any centralized coordination. In principle, swarms enable flexible and scalable solutions; however, designing individual control algorithms that can guarantee a required global behavior is difficult. Formal methods have been suggested by several researchers as a mean to increase confidence in the behavior of the swarm. In this work, we propose to model swarms as hybrid systems and use reachability analysis to verify their properties. We discuss challenges and report on the experience gained from applying hybrid formalisms to the verification of a swarm robotic system.
description: In Proceedings SNR 2021, arXiv:2207.04391
Sonnenfleckenzeichnung, unnummeriert.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 20.04.1955, erstellt am Sonnenobservatorium Kanzelhöhe, Kärnten
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1955

description: Bleistiftzeichnung mit Tinte und Bleistift, erstellt als Zeichnung nach eigener Vorlage im Sonnenobservatorium Kanzelhöhe in Sattendorf, Österreich. Instrument: Heliostat mit Refraktor Eigenbau (Öffnung 110mm, f = 1650mm, projiziertes Sonnenbild D = 25cm)