Unfolding Feasible Arithmetic and Weak Truth

In this paper we continue Feferman’s unfolding program initiated in (Feferman, vol. 6 of Lecture Notes in Logic, 1996) which uses the concept of the unfolding U(S) of a schematic system S in order to describe those operations, predicates and principles concerning them, which are implicit in the acceptance of S. The program has been carried through for a schematic system of non-finitist arithmetic NFA in Feferman and Strahm (Ann Pure Appl Log, 104(1–3):75–96, 2000) and for a system FA (with and without Bar rule) in Feferman and Strahm (Rev Symb Log, 3(4):665–689, 2010). The present contribution elucidates the concept of unfolding for a basic schematic system FEA of feasible arithmetic. Apart from the operational unfolding U0(FEA) of FEA, we study two full unfolding notions, namely the predicate unfolding U(FEA) and a more general truth unfolding UT(FEA) of FEA, the latter making use of a truth predicate added to the language of the operational unfolding. The main results obtained are that the provably convergent functions on binary words for all three unfolding systems are precisely those being computable in polynomial time. The upper bound computations make essential use of a specific theory of truth TPT over combinatory logic, which has recently been introduced in Eberhard and Strahm (Bull Symb Log, 18(3):474–475, 2012) and Eberhard (A feasible theory of truth over combinatory logic, 2014) and whose involved proof-theoretic analysis is due to Eberhard (A feasible theory of truth over combinatory logic, 2014). The results of this paper were first announced in (Eberhard and Strahm, Bull Symb Log 18(3):474–475, 2012).

BitWorker, a Decentralized Distributed Computing System based on BitTorrent

In this paper we present BitWorker, a platform for community distributed computing based on BitTorrent. Any splittable task can be easily specified by a user in a meta-information task file, such that it can be downloaded and performed by other volunteers. Peers find each other using Distributed Hash Tables, download existing results, and compute missing ones. Unlike existing distributed computing schemes relying on centralized coordination point(s), our scheme is totally distributed, therefore, highly robust. We evaluate the performance of BitWorker using mathematical models and real tests, showing processing and robustness gains. BitWorker is available for download and use by the community.

Service level agreements-driven management of distributed applications in cloud computing environments

Advancements in cloud computing have enabled the proliferation of distributed applications, which require management and control of multiple services. However, without an efficient mechanism for scaling services in response to changing workload conditions, such as number of connected users, application performance might suffer, leading to violations of Service Level Agreements (SLA) and possible inefficient use of hardware resources. Combining dynamic application requirements with the increased use of virtualised computing resources creates a challenging resource Management context for application and cloud-infrastructure owners. In such complex environments, business entities use SLAs as a means for specifying quantitative and qualitative requirements of services. There are several challenges in running distributed enterprise applications in cloud environments, ranging from the instantiation of service VMs in the correct order using an adequate quantity of computing resources, to adapting the number of running services in response to varying external loads, such as number of users. The application owner is interested in finding the optimum amount of computing and network resources to use for ensuring that the performance requirements of all her/his applications are met. She/he is also interested in appropriately scaling the distributed services so that application performance guarantees are maintained even under dynamic workload conditions. Similarly, the infrastructure Providers are interested in optimally provisioning the virtual resources onto the available physical infrastructure so that her/his operational costs are minimized, while maximizing the performance of tenants’ applications. Motivated by the complexities associated with the management and scaling of distributed applications, while satisfying multiple objectives (related to both consumers and providers of cloud resources), this thesis proposes a cloud resource management platform able to dynamically provision and coordinate the various lifecycle actions on both virtual and physical cloud resources using semantically enriched SLAs. The system focuses on dynamic sizing (scaling) of virtual infrastructures composed of virtual machines (VM) bounded application services. We describe several algorithms for adapting the number of VMs allocated to the distributed application in response to changing workload conditions, based on SLA-defined performance guarantees. We also present a framework for dynamic composition of scaling rules for distributed service, which used benchmark-generated application Monitoring traces. We show how these scaling rules can be combined and included into semantic SLAs for controlling allocation of services. We also provide a detailed description of the multi-objective infrastructure resource allocation problem and various approaches to satisfying this problem. We present a resource management system based on a genetic algorithm, which performs allocation of virtual resources, while considering the optimization of multiple criteria. We prove that our approach significantly outperforms reactive VM-scaling algorithms as well as heuristic-based VM-allocation approaches.

