Paths of Discovery: Comparing the Search effectiveness of EBSCO Discovery Service, Summon, Google Scholar, and Conventional Library Resources

In 2011, researchers at Bucknell University and Illinois Wesleyan University compared the search efficacy of Serial Solutions Summon, EBSCO Discovery Service, Google Scholar and conventional library databases. Using a mixed-methods approach, qualitative and quantitative data was gathered on students’ usage of these tools. Regardless of the search system, students exhibited a marked inability to effectively evaluate sources and a heavy reliance on default search settings. On the quantitative benchmarks measured by this study, the EBSCO Discovery Service tool outperformed the other search systems in almost every category. This article describes these results and makes recommendations for libraries considering these tools.

Effects of MASP-1 of the complement system on activation of coagulation factors and plasma clot formation

Background Numerous interactions between the coagulation and complement systems have been shown. Recently, links between coagulation and mannan-binding lectin-associated serine protease-1 (MASP-1) of the complement lectin pathway have been proposed. Our aim was to investigate MASP-1 activation of factor XIII (FXIII), fibrinogen, prothrombin, and thrombin-activatable fibrinolysis inhibitor (TAFI) in plasma-based systems, and to analyse effects of MASP-1 on plasma clot formation, structure and lysis. Methodology/Principal Findings We used a FXIII incorporation assay and specific assays to measure the activation products prothrombin fragment F1+2, fibrinopeptide A (FPA), and activated TAFI (TAFIa). Clot formation and lysis were assessed by turbidimetric assay. Clot structure was studied by scanning electron microscopy. MASP-1 activated FXIII and, contrary to thrombin, induced FXIII activity faster in the Val34 than the Leu34 variant. MASP-1-dependent generation of F1+2, FPA and TAFIa showed a dose-dependent response in normal citrated plasma (NCP), albeit MASP-1 was much less efficient than FXa or thrombin. MASP-1 activation of prothrombin and TAFI cleavage were confirmed in purified systems. No FPA generation was observed in prothrombin-depleted plasma. MASP-1 induced clot formation in NCP, affected clot structure, and prolonged clot lysis. Conclusions/Significance We show that MASP-1 interacts with plasma clot formation on different levels and influences fibrin structure. Although MASP-1-induced fibrin formation is thrombin-dependent, MASP-1 directly activates prothrombin, FXIII and TAFI. We suggest that MASP-1, in concerted action with other complement and coagulation proteins, may play a role in fibrin clot formation.

Automated Portal Placement for Arthroscopic Hip Surgery

Placing portal incisions during arthroscopic hip surgery presents challenges for surgeons in terms of anatomic accessibility and patient safety. Based on key anatomic landmarks and portal placement information from recent literature, suggested portal incisions were determined. Guidance in the placement of the three most common portal incision locations (anterior, anterolateral, and posterolateral) for arthroscopic surgery; in addition to visual feedback on tool trajectory to the hip joint is provided in real time by a computer aided system for hip arthroscopy. By simplifying the portal placement process, one of the most challenging aspects of arthroscopic hip surgery, an increased use of this minimally invasive technique could be possible. In addition to portal information, improvements to an existing computer aided system for arthroscopic hip surgery, including a new hip model and redesigned mechanical tracking linkage, were completed.

High Bee and Wasp Diversity in a Heterogeneous Tropical Farming System Compared to Protected Forest

It is a globally important challenge to meet increasing demands for resources and, at the same time, protect biodiversity and ecosystem services. Farming is usually regarded as a major threat to biodiversity due to its expansion into natural areas. We compared biodiversity of bees and wasps between heterogeneous small-scale farming areas and protected forest in northern coastal Belize, Central America. Malaise traps operated for three months during the transition from wet to dry season. Farming areas consisted of a mosaic of mixed crop types, open habitat, secondary forest, and agroforestry. Mean species richness per site (alpha diversity), as well as spatial and temporal community variation (beta diversity) of bees and wasps were equal or higher in farming areas compared to protected forest. The higher species richness and community variation in farmland was due to additional species that did not occur in the forest, whereas most species trapped in forest were also found in farming areas. The overall regional species richness (gamma diversity) increased by 70% with the inclusion of farming areas. Our results suggest that small-scale farming systems adjacent to protected forest may not only conserve, but even favour, biodiversity of some taxonomic groups. We can, however, not exclude possible declines of bee and wasp diversity in more intensified farmland or in landscapes completely covered by heterogeneous farming systems.

