MAXIMALITY OF LOGIC WITHOUT IDENTITY

Lindström’s theorem obviously fails as a characterization of first-order logic without identity ( L − ωω ). In this note, we provide a fix: we show that L − ωω is a maximal abstract logic satisfying a weak form of the isomorphism property (suitable for identity-free languages and studied in [11]), the Löwenheim–Skolem property, and compactness. Furthermore, we show that compactness can be replaced by being recursively enumerable for validity under certain conditions. In the proofs, we use a form of strong upwards Löwenheim–Skolem theorem not available in the framework with identity

Fascicular Topography of the Human Median Nerve for Neuroprosthetic Surgery

One of the most sought-after applications of neuroengineering is the communication between the arm and an artificial prosthetic device for the replacement of an amputated hand or the treatment of peripheral nerve injuries. For that, an electrode is placed around or inside the median nerve to serve as interface for recording and stimulation of nerve signals coming from the fascicles that innervate the muscles responsible for hand movements. Due to the lack of a standard procedure, the electrode implantation by the surgeon is strongly based on intuition, which may result in poor performance of the neuroprosthesis because of the suboptimal location of the neural interface. To provide morphological data that can aid the neuroprosthetic surgeon with this procedure, we investigated the fascicular topography of the human median nerve along the forearm and upper arm. We first performed a description of the fascicular content and branching patterns along the length of the arm. Next we built a 3D reconstruction of the median nerve so we could analyze the fascicle morphological features in relation to the arm level. Finally, we characterized the motor content of the median nerve fascicles in the upper arm. Collectively, these results indicate that fascicular organization occurs in a short segment distal to the epicondyles and remains unaltered until the muscular branches leave the main trunk. Based on our results, overall recommendations based on electrode type and implant location can be drawn to help and aid the neuroprosthetic procedure. Invasive interfaces would be more convenient for the upper arm and the most proximal third of the forearm. Epineural electrodes seem to be most suitable for the forearm segment after fascicles have been divided from the main trunk

Development of an Optimization-Based Atomistic-to-Continuum Coupling Method

Atomistic-to-Continuum (AtC) coupling methods are a novel means of computing the properties of a discrete crystal structure, such as those containing defects, that combine the accuracy of an atomistic (fully discrete) model with the efficiency of a continuum model. In this note we extend the optimization-based AtC, formulated in arXiv:1304.4976 for linear, one-dimensional problems to multi-dimensional settings and arbitrary interatomic potentials. We conjecture optimal error estimates for the multidimensional AtC, outline an implementation procedure, and provide numerical results to corroborate the conjecture for a 1D Lennard-Jones system with next-nearest neighbor interactions.Comment: 12 pages, 3 figure

Radiating and non-radiating sources in elasticity

In this work, we study the inverse source problem of a fixed frequency for the Navier's equation. We investigate that nonradiating external forces. If the support of such a force has a convex or non-convex corner or edge on their boundary, the force must be vanishing there. The vanishing property at corners and edges holds also for sufficiently smooth transmission eigenfunctions in elasticity. The idea originates from the enclosure method: The energy identity and new type exponential solutions for the Navier's equation.Comment: 17 page

A good practice guide for translating and adapting hearing-related questionnaires for different languages and cultures

Objectives: To raise awareness and propose a good practice guide for translating and adapting any hearing-related questionnaire to be used for comparisons across populations divided by language or culture, and to encourage investigators to publish detailed steps. Design: From a synthesis of existing guidelines, we propose important considerations for getting started, followed by six early steps: (1) Preparation, (2, 3) Translation steps, (4) Committee Review, (5) Field testing and (6) Reviewing and finalising the translation. Study sample: Not applicable. Results: Across these six steps, 22 different items are specified for creating a questionnaire that promotes equivalence to the original by accounting for any cultural differences. Published examples illustrate how these steps have been implemented and reported, with shared experiences from the authors, members of the International Collegium of Rehabilitative Audiology and TINnitus research NETwork. Conclusions: A checklist of the preferred reporting items is included to help researchers and clinicians make informed choices about conducting or omitting any items. We also recommend using the checklist to document these decisions in any resulting report or publication. Following this step-by-step guide would promote quality assurance in multinational trials and outcome evaluations but, to confirm functional equivalence, large-scale evaluation of psychometric properties should follow

Development and preliminary testing of the new five-level version of EQ-5D (EQ-5D-5L)

This article introduces the new 5-level EQ-5D (EQ-5D-5L) health status measure. EQ-5D currently measures health using three levels of severity in five dimensions. A EuroQol Group task force was established to find ways of improving the instrument's sensitivity and reducing ceiling effects by increasing the number of severity levels. The study was performed in the United Kingdom and Spain. Severity labels for 5 levels in each dimension were identified using response scaling. Focus groups were used to investigate the face and content validity of the new versions, including hypothetical health states generated from those versions. Selecting labels at approximately the 25th, 50th, and 75th centiles produced two alternative 5-level versions. Focus group work showed a slight preference for the wording 'slight-moderate-severe' problems, with anchors of 'no problems' and 'unable to do' in the EQ-5D functional dimensions. Similar wording was used in the Pain/Discomfort and Anxiety/Depression dimensions. Hypothetical health states were well understood though participants stressed the need for the internal coherence of health states. A 5-level version of the EQ-5D has been developed by the EuroQol Group. Further testing is required to determine whether the new version improves sensitivity and reduces ceiling effects