Search results for "ROV"

Сводъ гражданскихъ узаконений губерний Прибалтийскихъ : (ч. 3 Свода местн. указ. губ. Остзейскихъ) : со включениямъ изменений и дополнений по продолж…

1915

Der Eigenthumserwerb am Wilde durch Occupation nach dem Privatrecht Liv-, Esth- und Kurlands, verglichen mit ausländischen Gesetzgebungen [... Eigent…

1904

Characterisation of clayey raw materials for ceramic manufacture in ancient Sicily

2011

Abstract It is well known that mineralogical, petrographic and chemical analyses can successfully support provenance studies of archaeological ceramics. The characterisation of a ceramic paste, the assessment of its technology of production and its provenance assignment related to a specific production centre or to a geographical and/or compositional space, are all tasks that can be performed even more accurately if the clayey raw materials used in pottery production are also studied. For that reason the identification of the clay deposits exploited in a given ceramic workshop often plays a key role in the archaeometric reconstruction of the production cycle where geology, mineralogy, petro…

FederatedCloudSim

2014

Recent developments show that the standardization of cloud service descriptions and exchange leads the way for the rise of cloud federations. In these federations CSPs (cloud service providers) can use resources of other CSPs in the case of a lack of local resources or they can add remote services to their catalogue. Cloud federations again demand for cloud brokers which offer the resources and services of different CSPs transparently to the users. Research of cloud federations in the real world is very complex and expensive as distributed hard- and software scenarios are needed. Therefore we present FederatedCloudSim, a very flexible cloud simulation framework that can be used to simulate …

Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications

2021

Abstract Unmanned aerial vehicle (UAV) co-operative systems are complex cyber-physical systems that integrate a high-level control algorithm with pre-existing closed implementations of lower-level vehicle kinematics. In model-driven development, simulation is one of the techniques that are usually applied, together with testing, in the analysis of system behaviours. This work proposes a method and tools to validate the design of UAV co-operative systems based on co-simulation and formal verification. The method uses the Prototype Verification System, an interactive theorem prover based on a higher-order logic language, and the Functional Mock-up Interface, a widely accepted standard for co-…

L'introduzione dell'articolo 387-bis del codice penale in materia di violazione dei provvedimenti di allontanamento dalla casa familiare e del diviet…

2020

Il contributo si sofferma sull'introduzione del delitto di cui all'art. 387-bis in materia di violazione dei provvedimenti di allontanamento dalla casa familiare e del divieto di avvicinamento ai luoghi frequentati dalla persona offesa.

Using Aerial Platforms in Predicting Water Quality Parameters from Hyperspectral Imaging Data with Deep Neural Networks

2020

In near future it is assumable that automated unmanned aerial platforms are coming more common. There are visions that transportation of different goods would be done with large planes, which can handle over 1000 kg payloads. While these planes are used for transportation they could similarly be used for remote sensing applications by adding sensors to the planes. Hyperspectral imagers are one this kind of sensor types. There is need for the efficient methods to interpret hyperspectral data to the wanted water quality parameters. In this work we survey the performance of neural networks in the prediction of water quality parameters from remotely sensed hyperspectral data in freshwater basin…

What can the concept of affective scaffolding do for us?

2020

The concept of affective scaffolding designates the various ways in which we manipulate the environment to influence our affective lives. In this article, I present a constructive critique of recent discussion on affective scaffolding. In Part 1, I summarize how the theories of situated mind and niche construction contribute to a multidimensional notion of scaffolding. In Part 2, I focus specifically on affective scaffolding and argue that current ambiguity over its distinctive criteria causes uncertainty as to how the concept can and should be used. In Part 3, I identify and examine two possible responses to the suggested state of conceptual ambiguity. The first, restrictive option is to k…

Noticing-prefaced recoveries of the interactional space in a video-mediated business meeting

2020

Drawing on conversation analysis and authentic data from a video-mediated multiparty meeting, this study investigates the sequential and temporal organisation of recoveries of the interactional space. It focuses on moments in which either an auditory or a visual barrier emerges, and the participants orient to these troubles through intensified bodily-visual displays: embodied noticings. The analysis illustrates noticing-prefaced recoveries of the interactional space as procedural and multimodal accomplishments that require close attentiveness to the co-participants’ verbal and visual conduct and to the contingencies of the meeting. The study highlights not only the affordances of video-medi…

Integrable systems, Frobenius manifolds and cohomological field theories

2022

In this dissertation, we study the underlying geometry of integrable systems, in particular tausymmetric bi-Hamiltonian hierarchies of evolutionary PDEs and differential-difference equations.First, we explore the close connection between the realms of integrable systems and algebraic geometry by giving a new proof of the Witten conjecture, which constructs the string taufunction of the Korteweg-de Vries hierarchy via intersection theory of the moduli spaces of stable curves with marked points. This novel proof is based on the geometry of double ramification cycles, tautological classes whose behavior under pullbacks of the forgetful and gluing maps facilitate the computation of intersection…