30,628 research outputs found

    Intelligenza Artificiale. Cos’è davvero, come funziona, che effetti avrà

    No full text
    Intelligenza Artificiale è la rivoluzione tecnologica che stiamo vivendo. Non è fantascienza e non ci aspetta certo al varco tra qualche anno sotto forma di un robot umanoide. No, è già qui, e tutti noi - consapevolmente o meno - la stiamo abbondantemente usando ogni giorno. Ogni volta che facciamo una ricerca su Internet, IA sta già operando da remoto, sul nostro smartphone, mostrandoci i risultati che ritiene più adatti a noi, e lo fa con una precisione inquietante. Questo è solo uno degli esempi più ovvi. In realtà IA sta già condizionando le nostre vite in mille altri modi, che spesso neppure immaginiamo. A dispetto del fatto che si tratta di una tecnologia che ormai pervade le nostre vite, pochi di noi sanno effettivamente come funzioni e in cosa consista questa novità tanto dirompente. E questo è un problema, perché, come ogni grande innovazione tecnologica, anche IA ha (e avrà sempre più in futuro) ricadute importanti in ogni settore della società. C’è chi la vede come una promessa salvifica e chi invece la teme come una terribile potenza distruttrice; in mezzo ci sono gli indifferenti, che spesso la usano senza neppure saperlo. Ma si temono (o si osannano) solo le cose che non si conoscono. Per questo motivo, in questo volume sono state riunite le competenze di sei diversi esperti del settore, determinati a spiegare in termini comprensibili cosa sia effettivamente questa nuova tecnologia e che effetti ha (e potrà avere) nei più diversi ambiti delle nostre vite. Dalle questioni più squisitamente tecniche ai nuovi dilemmi etici, dalle inedite incertezze giuridiche agli effetti sul mondo del lavoro, questo volume intende informare il pubblico al di là degli allarmismi hollywoodiani o dei facili entusiasmi futuristici, per contribuire a creare un dibattito ragionato sia sulle promesse sia sulle criticità che le nuove tecnologie informatiche ci impongono di affrontare, se vogliamo essere cittadini consapevoli della nuova società che sta prendendo rapidamente forma sotto i nostri occhi. Testi di Francesco Corea, Claudia Giulia Ferrauto, Fabio Fossa,Andrea Loreggia, Stefano Quintarelli, Salvatore Sapienza. Prefazione di Piero Angela

    Model-Checking techniques for efficently querying semistructured temporal data

    No full text
    In many applications information about the history of data and their dynamic aspects are just as important as static information. During the last years the increasing amount of unstructured or semistructured information accessible through the Web has presented new challenges to academic and industrial research on database. We have previously presented a model based on labeled graphs for representing changes in and interaction with semistructured data. In this paper we apply model-checking algorithms in order to efficiently solve temporal queries over this model

    Erratum to: Effect of moderate red wine intake on cardiac prognosis after recent acute myocardial infarction of subjects with Type 2 diabetes mellitus (Diabetic Medicine, (2006), 23, 9, (974-981), 10.1111/j.1464-5491.2006.01886.x)

    No full text
    In an article by Marfella et al, the author name C. Saron is incorrect and should be listed as C. Sardu. Therefore the correct author list is: R. Marfella, F. Cacciapuoti, M. Siniscalchi, F. C. Sasso, F. Marchese, F. Cinone, E. Musacchio, M. A. Marfella, L. Ruggiero, G. Chiorazzo, D. Liberti, G. Chiorazzo, G. F. Nicoletti, C. Sardu, F. D'Andrea, C. Ammendola, M. Verza and L. Coppola.In an article by Marfella et al, the author name C. Saron is incorrect and should be listed as C. Sardu. Therefore the correct author list is: R. Marfella, F. Cacciapuoti, M. Siniscalchi, F. C. Sasso, F. Marchese, F. Cinone, E. Musacchio, M. A. Marfella, L. Ruggiero, G. Chiorazzo, D. Liberti, G. Chiorazzo, G. F. Nicoletti, C. Sardu, F. D'Andrea, C. Ammendola, M. Verza and L. Coppola

    Elaboration on Kwapien's theorem: Representing bounded mean zero functions f as coboundary f = g ◦ T − g

    No full text
    In [8] Kwapien proved that every mean zero function f ∈ L∞[0, 1] we can write as f = g ◦ T − g for some g ∈ L∞[0, 1] and some measure preserving transformation T of [0, 1]. However, as was discovered in [4] there is a gap in the proof for the case that f is not continuous. The aim of this bachelor thesis is filling in that gap in the proof. We first extend Kwapien’s proof for continuous functions to certain other measure spaces. Thereafter, we use the method of proof suggested by Kwapien, to proof the theorem for mean zero function f ∈ L∞[0, 1] for which λ(f−1({x})) = 0 for all x ∈ R. Using this result we then proof that every mean zero function f ∈ L∞[0, 1] can be written as a sum f =(g1 ◦ T1 − g1) + (g2 ◦ T2 − g2) where g1, g2 ∈ L∞[0, 1] and where T1, T2 are measure preserving transformations of [0, 1]. We finish this thesis with an application of Kwapien’s theorem in the study to singular traces Applied Mathematic

    TWO-PHOTON SPECTROSCOPY OF THE F1ΠgF^{1}\Pi_{g} AND f3πgf^{3}\pi_{g} STATES OF F2F^{\ast}_{2}

    No full text
    ^{\ast} Research supported by AFOSR 1^{1} K. Hoshiba et al. J. Phys. B 18, 1.875 (1985). 2^{2} T. Sakai et al., J. Phys. B. 21, 229 (1988).Author Institution: Molecular Physics Laboratory, SRI InternationalThe F1ΠgF^{1}\Pi_{g} and f3Πgf^{3}\Pi_{g} states of F2F_{2} are excited from the ground 1Σg+^{1}\Sigma^{+}_{g} by two photons near 207 nm and detected by vuv fluorescence or by ionization by a third photon. The laser source for these measurements is an excimer-pumped dye laser operating with PBBO dye at 415 nm. This light is doubled in a βBaB2O4\beta-BaB_{2}O_{4} crystal and focused into a cell containing a mixture of F2F_{2} in He. The uv wavelengths were calibrated against the B2ΠX2ΠB^{2}\Pi-X^{2}\Pi (3.0) band in NO, which was calibrated against I2I_{2} in the visible. Vibrational levels v=0,1,2v' = 0, 1, 2 were observed in the F1ΠgF^{1}\Pi_{g} state and v=3v' = 3 in the f3Πgf^{3}\Pi_{g} state, based on the previous electron-impact assignments1assignments^{1}, and partially resolved rotationally (the effective excitation linewidth is 1cm11 cm^{-1}). These assignments are supported by simulations of the two-photon excitation spectra. Although the fluorescence has not yet been spectrally resolved, we believe that it arises predominantly from the triplet state even when the singlet is initially excited. In the latter case, the fluorescence is temporally delayed, and increases in intensity as the He density is increased. The two-phonon excitation scheme we have developed should be useful in investigating the kinetics of the 158 nm F2F_{2} laser, which is believed to arise from a transition from the outer well of the f3Πgf^{3}\Pi_{g} state to a weakly bound 3Πu3\Pi_{u} state correlating to ground state atoms.$^{2}

    Free product subgroups between Chevalley groups G(Φ,F) and G(Φ,F[t])

    No full text
    AbstractWe investigate subgroups of a Chevalley group G=G(Φ,A) over a ring A, containing its elementary subgroup E=E(Φ,F) over a subring F⊆A. Assume that the root system Φ is simply laced and A=F[t] is a polynomial ring. We show that if G is of adjoint type, then there exists an element g∈E(Φ,A) such that 〈g,E(Φ,F)〉=〈g〉*E(Φ,F), where 〈X〉 denotes the subgroup, generated by a set X, and * stands for the free product.It follows that under the above assumptions the lattice L=L(E,G) is not standard. Moreover, combining the above result with theorems of Nuzhin and the author one obtains a necessary and sufficient condition for L to be standard provided that A and F are fields of characteristic not 2 and Φ≠G2
    corecore