Equivalence of switching linear systems by bisimulation

A general notion of hybrid bisimulation is proposed for the class of switching linear systems. Connections between the notions of bisimulation-based equivalence, state-space equivalence, algebraic and input–output equivalence are investigated. An algebraic characterization of hybrid bisimulation and an algorithmic procedure converging in a finite number of steps to the maximal hybrid bisimulation are derived. Hybrid state space reduction is performed by hybrid bisimulation between the hybrid system and itself. By specializing the results obtained on bisimulation, also characterizations of simulation and abstraction are derived. Connections between observability, bisimulation-based reduction and simulation-based abstraction are studied.\ud \u

Surface latent heat flux anomalies before the MS 7.1 New Zealand earthquake 2010

By analyzing surface latent heat flux (SLHF) data from the NCEP/NCAR Reanalysis Project for the period three months before and after the Sept. 3, 2010 MS 7.1 New Zealand earthquake, an isolated SLHF positive anomaly on Aug. 1, 2010 was found with a high value of about 160 W/m2 to the northeast of the epicenter. Historical data, background pixels, and wavelet transforms of time series were comprehensively analyzed to study the spatiotemporal features of the SLHF anomaly. After removing the influences of wind speed and cloud cover, the key factor leading to local SLHF anomalies is the surface temperature increment. Combined with GPS displacement observations and tectonic settings, we determined that the physical mechanism of the SLHF anomaly could possibly be attributed to hot underground materials related to high-temperature and high-pressure upwelling from the deep crust and mantle along the nearby subduction zone, thereby explaining the local temperature increment to the northeast of the epicenter, as well as in the center of the North Island and the southwest of the South Island. Furthermore, it changed the specific humidity between the ground and surface air, causing the local SLHF increment

About the Foroughi Cup and about the seven planets in the Ancient World

The Foroughi Cup is an artefact of the 8th century BC of Aramaic cultural context, inside which images of stars and constellations are reproduced. In this study of ours we start from the conclusions reached by Amadasi Guzzo and Castellani in their two works of 2005 and 2006 and we add some further considerations and identifications. We then explain the hypothesis that some cultures of the Ancient World include seven planets, excluding the Moon and the Sun, because Mercury and Venus, always visible only at dawn or at sunset, were perhaps considered four different planets. Finally, we propose the thesis that their evil character depends, as for every new star (novae, supernovae, comets, etc.), on the fact that they alter the synchrony of the cosmos with their variable motion (variable declination heaven bodies)

a consensus statement from the Portuguese Pulmonology Society

Coronavirus disease 2019 (COVID-19) is an emerging infectious disease caused by a novel SARS-CoV-2 pathogen. Its capacity for human-to-human transmission through respiratory droplets, coupled with a high-level of population mobility, has resulted in a rapid dissemination worldwide. Healthcare workers have been particularly exposed to the risk of infection and represent a significant proportion of COVID-19 cases in the worst affected regions of Europe. Like other open airway procedures or aerosol-generating procedures, bronchoscopy poses a significant risk of spreading contaminated droplets, and medical workers must adapt the procedures to ensure safety of both patients and staff. Several recommendation documents were published at the beginning of the pandemic, but as the situation evolves, our thoughts should not only focus on the present, but should also reflect on how we are going to deal with the presence of the virus in the community until there is a vaccine or specific treatment available. It is in this sense that this document aims to guide interventional pulmonology throughout this period, providing a set of recommendations on how to perform bronchoscopy or pleural procedures safely and efficiently.proofpublishe

Social Roles and Baseline Proxemic Preferences for a Domestic Service Robot

© The Author(s) 2014. This article is published with open access at Springerlink.com. This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited. The work described in this paper was conducted within the EU Integrated Projects LIREC (LIving with Robots and intEractive Companions, funded by the European Commission under contract numbers FP7 215554, and partly funded by the ACCOMPANY project, a part of the European Union’s Seventh Framework Programme (FP7/2007–2013) under grant agreement n287624The goal of our research is to develop socially acceptable behavior for domestic robots in a setting where a user and the robot are sharing the same physical space and interact with each other in close proximity. Specifically, our research focuses on approach distances and directions in the context of a robot handing over an object to a userPeer reviewe

Interdisciplinary evidence-based recommendations for the follow-up of testicular cancer patients: a joint effort

Detailed recommendations for the treatment of testicular cancer exist and due to the stringent application of the standard therapies, most patients can nowadays be cured. Moreover in the treatment of early stage disease, active surveillance is now a cornerstone of treatment. Hence there is a clear need for recommendations regarding the long term follow-up of these young patients. These have to be safe, feasible and the intensity of procedures have to reflect the known risk of recurrence. Different proposals have been published but they differ widely especially in terms of frequency and modality of imaging. In the last few years, new evidence has become available regarding the relapse pattern of different disease stages of testicular cancer, the use of imaging in follow-up and the risks of excessive radiation due to imaging, in particular with CT scans. In this article, an interdisciplinary, multinational working group has reviewed the evidence and based on this has formulated practical recommendations for the follow-up of patients with testicular cancer

Proceedings of the 1st WSEAS International Conference on "Environmental and Geological Science and Engineering (EG'08)"

This book contains the proceedings of the 1st WSEAS International Conference on Environmental and Geological Science and Engineering (EG'08) which was held in Malta, September 11-13, 2008. This conference aims to disseminate the latest research and applications in Renewable Energy, Mineral Resources, Natural Hazards and Risks, Environmental Impact Assessment, Urban and Regional Planning Issues, Remote Sensing and GIS, and other relevant topics and applications. The friendliness and openness of the WSEAS conferences, adds to their ability to grow by constantly attracting young researchers. The WSEAS Conferences attract a large number of well-established and leading researchers in various areas of Science and Engineering as you can see from http://www.wseas.org/reports. Your feedback encourages the society to go ahead as you can see in http://www.worldses.org/feedback.htm The contents of this Book are also published in the CD-ROM Proceedings of the Conference. Both will be sent to the WSEAS collaborating indices after the conference: www.worldses.org/indexes In addition, papers of this book are permanently available to all the scientific community via the WSEAS E-Library. Expanded and enhanced versions of papers published in this conference proceedings are also going to be considered for possible publication in one of the WSEAS journals that participate in the major International Scientific Indices (Elsevier, Scopus, EI, ACM, Compendex, INSPEC, CSA .... see: www.worldses.org/indexes) these papers must be of high-quality (break-through work) and a new round of a very strict review will follow. (No additional fee will be required for the publication of the extended version in a journal). WSEAS has also collaboration with several other international publishers and all these excellent papers of this volume could be further improved, could be extended and could be enhanced for possible additional evaluation in one of the editions of these international publishers. Finally, we cordially thank all the people of WSEAS for their efforts to maintain the high scientific level of conferences, proceedings and journals

Antimicrobial peptide capsids of de novo design

The spread of bacterial resistance to antibiotics poses the need for antimicrobial discovery. With traditional search paradigms being exhausted, approaches that are altogether different from antibiotics may offer promising and creative solutions. Here, we introduce a de novo peptide topology that-by emulating the virus architecture-assembles into discrete antimicrobial capsids. Using the combination of high-resolution and real-time imaging, we demonstrate that these artificial capsids assemble as 20-nm hollow shells that attack bacterial membranes and upon landing on phospholipid bilayers instantaneously (seconds) convert into rapidly expanding pores causing membrane lysis (minutes). The designed capsids show broad antimicrobial activities, thus executing one primary function-they destroy bacteria on contact