A realistic validation study of a new nitrogen multiple-breath washout system

Background For reliable assessment of ventilation inhomogeneity, multiple-breath washout (MBW) systems should be realistically validated. We describe a new lung model for in vitro validation under physiological conditions and the assessment of a new nitrogen (N2)MBW system. Methods The N2MBW setup indirectly measures the N2 fraction (FN2) from main-stream carbon dioxide (CO2) and side-stream oxygen (O2) signals: FN2 = 1−FO2−FCO2−FArgon. For in vitro N2MBW, a double chamber plastic lung model was filled with water, heated to 37°C, and ventilated at various lung volumes, respiratory rates, and FCO2. In vivo N2MBW was undertaken in triplets on two occasions in 30 healthy adults. Primary N2MBW outcome was functional residual capacity (FRC). We assessed in vitro error (√[difference]2) between measured and model FRC (100–4174 mL), and error between tests of in vivo FRC, lung clearance index (LCI), and normalized phase III slope indices (Sacin and Scond). Results The model generated 145 FRCs under BTPS conditions and various breathing patterns. Mean (SD) error was 2.3 (1.7)%. In 500 to 4174 mL FRCs, 121 (98%) of FRCs were within 5%. In 100 to 400 mL FRCs, the error was better than 7%. In vivo FRC error between tests was 10.1 (8.2)%. LCI was the most reproducible ventilation inhomogeneity index. Conclusion The lung model generates lung volumes under the conditions encountered during clinical MBW testing and enables realistic validation of MBW systems. The new N2MBW system reliably measures lung volumes and delivers reproducible LCI values.

Automated, compliant, high-flow common carotid to middle cerebral artery bypass

The authors describe the use of the Cardica C-Port xA Distal Anastomosis System to perform an automated, high-flow extracranial-intracranial bypass. The C-Port system has been developed and tested in coronary artery bypass surgery for rapid distal coronary artery anastomoses. Air-powered, it performs an automated end-to-side anastomosis within seconds by nearly simultaneously making an arteriotomy and inserting 13 microclips into the graft and recipient vessel. Intracranial use of the device was first simulated in a cadaver prepared for microsurgical anatomical dissection. The authors used this system in a 43-year-old man who sustained a subarachnoid hemorrhage after being assaulted and was found to have a traumatic pseudoaneurysm of the proximal intracranial internal carotid artery. The aneurysm appeared to be enlarging on serial imaging studies and it was anticipated that a bypass would probably be needed to treat the lesion. An end-to-side bypass was performed with the C-Port system using a saphenous vein conduit extending from the common carotid artery to the middle cerebral artery. The bypass was demonstrated to be patent on intraoperative and postoperative arteriography. The patient had a temporary hyperperfusion syndrome and subsequently made a good neurological recovery. The C-Port system facilitates the performance of a high-flow extracranial-intracranial bypass with short periods of temporary arterial occlusion. Because of the size and configuration of the device, its use is not feasible in all anatomical situations that require a high-flow bypass; however it is a useful addition to the armamentarium of the neurovascular surgeon.

Automated design of self-stabilization

