Search results for: Antonio Marco Miotti

Authors: Umberto Di Staso, Marco Soave, Alessio Giori, Federico Prandi, Raffaele De Amicis

Abstract:

The increasing availability of information about earth surface elevation (Digital Elevation Models DEM) generated from different sources (remote sensing, Aerial Images, Lidar) poses the question about how to integrate and make available to the most than possible audience this huge amount of data. In order to exploit the potential of 3D elevation representation the quality of data management plays a fundamental role. Due to the high acquisition costs and the huge amount of generated data, highresolution terrain surveys tend to be small or medium sized and available on limited portion of earth. Here comes the need to merge large-scale height maps that typically are made available for free at worldwide level, with very specific high resolute datasets. One the other hand, the third dimension increases the user experience and the data representation quality, unlocking new possibilities in data analysis for civil protection, real estate, urban planning, environment monitoring, etc. The open-source 3D virtual globes, which are trending topics in Geovisual Analytics, aim at improving the visualization of geographical data provided by standard web services or with proprietary formats. Typically, 3D Virtual globes like do not offer an open-source tool that allows the generation of a terrain elevation data structure starting from heterogeneous-resolution terrain datasets. This paper describes a technological solution aimed to set up a so-called “Terrain Builder”. This tool is able to merge heterogeneous-resolution datasets, and to provide a multi-resolution worldwide terrain services fully compatible with CesiumJS and therefore accessible via web using traditional browser without any additional plug-in.

Keywords: Terrain Builder, WebGL, Virtual Globe, CesiumJS, Tiled Map Service, TMS, Height-Map, Regular Grid, Geovisual Analytics, DTM

Procedia PDF Downloads 396

Authors: Gloria Pinilla, Jose Manuel Baena, Patricia Gálvez-Martín, Juan Antonio Marchad

Abstract:

Cartilage is a dense connective tissue with limited self-repair properties. Currently, the therapeutic use of autologous or allogenic chondrocytes makes up an alternative therapy to the pharmacological treatment. The design of a bioprinted 3D cartilage with chondrocytes and biodegradable biomaterials offers a new therapeutic alternative able of bridging the limitations of current therapies in the field. We have developed an enhanced printing processes-Injection Volume Filling (IVF) to increase the viability and survival of the cells when working with high-temperature thermoplastics without the limitation of the scaffold geometry in contact with cells. We have demonstrated the viability of the printing process using chondrocytes for cartilage regeneration. This development will accelerate the clinical uptake of the technology and overcomes the current limitation when using thermoplastics as scaffolds. An alginate-based hydrogel combined with human chondrocytes (isolated from osteoarthritis patients) was formulated as bioink-A and the polylactic acid as bioink-B. The bioprinting process was carried out with the REGEMAT V1 bioprinter (Regemat 3D, Granada-Spain) through a IVF. The printing capacity of the bioprinting plus the viability and cell proliferation of bioprinted chondrociytes was evaluated after five weeks by confocal microscopy and Alamar Blue Assay (Biorad). Results showed that the IVF process does not decrease the cell viability of the chondrocytes during the printing process as the cells do not have contact with the thermoplastic at elevated temperatures. The viability and cellular proliferation of the bioprinted artificial 3D cartilage increased after 5 weeks. In conclusion, this study demonstrates the potential use of Regemat V1 for 3D bioprinting of cartilage and the viability of bioprinted chondrocytes in the scaffolds for application in regenerative medicine.

Keywords: cartilage regeneration, bioprinting, bioink, scaffold, chondrocyte

Procedia PDF Downloads 285

Authors: Giuseppina Settanni, Antonio Panarese, Raffaele Vaira, Maurizio Galiano

Abstract:

Nowdays, artificial intelligence is used successfully in academia and industry for its ability to learn from a large amount of data. In particular, in recent years the use of machine learning algorithms in the field of e-commerce has spread worldwide. In this research study, a prototype software platform was designed and implemented in order to suggest to users the most suitable products for their needs. The platform includes a chatbot and a recommender system based on artificial intelligence algorithms that provide suggestions and decision support to the customer. The recommendation systems perform the important function of automatically filtering and personalizing information, thus allowing to manage with the IT overload to which the user is exposed on a daily basis. Recently, international research has experimented with the use of machine learning technologies with the aim to increase the potential of traditional recommendation systems. Specifically, support vector machine algorithms have been implemented combined with natural language processing techniques that allow the user to interact with the system, express their requests and receive suggestions. The interested user can access the web platform on the internet using a computer, tablet or mobile phone, register, provide the necessary information and view the products that the system deems them most appropriate. The platform also integrates a dashboard that allows the use of the various functions, which the platform is equipped with, in an intuitive and simple way. Artificial intelligence algorithms have been implemented and trained on historical data collected from user browsing. Finally, the testing phase allowed to validate the implemented model, which will be further tested by letting customers use it.

Keywords: machine learning, recommender system, software platform, support vector machine

Procedia PDF Downloads 108

Authors: Edit Xhajanka, Gresa Baboci, Irene Malagnino, Mimoza Canga, Vito Antonio Malagnino

Abstract:

Purpose: This study aimed at identifying dental caries increment or reduction, based on factors such as smoking, the scaling of teeth, BMI before and during pregnancy, carbohydrates consumption in relation to childbirth. Material and method: In this observational study, the sample included a total of 98 pregnant women and their age class was 18-45 years old, with a median age of 31.5 years. The setting of the participants resides in Vlora –Albania. Moreover, 64.4% were from the city and 35.6% were from the nearby villages. The study was conducted in the time period January 2018 –June 2021. Body mass index (BMI) was calculated using the standard formula (kg/m²). Maternal pre, during and post-pregnancy BMI was collected by using a validated questionnaire. Statistical analysis was performed using IBM SPSS Statistics 23.0. The significance level (α) was set at 0.05, whereas P-value and analysis of variance (ANOVA) were used to analyze the data. Results: Based on the data analysis, 44.4% of the sample declared that they did smoke before pregnancy and 55.6% not smoked during their pregnancy. As a result, no association was found between smoking and length of pregnancy P=0.95. There is also a strong relation (P=0.000) between the number of teeth with caries before pregnancy and the number of teeth with caries during pregnancy. There is a significant relationship between the scaling of teeth and childbirth, P=0.05. BMI before and during pregnancy in relation to carbohydrates consumption have a significant correlation P=0.004 and P=0.002. The values of BMI before and during pregnancy in relation to childbirth have a strong correlation: P=0.043 and P=0.040, respectively. As a result, obesity was associated with preterm birth. The percentage of children born during 34-36 weeks of pregnancy was 69%, and children born during 32-34 weeks of pregnancy were 31%. CONCLUSION: There was a positive association between dental caries experience, BMI and carbohydrates consumption. Obesity in pregnancy is increasing worldwide; that is why this study suggests the importance of an appropriate weight before and during pregnancy.

