1,052 research outputs found
A scalable infrastructure for teaching concepts of programming languages in Scala with WebLab: An experience report
No full textIn this paper, we report on our experience in teaching a course on concepts of programming languages at TU Delft based on Krishnamurthi's PAPL book with the definitional interpreter approach using Scala as meta-language and using the WebLab learning management system. In particular, we discuss our experience with encoding of definitional interpreters in Scala using case classes, pattern matching, and recursive functions; offering this material in the web-based learning management system WebLab; automated grading and feedback of interpreter submissions using unit tests; testing tests to force students to formulate tests, instead of just implementing interpreters; generation of tests based on a reference implementation to reduce the effort of producing unit tests; and the construction of a product line of interpreters in order to maximize reuse and consistency between reference implementations.Programming Language
Salerno. Le evidenze archeologiche
No full textL'articolo è frutto della revisione di tutte le schede archeologiche relative alle indagini condotte nel centro storico urbano dalla soprintendenza e messe a disposizione per motivi di studio all'interno del progetto DATABENC. Fausto Longo e Paola Scala si sono occupati dei siti di età premedievale, mentre Davide Sica ha realizzato la cartografia. La sottoscritta è responsabile delle schede di età tardoantica e medievale
Scala with Explicit Nulls
No full textThe Scala programming language makes all reference types implicitly nullable. This is a problem, because null references do not support most operations that do make sense on regular objects, leading to runtime errors. In this paper, we present a modification to the Scala type system that makes nullability explicit in the types. Specifically, we make reference types non-nullable by default, while still allowing for nullable types via union types. We have implemented this design for explicit nulls as a fork of the Dotty (Scala 3) compiler. We evaluate our scheme by migrating a number of Scala libraries to use explicit nulls. Finally, we give a denotational semantics of type nullification, the interoperability layer between Java and Scala with explicit nulls. We show a soundness theorem stating that, for variants of System F_ω that model Java and Scala, nullification preserves values of types
Scala with Explicit Nulls (Artifact)
No full textThis artifact is a companion to the paper "Scala with Explicit Nulls", where we present a modification to the Scala type system that makes nullability explicit in the types. Specifically, we make reference types non-nullable by default, while still allowing for nullable types via union types.
The artifact contains an implementation of this new type system design as a fork of the Dotty (Scala 3) compiler. Additionally, the artifact contains the source code of multiple Scala libraries that we used to evaluate our design
Classification and regression model to manage the hospitalization for laparoscopic cholecystectomy
No full textAbstract Gallstone disease (GD) is one of the most common morbidities in the world. Laparoscopic Cholecystectomy (LC) is currently the gold standard, performed in about 96% of cases. The most affected groups are the elderly, who generally have higher pre- and post-operative morbidity and mortality rates and longer Length of Stay (LOS). For this reason, several indicators have been defined to improve quality and efficiency and contain costs. In this study, data from patients who underwent LC at the “San Giovanni di Dio e Ruggi d’Aragona” University Hospital of Salerno in the years 2010–2020 were processed using a Multiple Linear Regression (MLR) model and Classification algorithms in order to identify the variables that most influence LOS. The results of the 2352 patients analyzed showed that pre-operative LOS and Age were the independent variables that most affected LOS. In particular, MLR model had a R2 value equal to 0.537 and the best classification algorithm, Decision Tree, had an accuracy greater than 83%. In conclusion, both the MLR model and the classification algorithms produced significant results that could provide important support in the management of this healthcare process
The classification algorithms to support the management of the patient with femur fracture
No full textAbstract Effectiveness in health care is a specific characteristic of each intervention and outcome evaluated. Especially with regard to surgical interventions, organization, structure and processes play a key role in determining this parameter. In addition, health care services by definition operate in a context of limited resources, so rationalization of service organization becomes the primary goal for health care management. This aspect becomes even more relevant for those surgical services for which there are high volumes. Therefore, in order to support and optimize the management of patients undergoing surgical procedures, the data analysis could play a significant role. To this end, in this study used different classification algorithms for characterizing the process of patients undergoing surgery for a femoral neck fracture. The models showed significant accuracy with values of 81%, and parameters such as Anaemia and Gender proved to be determined risk factors for the patient’s length of stay. The predictive power of the implemented model is assessed and discussed in view of its capability to support the management and optimisation of the hospitalisation process for femoral neck fracture, and is compared with different model in order to identify the most promising algorithms. In the end, the support of artificial intelligence algorithms laying the basis for building more accurate decision-support tools for healthcare practitioners
Special Issue “Materials for Photobiology”
No full text: Photobiology is a challenging research area that aims to explore the interactions between light and living organisms and their biological consequences, with applications in the fields of photomedicine, photo(nano)technology, photosynthesis, and photosensory biology [...]
Applying the DMAIC Cycle and Machine Learning to Examine COVID-19's Effects on Emergency Department-LOS
No full textEmergency Department Length of Stay (LOS) over time, a methodology known as Lean Six Sigma (LSS) has garnered popularity in the healthcare industry, originating from industrial practices. Its tool, the DMAIC cycle, comprising five main components, offers methodological rigor by comparing quantitative results to aid in process improvement. This study examined the effect of COVID-19 on patient length of stay (ED-LOS) in the emergency department of Penisola Hospital, utilizing LSS, specifically focusing on the DMAIC cycle. Moreover, Machine learning models including Random Forest (RF), Decision Trees (DT), and K-Nearest Neighbors (KNN) were used to forecast the length of stay (ED_LOS)
The analysis of COVID-19's Effects on Emergency Department-LOS using LSS approach and Machine Learning
No full textUsing the Lean Six Sigma methodology, specifically the DMAIC cycle, the impact of COVID 19 on patients' duration of stay in the Emergency Department (ED-LOS) of Santa Maria della Pietà, located in Nola, Italy, was investigated. Despite having originated in the manufacturing sector, LSS is now widely used in a variety of areas, such as healthcare, finance, and services. According to the findings, ED-LOS increased significantly in 2020 (the COVID19 year) as opposed to 2019 (the year before COVID19). In both datasets, Machine Learning algorithms show that age is the main predictor. It is considered that the new protocols implemented by the hospital management are the main cause of the trend
Note Illustrative della Carta Geologica D’Italia alla scala 1:50.000 foglio 200 Reggio Nell'Emilia
No full textIl Foglio 200 Reggio nell'Emilia della Carta Geologica d'Italia in scala 1:50.000 è stato realizzato nell'ambito del Progetto CARG, attraverso una convenzione tra il Servizio Geologico Nazionale (S.G.N.) e la Regione Emilia- Romagna (R.E.R.). Per i depositi pre-quaternari il criterio di rilevamento è quello litostratigrafico; le unità cartografate sono state organizzate secondo la gerarchia classica (formazioni e membri), utilizzando termini informali (complessi e litozone) per le unità di incerta collocazione stratigrafica o per quelle il cui stato di conoscenza non permette, per il momento, una migliore definizione. Le unità cartografate sono state raggruppate in grandi insiemi, domini e successioni, in base a rapporti stratigrafici e tettonici riconosciuti a scala regionale e all'interpretazione dell'evoluzione paleogeografica dei bacini sedimentari. All'interno dei rispettivi domini sono state definite delle unità tettoniche, comprendenti una o più unità litostratigrafiche, caratterizzate dalla posizione strutturale e dalla propria successione stratigrafica. Lo schema cronostratigrafico utilizzato è quello di Gradstein et alii (2004), per la cronostratigrafia del Quaternario si fa riferimento a Vai (1997) e Cita et alii (2006). Gli schemi biostratigrafici utilizzati sono quelli di Iaccarino (1985), Catanzariti et alii (1997) e Raffi et alii (2003). Per quanto riguarda lo studio dei depositi quaternari, l'analisi è stata affrontata con l'obiettivo di ricostruire l'assetto tridimensionale dei depositi della pianura e di rappresentarlo tramite la Carta Geologica di Superficie (Carta Geologica sensu stricto), la Carta di Sottosuolo e numerose sezioni geologiche realizzate con diversi gradi di dettaglio (Foglio Allegato alla Carta Geologica - Geologia di Sottosuolo). In particolare questo studio integrato di dati di superficie e di sottosuolo si è articolato in tre fasi: 1) raccolta dei dati geognostici esistenti. I dati, ubicati sulla cartografia tecnica regionale in scala 1:10.000 e caricati nella Banca Dati Geognostici Regionale (BDGR), comprendono (escluse le linee sismiche e i dati analitici di laboratorio) 375 carotaggi continui, 1557 prove penetrometriche, 28 stratigrafie di pozzi AGIP, 1691 stratigrafie di pozzi per acqua; 2) studio geologico di superficie. L'analisi delle foto aeree, tarata con un rilevamento geologico in scala 1:10.000 e con l'esame della BDGR (con 1196 dati pedologici puntuali), ha consentito di definire e delimitare le UBSU affioranti, formali ed informali, e di elaborare sia la Carta Geologica di Superficie che la Carta del tetto delle ghiaie relativa a gran parte della zona di pianura del Foglio. Per la descrizione pedostratigrafica delle unità continentali si è tenuto conto dei rilievi pedologici condotti dall’Ufficio Pedologico Regionale nell’ambito dei rilevamenti per la “Carta dei suoli della Regione Emilia-Romagna” (Filipp i & S barba ti, 1994); per la descrizione dei colori degli orizzonti si è fatto riferimento ai codici delle “Munsell Soil color charts”; 3) studio geologico di sottosuolo. Sulla base dei dati stratigrafici raccolti nella BDGR è stata costruita una rete di sezioni geologiche parallele e trasversali al margine che ha condotto ad una ricostruzione tridimensionale dell’architettura dei depositi in esame (Di D io et alii, 1997a, b). Le sezioni, sviluppate a partire dalle unità e dai limiti geologici affioranti, descrivono i depositi quaternari nel sottosuolo mediante l'utilizzo di numerosi profili sismici messi gentilmente a disposizione dall'ENI-AGIP e 11 sondaggi a carotaggio continuo, eseguiti ad hoc per il Progetto CARG corredati da un numero consistente di prove in sito (prove di permeabilità, prove di resistenza dei terreni, carotaggi radioattivi e prove di velocità in pozzo) e analisi di laboratorio (biostratigrafiche, petrografiche, geotecniche e di età radiometrica). La maglia di sezioni geologiche e l'interpretazione stratigrafica del sottosuolo hanno subito diverse revisioni, adeguandosi progressivamente alle teorie di correlazione delle unità a limiti inconformi che andavano man mano sviluppandosi e pervenendo ad una integrazione delle metodologie fisicostratigrafiche e sedimentologiche, tipiche della ricerca petrolifera dell'ultimo quarto di secolo, con quelle più tradizionali di derivazione geomorfologica e pedologica. Questo lavoro è stato possibile realizzarlo grazie alla disponibilità di un archivio di dati stratigrafici: la Banca Dati Geognostici, realizzata dal Servizio Geologico, Sismico e dei Suoli della Regione Emilia-Romagna. La Banca Dati, inoltre, è stata arricchita di nuove prove geognostiche: sondaggi a carotaggio continuo, prove penetrometriche e trivellate manuali, eseguite ad hoc durante il rilevamento del Foglio
- …
