scholarly journals Mechanisation of Model-theoretic Conservative Extension for HOL with Ad-hoc Overloading

2021 ◽  
Vol 332 ◽  
pp. 1-17
Author(s):  
Arve Gengelbach ◽  
Johannes Åman Pohjola ◽  
Tjark Weber
Keyword(s):  
Ad Hoc ◽  
Conservative Extension

Designing Document SQL (DSQL)

2009 ◽  
Vol 20 (4) ◽  
pp. 26-53 ◽  
Author(s):  
Arijit Sengupta ◽  
V. Ramesh
Keyword(s):  
Ad Hoc ◽  
Query Language ◽  
Optimization Techniques ◽  
Order Logic ◽  
Conservative Extension ◽  
Tree Structures ◽  
First Order ◽  
Easy Integration ◽  
Query Semantics ◽  
Theoretical Foundations

This article presents DSQL, a conservative extension of SQL, as an ad-hoc query language for XML. The development of DSQL follows the theoretical foundations of first order logic, and uses common query semantics already accepted for SQL. DSQL represents a core subset of XQuery that lends well to optimization techniques, while at the same time allows easy integration into current databases and applications that useSQL. The intent of DSQL is not to replace XQuery, the current W3C recommended XML query language, but to serve as an ad-hoc querying frontend to XQuery. Further, the authors present proofs for important query language properties such as complexity and closure. An empirical study comparing DSQL and XQuery for the purpose of ad-hoc querying demonstrates that users perform better with DSQL for both flat and tree structures, in terms of both accuracy and efficiency.

Die COVID-19-Pandemie im akutstationären Setting aus Sicht von Führungspersonen und Hygienefachkräften in der Pflege

Pflege ◽  
2020 ◽  
Vol 33 (5) ◽  
pp. 289-298
Author(s):  
Katharina Silies ◽  
Angelika Schley ◽  
Janna Sill ◽  
Steffen Fleischer ◽  
Martin Müller ◽  
...  
Keyword(s):  
Ad Hoc ◽  
Qualitative Studie ◽  
Skill Mix ◽  
Task Forces

Zusammenfassung. Hintergrund: Die COVID-19-Pandemie ist eine Ausnahmesituation ohne Präzedenz und erforderte zahlreiche Ad-hoc-Anpassungen in den Strukturen und Prozessen der akutstationären Versorgung. Ziel: Ziel war es zu untersuchen, wie aus Sicht von Führungspersonen und Hygienefachkräften in der Pflege die stationäre Akutversorgung durch die Pandemiesituation beeinflusst wurde und welche Implikationen sich daraus für die Zukunft ergeben. Methoden: Qualitative Studie bestehend aus semistrukturierten Interviews mit fünf Verantwortlichen des leitenden Pflegemanagements und drei Hygienefachkräften in vier Krankenhäusern in Deutschland. Die Interviews wurden mittels qualitativer Inhaltsanalyse ausgewertet. Ergebnisse: Die Befragten beschrieben den auf die prioritäre Versorgung von COVID-19-Fällen hin umstrukturierten Klinikalltag. Herausforderungen waren Unsicherheit und Angst bei den Mitarbeiter_innen, relative Ressourcenknappheit von Material und Personal und die schnelle Umsetzung neuer Anforderungen an die Versorgungleistung. Dem wurde durch gezielte Kommunikation und Information, massive Anstrengungen zur Sicherung der Ressourcen und koordinierte Steuerung aller Prozesse durch bereichsübergreifende, interprofessionelle Task Forces begegnet. Schlussfolgerungen: Die in der COVID-19-Pandemie vorgenommenen Anpassungen zeigen Entwicklungspotenziale für die zukünftige Routineversorgung auf, z. B. könnten neue Arbeits- und Skill Mix-Modelle aufgegriffen werden. Für die Konkretisierung praktischer Implikationen sind vertiefende Analysen der Daten mit zeitlichem Abstand erforderlich.

Tests und Tools

2006 ◽  
Vol 5 (2) ◽  
pp. 68-71 ◽  
Author(s):  
Simone Kauffeld
Keyword(s):  
Ad Hoc ◽  
Non Profit

Zusammenfassung. Der FEO, der in Kooperation mit betrieblichen Praktikern entwickelt wurde, dient der Erfassung des Organisationsklimas. Er umfasst 82 Items und bildet 12 Skalen ab. Eine Stärke des FEO im Gegensatz zu ad hoc entwickelten Befragungsinstrumenten sind die Vergleichsdaten, die für Profit- und Non-Profit-Organisationen bereit gestellt werden. Kritisch diskutiert wird die theoretische Verortung, die Anwenderfreundlichkeit sowie der Nutzen der individuellen Auswertung. Die konsensuale, konvergente, diskriminante und kriterienbezogene Validierung steht aus.

Test Use in Spain, Portugal and Latin American Countries

1999 ◽  
Vol 15 (2) ◽  
pp. 151-157 ◽  
Author(s):  
José Muñiz ◽  
Gerardo Prieto ◽  
Leandro Almeida ◽  
Dave Bartram
Keyword(s):  
Latin American ◽  
Ad Hoc ◽  
Task Force ◽  
Test Construction ◽  
European Federation ◽  
Psychometric Characteristics ◽  
Testing Practices ◽  
Professional Psychologists ◽  
Test Use ◽  
Latin American Countries

Summary: The two main sources of errors in educational and psychological evaluation are the lack of adequate technical and psychometric characteristics of the tests, and especially the failure to properly implement the testing process. The main goal of the present research is to study the situation of test construction and test use in the Spanish-speaking (Spain and Latin American countries) and Portuguese-speaking (Portugal and Brazil) countries. The data were collected using a questionnaire constructed by the European Federation of Professional Psychologists Association (EFPPA) Task Force on Tests and Testing, under the direction of D. Bartram . In addition to the questionnaire, other ad hoc data were also gathered. Four main areas of psychological testing were investigated: Educational, Clinical, Forensic and Work. Key persons were identified in each country in order to provide reliable information. The main results are presented, and some measures that could be taken in order to improve the current testing practices in the countries surveyed are discussed. As most of the tests used in these countries were originally developed in other cultures, a problem that appears to be especially relevant is the translation and adaptation of tests.

Sign in / Sign up

Export Citation Format

Share Document