69 research outputs found
The problem of programming language concurrency semantics
Despite decades of research, we do not have a satisfactory concurrency semantics for any general-purpose programming language that aims to support concurrent systems code. The Java Memory Model has been shown to be unsound with respect to standard compiler optimisations, while the C/C++11 model is too weak, admitting undesirable thin-air executions.
Our goal in this paper is to articulate this major open problem as clearly as is currently possible, showing how it arises from the combination of multiprocessor relaxed-memory behaviour and the desire to accommodate current compiler optimisations. We make several novel contributions that each shed some light on the problem, constraining the possible solutions and identifying new difficulties.
First we give a positive result, proving in HOL4 that the existing axiomatic model for C/C++11 guarantees sequentially consistent semantics for simple race-free programs that do not use low-level atomics (DRF-SC, one of the core design goals). We then describe the thin-air problem and show that it cannot be solved, without restricting current compiler optimisations, using any per-candidate-execution condition in the style of the C/C++11 model. Thin-air executions were thought to be confined to programs using relaxed atomics, but we further show that they recur when one attempts to integrate the concurrency model with more of C, mixing atomic and nonatomic accesses, and that also breaks the DRF-SC result. We then describe a semantics based on an explicit operational construction of out-of-order execution, giving the desired behaviour for thin-air examples but exposing further difficulties with accommodating existing compiler optimisations. Finally, we show that there are major difficulties integrating concurrency semantics with the C/C++ notion of undefined behaviour.
We hope thereby to stimulate and enable research on this key issue
Finding flies in the mushroom soup : Host specificity of fungus-associated communities revisited with a novel molecular method
Fruiting bodies of fungi constitute an important resource for thousands of other taxa. The structure of these diverse assemblages has traditionally been studied with labour-intensive methods involving cultivation and morphology-based species identification, to which molecular information might offer convenient complements. To overcome challenges in DNA extraction and PCR associated with the complex chemical properties of fruiting bodies, we developed a pipeline applicable for extracting amplifiable total DNA from soft fungal samples of any size. Our protocol purifies DNA in two sequential steps: (a) initial salt-isopropanol extraction of all nucleic acids in the sample is followed by (b) an extra clean-up step using solid-phase reversible immobilization (SPRI) magnetic beads. The protocol proved highly efficient, with practically all of our samples-regardless of biomass or other properties-being successfully PCR-amplified using metabarcoding primers and subsequently sequenced. As a proof of concept, we apply our methods to address a topical ecological question: is host specificity a major characteristic of fungus-associated communities, that is, do different fungus species harbour different communities of associated organisms? Based on an analysis of 312 fungal fruiting bodies representing 10 species in five genera from three orders, we show that molecular methods are suitable for studying this rich natural microcosm. Comparing to previous knowledge based on rearing and morphology-based identifications, we find a species-rich assemblage characterized by a low degree of host specialization. Our method opens up new horizons for molecular analyses of fungus-associated interaction webs and communities.Peer reviewe
Advances in Property-Based Testing for αProlog
Check is a light-weight property-based testing tool built on top of
Prolog, a logic programming language based on nominal logic.
Prolog is particularly suited to the validation of the meta-theory of
formal systems, for example correctness of compiler translations involving
name-binding, alpha-equivalence and capture-avoiding substitution. In this
paper we describe an alternative to the negation elimination algorithm
underlying Check that substantially improves its effectiveness. To
substantiate this claim we compare the checker performances w.r.t. two of its
main competitors in the logical framework niche, namely the QuickCheck/Nitpick
combination offered by Isabelle/HOL and the random testing facility in
PLT-Redex.Comment: To appear, Tests and Proofs 2016; includes appendix with details not
in the conference versio
Recommended from our members
EPMA-World Congress 2015: Bonn, Germany. 3-5 September 2015
Table of contents A1 Predictive and prognostic biomarker panel for targeted application of radioembolisation improving individual outcomes in hepatocellular carcinoma Jella-Andrea Abraham, Olga Golubnitschaja A2 Integrated market access approach amplifying value of “Rx-CDx” Ildar Akhmetov A3 Disaster response: an opportunity to improve global healthcare Russell J. Andrews, Leonidas Quintana A4 USA PPPM: proscriptive, profligate, profiteering medicine-good for 1 % wealthy, not for 99 % unhealthy Russell J. Andrews A5 The role of IDO in a murine model of gingivitis: predictive and therapeutic potentials Babak Baban, Jun Yao Liu, Xu Qin, Tailing Wang, Mahmood S. Mozaffari A6 Specific diets for personalised treatment of diabetes type 2 Viktoriia V. Bati, Tamara V. Meleshko, Olga B. Levchuk, Nadiya V. Boyko A7 Towards personalized physiotherapeutic approach Joanna Bauer, Ewa Boerner, Halina Podbielska A8 Cells, animal, SHIME and in silico models for detection and verification of specific biomarkers of non-communicable chronic diseases Alojz Bomba, Viktor O. Petrov, Volodymyr G. Drobnych, Rostyslav V. Bubnov, Oksana M. Bykova, Nadiya V. Boyko A9 INTERACT-chronic care model: Self-treatment by patients with decision support e-Health solution Hans-Peter Brunner-La Rocca, Lutz Fleischhacker, Olga Golubnitschaja, Frank Heemskerk, Thomas Helms, Tiny Jaarsma, Judita Kinkorova, Jan Ramaekers, Peter Ruff, Ivana Schnur, Emilio Vanoli, Jose Verdu A10 PPPM in cardiovascular medicine in 2015 Hans-Peter Brunner-La Rocca A11 Magnetic resonance imaging of nanoparticles in mice, potential for theranostic and contrast media development – pilot results Rostyslav V. Bubnov, Sergiy A. Grabovetskyi, Olena M. Mykhalchenko, Natalia O. Tymoshok, Oleksandr B. Shcherbakov, Igor P. Semeniv, Mykola Y. Spivak A12 Ultrasound diagnosis for diabetic neuropathy - comparative study Rostyslav V. Bubnov, Tetyana V. Ostapenko A13 Ultrasound for stratification patients with diabetic foot ulcers for prevention and personalized treatment - pilot results Rostyslav V. Bubnov, Nazarii M. Kobyliak, Nadiya M. Zholobak, Mykola Ya. Spivak A14 Project ImaGenX – designing and executing a questionnaire on environment and lifestyle risk of breast cancer John Paul Cauchi A15 Genomics – a new structural brand of predictive, preventive and personalized medicine or the new driver as well? Dmitrii Cherepakhin, Marina Bakay, Artem Borovikov, Sergey Suchkov A16 Survey of questionnaires for evaluation of the quality of life in various medical fields Barbara Cieślik, Agnieszka Migasiewicz, Maria-Luiza Podbielska, Markus Pelleter, Agnieszka Giemza, Halina Podbielska A17 Personalized molecular treatment for muscular dystrophies Sebahattin Cirak A18 Secondary mutations in circulating tumour DNA for acquired drug resistance in patients with advanced ALK + NSCLC Marzia Del Re, Paola Bordi, Valentina Citi, Marta Palombi, Carmine Pinto, Marcello Tiseo, Romano Danesi A19 Recombinant species-specific FcεRI alpha proteins for diagnosis of IgE-mediated allergies in dogs, cats and horses Lukas Einhorn, Judit Fazekas, Martina Muhr, Alexandra Schoos, Lucia Panakova, Ina Herrmann, Krisztina Manzano-Szalai, Kumiko Oida, Edda Fiebiger, Josef Singer, Erika Jensen-Jarolim A20 Global methodology for developmental neurotoxicity testing in humans and animals early and chronically exposed to chemical contaminants Arpiné A. Elnar, Nadia Ouamara, Nadiya Boyko, Xavier Coumoul, Jean-Philippe Antignac, Bruno Le Bizec, Gauthier Eppe, Jenny Renaut, Torsten Bonn, Cédric Guignard, Margherita Ferrante, Maria Liusa Chiusano, Salvatore Cuzzocrea, Gerard O'Keeffe, John Cryan, Michelle Bisson, Amina Barakat, Ihsane Hmamouchi, Nasser Zawia, Anumantha Kanthasamy, Glen E. Kisby, Rui Alves, Oscar Villacañas Pérez, Kim Burgard, Peter Spencer, Norbert Bomba, Martin Haranta, Nina Zaitseva, Irina May, Stéphanie Grojean, Mathilde Body-Malapel, Florencia Harari, Raul Harari, Kristina Yeghiazaryan, Olga Golubnitschaja, Vittorio Calabrese, Christophe Nemos, Rachid Soulimani A21 Mental indicators at young people with attributes hypertension and pre-hypertension Maria E. Evsevyeva, Elena A. Mishenko, Zurida V. Kumukova, Evgeniy V. Chudnovsky, Tatyana A. Smirnova A22 On the approaches to the early diagnosis of stress-induced hypertension in young employees of State law enforcement agencies Maria E. Evsevyeva, Ludmila V. Ivanova, Michail V. Eremin, Maria V. Rostovtseva A23 Сentral aortic pressure and indexes of augmentation in young persons in view of risk factors Maria E. Evsevyeva, Michail V. Eremin, Vladimir I. Koshel, Oksana V. Sergeeva, Nadesgda M. Konovalova A24 Breast cancer prediction and prevention: Are reliable biomarkers in horizon? Shantanu Girotra, Olga Golubnitschaja A25 Flammer Syndrome and potential formation of pre-metastatic niches: A multi-centred study on phenotyping, patient stratification, prediction and potential prevention of aggressive breast cancer and metastatic disease Olga Golubnitschaja, Manuel Debald, Walther Kuhn, Kristina Yeghiazaryan, Rostyslav V. Bubnov, Vadym M. Goncharenko, Ulyana Lushchyk, Godfrey Grech, Katarzyna Konieczka A26 Innovative tools for prenatal diagnostics and monitoring: improving individual pregnancy outcomes and health-economy in EU Olga Golubnitschaja, Jan Jaap Erwich, Vincenzo Costigliola, Kristina Yeghiazaryan, Ulrich Gembruch A27 Immunohistochemical assessment of APUD cells in endometriosis Vadym M. Goncharenko, Vasyl O. Beniuk, Olga V. Kalenska, Rostyslav V. Bubnov A28 Updating personalized management algorithm of endometrial hyperplasia in pre-menopause women Vadym M. Goncharenko, Vasyl O. Beniuk, Rostyslav V. Bubnov, Olga Melnychuk A29 The personified treatment approach of polimorbid patients with periodontal inflammatory diseases Irina A. Gorbacheva, Lyudmila Y. Orekhova, Vadim V. Tachalov A30 Ukrainian experience in hybrid war – the challenge to update algorithms for personalized care and early prevention of different military injuries Olena I. Grechanyk, Rizvan Ya. Abdullaiev, Rostyslav V. Bubnov A31 Tear fluid biomarkers: a comparison of tear fluid sampling and storage protocols Suzanne Hagan, Eilidh Martin, Ian Pearce, Katherine Oliver A32 The correlation of dietary habits with gingival problems during menstruation Cenk Haytac, Fariz Salimov, Servin Yoksul, Anatoly A. Kunin, Natalia S. Moiseeva A33 Genomic medicine in a contemporary Spanish population of prostate cancer: our experience Bernardo Herrera-Imbroda, Sergio del Río-González, Maria Fernanda Lara, Antonia Angulo, Francisco Javier Machuca Santa-Cruz A34 Challenges, opportunities and collaborations for personalized medicine applicability in uro-oncological disease Bernardo Herrera-Imbroda, Sergio del Río-González, Maria Fernanda Lara A35 Metabolic hallmarks of cancer as targets for a personalized therapy John Ionescu A36 Influence of genetic polymorphism as a predictor of the development of periodontal disease in patients with gastric ulcer and 12 duodenal ulcer Alfiya Z. Isamulaeva, Anatoly A. Kunin, Shamil Sh. Magomedov, Aida I. Isamulaeva A37 Challenges in diabetic macular edema Tatjana Josifova A38 Overview of the EPMA strategies in laboratory medicine relevant for PPPM Marko Kapalla, Juraj Kubáň, Olga Golubnitschaja, Vincenzo Costigliola A39 EPMA initiative for effective organization of medical travel: European concepts and criteria Vincenzo Costigliola, Marko Kapalla, Juraj Kubáň, Olga Golubnitschaja A40 Design and innovation in e-textiles: implications for PPPM Anthony Kent, Tom Fisher, Tilak Dias A41 Biobank in Pilsen as a member of national node BBMRI_CZ Judita Kinkorová, Ondřej Topolčan A42 Big data in personalized medicine: hype and hope Matthias Kohl A43 The 3P approach as the platform of the European Dentistry Department (DPPPD) Anatoly A. Kunin, Natalia S. Moiseeva A44 The endometrium cytokine patterns for predictive diagnosis of proliferation severity and cancer prevention Andrii I. Kurchenko, Vasyl A. Beniuk, Vadym M. Goncharenko, Rostyslav V. Bubnov, Nadiya V. Boyko, Andriy M. Strokan A45 A monocyte-based in-vitro system for testing individual responses to the implanted material: future for personalized implant construction Julia Kzhyshkowska, Alexandru Gudima, Ksenia S. Stankevich, Victor D. Filimonov4, Harald Klüter, Evgeniya M. Mamontova, Sergei I. Tverdokhlebov A46 Prediction and prevention of adverse health effects by meteorological factors: Biomarker patterns and creation of a device for self-monitoring and integrated care Ulyana B. Lushchyk, Viktor V. Novytskyy, Igor P. Babii, Nadiya G. Lushchyk, Lyudmyla S. Riabets, Ivanna I. Legka A47 Targeting "disease signatures" towards personalized healthcare Mira Marcus-Kalish, Alexis Mitelpunkt, Tal Galili, Neta Shachar, Yoav Benjamini A48 Influence of the skin imperfection on the personal quality of life and possible tools for objective diagnosis Agnieszka Migasiewicz, Markus Pelleter, Joanna Bauer, Ewelina Dereń, Halina Podbielska A49 The new direction in caries prevention based on the ultrastructure of dental hard tissues and filling materials Natalia S. Moiseeva, Anatoly A. Kunin, Dmitry A. Kunin A50 The use of LED radiation in prevention of dental diseases Natalia S. Moiseeva, Yury A. Ippolitov, Dmitry A. Kunin, Alexei N. Morozov, Natalia V. Chirkova, Nakhid T. Aliev A51 Status of endothelial progenitor cells in diabetic nephropathy: predictive and preventive potentials Mahmood S. Mozaffari, Jun Yao Liu, Babak Baban A52 The status of glucocorticoid-induced leucine zipper protein in salivary gland in Sjögren’s syndrome: predictive and personalized treatment potentials Mahmood S. Mozaffari, Jun Yao Liu, Rafik Abdelsayed, Xing-Ming Shi, Babak Baban A53 Maximal aerobic capacity - important quality marker of health Jaroslav Novák, Milan Štork, Václav Zeman A54 The EMPOWER project: laboratory medicine and Horizon 2020 Wytze P. Oosterhuis, Elvar Theodorsson A55 Personality profile manifestations in patient’s attitude to oral care and adherence to doctor’s prescriptions Lyudmila Y. Orekhova, Tatyana V. Kudryavtseva, Elena R. Isaeva, Vadim V. Tachalov, Ekaterina S. Loboda A56 Results of an European survey on personalized medicine addressed to directions of laboratory medicine Mario Pazzagli, Francesca Malentacchi, Irene Mancini, Ivan Brandslund, Pieter Vermeersch, Matthias Schwab, Janja Marc, Ron H.N. van Schaik, Gerard Siest, Elvar Theodorsson, Chiara Di Resta A57 MCI or early dementia predictive speech based diagnosis techniques Matus Pleva, Jozef Juhar A58 Personalized speech based mobile application for eHealth Matus Pleva, Jozef Juhar A59 Circulating tumor cell-free DNA as the biomarker in the management of cancer patients Jiří Polívka jr., Filip Janků, Martin Pešta, Jan Doležal, Milena Králíčková, Jiří Polívka A60 Complex stroke care – educational programme in Stroke Centre University Hospital Plzen Jiří Polívka, Alena Lukešová, Nina Müllerová, Petr Ševčík, Vladimír Rohan A61 Sleep apnea and sleep fragmentation contribute to brain aging Kneginja Richter, Lence Miloseva, Günter Niklewski A62 Personalised approach for sleep disturbances in shift workers Kneginja Richter, Jens Acker, Guenter Niklewski A63 Medical travel and innovative PPPM clusters: new concept of integration Olga Safonicheva, Vincenzo Costigliola A64 Medical travel and women health Olga Safonicheva A65 Continuity of generations in the training of specialists in the field of reconstructive microsurgery Maxim Sautin, Janna Sinelnikova, Sergey Suchkov A66 Telemonitoring of stroke patients – empirical evidence of individual risk management results from an observational study in Germany Songül Secer, Stephan von Bandemer A67 Women’s increasing breast cancer risk with n-6 fatty acid intake explained by estrogen-fatty acid interactive effect on DNA damage: implications for gender-specific nutrition within personalized medicine Niva Shapira A68 Cytobacterioscopy of the gingival crevicular fluid as a method for preventive diagnosis of periodontal diseases Aleksandr Shcherbakov, Anatoly A. Kunin, Natalia S. Moiseeva A69 Use of specially treated composites in dentistry to avoid violations of aesthetics Bogdan R. Shumilovich, Zhanna Lipkind, Yulia Vorobieva, Dmitry A. Kunin, Anastasiia V. Sudareva A70 National eHealth system – platform for preventive, predictive and personalized diabetes care Ivica Smokovski, Tatjana Milenkovic A72 The common energy levels of Prof. Szent-Györgyi, the intrinsic chemistry of melanin, and the muscle physiopathology. Implications in the context of Preventive, Predictive, and Personalized Medicine Arturo Solís-Herrera, María del Carmen Arias-Esparza, Sergey Suchkov A73 Plurality and individuality of hepatocellular carcinoma: PPPM perspectives Krishna Chander Sridhar, Olga Golubnitschaja A74 Strategic aspects of higher medical education reforms to secure newer educational platforms for getting biopharma professionals matures Maria Studneva, Sihong Song, James Creeden, Мark Мandrik, Sergey Suchkov A75 Overview of the strategies and activities of the European Federation of Clinical Chemistry and Laboratory Medicine, (EFLM) Elvar Theodorsson, EFLM A76 New spectroscopic techniques for point of care label free diagnostics Syed A. M. Tofail A77 Tumor markers for personalized medicine and oncology - the role of Laboratory Medicine Ondřej Topolčan, Judita Kinkorová, Ondřej Fiala, Marie Karlíková, Šárka Svobodová, Radek Kučera, Radka Fuchsová, Vladislav Třeška, Václav Šimánek, Ladislav Pecen, Jan Šoupal, Štěpán Svačina2 A78 Modern medical terminology (MMT) as a driver of the global educational reforms Evgeniya Tretyak, Maria Studneva, Sergey Suchkov A79 Juvenile hypertension; the relevance of novel predictive, preventive and personalized assessment of its determinants Francesca M. Trovato, G. Fabio Martines, Daniela Brischetto, Daniela Catalano, Giuseppe Musumeci, Guglielmo M. Trovato A80 Proteomarkers Biotech George Th. Tsangaris, Athanasios K. Anagnostopoulos A81 Proteomics and mass spectrometry based non-invasive prenatal testing of fetal health and pregnancy complications George Th. Tsangaris, Athanasios K. Anagnostopoulos A82 Integrated Ecosystem for an Integrated Care model for Heart Failure (HF) patients including related comorbidities (ZENITH) José Verdú, German Gutiérrez, Jordi Rovira, Marta Martinez, Lutz Fleischhacker, Donna Green, Arthur Garson, Elena Tamburini, Stefano Cuomo, Juan Martinez-Leon, Teresa Abrisqueta, Hans-Peter Brunner-La Rocca, Tiny Jaarsma, Teresa Arredondo, Cecilia Vera, Giuseppe Fico, Olga Golubnitschaja, Fernando Arribas, Martina Onderco, Isabel Vara, on behalf of ZENITH consortium A83 Predictive, preventive and personalized medicine in diabetes onset and complication (MOSAIC project) José Verdú, Francesco Sambo, Barbara Di Camillo, Claudio Cobelli, Andrea Facchinetti, Giuseppe Fico, Riccardo Bellazzi, Lucia Sacchi, Arianna Dagliati, Daniele Segnani, Valentina Tibollo, Manuel Ottaviano, Rafael Gabriel, Leif Groop, Jacqueline Postma, Antonio Martinez, Liisa Hakaste, Tiinamaija Tuomi, Konstantia Zarkogianni, on behalf of MOSAIC consortium A84 Possibilities for personalized therapy of diabetes using in vitro screening of insulin and oral hypoglycemic agents Igor Volchek, Nina Pototskaya, Andrey Petrov A85 The innovative technology for personalized therapy of human diseases based on in vitro drug screening Igor Volchek, Nadezhda Pototskaya, Andrey Petrov A86 Bone destruction and temporomandibular joint: predictive markers, pathogenetic aspects and quality of life Ülle Voog-Oras, Oksana Jagur, Edvitar Leibur, Priit Niibo, Triin Jagomägi, Minh Son Nguyen, Chris Pruunsild, Dagmar Piikov, Mare Saag A87 Sub-optimal health management – global vision for concepts in medical travel Wei Wang A88 Sub-optimal health management: synergic PPPM-TCAM approach Wei Wang A89 Innovative technologies for minimal invasive diagnostics Andreas Weinhäusel, Walter Pulverer, Matthias Wielscher, Manuela Hofner, Christa Noehammer, Regina Soldo, Peter Hettegger, Istvan Gyurjan, Ronald Kulovics, Silvia Schönthaler, Gabriel Beikircher, Albert Kriegner, Stephan Pabinger, Klemens Vierlinger A90 Rare disease diobanks for personalized medicine Ayşe Yüzbaşıoğlu, Meral Özgüç, Member of EuroBioBank - European Network of DNA, Cell and Tissue Banks for Rare Disease
USE OF SMALL ANGLE NEUTRON SCATTERING AND X-RAY POWDER DIFFRACTION WITH THE RIETVELD METHOD IN THE ASSESSMENT OF FIRING CONDITIONS IN HISTORICAL FIRED-CLAY BRICKS
It is well-known that the description of the complexity of fired-clay bricks can be tackled only by integrating information from different analytical techniques [1]. At the same time, a nondestructive or low impact approach, aimed at the conservation of cultural heritage objects, is prompting for the search of new analytical methods for their characterisation. As a widely accepted practice, in restoration works, the best compatible materials should be employed. To this aim, the characterization of the original bricks is essential in order to choose the most suitable replacement material and prevent further damages. Mechanical properties and performance of fired-clay bricks are directly related to their microstructure and mineralogical composition, which in turn depend upon the employed raw clay and firing temperature. In this work, the potential of small angle neutron scattering (SANS) and X-ray powder diffraction (XRPD) with the Rietveld method (including the quantification of the amorphous fraction), is evaluated in the investigation of historical fired-clay bricks. SANS is a powerful tool for the characterization of the microstructure of porous solids. In bricks, XRPD allows to identify and quantify the minerals and the amorphous fraction, in order to describe the phase transformations taking place during firing [1,2]. Bricks produced from 2 raw clays have been fired at 5 temperatures (from 800 to 1100 in laboratory. Results have been used to derive information on the firing process experienced by a number of historical fired-clay bricks produced in Czech Republic. SANS allowed to retrieve the pore size distribution, characterise the fractal surface of pores as well as suggest an empirical relationship between surface area per unit volume of pores and firing temperature. The fractal quality of the surface area of pores is also suggested as a method to distinguish between bricks produced from different raw clays. Unit-cell parameter of spinel and amount of hematite (phases detected in the fired bricks) from XRPD are proposed as indicators of the firing conditions
The investigation of calcium carbonate formation using micro-Raman spectroscopy
Calcium carbonate (CaCO3) has got significant importance in nature and in several industrial processes. In its different mineral modifications, calcium carbonate is highly abundant in the earth crust, occurring as calcite, aragonite and vaterite (anhydrous crystalline polymorphs) or ikaite (calcium carbonate hexahydrate), calcium carbonate monohydrate, (hydrated crystal forms) and amorphous calcium carbonate (ACC). The CaCO3 can be formed during the process of biomineralization or synthetically with using gas diffusion method or mixing supersaturated solutions containing calcium cations and carbonate anions. The so-called carbonation reaction, plays a crucial role in hardening of lime mortars, a class of binders of relevance in culture heritage conservation. During this process, the CaCO3 is formed from Ca(OH)2 that uptake atmospheric CO2 in aqueous medium. This contribution is focused on the investigation with micro-Raman spectroscopy of CaCO3 modifications appeared during the synthesis from supersaturated aqueous calcium chloride and potassium carbonate solutions, under different reaction conditions [1], as well as during the carbonation reaction [2,3]
Chemical Analysis of Historic Lime Mortars: Role of Sample Preparation
The characterization of historic lime mortars is crucial for many cultural heritage conservation issues. In this work, the characterization of a historical lime mortar is described. Samples for chemical analysis were obtained after different milling times and using the RILEM acid digestion method on several replicates. Qualitative and quantitative determination of phases in the mortar and in the residues after acid attack and the potential presence of CaCO3 polymorphs, were accomplished with X-ray powder diffraction. Results suggest that representativeness of the sample and the homogenisation, although not always achievable in conservation practice, are strongly affecting results
- …