Self-stabilization is a property of a distributed system such that, regardless of the legitimacy of its current state, the system behavior shall eventually reach a legitimate state and shall remain legitimate thereafter. The elegance of self-stabilization stems from the fact that it distinguishes distributed systems by a strong fault tolerance property against arbitrary state perturbations. The difficulty of designing and reasoning about self-stabilization has been witnessed by many researchers; most of the existing techniques for the verification and design of self-stabilization are either brute-force, or adopt manual approaches non-amenable to automation. In this dissertation, we first investigate the possibility of automatically designing self-stabilization through global state space exploration. In particular, we develop a set of heuristics for automating the addition of recovery actions to distributed protocols on various network topologies. Our heuristics equally exploit the computational power of a single workstation and the available parallelism on computer clusters. We obtain existing and new stabilizing solutions for classical protocols like maximal matching, ring coloring, mutual exclusion, leader election and agreement. Second, we consider a foundation for local reasoning about self-stabilization; i.e., study the global behavior of the distributed system by exploring the state space of just one of its components. It turns out that local reasoning about deadlocks and livelocks is possible for an interesting class of protocols whose proof of stabilization is otherwise complex. In particular, we provide necessary and sufficient conditions – verifiable in the local state space of every process – for global deadlock- and livelock-freedom of protocols on ring topologies. Local reasoning potentially circumvents two fundamental problems that complicate the automated design and verification of distributed protocols: (1) state explosion and (2) partial state information. Moreover, local proofs of convergence are independent of the number of processes in the network, thereby enabling our assertions about deadlocks and livelocks to apply on rings of arbitrary sizes without worrying about state explosion.

Calibration of a surgical microscope with automated zoom lenses using an active optical tracker

BACKGROUND: In this paper, we present a new method for the calibration of a microscope and its registration using an active optical tracker. METHODS: Practically, both operations are done simultaneously by moving an active optical marker within the field of view of the two devices. The IR LEDs composing the marker are first segmented from the microscope images. By knowing their corresponding three-dimensional (3D) position in the optical tracker reference system, it is possible to find the transformation matrix between the referential of the two devices. Registration and calibration parameters can be extracted directly from that transformation. In addition, since the zoom and focus can be modified by the surgeon during the operation, we propose a spline based method to update the camera model to the new setup. RESULTS: The proposed technique is currently being used in an augmented reality system for image-guided surgery in the fields of ear, nose and throat (ENT) and craniomaxillofacial surgeries. CONCLUSIONS: The results have proved to be accurate and the technique is a fast, dynamic and reliable way to calibrate and register the two devices in an OR environment.

Non-invasive method to predict viscosity and size using total internal reflection fluorescence microscopy (TIRFM) system

This study develops an automated analysis tool by combining total internal reflection fluorescence microscopy (TIRFM), an evanescent wave microscopic imaging technique to capture time-sequential images and the corresponding image processing Matlab code to identify movements of single individual particles. The developed code will enable us to examine two dimensional hindered tangential Brownian motion of nanoparticles with a sub-pixel resolution (nanoscale). The measured mean square displacements of nanoparticles are compared with theoretical predictions to estimate particle diameters and fluid viscosity using a nonlinear regression technique. These estimated values will be confirmed by the diameters and viscosities given by manufacturers to validate this analysis tool. Nano-particles used in these experiments are yellow-green polystyrene fluorescent nanospheres (200 nm, 500 nm and 1000 nm in diameter (nominal); 505 nm excitation and 515 nm emission wavelengths). Solutions used in this experiment are de-ionized (DI) water, 10% d-glucose and 10% glycerol. Mean square displacements obtained near the surface shows significant deviation from theoretical predictions which are attributed to DLVO forces in the region but it conforms to theoretical predictions after ~125 nm onwards. The proposed automation analysis tool will be powerfully employed in the bio-application fields needed for examination of single protein (DNA and/or vesicle) tracking, drug delivery, and cyto-toxicity unlike the traditional measurement techniques that require fixing the cells. Furthermore, this tool can be also usefully applied for the microfluidic areas of non-invasive thermometry, particle tracking velocimetry (PTV), and non-invasive viscometry.

C-Port Flex-A-assisted automated anastomosis for high-flow extracranial-intracranial bypass surgery in patients with symptomatic carotid artery occlusion: a feasibility study. Clinical article

