24 research outputs found
Geriatric Approaches to Rectal Cancer: Moving Towards a Patient-Tailored Treatment Era
No full textRectal cancer is a significant global health concern, particularly amongst the elderly population, with rectal cancer accounting for approximately one-third of cancer cases in this population. Older adults often present with advanced disease stages and unique clinical manifestations, such as tumors closer to the anal verge and with greater size. Diagnosis typically involves a series of screening and imaging strategies, culminating in accurate staging through pelvic MRI, endoscopic ultrasound, and CT scan. Management of rectal cancer in older adults emphasizes individualized treatment plans that consider both the cancer stage and the patient’s overall health status, including frailty and comorbidities. A multidisciplinary approach, including a mandatory geriatric assessment, is essential for optimizing outcomes, in order to improve survival and quality of life for elderly patients with rectal cancer
A Theorem Prover Based Approach for SAT-Based Model Checking Certification
No full textIn the field of formal verification, certifying proofs serve as compelling evidence to demonstrate the correctness of a model within a deductive system. These proofs can be automatically generated as a by-product of the verification process and are key artifacts for high-assurance systems. Their significance lies in their ability to be independently verified by proof checkers, which provides a more convenient approach than certifying the tools that generate them. Modern model checking algorithms adopt deductive methods and usually generate proofs in terms of inductive invariants, assuming that these apply to the original system under verification. Model checkers, though, often make use of a range of complex pre-processing simplifications and transformations to ease the verification process, which add another layer of complexity to the generation of proofs. In this paper, we present a novel approach for certifying model checking results exploiting a theorem prover and a theory of temporal deductive rules that can support various kinds of transformations and simplification of the original circuit. We implemented and experimentally evaluated our contribution on invariants generated using two state-of-the-art model checkers, nuXmv and PdTRAV, and by defining a set of rules within a theorem prover, to validate each certificate
Source Control and Antibiotics in Intra-Abdominal Infections
No full textIntra-abdominal infections (IAIs) account for a major cause of morbidity and mortality, representing the second most common sepsis-related death with a hospital mortality of 23-38%. Prompt identification of sepsis source, appropriate resuscitation, and early treatment with the shortest delay possible are the cornerstones of management of IAIs and are associated with a more favorable clinical outcome. The aim of source control is to reduce microbial load by removing the infection source and it is achievable by using a wide range of procedures, such as definitive surgical removal of anatomic infectious foci, percutaneous drainage and toilette of infected collections, decompression, and debridement of infected and necrotic tissue or device removal, providing for the restoration of anatomy and function. Damage control surgery may be an option in selected septic patients. Intra-abdominal infections can be classified as uncomplicated or complicated causing localized or diffuse peritonitis. Early clinical evaluation is mandatory in order to optimize diagnostic testing and establish a therapeutic plan. Prognostic scores could serve as helpful tools in medical settings for evaluating both the seriousness and future outlook of a condition. The patient's conditions and the potential progression of the disease determine when to initiate source control. Patients can be classified into three groups based on disease severity, the origin of infection, and the patient's overall physical health, as well as any existing comorbidities. In recent decades, antibiotic resistance has become a global health threat caused by inappropriate antibiotic regimens, inadequate control measures, and infection prevention. The sepsis prevention and infection control protocols combined with optimizing antibiotic administration are crucial to improve outcome and should be encouraged in surgical departments. Antibiotic and antifungal regimens in patients with IAIs should be based on the resistance epidemiology, clinical conditions, and risk for multidrug resistance (MDR) and Candida spp. infections. Several challenges still exist regarding the effectiveness, timing, and patient stratification, as well as the procedures for source control. Antibiotic choice, optimal dosing, and duration of therapy are essential to achieve the best treatment. Promoting standard of care in the management of IAIs improves clinical outcomes worldwide. Further trials and stronger evidence are required to achieve optimal management with the least morbidity in the clinical care of critically ill patients with intra-abdominal sepsis
Panigai (di) Bortolo, matematico e geografo
No full textPANIGAI (DI) BORTOLO, MATEMATICI, GEOGRAFI, FRIULI VENEZIA GIULIA, BIOGRAFI
Overthrowing linguistic and cultural barriers by after-school context. Two examples in Legnaro and in Padua
No full textopenLa tesi presentata si chiede quanto il contesto del doposcuola possa favorire l’abbattimento di barriere linguistiche e culturali da parte di alunni che abbiano l’italiano come lingua seconda o che provengano da contesti famigliari di origine straniera. Per affrontare tale quesito la tesista si è rifatta a esperienze sul campo in due distinte realtà di doposcuola a Padova e a Legnaro, entrambe offerte da volontari e volontarie in ambito parrocchiale.The presented thesis asks itself how after-school context can favour the linguistic and cultural barrier overthrow by Italian-as-second-language students or that are coming from a stranger-originated family contexts. For facing with this question, the thesis writer goes back to some camp experiences in two different realities, offert by volunteers in parochial context
Task Shifting in radiological area: survey in Veneto Region
No full textreservedIl processo di Task Shifting viene definito, da WHO, come l’insieme di attività correlate e svolte al fine della redistribuzione razionale delle competenze nei lavoratori del settore salute. Ai fini di questa tesi è stata effettuata un'analisi del contesto internazionale e nazionale in merito al task shifting in area radiologica. E' stata effettuata successivamente una survey che ha coinvolto Dirigenti delle Professioni Sanitarie, Medici Radiologi e Tecnici Sanitari di Radiologia Medica
Mate desertion affects offspring survival, development and physiology in a songbird with multiple parental strategies
No full textAuthor Contributions
Alejandro Cantarero, Matteo Griggio, Jenny Q Ouyang, Andrea Pilastro and Davide Baldan conceived the ideas and designed the methodology; Alejandro Cantarero, Matteo Beccardi, Manuel Fuertes-Recuero, Matteo Schiavinato, Lia Zampa and Davide Baldan collected the data; Valentina Alaasam, Alejandro Corregidor-Castro and Alessandro Grapputo analysed the data; and Valentina Alaasam, Jenny Q Ouyang and Davide Baldan led the writing of the manuscript. All authors contributed critically to the drafts and gave final approval for publication.Sexual conflict affects the amount and duration of offspring care each parent invests, resulting in multiple parental care strategies sometimes coexisting within a single population. Understanding the persistence of multiple parental care strategies requires a precise estimate of the benefits and costs associated with parental decisions. Even though the benefits of brood desertion are well known, the reproductive costs of desertion (i.e., nestlings' physiological conditions and survival), are less explored.
We use rock sparrows, Petronia petronia, a species in which both uniparental and biparental care occur in the same population, to investigate the costs of brood desertion. Specifically, we continuously monitored breeding attempts to explore the behavioural mechanisms (desertion decision and compensatory responses) and the reproductive and physiological consequences (offspring corticosterone concentrations, oxidative stress, telomere attrition) of parental care strategies.
We show that male desertion was not related to the initial value of the brood (clutch size, brood size) but was associated with a reduction in the survival probability of the nestlings. Females caring alone increased their per capita feeding rate, partially compensating for the lack of male care. Nestlings deserted earlier also experienced higher oxidative stress and had higher corticosterone concentrations during the early stages of development, but these effects did not persist to fledging, and there were no differences in telomere attrition.
Our findings indicate combined reproductive and physiological costs associated with brood desertion. Considering these costs is essential to understand the evolution and persistence of polymorphic patterns of care.National Biodiversity Future CenterMinisterio de Ciencia, Innovación y Universidades (España)Università degli Studi di PadovaDepto. de FisiologíaFac. de VeterinariaTRUEpu
Next-Generation Sequencing Analysis Revealed That BCL11B Chromosomal Translocation Cooperates with Point Mutations in the Pathogenesis of Acute Myeloid Leukemia
No full text
