On the Property Rights System of the State Enterprises in China

Detailed analysis of spinal deformity is important within orthopaedic healthcare, in particular for assessment of idiopathic scoliosis. This paper addresses this challenge by proposing an image analysis method, capable of providing a full three-dimensional spine characterization. The proposed method is based on the registration of a highly detailed spine model to image data from computed tomography. The registration process provides an accurate segmentation of each individual vertebra and the ability to derive various measures describing the spinal deformity. The derived measures are estimated from landmarks attached to the spine model and transferred to the patient data according to the registration result. Evaluation of the method provides an average point-to-surface error of 0.9 mm ± 0.9 (comparing segmentations), and an average target registration error of 2.3 mm ± 1.7 (comparing landmarks). Comparing automatic and manual measurements of axial vertebral rotation provides a mean absolute difference of 2.5° ± 1.8, which is on a par with other computerized methods for assessing axial vertebral rotation. A significant advantage of our method, compared to other computerized methods for rotational measurements, is that it does not rely on vertebral symmetry for computing the rotational measures. The proposed method is fully automatic and computationally efficient, only requiring three to four minutes to process an entire image volume covering vertebrae L5 to T1. Given the use of landmarks, the method can be readily adapted to estimate other measures describing a spinal deformity by changing the set of employed landmarks. In addition, the method has the potential to be utilized for accurate segmentations of the vertebrae in routine computed tomography examinations, given the relatively low point-to-surface error

Ehrenzweig and the Statute of Frauds: An Inquiry Into the Rule of Validation

Graphics processing units (GPUs) are used today in a wide range of applications, mainly because they can dramatically accelerate parallel computing, are affordable and energy efficient. In the field of medical imaging, GPUs are in some cases crucial for enabling practical use of computationally demanding algorithms. This review presents the past and present work on GPU accelerated medical image processing, and is meant to serve as an overview and introduction to existing GPU implementations. The review covers GPU acceleration of basic image processing operations (filtering, interpolation, histogram estimation and distance transforms), the most commonly used algorithms in medical imaging (image registration, image segmentation and image denoising) and algorithms that are specific to individual modalities (CT, PET, SPECT, MRI, fMRI, DTI, ultrasound, optical imaging and microscopy). The review ends by highlighting some future possibilities and challenges

Responsible Composition and Optimization of Integration Processes under Correctness Preserving Guarantees

Enterprise Application Integration deals with the problem of connecting heterogeneous applications, and is the centerpiece of current on-premise, cloud and device integration scenarios. For integration scenarios, structurally correct composition of patterns into processes and improvements of integration processes are crucial. In order to achieve this, we formalize compositions of integration patterns based on their characteristics, and describe optimization strategies that help to reduce the model complexity, and improve the process execution efficiency using design time techniques. Using the formalism of timed DB-nets - a refinement of Petri nets - we model integration logic features such as control- and data flow, transactional data storage, compensation and exception handling, and time aspects that are present in reoccurring solutions as separate integration patterns. We then propose a realization of optimization strategies using graph rewriting, and prove that the optimizations we consider preserve both structural and functional correctness. We evaluate the improvements on a real-world catalog of pattern compositions, containing over 900 integration processes, and illustrate the correctness properties in case studies based on two of these processes.Comment: 37 page

Occurrence and mass flows of contaminants of emerging concern (CECs) in Sweden's three largest lakes and associated rivers

Contaminants of emerging concern (CECs) are a concern in aquatic environments due to possible adverse effects on the environment and humans. This study assessed the occurrence and mass flows of CECs in Sweden's three largest lakes and 24 associated rivers. The occurrence and distribution of 105 CECs was investigated, comprising 71 pharmaceuticals, 13 perfluoroalkyl substances (PFASs), eight industrial chemicals, four personal care products (PCPs), three parabens, two pesticides, and four other CECs (mostly anthropogenic markers). This is the first systematic study of CECs in Sweden's main lakes and one of the first to report environmental concentrations of the industrial chemicals tributyl citrate acetate and 2,2 '-dimorpholinyldiethyl-ether. The Sigma CEC concentration was generally higher in river water (31-5200 ng/L; median 440 ng/L) than in lake water (36-900 ng/L; median 190 ng/L). At urban lake sites, seasonal variations were observed for PCPs and parabens, and also for antihistamines, antidiabetics, antineoplastic agents, antibiotics, and fungicides. The median mass CEC load in river water was 180 g/day (range 4.0-4300 g/day), with a total mass load of 5000 g/day to Lake Vanern, 510 g/day to Lake Vattern, and 5600 g/day to Lake Malaren. All three lakes are used as drinking water reservoirs, so further investigations of the impact of CECs on the ecosystem and human health are needed

Extracting verified decision procedures: DPLL and Resolution

