10 research outputs found
On the Order Type of Scattered Context-Free Orderings
We show that if a context-free grammar generates a language whose
lexicographic ordering is well-ordered of type less than , then its
order type is effectively computable.Comment: In Proceedings GandALF 2019, arXiv:1909.05979. arXiv admin note: text
overlap with arXiv:1907.1157
Programming Languages and Systems
This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems
Programming Languages and Systems
This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems
Target and Non-Target Approaches for Food Authenticity and Traceability
Over the last few years, the subject of food authenticity and food fraud has received increasing attention from consumers and other stakeholders, such as government agencies and policymakers, control labs, producers, industry, and the research community. Among the different approaches aiming to identify, tackle, and/or deter fraudulent practices in the agri-food sector, the development of new, fast, and accurate methodologies to evaluate food authenticity is of major importance. This book, entitled “Target and Non-Target Approaches for Food Authenticity and Traceability”, gathers original research and review papers focusing on the development and application of both targeted and non-targeted methodologies applied to verify food authenticity and traceability. The contributions regard different foods, among which some are frequently considered as the most prone to adulteration, such as olive oil, honey, meat, and fish. This book is intended for readers aiming to enrich their knowledge through reading contemporary and multidisciplinary papers on the topic of food authentication
Clamp-assisted retractor advancement for lower eyelid involutional entropion
Scientific Poster 144PURPOSE: To describe a novel approach to internal repair of lower lid entropion using the Putterman clamp. METHODS: Retrospective, consecutive case series of patients with entropion who underwent retractor advancement using the clamp. RESULTS: Seven eyes of 6 patients (average age: 80; 4 women and 2 men) were analyzed. Complete resolution was achieved in 5 of the 6 patients (83.3%). The 1 patient with recurrence had 2 previous entropion surgeries on each eye over the past 4 years; there was lid laxity, and horizontal tightening was needed. No severe adverse events occurred in the patients. CONCLUSION: Clamp-assisted lower lid retractor advancement offers a safe and effective, minimally invasive approach to involutional entropion. Further study is needed to assess its role in recurrent entropion.postprin