Distributed Atomic Polarizabilities of Amino Acids and their Hydrogen-Bonded Aggregates

With the purpose of rational design of optical materials, distributed atomic polarizabilities of amino acid molecules and their hydrogen-bonded aggregates are calculated in order to identify the most efficient functional groups, able to buildup larger electric susceptibilities in crystals. Moreover, we carefully analyze how the atomic polarizabilities depend on the one-electron basis set or the many-electron Hamiltonian, including both wave function and density functional theory methods. This is useful for selecting the level of theory that best combines high accuracy and low computational costs, very important in particular when using the cluster method to estimate susceptibilities of molecular-based materials.

Full correction for spatially distributed speed-of-sound in echo ultrasound based on measuring aberration delays via transmit beam steering

Aberrations of the acoustic wave front, caused by spatial variations of the speed-of-sound, are a main limiting factor to the diagnostic power of medical ultrasound imaging. If not accounted for, aberrations result in low resolution and increased side lobe level, over all reducing contrast in deep tissue imaging. Various techniques have been proposed for quantifying aberrations by analysing the arrival time of coherent echoes from so-called guide stars or beacons. In situations where a guide star is missing, aperture-based techniques may give ambiguous results. Moreover, they are conceptually focused on aberrators that can be approximated as a phase screen in front of the probe. We propose a novel technique, where the effect of aberration is detected in the reconstructed image as opposed to the aperture data. The varying local echo phase when changing the transmit beam steering angle directly reflects the varying arrival time of the transmit wave front. This allows sensing the angle-dependent aberration delay in a spatially resolved way, and thus aberration correction for a spatially distributed volume aberrator. In phantoms containing a cylindrical aberrator, we achieved location-independent diffraction-limited resolution as well as accurate display of echo location based on reconstructing the speed-of-sound spatially resolved. First successful volunteer results confirm the clinical potential of the proposed technique.

Distributed transpressive continental deformation: The Varto Fault Zone, eastern Turkey

The convergence between the Eurasian and Arabian plates has created a complicated structural setting in the Eastern Turkish high plateau (ETHP), particularly around the Karlıova Triple Junction (KTJ) where the Eurasian, Arabian, and Anatolian plates intersect. This region of interest includes the junction of the North Anatolian Shear Zone (NASZ) and the East Anatolian Shear Zone (EASZ), which forms the northern border of the westwardly extruding Anatolian Scholle and the western boundary of the ETHP, respectively. In this study, we focused on a poorly studied component of the KTJ, the Varto Fault Zone (VFZ), and the adjacent secondary structures, which have complex structural settings. Through integrated analyses of remote sensing and field observations, we identified a widely distributed transpressional zone where the Varto segment of the VFZ forms the most northern boundary. The other segments, namely, the Leylekdağ and Çayçatı segments, are oblique-reverse faults that are significantly defined by uplifted topography along their strikes. The measured 515 and 265 m of cumulative uplifts for Mt. Leylek and Mt. Dodan, respectively, yield a minimum uplift rate of 0.35 mm/a for the last 2.2 Ma. The multi-oriented secondary structures were mostly correlated with “the distributed strike-slip” and “the distributed transpressional” in analogue experiments. The misfits in strike of some of secondary faults between our observations and the experimental results were justified by about 20° to 25° clockwise restoration of all relevant structures that were palaeomagnetically measured to have happened since ~ 2.8 Ma ago. Our detected fault patterns and their true nature are well aligned as being part of a transpressional tectonic setting that supports previously suggested stationary triple junction models.

Serial [18F]-fluoromisonidazole PET during radiochemotherapy for locally advanced head and neck cancer and its correlation with outcome.

