18 research outputs found
How efficient is an integrative approach in archaeological geophysics? Comparative case studies from Neolithic settlements in Thessaly (Central Greece)
The geophysical prospection of Neolithic tells imposes specific challenges due to the preservation and nature of the architectural context and the multiple, usually disturbed, soil strata. Contrary to the usual application of a single method, this paper deals with the advantages of using an integrated geophysical approach through the employment of various methodologies to map the Neolithic cul-tural and environmental landscape of Thessalian tells (magoules) in Central Greece. The success and failure of each method in resolving the various features of the magoules are discussed in detail, and as a whole, they demonstrate the benefits of a manifold geophysical prospection of the sites
Tracheostomy Transfers: A Case Study in the Application of Formal Methods to Intra-hospital Patient Transfers
A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference
The need for rigorous process composition is encountered in many situations
pertaining to the development and analysis of complex systems. We discuss the
use of Classical Linear Logic (CLL) for correct-by-construction resource-based
process composition, with guaranteed deadlock freedom, systematic resource
accounting, and concurrent execution. We introduce algorithms to automate the
necessary inference steps for binary compositions of processes in parallel,
conditionally, and in sequence. We combine decision procedures and heuristics
to achieve intuitive and practically useful compositions in an applied setting.Comment: Post-proceedings paper presented at the 28th International Symposium
on Logic-Based Program Synthesis and Transformation (LOPSTR 2018), Frankfurt
am Main, Germany, 4-6 September 2018 (arXiv:1808.03326). arXiv admin note:
substantial text overlap with arXiv:1803.0261
Recommended from our members
Challenges and Opportunities in Data Visualization Education: A Call to Action
This paper is a call to action for research and discussion on data visualization education. As visualization evolves and spreads through our professional and personal lives, we need to understand how to support and empower a broad and diverse community of learners in visualization. Data Visualization is a diverse and dynamic discipline that combines knowledge from different fields, is tailored to suit diverse audiences and contexts, and frequently incorporates tacit knowledge. This complex nature leads to a series of interrelated challenges for data visualization education. Driven by a lack of consolidated knowledge, overview, and orientation for visualization education, the 21 authors of this paper-educators and researchers in data visualization-identify and describe 19 challenges informed by our collective practical experience. We organize these challenges around seven themes People, Goals & Assessment, Environment, Motivation, Methods, Materials, and Change . Across these themes, we formulate 43 research questions to address these challenges. As part of our call to action, we then conclude with 5 cross-cutting opportunities and respective action items: embrace DIVERSITY+INCLUSION, build COMMUNITIES, conduct RESEARCH, act AGILE, and relish RESPONSIBILITY. We aim to inspire researchers, educators and learners to drive visualization education forward and discuss why, how, who and where we educate, as we learn to use visualization to address challenges across many scales and many domains in a rapidly changing world: viseducationchallenges.github.io
Sister Mary Joseph's nodule: Three case reports
Background: An umbilical metastatic lesion is called 'Sister Mary Joseph's nodule'. It is an uncommon clinical or radiographic finding, and it is rare as the first sign of a malignant disease.
Case presentation: We report three cases of Sister Mary Joseph's nodule. In the three cases presented, the primary tumor was an adenocarcinona of the sigmoid colon, a carcinoma of the bladder, and an adenocarcinoma of the gallbladder, respectively.
Conclusion: The differential diagnosis of an umbilical lesion should always include metastatic disease apart from benign lesions and primary neoplasms. © 2008 Larentzakis et al; licensee BioMed Central Ltd