173 research outputs found

    ECDL per il problem solving : uso innovativo del foglio elettronico nella scuola secondaria di 2\ub0 grado

    Get PDF
    L\u2019articolo presenta un progetto di diffusione dell\u2019uso dello strumento foglio elettronico, contestualizzato alla risoluzione di problemi tipi delle materie curricolari presenti negli ultimi anni delle scuole secondarie di 2\ub0 grado. L\u2019approccio orientato al \u201cproblem solving\u201d viene proposto attraverso l\u2019analisi di un certo numero di esempi che costituiranno un materiale didattico di prossima realizzazione da parte di AICA

    Approximate logic synthesis: a survey

    Get PDF
    Approximate computing is an emerging paradigm that, by relaxing the requirement for full accuracy, offers benefits in terms of design area and power consumption. This paradigm is particularly attractive in applications where the underlying computation has inherent resilience to small errors. Such applications are abundant in many domains, including machine learning, computer vision, and signal processing. In circuit design, a major challenge is the capability to synthesize the approximate circuits automatically without manually relying on the expertise of designers. In this work, we review methods devised to synthesize approximate circuits, given their exact functionality and an approximability threshold. We summarize strategies for evaluating the error that circuit simplification can induce on the output, which guides synthesis techniques in choosing the circuit transformations that lead to the largest benefit for a given amount of induced error. We then review circuit simplification methods that operate at the gate or Boolean level, including those that leverage classical Boolean synthesis techniques to realize the approximations. We also summarize strategies that take high-level descriptions, such as C or behavioral Verilog, and synthesize approximate circuits from these descriptions

    Partition and propagate: an error derivation algorithm for the design of approximate circuits

    Get PDF
    Inexact hardware design techniques have become popular in error-tolerant systems, where energy efficiency is a primary concern. Several techniques aim to identify circuit portions that can be discarded under an error constraint, but research on systematic methods to determine such error is still at an early stage. We herein illustrate a generic, scalable algorithm that determines the influence of each circuit gate on the final output. The algorithm first partitions the graph representing the circuit, then determines the error propagation model of the resulting subgraphs. When applied to existing approximate design frameworks, our solution improves their efficiency and result quality

    Scenari d’uso della tecnologia 5G per l’apprendimento dentro e fuori la scuola

    Get PDF
    La disponibilit\ue0 della tecnologia 5G per la comunicazione ad alte prestazioni con dispositivi mobili apre nuovi scenari all\u2019adozione di strumenti e metodi per la didattica multimediale a distanza, sinora destinati, di fatto, a un utilizzo su postazioni fisse. In questo articolo si analizzano, da un lato, i requisiti prestazionali della didattica multimediale e, dall\u2019altro, le potenzialit\ue0 della tecnologia 5G, per arrivare infine a delineare alcuni possibili scenari che questo binomio render\ue0 possibili

    Postural adjustments of active youths in perturbation and dual-task conditions

    Get PDF
    Introduction: Cognitive components are necessary to maintain posture during external perturbations. However, few studies have investigated postural control when external perturbations are associated with a concomitant cognitive task (DT). Objectives: To analyze the behavior of reactive adjustments after perturbation with different intensities and displacements in active young adults; and to analyze the influence of DT on predictive and reactive adjustments in different perturbation conditions. Methods: Twenty-eight physically active young adults stood on an item of equipment that produced displacements of the base. Four experimental conditions were introduced in a single task (ST) and DT (cognitive-report how many times a pre-established number appeared in the audio): 1 (5 cm and 10 cm/s); 2 (5cm and 25 cm/s); 3 (12 cm and 10 cm/s) and 4 (12 cm and 25 cm/s). Three attempts were carried out for each condition (total=24). Center of pressure (CoP) parameters were analyzed considering the following windows: predictive (-250 to +50 ms), reactive 1 (+50 to +200 ms) and reactive 2 (+200 to +700 ms), in comparison to the start of the CoP activity. One-way ANOVAs were performed to analyze predictive adjustments, while two-way ANOVAs with factor for task (STxDT) and condition (1x2x3x4), with repeated measurements, were performed for the reactive adjustments. Results:One-way ANOVA (predictive) indicated that the subjects had higher CoP parameters in ST vs DT. In reactive adjustments 1 and 2, ANOVA indicated greater CoP parameters in condition 2 and 4 when compared to 1 and 3, and in the ST vs DT. The subjects took longer to recover stable position in conditions 1 and 3 than in conditions 2 and 4. Conclusion: Perturbation intensity has a greater influence on postural adjustments to maintain balance than on magnitude. Moreover, the association of cognitive tasks with external perturbation decreases CoP oscillation. Therefore, cognitive resources play an important role in postural control after perturbation

    Il progetto CampusOne e la certificazione ECDL nelle universit\ue0 italiane

    Get PDF
    Questo articolo presenta i risultati del progetto CampusOne della Conferenza dei Rettori delle Universit\ue0 Italiane (CRUI), con particolare riferimento all\u2019accreditamento delle abilit\ue0 nell\u2019uso degli strumenti informatici di base e alla certificazione ECDL (European Computer Driving Licence). L\u2019articolo analizza il ruolo e la diffusione della certificazione ECDL nelle Universit\ue0 Italiane e discute i metodi di formazione e i criteri adottati per il suo riconoscimento come parte dei percorsi universitari

    Formazione e certificazione informatica nelle scuole superiori

    Get PDF
    Questo articolo presenta i risultati di una rilevazione statistica e di un insieme di interviste a studenti sul tema della formazione e certificazione informatica nelle scuole superiori di tre regioni: Lazio, Lombardia e Puglia

    A Case of Hypothyroidism and Type 2 Diabetes Associated with Type V Hyperlipoproteinemia and Eruptive Xanthomas

    Get PDF
    Primary hypothyroidism and type 2 diabetes are both typically associated with the increased level of triglycerides. To date, there have been only a few case reports of type 2 diabetes patients with both type V hyperlipoproteinemia and eruptive xanthomas, but there have been no reports of hypothyroidism patients associated with eruptive xanthomas. We report here on a case of a 48-yr old female patient who was diagnosed with type 2 diabetes and primary hypothyroidism associated with both type V hyperlipoproteinemia and eruptive xanthomas. We found rouleaux formation of RBCs in peripheral blood smear, elevated TSH, and low free T4 level, and dyslipidemia (total cholesterol 18.1 mM/L, triglyceride 61.64 mM/L, HDL 3.0 mM/L, and LDL 2.54 mM/L). She has taken fenofibrate, levothyroxine, and oral hypoglycemic agent for 4 months. After treatment, both TSH level and lipid concentration returned to normal range, and her yellowish skin nodules have also disappeared
    • …
    corecore