PURPOSE The aim was to assess changes of tumour hypoxia during primary radiochemotherapy (RCT) for head and neck cancer (HNC) and to evaluate their relationship with treatment outcome. MATERIAL AND METHODS Hypoxia was assessed by FMISO-PET in weeks 0, 2 and 5 of RCT. The tumour volume (TV) was determined using FDG-PET/MRI/CT co-registered images. The level of hypoxia was quantified on FMISO-PET as TBRmax (SUVmaxTV/SUVmean background). The hypoxic subvolume (HSV) was defined as TV that showed FMISO uptake ⩾1.4 times blood pool activity. RESULTS Sixteen consecutive patients (T3-4, N+, M0) were included (mean follow-up 31, median 44months). Mean TBRmax decreased significantly (p<0.05) from 1.94 to 1.57 (week 2) and 1.27 (week 5). Mean HSV in week 2 and week 5 (HSV2=5.8ml, HSV3=0.3ml) were significantly (p<0.05) smaller than at baseline (HSV1=15.8ml). Kaplan-Meier plots of local recurrence free survival stratified at the median TBRmax showed superior local control for less hypoxic tumours, the difference being significant at baseline and after 2weeks (p=0.031, p=0.016). CONCLUSIONS FMISO-PET documented that in most HNC reoxygenation starts early during RCT and is correlated with better outcome.

A certified plasmid reference material for the standardisation of BCR-ABL1 mRNA quantification by real-time quantitative PCR.

