LIVIVO - The Search Portal for Life Sciences

zur deutschen Oberfläche wechseln
Advanced search

Search results

Result 1 - 6 of total 6

Search options

  1. Article ; Online: Sub-Gigahertz Path Loss Measurement Campaign in Marine Environment: A Case Study.

    De Piante, Marco / Midrio, Michele / Rinaldo, Roberto / Scagnetto, Ivan / Specogna, Ruben / Trevisan, Francesco

    Sensors (Basel, Switzerland)

    2024  Volume 24, Issue 8

    Abstract: This paper focuses on the characterization of radio propagation, and data communication in a marine environment. More specifically, we consider signal propagation when three different sub-gigahertz industrial, scientific, and medical (ISM) bands, i.e., ... ...

    Abstract This paper focuses on the characterization of radio propagation, and data communication in a marine environment. More specifically, we consider signal propagation when three different sub-gigahertz industrial, scientific, and medical (ISM) bands, i.e., 169 MHz, 434 MHz, and 868 MHz, are used. The main focus of the paper is to evaluate the path loss (PL), i.e., the power loss that a propagation radio wave would experience when communication occurs between a sail boat and a buoy. We describe the measurement results obtained performing three different radio power measurement campaigns, at the three different aforementioned ISM sub-gigahertz bands. We also want to correlate the radio propagation quality with the weather conditions present in the measurement areas. The obtained results show that higher distances are achieved by transmitting at lower frequencies, i.e., 169 MHz, and, on average, the propagation is directly dependent from the dew point index.
    Language English
    Publishing date 2024-04-18
    Publishing country Switzerland
    Document type Journal Article
    ZDB-ID 2052857-7
    ISSN 1424-8220 ; 1424-8220
    ISSN (online) 1424-8220
    ISSN 1424-8220
    DOI 10.3390/s24082582
    Database MEDical Literature Analysis and Retrieval System OnLINE

    More links

    Kategorien

  2. Book ; Online: Mobile Information Retrieval

    Crestani, Fabio / Mizzaro, Stefano / Scagnetto, Ivan

    2019  

    Abstract: Mobile Information Retrieval (Mobile IR) is a relatively recent branch of Information Retrieval (IR) that is concerned with enabling users to carry out, using a mobile device, all the classical IR operations that they were used to carry out on a desktop. ...

    Abstract Mobile Information Retrieval (Mobile IR) is a relatively recent branch of Information Retrieval (IR) that is concerned with enabling users to carry out, using a mobile device, all the classical IR operations that they were used to carry out on a desktop. This includes finding content available on local repositories or on the web in response to a user query, interacting with the system in an explicit or implicit way, reformulate the query and/or visualise the content of the retrieved documents, as well as providing relevance judgments to improve the retrieval process. This book is structured as follows. Chapter 2 provides a very brief overview of IR and of Mobile IR, briefly outlining what in Mobile IR is different from IR. Chapter 3 provides the foundations of Mobile IR, looking at the characteristics of mobile devices and what they bring to IR, but also looking at how the concept of relevance changed from standard IR to Mobile IR. Chapter 4 presents an overview of the document collections that are searchable by a Mobile IR system, and that are somehow different from classical IR ones; available for experimentation, including collections of data that have become complementary to Mobile IR. Similarly, Chapter 5 reviews mobile information needs studies and users log analysis. Chapter 6 reviews studies aimed at adapting and improving the users interface to the needs of Mobile IR. Chapter 7, instead, reviews work on context awareness, which studies the many aspects of the user context that Mobile IR employs. Chapter 8 reviews some of evaluation work done in Mobile IR, highlighting the distinctions with classical IR from the perspectives of two main IR evaluation methodologies: users studies and test collections. Finally, Chapter 9 reports the conclusions of this review, highlighting briefly some trends in Mobile IR that we believe will drive research in the next few years.

    Comment: 116 pages, published in 2017
    Keywords Computer Science - Information Retrieval ; Computer Science - Digital Libraries ; Computer Science - Human-Computer Interaction
    Subject code 600
    Publishing date 2019-02-05
    Publishing country us
    Document type Book ; Online
    Database BASE - Bielefeld Academic Search Engine (life sciences selection)

    More links

    Kategorien

  3. Book ; Online: $\mathsf{LLF}_{\cal P}$

    Honsell, Furio / Liquori, Luigi / Maksimovic, Petar / Scagnetto, Ivan

    a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads

    2017  

    Abstract: We extend the constructive dependent type theory of the Logical Framework $\mathsf{LF}$ with monadic, dependent type constructors indexed with predicates over judgements, called Locks. These monads capture various possible proof attitudes in establishing ...

    Abstract We extend the constructive dependent type theory of the Logical Framework $\mathsf{LF}$ with monadic, dependent type constructors indexed with predicates over judgements, called Locks. These monads capture various possible proof attitudes in establishing the judgment of the object logic encoded by an $\mathsf{LF}$ type. Standard examples are factoring-out the verification of a constraint or delegating it to an external oracle, or supplying some non-apodictic epistemic evidence, or simply discarding the proof witness of a precondition deeming it irrelevant. This new framework, called Lax Logical Framework, $\mathsf{LLF}_{\cal P}$, is a conservative extension of $\mathsf{LF}$, and hence it is the appropriate metalanguage for dealing formally with side-conditions in rules or external evidence in logical systems. $\mathsf{LLF}_{\cal P}$ arises once the monadic nature of the lock type-constructor, ${\cal L}^{\cal P}_{M,\sigma}[\cdot]$, introduced by the authors in a series of papers, together with Marina Lenisa, is fully exploited. The nature of the lock monads permits to utilize the very Lock destructor, ${\cal U}^{\cal P}_{M,\sigma}[\cdot]$, in place of Moggi's monadic $let_T$, thus simplifying the equational theory. The rules for ${\cal U}^{\cal P}_{M,\sigma}[\cdot]$ permit also the removal of the monad once the constraint is satisfied. We derive the meta-theory of $\mathsf{LLF}_{\cal P}$ by a novel indirect method based on the encoding of $\mathsf{LLF}_{\cal P}$ in $\mathsf{LF}$. We discuss encodings in $\mathsf{LLF}_{\cal P}$ of call-by-value $\lambda$-calculi, Hoare's Logic, and Fitch-Prawitz Naive Set Theory.

    Comment: Accepted for publication in LMCS
    Keywords Computer Science - Logic in Computer Science ; F.4.1
    Subject code 160
    Publishing date 2017-02-23
    Publishing country us
    Document type Book ; Online
    Database BASE - Bielefeld Academic Search Engine (life sciences selection)

    More links

    Kategorien

  4. Book ; Conference proceedings: Types for proofs and programs

    Honsell, Furio / Miculan, Marino / Scagnetto, Ivan

    international conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 ; revised selected papers

    (Lecture notes in computer science ; 4941)

    2008  

    Institution TYPES
    Event/congress TYPES (2007.05.02-05, CividaledelFriuli)
    Author's details Marino Miculan; Ivan Scagnetto; Furio Honsell (eds.)
    Series title Lecture notes in computer science ; 4941
    Keywords Automatic theorem proving ; Computer programming ; Beweistheorie ; Typentheorie ; Programmierung ; HOL ; Typsystem
    Language English
    Size VI, 202 S., 235 mm x 155 mm
    Publisher Springer
    Publishing place Berlin u.a.
    Document type Book ; Conference proceedings
    Note Literaturangaben
    ISBN 3540680845 ; 9783540680840
    Database Library catalogue of the German National Library of Science and Technology (TIB), Hannover

    More links

    Kategorien

  5. Book ; Conference proceedings: Types for proofs and programs

    Honsell, Furio / Miculan, Marino / Scagnetto, Ivan

    international conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 ; revised selected papers

    (Lecture notes in computer science ; 4941)

    2008  

    Institution TYPES
    Event/congress TYPES (2007.05.02-05, CividaledelFriuli)
    Author's details Marino Miculan; Ivan Scagnetto; Furio Honsell (eds.)
    Series title Lecture notes in computer science ; 4941
    Keywords Automatic theorem proving ; Computer programming ; Beweistheorie ; Typentheorie ; Programmierung ; HOL ; Typsystem
    Language English
    Size VI, 202 S., 235 mm x 155 mm
    Publisher Springer
    Publishing place Berlin u.a.
    Document type Book ; Conference proceedings
    Note Literaturangaben
    ISBN 3540680845 ; 9783540680840
    Database Former special subject collection: coastal and deep sea fishing

    More links

    Kategorien

  6. Book ; Conference proceedings ; Online: Types for Proofs and Programs

    Miculan, Marino / Honsell, Furio / Scagnetto, Ivan

    International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers

    (Lecture Notes in Computer Science ; 4941)

    2008  

    Event/congress TYPES (2007.05.02-05, CividaledelFriuli)
    Author's details edited by Marino Miculan, Ivan Scagnetto, Furio Honsell
    Series title Lecture Notes in Computer Science ; 4941
    Keywords Algebra/Data processing ; Artificial intelligence ; Computer science ; Logic design ; Beweistheorie ; Typentheorie ; Programmierung ; HOL ; Typsystem
    Language English
    Size Online-Ressource, v.: digital
    Publisher Springer
    Publishing place Berlin ;Heidelberg
    Document type Book ; Conference proceedings ; Online
    ISBN 9783540680840 ; 9783540681038 ; 3540680845 ; 3540681035
    DOI 10.1007/978-3-540-68103-8
    Database Former special subject collection: coastal and deep sea fishing

    More links

    Kategorien

To top