4,512 research outputs found

    F-Olivieri/TASL-05993-2016-additional-material v1.0

    No full text
    No description provided

    Audio files for the BeamformingTargetSig_Listen software

    No full text
    Audio Files associated to the software available from https://github.com/F-Olivieri/BeamformingTargetSig_Listen Follow the instructions on the link provided above.</span

    Audio files for the BeamformingAlgComp_Listen software

    No full text
    Audio Files associated to the software available from https://github.com/F-Olivieri/BeamformingAlgComp_Listen Follow the instructions on the link provided above.</span

    A collection of MATLAB functions for the measurement of transfer functions and impulse responses of multichannel audio systems

    No full text
    A MATLAB toolbox to perform multichannel audio measurements for the estimation of impulse responses (using white noise or sine sweep methods). A license can be found in the README.md file contained in the ZIP archive. The ZIP file contains MATLAB functions and and example script. Please add the folder containing the toolbox to the MATLAB path. Run the example file SystemResponseToolbox_Example_Script_RunMe.m More information may be found in the README.md file. Please refer to the Github repository for the latest version of the toolbox https://github.com/F-Olivieri/matlab-audio-measurements-toolbox</span

    Italiani e emigrazione. Dalla valigia al web

    No full text
    Nella ricostruzione storica dell'emigrazione italiana del secolo scorso troviamo le radici di molte delle contraddizioni della nostra attuale società. Questo testo nasce dalla volontà di riportare all'attenzione del lettore un fenomeno, quello migratorio, che oggi sta riemergendo con tutto il suo carico di storie, fallimenti e successi. Presso la Facoltà di Scienze della Formazione dell'Università di Roma Tre sono stati condotti, laboratori dedicati alla storia dell'emigrazione italiana, avviando così un'indagine conoscitiva sulla percezione del fenomeno migratorio italiano tra i giovani studenti universitari. I risultati di questo lavoro sono contenuti nel volume, che raccoglie i contributi di alcune tra le figure più autorevoli nel panorama disciplinare della storia dell'emigrazione italiana. Spostamenti ed incontri, che lasceranno tracce e memorie e costituiranno una vera sfida interculturale per le nuove generazioni e per la nostra società. Questo lavoro si configura quindi come una piccola bussola per orientare la rotta verso la scoperta di nuovi possibili approdi

    Proarna olivieri Metcalf 1963

    No full text
    Proarna olivieri Metcalf, 1963a Cicada albida Olivier 1790: 755. (Cape of Good Hope, Suriname) Proarna olivieri nom. nov. pro Cicada albida Olivier, 1790 nec Cicada albida Gmelin, 1789 Metcalf 1963a: 380. Remarks. This is the largest of the known Proarna species from Suriname. Body lengths are 22–24 mm. The quickest way to distinguish this species from the other Proarna in Suriname is the strongly curved base of the costal margin in P. olivieri while the costal margin is straight in the both P. proximorubrovenosa n. sp. and P. pulverea. In addition, the fore wing length is about 3.25X width P. olivieri but 3.15X in P. proximorubrovenosa n. sp. and 2.9X in P. pulverea. Distribution. The reference to the Cape of Good Hope as a site of origin for the species is in error as the species has been recorded from much of the Caribbean, Central America, and northern South America. The species has been reported from Brazil, Colombia, Costa Rica, Cuba, French Guiana, Guatemala, Guyana, Jamaica, Mexico, Suriname, Trinidad, and Venezuela (Metcalf 1963a; Duffels & van der Laan 1985; Sanborn 2011a; 2013; 2014a; 2020e).Published as part of Sanborn, Allen F., 2020, The cicadas (Hemiptera: Cicadidae) of Suriname including the description of two new species, five new combinations, and three new records, pp. 453-481 in Zootaxa 4881 (3) on page 462, DOI: 10.11646/zootaxa.4881.3.2, http://zenodo.org/record/428389

    Deontic meta-rules

    No full text
    The use of meta-rules in logic, i.e., rules whose content includes other rules, has recently gained attention in the setting of non-monotonic reasoning: a first logical formalisation and efficient algorithms to compute the (meta)-extensions of such theories were proposed in Olivieri et al. (2021, Computing defeasible meta-logic. In JELIA 2021, LNCS, vol. 12678, pp. 69-84. Springer.). This work extends such a logical framework by considering the deontic aspect. The resulting logic will not just be able to model policies but also tackle well-known aspects that occur in numerous legal systems. The use of Defeasible Logic to model meta-rules in the application area we just alluded to has been investigated. Within this line of research, the study mentioned above was not focusing on the general computational properties of meta-rules.This study fills this gap with two major contributions. First, we introduce and formalise two variants of Defeasible Deontic Logic (DDL) with meta-rules to represent (i) defeasible meta-theories with deontic modalities and (ii) two different types of conflicts among rules: Simple Conflict DDL and Cautious Conflict DDL. Second, we advance efficient algorithms to compute the extensions for both variants
    corecore