OBJECT: Preliminary experience with the C-Port Flex-A Anastomosis System (Cardica, Inc.) to enable rapid automated anastomosis has been reported in coronary artery bypass surgery. The goal of the current study was to define the feasibility and safety of this method for high-flow extracranial-intracranial (EC-IC) bypass surgery in a clinical series. METHODS: In a prospective study design, patients with symptomatic carotid artery (CA) occlusion were selected for C-Port-assisted high-flow EC-IC bypass surgery if they met the following criteria: 1) transient or moderate permanent symptoms of focal ischemia; 2) CA occlusion; 3) hemodynamic instability; and 4) had provided informed consent. Bypasses were done using a radial artery graft that was proximally anastomosed to the superficial temporal artery trunk, the cervical external, or common CA. All distal cerebral anastomoses were performed on M2 branches using the C-Port Flex-A system. RESULTS: Within 6 months, 10 patients were enrolled in the study. The distal automated anastomosis could be accomplished in all patients; the median temporary occlusion time was 16.6+/-3.4 minutes. Intraoperative digital subtraction angiography (DSA) confirmed good bypass function in 9 patients, and in 1 the anastomosis was classified as fair. There was 1 major perioperative complication that consisted of the creation of a pseudoaneurysm due to a hardware problem. In all but 1 case the bypass was shown to be patent on DSA after 7 days; furthermore, in 1 patient a late occlusion developed due to vasospasm after a sylvian hemorrhage. One-week follow-up DSA revealed transient asymptomatic extracranial spasm of the donor artery and the radial artery graft in 1 case. Two patients developed a limited zone of infarction on CT scanning during the follow-up course. CONCLUSIONS: In patients with symptomatic CA occlusion, C-Port Flex-A-assisted high-flow EC-IC bypass surgery is a technically feasible procedure. The system needs further modification to achieve a faster and safer anastomosis to enable a conclusive comparison with standard and laser-assisted methods for high-flow bypass surgery.

FAME, A Polyglot Library for Metamodeling at Runtime

Tomorrow's eternal software system will co-evolve with their context: their metamodels must adapt at runtime to ever-changing external requirements. In this paper we present FAME, a polyglot library that keeps metamodels accessible and adaptable at runtime. Special care is taken to establish causal connection between fame-classes and host-classes. As some host-languages offer limited reflection features only, not all implementations feature the same degree of causal connection. We present and discuss three scenarios: 1) full causal connection, 2) no causal connection, and 3) emulated causal connection. Of which, both Scenario 1 and 3 are suitable to deploy fully metamodel-driven applications.

Semi-Automated Creation of Converged iTV Services: From Macromedia Director Simulations to Services Ready for Broadcast

While sound and video may capture viewers' attention, interaction can captivate them. This has not been available prior to the advent of Digital Television. In fact, what lies at the heart of the Digital Television revolution is this new type of interactive content, offered in the form of interactive Television (iTV) services. On top of that, the new world of converged networks has created a demand for a new type of converged services on a range of mobile terminals (Tablet PCs, PDAs and mobile phones). This paper aims at presenting a new approach to service creation that allows for the semi-automatic translation of simulations and rapid prototypes created in the accessible desktop multimedia authoring package Macromedia Director into services ready for broadcast. This is achieved by a series of tools that de-skill and speed-up the process of creating digital TV user interfaces (UI) and applications for mobile terminals. The benefits of rapid prototyping are essential for the production of these new types of services, and are therefore discussed in the first section of this paper. In the following sections, an overview of the operation of content, service, creation and management sub-systems is presented, which illustrates why these tools compose an important and integral part of a system responsible of creating, delivering and managing converged broadcast and telecommunications services. The next section examines a number of metadata languages candidates for describing the iTV services user interface and the schema language adopted in this project. A detailed description of the operation of the two tools is provided to offer an insight of how they can be used to de-skill and speed-up the process of creating digital TV user interfaces and applications for mobile terminals. Finally, representative broadcast oriented and telecommunication oriented converged service components are also introduced, demonstrating how these tools have been used to generate different types of services.

Smart Classrooms: Guidelines for Educational Technology in Classroom Facility in The University of Texas System

Problem Statement: Classroom facilities developed as new construction or renovation projects for UT System institutions tend to be developed as individual, ad hoc project. There are significant opportunities for process improvement is establishing standard business processes for developing Smart Classroom, establishing design standards and referring to prototype facilities developed at other institutions. [See PDF for complete abstract]