This article is concerned with the application of the program extraction technique to a new class of problems: the synthesis of decision procedures for the classical satisfiability problem that are correct by construction. To this end, we formalize a completeness proof for the DPLL proof system and extract a SAT solver from it. When applied to a propositional formula in conjunctive normal form the program produces either a satisfying assignment or a DPLL derivation showing its unsatisfiability. We use non-computational quantifiers to remove redundant computational content from the extracted program and translate it into Haskell to improve performance. We also prove the equivalence between the resolution proof system and the DPLL proof system with a bound on the size of the resulting resolution proof. This demonstrates that it is possible to capture quantitative information about the extracted program on the proof level. The formalization is carried out in the interactive proof assistant Minlog

ACTH: The Uninhibitable (or is it)?

Adrenal corticotropic hormone, or ACTH, is a peptide hormone secreted by the anterior pituitary gland. The full-length peptide is 39 amino acids long. ACTH signals through a G-protein linked receptor in humans, using the adenylyl cyclase pathway. Potassium and chloride channels have also been implicated in human ACTH signaling. Tetrahymena thermophila are free-living, ciliated ptotozoans. These organisms exhibit avoidance behavior toward many polycationic peptides, which serve as chemorepellents. The reason for this is unknown; however, it is hypothesized that natural predators of T. thermophila secrete polycationic peptides, and that polycation avoidance allows T. thermophila to escape predation. We obtained a number of peptides derived from ACTH, including ACTH 1-39, ACTH 1-24, ACTH 11-24, ACTH 6-24, and ACTH 1-14. We hypothesized that the more highly charged peptide derivatives would be the most effective chemorepellents. This hypothesis was proven correct, with the most highly charged ACTH derivative, ACTH 6-24, demonstrated as the most effective chemorepellent. The least charged form of ACTH, ACTH 1-39, was least effective at causing avoidance. We hypothesized that ACTH signaling in T. thermophila would use similar signaling pathways to those previously identified in humans. This, however, has not proven to be the case. We have tested G-protein inhibitors, adenylyl cyclase inhibitors, potassium channel blockers, and chloride channel blockers in T. thermphila. None of these drugs had any measurable effect on ACTH signaling. In addition, we have chelated extracellular calcium (using EGTA) and depleted ER calcium stores (using thapsigargin). Neither of these interventions inhibited ACTH signaling in this organism. Calcium channel blockers also failed to affect avoidance. This is highly unexpected, since all known chemorepellent pathways discovered in Tetrahymena to date are calcium-dependent. It is possible that ACTH is using a novel signaling pathway in T. thermophila. We hope that further testing will enable us to discover more about this signaling mechanism

Анализ влияния внешней среды на деятельность РТУП «БРП» речной порт «Гомель»

Материалы XVI Междунар. науч.-техн. конф. студентов, аспирантов и молодых ученых, Гомель, 28–29 апр. 2016 г

Ultrasound-triggered antibiotic release from PEEK clips to prevent spinal fusion infection: Initial evaluations.

Despite aggressive peri-operative antibiotic treatments, up to 10% of patients undergoing instrumented spinal surgery develop an infection. Like most implant-associated infections, spinal infections persist through colonization and biofilm formation on spinal instrumentation, which can include metal screws and rods for fixation and an intervertebral cage commonly comprised of polyether ether ketone (PEEK). We have designed a PEEK antibiotic reservoir that would clip to the metal fixation rod and that would achieve slow antibiotic release over several days, followed by a bolus release of antibiotics triggered by ultrasound (US) rupture of a reservoir membrane. We have found using human physiological fluid (synovial fluid), that higher levels (100–500 μg) of vancomycin are required to achieve a marked reduction in adherent bacteria vs. that seen in the common bacterial medium, trypticase soy broth. To achieve these levels of release, we applied a polylactic acid coating to a porous PEEK puck, which exhibited both slow and US-triggered release. This design was further refined to a one-hole or two-hole cylindrical PEEK reservoir that can clip onto a spinal rod for clinical use. Short-term release of high levels of antibiotic (340 ± 168 μg), followed by US-triggered release was measured (7420 ± 2992 μg at 48 h). These levels are sufficient to prevent adhesion of Staphylococcus aureus to implant materials. This study demonstrates the feasibility of an US-mediated antibiotic delivery device, which could be a potent weapon against spinal surgical site infection. Statement of Significance: Spinal surgical sites are prone to bacterial colonization, due to presence of instrumentation, long surgical times, and the surgical creation of a dead space (≥5 cm 3 ) that is filled with wound exudate. Accordingly, it is critical that new approaches are developed to prevent bacterial colonization of spinal implants, especially as neither bulk release systems nor controlled release systems are available for the spine. This new device uses non-invasive ultrasound (US) to trigger bulk release of supra-therapeutic doses of antibiotics from materials commonly used in existing surgical implants. Thus, our new delivery system satisfies this critical need to eradicate surviving bacteria, prevent resistance, and markedly lower spinal infection rates