Keywords: BMI, dental caries, pregnancy, scaling, smoking

Procedia PDF Downloads 165

Authors: Alessandro Preziosi, Antonio Prioletti, Luca Castangia

Abstract:

Deformable part models achieve high precision in pedestrian recognition, but all publicly available implementations are too slow for real-time applications. We implemented a deformable part model algorithm fast enough for real-time use by exploiting information about the camera position and orientation. This implementation is both faster and more precise than alternative DPM implementations. These results are obtained by computing convolutions in the frequency domain and using lookup tables to speed up feature computation. This approach is almost an order of magnitude faster than the reference DPM implementation, with no loss in precision. Knowing the position of the camera with respect to horizon it is also possible prune many hypotheses based on their size and location. The range of acceptable sizes and positions is set by looking at the statistical distribution of bounding boxes in labelled images. With this approach it is not needed to compute the entire feature pyramid: for example higher resolution features are only needed near the horizon. This results in an increase in mean average precision of 5% and an increase in speed by a factor of two. Furthermore, to reduce misdetections involving small pedestrians near the horizon, input images are supersampled near the horizon. Supersampling the image at 1.5 times the original scale, results in an increase in precision of about 4%. The implementation was tested against the public KITTI dataset, obtaining an 8% improvement in mean average precision over the best performing DPM-based method. By allowing for a small loss in precision computational time can be easily brought down to our target of 100ms per image, reaching a solution that is faster and still more precise than all publicly available DPM implementations.

Keywords: autonomous vehicles, deformable part model, dpm, pedestrian detection, real time

Procedia PDF Downloads 250

Authors: Antonio De Lisa

Abstract:

The aim of this contribution is to describe a Sufi ceremony personally observed and recorded in Istanbul. It is part of research on the semiotics of religion that has been going on for some time. Over the centuries, Sufism has produced remarkable literature, elaborated mainly in the context of Arabic literature and Persian literature, but has also found expression in many other languages (Turkish, Indian, Malayo-Indonesian, etc.). Among the genres cultivated are: devotional books (prayers, meditation, spiritual exercises, etc.); the hagiographic texts, containing the biographies and sentences of the best-known Sufis; the texts that illustrate the abodes or stations of the spiritual path; finally, the theoretical treatises on various topics, often of an apologetic nature. Another typical expression of Sufism is in the literature in verse, which includes first-rate poets of both Arabic (Ibn al-Farid, Ibn 'Arabi) and Persian (Farid al-Din al-Attar, Rumi, Hafez, Gohar Shahi) expression. To observe an authentic Sufi ceremony, we contacted the Silivrikapı Mevlana Cultural Center in Istanbul. The ceremony we will talk about is a characteristic of the brotherhood called Mevleviyye (Mawlawiyya), so called from Mawlānā ('our lord', in Turkish: Mevlānā) Jalāl al-Dīn Muḥammad Rūmī (13th century) better known as the brotherhood of the Whirling Dervishes, founded in Konya. The characteristic of the order is to pray about one's love for Allah with music and dance in a ritual that has the name of Semà. The dance is a swirling movement in a group, representing a mystical journey of the spiritual ascent of man through the mind and love for the 'perfect'. Turning towards the truth, the follower of the group ascends towards love, passing beyond the World and Nothingness. After asceticism, he returns to the common world to communicate his own experience.

Keywords: semiotics of religion, sufi, rumi, islamic philosophy

Procedia PDF Downloads 53

Authors: Mohammad M. Aria, Fatma Öz, Yashar Esmaeilian, Marco Carofiglio, Valentina Cauda, Özlem Yalçın

Abstract:

Photoelectrical stimulation of cells with semiconductor organic polymers have been shown promising applications in neuroprosthetics such as retinal prosthesis. Photoelectrical stimulation of the cell membranes can be induced through a photo-electric charge separation mechanism in the semiconductor materials, and it can alter intracellular calcium level through both stimulation of voltage-gated ion channels and increase of intracellular reactive oxygen species (ROS) level. On the other hand, targeting voltage-gated ion channels in cancer cells to induce cell apoptosis through calcium signaling alternation is an effective mechanism which has been explained before. In this regard, remote control of the voltage-gated ion channels aimed to alter intracellular calcium by using photo-active organic polymers can be novel technology in cancer therapy. In this study, we used P (ITO/Indium thin oxide)/P3HT(poly(3-hexylthiophene-2,5-diyl)) and PN (ITO/ZnO/P3HT) photovoltaic junctions to stimulate MDA-MB-231 breast cancer cells. We showed that the photo-stimulation of breast cancer cells through photo capacitive current generated by the photovoltaic junctions are able to excite the cells and alternate intracellular calcium based on the calcium imaging (at 8mW/cm² green light intensity and 10-50 ms light durations), which has been reported already to safety stimulate neurons. The control group did not undergo light treatment and was cultured in T-75 flasks. We detected 20-30% cell death for ITO/P3HT and 51-60% cell death for ITO/ZnO/P3HT samples in the light treated MDA-MB-231 cell group. Western blot analysis demonstrated poly(ADP-ribose) polymerase (PARP) activated cell death in the light treated group. Furthermore, Annexin V and PI fluorescent staining indicated both apoptosis and necrosis in treated cells. In conclusion, our findings revealed that the photoelectrical stimulation of cells (through long time overstimulation) can induce cell death in cancer cells.

Keywords: Ca²⁺ signaling, cancer therapy, electrically excitable cells, photoelectrical stimulation, voltage-gated ion channels

Procedia PDF Downloads 147

Authors: Ling Xu, Giuseppe Loprencipe, Antonio D'Andrea

Abstract:

Asphalt pavement with recycled and sustainable materials has become the most commonly adopted strategy for road construction, including reclaimed asphalt pavement (RAP) and crumb rubber (CR) from waste tires. However, the adhesion and cohesion characteristics of rubberized reclaimed asphalt pavement were still ambiguous, resulting in deteriorated adhesion behavior and life performance. This research investigated the effect of bonding characteristics on rutting resistance and moisture susceptibility of rubberized reclaimed asphalt pavement in terms of two RAP sources with different oxidation levels and two tire rubber with different particle sizes. Firstly, the binder bond strength (BBS) test and bonding failure distinguishment were conducted to analyze the surface behaviors of binder-aggregate interaction. Then, the compatibility and penetration grade of rubberized RAP binder were evaluated by rotational viscosity test and penetration test, respectively. Hamburg wheel track (HWT) test with high-temperature viscoelastic deformation analysis was adopted, which illustrated the rutting resistance. Additionally, a water boiling test was employed to evaluate the moisture susceptibility of the mixture and the texture features were characterized with the statistical parameters of image colors. Finally, the colloid structure model of rubberized RAP binder with surface interaction was proposed, and statistical analysis was established to release the correlation among various indexes. This study concluded that the gel-phase colloid structure and molecular diffusion of the free light fraction would affect the surface interpretation with aggregate, determining the bonding characteristic of rubberized RAP asphalt.

Keywords: bonding characteristics, reclaimed asphalt pavement, rubberized asphalt, sustainable material

Procedia PDF Downloads 29

Authors: Rolando Barradas, Salviano Soares, António Valente, José Alberto Lencastre, Paulo Oliveira

Abstract:

This article reviews the Ant Colony Optimization, a nature-inspired algorithm, and its implementation in the Scratch/m-Block programming environment. The Ant Colony Optimization is a part of Swarm Intelligence-based algorithms and is a subset of biological-inspired algorithms. Starting with a problem in which one has a maze and needs to find its path to the center and return to the starting position. This is similar to an ant looking for a path to a food source and returning to its nest. Starting with the implementation of a simple wall follower simulator, the proposed solution uses a dynamic graphical interface that allows young students to observe the ants’ movement while the algorithm optimizes the routes to the maze’s center. Things like interface usability, Data structures, and the conversion of algorithmic language to Scratch syntax were some of the details addressed during this implementation. This gives young students an easier way to understand the computational concepts of sequences, loops, parallelism, data, events, and conditionals, as they are used through all the implemented algorithms. Future work includes the simulation results with real contest mazes and two different pheromone update methods and the comparison with the optimized results of the winners of each one of the editions of the contest. It will also include the creation of a Digital Twin relating the virtual simulator with a real micromouse in a full-size maze. The first test results show that the algorithm found the same optimized solutions that were found by the winners of each one of the editions of the Micromouse contest making this a good solution for maze pathfinding.

Keywords: nature inspired algorithms, scratch, micromouse, problem-solving, computational thinking

Procedia PDF Downloads 90

Authors: Claire B. Salvedia, Enrico P. Supangco, Francisco B. Eligado, Renato Sa Vega, Antonio A. Rayos

Abstract:

The study was conducted to evaluate the effect of probiotic feeding on weight gain, blood biochemical and hematological indices of crossbred dairy goat kids. Sixteen (16) crossbred Anglo-Nubian x Saanen dairy goat kids, 3 to 4 months old, ranging from 19 to 23kg were randomly assigned into four treatments fed with 5x109 cfu/ml probiotic supplements; Treatment 1 – control; Treatment 2 – lactic acid bacteria (L. plantarum BS and P. acidilactici 3G3); treatment 3 – S. cerevisiae 2030; Treatment 4 – multi-strain probiotics (L. plantarum BS, P. acidilactici 3G3, and S.cerevisiae 2030). Feed ration provided daily for each of the experimental animals were composed of 1kg mixed concentrate feed ((Leucaena leucocephala dried leaves and pollard), and 4 kg fresh Pennisetum purpureum and Gliciridia sepium leaves (50:50). The experimental feeding trial lasted for 9 weeks. Result revealed that treatments fed with probiotics had significantly (P≤0.05) higher weight gain compared to the control. Significant effect on plasma urea nitrogen (PUN) and triglyceride were noted during 30th and 60th day of probiotic feeding. White blood cell counts were significantly affected by probiotic feeding during the 60th day. Concentrations of glucose and cholesterol remained unchanged throughout the experimental period. The findings suggests, under the condition of the experiment, that live probiotic feeding could have a significant role in improving weight gain and metabolism of crossbred dairy goat kids.

Keywords: probiotics, weight gain, blood biochemical indices, crossbred dairy goat kids

Procedia PDF Downloads 451

Authors: Ajmal Hussain

Abstract:

In Indian music parlance, Rasa denotes a distinct aesthetic experience that builds up in the mind of the listeners while listening to a piece of Indian classical music. The distinction of the experience is rooted in the concept that it gives rise to an enhanced awareness about the Self or God and creates a mental state detached from mundane issues of everyday life. The theory of Rasa was initially proposed in the context of theatre but became a part of Indian musicological discourse roughly two thousand years ago, however, to this day, it remains shrouded in mystery due to its religious associations and connotations. This paper attempts to demystify the theory of Rasa in the light of available scientific knowledge fund particularly in Brain and Mind sciences. The paper initially describes the religious context of the theory of Rasa and then discusses its classical formulations by Bharata and Abhinavagupta including the steps and stages laid down by the latter to explain the creation of musical experience. The classical formulations are then interpreted with reference to the scientific knowledge fund about the human mind and mechanics of perception. The study uses the model of human mind as proposed by Portuguese-American neuroscientist Antonio Damasio in his theory ‘A Nesting Principle’. On the basis of the findings by Damasio, the paper interprets the experience of Rasa from a scientific perspective and clarifies the sequence of steps and stages involved in the making of musical experience. The study concludes that although the classical formulations of Rasa identify key aspects of musical experience, the association of Rasa with religion is misleading. The association with religion does not depend upon musical stimulus but the intellectual orientation of the listener. It further establishes that the function of Rasa is more profound as, from an evolutionary perspective, it can be seen as a catalyst for higher consciousness.

Keywords: aesthetic, consciousness, music, Rasa

Procedia PDF Downloads 101

Authors: Hana Tadesse, Marika Grillini, Giulia Simonato, Alessandra Mondin, Giorgia Dotto, Antonio Frangipane Di Regalbono, Bersissa Kumsa, Rudi Cassini, Maria Luisa Menandro

Abstract:

Dogs are known to host several tick-borne pathogens with zoonotic potential; however, scant information is available on the epidemiology of these pathogens in low-income tropical coun- tries and in particular in sub-Saharan Africa. With the aim of investigating a wide range of tick- borne pathogens (i.e., Rickettsia spp., Anaplasma spp., Erhlichia spp., Borrelia spp., Hepatozoon spp. and Babesia spp.), 273 blood samples were collected from dogs in selected districts of Ethiopia and analyzed by real-time and/or end-point PCR. The results of the study showed that Hepatozoon canis was the most prevalent pathogen (53.8%), followed by Anaplasma phagocythophilum (7.0%), Babesia canis rossi (3.3%), Ehrlichia canis (2.6%) and Anaplasma platys (2.2%). Furthermore, five samples tested positive for Borrelia spp., identified as Borrelia afzelii (n = 3) and Borrelia burgdorferi (n = 2), and two samples for Rickettsia spp., identified as Rickettsia conorii (n = 1) and Rickettsia monacensis (n = 1). The finding of Anaplasma phagocythophilum and different species of the genera Borrelia and Rickettsia with zoonotic potential was unexpected and alarming, and calls for further investigation on the roles of dogs and on the tick, species acting as vector in this specific context. Other pathogens (Hepatozoon canis, Babaesia canis rossi, Anaplasma platys, Ehrlichia canis) are already known to have an important impact on the dogs’ health but have minor zoonotic potential as they were rarely or never reported in humans. Dogs from rural areas were found to be at higher risk for different pathogens, probably due to the presence of other wild canids in the same environment. The findings of the present study contribute to a better knowledge of the epidemiology of tick-borne pathogens, which is relevant to human and animal health.

Keywords: Dogs, Tick-borne pathogens, Africa, Ethiopia

Procedia PDF Downloads 56

Authors: Antonio Monteiro, Jorge Azevedo, Severiano Silva, Alfredo Teixeira

Abstract:

The objective of this study was to compare the carcass and in vivo real-time ultrasound measurements (RTU) and their capacity to predict the composition of Serrana goats up to 40% of maturity. Twenty one females (11.1 ± 3.97 kg) and Twenty one males (15.6 ± 5.38 kg) were utilized to made in vivo measurements with a 5 MHz probe (ALOKA 500V scanner) at the 9th-10th, 10th-11th thoracic vertebrae (uT910 and uT1011, respectively), at the 1st- 2nd, 3rd-4th, and 4th-5th lumbar vertebrae (uL12, ul34 and uL45, respectively) and also at the 3rd-4th sternebrae (EEST). It was recorded the images of RTU measurements of Longissimus thoracis et lumborum muscle (LTL) depth (EM), width (LM), perimeter (PM), area (AM) and subcutaneous fat thickness (SFD) above the LTL, as well as the depth of tissues of the sternum (EEST) between the 3rd-4th sternebrae. All RTU images were analyzed using the ImageJ software. After slaughter, the carcasses were stored at 4 ºC for 24 h. After this period the carcasses were divided and the left half was entirely dissected into muscle, dissected fat (subcutaneous fat plus intermuscular fat) and bone. Prior to the dissection measurements equivalent to those obtained in vivo with RTU were recorded. Using the Statistica 5, correlation and regression analyses were performed. The prediction of carcass composition was achieved by stepwise regression procedure, with live weight and RTU measurements with and without transformation of variables to the same dimension. The RTU and carcass measurements, except for SFD measurements, showed high correlation (r > 0.60, P < 0.001). The RTU measurements and the live weight, showed ability to predict carcass composition on muscle (R2 = 0.99, P < 0.001), subcutaneous fat (R2 = 0.41, P < 0.001), intermuscular fat (R2 = 0.84, P < 0.001), dissected fat (R2 = 0.71, P < 0.001) and bone (R2 = 0.94, P < 0.001). The transformation of variables allowed a slight increase of precision, but with the increase in the number of variables, with the exception of subcutaneous fat prediction. In vivo measurements by RTU can be applied to predict kid goat carcass composition, from 5 measurements of RTU and the live weight.

Keywords: carcass, goats, real time, ultrasound

Procedia PDF Downloads 234

Authors: Fernández-Brito David, Lopez-Medina Javier Alonso, Murillo-Bracamontes Eduardo Antonio, Palomino-Ovando Martha Alicia, Gervacio-Arciniega José Juan

Abstract:

Magnetic Force Microscopy (MFM) is an Atomic Force Microscopy (AFM) technique that characterizes, at a nanometric scale, the magnetic properties of ferromagnetic materials. Conventional MFM works by scanning in two different AFM modes. The first one is tapping mode, in which the cantilever has short-range force interactions with the sample, with the purpose to obtain the topography. Then, the lift AFM mode starts, raising the cantilever to maintain a fixed distance between the tip and the surface of the sample, only interacting with the magnetic field forces of the sample, which are long-ranged. In recent years, there have been attempts to improve the MFM technique. Bimodal MFM was first theoretically developed and later experimentally proven. In bimodal MFM, the AFM internal piezoelectric is used to cause the cantilever oscillations in two resonance modes simultaneously, the first mode detects the topography, while the second is more sensitive to the magnetic forces between the tip and the sample. However, it has been proven that the cantilever vibrations induced by the internal AFM piezoelectric ceramic are not optimal, affecting the bimodal MFM characterizations. Moreover, the Secondary Resonance Magnetic Force Microscopy (SR-MFM) was developed. In this technique, a coil located below the sample generates an external magnetic field. This alternating magnetic field excites the cantilever at a second frequency to apply the Bimodal MFM mode. Nonetheless, for ferromagnetic materials with a low coercive field, the external field used in SR-MFM technique can modify the magnetic domains of the sample. In this work, a Hybrid Bimodal MFM (HB-MFM) technique is proposed. In HB-MFM, the bimodal MFM is used, but the first resonance frequency of the cantilever is induced by the magnetic field of the ferromagnetic sample due to its vibrations caused by a piezoelectric element placed under the sample. The advantages of this new technique are demonstrated through the preliminary results obtained by HB-MFM on a hard disk sample. Additionally, traditional two pass MFM and HB-MFM measurements were compared.

Keywords: magnetic force microscopy, atomic force microscopy, magnetism, bimodal MFM

Procedia PDF Downloads 43

Authors: Marta E. Hernandez-Caballero, Veronica Borgonio-Cuadra, Antonio Miranda-Duarte, Xochitl Rojas-Toledo, Normand Garcia-Hernandez, Maura Cardenas-Garcia, Teresa Abad-Camacho

Abstract:

Breast cancer (BC) is the most common tumor in women over the world. DNA methylation is an epigenetic modification critical in CpG sites, aberrant methylation of CpG islands in promoters is a hallmark of cancer. So, gene expression can be regulated by alterations in DNA methylation. In cell lines DACT2 gene reduces the growth and migration of tumor cells by its participation in the suppression of TGFb/SMAD2/3. PHF20L1 is involved in histone acetylation therefore, it regulates transcription. Our aim was to analyze the methylation status of the DACT2 and PHF20L1 promoter regions in tumoral and healthy mammary tissue from women with BC in different progression states. The study included 77 patients from Centro Medico Nacional La Raza in Mexico City. After identifying a CpG island in DACT2 and PHF20L1 promoters, DNA methylation status was analyzed through sodium bisulfite with subsequent amplification using methylation-specific PCR. Results revealed no changes in methylation status of PHF20L1 and cancer stages (II y III) or in comparison to healthy tissues, it was demethylated. DACT2 promoter methylation was no significant between tumoral stages (II, P = 0.37; III, P = 0.17) or with healthy tissue. Previous data reported DACT2 methylated in nasopharyngeal carcinoma but in this study promoter methylation was not observed. PHF20L1 protein contains N-terminal Tudor and C-terminal plant homeodomain domains, it has been suggested that can stabilize DNMT1 regulating DNA methylation, therefore, was associated with poor prognostic in BC. We found no evidence of methylation in patients and controls in PHF20L1 promoter, so its association with BC may have no direct relation with promoter methylation. More studies including other methylation sites in these genes in BC are necessary.

Keywords: bisulfite conversion, breast cancer, DACT2, DNA methylation, PHF20L1, tumoral status

Procedia PDF Downloads 272

Authors: Rossana Taravella, Gilberto M. Cellura, Giuseppe Cirrincione, Salvatore Asciutto, Marco Caruso, Massimo Benedetto, Renato Ciofalo, Giuliana Pace, Salvatore Novo

Abstract:

Objectives: This retrospective analysis sought to evaluate 1-month outcomes and therapy effectiveness of a population of patients treated with MitraClip therapy. We describe in this article the preliminary results of primary effectiveness endpoint. Background: Percutaneous Mitral Repair is being developed to treat severe mitral regurgitation (MR), with increasing real-world cases of functional MR (FMR). In the EVEREST (Endovascular Valve Edge-to-Edge Repair Study)II trial, the percutaneous device showed superior safety but less reduction in MR at 1year. 4-year outcomes from EVEREST II trial showed no difference in the prevalence of moderate-severe and severe MR or mortality at 4years between surgical mitral repair and percutaneous approach. Methods: We analysed retrospectively collected data from one center experience in Italy enrolled from January 2011 to December 2016. The study included 62 patients [mean age 74±11years, 43 men (69%)] with MR of at least grade3+. Most of the patients had functional MR, were in New York Heart Association (NYHA) functional class III or IV, with a large portion (78%) of mild-to-moderate Tricuspid Regurgitation (TR). One or more clips were implanted in 67 procedures (62 patients). Results and Conclusions: Severity of MR was reduced in all successfully treated patients,54(90%) were discharged with MR≤2+ (primary effectiveness endpoint). Clinical 1-month follow-up data showed an improvement in NYHA functional class (42 patients (70%) in NYHA class I-II). 60 of 62 (97 %) successfully treated patients were free from death and mitral valve surgery at 1-month follow-up. MitraClip therapy reduces functional MR with acute MR reduction to <2+ in the great majority of patients, with a large freedom from death, surgery or recurrent MR in a great portion of patients.

Keywords: MitraClip, mitral regurgitation, heart valves, catheter-based therapy

Procedia PDF Downloads 267

Authors: Nessa-Amie T. Peñaflor, Antonio Cinto

Abstract:

This is a descriptive research on the level of math anxiety and mathematics misconceptions in algebra. This research is composed of four parts: (1) analysis of the level of anxiety of the respondents; (2) analysis of the common mathematical misconceptions in algebra; (3) relationship of socio-demographic profile in math anxiety and mathematical misconceptions and (4) analysis of the relationship of math anxiety and misconceptions in algebra. Through the demographic profile questionnaire it was found out that most of the respondents were female. Majority had ages that ranged from 13-15. Most of them had parents who finished secondary education. The biggest portion of Grade Seven students where from families with annual family income ranging from PhP 100, 000 to PhP 299, 999. Most of them came from public school. Mathematics Anxiety Scale for Secondary and Senior Secondary School Students (MAS) and set of 10 open-ended algebraic expressions and polynomials were also administered to determine the anxiety level and the common misconceptions in algebra. Data analysis revealed that respondents had high anxiety in mathematics. Likewise, the common mathematical misconceptions of the Grade Seven students were: combining unlike terms; multiplying the base and exponents; regarding the variable x as 0; squaring the first and second terms only in product of two binomials; wrong meaning attached to brackets; writing the terms next to each other but not simplifying in using the FOIL Method; writing the literal coefficient even if the numerical coefficient is 0; and dividing the denominator by the numerator when the numerical coefficient in the numerator is smaller than the numerical coefficient of the denominator. Results of the study show that the socio-demographic characteristics were not related to mathematics anxiety and misconceptions. Furthermore, students from higher section had high anxiety than those students on the lower section. Thus, belonging to higher or lower section may affect the mathematical misconceptions of the respondents.

Keywords: algebra, grade 7 math, math anxiety, math misconceptions

Procedia PDF Downloads 384

Authors: Swarnapriya Thiyagarajan, Modesto Antonio Sosa Aquino, Miguel Vallejo Hernandez, Senthilkumar Kalaiselvan Dhivyaraj, Jayaramakrishnan Velusamy

Abstract:

In this paper the lithium tetra borate (Li2B4O7) was prepared by used water/solution assisted synthesis method. Once finished the synthesization, Copper (Cu) were used to doping material with Li2B4O7 in order to enhance its thermo luminescent properties. The heating temperature parameters were 750°C for 2 hr and 150°C for 2hr. The samples produced by water assisted method were doped at different doping percentage (0.02%, 0.04%, 0.06%, 0.08%, 0.12%, 0.5%, 0.1%, and 1%) of Cu.The characteristics and identification of Li2B4O7 (undoped and doped) were determined in four tests. They are X-ray diffraction (XRD), Scanning electron microscope (SEM), Photoluminescence (PL), Ultra violet visible spectroscopy (UV Vis). As it is evidence from the XRD and SEM results the obtained Li2B4O7 and Li2B4O7 doping with Cu was confirmed and also confirmed the chemical compositition and their morphologies. The obtained lithium tetraborate XRD pattern result was verified with the reference data of lithium tetraborate with tetragonal structure from JCPDS. The glow curves of Li2B4O7 and Li2B4O7 : Cu were obtained by thermo luminescence (TLD) reader (Harshaw 3500). The pellets were irradiated with different kind of dose (58mGy, 100mGy, 500mGy, and 945mGy) by using an X-ray source. Finally this energy response was also compared with TLD100. The order of kinetics (b), frequency factor (S) and activation energy (E) or the trapping parameters were calculated using peak shape method. Especially Li2B4O7: Cu (0.1%) presents good glow curve in all kind of doses. The experimental results showed that this Li2B4O7: Cu could have good potential applications in radiation dosimetry. The main purpose of this paper is to determine the effect of synthesis on the TL properties of doped lithium tetra borate Li2B4O7.

Keywords: dosimetry, irradiation, lithium tetraborate, thermoluminescence

Procedia PDF Downloads 249

Authors: Sofia G. Meirinho, Luis G. Dias, António M. Peres, Lígia R. Rodrigues

Abstract:

The emerging development of electrochemical aptasen sors has enabled the easy and fast detection of protein biomarkers in standard and real samples. Biomarkers are produced by body organs or tumours and provide a measure of antigens on cell surfaces. When detected in high amounts in blood, they can be suggestive of tumour activity. These biomarkers are more often used to evaluate treatment effects or to assess the potential for metastatic disease in patients with established disease. Osteopontin (OPN) is a protein found in all body fluids and constitutes a possible biomarker because its overexpression has been related with breast cancer evolution and metastasis. Currently, biomarkers are commonly used for the development of diagnostic methods, allowing the detection of the disease in its initial stages. A previously described RNA aptamer was used in the current work to develop a simple and sensitive electrochemical aptasensor with high affinity for human OPN. The RNA aptamer was biotinylated and immobilized on a gold electrode by avidin-biotin interaction. The electrochemical signal generated from the aptamer–target molecule interaction was monitored electrochemically using cyclic voltammetry in the presence of [Fe (CN) 6]−3/− as a redox probe. The signal observed showed a current decrease due to the binding of OPN. The preliminary results showed that this aptasensor enables the detection of OPN in standard solutions, showing good selectivity towards the target in the presence of others interfering proteins such as bovine OPN and bovine serum albumin. The results gathered in the current work suggest that the proposed electrochemical aptasensor is a simple and sensitive detection tool for human OPN and so, may have future applications in cancer disease monitoring.

Keywords: osteopontin, aptamer, aptasensor, screen-printed electrode, cyclic voltammetry

Procedia PDF Downloads 400

Authors: Barbara Pittau, Piergiorgio Palla, Antonio Mastino

Abstract:

Communication is fundamental to health education. The proper use of medicinal products is a crucial aspect of the health of citizens that affects both safety and health care spending. Therefore, encouraging/promoting communication, concerning the importance of proper use of pharmaceuticals, has substantial implications in terms of individual health, health care, and health care system sustainability. In view of these considerations, in the context of two projects, one of which is still in progress, a relational database-backed web application named COLLABORAFARMACISOLA has been designed and developed as a tool to analyze and visualize how people approach the use of medicinal products, with the aim of improving and enhancing communication efficacy. The software application is being used to collect information (anonymously and voluntarily) from the citizens of Sardinia, an Italian region, regarding their knowledge, experiences, and opinions towards pharmaceuticals. This study that was conducted to date on thousand of interviewed people, has focused on different aspects such as: the treatment interruption and the "self-prescription” without medical consultation, the attention paid to reading the leaflets, the awareness of the economic value of the pharmaceuticals, the importance of avoiding the waste of medicinal products and the attitudes towards the use of generics. To this purpose, our software application provides a set of ad hoc parsing routines, to store information into the structure of a relational database and to process and visualize it through a set of interactive tools aimed to emphasize the findings and the insights obtained. The results of our preliminary analysis show the efficacy of the awareness plan and, at the same time, the criticality and the needs of the territory under examination. The ultimate goal of our study is to provide a contribution to the community by improving communication that can result in a benefit for public health in a context strictly connected to the reality of the territory.

Keywords: communication, pharmaceuticals, public health, relational database, tool, web application

Procedia PDF Downloads 109

Authors: Juan Antonio Mondragon Sanchez, Ruben Santamaria

Abstract:

The DNA G-quadruplex is a four-stranded DNA structure formed by stacked planes of four base paired guanines (G-quartet). Guanine rich DNA sequences appear in many sites of genomic DNA and can potential form G-quadruplexes, such as those occurring at 3'-terminus of the human telomeric DNA. The formation and stabilization of a G-quadruplex by small ligands at the telomeric region can inhibit the telomerase activity. In turn, the ligands can be used to down regulate oncogene expression making G-quadruplex an attractive target for anticancer therapy. Many G-quadruplex ligands have been proposed with a planar core to facilitate the pi–pi stacking and electrostatic interactions with the G-quartets. However, many drug candidates are impossibilitated to discriminate a G-quadruplex from a double helix DNA structure. In this context, it is important to investigate the site topology for the interaction of a G-quadruplex with a ligand. In this work, we determine the free energy surface of a G-quadruplex-ligand to study the binding modes of the G-quadruplex (TG4T) with the daunomycin (DM) drug. The complex TG4T-DM is studied using classical molecular dynamics in combination with metadynamics simulations. The metadynamics simulations permit an enhanced sampling of the conformational space with a modest computational cost and obtain free energy surfaces in terms of the collective variables (CV). The free energy surfaces of TG4T-DM exhibit other local minima, indicating the presence of additional binding modes of daunomycin that are not observed in short MD simulations without the metadynamics approach. The results are compared with similar calculations on a different structure (the mutated mu-G4T-DM where the 5' thymines on TG4T-DM have been deleted). The results should be of help to design new G-quadruplex drugs, and understand the differences in the recognition topology sites of the duplex and quadruplex DNA structures in their interaction with ligands.

Keywords: g-quadruplex, cancer, molecular dynamics, metadynamics

Procedia PDF Downloads 428

Authors: Benjamin A. Ha, Marco Morselli, Xinhui Paige Zhang, Elizabeth A. C. Heath-Heckman, Jonathan B. Puritz, David K. Jacobs

Abstract:

Next-generation sequencing has enhanced the ability to acquire massive amounts of sequence data to address classic population genetic questions for non-model organisms. Targeted approaches allow for cost effective or more precise analyses of relevant sequences; although, many such techniques require a known genome and it can be costly to purchase probes from a company. This is challenging for non-model organisms with no published genome and can be expensive for large population genetic studies. Expressed exome capture sequencing (EecSeq) synthesizes probes in the lab from expressed mRNA, which is used to capture and sequence the coding regions of genomic DNA from a pooled suite of samples. A normalization step produces probes to recover transcripts from a wide range of expression levels. This approach offers low cost recovery of a broad range of genes in the genome. This research project expands on EecSeq to investigate if mRNA from one taxon may be used to capture relevant sequences from a series of increasingly less closely related taxa. For this purpose, we propose to use the endangered Northern Tidewater goby, Eucyclogobius newberryi, a non-model organism that inhabits California coastal lagoons. mRNA will be extracted from E. newberryi to create probes and capture exomes from eight other taxa, including the more at-risk Southern Tidewater goby, E. kristinae, and more divergent species. Captured exomes will be sequenced, analyzed bioinformatically and phylogenetically, then compared to previously generated phylogenies across this group of gobies. This will provide an assessment of the utility of the technique in cross-species studies and for analyzing low genetic variation within species as is the case for E. kristinae. This method has potential applications to provide economical ways to expand population genetic and evolutionary biology studies for non-model organisms.

Keywords: coastal lagoons, endangered species, non-model organism, target capture method

Procedia PDF Downloads 161

Authors: Marcio S. da Silva, Jose Mauricio de B. Bezerra, Antonio E. de A. Nogueira

Abstract:

This paper aims to make a performance analysis of shield wire transmission lines against atmospheric discharges when it is made the option of sectioning the shield wire and verify if the tolerability of the change. As a goal of this work, it was established to make complete modeling of a transmission line in the ATPDraw program with shield wire grounded in all the towers and in some towers. The methodology used to make the proposed evaluation was to choose an actual transmission line that served as a case study. From the choice of transmission line and verification of all its topology and materials, complete modeling of the line using the ATPDraw software was performed. Then several atmospheric discharges were simulated by striking the grounded shield wires in each tower. These simulations served to identify the behavior of the existing line against atmospheric discharges. After this first analysis, the same line was reconsidered with shield wire segmentation. The shielding wire segmentation technique aims to reduce induced losses in shield wires and is adopted in some transmission lines in Brazil. With the same conditions of atmospheric discharge the transmission line, this time with shield wire segmentation was again evaluated. The results obtained showed that it is possible to obtain similar performances against atmospheric discharges between a shield wired line in multiple towers and the same line with shield wire segmentation if some precautions are adopted as verification of the ground resistance of the wire segmented shield, adequacy of the maximum length of the segmented gap, evaluation of the separation length of the electrodes of the insulator spark, among others. As a conclusion, it is verified that since the correct assessment and adopted the correct criteria of adjustment a transmission line with shielded wire segmentation can perform very similar to the traditional use with multiple earths. This solution contributes in a very important way to the reduction of energy losses in transmission lines.

Keywords: atmospheric discharges, ATPDraw, shield wire, transmission lines

Procedia PDF Downloads 143

Authors: Antonio Horta, Renato Marinho, Raimir Holanda

Abstract:

Considered as an evolution of the Blockchain, the Ethereum platform, besides allowing transactions of its cryptocurrency named Ether, it allows the programming of decentralised applications (DApps) and smart contracts. However, this functionality into blockchains has raised other types of threats, and the exploitation of smart contracts vulnerabilities has taken companies to experience big losses. This research intends to figure out the number of contracts that are under risk of being drained. Through a deep investigation, more than two hundred thousand smart contracts currently available in the Ethereum platform were scanned and estimated how much money is at risk. The experiment was based in a query run on Google Big Query in July 2022 and returned 50,707,133 contracts published on the Ethereum platform. After applying the filtering criteria, the experimentgot 430,584 smart contracts to download and analyse. The filtering criteria consisted of filtering out: ERC20 and ERC721 contracts, contracts without transactions, and contracts without balance. From this amount of 430,584 smart contracts selected, only 268,103 had source codes published on Etherscan, however, we discovered, using a hashing process, that there were contracts duplication. Removing the duplicated contracts, the process ended up with 20,417 source codes, which were analysed using the open source SAST tool smartbugswith oyente and securify algorithms. In the end, there was nearly $100,000 at risk of being drained from the potentially vulnerable smart contracts. It is important to note that the tools used in this study may generate false positives, which may interfere with the number of vulnerable contracts. To address this point, our next step in this research is to develop an application to test the contract in a parallel environment to verify the vulnerability. Finally, this study aims to alert users and companies about the risk on not properly creating and analysing their smart contracts before publishing them into the platform. As any other application, smart contracts are at risk of having vulnerabilities which, in this case, may result in direct financial losses.

Keywords: blockchain, reentrancy, static application security testing, smart contracts

Procedia PDF Downloads 56

Authors: Renato Morbidelli, Carla Saltalippi, Alessia Flammini, Marco Cifrodelli, Corrado Corradini

Abstract:

The trend of magnitude and frequency of extreme rainfalls seems to be different depending on the investigated area of the world. In this work, the impact of climate change on extreme rainfalls in Umbria, an inland region of central Italy, is examined using data recorded during the period 1921-2015 by 10 representative rain gauge stations. The study area is characterized by a complex orography, with altitude ranging from 200 to more than 2000 m asl. The climate is very different from zone to zone, with mean annual rainfall ranging from 650 to 1450 mm and mean annual air temperature from 3.3 to 14.2°C. Over the past 15 years, this region has been affected by four significant droughts as well as by six dangerous flood events, all with very large impact in economic terms. A least-squares linear trend analysis of annual maximums over 60 time series selected considering 6 different durations (1 h, 3 h, 6 h, 12 h, 24 h, 48 h) showed about 50% of positive and 50% of negative cases. For the same time series the non-parametrical Mann-Kendall test with a significance level 0.05 evidenced only 3% of cases characterized by a negative trend and no positive case. Further investigations have also demonstrated that the variance and covariance of each time series can be considered almost stationary. Therefore, the analysis on the magnitude of extreme rainfalls supplies the indication that an evident trend in the change of values in the Umbria region does not exist. However, also the frequency of rainfall events, with particularly high rainfall depths values, occurred during a fixed period has also to be considered. For all selected stations the 2-day rainfall events that exceed 50 mm were counted for each year, starting from the first monitored year to the end of 2015. Also, this analysis did not show predominant trends. Specifically, for all selected rain gauge stations the annual number of 2-day rainfall events that exceed the threshold value (50 mm) was slowly decreasing in time, while the annual cumulated rainfall depths corresponding to the same events evidenced trends that were not statistically significant. Overall, by using a wide available dataset and adopting simple methods, the influence of climate change on the heavy rainfalls in the Umbria region is not detected.

Keywords: climate changes, rainfall extremes, rainfall magnitude and frequency, central Italy

Procedia PDF Downloads 209

Authors: Francesca Maria Melucci, Marco Panettieri, Rocco Roma

Abstract:

Cities are at the forefront of achieving the sustainable development goals set out in the Sustainable Development Goals of Agenda 2030. For these reasons, increasing attention has been given to the creation of resilient, sustainable, inclusive and green cities and finding solutions to these problems is one of the greatest challenges faced by researchers today. In particular urban green infrastructures, including green roofs, play a key role in tackling environmental, social and economic problems. The starting point was an extensive literature review on 1. research developments on the benefits (environmental, economic and social) and implications of green roofs; 2. sustainability assessment and applied methodologies; 3. specific indicators to measure impacts on urban sustainability. Through this review, the appropriate qualitative and quantitative characteristics that are part of the complex 'green roof' system were identified, as studies that holistically capture its multifunctional nature are still lacking. So, this paper aims to find a method to improve community participation in green roof initiatives and support local governance processes in developing efficient proposals to achieve better sustainability and resilience of cities. To this aim, the multidimensional indicator-based framework, presented by Tapia in 2021, has been tested for the first time in the case of a green roof in the city of Madrid. The framework's set of indicators was implemented with other indicators such as those of waste management and circularity (OECD Inventory of Circular Economy indicators) and sustainability performance. The specific indicators to be used in the case study were decided after a consultation phase with relevant stakeholders. Data on the community's willingness to participate in green roof implementation initiatives were collected through interviews and online surveys with a heterogeneous sample of citizens. The results of the application of the framework suggest how the different aspects of sustainability influence the choice of a green roof and provide input on the main mechanisms involved in citizens' willingness to participate in such initiatives.

Keywords: urban agriculture, green roof, urban sustainability, indicators, multi-criteria analysis

Procedia PDF Downloads 49

Authors: Felice De Luca, Vincenzo Galdi, Piera Stella, Vito Calderaro, Adriano Campagna, Antonio Piccolo

Abstract:

Sustainable mobility has become one of the major issues of recent years. The challenge in reducing polluting emissions as much as possible has led to the production and diffusion of vehicles with internal combustion engines that are less polluting and to the adoption of green energy vectors, such as vehicles powered by natural gas or LPG and, more recently, with hybrid and electric ones. While on the one hand, the spread of electric vehicles for private use is becoming a reality, albeit rather slowly, not the same is happening for vehicles used for public transport, especially those that operate in the congested areas of the cities. Even if the first electric buses are increasingly being offered on the market, it remains central to the problem of autonomy for battery fed vehicles with high daily routes and little time available for recharging. In fact, at present, solid-state batteries are still too large in size, heavy, and unable to guarantee the required autonomy. Therefore, in order to maximize the energy management on the vehicle, the optimization of driving profiles offer a faster and cheaper contribution to improve vehicle autonomy. In this paper, following the authors’ precedent works on electric vehicles in public transport and energy management strategies in the electric mobility area, an eco-driving strategy for electric bus is presented and validated. Particularly, the characteristics of the prototype bus are described, and a general-purpose eco-drive methodology is briefly presented. The model is firstly simulated in MATLAB™ and then implemented on a mobile device installed on-board of a prototype bus developed by the authors in a previous research project. The solution implemented furnishes the bus-driver suggestions on the guide style to adopt. The result of the test in a real case will be shown to highlight the effectiveness of the solution proposed in terms of energy saving.

Keywords: eco-drive, electric bus, energy management, prototype

Procedia PDF Downloads 103

Authors: Ione Loots, Marco van Dijk, Jay Bhagwan

Abstract:

Historically, South Africa had various small-scale hydropower installations in remote areas that were not incorporated in the national electricity grid. Unfortunately, in the 1960s most of these plants were decommissioned when Eskom, the national power utility, rapidly expanded its grid and capability to produce cheap, reliable, coal-fired electricity. This situation persisted until 2008, when rolling power cuts started to affect all citizens. This, together with the rising monetary and environmental cost of coal-based power generation, has sparked new interest in small-scale hydropower development, especially in remote areas or at locations (like wastewater treatment works) that could not afford to be without electricity for long periods at a time. Even though South Africa does not have the same, large-scale, hydropower potential as some other African countries, significant potential for micro- and small-scale hydropower is hidden in various places. As an example, large quantities of raw and potable water are conveyed daily under either pressurized or gravity conditions over large distances and elevations. Due to the relative water scarcity in the country, South Africa also has more than 4900 registered dams of varying capacities. However, institutional capacity and skills have not been maintained in recent years and therefore the identification of hydropower potential, as well as the development of micro- and small-scale hydropower plants has not gained significant momentum. An assessment model and decision support system for low head hydropower development has been developed to assist designers and decision makers with first-order potential analysis. As a result, various potential sites were identified and many of these sites were situated at existing infrastructure like weirs, barrages or pipelines. One reason for the specific interest in existing infrastructure is the fact that capital expenditure could be minimized and another is the reduced negative environmental impact compared to greenfield sites. This paper will explore the case study of retrofitting an unconventional and innovative hydropower plant to the outlet of a wastewater treatment works in South Africa.

Keywords: low head hydropower, retrofitting, small-scale hydropower, wastewater treatment works

Procedia PDF Downloads 215

Authors: Antonio Pizzarello, Oris Friesen

Abstract:

Networks, such as the electric power grid, must demonstrate exemplary performance and integrity. Integrity depends on the quality of both the system design model and the deployed software. Integrity of the deployed software is key, for both the original versions and the many that occur throughout numerous maintenance activity. Current software engineering technology and practice do not produce adequate integrity. Distributed systems utilize networks where each node is an independent computer system. The connections between them is realized via a network that is normally redundantly connected to guarantee the presence of a path between two nodes in the case of failure of some branch. Furthermore, at each node, there is software which may fail. Self-stabilizing protocols are usually present that recognize failure in the network and perform a repair action that will bring the node back to a correct state. These protocols first introduced by E. W. Dijkstra are currently present in almost all Ethernets. Super stabilization protocols capable of reacting to a change in the network topology due to the removal or addition of a branch in the network are less common but are theoretically defined and available. This paper describes how to use the Software Integrity Assessment (SIA) methodology to analyze self-stabilizing software. SIA is based on the UNITY formalism for parallel and distributed programming, which allows the analysis of code for verifying the progress property p leads-to q that describes the progress of all computations starting in a state satisfying p to a state satisfying q via the execution of one or more system modules. As opposed to demonstrably inadequate test and evaluation methods SIA allows the analysis and verification of any network self-stabilizing software as well as any other software that is designed to recover from failure without external intervention of maintenance personnel. The model to be analyzed is obtained by automatic translation of the system code to a transition system that is based on the use of the weakest precondition.

Keywords: network, power grid, self-stabilization, software integrity assessment, UNITY, weakest precondition

Procedia PDF Downloads 197

Authors: Paola Villoria Sáez, Mercedes Del Río Merino, Jaime Santa Cruz Astorqui, Antonio Rodríguez Sánchez

Abstract:

The Spanish construction industry generates large volumes of waste. However, despite the legislative improvements introduced for construction and demolition waste (CDW), construction waste recycling rate remains well below other European countries and also below the target set for 2020. This situation can be due to many difficulties. i.e.: The difficulty of onsite segregation or the estimation in advance of the total amount generated. Despite these difficulties, the proper management of CDW must be one of the main aspects to be considered by the construction companies. In this sense, some large national companies are implementing Integrated Management Systems (IMS) including not only quality and safety aspects, but also environment issues. However, although this fact is a reality for large construction companies still the vast majority of companies need to adopt this trend. In short, it is common to find in small and medium enterprises a decentralized management system: A single system of quality management, another for system safety management and a third one for environmental management system (EMS). In addition, the EMSs currently used address CDW superficially and are mainly focus on other environmental concerns such as carbon emissions. Therefore, this research determines and implements a specific best practice management system for CDW based on eight procedures in a Spanish Construction company. The main advantages and drawbacks of its implementation are highlighted. Results of this study show that establishing and implementing a CDW management system in building works, improve CDW quantification as the company obtains their own CDW generation ratio. This helps construction stakeholders when developing CDW Management Plans and also helps to achieve a higher adjustment of CDW management costs. Finally, integrating this CDW system with the EMS of the company favors the cohesion of the construction process organization at all stages, establishing responsibilities in the field of waste and providing a greater control over the process.

Keywords: construction and demolition waste, waste management, best practices, waste minimization, building, quality management systems

Procedia PDF Downloads 506