Serial quantification of BCR-ABL1 mRNA is an important therapeutic indicator in chronic myeloid leukaemia, but there is a substantial variation in results reported by different laboratories. To improve comparability, an internationally accepted plasmid certified reference material (CRM) was developed according to ISO Guide 34:2009. Fragments of BCR-ABL1 (e14a2 mRNA fusion), BCR and GUSB transcripts were amplified and cloned into pUC18 to yield plasmid pIRMM0099. Six different linearised plasmid solutions were produced with the following copy number concentrations, assigned by digital PCR, and expanded uncertainties: 1.08±0.13 × 10(6), 1.08±0.11 × 10(5), 1.03±0.10 × 10(4), 1.02±0.09 × 10(3), 1.04±0.10 × 10(2) and 10.0±1.5 copies/μl. The certification of the material for the number of specific DNA fragments per plasmid, copy number concentration of the plasmid solutions and the assessment of inter-unit heterogeneity and stability were performed according to ISO Guide 35:2006. Two suitability studies performed by 63 BCR-ABL1 testing laboratories demonstrated that this set of 6 plasmid CRMs can help to standardise a number of measured transcripts of e14a2 BCR-ABL1 and three control genes (ABL1, BCR and GUSB). The set of six plasmid CRMs is distributed worldwide by the Institute for Reference Materials and Measurements (Belgium) and its authorised distributors (https://ec.europa.eu/jrc/en/reference-materials/catalogue/; CRM code ERM-AD623a-f).

Building a Globally Distributed Historical Sheet Map Set

This paper describes the procedures used to create a distributed collection of topographic maps of the Austro-Hungarian Empire, the Spezialkarte der Öesterriechisch-ungarnischen Monarchie, Masse. 1:75,000 der natur. This set of maps was published in Vienna over a period of years from 1877 to 1914. The part of the set used in this project includes 776 sheets; all sheets from all editions number over 3,665. The paper contains detailed information on how the maps were converted to digital images, how metadata were prepared, and how Web-browser access was created using ArcIMS Metadata Server. The project, funded by a 2004 National Leadership Grant from the Institute for Museums and Library Science (IMLS), was a joint project of the Homer Babbidge Library Map and Geographic Information Center at the University of Connecticut, the New York Public Library, and the American Geographical Society’s Map Library at the University of Wisconsin Milwaukee.

Zwei neue Salices aus der Sammlung: "Plants of Southern Colorado collected and distributed by C. F. Baker, F. S. Earle and S. M. Tracy"

Von Otto v. Seemen

Epidemiologic and methodological issues in serial measurements of blood pressure: The blood pressure study in Mexican children

The Blood Pressure Study in Mexican Children (BPSMC) is a short term longitudinal study of serial blood pressure collected in three observation periods by standardized examinations of 233 female children, 10 to 12 years of age, enrolled in public and private primary schools in Tlalpan, Mexico. Study objectives were: (1) to describe from baseline information the distribution and relationship of blood pressure to age and selected anthropometric factors, as well as to compare the BPSMC results with other blood pressure studies, (2) to examine the sources and amount of variation present in serial blood pressure of 123 children, and (3) to evaluate observer performance by means of intra- and inter-observer variability.^ Stepwise regression results from baseline revealed that of all anthropometric factors and age, weight was the best predictor for blood pressure.^ The results of serial blood pressure measurements show that, besides the known sources of blood pressure variability (subject, day, reading), the physiologic event of menarche has an important bearing upon the variability and characterization of blood pressure in young girls. The assessment of the effects of blood pressure variability and reliability upon the design and analysis of epidemiologic studies, became apparent among post-menarcheal girls; where blood pressure measurements taken from them have low reliability. Research is needed to propose alternatives for assessing blood pressure during puberty.^ Finally, observer performance of blood pressure and anthropometry were evaluated. Anthropometric measurements had reliabilities in excess of R = 0.96. Acceptable reliabilities (R = 0.88 to 0.95) were obtained for systolic and diastolic (phase 4 and 5) blood pressures. The BPSMC showed a 50 percent decrease in measurement error from the first to the third observation periods. ^

Assessing Distributed Leadership and the Successful Implementation of Evidence-Based Practices

Kelly and Halverson are to be congratulated on their contribution to the field of education. Their efforts in designing The Comprehensive Assessment of Leadership forLearning (CALL) represents a step forward inm the fomative assessment of distributed leadership in schools and their work is noteworthy in its rapid linking of survey assessment data to specific feedback and recommendations for users. Issues relevant to evidence-based practices, implementation, and professional common language are addressed in this commentary.

UNDERSTANDING NURSE CREATED COGNITIVE ARTIFACTS: PERSONALLY-CREATED-COGNITIVE-ARTIFACTS AS EXTERNAL REPRESENTATIONS OF DISTRIBUTED COGNITION

Manuscript 1: “Conceptual Analysis: Externalizing Nursing Knowledge” We use concept analysis to establish that the report tool nurses prepare, carry, reference, amend, and use as a temporary data repository are examples of cognitive artifacts. This tool, integrally woven throughout the work and practice of nurses, is important to cognition and clinical decision-making. Establishing the tool as a cognitive artifact will support new dimensions of study. Such studies can characterize how this report tool supports cognition, internal representation of knowledge and skills, and external representation of knowledge of the nurse. Manuscript 2: “Research Methods: Exploring Cognitive Work” The purpose of this paper is to describe a complex, cross-sectional, multi-method approach to study of personal cognitive artifacts in the clinical environment. The complex data arrays present in these cognitive artifacts warrant the use of multiple methods of data collection. Use of a less robust research design may result in an incomplete understanding of the meaning, value, content, and relationships between personal cognitive artifacts in the clinical environment and the cognitive work of the user. Manuscript 3: “Making the Cognitive Work of Registered Nurses Visible” Purpose: Knowledge representations and structures are created and used by registered nurses to guide patient care. Understanding is limited regarding how these knowledge representations, or cognitive artifacts, contribute to working memory, prioritization, organization, cognition, and decision-making. The purpose of this study was to identify and characterize the role a specific cognitive artifact knowledge representation and structure as it contributed to the cognitive work of the registered nurse. Methods: Data collection was completed, using qualitative research methods, by shadowing and interviewing 25 registered nurses. Data analysis employed triangulation and iterative analytic processes. Results: Nurse cognitive artifacts support recall, data evaluation, decision-making, organization, and prioritization. These cognitive artifacts demonstrated spatial, longitudinal, chronologic, visual, and personal cues to support the cognitive work of nurses. Conclusions: Nurse cognitive artifacts are an important adjunct to the cognitive work of nurses, and directly support patient care. Nurses need to be able to configure their cognitive artifact in ways that are meaningful and support their internal knowledge representations.