Concurrency, Specification and Programming
Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
Page
%P
-
Article
Open AccessA user study for evaluation of formal verification results and their explanation at Bosch
Ensuring safety for any sophisticated system is getting more complex due to the rising number of features and functionalities. This calls for formal methods to entrust confidence in such systems. Nevertheless,...
-
Article
Open AccessThe impact of prior endoscopic or surgical therapy on open Zenker’s diverticulum surgery: analysis on a large single center cohort
Endoscopic treatment of Zenker’s diverticulum is an attractive minimally invasive alternative compared to the classic open approach. However, increased recurrence rate were reported. In case of relapse, endosc...
-
Chapter
About the Way We Deal with Things
This article is about the critique of today’s culturally and economically shaped way of dealing with things. It traces a cultural-historical and philosophical line of development of our actions, which are dete...
-
Book
-
Article
Open AccessEx situ arterial reconstruction prior normothermic machine perfusion of liver grafts
Atypical variants of the hepatic artery are common and pose a technical challenge for normothermic machine perfusion (NMP). The transplant surgeon has three options when confronted with hepatic arterial variat...
-
Article
Open AccessSerum albumin at resection predicts in-hospital death, while serum lactate and aPTT on the first postoperative day anticipate anastomotic leakage after Ivor-Lewis-esophagectomy
Anastomotic leakage (AL) is a major complication after esophagectomy, potentiating morbidity and mortality. There are several patient risk factors associated with AL, but high-fidelity postoperative predictors...
-
Article
Humoral immune response after COVID-19 infection or BNT162b2 vaccine among older adults: evolution over time and protective thresholds
The objectives of this study were to assess the dynamics of the SARS-CoV-2 anti-RBD-IgG response over time among older people after COVID-19 infection or vaccination and its comparison with indicative levels o...
-
Chapter
Naturzugänge und Naturverständnis durch digitale Bildung?
Das Naturverständnis ist grundlegend für die Wertorientierungen und das Verhalten der Menschen gegenüber der Natur sowie für eine nachhaltige Entwicklung. Der Beitrag untersucht aus erziehungswissenschaftliche...
-
Chapter
AE Monitoring of Real Structures: Applications, Strengths, and Limitations
The acoustic emission (AE) technique has been successfully used for decades to monitor fracture processes during laboratory testing. This final chapter discusses deliberations necessary when the technique is e...
-
Article
Therapeutic prevention of COVID-19 in elderly: a case–control study
COVID-19 is a particularly aggressive disease for the elderly as 86% of deaths related to COVID-19 occur in people over 65 years of age. Despite the urgent need for a preventive treatment, there are currently...
-
Article
Open AccessEffective operating room (OR) utilization by performing low-complex surgical procedures during the 2020 corona pandemic
The SARS-CoV-2 pandemic has almost stopped all elective surgical treatment throughout the world. As operating room (OR) capacities are reduced everywhere to ensure availability of intensive care capacities, es...
-
Article
Open AccessComplete mesocolic excision in minimally invasive surgery of colonic cancer: do we need the robot?
Robotic surgery offers favorable prerequisites for complex minimally invasive surgeries which are delivered by higher degrees of freedom, improved instrument stability, and a perfect visualization in 3D which ...
-
Chapter
Über den Umgang mit den Dingen
In dem Beitrag geht es um Kritik am heutigen kulturell und ökonomisch geprägten Umgang mit den Dingen. Dabei wird eine kulturgeschichtliche und philosophische Entwicklungslinie unseres von Beschleunigung, Vers...
-
Article
Open AccessEffect of 9 weeks continuous vs. interval aerobic training on plasma BDNF levels, aerobic fitness, cognitive capacity and quality of life among seniors with mild to moderate Alzheimer’s disease: a randomized controlled trial
Evidence suggests that aerobic-type training confers physical benefits and appears to contribute positively to brain health. This study aims to compare the effect of 9-weeks continuous (CAT) to interval aerobi...
-
Chapter
Virtuelle JugendBerufsAgentur. Rechtskonformer Daten- und Informationsaustausch am Übergang Schule-Beruf
Um die Zusammenarbeit der beteiligten Institutionen im Rahmen der Jugendberufsagenturen zu verbessern, Transparenz über die verschiedenen Unterstützmöglichkeiten der einzelnen Rechtskreise zu schaffen und Ange...
-
Chapter and Conference Paper
Counterexample Interpretation for Contract-Based Design
Contract-based design (CBD) is an emerging paradigm for complex systems, specifying the input-output behavior of a component by defining what the component guarantees, provided its environment satisfies the gi...
-
Chapter and Conference Paper
Evolutionary Grammar-Based Fuzzing
A fuzzer provides randomly generated inputs to a targeted software to expose erroneous behavior. To efficiently detect defects, generated inputs should conform to the structure of the input format and thus, gramm...
-
Chapter and Conference Paper
Bet and Run for Test Case Generation
Anyone working in the technology sector is probably familiar with the question: “Have you tried turning it off and on again?”, as this is usually the default question asked by tech support. Similarly, it is kn...
-
Article
Potential Statin Overuse in Older Patients: A Retrospective Cross-Sectional Study Using French Health Insurance Databases
Although compelling evidence exists supporting statins (HMG-CoA reductase inhibitors) for secondary prevention in older patients with clinical atherosclerotic diseases, the same cannot be said for primary prev...
-
Article
Mortality and postoperative complications after different types of surgical reconstruction following pancreaticoduodenectomy—a systematic review with meta-analysis
Pancreaticoduodenectomy/PD is a technically demanding pancreatic resection. Options of surgical reconstruction include (1) the child reconstruction defined as pancreatojejunostomy/PJ followed by hepaticojejuno...
