Involvement of SPI-2-encoded SpiC in flagellum synthesis in Salmonella enterica serovar Typhimurium

Directory of Open Access Journals (Sweden)

Sugita Asami

2009-08-01

Full Text Available Abstract Background SpiC encoded within Salmonella pathogenicity island 2 on the Salmonella enterica serovar Typhimurium chromosome is required for survival within macrophages and systemic infection in mice. Additionally, SpiC contributes to Salmonella-induced activation of the signal transduction pathways in macrophages by affecting the expression of FliC, a component of flagella filaments. Here, we show the contribution of SpiC in flagellum synthesis. Results Quantitative RT-PCR shows that the expression levels of the class 3 fliD and motA genes that encode for the flagella cap and motor torque proteins, respectively, were lower for a spiC mutant strain than for the wild-type Salmonella. Further, this mutant had lower expression levels of the class 2 genes including the fliA gene encoding the flagellar-specific alternative sigma factor. We also found differences in flagella assembly between the wild-type strain and the spiC mutant. Many flagella filaments were observed on the bacterial surface of the wild-type strain, whereas the spiC mutant had only few flagella. The absence of spiC led to reduced expression of the FlhD protein, which functions as the master regulator in flagella gene expression, although no significant difference at the transcription level of the flhDC operon was observed between the wild-type strain and the spiC mutant. Conclusion The data show that SpiC is involved in flagella assembly by affecting the post-transcription expression of flhDC.

Axial focusing of impact energy in the Earth's interior: Proof-of-principle tests of a new hypothesis

Science.gov (United States)

Boslough, M. B.; Chael, E. P.; Trucano, T. G.; Kipp, M. E.; Crawford, D. A.

1994-01-01

A causal link between major impact events and global processes would probably require a significant change in the thermal state of the Earth's interior, presumably brought about by coupling of impact energy. One possible mechanism for such energy coupling from the surface to the deep interior would be through focusing due to axial symmetry. Antipodal focusing of surface and body waves from earthquakes is a well-known phenomenon which has previously been exploited by seismologists in studies of the Earth's deep interior. Antipodal focusing from impacts on the Moon, Mercury, and icy satellites has also been invoked by planetary scientists to explain unusual surface features opposite some of the large impact structures on these bodies. For example, 'disrupted' terrains have been observed antipodal to the Caloris impact basis on Mercury and Imbrium Basin on the Moon. Very recently there have been speculations that antipodal focusing of impact energy within the mantle may lead to flood basalt and hotspot activity, but there has not yet been an attempt at a rigorous model. A new hypothesis was proposed and preliminary proof-of-principle tests for the coupling of energy from major impacts to the mantle by axial focusing of seismic waves was performed. Because of the axial symmetry of the explosive source, the phases and amplitudes are dependent only on ray parameter (or takeoff angle) and are independent of azimuthal angle. For a symmetric and homogeneous Earth, all the seismic energy radiated by the impact at a given takeoff angle will be refocused (minus attenuation) on the axis of symmetry, regardless of the number of reflections and refractions it has experienced. Mantle material near the axis of symmetry will experience more strain cycles with much greater amplitude than elsewhere and will therefore experience more irreversible heating. The situation is very different than for a giant earthquake, which in addition to having less energy, has an asymmetric focal

Determining paediatric patient thickness from a single digital radiograph-a proof of principle.

Science.gov (United States)

Worrall, Mark; Vinnicombe, Sarah; Sutton, David G

2018-04-05

This work presents a proof of principle for a method of estimating the thickness of an attenuator from a single radiograph using the image, the exposure factors with which it was acquired and a priori knowledge of the characteristics of the X-ray unit and detector used for the exposure. It is intended this could be developed into a clinical tool to assist with paediatric patient dose audit, for which a measurement of patient size is required. The proof of principle used measured pixel value and effective linear attenuation coefficient to estimate the thickness of a Solid Water attenuator. The kerma at the detector was estimated using a measurement of pixel value on the image and measured detector calibrations. The initial kerma was estimated using a lookup table of measured output values. The effective linear attenuation coefficient was measured for Solid Water at varying kV p . 11 test images of known and varying thicknesses of Solid Water were acquired at 60, 70 and 81 kV p . Estimates of attenuator thickness were made using the model and the results compared to the known thickness. Estimates of attenuator thickness made using the model differed from the known thickness by 3.8 mm (3.2%) on average, with a range of 0.5-10.8 mm (0.5-9%). A proof of principle is presented for a method of estimating the thickness of an attenuator using a single radiograph of the attenuator. The method has been shown to be accurate using a Solid Water attenuator, with a maximum difference between estimated and known attenuator thickness of 10.8 mm (9%). The method shows promise as a clinical tool for estimating abdominal paediatric patient thickness for paediatric patient dose audit, and is only contingent on the type of data routinely collected by Medical Physics departments. Advances in knowledge: A computational model has been created that is capable of accurately estimating the thickness of a uniform attenuator using only the radiographic image, the exposure factors with which

A Simplified Proof of Uncertainty Principle for Quaternion Linear Canonical Transform

Directory of Open Access Journals (Sweden)

Mawardi Bahri

2016-01-01

Full Text Available We provide a short and simple proof of an uncertainty principle associated with the quaternion linear canonical transform (QLCT by considering the fundamental relationship between the QLCT and the quaternion Fourier transform (QFT. We show how this relation allows us to derive the inverse transform and Parseval and Plancherel formulas associated with the QLCT. Some other properties of the QLCT are also studied.

Test-retest reliability and agreement of the SPI-Questionnaire to detect symptoms of digital ischemia in elite volleyball players.

Science.gov (United States)

van de Pol, Daan; Zacharian, Tigran; Maas, Mario; Kuijer, P Paul F M

2017-06-01

The Shoulder posterior circumflex humeral artery Pathology and digital Ischemia - questionnaire (SPI-Q) has been developed to enable periodic surveillance of elite volleyball players, who are at risk for digital ischemia. Prior to implementation, assessing reliability is mandatory. Therefore, the test-retest reliability and agreement of the SPI-Q were evaluated among the population at risk. A questionnaire survey was performed with a 2-week interval among 65 elite male volleyball players assessing symptoms of cold, pale and blue digits in the dominant hand during or after practice or competition using a 4-point Likert scale (never, sometimes, often and always). Kappa (κ) and percentage of agreement (POA) were calculated for individual symptoms, and to distinguish symptomatic and asymptomatic players. For the individual symptoms, κ ranged from "poor" (0.25) to "good" (0.63), and POA ranged from "moderate" (78%) to "good" (97%). To classify symptomatic players, the SPI-Q showed "good" reliability (κ = 0.83; 95%CI 0.69-0.97) and "good" agreement (POA = 92%). The current study has proven the SPI-Q to be reliable for detecting elite male indoor volleyball players with symptoms of digital ischemia.

A hierarchy of SPI activities for software SMEs: results from ISO/IEC 12207-based SPI assessments

OpenAIRE

Clarke, Paul; O'Connor, Rory; Yilmaz, Murat

2012-01-01

peer-reviewed In an assessment of software process improvement (SPI) in 15 software small- and ???medium-sized enterprises (software SMEs), we applied the broad spectrum of software specific and system context processes in ISO/IEC 12207 to the task of examining SPI in practice. Using the data collected in the study, we developed a four-tiered pyramidal hierarchy of SPI for software SMEs, with processes in the higher tiers undergoing SPI in more companies than processes on lower level tiers...

Proof test diagrams for Zerodur glass-ceramic

Science.gov (United States)

Tucker, D. S.

1991-01-01

Proof test diagrams for Zerodur glass-ceramics are calculated from available fracture mechanics data. It is shown that the environment has a large effect on minimum time-to-failure as predicted by proof test diagrams.

Proof testing of CANDU concrete containment structures

International Nuclear Information System (INIS)

Pandey, M.D.

1996-05-01

Prior to commissioning of a CANDU reactor, a proof pressure test is required to demonstrate the structural integrity of the containment envelope. The test pressure specified by AECB Regulatory Document R-7 (1991) was selected without a rigorous consideration of uncertainties associated with estimates of accident pressure and conatinment resistance. This study was undertaken to develop a reliability-based philosophy for defining proof testing requirements that are consistent with the current limit states design code for concrete containments (CSA N287.3).It was shown that the upodated probability of failure after a successful test is always less than the original estimate

29 CFR 1919.31 - Proof tests-loose gear.

Science.gov (United States)

2010-07-01

... 29 Labor 7 2010-07-01 2010-07-01 false Proof tests-loose gear. 1919.31 Section 1919.31 Labor... (CONTINUED) GEAR CERTIFICATION Certification of Vessels: Tests and Proof Loads; Heat Treatment; Competent Persons § 1919.31 Proof tests—loose gear. (a) Chains, rings, shackles and other loose gear (whether...

Reliability analysis of structures under periodic proof tests in service

Science.gov (United States)

Yang, J.-N.

1976-01-01

A reliability analysis of structures subjected to random service loads and periodic proof tests treats gust loads and maneuver loads as random processes. Crack initiation, crack propagation, and strength degradation are treated as the fatigue process. The time to fatigue crack initiation and ultimate strength are random variables. Residual strength decreases during crack propagation, so that failure rate increases with time. When a structure fails under periodic proof testing, a new structure is built and proof-tested. The probability of structural failure in service is derived from treatment of all the random variables, strength degradations, service loads, proof tests, and the renewal of failed structures. Some numerical examples are worked out.

Vane fabrication for the proof-of-principle radio-frequency quadrupole accelerator

International Nuclear Information System (INIS)

Williams, S.W.; Potter, J.M.

1981-01-01

The electrodes for the Proof-of-Principle (POP) Radio-Frequency Quadrupole (RFQ) accelerator were machined on a numerically controlled, three-axis, vertical mill. These pole tips, or vanes, were prepared for, and used, in the successful demonstration of RFQ practicality at Los Alamos National Laboratory in February 1980. The data set that described the vanes contained about 10 million bits of tool position data. The vanes were cut from OFHC copper blanks. The tolerances achieved were approximately +- 0.005 cm. The design and manufacturing procedures are described

Proofs without Words: A Visual Application of Reasoning and Proof

Science.gov (United States)

Bell, Carol J.

2011-01-01

Reasoning and Proof is one of the Process Standards set forth in National Council of Teachers of Mathematics' (NCTM) "Principles and Standards for School Mathematics." Thus, it is important to give students opportunities to build their reasoning skills and aid their understanding of the proof process. Teaching students how to do proofs is a…

29 CFR 1919.73 - Unit proof test and examination of derricks.

Science.gov (United States)

2010-07-01

... 29 Labor 7 2010-07-01 2010-07-01 false Unit proof test and examination of derricks. 1919.73 Section 1919.73 Labor Regulations Relating to Labor (Continued) OCCUPATIONAL SAFETY AND HEALTH... Devices § 1919.73 Unit proof test and examination of derricks. (a) Unit proof tests of derricks shall be...

Discrimination Training Reduces High Rate Social Approach Behaviors in Angelman Syndrome: Proof of Principle

Science.gov (United States)

Heald, M.; Allen, D.; Villa, D.; Oliver, C.

2013-01-01

This proof of principle study was designed to evaluate whether excessively high rates of social approach behaviors in children with Angelman syndrome (AS) can be modified using a multiple schedule design. Four children with AS were exposed to a multiple schedule arrangement, in which social reinforcement and extinction, cued using a novel…

The Renegotiation-Proofness Principle and Costly Renegotiation

Directory of Open Access Journals (Sweden)

James R. Brennan

2013-07-01

Full Text Available We study contracting and costly renegotiation in settings of complete, but unverifiable information, using the mechanism-design approach. We show how renegotiation activity is best modeled in the fundamentals of the mechanism-design framework, so that noncontractibility of renegotiation amounts to a constraint on the problem. We formalize and clarify the Renegotiation-Proofness Principle (RPP, which states that any state-contingent payoff vector that is implementable in an environment with renegotiation can also be implemented by a mechanism in which renegotiation does not occur in equilibrium. We observe that the RPP is not valid in some settings. However, we prove a general monotonicity result that confirms the RPP’s message about renegotiation opportunities having negative consequences. Our monotonicity theorem states that, as the costs of renegotiation increase, the set of implementable state-contingent payoffs becomes larger.

29 CFR 1919.71 - Unit proof test and examination of cranes.

Science.gov (United States)

2010-07-01

... 29 Labor 7 2010-07-01 2010-07-01 false Unit proof test and examination of cranes. 1919.71 Section... § 1919.71 Unit proof test and examination of cranes. (a) Unit proof tests of cranes shall be carried out at the following times: (1) In the cases of new cranes, before initial use and every 4 years...

ORION - Crew Module Side Hatch: Proof Pressure Test Anomaly Investigation

Science.gov (United States)

Evernden, Brent A.; Guzman, Oscar J.

2018-01-01

The Orion Multi-Purpose Crew Vehicle program was performing a proof pressure test on an engineering development unit (EDU) of the Orion Crew Module Side Hatch (CMSH) assembly. The purpose of the proof test was to demonstrate structural capability, with margin, at 1.5 times the maximum design pressure, before integrating the CMSH to the Orion Crew Module structural test article for subsequent pressure testing. The pressure test was performed at lower pressures of 3 psig, 10 psig and 15.75 psig with no apparent abnormal behavior or leaking. During pressurization to proof pressure of 23.32 psig, a loud 'pop' was heard at 21.3 psig. Upon review into the test cell, it was noted that the hatch had prematurely separated from the proof test fixture, thus immediately ending the test. The proof pressure test was expected be a simple verification but has since evolved into a significant joint failure investigation from both Lockheed Martin and NASA.

Proof of principle for epitope-focused vaccine design

Science.gov (United States)

Correia, Bruno E.; Bates, John T.; Loomis, Rebecca J.; Baneyx, Gretchen; Carrico, Chris; Jardine, Joseph G.; Rupert, Peter; Correnti, Colin; Kalyuzhniy, Oleksandr; Vittal, Vinayak; Connell, Mary J.; Stevens, Eric; Schroeter, Alexandria; Chen, Man; MacPherson, Skye; Serra, Andreia M.; Adachi, Yumiko; Holmes, Margaret A.; Li, Yuxing; Klevit, Rachel E.; Graham, Barney S.; Wyatt, Richard T.; Baker, David; Strong, Roland K.; Crowe, James E.; Johnson, Philip R.; Schief, William R.

2014-03-01

Vaccines prevent infectious disease largely by inducing protective neutralizing antibodies against vulnerable epitopes. Several major pathogens have resisted traditional vaccine development, although vulnerable epitopes targeted by neutralizing antibodies have been identified for several such cases. Hence, new vaccine design methods to induce epitope-specific neutralizing antibodies are needed. Here we show, with a neutralization epitope from respiratory syncytial virus, that computational protein design can generate small, thermally and conformationally stable protein scaffolds that accurately mimic the viral epitope structure and induce potent neutralizing antibodies. These scaffolds represent promising leads for the research and development of a human respiratory syncytial virus vaccine needed to protect infants, young children and the elderly. More generally, the results provide proof of principle for epitope-focused and scaffold-based vaccine design, and encourage the evaluation and further development of these strategies for a variety of other vaccine targets, including antigenically highly variable pathogens such as human immunodeficiency virus and influenza.

Testing the Pauli Exclusion Principle for electrons at LNGS

CERN Document Server

Shi, H.; Bertolucci, S.; Berucci, C.; Bragadireanu, A.M.; Cargnelli, M.; Clozza, A.; Curceanu, C.; De Paolis, L.; Di Matteo, S.; d'Uffizi, A.; Egger, J.-P.; Guaraldo, C.; Iliescu, M.; Ishiwatari, T.; Marton, J.; Laubenstein, M.; Milotti, E.; Pietreanu, D.; Piscicchia, K.; Ponta, T.; Romero Vidal, A.; Sbardella, E.; Scordo, A.; Sirghi, D.L.; Sirghi, F.; Sperandio, L.; Vazquez Doce, O.; Widmann, E.; Zmeskal, J.

High-precision experiments have been done to test the Pauli exclusion principle (PEP) for electrons by searching for anomalous $K$-series X-rays from a Cu target supplied with electric current. With the highest sensitivity, the VIP (VIolation of Pauli Exclusion Principle) experiment set an upper limit at the level of $10^{-29}$ for the probability that an external electron captured by a Cu atom can make the transition from the 2$p$ state to a 1$s$ state already occupied by two electrons. In a follow-up experiment at Gran Sasso, we aim to increase the sensitivity by two orders of magnitude. We show proofs that the proposed improvement factor is realistic based on the results from recent performance tests of the detectors we did at Laboratori Nazionali di Frascati (LNF).

PREPARATION AND CHARACTERIZATION OF SOY PROTEIN ISOLATE(SPI)/MONTMORILLONITE(MMT) BIONANOCOMPOSITES

Institute of Scientific and Technical Information of China (English)

傅强

2009-01-01

The bionanocomposites of soy protein isolate(SPI)/montmorillonite(MMT) have been prepared successfully via simple melt mixing,in which MMT was used as nanofiller and glycerol was used as plasticizer.Their structures and properties were characterized with X-ray diffraction(XRD),differential scanning calorimetry(DSC),scanning electron microscopy(SEM),thermogravimetric analysis and tensile testing.XRD、TEM and SEM results indicated that the MMT layers could be easily intercalated by the SPI matrix even by si...

Impact of proof test interval and coverage on probability of failure of safety instrumented function

International Nuclear Information System (INIS)

Jin, Jianghong; Pang, Lei; Hu, Bin; Wang, Xiaodong

2016-01-01

Highlights: • Introduction of proof test coverage makes the calculation of the probability of failure for SIF more accurate. • The probability of failure undetected by proof test is independently defined as P TIF and calculated. • P TIF is quantified using reliability block diagram and simple formula of PFD avg . • Improving proof test coverage and adopting reasonable test period can reduce the probability of failure for SIF. - Abstract: Imperfection of proof test can result in the safety function failure of safety instrumented system (SIS) at any time in its life period. IEC61508 and other references ignored or only elementarily analyzed the imperfection of proof test. In order to further study the impact of the imperfection of proof test on the probability of failure for safety instrumented function (SIF), the necessity of proof test and influence of its imperfection on system performance was first analyzed theoretically. The probability of failure for safety instrumented function resulted from the imperfection of proof test was defined as probability of test independent failures (P TIF ), and P TIF was separately calculated by introducing proof test coverage and adopting reliability block diagram, with reference to the simplified calculation formula of average probability of failure on demand (PFD avg ). Research results show that: the shorter proof test period and the higher proof test coverage indicate the smaller probability of failure for safety instrumented function. The probability of failure for safety instrumented function which is calculated by introducing proof test coverage will be more accurate.

InSpiRe - Intelligent Spine Rehabilitation

DEFF Research Database (Denmark)

Bøg, Kasper Hafstrøm; Helms, Niels Henrik; Kjær, Per

Rapport on InSpiRe-projektet: InSpiRe er et nationalt netværk, der skal fremme mulighederne for intelligent genoptræning i forhold til ryglidelser. I netværket mødes forskere, virksomheder, kiropraktorer og fysioterapeuter for at udvikle nye genoptrænings og/eller behandlingsteknologier.......Rapport on InSpiRe-projektet: InSpiRe er et nationalt netværk, der skal fremme mulighederne for intelligent genoptræning i forhold til ryglidelser. I netværket mødes forskere, virksomheder, kiropraktorer og fysioterapeuter for at udvikle nye genoptrænings og/eller behandlingsteknologier....

Accounting for Proof Test Data in a Reliability Based Design Optimization Framework

Science.gov (United States)

Ventor, Gerharad; Scotti, Stephen J.

2012-01-01

This paper investigates the use of proof (or acceptance) test data during the reliability based design optimization of structural components. It is assumed that every component will be proof tested and that the component will only enter into service if it passes the proof test. The goal is to reduce the component weight, while maintaining high reliability, by exploiting the proof test results during the design process. The proposed procedure results in the simultaneous design of the structural component and the proof test itself and provides the designer with direct control over the probability of failing the proof test. The procedure is illustrated using two analytical example problems and the results indicate that significant weight savings are possible when exploiting the proof test results during the design process.

Penerapan Metoda Serial Peripheral Interface (SPI pada Rancang Bangun Data Logger berbasis SD card

Directory of Open Access Journals (Sweden)

RATNA SUSANA

2018-03-01

Full Text Available ABSTRAK Serial Peripheral Interface (SPI adalah protokol komunikasi yang dapat digunakan sebagai interface komunikasi antara mikrokontroler dengan SD Card. Dengan menerapkan metoda SPI pada data logger berbasis SD Card, maka dapat diketahui karakteristik protokol komunikasi SPI antara mikrokontroler dengan SD Card. SD Card diformat dengan tipe FAT 16, dan data di dalam SD Card berupa sekumpulan paket data sensor yang diambil secara periodik dan disimpan dalam bentuk file dengan format.csv. Berdasarkan format paket data sensor yang dibuat, dapat dihitungwaktu perekaman data yang diperlukan agar kapasitas SD Card terisi penuh oleh data sensor. Hasil penelitian menunjukkan,bahwa metoda SPI yang diterapkan pada penelitian ini memiliki sifat akan melakukan pemeriksaan berulang pada pin MISO terhadap command yang dikirimkan oleh mikrokontroler melalui pin MOSI. Proses read/write data pada SD Card data logger memiliki keberhasilan 100%, karena SD Card telah terinisialisasi dalam mode SPI melalui perintah reset dan init SD Card. Komunikasi ini dapat dilakukan dengan menggunakan crystal 4 Mhz – 20 Mhz. Untuk pengujian konfigurasi SPI, hanya Independent Slave Configuration yang dapat digunakan pada komunikasi SPI dengan 2 SD card sebagai slave. Kata kunci: Serial Peripheral Interface (SPI, Data Logger, SD card, FAT16 ABSTRACT Serial Peripheral Interface (SPI is a communication protocol that can be applied as a communication interface between microcontroller to SD Card. By implementing the SPI method to a data logger based on SD Card, it can be known the characteristics of the SPI communications protocol between microcontroller to SD Card. SD Card formatted in FAT 16 type, and data on the SD Card is the form of sensor data packets collection which be captured periodically and saved in .csv format file. Based on the sensor data packet format is created, it can be calculated recording time data required so that the SD Card capacity completely filled by the

[Assisted reproductive medicine in Poland, 2011--SPiN PTG report].

Science.gov (United States)

Janicka, Anna; Spaczyński, Robert Z; Kurzawa, Rafał

2014-07-01

The aim of this report is to present data concerning results and complications related to infertility treatment using assisted reproductive technology (ART) and insemination (IUI) in Poland in 2011. The report was prepared by the Fertility and Sterility Special Interest Group of the Polish Gynaecological Society (SPiN PTG), based on individual data provided by fertility clinics in Poland. Reporting was voluntary and the provided data was not subject to external control. The report presents the availability and the structure of infertility treatment services, the number of procedures performed, their effectiveness and the most common complications. In 2013, 33 Polish fertility clinics provided information to the SPiN PTG report, presenting data from the year 2011. The total number of reported treatment cycles using ART was 15,340 (incl. 10,011 IVF/ICSI procedures) and 15,627 IUI procedures. The rate of clinical pregnancies in terms of a cycle was 34.2% in case of IVF/ ICSI procedures and 13.4% in case of IUI. The prevalence of multiple births was 20.2% and 8.3% respectively in case of IVF/ICSI and IUI methods. The most frequent complication in the course of treatment using ART was ovarian hyperstimulation syndrome (OHSS). The SPiN PTG report allows to find out the average effectiveness and safety of assisted reproduction technologies and is currently the only proof of responsibility and due diligence of fertility centres in Poland. However due to the lack of a central register of fertility clinics, facultative participation in the report as well as incomplete information on pregnancy and delivery the collected data does not reflect the full spectrum of the Polish reproductive medicine.

Human genetics of infectious diseases: between proof of principle and paradigm.

Science.gov (United States)

Alcaïs, Alexandre; Abel, Laurent; Casanova, Jean-Laurent

2009-09-01

The observation that only a fraction of individuals infected by infectious agents develop clinical disease raises fundamental questions about the actual pathogenesis of infectious diseases. Epidemiological and experimental evidence is accumulating to suggest that human genetics plays a major role in this process. As we discuss here, human predisposition to infectious diseases seems to cover a continuous spectrum from monogenic to polygenic inheritance. Although many studies have provided proof of principle that infectious diseases may result from various types of inborn errors of immunity, the genetic determinism of most infectious diseases in most patients remains unclear. However, in the future, studies in human genetics are likely to establish a new paradigm for infectious diseases.

A contraband detection system proof-of-principle device using electrostatic acceleration

International Nuclear Information System (INIS)

Sredniawski, Joseph J.; Debiak, T.W.; Kamykowski, E.; Rathke, J.; Milton, B.; Rogers, J.; Schmor, P.; Stanford, G.; Brando, J.

1996-01-01

A new Contraband Detection System (CDS) Proof-of- Principle (POP) device is nearing completion at Northrop Grumman's Advanced Technology and Development Center. We employ gamma resonance absorption (GRA) to detect nitrogen or chlorine in explosives and certain forms of illegal drugs. Using tomography, 3-D images of the total density and selected element density are generated. These characteristics together may be utilized with considerable confidence in determining if contraband is present in baggage or cargo. The CDS employs a high current (10 mA) DC electrostatic accelerator that provides a beam of protons at either 1.75 or 1.89 MeV. These high energy particles impinge upon a target coated with 13 C or 34 S. The resultant resonant gamma rays are preferentially absorbed in either 14 N or 35 Cl. Because of the penetrating power of the gamma rays, this approach can be utilized for inspection of fully loaded aircraft containers such as the LD3. Our current program calls for testing of the POP CDS by late 1996. This paper presents the overall design and characteristics of the CDS POP. (author)

Stable crack growth during over stressing or proof testing of pressure vessels

International Nuclear Information System (INIS)

Njo, D.H.

1985-07-01

In an earlier study several years ago an attempt has been made by a study group in Switzerland formed by representatives of utilities, manufacturers, inspection agency and the licensing authority to evaluate systematically the advantages and disadvantages of a proof test for a reactor pressure vessel (RPV) taking into account the different aspects involved. In this study, the present day practice in the requirements regarding proof testing in several countries with nuclear power plants were assessed. Using the method of fracture mechanics, taking into account the proof test conditions and material behaviour at hand, qualified quantitative statements were then sought for. One of the important findings of the study was that a sufficiently accurate determination of stable crack growth (SCG) during proof testing is a necessary precondition for a qualified quantitative statement. At that time this requirement could not be met. The aim of the present exercise of collecting available information on SCG was twofold: to get an overview of the present day requirements on pre-service and in-service proof testing of reactor pressure vessels in different countries with NPPs; to collect data on stable crack growth due to over stressing during proof tests to be used in the quantitative assessment, using fracture mechanics methods, and the potential benefit, if any, of proof tests. In the framework of the present study, the originally stipulated aims could not be achieved. It turned out to be a very complex and difficult problem, where various important aspects are little known and could not be assessed without further comprehensive theoretical and experimental investigations

The Spy in Early America: The Emergence of a Genre

National Research Council Canada - National Science Library

Weir, Alison

1998-01-01

... after the Revolution through the antebellum period. By examining the paradoxical figure of the heroic spy, the dissertation explores how the spy story emerged as the adventure tale of the Revolution, the spy became a potential hero, and how the...

Engineering a thalamo-cortico-thalamic circuit on SpiNNaker: a preliminary study towards modelling sleep and wakefulness

Directory of Open Access Journals (Sweden)

Basabdatta Sen Bhattacharya

2014-05-01

Full Text Available We present a preliminary study of a thalamo-cortico-thalamic (TCT implementation on SpiNNaker (Spiking Neural Network architecture, a brain inspired hardware platform designed to incorporate the inherent biological properties of parallelism, fault tolerance and energy efficiency. These attributes make SpiNNaker an ideal platform for simulating biologically plausible computational models. Our focus in this work is to design a TCT framework that can be simulated on SpiNNaker to mimic dynamical behaviour similar to Electroencephalogram (EEG time and power-spectra signatures in sleep-wake transition. The scale of the model is minimised for simplicity in this proof-of-concept study; thus the total number of spiking neurons is approximately 1000 and represents a `mini-column' of the thalamocortical tissue. All data on model structure, synaptic layout and parameters is inspired from previous studies and abstracted at a level that is appropriate to the aims of the current study as well as computationally suitable for model simulation on a small 4-chip SpiNNaker system. The initial results from selective deletion of synaptic connectivity parameters in the model show similarity with EEG time series characteristics of sleep and wakefulness. These observations provide a positive perspective and a basis for future implementation of a very large scale biologically plausible model of thalamo-cortico-thalamic interactivity---the essential brain circuit that regulates the biological sleep-wake cycle and associated EEG rhythms.

30 CFR 18.62 - Tests to determine explosion-proof characteristics.

Science.gov (United States)

2010-07-01

... characteristics. 18.62 Section 18.62 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF LABOR... Inspections and Tests § 18.62 Tests to determine explosion-proof characteristics. (a) In testing for explosion-proof characteristics of an enclosure, it shall be filled and surrounded with various explosive mixtures...

Correction: The role of coupled positive feedback in the expression of the SPI1 type three secretion system in Salmonella.

Directory of Open Access Journals (Sweden)

Supreet Saini

2010-08-01

Full Text Available Salmonella enterica serovar Typhimurium is a common food-borne pathogen that induces inflammatory diarrhea and invades intestinal epithelial cells using a type three secretion system (T3SS encoded within Salmonella pathogenicity island 1 (SPI1. The genes encoding the SPI1 T3SS are tightly regulated by a network of interacting transcriptional regulators involving three coupled positive feedback loops. While the core architecture of the SPI1 gene circuit has been determined, the relative roles of these interacting regulators and associated feedback loops are still unknown. To determine the function of this circuit, we measured gene expression dynamics at both population and single-cell resolution in a number of SPI1 regulatory mutants. Using these data, we constructed a mathematical model of the SPI1 gene circuit. Analysis of the model predicted that the circuit serves two functions. The first is to place a threshold on SPI1 activation, ensuring that the genes encoding the T3SS are expressed only in response to the appropriate combination of environmental and cellular cues. The second is to amplify SPI1 gene expression. To experimentally test these predictions, we rewired the SPI1 genetic circuit by changing its regulatory architecture. This enabled us to directly test our predictions regarding the function of the circuit by varying the strength and dynamics of the activating signal. Collectively, our experimental and computational results enable us to deconstruct this complex circuit and determine the role of its individual components in regulating SPI1 gene expression dynamics.

Structural basis of divergent cyclin-dependent kinase activation by Spy1/RINGO proteins

Energy Technology Data Exchange (ETDEWEB)

McGrath, Denise A.; Fifield, Bre-Anne; Marceau, Aimee H.; Tripathi, Sarvind; Porter, Lisa A.; Rubin, Seth M. (UCSC); (Windsor)

2017-06-30

Cyclin-dependent kinases (Cdks) are principal drivers of cell division and are an important therapeutic target to inhibit aberrant proliferation. Cdk enzymatic activity is tightly controlled through cyclin interactions, posttranslational modifications, and binding of inhibitors such as the p27 tumor suppressor protein. Spy1/RINGO (Spy1) proteins bind and activate Cdk but are resistant to canonical regulatory mechanisms that establish cell-cycle checkpoints. Cancer cells exploit Spy1 to stimulate proliferation through inappropriate activation of Cdks, yet the mechanism is unknown. We have determined crystal structures of the Cdk2-Spy1 and p27-Cdk2-Spy1 complexes that reveal how Spy1 activates Cdk. We find that Spy1 confers structural changes to Cdk2 that obviate the requirement of Cdk activation loop phosphorylation. Spy1 lacks the cyclin-binding site that mediates p27 and substrate affinity, explaining why Cdk-Spy1 is poorly inhibited by p27 and lacks specificity for substrates with cyclin-docking sites. We identify mutations in Spy1 that ablate its ability to activate Cdk2 and to proliferate cells. Our structural description of Spy1 provides important mechanistic insights that may be utilized for targeting upregulated Spy1 in cancer.

Design of a speed meter interferometer proof-of-principle experiment

International Nuclear Information System (INIS)

Gräf, C; Barr, B W; Bell, A S; Campbell, F; Cumming, A V; Gordon, N A; Hammond, G D; Hennig, J; Houston, E A; Huttner, S H; Jones, R A; Leavey, S S; Macarthur, J; Marwick, M; Rigby, S; Sorazu, B; Spencer, A; Danilishin, S L; Lück, H; Schilling, R

2014-01-01

The second generation of large scale interferometric gravitational wave (GW) detectors will be limited by quantum noise over a wide frequency range in their detection band. Further sensitivity improvements for future upgrades or new detectors beyond the second generation motivate the development of measurement schemes to mitigate the impact of quantum noise in these instruments. Two strands of development are being pursued to reach this goal, focusing both on modifications of the well-established Michelson detector configuration and development of different detector topologies. In this paper, we present the design of the world's first Sagnac speed meter (SSM) interferometer, which is currently being constructed at the University of Glasgow. With this proof-of-principle experiment we aim to demonstrate the theoretically predicted lower quantum noise in a Sagnac interferometer compared to an equivalent Michelson interferometer, to qualify SSM for further research towards an implementation in a future generation large scale GW detector, such as the planned Einstein telescope observatory. (paper)

Proof testing of an explosion containment vessel

Energy Technology Data Exchange (ETDEWEB)

Esparza, E.D. [Esparza (Edward D.), San Antonio, TX (United States); Stacy, H.; Wackerle, J. [Los Alamos National Lab., NM (United States)

1996-10-01

A steel containment vessel was fabricated and proof tested for use by the Los Alamos National Laboratory at their M-9 facility. The HY-100 steel vessel was designed to provide total containment for high explosives tests up to 22 lb (10 kg) of TNT equivalent. The vessel was fabricated from an 11.5-ft diameter cylindrical shell, 1.5 in thick, and 2:1 elliptical ends, 2 in thick. Prior to delivery and acceptance, three types of tests were required for proof testing the vessel: a hydrostatic pressure test, air leak tests, and two full design charge explosion tests. The hydrostatic pressure test provided an initial static check on the capacity of the vessel and functioning of the strain instrumentation. The pneumatic air leak tests were performed before, in between, and after the explosion tests. After three smaller preliminary charge tests, the full design charge weight explosion tests demonstrated that no yielding occurred in the vessel at its rated capacity. The blast pressures generated by the explosions and the dynamic response of the vessel were measured and recorded with 33 strain channels, 4 blast pressure channels, 2 gas pressure channels, and 3 displacement channels. This paper presents an overview of the test program, a short summary of the methodology used to predict the design blast loads, a brief description of the transducer locations and measurement systems, some of the hydrostatic test strain and stress results, examples of the explosion pressure and dynamic strain data, and some comparisons of the measured data with the design loads and stresses on the vessel.

A new proof-of-principle contraband detection system

Energy Technology Data Exchange (ETDEWEB)

Sredniawski, J.J.; Debiak, T.; Kamykowski, E.; Rathke, J. [Northrop Grumman Corp., Bethpage, NY (United States). Advanced Technology and Development Center; Schmor, P.; Altman, A.; Rogers, J.; Boyd, J. [British Columbia Univ., Vancouver, BC (Canada). TRIUMF Facility; Brondo, J. [Scientific Innovations, Inc., East Hampton, NY (United States)

1995-12-01

A new concept for a CDS has been developed under a Phase I ARPA funded program; it uses gamma resonance absorption (GRA) to detect certain illegal drugs that may be transported in man-portable containers. A high detection probability for heroin and cocaine is possible with a device that is also searching for explosives. Elemental detection of both N and Cl is utilized, and with tomography, a 3D density image of the elements is generated. Total density image is also developed. These two together may be used with considerable confidence in determining if heroin or cocaine is present in the interrogated containers in a small quantity (1 kg). The CDS employs a high current ({ge}10 mA) DC accelerator that produces a beam of 1.75 or 1.89 MeV protons. These protons impact a target with coatings of {sup 13}C and {sup 34}S. Depending on the coating, the resultant resonant gamma rays are preferentially absorbed in either {sup 14}N or {sup 35}Cl. The resonant gammas come off the target in a conical fan at 80.7{degree} for N and 82{degree} for Cl; a common array of segmented BGO detectors is used over an arc of 53{degree} to provide input to an imaging subsystem. The tomography makes use of rotation and vertical translation of a baggage carousel holding typically 18 average sized bags for batch processing of the contents. The single proton accelerator and target can supply multiple detection stations with the appropriate gammas, a feature that may lead to very high throughput potential approaching 2000 bags/hr. Each detection station can operate somewhat independently from the others. This paper presents the overall requirements, design, operating principles, and characteristics of the CDS proof-of-principle device developed in the Phase I program.

Preemptive mobile code protection using spy agents

OpenAIRE

Kalogridis, Georgios

2011-01-01

This thesis introduces 'spy agents' as a new security paradigm for evaluating trust in remote hosts in mobile code scenarios. In this security paradigm, a spy agent, i.e. a mobile agent which circulates amongst a number of remote hosts, can employ a variety of techniques in order to both appear 'normal' and suggest to a malicious host that it can 'misuse' the agent's data or code without being held accountable. A framework for the operation and deployment of such spy agents is described. ...

Reversal burden of proof on corruption in Indonesia

Directory of Open Access Journals (Sweden)

Hibnu Nugroho

2018-03-01

Full Text Available Corruption becomes the greatest enemy most countries face including Indonesia. Commitment to eradicate corruption significantly increases yet it would be meaningless if it is not supported by adequate legislation to implement the law effectively. Reversal burden of proof essentially aims to facilitate law enforcers to seek and disclose assets a suspect owns allegedly as corruption crime. The principle of reversal burden of proof was originated from Anglo-Saxon countries and this still applies to certain cases such as bribery-related gratifications as Malaysia and Singapore implement. In Indonesia, provisions on the principle of reversal burden of proof have been long recognized even since 1960 on the first law on corruption crimes. Nevertheless, for more than a half of century, the provision on reversal burden of proof has never been implemented. It occurs since articles which govern the issues barely provide clear regulation. It only mentions the principle yet never issues an implemented regulation to support the principle. In regards to this, the research is aimed at investigating, seeking and analyzing the weaknesses in implementing the principle of reversal burden of proof in corruption crimes recently as well as discussing obstacles in law enforcement.

Proof-testing strategies induced by dangerous detected failures of safety-instrumented systems

International Nuclear Information System (INIS)

Liu, Yiliu; Rausand, Marvin

2016-01-01

Some dangerous failures of safety-instrumented systems (SISs) are detected almost immediately by diagnostic self-testing as dangerous detected (DD) failures, whereas other dangerous failures can only be detected by proof-testing, and are therefore called dangerous undetected (DU) failures. Some items may have a DU- and a DD-failure at the same time. After the repair of a DD-failure is completed, the maintenance team has two options: to perform an insert proof test for DU-failure or not. If an insert proof test is performed, it is necessary to decide whether the next scheduled proof test should be postponed or performed at the scheduled time. This paper analyzes the effects of different testing strategies on the safety performance of a single channel of a SIS. The safety performance is analyzed by Petri nets and by approximation formulas and the results obtained by the two approaches are compared. It is shown that insert testing improves the safety performance of the channel, but the feasibility and cost of the strategy may be a hindrance to recommend insert testing. - Highlights: • Identify the tests induced by detected failures. • Model the testing strategies following DD-failures. • Propose analytical formulas for effects of strategies. • Simulate and verify the proposed models.

The reversal of the burden of proof in the Principles of European Tort Law
A comparison with Dutch tort law and civil procedure rules

Directory of Open Access Journals (Sweden)

Ivo Giesen

2010-01-01

Full Text Available Although it is not one of its main features, the Principles of European Tort Law (PETL have devoted some attention to the rules regarding the burden of proof in tort cases, especially to the possibility of a reversal of that burden. Since such a reversal of the burden of proof will be highly relevant for the substantive outcome of a tort case, one needs to be able to justify such a reversal on normative grounds. However, that justification is not always advanced clearly enough in the PETL. At the same time the PETL focus largely on the possible exceptions to the general rule on the burden of proof. As a result, the underlying general rule as such has not been codified. This paper analyses the burden of proof rules in the PETL not only from a more technical point of view, but also from the perspective of the possible influence they might have on the substantive outcome of tort cases. To highlight their content, importance and possible inspirational force for a future ‘European tort law’, these Principles are contrasted with their counterparts under Dutch tort law. The aim is to answer the question whether the choices made in the PETL are justifiable and whether the Dutch tort system can – or maybe even should – seek inspiration from these Principles.

SPI Project Criticality Task Force initial review and assessment

International Nuclear Information System (INIS)

McKinley, K.B.; Cannon, J.W.; Marsden, R.S.; Worle, H.A.

1980-03-01

The Slagging Pyrolysis Incinerator (SPI) Facility is being developed to process transuranic waste stored and buried at the Idaho National Engineering Laboratory (INEL) into a chemically inert, physically stable, basalt-like residue acceptable for a Federal Repository. A task force was established by the SPI Project Division to review and assess all aspects of criticality safety for the SPI Facility. This document presents the initial review, evaluations, and recommendations of the task force and includes the following: background information on waste characterization, and criticality control approaches and philosophies, a description of the SPI Facility Waste Processing Building, a review and assessment of potentially relevant codes and regulations; a review and assessment of the present state of criticality and assaying/monitoring studies, and recommendations for changes in and additions to these studies. The review and assessment of potentially relevant codes and regulations indicate that ERDAM 0530, Nuclear Criticality Safety should be the controlling document for criticality safety for the SPI Project. In general, the criticality control approaches and philosophies for the SPI Project comply with this document

Flexural strength of proof-tested and neutron-irradiated silicon carbide

Science.gov (United States)

Price, R. J.; Hopkins, G. R.

1982-08-01

Proof testing before service is a valuable method for ensuring the reliability of ceramic structures. Silicon carbide has been proposed as a very low activation first-wall and blanket structural material for fusion devices, where it would experience a high flux of fast neutrons. Strips of three types of silicon carbide were loaded in four-point bending to a stress sufficient to break about a third of the specimens. Groups of 16 survivors were irradiated to 2 × 10 26n/ m2 ( E>0.05 MeV) at 740°C and bend tested to failure. The strength distribution of chemically vapor-deposited silicon carbide (Texas Instruments) was virtually unchanged by irradiation. The mean strength of sintered silicon carbide (Carborundum Alpha) was reduced 34% by irradiation, while the Weibull modulus and the truncated strength distribution characteristic of proof-tested material were retained. Irradiation reduced the mean strength of reaction-bonded silicon carbide (Norton NC-430) by 58%, and the spread in strength values was increased. We conclude that for the chemically vapor-deposited and the sintered silicon carbide the benefits of proof testing to eliminate low strength material are retained after high neutron exposures.

Light ion ignitors for inertial confinement fusion: progress toward proof-of-principle

International Nuclear Information System (INIS)

Quintenz, J.P.; Kuswa, G.W.

1981-01-01

From the inception of the REB effort, it was recognized that light ion beams offered substantial advantages as an ICF driver, and as the pulse power driver program progressed the possibilities of using light ion beams became increasingly evident. Because of the rapid progress made in the available power in these light ion beams, their superior target deposition characteristics, the fact that nonrelativistic ion beams can readily be bunched by a factor of 2 to 4, and the favorable scaling relations leading toward reactor levels, Sandia shifted its ICF emphasis from electrons to ions in 1979. The progress which has been made toward proof-of-principle using light ion ignitors, as well as the remaining problems, will be detailed in this paper

Tree Resolution Proofs of the Weak Pigeon-Hole Principle

DEFF Research Database (Denmark)

Dantchev, Stefan Stajanov; Riis, Søren

2001-01-01

We prove that any optimal tree resolution proof of PHPn m is of size 2&thetas;(n log n), independently from m, even if it is infinity. So far, only a 2Ω(n) lower bound has been known in the general case. We also show that any, not necessarily optimal, regular tree resolution proof PHPn m is bound...

Thermal Shock Experiment (TSEX): a ''proof-of-principle'' evaluation of the use of electron beam heating to simulate the thermal mechanical environment anticipated for the first wall of the Reference Theta-Pinch Reactor (RTPR)

International Nuclear Information System (INIS)

Armstrong, P.E.; Krakowski, R.A.

1977-06-01

The results of a ''proof-of-principle'' Thermal Shock Experiment (TSEX), designed to simulate the thermal mechanical response of insulator-metal composite first walls anticipated for pulsed high-density fusion reactors, are given. A programmable 10-kV, 1.0-A electron beam was used to pulse repeatedly (0.30-mm)Al 2 O 3 /(1.0-mm) Nb-1Zr composite samples 200 to 300 K, relative to a base-line temperature of 1000 K. The experimental goals of TSEX were established relative to the first-wall environment anticipated for the Reference Theta-Pinch Reactor (RTPR). A detailed description of the TSEX ''proof-of-principle'' apparatus, experimental procedure, and diagnostics is given. The results of extensive thermal analyses are given, which are used to estimate the thermal stresses generated. Although little or no control was exercised over the sample fabrication and thermal history, one sample experienced in excess of 800 thermal cycles of approximately 250 K at approximately 1000 K, and the results of optical and SEM examination of this specimen are presented. The resistance of this sample to macroscopic failure was truly impressive. Recommendations for the construction of an apparatus dedicated to extensive testing of first-wall composites are given on the basis of these ''proof-of-principle'' TSEX results

The Birth, Death, and Resurrection of an SPI Project

Science.gov (United States)

Carlsson, Sven; Schönström, Mikael

Commentators on contemporary themes of strategic management and firm competitiveness stress that a firm's competitive advantage flows from its unique knowledge and how it manages knowledge, and for many firms their ability to create, share, exchange, and use knowledge have a major impact on their competitiveness (Nonaka & Teece 2001). In software development, knowledge management (KM) plays an increasingly important role. It has been argued that the KM-field is an important source for creating new perspectives on the software development process (Iivari 2000). Several Software Process Improvement (SPI) approaches stress the importance of managing knowledge and experiences as a way for improving software processes (Ahem et al. 2001). Another SPI-trend is the use of ideas from process management like in the Capability Maturity Model (CMM). Unfortunately, little research on the effects of the use of process management ideas in SPI exists. Given the influx of process management ideas to SPI, the impact of these ideas should be addressed.

Towards Model Checking a Spi-Calculus Dialect

NARCIS (Netherlands)

Gnesi, S.; Latella, D.; Lenzini, Gabriele

We present a model checking framework for a spi-calculus dialect which uses a linear time temporal logic for expressing security properties. We have provided our spi-calculus dialect, called SPID, with a semantics based on labeled transition systems (LTS), where the intruder is modeled in the

APPLICATION OF LOGISTICS PRINCIPLES FOR THE PURPOSES OF INTEREST INCREASE IN THE SPIŠ REGION

Directory of Open Access Journals (Sweden)

Dominika Szabóová

2015-06-01

Full Text Available This article refers to the application of logistics principles for the purposes of interest increase in the Spiš region. The object of the research is the Spiš region, its structure and range of services. On the basis of system analysis results the recommendations were listed. Practical application of recommendations may increase the interest in the Spiš region and contribute to its development. Certain paragraph contains the time schedule and recommendation implementation costs. After practical application of selected recommendations their effectiveness was. Conclusions are contained in individual paragraph.

Evaluation of the Use of Home Blood Pressure Measurement Using Mobile Phone-Assisted Technology: The iVitality Proof-of-Principle Study

NARCIS (Netherlands)

Wijsman, L.W.; Richard, E.; Cachucho, R.; Craen, A.J. de; Jongstra, S.; Mooijaart, S.P.

2016-01-01

BACKGROUND: Mobile phone-assisted technologies provide the opportunity to optimize the feasibility of long-term blood pressure (BP) monitoring at home, with the potential of large-scale data collection. OBJECTIVE: In this proof-of-principle study, we evaluated the feasibility of home BP monitoring

Evaluation of the Use of Home Blood Pressure Measurement Using Mobile Phone-Assisted Technology: The iVitality Proof-of-Principle Study

NARCIS (Netherlands)

Wijsman, Liselotte W.; Richard, Edo; Cachucho, Ricardo; de Craen, Anton J. M.; Jongstra, Susan; Mooijaart, Simon P.

2016-01-01

Mobile phone-assisted technologies provide the opportunity to optimize the feasibility of long-term blood pressure (BP) monitoring at home, with the potential of large-scale data collection. In this proof-of-principle study, we evaluated the feasibility of home BP monitoring using mobile

Positron astronomy with SPI/INTEGRAL

International Nuclear Information System (INIS)

Weidenspointner, G.; Diehl, R.; Strong, A.; Weidenspointner, G.; Skinner, G.K.; Skinner, G.K.; Jean, P.; Knoedlseder, J.; Von Ballmoos, P.; Cordier, B.; Schanne, S.; Winkler, C.

2008-01-01

We provide an overview of positron astronomy results that have been obtained using the INTEGRAL spectrometer SPI, and discuss their implications for the still mysterious origin of positrons in our Galaxy. It has long been known that the 511 keV positron annihilation emission is strongest from the central region of our Galaxy. Recently, it has been discovered with the SPI spectrometer that the weaker 511 keV line emission from the inner Galactic disk appears to be asymmetric, with the emission to the west of the Galactic center being about twice as strong than that to the east. This distribution of positron annihilation resembles that of low mass X-ray binaries as observed with the INTEGRAL imager IBIS at hard X-ray energies, suggesting that these systems could provide a significant portion of the positrons in our Galaxy. In addition, the spectrometer SPI has permitted unprecedented spectroscopy of annihilation radiation from the bulge and disk regions of the Galaxy, which commences to yield important insights into the conditions of the medium in which the positrons annihilate. (authors)

iSpy: a powerful and lightweight event display

Science.gov (United States)

Alverson, G.; Eulisse, G.; McCauley, T.; Taylor, L.

2012-12-01

iSpy is a general-purpose event data and detector visualization program that was developed as an event display for the CMS experiment at the LHC and has seen use by the general public and teachers and students in the context of education and outreach. Central to the iSpy design philosophy is ease of installation, use, and extensibility. The application itself uses the open-access packages Qt4 and Open Inventor and is distributed either as a fully-bound executable or a standard installer package: one can simply download and double-click to begin. Mac OSX, Linux, and Windows are supported. iSpy renders the standard 2D, 3D, and tabular views, and the architecture allows for a generic approach to production of new views and projections. iSpy reads and displays data in the ig format: event information is written in compressed JSON format files designed for distribution over a network. This format is easily extensible and makes the iSpy client indifferent to the original input data source. The ig format is the one used for release of approved CMS data to the public.

iSpy: a powerful and lightweight event display

International Nuclear Information System (INIS)

Alverson, G; Eulisse, G; McCauley, T; Taylor, L

2012-01-01

iSpy is a general-purpose event data and detector visualization program that was developed as an event display for the CMS experiment at the LHC and has seen use by the general public and teachers and students in the context of education and outreach. Central to the iSpy design philosophy is ease of installation, use, and extensibility. The application itself uses the open-access packages Qt4 and Open Inventor and is distributed either as a fully-bound executable or a standard installer package: one can simply download and double-click to begin. Mac OSX, Linux, and Windows are supported. iSpy renders the standard 2D, 3D, and tabular views, and the architecture allows for a generic approach to production of new views and projections. iSpy reads and displays data in the ig format: event information is written in compressed JSON format files designed for distribution over a network. This format is easily extensible and makes the iSpy client indifferent to the original input data source. The ig format is the one used for release of approved CMS data to the public.

Application of the Standardized Precipitation Index (SPI in Greece

Directory of Open Access Journals (Sweden)

Christos A. Karavitis

2011-08-01

Full Text Available The main premise of the current effort is that the use of a drought index, such as Standardized Precipitation Index (SPI, may lead to a more appropriate understanding of drought duration, magnitude and spatial extent in semi-arid areas like Greece. The importance of the Index may be marked in its simplicity and its ability to identify the beginning and end of a drought event. Thus, it may point towards drought contingency planning and through it to drought alert mechanisms. In this context, Greece, as it very often faces the hazardous impacts of droughts, presents an almost ideal case for the SPI application. The present approach examines the SPI drought index application for all of Greece and it is evaluated accordingly by historical precipitation data. Different time series of data from 46 precipitation stations, covering the period 1947–2004, and for time scales of 1, 3, 6, 12 and 24 months, were used. The computation of the index was achieved by the appropriate usage of a pertinent software tool. Then, spatial representation of the SPI values was carried out with geo-statistical methods using the SURFER 9 software package. The results underline the potential that the SPI usage exhibits in a drought alert and forecasting effort as part of a drought contingency planning posture.

Safety enhancement of composites via periodic proof testing

OpenAIRE

Woodward, Joseph H.

1993-01-01

Approved for public release; distribution is unlimited. The development of new composite materials, which lack the historical field data base, has led to the need for an accelerated life testing method applicable to composites. Accelerated life testing by increasing the sustained stress levels requires the modeling and validation of a strength-life relation. Proof testing of composite fibers by over-loading is one step in the understanding of the relationship. It is also important in the r...

Macrophage-specific gene functions in Spi1-directed innate immunity

NARCIS (Netherlands)

Zakrzewska, Anna; Cui, Chao; Stockhammer, Oliver W.; Benard, Erica L.; Spaink, Herman P.; Meijer, Annemarie H.

2010-01-01

The Spi1/Pu.1 transcription factor plays a crucial role in myeloid cell development in vertebrates. Despite extensive studies of Spi1, the controlled gene group remains largely unknown. To identify genes dependent on Spi1, we used a microarray strategy using a knockdown approach in zebrafish embryos

On the proof of the first Carnot theorem in thermodynamics

International Nuclear Information System (INIS)

Morad, M R; Momeni, F

2013-01-01

The proof of the first Carnot theorem in classical thermodynamics is revisited in this study. The underlying conditions of a general proof of this principle presented by Senft (1978 Phys. Educ. 13 35–37) are explored and discussed. These conditions are analysed in more detail using a physical description of heat and work to present a simpler proof of the first principle prior to using the violation of the second law of thermodynamics. Finally, a new simple proof is also presented based on Gibbs relation. This discussion will benefit the teaching of classical thermodynamics and promote better understanding of the proof of the first Carnot theorem in general form. (paper)

Proof-of-principle test of coherent-state continuous variable quantum key distribution through turbulent atmosphere (Conference Presentation)

Science.gov (United States)

Derkach, Ivan D.; Peuntinger, Christian; Ruppert, László; Heim, Bettina; Gunthner, Kevin; Usenko, Vladyslav C.; Elser, Dominique; Marquardt, Christoph; Filip, Radim; Leuchs, Gerd

2016-10-01

Continuous-variable quantum key distribution is a practical application of quantum information theory that is aimed at generation of secret cryptographic key between two remote trusted parties and that uses multi-photon quantum states as carriers of key bits. Remote parties share the secret key via a quantum channel, that presumably is under control of of an eavesdropper, and which properties must be taken into account in the security analysis. Well-studied fiber-optical quantum channels commonly possess stable transmittance and low noise levels, while free-space channels represent a simpler, less demanding and more flexible alternative, but suffer from atmospheric effects such as turbulence that in particular causes a non-uniform transmittance distribution referred to as fading. Nonetheless free-space channels, providing an unobstructed line-of-sight, are more apt for short, mid-range and potentially long-range (using satellites) communication and will play an important role in the future development and implementation of QKD networks. It was previously theoretically shown that coherent-state CV QKD should be in principle possible to implement over a free-space fading channel, but strong transmittance fluctuations result in the significant modulation-dependent channel excess noise. In this regime the post-selection of highly transmitting sub-channels may be needed, which can even restore the security of the protocol in the strongly turbulent channels. We now report the first proof-of-principle experimental test of coherent state CV QKD protocol using different levels Gaussian modulation over a mid-range (1.6-kilometer long) free-space atmospheric quantum channel. The transmittance of the link was characterized using intensity measurements for the reference but channel estimation using the modulated coherent states was also studied. We consider security against Gaussian collective attacks, that were shown to be optimal against CV QKD protocols . We assumed a

Proof-of-principle experiment of the vacuum beat wave accelerator

International Nuclear Information System (INIS)

Ting, A.; Krushelnick, K.; Esarey, E.; Sprangle, P.

1997-01-01

The vacuum beat wave accelerator (VBWA) is discussed and design parameters for proof-of-principle experiment are presented. The VBWA utilizes two focused laser beams of differing wavelengths to generate a beat wave that can impart a net acceleration to charged particles. Theory and simulations show that the single-stage energy gain of the VBWA is limited by diffraction of the laser beams, particle slippage in phase and velocity, and radial walk-off. In the simulations the particles are synchronous with the beat wave for a short interval of time and the energy gain has the nature of an impulse delivered near the focal region. Simulations also show that the problem of radial walk-off may be ameliorated by using a converging beam of particles. For terawatt-level laser beams, with wavelengths 1 μm and 0.5 μm, and a 4.5 MeV finite-emittance electron beam the energy can be increased to ∼12.5MeV in a non-synchronous interaction over a distance of under 4 mm, with a peak acceleration gradient >15GeV/m and an estimated trapping fraction of -1%. copyright 1997 American Institute of Physics

How Do Artifact Models Help Direct SPI Projects?

DEFF Research Database (Denmark)

Kuhrmann, Marco; Richardson, Ita

2015-01-01

To overcome shortcomings associated with software process improvement (SPI), we previously recommended that process engineers focus on the artifacts to be developed in SPI projects. These artifacts should define desired outcomes, rather than specific methods. During this prior research, we develo...

An evaluation of the pressure proof test concept for 2024-T3 aluminium alloy sheet

Science.gov (United States)

Dawicke, D. S.; Poe, C. C., Jr.; Newman, J. C.; Harris, C. E.

1991-01-01

The concept of pressure proof testing of fuselage structures with fatigue cracks to insure structural integrity was evaluated from a fracture mechanics viewpoint. A generic analytical and experimental investigation was conducted on uniaxially loaded flat panels with crack configurations and stress levels typical of longitudinal lap splice joints in commercial transport aircraft fuselages. The results revealed that the remaining fatigue life after a proof cycle was longer than that without the proof cycle because of crack growth retardation due to increased crack closure. However, based on a crack length that is slightly less than the critical value at the maximum proof stress, the minimum assured life or proof test interval must be no more than 550 pressure cycles for a 1.33 proof factor and 1530 pressure cycles for a 1.5 proof factor to prevent in-flight failures.

Proof of principle study of the use of a CMOS active pixel sensor for proton radiography.

Science.gov (United States)

Seco, Joao; Depauw, Nicolas

2011-02-01

Proof of principle study of the use of a CMOS active pixel sensor (APS) in producing proton radiographic images using the proton beam at the Massachusetts General Hospital (MGH). A CMOS APS, previously tested for use in s-ray radiation therapy applications, was used for proton beam radiographic imaging at the MGH. Two different setups were used as a proof of principle that CMOS can be used as proton imaging device: (i) a pen with two metal screws to assess spatial resolution of the CMOS and (ii) a phantom with lung tissue, bone tissue, and water to assess tissue contrast of the CMOS. The sensor was then traversed by a double scattered monoenergetic proton beam at 117 MeV, and the energy deposition inside the detector was recorded to assess its energy response. Conventional x-ray images with similar setup at voltages of 70 kVp and proton images using commercial Gafchromic EBT 2 and Kodak X-Omat V films were also taken for comparison purposes. Images were successfully acquired and compared to x-ray kVp and proton EBT2/X-Omat film images. The spatial resolution of the CMOS detector image is subjectively comparable to the EBT2 and Kodak X-Omat V film images obtained at the same object-detector distance. X-rays have apparent higher spatial resolution than the CMOS. However, further studies with different commercial films using proton beam irradiation demonstrate that the distance of the detector to the object is important to the amount of proton scatter contributing to the proton image. Proton images obtained with films at different distances from the source indicate that proton scatter significantly affects the CMOS image quality. Proton radiographic images were successfully acquired at MGH using a CMOS active pixel sensor detector. The CMOS demonstrated spatial resolution subjectively comparable to films at the same object-detector distance. Further work will be done in order to establish the spatial and energy resolution of the CMOS detector for protons. The

Single Sensor Gait Analysis to Detect Diabetic Peripheral Neuropathy: A Proof of Principle Study

Directory of Open Access Journals (Sweden)

Patrick Esser

2018-01-01

Full Text Available This study explored the potential utility of gait analysis using a single sensor unit (inertial measurement unit [IMU] as a simple tool to detect peripheral neuropathy in people with diabetes. Seventeen people (14 men aged 63±9 years (mean±SD with diabetic peripheral neuropathy performed a 10-m walk test instrumented with an IMU on the lower back. Compared to a reference healthy control data set (matched by gender, age, and body mass index both spatiotemporal and gait control variables were different between groups, with walking speed, step time, and SDa (gait control parameter demonstrating good discriminatory power (receiver operating characteristic area under the curve >0.8. These results provide a proof of principle of this relatively simple approach which, when applied in clinical practice, can detect a signal from those with known diabetes peripheral neuropathy. The technology has the potential to be used both routinely in the clinic and for tele-health applications. Further research should focus on investigating its efficacy as an early indicator of or effectiveness of the management of peripheral neuropathy. This could support the development of interventions to prevent complications such as foot ulceration or Charcot's foot.

Design and implementation of an array of micro-electrochemical detectors for two-dimensional liquid chromatography--proof of principle.

Science.gov (United States)

Abia, Jude A; Putnam, Joel; Mriziq, Khaled; Guiochon, Georges A

2010-03-05

Simultaneous two-dimensional liquid chromatography (2D-LC) is an implementation of two-dimensional liquid chromatography which has the potential to provide very fast, yet highly efficient separations. It is based on the use of time x space and space x space separation systems. The basic principle of this instrument has been validated long ago by the success of two-dimensional thin layer chromatography. The construction of a pressurized wide and flat column (100 mm x 100 mm x 1 mm) operated under an inlet pressure of up to 50 bar was described previously. However, to become a modern analytical method, simultaneous 2D-LC requires the development of detectors suitable for the monitoring of the composition of the eluent of this pressurized planar, wide column. An array of five equidistant micro-electrochemical sensors was built for this purpose and tested. Each sensor is a three-electrode system, with the working electrode being a 25 microm polished platinum micro-electrode. The auxiliary electrode is a thin platinum wire and the reference electrode an Ag/AgCl (3M sat. KCl) electrode. In this first implementation, proof of principle is demonstrated, but the final instrument will require a much larger array. 2010 Elsevier B.V. All rights reserved.

A Comparison of Single-Cycle Versus Multiple-Cycle Proof Testing Strategies

Science.gov (United States)

McClung, R. C.; Chell, G. G.; Millwater, H. R.; Russell, D. A.; Millwater, H. R.

1999-01-01

Single-cycle and multiple-cycle proof testing (SCPT and MCPT) strategies for reusable aerospace propulsion system components are critically evaluated and compared from a rigorous elastic-plastic fracture mechanics perspective. Earlier MCPT studies are briefly reviewed. New J-integral estimation methods for semielliptical surface cracks and cracks at notches are derived and validated. Engineering methods are developed to characterize crack growth rates during elastic-plastic fatigue crack growth (FCG) and the tear-fatigue interaction near instability. Surface crack growth experiments are conducted with Inconel 718 to characterize tearing resistance, FCG under small-scale yielding and elastic-plastic conditions, and crack growth during simulated MCPT. Fractography and acoustic emission studies provide additional insight. The relative merits of SCPT and MCPT are directly compared using a probabilistic analysis linked with an elastic-plastic crack growth computer code. The conditional probability of failure in service is computed for a population of components that have survived a previous proof test, based on an assumed distribution of initial crack depths. Parameter studies investigate the influence of proof factor, tearing resistance, crack shape, initial crack depth distribution, and notches on the MCPT versus SCPT comparison. The parameter studies provide a rational basis to formulate conclusions about the relative advantages and disadvantages of SCPT and MCPT. Practical engineering guidelines are proposed to help select the optimum proof test protocol in a given application.

Improved Mobility Control for Carbon Dioxide (CO{sub 2}) Enhanced Oil Recovery Using Silica-Polymer-Initiator (SPI) Gels

Energy Technology Data Exchange (ETDEWEB)

Oglesby, Kenneth

2014-01-31

SPI gels are multi-component silicate based gels for improving (areal and vertical) conformance in oilfield enhanced recovery operations, including water-floods and carbon dioxide (CO{sub 2}) floods, as well as other applications. SPI mixtures are like-water when pumped, but form light up to very thick, paste-like gels in contact with CO{sub 2}. When formed they are 3 to 10 times stronger than any gelled polyacrylamide gel now available, however, they are not as strong as cement or epoxy, allowing them to be washed / jetted out of the wellbore without drilling. This DOE funded project allowed 8 SPI field treatments to be performed in 6 wells (5 injection wells and 1 production well) in 2 different fields with different operators, in 2 different basins (Gulf Coast and Permian) and in 2 different rock types (sandstone and dolomite). Field A was in a central Mississippi sandstone that injected CO{sub 2} as an immiscible process. Field B was in the west Texas San Andres dolomite formation with a mature water-alternating-gas miscible CO{sub 2} flood. Field A treatments are now over 1 year old while Field B treatments have only 4 months data available under variable WAG conditions. Both fields had other operational events and well work occurring before/ during / after the treatments making definitive evaluation difficult. Laboratory static beaker and dynamic sand pack tests were performed with Ottawa sand and both fields’ core material, brines and crude oils to improve SPI chemistry, optimize SPI formulations, ensure SPI mix compatibility with field rocks and fluids, optimize SPI treatment field treatment volumes and methods, and ensure that strong gels set in the reservoir. Field quality control procedures were designed and utilized. Pre-treatment well (surface) injectivities ranged from 0.39 to 7.9 MMCF/psi. The SPI treatment volumes ranged from 20.7 cubic meters (m{sup 3}, 5460 gallons/ 130 bbls) to 691 m{sup 3} (182,658 gallons/ 4349 bbls). Various size and types

SailSpy: a vision system for yacht sail shape measurement

Science.gov (United States)

Olsson, Olof J.; Power, P. Wayne; Bowman, Chris C.; Palmer, G. Terry; Clist, Roger S.

1992-11-01

SailSpy is a real-time vision system which we have developed for automatically measuring sail shapes and masthead rotation on racing yachts. Versions have been used by the New Zealand team in two America's Cup challenges in 1988 and 1992. SailSpy uses four miniature video cameras mounted at the top of the mast to provide views of the headsail and mainsail on either tack. The cameras are connected to the SailSpy computer below deck using lightweight cables mounted inside the mast. Images received from the cameras are automatically analyzed by the SailSpy computer, and sail shape and mast rotation parameters are calculated. The sail shape parameters are calculated by recognizing sail markers (ellipses) that have been attached to the sails, and the mast rotation parameters by recognizing deck markers painted on the deck. This paper describes the SailSpy system and some of the vision algorithms used.

Proof tests on reliability

International Nuclear Information System (INIS)

Mishima, Yoshitsugu

1983-01-01

In order to obtain public understanding on nuclear power plants, tests should be carried out to prove the reliability and safety of present LWR plants. For example, the aseismicity of nuclear power plants must be verified by using a large scale earthquake simulator. Reliability test began in fiscal 1975, and the proof tests on steam generators and on PWR support and flexure pins against stress corrosion cracking have already been completed, and the results have been internationally highly appreciated. The capacity factor of the nuclear power plant operation in Japan rose to 80% in the summer of 1983, and considering the period of regular inspection, it means the operation of almost full capacity. Japanese LWR technology has now risen to the top place in the world after having overcome the defects. The significance of the reliability test is to secure the functioning till the age limit is reached, to confirm the correct forecast of deteriorating process, to confirm the effectiveness of the remedy to defects and to confirm the accuracy of predicting the behavior of facilities. The reliability of nuclear valves, fuel assemblies, the heat affected zones in welding, reactor cooling pumps and electric instruments has been tested or is being tested. (Kako, I.)

Mapping of SPI drought index in South-Eastern Europe, theory and practice

Science.gov (United States)

Bihari, Z.; Szentimrey, T.; Lakatos, M.; Gregorič, G.; Likso, T.

2010-09-01

In recent decades drought has a major impact on the economy in South-Eastern Europe (SEE). The annual precipitation has decreased from the beginning of 20th century. Additional problem is that the intensity of precipitation increases in average. The part of runoff became larger, and greater part of the precipitation runs to the rivers, streamlets, and less part infiltrates into the soil. Therefore, the available water reduces for vegetation. Summarized, the drought tendency increases in the region. The Drought Management Centre for South East Europe was established to deal with these events and try to improve drought management and policy. One method to calculate the extent of a drought event is the application of drought indices. Several indices are used for this purpose, one of them is the Standard Precipitation Index (SPI) developed by McKee et al. The SPI is based only on precipitation and can be used to monitor conditions on a variety of time scales. The SPI calculation for any location is based on long-term precipitation record for a desired period. This long-term record is fitted to a gamma probability distribution, which is then transformed into the standard normal distribution. In the practice SPI is calculated mainly for 1, 3, 6 months. The SPI calculator which is offered on the project page of DMCSEE is applied for SPI calculations in this study. For the interpolation of SPI we use the MISH interpolation method developed at Hungarian Meteorological Service (Meteorological Interpolation based on Surface Homogenized Data Basis; Szentimrey, Bihari, 2007). The interpolation can be realized in to ways: 1. The SPI values are calculated in grid points after gridding (by gridding part of MISH) the station precipitation data series 2. The station based SPI values are interpolated by method MISH One of the main feature of MISH is that it use longtime data series for modelling of the necessary climate statistical parameters while the SPI calculations are also based

Identification of lymphogranuloma venereum-associated Chlamydia trachomatis serovars by fluorescence in situ hybridisation--a proof-of-principle analysis.

Science.gov (United States)

Frickmann, Hagen; Essig, Andreas; Poppert, Sven

2014-04-01

We describe a proof-of-principle evaluation of a fluorescence in situ hybridisation (FISH) procedure to identify Chlamydia trachomatis serovars L1-L3, the causative agents of lymphogranuloma venereum, in cell cultures based on newly designed DNA probes. Rapid and easy-to-perform FISH could facilitate the diagnosis of lymphogranuloma venereum without nucleic acid amplification or serotyping, but requires broader evaluation studies, for example, in tropical high-endemicity regions. © 2014 John Wiley & Sons Ltd.

Test of the Equivalence Principle in an Einstein Elevator

Science.gov (United States)

Shapiro, Irwin I.; Glashow, S.; Lorenzini, E. C.; Cosmo, M. L.; Cheimets, P. N.; Finkelstein, N.; Schneps, M.

2004-01-01

The scientific goal of the experiment is to test the equality of gravitational and inertial mass (i.e., to test the Principle of Equivalence) by measuring the independence of the rate of fall of bodies from their compositions. The measurement is accomplished by measuring the relative displacement (or equivalently acceleration) of two falling bodies of different materials which are the proof masses of a differential accelerometer spinning about an horizontal axis to modulate a possible violation signal. A non-zero differential acceleration appearing at the signal frequency will indicate a violation of the Equivalence Principle. The goal of the experiment is to measure the Eotvos ratio og/g (differential acceleration/common acceleration) with a targeted accuracy that is about two orders of magnitude better than the state of the art (presently at several parts in 10(exp 13). The analyses carried out during this first grant year have focused on: (1) evaluation of possible shapes for the proof masses to meet the requirements on the higher-order mass moment disturbances generated by the falling capsule; (2) dynamics of the instrument package and differential acceleration measurement in the presence of errors and imperfections; (3) computation of the inertia characteristic of the instrument package that enable a separation of the signal from the dynamics-related noise; (4) a revised thermal analysis of the instrument package in light of the new conceptual design of the cryostat; (5) the development of a dynamic and control model of the capsule attached to the gondola and balloon to define the requirements for the leveling mechanism (6) a conceptual design of the leveling mechanism that keeps the capsule aligned before release from the balloon; and (7) a new conceptual design of the customized cryostat and a preliminary valuation of its cost. The project also involves an international cooperation with the Institute of Space Physics (IFSI) in Rome, Italy. The group at IFSI

Employees' Motivation for SPI: Case Study in a Small Finnish Software Company

Science.gov (United States)

Valtanen, Anu; Sihvonen, Hanna-Miina

In small software companies the resources available for SPI are often limited. With limited resources, the motivation of the employees becomes one of the key factors for SPI. In this article, the motivational factors affecting a small company's SPI efforts are discussed. In the research, we carried out interviews and a survey in a small Finnish software company considering the motivation towards SPI. The results are presented here and compared with earlier motivation research. There were differences revealed while comparing the motivating factors of smaller companies to those of larger ones. In large companies the focus seems to be on the business related motivators and in small ones the motivators related to comfortability of work are emphasized. Motivation survey and the interviews proved to be useful tools in planning the future SPI strategy. A lot of valuable information was discovered for planning and implementing the next steps of SPI.

Assessment of the Standardized Precipitation Index (SPI) in Tegal City, Central Java, Indonesia

Science.gov (United States)

Pramudya, Y.; Onishi, T.

2018-03-01

One of the adverse impacts of climate change is drought, which occurs more frequently in Tegal city, Indonesia. The application of drought index analysis is useful for drought assessment to consider adaptation and mitigation method in order to deal with climate change. By figuring out the level and duration of the drought. In order to analyze drought in the specific area, Standardized Precipitation Index (SPI) is an index to quantify the rainfall deficit for multiple timescales. In 2015, Indonesia experienced severe drought, which has not been analyzed, yet. Thus, it is important to assess a quantitative evaluation of the drought condition. The study shows that from all deficit periods, the most severe drought in duration and peak took place in 2015, with each drought index as follows: 1 month deficit or SPI-1 (-3.11) in 1985 (-2.51) in 2015, 3 month deficit or SPI-3 (-2.291) in 1995 (-1.82) in 2015, 6 month deficit or SPI-6 (-2.40) in 1997 and (-1.84) in 2015, 9 month deficit or SPI-9 (-1.12) in 2015, 12 month deficit or SPI-12 (-1.19) in 2015. The result underlines the potential that SPI exhibits in drought identification and the use of the rainfall strongly linked to drought relief policy and measure implementation in Tegal city.

Salmonella Typhimurium induces SPI-1 and SPI-2 regulated and strain dependent downregulation of MHC II expression on porcine alveolar macrophages

Directory of Open Access Journals (Sweden)

Van Parys Alexander

2012-06-01

Full Text Available Abstract Foodborne salmonellosis is one of the most important bacterial zoonotic diseases worldwide. Salmonella Typhimurium is the serovar most frequently isolated from persistently infected slaughter pigs in Europe. Circumvention of the host’s immune system by Salmonella might contribute to persistent infection of pigs. In the present study, we found that Salmonella Typhimurium strain 112910a specifically downregulated MHC II, but not MHC I, expression on porcine alveolar macrophages in a Salmonella pathogenicity island (SPI-1 and SPI-2 dependent way. Salmonella induced downregulation of MHC II expression and intracellular proliferation of Salmonella in macrophages were significantly impaired after opsonization with Salmonella specific antibodies prior to inoculation. Furthermore, the capacity to downregulate MHC II expression on macrophages differed significantly among Salmonella strains, independently of strain specific differences in invasion capacity, Salmonella induced cytotoxicity and altered macrophage activation status. The fact that strain specific differences in MHC II downregulation did not correlate with the extent of in vitro SPI-1 or SPI-2 gene expression indicates that other factors are involved in MHC II downregulation as well. Since Salmonella strain dependent interference with the pig’s immune response through downregulation of MHC II expression might indicate that certain Salmonella strains are more likely to escape serological detection, our findings are of major interest for Salmonella monitoring programs primarily based on serology.

The γ-ray burst-detection system of SPI

International Nuclear Information System (INIS)

Lichti, G.G.; Georgii, R.; Kienlin, A. von; Schoenfelder, V.; Wunderer, C.; Jung, H.-J.; Hurley, K.

2000-01-01

The determination of precise locations of γ-ray bursts is a crucial task of γ-ray astronomy. Although γ-ray burst locations can be obtained nowadays from single experiments (BATSE, COMPTEL, BeppoSax) the location of bursts via triangulation using the interplanetary network is still important because not all bursts will be located precisely enough by these single instruments. In order to get location accuracies down to arcseconds via triangulation one needs long baselines. At the beginning of the next decade several spacecrafts which explore the outer planetary system (the Mars-Surveyor-2001 Orbiter and probably Ulysses) will carry γ-ray burst instruments. INTEGRAL as a near-earth spacecraft is the ideal counterpart for these satellites. The massive anticoincidence shield of the INTEGRAL-spectrometer SPI allows the measurement of γ-ray bursts with a high sensitivity. Estimations have shown that with SPI some hundred γ-ray bursts per year on the 5σ level can be measured. This is equivalent to the BATSE sensitivity. We describe the γ-ray burst-detection system of SPI, present its technical features and assess the scientific capabilities

Single Sensor Gait Analysis to Detect Diabetic Peripheral Neuropathy: A Proof of Principle Study.

Science.gov (United States)

Esser, Patrick; Collett, Johnny; Maynard, Kevin; Steins, Dax; Hillier, Angela; Buckingham, Jodie; Tan, Garry D; King, Laurie; Dawes, Helen

2018-02-01

This study explored the potential utility of gait analysis using a single sensor unit (inertial measurement unit [IMU]) as a simple tool to detect peripheral neuropathy in people with diabetes. Seventeen people (14 men) aged 63±9 years (mean±SD) with diabetic peripheral neuropathy performed a 10-m walk test instrumented with an IMU on the lower back. Compared to a reference healthy control data set (matched by gender, age, and body mass index) both spatiotemporal and gait control variables were different between groups, with walking speed, step time, and SDa (gait control parameter) demonstrating good discriminatory power (receiver operating characteristic area under the curve >0.8). These results provide a proof of principle of this relatively simple approach which, when applied in clinical practice, can detect a signal from those with known diabetes peripheral neuropathy. The technology has the potential to be used both routinely in the clinic and for tele-health applications. Further research should focus on investigating its efficacy as an early indicator of or effectiveness of the management of peripheral neuropathy. This could support the development of interventions to prevent complications such as foot ulceration or Charcot's foot. Copyright © 2018 Korean Diabetes Association.

Neuromodulated Synaptic Plasticity on the SpiNNaker Neuromorphic System

Directory of Open Access Journals (Sweden)

Mantas Mikaitis

2018-02-01

Full Text Available SpiNNaker is a digital neuromorphic architecture, designed specifically for the low power simulation of large-scale spiking neural networks at speeds close to biological real-time. Unlike other neuromorphic systems, SpiNNaker allows users to develop their own neuron and synapse models as well as specify arbitrary connectivity. As a result SpiNNaker has proved to be a powerful tool for studying different neuron models as well as synaptic plasticity—believed to be one of the main mechanisms behind learning and memory in the brain. A number of Spike-Timing-Dependent-Plasticity(STDP rules have already been implemented on SpiNNaker and have been shown to be capable of solving various learning tasks in real-time. However, while STDP is an important biological theory of learning, it is a form of Hebbian or unsupervised learning and therefore does not explain behaviors that depend on feedback from the environment. Instead, learning rules based on neuromodulated STDP (three-factor learning rules have been shown to be capable of solving reinforcement learning tasks in a biologically plausible manner. In this paper we demonstrate for the first time how a model of three-factor STDP, with the third-factor representing spikes from dopaminergic neurons, can be implemented on the SpiNNaker neuromorphic system. Using this learning rule we first show how reward and punishment signals can be delivered to a single synapse before going on to demonstrate it in a larger network which solves the credit assignment problem in a Pavlovian conditioning experiment. Because of its extra complexity, we find that our three-factor learning rule requires approximately 2× as much processing time as the existing SpiNNaker STDP learning rules. However, we show that it is still possible to run our Pavlovian conditioning model with up to 1 × 104 neurons in real-time, opening up new research opportunities for modeling behavioral learning on SpiNNaker.

Does brain creatine content rely on exogenous creatine in healthy youth? A proof-of-principle study.

Science.gov (United States)

Merege-Filho, Carlos Alberto Abujabra; Otaduy, Maria Concepción Garcia; de Sá-Pinto, Ana Lúcia; de Oliveira, Maira Okada; de Souza Gonçalves, Lívia; Hayashi, Ana Paula Tanaka; Roschel, Hamilton; Pereira, Rosa Maria Rodrigues; Silva, Clovis Artur; Brucki, Sonia Maria Dozzi; da Costa Leite, Claudia; Gualano, Bruno

2017-02-01

It has been hypothesized that dietary creatine could influence cognitive performance by increasing brain creatine in developing individuals. This double-blind, randomized, placebo-controlled, proof-of-principle study aimed to investigate the effects of creatine supplementation on cognitive function and brain creatine content in healthy youth. The sample comprised 67 healthy participants aged 10 to 12 years. The participants were given creatine or placebo supplementation for 7 days. At baseline and after the intervention, participants undertook a battery of cognitive tests. In a random subsample of participants, brain creatine content was also assessed in the regions of left dorsolateral prefrontal cortex, left hippocampus, and occipital lobe by proton magnetic resonance spectroscopy (1H-MRS) technique. The scores obtained from verbal learning and executive functions tests did not significantly differ between groups at baseline or after the intervention (all p > 0.05). Creatine content was not significantly different between groups in left dorsolateral prefrontal cortex, left hippocampus, and occipital lobe (all p > 0.05). In conclusion, a 7-day creatine supplementation protocol did not elicit improvements in brain creatine content or cognitive performance in healthy youth, suggesting that this population mainly relies on brain creatine synthesis rather than exogenous creatine intake to maintain brain creatine homeostasis.

The Spy VI child : A newly discovered Neandertal infant

NARCIS (Netherlands)

Crevecoeur, Isabelle; Bayle, Priscilla; Rougier, Helene; Maureille, Bruno; Higham, Thomas; van der Plicht, Johannes; De Clerck, Nora; Semal, Patrick

2010-01-01

Spy cave (Jemeppe-sur-Sambre Belgium) is reputed for the two adult Neandertal individuals discovered in situ in 1886 Recent reassessment of the Spy collections has allowed direct radiocarbon dating of these individuals The sorting of all of the faunal collections has also led to the discovery of the

Proof on principle experiments of laser wakefield acceleration

International Nuclear Information System (INIS)

Nakajima, K.; Kawakubo, T.; Nakanishi, H.

1994-01-01

The principle of laser wakefield particle acceleration has been tested by the Nd:glass laser system providing a short pulse with a power of 10 TW and a duration of 1 ps. Electrons accelerated up to 18 MeV/c have been observed by injecting 1 MeV/c electrons emitted from a solid target by an intense laser impact. The accelerating field gradient of 30 GeV/m is inferred. (author)

Photon-counting-based diffraction phase microscopy combined with single-pixel imaging

Science.gov (United States)

Shibuya, Kyuki; Araki, Hiroyuki; Iwata, Tetsuo

2018-04-01

We propose a photon-counting (PC)-based quantitative-phase imaging (QPI) method for use in diffraction phase microscopy (DPM) that is combined with a single-pixel imaging (SPI) scheme (PC-SPI-DPM). This combination of DPM with the SPI scheme overcomes a low optical throughput problem that has occasionally prevented us from obtaining quantitative-phase images in DPM through use of a high-sensitivity single-channel photodetector such as a photomultiplier tube (PMT). The introduction of a PMT allowed us to perform PC with ease and thus solved a dynamic range problem that was inherent to SPI. As a proof-of-principle experiment, we performed a comparison study of analogue-based SPI-DPM and PC-SPI-DPM for a 125-nm-thick indium tin oxide (ITO) layer coated on a silica glass substrate. We discuss the basic performance of the method and potential future modifications of the proposed system.

SPI Conformance Gel Applications in Geothermal Zonal Isolation

Energy Technology Data Exchange (ETDEWEB)

Burns, Lyle [Clean Tech Innovations, Bartlesville, OK (United States)

2017-08-08

Zonal isolation in geothermal injection and producing wells is important while drilling the wells when highly fractured geothermal zones are encountered and there is a need to keep the fluids from interfering with the drilling operation. Department of Energy’s (DOE) Energy Efficiency and Renewable Energy (EERE) objectives are to advance technologies to make it more cost effective to develop, produce, and monitor geothermal reservoirs and produce geothermal energy. Thus, zonal isolation is critical to well cost, reservoir evaluation and operations. Traditional cementing off of the lost circulation or thief zones during drilling is often done to stem the drilling mud losses. This is an expensive and generally unsuccessful technique losing the potential of the remaining fracture system. Selective placement of strong SPI gels into only the offending fractures can maintain and even improve operational efficiency and resource life. The SPI gel system is a unique silicate based gel system that offers a promising solution to thief zones and conformance problems with water and CO2 floods and potentially geothermal operations. This gel system remains a low viscosity fluid until an initiator (either internal such as an additive or external such as CO2) triggers gelation. This is a clear improvement over current mechanical methods of using packers, plugs, liners and cementing technologies that often severely damage the highly fractured area that is isolated. In the SPI gels, the initiator sets up the fluid into a water-like (not a precipitate) gel and when the isolated zone needs to be reopened, the SPI gel may be removed with an alkaline solution without formation damage occurring. In addition, the SPI gel in commercial quantities is expected to be less expensive than competing mechanical systems and has unique deep placement possibilities. This project seeks to improve upon the SPI gel integrity by modifying the various components to impart temperature stability for use in

SPI Trend Analysis of New Zealand Applying the ITA Technique

Directory of Open Access Journals (Sweden)

Tommaso Caloiero

2018-03-01

Full Text Available A natural temporary imbalance of water availability, consisting of persistent lower-than-average or higher-than-average precipitation, can cause extreme dry and wet conditions that adversely impact agricultural yields, water resources, infrastructure, and human systems. In this study, dry and wet periods in New Zealand were expressed using the Standardized Precipitation Index (SPI. First, both the short term (3 and 6 months and the long term (12 and 24 months SPI were estimated, and then, possible trends in the SPI values were detected by means of a new graphical technique, the Innovative Trend Analysis (ITA, which allows the trend identification of the low, medium, and high values of a series. Results show that, in every area currently subject to drought, an increase in this phenomenon can be expected. Specifically, the results of this paper highlight that agricultural regions on the eastern side of the South Island, as well as the north-eastern regions of the North Island, are the most consistently vulnerable areas. In fact, in these regions, the trend analysis mainly showed a general reduction in all the values of the SPI: that is, a tendency toward heavier droughts and weaker wet periods.

Proof load testing of reinforced concrete bridges: Experience from a program of testing in the Netherlands

NARCIS (Netherlands)

Lantsoght, E.O.L.

2017-01-01

For existing bridges with large uncertainties, analytical methods have limitations. Therefore, to reduce these uncertainties, field testing of a bridge can be used. A type of such a field test is a proof load test, in which a load equivalent to the factored live load is applied. If the bridge can

On the burden of proof in civil procedure

Directory of Open Access Journals (Sweden)

Keča Ranko

2013-01-01

Full Text Available The appliance of burden of proof rules is conceived of assumption that evidences are taken and that court didn't reach the required degree of conviction of a particular fact, what implies limitation of application of these rules on proceedings in which the judgment is rendered after the plenary proceedings. The Code of Civil Procedure (CCP has no suitable answers for the problems arising from new conception of the principle of party control of facts and means of proof in Serbian litigation legislature, by which the court has no more power to take the evidence ex offo. There is no answer to the question how should court conduct when evidence is not taken because of a lack of parties' indication of the means of proof. In this case courts practice somehow wider conception of burden of proof rules, which however has no explicit legal ground. They are applying them even though evidences are not taken. In any case it would be useful to reformulate basic rule of burden of proof in manner which would correspondent to the new conception of the principle of party presentation. The rule of burden of proof applies when the high degree of conviction of facts is demanded from the court, in order to render the judgment. Consequently this rule loses its' sense when mere probability of factual findings is demanded. The broader conception of parties' representation principle however does not liberate court from his responsibility to clarify facts that should be base for adjudication. Circumstance that CCP does mention the principle of material truth anymore should not be seen as argument for liberation of mentioned responsibility. It is still expected from the court to be active. Only when joint effort of the court and parties is left without of goal, in sense that court doesn't reach the high degree conviction, there would be ground for burden of proof rule's application. In this situation court also must justify why he couldn't reach required degree of

Integration of a complex regulatory cascade involving the SirA/BarA and Csr global regulatory systems that controls expression of the Salmonella SPI-1 and SPI-2 virulence regulons through HilD.

Science.gov (United States)

Martínez, Luary C; Yakhnin, Helen; Camacho, Martha I; Georgellis, Dimitris; Babitzke, Paul; Puente, José L; Bustamante, Víctor H

2011-06-01

Salmonella pathogenicity islands 1 and 2 (SPI-1 and SPI-2) play key roles in the pathogenesis of Salmonella enterica. Previously, we showed that when Salmonella grows in Luria-Bertani medium, HilD, encoded in SPI-1, first induces the expression of hilA, located in SPI-1, and subsequently of the ssrAB operon, located in SPI-2. These genes code for HilA and the SsrA/B two-component system, the positive regulators of the SPI-1 and SPI-2 regulons respectively. In this study, we demonstrate that CsrA, a global regulatory RNA binding protein, post-transcriptionally regulates hilD expression by directly binding near the Shine-Dalgarno and translation initiation codon sequences of the hilD mRNA, preventing its translation and leading to its accelerated turnover. Negative regulation is counteracted by the global SirA/BarA two-component system, which directly activates the expression of CsrB and CsrC, two non-coding regulatory RNAs that sequester CsrA, thereby preventing it from binding to its target mRNAs. Our results illustrate the integration of global and specific regulators into a multifactorial regulatory cascade controlling the expression of virulence genes acquired by horizontal transfer events. © 2011 Blackwell Publishing Ltd.

Characterization of the in-flight degradation of the INTEGRAL/SPI detectors

International Nuclear Information System (INIS)

Lonjou, V.; Roques, J.P.; Ballmoos, P. von; Jean, P.; Knodlseder, J.; Skinner, G.; Thevenin, A.; Weidenspointner, G.

2005-01-01

SPI is a high spectral resolution gamma ray telescope which was launched on 2002 October 17 on-board INTEGRAL (INTErnational Gamma Ray Astrophysics Laboratory). The SPI camera consists of 19 high-purity germanium detectors that cover an energy range of 20 keV-8 MeV with an energy resolution of 2-8 keV FWHM. We describe the methods used for the determination of the effects of radiation damage on the SPI detectors. Degradation rate and recovery by annealing are quantified. Using instrumental background lines due to radioisotopes from natural decay chains and from cosmic ray interactions, we found that the variations of detectors efficiency are low. Finally, the impact of the detector degradation on the energy calibration has been investigated

Final report SmartProofS. Results of projects of the SmartProofS program; Eindrapport SmartProofS. Projectresultaten van het SmartProofS programma

Energy Technology Data Exchange (ETDEWEB)

Van Hoorik, P.; Westerga, R. [Energy Valley, Groningen (Netherlands)

2011-05-15

The SmartProofs program aims to develop tools which must show that the principle of a Smart Power System (SPS) works and how. An SPS can ensure that the supply and demand of electricity in the grid is balanced, even in case more decentralized energy techniques will be put into use. This final report summarizes the main results and conclusions of the SmartProofs program. As part of the SPS program attention is paid to the impacts on the girds, the effects of centralized and decentralized management, disaster resilience, pricing models, potential benefits of control and new business models [Dutch] Het SmartProofs programma heeft tot doel om een concept van een Smart Power System (SPS) te ontwikkelen waarmee kan worden aangetoond dat het principe van een SPS werkt en op welke manier. Een SPS kan zorgen dat het aanbod van elektriciteit op het net op elk moment van de dag overeenkomt met de vraag, ook als er straks veel meer decentrale energietechnieken gebruikt worden waarmee zowel de vraag als het aanbod van elektriciteit onvoorspelbaar wordt. Dit eindrapport geeft een overzicht van de belangrijkste resultaten en conclusies van het SmartProofs programma. Het programma heeft in de werkpakketten deelvraagstukken rondom SmartProofS onderzocht rondom de effecten op onze energienetten, de effecten van zowel centrale- als decentrale aansturing, disaster resilience, prijsmodellen, mogelijke baten van aansturing en nieuwe business modellen.

Harnessing ISO/IEC 12207 to Examine the Extent of SPI Activity in an Organisation

Science.gov (United States)

Clarke, Paul; O'Connor, Rory

The quality of the software development process directly affects the quality of the software product. To be successful, software development organisations must respond to changes in technology and business circumstances, and therefore software process improvement (SPI) is required. SPI activity relates to any modification that is performed to the software process in order to improve an aspect of the process. Although multiple process assessments could be employed to examine SPI activity, they present an inefficient tool for such an examination. This paper presents an overview of a new survey-based resource that utilises the process reference model in ISO/IEC 12207 in order to expressly and directly determine the level of SPI activity in a software development organisation. This survey instrument can be used by practitioners, auditors and researchers who are interested in determining the extent of SPI activity in an organisation.

Advances in impact resistance testing for explosion-proof electrical equipment

Directory of Open Access Journals (Sweden)

Pasculescu Vlad Mihai

2017-01-01

Full Text Available The design, construction and exploitation of electrical equipment intended to be used in potentially explosive atmospheres presents a series of difficulties. Therefore, the approach of these phases requires special attention concerning technical, financial and occupational health and safety aspects. In order for them not to generate an ignition source for the explosive atmosphere, such equipment have to be subjected to a series of type tests aiming to decrease the explosion risk in technological installations which operate in potentially explosive atmospheres. Explosion protection being a concern of researchers and authorities worldwide, testing and certification of explosion-proof electrical equipment, required for their conformity assessment, are extremely important, taking into account the unexpected explosion hazard due to potentially explosive atmospheres, risk which has to be minimized in order to ensure the occupational health and safety of workers, for preventing material losses and for decreasing the environmental pollution. Besides others, one of the type tests, which shall be applied, for explosion-proof electrical equipment is the impact resistance test, described in detail in EN 60079 which specifies the general requirements for construction, testing and marking of electrical equipment and Ex components intended for use in explosive atmospheres. This paper presents an analysis on the requirements of the impact resistance test for explosion-proof electrical equipment and on the possibilities to improve this type of test, by making use of modern computer simulation tools based on finite element analysis, techniques which are widely used nowadays in the industry and for research purposes.

INTEGRAL: In flight behavior of ISGRI and SPI

International Nuclear Information System (INIS)

Lebrun, F.; Roques, J.-P.; Sauvageon, A.; Terrier, R.; Laurent, P.; Limousin, O.; Lugiez, F.; Claret, A.

2005-01-01

The payload of INTEGRAL, the space gamma-ray observatory launched in October 2002, features two gamma-ray telescopes that take advantage of the semiconductor technologies. The spectrometer SPI, is equipped with 19 high-purity germanium detectors cooled at 85 K. We will report on the SPI in-flight background, performance, the detector evolution and the annealings performed every 6 months. The INTEGRAL Soft Gamma-Ray Imager (ISGRI) is the low-energy camera of the IBIS telescope. It is the first large camera equipped with CdTe detectors. We will present some system aspects, in particular the noisy pixel handling and will report on its in-flight background, performance and their evolution

Proof-testing and probabilistic lifetime estimation of glass fibers for sensor applications.

Science.gov (United States)

Komachiya, M; Minamitani, R; Fumino, T; Sakaguchi, T; Watanabe, S

1999-05-01

The mechanical reliability of sensing glass fiber is one of the important problems in the practical use of fiber-optic sensors. To ensure long-term reliability on a mass-production level, a method of proof-testing is applied to a sensing glass fiber that will be subjected to mechanical deformation in its service situation. We propose to employ a higher strain level (screening level) in the proof-testing with a fiber-recoating technique that can suppress excessive damage during the testing. We consider a standard lifetime of 15 years of automotive applications and ensure a practical level of failure probability by a model calculation by using the strength data of a prototype fiber with the method of fracture-mechanics theory.

Learning and Organizational Change in SPI Initiatives

Science.gov (United States)

Heikkilä, Marikka

Explaining how organizations chance has been a central and enduring quest of management scholars and many other disciplines. In order to be successful change requires not only a new process or technology but also the engagement and participation of the people involved. In this vein the change process results in new behavior and is routinized in practical daily business life of the company. Change management provides a framework for managing the human side of these changes. In this article we present a literature review on the change management in the context of Software Process Improvement. The traditional view of learning, as a “lessons learned” or post-mortem reporting activity is often apparent in SPI literature. However, learning can also be viewed as a continuous change process where specific learning cycle starts with creative conflict and ends up in formal norms and systems. Since this perspective has almost no visibility in SPI literature of past it could show a new direction to the future development of change management in SPI.

Ergodicity, Maximum Entropy Production, and Steepest Entropy Ascent in the Proofs of Onsager's Reciprocal Relations

Science.gov (United States)

Benfenati, Francesco; Beretta, Gian Paolo

2018-04-01

We show that to prove the Onsager relations using the microscopic time reversibility one necessarily has to make an ergodic hypothesis, or a hypothesis closely linked to that. This is true in all the proofs of the Onsager relations in the literature: from the original proof by Onsager, to more advanced proofs in the context of linear response theory and the theory of Markov processes, to the proof in the context of the kinetic theory of gases. The only three proofs that do not require any kind of ergodic hypothesis are based on additional hypotheses on the macroscopic evolution: Ziegler's maximum entropy production principle (MEPP), the principle of time reversal invariance of the entropy production, or the steepest entropy ascent principle (SEAP).

klanke, voëlgeluide en musiek in die digkuns van Lina Spies

African Journals Online (AJOL)

27 Jan 2006 ... 1999: 11-23), maak Spies self ook nie melding van musiek as tema nie; sy noem die. Afrikaanse digteres se “siening van die natuur, die religie, die politiek, medekunste- naars, verwantskap, digterskap” (Spies 1999: 22). Maar die digter verklaar in 'n onder- houd (Spies 2004b) dat sy drie groot passies het: ...

A framework for plasticity implementation on the SpiNNaker neural architecture.

Science.gov (United States)

Galluppi, Francesco; Lagorce, Xavier; Stromatias, Evangelos; Pfeiffer, Michael; Plana, Luis A; Furber, Steve B; Benosman, Ryad B

2014-01-01

Many of the precise biological mechanisms of synaptic plasticity remain elusive, but simulations of neural networks have greatly enhanced our understanding of how specific global functions arise from the massively parallel computation of neurons and local Hebbian or spike-timing dependent plasticity rules. For simulating large portions of neural tissue, this has created an increasingly strong need for large scale simulations of plastic neural networks on special purpose hardware platforms, because synaptic transmissions and updates are badly matched to computing style supported by current architectures. Because of the great diversity of biological plasticity phenomena and the corresponding diversity of models, there is a great need for testing various hypotheses about plasticity before committing to one hardware implementation. Here we present a novel framework for investigating different plasticity approaches on the SpiNNaker distributed digital neural simulation platform. The key innovation of the proposed architecture is to exploit the reconfigurability of the ARM processors inside SpiNNaker, dedicating a subset of them exclusively to process synaptic plasticity updates, while the rest perform the usual neural and synaptic simulations. We demonstrate the flexibility of the proposed approach by showing the implementation of a variety of spike- and rate-based learning rules, including standard Spike-Timing dependent plasticity (STDP), voltage-dependent STDP, and the rate-based BCM rule. We analyze their performance and validate them by running classical learning experiments in real time on a 4-chip SpiNNaker board. The result is an efficient, modular, flexible and scalable framework, which provides a valuable tool for the fast and easy exploration of learning models of very different kinds on the parallel and reconfigurable SpiNNaker system.

SpyRings Declassified: A Blueprint for Using Isopeptide-Mediated Cyclization to Enhance Enzyme Thermal Resilience.

Science.gov (United States)

Schoene, C; Bennett, S P; Howarth, M

2016-01-01

Enzymes often have marginal stability, with unfolding typically leading to irreversible denaturation. This sensitivity is a major barrier, both for de novo enzyme development and for expanding enzyme impact beyond the laboratory. Seeking an approach to enhance resilience to denaturation that could be applied to a range of different enzymes, we developed SpyRing cyclization. SpyRings contain genetically encoded SpyTag (13 amino acids) on the N-terminus and SpyCatcher (12kDa) on the C-terminus of the enzyme, so that the Spy partners spontaneously react together through an irreversible isopeptide bond. SpyRing cyclization gave major increases in thermal resilience, including on a model for enzyme evolution, β-lactamase, and an industrially important enzyme in agriculture and nutrition, phytase. We outline the SpyRing rationale, including comparison of SpyRing cyclization to other cyclization strategies. The cloning strategy is presented for the simple insertion of enzyme genes for recombinant expression. We discuss structure-based approaches to select suitable enzyme cyclization targets. Approaches to evaluate the cyclization reaction and its effect on enzyme resilience are described. We also highlight the use of differential scanning calorimetry to understand how SpyRing cyclization promotes enzyme refolding. Efficiently searching sequence space will continue to be important for enzyme improvement, but the SpyRing platform may be a valuable rational adjunct for conferring resilience. © 2016 Elsevier Inc. All rights reserved.

Controlled-air and rotary-kiln proof-of-principle tests

International Nuclear Information System (INIS)

Hedahl, T.G.

1982-05-01

Although the incinerator tests did not represent optimized processing, general system design characteristics were established. The test results indicated that the rotary kiln incinerator would be most applicable in the Transuranic Waste Treatment Facility (TWTF) for the following reasons: (1) The rotary kiln is more capable of achieving near-complete combustion of the combustibles in the waste mixed with a high proportion of metal and noncombustible waste. Complete combustion of the combustible waste is preferred in order to reduce waste volume and ensure the production of a stable, immobilized waste form. (2) The rotary kiln processing appears to be more flexible. Kiln rotation rate, kiln incline, and waste feed rate and method are system variables which can be altered to meet the needs of processing variable waste compositions. The advantages of the rotary kiln system allow for a practical concept for processing a majority of the radioactive waste at the INEL. However, further engineering tests must be performed to determine the necessary processing angles and design information for TWTF waste processing

29 CFR 1919.28 - Unit proof tests-cranes and gear accessory thereto.

Science.gov (United States)

2010-07-01

... 29 Labor 7 2010-07-01 2010-07-01 false Unit proof tests-cranes and gear accessory thereto. 1919.28... Loads; Heat Treatment; Competent Persons § 1919.28 Unit proof tests—cranes and gear accessory thereto. (a) Except as noted in paragraph (e) of this section, cranes and other hoisting machines, together...

Synapse-centric mapping of cortical models to the SpiNNaker neuromorphic architecture

Directory of Open Access Journals (Sweden)

James Courtney Knight

2016-09-01

Full Text Available While the adult human brain has approximately 8.8x10^10 neurons, this number is dwarfed by its 1x10^15 synapses. From the point of view of neuromorphic engineering and neural simulation in general this makes the simulation of these synapses a particularly complex problem. SpiNNaker is a digital, neuromorphic architecture designed for simulating large-scale spiking neural networks at speeds close to biological real-time. Current solutions for simulating spiking neural networks on SpiNNaker are heavily inspired by work on distributed high-performance computing. However, while SpiNNaker shares many characteristics with such distributed systems, its component nodes have much more limited resources and, as the system lacks global synchronization, the computation performed on each node must complete within a fixed time step. We first analyze the performance of the current SpiNNaker neural simulation software and identify several problems that occur when it is used to simulate networks of the type often used to model the cortex which contain large numbers of sparsely connected synapses. We then present a new, more flexible approach for mapping the simulation of such networks to SpiNNaker which solves many of these problems. Finally we analyze the performance of our new approach using both benchmarks, designed to represent cortical connectivity, and larger, functional cortical models. In a benchmark network where neurons receive input from 8000 STDP synapses, our new approach allows more neurons to be simulated on each SpiNNaker core than has been previously possible. We also demonstrate that the largest plastic neural network previously simulated on neuromorphic hardware can be run in real time using our new approach: double the speed that was previously achieved. Additionally this network contains two types of plastic synapse which previously had to be trained separately but, using our new approach, can be trained simultaneously.

SPiDer: Smart Pill Dispenser

OpenAIRE

Moreno Vázquez, Jonatan

2013-01-01

Aquest projecte proposa el sistema SPiDer el qual te l'objectiu d'assistir a la gent gran en el procés de medicar-se evitant els problemes associats amb la baixa adherència existent actualment amb els calendaris farmacològics receptats pels doctors.

Identification of cognate host targets and specific ubiquitylation sites on the Salmonella SPI-1 effector SopB/SigD

DEFF Research Database (Denmark)

Rogers, Lindsay D; Kristensen, Anders R; Boyle, Erin C

2008-01-01

Salmonella enterica is a bacterial pathogen responsible for enteritis and typhoid fever. Virulence is linked to two Salmonella pathogenicity islands (SPI-1 and SPI-2) on the bacterial chromosome, each of which encodes a type III secretion system. While both the SPI-1 and SPI-2 systems secrete...

High-speed tapping-mode atomic force microscopy using a Q-controlled regular cantilever acting as the actuator: Proof-of-principle experiments

Energy Technology Data Exchange (ETDEWEB)

Balantekin, M., E-mail: mujdatbalantekin@iyte.edu.tr [Electrical and Electronics Engineering, İzmir Institute of Technology, Urla, İzmir 35430 (Turkey); Satır, S.; Torello, D.; Değertekin, F. L. [Woodruff School of Mechanical Engineering, Georgia Institute of Technology, Atlanta, Georgia 30332-0405 (United States)

2014-12-15

We present the proof-of-principle experiments of a high-speed actuation method to be used in tapping-mode atomic force microscopes (AFM). In this method, we do not employ a piezotube actuator to move the tip or the sample as in conventional AFM systems, but, we utilize a Q-controlled eigenmode of a cantilever to perform the fast actuation. We show that the actuation speed can be increased even with a regular cantilever.

INTEGRAL/SPI γ-ray line spectroscopy. Response and background characteristics

Science.gov (United States)

Diehl, Roland; Siegert, Thomas; Greiner, Jochen; Krause, Martin; Kretschmer, Karsten; Lang, Michael; Pleintinger, Moritz; Strong, Andrew W.; Weinberger, Christoph; Zhang, Xiaoling

2018-03-01

Context. The space based γ-ray observatory INTEGRAL of the European Space Agency (ESA) includes the spectrometer instrument "SPI". This is a coded mask telescope featuring a 19-element Germanium detector array for high-resolution γ-ray spectroscopy, encapsulated in a scintillation detector assembly that provides a veto for background from charged particles. In space, cosmic rays irradiate spacecraft and instruments, which, in spite of the vetoing detectors, results in a large instrumental background from activation of those materials, and leads to deterioration of the charge collection properties of the Ge detectors. Aim. We aim to determine the measurement characteristics of our detectors and their evolution with time, that is, their spectral response and instrumental background. These incur systematic variations in the SPI signal from celestial photons, hence their determination from a broad empirical database enables a reduction of underlying systematics in data analysis. For this, we explore compromises balancing temporal and spectral resolution within statistical limitations. Our goal is to enable modelling of background applicable to spectroscopic studies of the sky, accounting separately for changes of the spectral response and of instrumental background. Methods: We use 13.5 years of INTEGRAL/SPI data, which consist of spectra for each detector and for each pointing of the satellite. Spectral fits to each such spectrum, with independent but coherent treatment of continuum and line backgrounds, provides us with details about separated background components. From the strongest background lines, we first determine how the spectral response changes with time. Applying symmetry and long-term stability tests, we eliminate degeneracies and reduce statistical fluctuations of background parameters, with the aim of providing a self-consistent description of the spectral response for each individual detector. Accounting for this, we then determine how the

A proof of principle experiment of laser wakefield accelerator

International Nuclear Information System (INIS)

Nakajima, K.; Enomoto, A.; Nakanishi, H.; Ogata, A.; Kato, Y.; Kitagawa, Y.; Mima, K.; Shiraga, H.; Yamakawa, K.; Downer, M.; Horton, W.; Newberger, B.; Tajima, T.

1992-01-01

Ultrashort super-intense lasers allow us to test a principle of the laser wakefield particle acceleration. The peak power of 30 TW and the pulse width of 1 ps produced by the Nd:glass laser system is capable of creating a highly-ionized plasma of a moderate density gas in an ultrafast time scale and generating a large amplitude plasma wave with the accelerating gradient of 2.5 GeV/m. Particle acceleration can be demonstrated by injecting a few MeV electrons emitted from a solid target by intense laser irradiation. (Author) 2 figs., 5 refs

Cryogenic test of the equivalence principle

International Nuclear Information System (INIS)

Worden, P.W. Jr.

1976-01-01

The weak equivalence principle is the hypothesis that the ratio of internal and passive gravitational mass is the same for all bodies. A greatly improved test of this principle is possible in an orbiting satellite. The most promising experiments for an orbital test are adaptations of the Galilean free-fall experiment and the Eotvos balance. Sensitivity to gravity gradient noise, both from the earth and from the spacecraft, defines a limit to the sensitivity in each case. This limit is generally much worse for an Eotvos balance than for a properly designed free-fall experiment. The difference is related to the difficulty of making a balance sufficiently isoinertial. Cryogenic technology is desirable to take full advantage of the potential sensitivity, but tides in the liquid helium refrigerant may produce a gravity gradient that seriously degrades the ultimate sensitivity. The Eotvos balance appears to have a limiting sensitivity to relative difference of rate of fall of about 2 x 10 -14 in orbit. The free-fall experiment is limited by helium tide to about 10 -15 ; if the tide can be controlled or eliminated the limit may approach 10 -18 . Other limitations to equivalence principle experiments are discussed. An experimental test of some of the concepts involved in the orbital free-fall experiment is continuing. The experiment consists in comparing the motions of test masses levitated in a superconducting magnetic bearing, and is itself a sensitive test of the equivalence principle. At present the levitation magnets, position monitors and control coils have been tested and major noise sources identified. A measurement of the equivalence principle is postponed pending development of a system for digitizing data. The experiment and preliminary results are described

A revelation principle for obviously strategy-proof implementation

NARCIS (Netherlands)

Mackenzie, Andrew

2018-01-01

We prove that if a stochastic (social choice) rule has an obviously strategy-proof (OSP) implementation (Li, 2016), then it has such an implementation through a randomized round table mechanism, where the administrator randomly selects a game form in which the agents take turns making public

Spy and Counterspy as a “Cultural Hero” in the Soviet Cinema of the Cold War

Directory of Open Access Journals (Sweden)

Viktoria Sukovataya

2017-07-01

Full Text Available This article aim to analyze the evolution of the Soviet spy cinema of the Cold War in the context of the cultural history and the social changes in the USA and the Soviet Union, and the relations with the political opponents. The public reception of the Soviet spy and spying was evolved in the Soviet Union and it was reflected in the cinema plots and characters transformations.

LED lighting and the Next Generation of Greenhouse for Tomatoes. Proof of Principle; LED belichting en Het Nieuwe Telen bij tomaat. Proof of Principle

Energy Technology Data Exchange (ETDEWEB)

Dueck, T.; Janse, J.; Eveleens, B. [Wageningen UR Glastuinbouw, Wageningen (Netherlands); Nieboer, S.; Valstar, W.; Grootscholten, M. [GreenQ Improvement Centre, Bleiswijk (Netherlands)

2012-08-15

In this Proof of Principle project a tomato crop was grown under artificial lighting with the aim of 30% energy saving at the same level of production. Tomatoes (cultivar Komeett) were illuminated with 110 {mu}mol m{sup -2} s{sup -1} HPS (High Pressure Sodium) above the crop and 85 {mu}mol m{sup -2} s{sup -1} LED interlighting. The LEDs hung in 2 rows, approximately 40 cm above the lower leaves and the second strand at 40 or 70 cm above that. There were two types of LEDs used: production LEDs (light efficiency 1.6 {mu}mol m{sup -2} s{sup -1}, 87% red/13% blue) and inter-lighting LEDs (light efficiency 1.9 {mu}mol m{sup -2} s{sup -1}, 95% red/5% blue), with the same light intensity. At the start, the crop was given as much light as it could handle, and because the crop developed so well, the stem density was increased relatively early. This resulted in high fruit load, while insufficient light was available to compensate for the low levels of sunlight in the winter. In the 192 cm row spacing system the plants were too close to each other. Additional problems occurred with trace elements, lesser bumble bee activity, and a moist greenhouse climate which weakened the crop in the winter. Thus Botrytis occurred on the leaves and stems. The crop struggled with its recovery until early spring with more sunlight. Compared to a reference crop with 79 kg m{sup -2} tomatoes, 75 kg m{sup -2} were produced under-production LEDs, and 80 kg m{sup -2} under the interlighting LEDs, mainly because latter LEDs were used longer during the summer. 30% of the energy for dehumidification and heat energy, and 27% of the electricity was saved, relative to the reference crop. Thus it appears possible to save 30% energy with a near identical production [Dutch] In dit Proof of Principle project is een belichte tomatenteelt geteeld met als doel 30% energiebesparing bij een gelijke productie. Tomaten van het ras Komeett werden belicht met 110 {mu}mol m{sup -2} s{sup -1} SON-T belichting boven

Navy Needs to Establish Effective Metrics to Achieve Desired Outcomes for SPY1 Radar Sustainment (Redacted)

Science.gov (United States)

2016-08-01

subsystems in the AEGIS Weapon System that searches, detects, and tracks air and surface targets to support Anti -Air Warfare and Ballistic Missile... System that searches, detects, and tracks air and surface targets to support Anti -Air Warfare and Ballistic Missile Defense missions. The SPY-1 radar...a series on SPY-1 radar spare parts. The SPY-1 radar is an advanced, automatic detect and track radar system . The SPY-1 radar is one of 13 major

The quadratic reciprocity law a collection of classical proofs

CERN Document Server

Baumgart, Oswald

2015-01-01

This book is the English translation of Baumgart’s thesis on the early proofs of the quadratic reciprocity law (“Über das quadratische Reciprocitätsgesetz. Eine vergleichende Darstellung der Beweise”), first published in 1885. It is divided into two parts. The first part presents a very brief history of the development of number theory up to Legendre, as well as detailed descriptions of several early proofs of the quadratic reciprocity law. The second part highlights Baumgart’s comparisons of the principles behind these proofs. A current list of all known proofs of the quadratic reciprocity law, with complete references, is provided in the appendix. This book will appeal to all readers interested in elementary number theory and the history of number theory.

The SPI-1-like Type III secretion system: more roles than you think.

Science.gov (United States)

Egan, Frank; Barret, Matthieu; O'Gara, Fergal

2014-01-01

The type III secretion system (T3SS) is a protein delivery system which is involved in a wide spectrum of interactions, from mutualism to pathogenesis, between Gram negative bacteria and various eukaryotes, including plants, fungi, protozoa and mammals. Various phylogenetic families of the T3SS have been described, including the Salmonella Pathogenicity Island 1 family (SPI-1). The SPI-1 T3SS was initially associated with the virulence of enteric pathogens, but is actually found in a diverse array of bacterial species, where it can play roles in processes as different as symbiotic interactions with insects and colonization of plants. We review the multiple roles of the SPI-1 T3SS and discuss both how these discoveries are changing our perception of the SPI-1 family and what impacts this has on our understanding of the specialization of the T3SS in general.

The SPI-1-like Type III secretion system: more roles than you think

Science.gov (United States)

Egan, Frank; Barret, Matthieu; O’Gara, Fergal

2014-01-01

The type III secretion system (T3SS) is a protein delivery system which is involved in a wide spectrum of interactions, from mutualism to pathogenesis, between Gram negative bacteria and various eukaryotes, including plants, fungi, protozoa and mammals. Various phylogenetic families of the T3SS have been described, including the Salmonella Pathogenicity Island 1 family (SPI-1). The SPI-1 T3SS was initially associated with the virulence of enteric pathogens, but is actually found in a diverse array of bacterial species, where it can play roles in processes as different as symbiotic interactions with insects and colonization of plants. We review the multiple roles of the SPI-1 T3SS and discuss both how these discoveries are changing our perception of the SPI-1 family and what impacts this has on our understanding of the specialization of the T3SS in general. PMID:24575107

A survey of noninteractive zero knowledge proof system and its applications.

Science.gov (United States)

Wu, Huixin; Wang, Feng

2014-01-01

Zero knowledge proof system which has received extensive attention since it was proposed is an important branch of cryptography and computational complexity theory. Thereinto, noninteractive zero knowledge proof system contains only one message sent by the prover to the verifier. It is widely used in the construction of various types of cryptographic protocols and cryptographic algorithms because of its good privacy, authentication, and lower interactive complexity. This paper reviews and analyzes the basic principles of noninteractive zero knowledge proof system, and summarizes the research progress achieved by noninteractive zero knowledge proof system on the following aspects: the definition and related models of noninteractive zero knowledge proof system, noninteractive zero knowledge proof system of NP problems, noninteractive statistical and perfect zero knowledge, the connection between noninteractive zero knowledge proof system, interactive zero knowledge proof system, and zap, and the specific applications of noninteractive zero knowledge proof system. This paper also points out the future research directions.

A Survey of Noninteractive Zero Knowledge Proof System and Its Applications

Directory of Open Access Journals (Sweden)

Huixin Wu

2014-01-01

Full Text Available Zero knowledge proof system which has received extensive attention since it was proposed is an important branch of cryptography and computational complexity theory. Thereinto, noninteractive zero knowledge proof system contains only one message sent by the prover to the verifier. It is widely used in the construction of various types of cryptographic protocols and cryptographic algorithms because of its good privacy, authentication, and lower interactive complexity. This paper reviews and analyzes the basic principles of noninteractive zero knowledge proof system, and summarizes the research progress achieved by noninteractive zero knowledge proof system on the following aspects: the definition and related models of noninteractive zero knowledge proof system, noninteractive zero knowledge proof system of NP problems, noninteractive statistical and perfect zero knowledge, the connection between noninteractive zero knowledge proof system, interactive zero knowledge proof system, and zap, and the specific applications of noninteractive zero knowledge proof system. This paper also points out the future research directions.

Setup and proof of principle of SAPIS (Stored Atoms Polarized Ion Source), a novel source of polarized H-/D- ions

International Nuclear Information System (INIS)

Emmerich, R.

2007-01-01

The objective of this work was the setup and the proof-of-principle of a new type of negative polarized hydrogen or deuterium ion source, which is based on the charge-exchange reaction vectorH 0 +Cs 0 →vectorH - +Cs + , as for instance the Colliding-Beams-Source (CBS) at the Cooler Synchrotron COSY in Juelich. In contrast to the CBS, the use of a storage cell for the charge-exchange region promises an increase in H - current by at least an order of magnitude without considerable polarization losses. For these purposes, a new laboratory was equipped and both a polarized hydrogen/deuterium atomic beam source and an intense neutral cesium-beam source have been build-on. A Lambshift polarimeter, which allows the measurement of the nuclear polarization of the atomic as well as ionic beams, was completed with the construction of a new spin-filter. After commissioning and optimizing each of these sources, a storage cell was developed and installed in the charge-exchange region with a magnetic field. Additionally, components for the extraction, detection and analysis of the negative ion beam were installed. Following the decisive proof of principle, investigation of the properties of the storage cell, especially as to H recombination and depolarisation, was begun. Furthermore, a number of software programs was developed for the control and monitoring of different components of the sources as well as a universal measuring software for the complete installation, including the measurement and calculation of the beam polarization. At the same time, the remote control system of the Cologne source of polarized ions LASCO at the FN tandem accelerator was completely modernized. (orig.)

A note on the use of the temperature–entropy diagram in the proof of the second carnot theorem

International Nuclear Information System (INIS)

Morad, M R; Momeni, F

2014-01-01

A general graphical proof for the second Carnot principle is presented using the temperature–entropy diagram. This proof is simple and is independent of the proof of the first Carnot principle. The Carnot relation for thermal efficiency is also obtained simultaneously for all totally reversible heat engines between the same two reservoirs. The concept of reversibility in heat transfers and the role of environments in heat engine cycles will be further clarified and could be better understood using the proof presented here, which will be useful both for teaching and performing research in thermodynamics. (letters and comments)

Use of advanced programmable logic controllers to monitor and control the Elmo Bumpy Torus-proof-of-principle device

International Nuclear Information System (INIS)

Boyd, B.A.

1983-01-01

The Elmo Bumpy Torus - Proof-of-Principle (EBT-P) device is designed with an instrumentation and control system based upon the use of an advanced Programmable Logic Controller (PLC). The modern PLC incorporates many advanced programming features not available in earlier PLC's intended for application to conventional relay logic replacement. The additional power and flexibility of these modern PLC's is especially applicable to an experimental device such as EBT-P which is made up of several complex interrelated subsystems whose operational characteristics will be evolving throughout the lifetime of the device. The rationale for the selection of advanced PLC's for EBT-P and the approach taken to design of the software developed to control EBT-P are the topics addressed in this paper

TargetSpy: a supervised machine learning approach for microRNA target prediction.

Science.gov (United States)

Sturm, Martin; Hackenberg, Michael; Langenberger, David; Frishman, Dmitrij

2010-05-28

Virtually all currently available microRNA target site prediction algorithms require the presence of a (conserved) seed match to the 5' end of the microRNA. Recently however, it has been shown that this requirement might be too stringent, leading to a substantial number of missed target sites. We developed TargetSpy, a novel computational approach for predicting target sites regardless of the presence of a seed match. It is based on machine learning and automatic feature selection using a wide spectrum of compositional, structural, and base pairing features covering current biological knowledge. Our model does not rely on evolutionary conservation, which allows the detection of species-specific interactions and makes TargetSpy suitable for analyzing unconserved genomic sequences.In order to allow for an unbiased comparison of TargetSpy to other methods, we classified all algorithms into three groups: I) no seed match requirement, II) seed match requirement, and III) conserved seed match requirement. TargetSpy predictions for classes II and III are generated by appropriate postfiltering. On a human dataset revealing fold-change in protein production for five selected microRNAs our method shows superior performance in all classes. In Drosophila melanogaster not only our class II and III predictions are on par with other algorithms, but notably the class I (no-seed) predictions are just marginally less accurate. We estimate that TargetSpy predicts between 26 and 112 functional target sites without a seed match per microRNA that are missed by all other currently available algorithms. Only a few algorithms can predict target sites without demanding a seed match and TargetSpy demonstrates a substantial improvement in prediction accuracy in that class. Furthermore, when conservation and the presence of a seed match are required, the performance is comparable with state-of-the-art algorithms. TargetSpy was trained on mouse and performs well in human and drosophila

TargetSpy: a supervised machine learning approach for microRNA target prediction

Directory of Open Access Journals (Sweden)

Langenberger David

2010-05-01

Full Text Available Abstract Background Virtually all currently available microRNA target site prediction algorithms require the presence of a (conserved seed match to the 5' end of the microRNA. Recently however, it has been shown that this requirement might be too stringent, leading to a substantial number of missed target sites. Results We developed TargetSpy, a novel computational approach for predicting target sites regardless of the presence of a seed match. It is based on machine learning and automatic feature selection using a wide spectrum of compositional, structural, and base pairing features covering current biological knowledge. Our model does not rely on evolutionary conservation, which allows the detection of species-specific interactions and makes TargetSpy suitable for analyzing unconserved genomic sequences. In order to allow for an unbiased comparison of TargetSpy to other methods, we classified all algorithms into three groups: I no seed match requirement, II seed match requirement, and III conserved seed match requirement. TargetSpy predictions for classes II and III are generated by appropriate postfiltering. On a human dataset revealing fold-change in protein production for five selected microRNAs our method shows superior performance in all classes. In Drosophila melanogaster not only our class II and III predictions are on par with other algorithms, but notably the class I (no-seed predictions are just marginally less accurate. We estimate that TargetSpy predicts between 26 and 112 functional target sites without a seed match per microRNA that are missed by all other currently available algorithms. Conclusion Only a few algorithms can predict target sites without demanding a seed match and TargetSpy demonstrates a substantial improvement in prediction accuracy in that class. Furthermore, when conservation and the presence of a seed match are required, the performance is comparable with state-of-the-art algorithms. TargetSpy was trained on

Reversal burden of proof on corruption in Indonesia

OpenAIRE

Nugroho, Hibnu

2018-01-01

Corruption becomes the greatest enemy most countries face including Indonesia. Commitment to eradicate corruption significantly increases yet it would be meaningless if it is not supported by adequate legislation to implement the law effectively. Reversal burden of proof essentially aims to facilitate law enforcers to seek and disclose assets a suspect owns allegedly as corruption crime. The principle of reversal burden of proof was originated from Anglo-Saxon countries and this still applies...

Assessment of Replacement Bridge using Proof Load Test

Science.gov (United States)

Sundru, Saibabu

2017-11-01

This work begins with an overview of the condition assessment of old bridge and explained reasons for demolishing of the bridge. Briefly presented flexural analysis of two stage post-tensioned prestressed concrete girder, which will be replace the old (new bridge). Construction of I-girder and composite girder at first stage and second stage prestressing respectively is explained with figures. Assessment of the load-caring capacity of the one span of the replacement bridge with simple supports using proof load test is presented which is mandatory according to Indian standards. Weighted sand bags were used to load the bridge up to a predetermined service load with impact factor. Deflections of the I-girders of the bridge were measured at selected locations along and across the bridge span and compared with computed values. Linear response was observed during loading and unloading. Considering the load test results, theoretical estimation and criteria as stipulated in codes of practice, it can be inferred that prestressed concrete I-girder bridge span has adequate capacity to carry the loads and hence, deemed to have passed the test.

Mysteries and Conspiracies: Detective Stories, Spy Novels And The Making Of Modern Societies

DEFF Research Database (Denmark)

Ossandón, José

2016-01-01

Book review of: Mysteries and Conspiracies: Detective Stories, Spy Novels and the Making of Modern Societies. By Luc Boltanski (trans. C Porter). Cambridge: Polity Press, 2014. xviii+340 pp. £18.99/€23.80. ISBN: 9780745664057.......Book review of: Mysteries and Conspiracies: Detective Stories, Spy Novels and the Making of Modern Societies. By Luc Boltanski (trans. C Porter). Cambridge: Polity Press, 2014. xviii+340 pp. £18.99/€23.80. ISBN: 9780745664057....

Chemical Method to Improve CO{sub 2} Flooding Sweep Efficiency for Oil Recovery Using SPI-CO{sub 2} Gels

Energy Technology Data Exchange (ETDEWEB)

Burns, Lyle D.

2009-04-14

The problem in CO{sub 2} flooding lies with its higher mobility causing low conformance or sweep efficiency. This is an issue in oilfield applications where an injected fluid or gas used to mobilize and produce the oil in a marginal field has substantially higher mobility (function of viscosity and density and relative permeability) relative to the crude oil promoting fingering and early breakthrough. Conformance is particularly critical in CO{sub 2} oilfield floods where the end result is less oil recovered and substantially higher costs related to the CO{sub 2}. The SPI-CO{sub 2} (here after called “SPI”) gel system is a unique silicate based gel system that offers a technically effective solution to the conformance problem with CO{sub 2} floods. This SPI gel system remains a low viscosity fluid until an external initiator (CO{sub 2}) triggers gelation. This is a clear improvement over current technologies where the gels set up as a function of time, regardless of where it is placed in the reservoir. In those current systems, the internal initiator is included in the injected fluid for water shut off applications. In this new research effort, the CO{sub 2} is an external initiator contacted after SPI gel solution placement. This concept ensures in the proper water wet reservoir environment that the SPI gel sets up in the precise high permeability path followed by the CO{sub 2}, therefore improving sweep efficiency to a greater degree than conventional systems. In addition, the final SPI product in commercial quantities is expected to be low cost over the competing systems. This Phase I research effort provided “proof of concept” that SPI gels possess strength and may be formed in a sand pack reducing the permeability to brine and CO{sub 2} flow. This SPI technology is a natural extension of prior R & D and the Phase I effort that together show a high potential for success in a Phase II follow-on project. Carbon dioxide (CO{sub 2}) is a major by-product of

Proof of principle in vitro study of a prototype ultrasound technology to size stone fragments during ureteroscopy.

Science.gov (United States)

Sorensen, Mathew D; Teichman, Joel M H; Bailey, Michael R

2009-07-01

Proof-of-principle in vitro experiments evaluated a prototype ultrasound technology to size kidney stone fragments. Nineteen human stones were measured using manual calipers. A 10-MHz, 1/8'' (10F) ultrasound transducer probe pinged each stone on a kidney tissue phantom submerged in water using two methods. In Method 1, the instrument was aligned such that the ultrasound pulse traveled through the stone. In Method 2, the instrument was aligned partially over the stone such that the ultrasound pulse traveled through water. For Method 1, the correlation between caliper- and ultrasound-determined stone size was r(2) = 0.71 (P stone measurements were accurate and precise to within 1 mm. For Method 2, the correlation was r(2) = 0.99 (P stone size with good accuracy and precision. This technology may be possible to incorporate into ureteroscopy.

The UNCCD Science-Policy Interface (SPI) - Exploring the sustainable land management nexus among the Rio Conventions

Science.gov (United States)

Safriel, Uriel; Akhtar-Schuster, Mariam; Abraham, Elena Maria; Cowie, Annette; Daradur, Mihail; de Vente, Joris; Dema Dorji, Karma; Kust, German; Metternicht, Graciela; Orr, Barron; Pietragalla, Vanina

2015-04-01

At its 11th meeting in Windhoek/Namibia, in September 2013, the United Nations Convention to Combat Desertification (UNCCD) Conference of the Parties (COP) decided to establish a Science-Policy Interface (SPI)* (decision 23/COP.11). The goal of the SPI is to facilitate a two-way dialogue between scientists and policy makers in order to ensure the delivery of policy-relevant information, knowledge and advice on desertification/land degradation and drought (DLDD). The SPI established several initial objectives, including working with the scientific community to bring to the UNCCD and the other Rio conventions (climate change and biodiversity) the scientific evidence for the contribution of sustainable land use and management to climate change adaptation/mitigation and to safeguarding biodiversity and ecosystem services. *For more on the SPI see: http://www.unccd.int/en/programmes/Science/International-Scientific-Advice/Pages/SPI.aspx?HighlightID=282

Burden of Proof in Bioethics.

Science.gov (United States)

Koplin, Julian J; Selgelid, Michael J

2015-11-01

A common strategy in bioethics is to posit a prima facie case in favour of one policy, and to then claim that the burden of proof (that this policy should be rejected) falls on those with opposing views. If the burden of proof is not met, it is claimed, then the policy in question should be accepted. This article illustrates, and critically evaluates, examples of this strategy in debates about the sale of organs by living donors, human enhancement, and the precautionary principle. We highlight general problems with this style of argument, and particular problems with its use in specific cases. We conclude that the burden ultimately falls on decision-makers (i.e. policy-makers) to choose the policy supported by the best reasons. © 2015 John Wiley & Sons Ltd.

Testing the Equivalence Principle in an Einstein Elevator: Detector Dynamics and Gravity Perturbations

Science.gov (United States)

Hubbard, Dorthy (Technical Monitor); Lorenzini, E. C.; Shapiro, I. I.; Cosmo, M. L.; Ashenberg, J.; Parzianello, G.; Iafolla, V.; Nozzoli, S.

2003-01-01

We discuss specific, recent advances in the analysis of an experiment to test the Equivalence Principle (EP) in free fall. A differential accelerometer detector with two proof masses of different materials free falls inside an evacuated capsule previously released from a stratospheric balloon. The detector spins slowly about its horizontal axis during the fall. An EP violation signal (if present) will manifest itself at the rotational frequency of the detector. The detector operates in a quiet environment as it slowly moves with respect to the co-moving capsule. There are, however, gravitational and dynamical noise contributions that need to be evaluated in order to define key requirements for this experiment. Specifically, higher-order mass moments of the capsule contribute errors to the differential acceleration output with components at the spin frequency which need to be minimized. The dynamics of the free falling detector (in its present design) has been simulated in order to estimate the tolerable errors at release which, in turn, define the release mechanism requirements. Moreover, the study of the higher-order mass moments for a worst-case position of the detector package relative to the cryostat has led to the definition of requirements on the shape and size of the proof masses.

Single-energy computed tomography-based pulmonary perfusion imaging: Proof-of-principle in a canine model

Energy Technology Data Exchange (ETDEWEB)

Yamamoto, Tokihiro, E-mail: toyamamoto@ucdavis.edu [Department of Radiation Oncology, University of California Davis School of Medicine, Sacramento, California 95817 (United States); Kent, Michael S.; Wisner, Erik R. [Department of Surgical and Radiological Sciences, University of California Davis School of Veterinary Medicine, Davis, California 95616 (United States); Johnson, Lynelle R.; Stern, Joshua A. [Department of Medicine and Epidemiology, University of California Davis School of Veterinary Medicine, Davis, California 95616 (United States); Qi, Lihong [Department of Public Health Sciences, University of California Davis, Davis, California 95616 (United States); Fujita, Yukio [Department of Radiation Oncology, Tokai University, Isehara, Kanagawa 259-1193 (Japan); Boone, John M. [Department of Radiology, University of California Davis School of Medicine, Sacramento, California 95817 (United States)

2016-07-15

Purpose: Radiotherapy (RT) that selectively avoids irradiating highly functional lung regions may reduce pulmonary toxicity, which is substantial in lung cancer RT. Single-energy computed tomography (CT) pulmonary perfusion imaging has several advantages (e.g., higher resolution) over other modalities and has great potential for widespread clinical implementation, particularly in RT. The purpose of this study was to establish proof-of-principle for single-energy CT perfusion imaging. Methods: Single-energy CT perfusion imaging is based on the following: (1) acquisition of end-inspiratory breath-hold CT scans before and after intravenous injection of iodinated contrast agents, (2) deformable image registration (DIR) for spatial mapping of those two CT image data sets, and (3) subtraction of the precontrast image data set from the postcontrast image data set, yielding a map of regional Hounsfield unit (HU) enhancement, a surrogate for regional perfusion. In a protocol approved by the institutional animal care and use committee, the authors acquired CT scans in the prone position for a total of 14 anesthetized canines (seven canines with normal lungs and seven canines with diseased lungs). The elastix algorithm was used for DIR. The accuracy of DIR was evaluated based on the target registration error (TRE) of 50 anatomic pulmonary landmarks per subject for 10 randomly selected subjects as well as on singularities (i.e., regions where the displacement vector field is not bijective). Prior to perfusion computation, HUs of the precontrast end-inspiratory image were corrected for variation in the lung inflation level between the precontrast and postcontrast end-inspiratory CT scans, using a model built from two additional precontrast CT scans at end-expiration and midinspiration. The authors also assessed spatial heterogeneity and gravitationally directed gradients of regional perfusion for normal lung subjects and diseased lung subjects using a two-sample two-tailed t-test

Single-energy computed tomography-based pulmonary perfusion imaging: Proof-of-principle in a canine model.

Science.gov (United States)

Yamamoto, Tokihiro; Kent, Michael S; Wisner, Erik R; Johnson, Lynelle R; Stern, Joshua A; Qi, Lihong; Fujita, Yukio; Boone, John M

2016-07-01

Radiotherapy (RT) that selectively avoids irradiating highly functional lung regions may reduce pulmonary toxicity, which is substantial in lung cancer RT. Single-energy computed tomography (CT) pulmonary perfusion imaging has several advantages (e.g., higher resolution) over other modalities and has great potential for widespread clinical implementation, particularly in RT. The purpose of this study was to establish proof-of-principle for single-energy CT perfusion imaging. Single-energy CT perfusion imaging is based on the following: (1) acquisition of end-inspiratory breath-hold CT scans before and after intravenous injection of iodinated contrast agents, (2) deformable image registration (DIR) for spatial mapping of those two CT image data sets, and (3) subtraction of the precontrast image data set from the postcontrast image data set, yielding a map of regional Hounsfield unit (HU) enhancement, a surrogate for regional perfusion. In a protocol approved by the institutional animal care and use committee, the authors acquired CT scans in the prone position for a total of 14 anesthetized canines (seven canines with normal lungs and seven canines with diseased lungs). The elastix algorithm was used for DIR. The accuracy of DIR was evaluated based on the target registration error (TRE) of 50 anatomic pulmonary landmarks per subject for 10 randomly selected subjects as well as on singularities (i.e., regions where the displacement vector field is not bijective). Prior to perfusion computation, HUs of the precontrast end-inspiratory image were corrected for variation in the lung inflation level between the precontrast and postcontrast end-inspiratory CT scans, using a model built from two additional precontrast CT scans at end-expiration and midinspiration. The authors also assessed spatial heterogeneity and gravitationally directed gradients of regional perfusion for normal lung subjects and diseased lung subjects using a two-sample two-tailed t-test. The mean TRE

Single-energy computed tomography-based pulmonary perfusion imaging: Proof-of-principle in a canine model

International Nuclear Information System (INIS)

Yamamoto, Tokihiro; Kent, Michael S.; Wisner, Erik R.; Johnson, Lynelle R.; Stern, Joshua A.; Qi, Lihong; Fujita, Yukio; Boone, John M.

2016-01-01

Purpose: Radiotherapy (RT) that selectively avoids irradiating highly functional lung regions may reduce pulmonary toxicity, which is substantial in lung cancer RT. Single-energy computed tomography (CT) pulmonary perfusion imaging has several advantages (e.g., higher resolution) over other modalities and has great potential for widespread clinical implementation, particularly in RT. The purpose of this study was to establish proof-of-principle for single-energy CT perfusion imaging. Methods: Single-energy CT perfusion imaging is based on the following: (1) acquisition of end-inspiratory breath-hold CT scans before and after intravenous injection of iodinated contrast agents, (2) deformable image registration (DIR) for spatial mapping of those two CT image data sets, and (3) subtraction of the precontrast image data set from the postcontrast image data set, yielding a map of regional Hounsfield unit (HU) enhancement, a surrogate for regional perfusion. In a protocol approved by the institutional animal care and use committee, the authors acquired CT scans in the prone position for a total of 14 anesthetized canines (seven canines with normal lungs and seven canines with diseased lungs). The elastix algorithm was used for DIR. The accuracy of DIR was evaluated based on the target registration error (TRE) of 50 anatomic pulmonary landmarks per subject for 10 randomly selected subjects as well as on singularities (i.e., regions where the displacement vector field is not bijective). Prior to perfusion computation, HUs of the precontrast end-inspiratory image were corrected for variation in the lung inflation level between the precontrast and postcontrast end-inspiratory CT scans, using a model built from two additional precontrast CT scans at end-expiration and midinspiration. The authors also assessed spatial heterogeneity and gravitationally directed gradients of regional perfusion for normal lung subjects and diseased lung subjects using a two-sample two-tailed t-test

Reliability and validity of the Korean standard pattern identification for stroke (K-SPI-Stroke questionnaire

Directory of Open Access Journals (Sweden)

Kang Byoung-Kab

2012-04-01

Full Text Available Abstract Background The present study was conducted to examine the reliability and validity of the ‘Korean Standard Pattern Identification for Stroke (K-SPI-Stroke’, which was developed and evaluated within the context of traditional Korean medicine (TKM. Methods Between September 2006 and December 2010, 2,905 patients from 11 Korean medical hospitals were asked to complete the K-SPI-Stroke questionnaire as a part of project ' Fundamental study for the standardization and objectification of pattern identification in traditional Korean medicine for stroke (SOPI-Stroke. Each patient was independently diagnosed by two TKM physicians from the same site according to one of four patterns, as suggested by the Korea Institute of Oriental Medicine: 1 a Qi deficiency pattern, 2 a Dampness-phlegm pattern, 3 a Yin deficiency pattern, or 4 a Fire-heat pattern. We estimated the internal consistency using Cronbach’s α coefficient, the discriminant validity using the means score of patterns, and the predictive validity using the classification accuracy of the K-SPI-Stroke questionnaire. Results The K-SPI-Stroke questionnaire had satisfactory internal consistency (α = 0.700 and validity, with significant differences in the mean of scores among the four patterns. The overall classification accuracy of this questionnaire was 65.2 %. Conclusion These results suggest that the K-SPI-Stroke questionnaire is a reliable and valid instrument for estimating the severity of the four patterns.

Seeing is believing -- SpyJack system investigates field problems

International Nuclear Information System (INIS)

O'Meara, D.

1998-01-01

The SpyJack Remote Monitoring System, a stand-alone, single-site remote well monitoring system that works off its own embedded controller is described. The supervisory control and data acquisition (SCADA) unit, developed by CORE Technologies Inc., has an integrated voice/alarm system, monitoring sensors installed at remote well sites continuously 24 hours a day with a digital camera, with 300 degrees of visual confirmation capability. It can also be used as a surveillance tool against terrorism as has been shown in the case of some recent debilitating attacks on remote wells in Alberta. SpyJack monitors flow rates and pressures, pumpjack stroke rates, sucker rod temperature, load cell and engine shut-off relay, as well as ambient temperature, tank levels, and motion detection. At the office, SpyJack Well Management Interface uses nine drop-down screens to take users through the remote monitoring and control of each site. The screens include production sensors, line sensors, dyno chart, environmental/safety sensors and sensor information and set up. Currently under development is the unsolicited dial-out capability. When implemented the system will send out information at pre-determined times, such as every four hours, or at specific times during the day. Compressing images to enable speedier downloading is also being planned

Rainfall characterisation by application of standardised precipitation index (SPI) in Peninsular Malaysia

Science.gov (United States)

Yusof, Fadhilah; Hui-Mean, Foo; Suhaila, Jamaludin; Yusop, Zulkifli; Ching-Yee, Kong

2014-02-01

The interpretations of trend behaviour for dry and wet events are analysed in order to verify the dryness and wetness episodes. The fitting distribution of rainfall is computed to classify the dry and wet events by applying the standardised precipitation index (SPI). The rainfall amount for each station is categorised into seven categories, namely extremely wet, severely wet, moderately wet, near normal, moderately dry, severely dry and extremely dry. The computation of the SPI is based on the monsoon periods, which include the northeast monsoon, southwest monsoon and inter-monsoon. The trends of the dry and wet periods were then detected using the Mann-Kendall trend test and the results indicate that the major parts of Peninsular Malaysia are characterised by increasing droughts rather than wet events. The annual trends of drought and wet events of the randomly selected stations from each region also yield similar results. Hence, the northwest and southwest regions are predicted to have a higher probability of drought occurrence during a dry event and not much rain during the wet event. The east and west regions, on the other hand, are going through a significant upward trend that implies lower rainfall during the drought episodes and heavy rainfall during the wet events.

Effect of soy protein isolate in the diet on retention by the rat of iron from radiolabeled test meals

International Nuclear Information System (INIS)

Thompson, D.B.; Erdman, J.W. Jr.

1984-01-01

The influence of soy protein isolate (SPI) in the diet on whole-body retention of extrinsically radiolabeled iron from test meals containing or not containing SPI was evaluated in marginally iron-deficient weanling rats. In experiment 1 SPI was compared with casein in a 2 X 2 factorial design: diets and test meals were either SPI-based or casein-based. Diets were fed for 13 days prior to the test meal and for 7 days subsequent to the test meal. Rats fed the SPI-based diet retained less iron from test meals than did rats fed the casein-based diet (66.1 vs. 74.8%, P less than 0.01). Experiment 2 showed that an SPI-based diet fed during the final 4 days of a 14-day pre-test meal period and subsequent to the test meal led to less iron retention compared to a casein-based diet. In addition to the observed diet effect, experiment 1 showed that iron retention was less from an SPI-based test meal than from a casein-based test meal, confirming previous reports of adverse effects of SPI on iron retention. The present experiments show that SPI can adversely affect from retention in two ways: by its presence in the diet before and after a test meal, and by its presence in a test meal

Towards the identification of the influence of SPI on the successful evolution of software SMEs

OpenAIRE

Clarke, Paul; O'Connor, Rory

2010-01-01

peer-reviewed Software development requires multi-stage processes in order to organise the software development effort. Each software development project should implement a development process that is appropriate to the project setting. Since business needs and technologies are subject to change, software process improvement (SPI) actions are required so as to harmonise the process with the emerging business and technology needs. SPI frameworks such as the Capability Maturity Model Integra...

Tests of PROOF-on-Demand with ATLAS Prodsys2 and first experience with HTTP federation

CERN Document Server

Di Nardo, Roberto; Vilucchi, Elisabetta; Antonelli, Mario

2015-01-01

During the LHC Run-1, Grid resources in ATLAS have been managed by the PanDA and DQ2 systems. In order to meet the needs for the LHC Run-2, Prodsys2 and Rucio are used as the new ATLAS Workload and Data Management systems. The data are stored under various formats in ROOT files and end-user physicists have the choice to use either the ATHENA framework or directly ROOT. Within the ROOT data analysis framework it is possible to perform analysis of huge sets of ROOT files in parallel with PROOF on clusters of computers (usually organised in analysis facilities) or multi-core machines. In addition, PROOF-on-Demand (PoD) can be used to enable PROOF on top of an existing resource management system. In this work, we present the first performances obtained enabling PROOF-based analysis at CERN and in some of the Italian ATLAS Tier-2 sites within the new ATLAS workload system. Benchmark tests of data access with the httpd protocol, using also the httpd redirector, will be shown. We also present results on the startup ...

Application of the SPI (Saliva Precipitation Index) to the evaluation of red wine astringency.

Science.gov (United States)

Rinaldi, Alessandra; Gambuti, Angelita; Moio, Luigi

2012-12-15

The aim of this work was to evaluate the astringency of red wines by means of a SDS-PAGE based-method. The optimization of the in vitro assay, named SPI (Saliva Precipitation Index) that measured the reactivity of salivary proteins towards wine polyphenols, has been performed. Improvements included the choice of saliva:wine ratio, saliva typology (resting or stimulated saliva), and temperature of binding. The LOD (0.05 g/L of condensed tannin) and LOQ (0.1g/L of condensed tannin) for the binding reaction between salivary proteins and tannins added in white wine were also determined. Fifty-seven red wines were analysed by the optimised SPI, the Folin-Ciocalteu Index, the gelatine index, the content of total tannins and the sensory quantitative evaluation of astringency. A significant correlation between the SPI and the astringency of red wines was found (R(2)=0.969), thus indicating that this assay may be useful as estimator of astringency. Copyright © 2012 Elsevier Ltd. All rights reserved.

Harnessing ISO/IEC 12207 to examine the extent of SPI activity in an organisation

OpenAIRE

Clarke, Paul; O'Connor, Rory

2010-01-01

peer-reviewed The quality of the software development process directly affects the quality of the software product. To be successful, software development organisations must respond to changes in technology and business circumstances, and therefore software process improvement (SPI) is required. SPI activity relates to any modification that is performed to the software process in order to improve an aspect of the process. Although multiple process assessments could be employed to examine S...

29 CFR 1919.27 - Unit proof tests-winches, derricks and gear accessory thereto.

Science.gov (United States)

2010-07-01

..., goosenecks, eye plates, eye bolts, or other attachments), shall be tested with a proof load which shall..., a qualified technical office of an accredited gear certification agency, with the recognition that...

Cosmic rays and tests of fundamental principles

Science.gov (United States)

Gonzalez-Mestres, Luis

2011-03-01

It is now widely acknowledged that cosmic rays experiments can test possible new physics directly generated at the Planck scale or at some other fundamental scale. By studying particle properties at energies far beyond the reach of any man-made accelerator, they can yield unique checks of basic principles. A well-known example is provided by possible tests of special relativity at the highest cosmic-ray energies. But other essential ingredients of standard theories can in principle be tested: quantum mechanics, uncertainty principle, energy and momentum conservation, effective space-time dimensions, hamiltonian and lagrangian formalisms, postulates of cosmology, vacuum dynamics and particle propagation, quark and gluon confinement, elementariness of particles…Standard particle physics or string-like patterns may have a composite origin able to manifest itself through specific cosmic-ray signatures. Ultra-high energy cosmic rays, but also cosmic rays at lower energies, are probes of both "conventional" and new Physics. Status, prospects, new ideas, and open questions in the field are discussed.

Cosmic rays and tests of fundamental principles

International Nuclear Information System (INIS)

Gonzalez-Mestres, Luis

2011-01-01

It is now widely acknowledged that cosmic rays experiments can test possible new physics directly generated at the Planck scale or at some other fundamental scale. By studying particle properties at energies far beyond the reach of any man-made accelerator, they can yield unique checks of basic principles. A well-known example is provided by possible tests of special relativity at the highest cosmic-ray energies. But other essential ingredients of standard theories can in principle be tested: quantum mechanics, uncertainty principle, energy and momentum conservation, effective space-time dimensions, hamiltonian and lagrangian formalisms, postulates of cosmology, vacuum dynamics and particle propagation, quark and gluon confinement, elementariness of particles... Standard particle physics or string-like patterns may have a composite origin able to manifest itself through specific cosmic-ray signatures. Ultra-high energy cosmic rays, but also cosmic rays at lower energies, are probes of both 'conventional' and new Physics. Status, prospects, new ideas, and open questions in the field are discussed.

Pre-service proof pressure and leak rate tests for the Qinshan CANDU project reactor buildings

International Nuclear Information System (INIS)

Petrunik, K.J.; Khan, A.; Ricciuti, R.; Ivanov, A.; Chen, S.

2003-01-01

The Qinshan CANDU Project Reactor Buildings (Units 1 and 2) have been successfully tested for the Pre-Service Proof Pressure and Integrated Leak Rate Tests. The Unit 1 tests took place from May 3 to May 9, 2002 and from May 22 to May 25, 2002, and the Unit 2 tests took place from January 21 to January 27, 2003. This paper discusses the significant steps taken at minimum cost on the Qinshan CANDU Project, which has resulted in a) very good leak rate (0.21%) for Unit 1 and excellent leak rate (0.130%) for Unit 2; b) continuous monitoring of the structural behaviour during the Proof Pressure Test, thus eliminating any repeat of the structural test due to lack of data; and c) significant schedule reduction achieved for these tests in Unit 2. (author)

MRI-guided robotic system for transperineal prostate interventions: proof of principle

International Nuclear Information System (INIS)

Van den Bosch, Michiel R; Moman, Maaike R; Van Vulpen, Marco; Battermann, Jan J; Lagendijk, Jan J W; Moerland, Marinus A; Duiveman, Ed; Van Schelven, Leonard J; De Leeuw, Hendrik

2010-01-01

In this study, we demonstrate the proof of principle of the University Medical Center Utrecht (UMCU) robot dedicated to magnetic resonance imaging (MRI)-guided interventions in patients. The UMCU robot consists of polymers and non-ferromagnetic materials. For transperineal prostate interventions, it can be placed between the patient's legs inside a closed bore 1.5T MR scanner. The robot can manually be translated and rotated resulting in five degrees of freedom. It contains a pneumatically driven tapping device to automatically insert a needle stepwise into the prostate using a controller unit outside the scanning room. To define the target positions and to verify the needle insertion point and the needle trajectory, a high-resolution 3D balanced steady state free precession (bSSFP) scan that provides a T2/T1-weighted contrast is acquired. During the needle insertion fast 2D bSSFP images are generated to track the needle on-line. When the target position is reached, the radiation oncologist manually places a fiducial gold marker (small seed) at this location. In total two needle trajectories are used to place all markers. Afterwards, a high-resolution 3D bSSFP scan is acquired to visualize the fiducial gold markers. Four fiducial gold markers were placed transperineally into the prostate of a patient with a clinical stage T3 prostate cancer. In the generated scans, it was possible to discriminate the patient's anatomy, the needle and the markers. All markers were delivered inside the prostate. The procedure time was 1.5 h. This study proves that MRI-guided needle placement and seed delivery in the prostate with the UMCU robot are feasible. (note)

MRI-guided robotic system for transperineal prostate interventions: proof of principle

Energy Technology Data Exchange (ETDEWEB)

Van den Bosch, Michiel R; Moman, Maaike R; Van Vulpen, Marco; Battermann, Jan J; Lagendijk, Jan J W; Moerland, Marinus A [Department of Radiotherapy, University Medical Center Utrecht, Heidelberglaan 100, 3584 CX, Utrecht (Netherlands); Duiveman, Ed; Van Schelven, Leonard J [Medical Technology and Clinical Physics, University Medical Center Utrecht, Heidelberglaan 100, 3584 CX, Utrecht (Netherlands); De Leeuw, Hendrik [Image Sciences Institute, University Medical Center Utrecht, Heidelberglaan 100, 3584 CX, Utrecht (Netherlands)], E-mail: M.R.vandenBosch@umcutrecht.nl

2010-03-07

In this study, we demonstrate the proof of principle of the University Medical Center Utrecht (UMCU) robot dedicated to magnetic resonance imaging (MRI)-guided interventions in patients. The UMCU robot consists of polymers and non-ferromagnetic materials. For transperineal prostate interventions, it can be placed between the patient's legs inside a closed bore 1.5T MR scanner. The robot can manually be translated and rotated resulting in five degrees of freedom. It contains a pneumatically driven tapping device to automatically insert a needle stepwise into the prostate using a controller unit outside the scanning room. To define the target positions and to verify the needle insertion point and the needle trajectory, a high-resolution 3D balanced steady state free precession (bSSFP) scan that provides a T2/T1-weighted contrast is acquired. During the needle insertion fast 2D bSSFP images are generated to track the needle on-line. When the target position is reached, the radiation oncologist manually places a fiducial gold marker (small seed) at this location. In total two needle trajectories are used to place all markers. Afterwards, a high-resolution 3D bSSFP scan is acquired to visualize the fiducial gold markers. Four fiducial gold markers were placed transperineally into the prostate of a patient with a clinical stage T3 prostate cancer. In the generated scans, it was possible to discriminate the patient's anatomy, the needle and the markers. All markers were delivered inside the prostate. The procedure time was 1.5 h. This study proves that MRI-guided needle placement and seed delivery in the prostate with the UMCU robot are feasible. (note)

Cryogenic systems for proof of the principle experiment of coherent electron cooling at RHIC

Energy Technology Data Exchange (ETDEWEB)

Huang, Yuenian; Belomestnykh, Sergey; Brutus, Jean Clifford; Lederle, Dewey; Orfin, Paul; Skaritka, John; Soria, Victor; Tallerico, Thomas; Than, Roberto [Collider Accelerator Department, Brookhaven National Laboratory, Upton, NY 11973 (United States)

2014-01-29

The Coherent electron Cooling (CeC) Proof of Principle (PoP) experiment is proposed to be installed in the Relativistic Heavy Ion Collider (RHIC) to demonstrate proton and ion beam cooling with this new technique that may increase the beam luminosity in certain cases, by as much as tenfold. Within the scope of this project, a 112 MHz, 2MeV Superconducting Radio Frequency (SRF) electron gun and a 704 MHz 20MeV 5-cell SRF cavity will be installed at IP2 in the RHIC ring. The superconducting RF electron gun will be cooled in a liquid helium bath at 4.4 K. The 704 MHz 5-cell SRF cavity will be cooled in a super-fluid helium bath at 2.0 K. This paper discusses the cryogenic systems designed for both cavities. For the 112 MHz cavity cryogenic system, a condenser/boiler heat exchanger is used to isolate the cavity helium bath from pressure pulses and microphonics noise sources. For the 704 MHz 5-cell SRF cavity, a heat exchanger is also used to isolate the SRF cavity helium bath from noise sources in the sub-atmospheric pumping system operating at room temperature. Detailed designs, thermal analyses and discussions for both systems will be presented in this paper.

Crystal structure of Spy0129, a Streptococcus pyogenes class B sortase involved in pilus assembly.

Directory of Open Access Journals (Sweden)

Hae Joo Kang

2011-01-01

Full Text Available Sortase enzymes are cysteine transpeptidases that mediate the covalent attachment of substrate proteins to the cell walls of gram-positive bacteria, and thereby play a crucial role in virulence, infection and colonisation by pathogens. Many cell-surface proteins are anchored by the housekeeping sortase SrtA but other more specialised sortases exist that attach sub-sets of proteins or function in pilus assembly. The sortase Spy0129, or SrtC1, from the M1 SF370 strain of Streptococcus pyogenes is responsible for generating the covalent linkages between the pilin subunits in the pili of this organism. The crystal structure of Spy0129 has been determined at 2.3 Å resolution (R = 20.4%, Rfree  = 26.0%. The structure shows that Spy0129 is a class B sortase, in contrast to other characterised pilin polymerases, which belong to class C. Spy0129 lacks a flap believed to function in substrate recognition in class C enzymes and instead has an elaborated β6/β7 loop. The two independent Spy0129 molecules in the crystal show differences in the positions and orientations of the catalytic Cys and His residues, Cys221 and His126, correlated with movements of the β7/β8 and β4/β5 loops that respectively follow these residues. Bound zinc ions stabilise these alternative conformations in the crystal. This conformational variability is likely to be important for function although there is no evidence that zinc is involved in vivo.

Crystal structure of Spy0129, a Streptococcus pyogenes class B sortase involved in pilus assembly.

Science.gov (United States)

Kang, Hae Joo; Coulibaly, Fasséli; Proft, Thomas; Baker, Edward N

2011-01-11

Sortase enzymes are cysteine transpeptidases that mediate the covalent attachment of substrate proteins to the cell walls of gram-positive bacteria, and thereby play a crucial role in virulence, infection and colonisation by pathogens. Many cell-surface proteins are anchored by the housekeeping sortase SrtA but other more specialised sortases exist that attach sub-sets of proteins or function in pilus assembly. The sortase Spy0129, or SrtC1, from the M1 SF370 strain of Streptococcus pyogenes is responsible for generating the covalent linkages between the pilin subunits in the pili of this organism. The crystal structure of Spy0129 has been determined at 2.3 Å resolution (R = 20.4%, Rfree  = 26.0%). The structure shows that Spy0129 is a class B sortase, in contrast to other characterised pilin polymerases, which belong to class C. Spy0129 lacks a flap believed to function in substrate recognition in class C enzymes and instead has an elaborated β6/β7 loop. The two independent Spy0129 molecules in the crystal show differences in the positions and orientations of the catalytic Cys and His residues, Cys221 and His126, correlated with movements of the β7/β8 and β4/β5 loops that respectively follow these residues. Bound zinc ions stabilise these alternative conformations in the crystal. This conformational variability is likely to be important for function although there is no evidence that zinc is involved in vivo.

SpyRing interrogation: analyzing how enzyme resilience can be achieved with phytase and distinct cyclization chemistries

Science.gov (United States)

Schoene, Christopher; Bennett, S. Paul; Howarth, Mark

2016-01-01

Enzymes catalyze reactions with exceptional selectivity and rate acceleration but are often limited by instability. Towards a generic route to thermo-resilience, we established the SpyRing approach, cyclizing enzymes by sandwiching between SpyTag and SpyCatcher (peptide and protein partners which lock together via a spontaneous isopeptide bond). Here we first investigated the basis for this resilience, comparing alternative reactive peptide/protein pairs we engineered from Gram-positive bacteria. Both SnoopRing and PilinRing cyclization gave dramatic enzyme resilience, but SpyRing cyclization was the best. Differential scanning calorimetry for each ring showed that cyclization did not inhibit unfolding of the inserted β-lactamase. Cyclization conferred resilience even at 100 °C, where the cyclizing domains themselves were unfolded. Phytases hydrolyze phytic acid and improve dietary absorption of phosphate and essential metal ions, important for agriculture and with potential against human malnutrition. SpyRing phytase (PhyC) resisted aggregation and retained catalytic activity even following heating at 100 °C. In addition, SpyRing cyclization made it possible to purify phytase simply by heating the cell lysate, to drive aggregation of non-cyclized proteins. Cyclization via domains forming spontaneous isopeptide bonds is a general strategy to generate resilient enzymes and may extend the range of conditions for isolation and application of enzymes. PMID:26861173

Proof-of-principle experimental realization of a qubit-like qudit-based quantum key distribution scheme

Science.gov (United States)

Wang, Shuang; Yin, Zhen-Qiang; Chau, H. F.; Chen, Wei; Wang, Chao; Guo, Guang-Can; Han, Zheng-Fu

2018-04-01

In comparison to qubit-based protocols, qudit-based quantum key distribution ones generally allow two cooperative parties to share unconditionally secure keys under a higher channel noise. However, it is very hard to prepare and measure the required quantum states in qudit-based protocols in general. One exception is the recently proposed highly error tolerant qudit-based protocol known as the Chau15 (Chau 2015 Phys. Rev. A 92 062324). Remarkably, the state preparation and measurement in this protocol can be done relatively easily since the required states are phase encoded almost like the diagonal basis states of a qubit. Here we report the first proof-of-principle demonstration of the Chau15 protocol. One highlight of our experiment is that its post-processing is based on practical one-way manner, while the original proposal in Chau (2015 Phys. Rev. A 92 062324) relies on complicated two-way post-processing, which is a great challenge in experiment. In addition, by manipulating time-bin qudit and measurement with a variable delay interferometer, our realization is extensible to qudit with high-dimensionality and confirms the experimental feasibility of the Chau15 protocol.

Test masses for the G-POEM test of the weak equivalence principle

International Nuclear Information System (INIS)

Reasenberg, Robert D; Phillips, James D; Popescu, Eugeniu M

2011-01-01

We describe the design of the test masses that are used in the 'ground-based principle of equivalence measurement' test of the weak equivalence principle. The main features of the design are the incorporation of corner cubes and the use of mass removal and replacement to create pairs of test masses with different test substances. The corner cubes allow for the vertical separation of the test masses to be measured with picometer accuracy by SAO's unique tracking frequency laser gauge, while the mass removal and replacement operations are arranged so that the test masses incorporating different test substances have nominally identical gravitational properties. (papers)

How predictive are photosensitive epilepsy models as proof of principle trials for epilepsy?

Science.gov (United States)

Yuen, Eunice S M; Sims, John R

2014-06-01

Human photosensitive epilepsy models have been used as proof of principle (POP) trials for epilepsy. Photosensitive patients are exposed to intermittent photic stimulation and the reduction in sensitivity to the number of standard visual stimulation frequencies is used as an endpoint. The aim of this research was to quantify the predictive capabilities of photosensitive POP trials, through a survey of current literature. A literature search was undertaken to identify articles describing photosensitive POP trials. Minimally efficacious doses (MEDs) in epilepsy were compared to doses in the POP trials that produced 50-100% response (ED50-100). Ratios of these doses were calculated and summarised statistically. The search identified ten articles describing a total of 17 anti-epileptic drugs. Of these, data for both MED and ED50-100 were available for 13 anti-epileptic drugs. The average ratio of MED to ED50-100 was 0.95 (95% CI 0.60-1.30). The difference in MED to ED50-100 ratios between partial epilepsy (0.82) was not significantly different from that of generalised epilepsy (1.08) (p=0.51). Photosensitive POP trials are a useful tool to quantitatively predict efficacy in epilepsy, and can be useful as early and informative indicators in anti-epileptic drug discovery and development. Copyright © 2014 British Epilepsy Association. Published by Elsevier Ltd. All rights reserved.

Exploring mathematics problem-solving and proof

CERN Document Server

Grieser, Daniel

2018-01-01

Have you ever faced a mathematical problem and had no idea how to approach it? Or perhaps you had an idea but got stuck halfway through? This book guides you in developing your creativity, as it takes you on a voyage of discovery into mathematics. Readers will not only learn strategies for solving problems and logical reasoning, but they will also learn about the importance of proofs and various proof techniques. Other topics covered include recursion, mathematical induction, graphs, counting, elementary number theory, and the pigeonhole, extremal and invariance principles. Designed to help students make the transition from secondary school to university level, this book provides readers with a refreshing look at mathematics and deep insights into universal principles that are valuable far beyond the scope of this book. Aimed especially at undergraduate and secondary school students as well as teachers, this book will appeal to anyone interested in mathematics. Only basic secondary school mathematics is requi...

Analysis and Test Correlation of Proof of Concept Box for Blended Wing Body-Low Speed Vehicle

Science.gov (United States)

Spellman, Regina L.

2003-01-01

The Low Speed Vehicle (LSV) is a 14.2% scale remotely piloted vehicle of the revolutionary Blended Wing Body concept. The design of the LSV includes an all composite airframe. Due to internal manufacturing capability restrictions, room temperature layups were necessary. An extensive materials testing and manufacturing process development effort was underwent to establish a process that would achieve the high modulus/low weight properties required to meet the design requirements. The analysis process involved a loads development effort that incorporated aero loads to determine internal forces that could be applied to a traditional FEM of the vehicle and to conduct detailed component analyses. A new tool, Hypersizer, was added to the design process to address various composite failure modes and to optimize the skin panel thickness of the upper and lower skins for the vehicle. The analysis required an iterative approach as material properties were continually changing. As a part of the material characterization effort, test articles, including a proof of concept wing box and a full-scale wing, were fabricated. The proof of concept box was fabricated based on very preliminary material studies and tested in bending, torsion, and shear. The box was then tested to failure under shear. The proof of concept box was also analyzed using Nastran and Hypersizer. The results of both analyses were scaled to determine the predicted failure load. The test results were compared to both the Nastran and Hypersizer analytical predictions. The actual failure occurred at 899 lbs. The failure was predicted at 1167 lbs based on the Nastran analysis. The Hypersizer analysis predicted a lower failure load of 960 lbs. The Nastran analysis alone was not sufficient to predict the failure load because it does not identify local composite failure modes. This analysis has traditionally been done using closed form solutions. Although Hypersizer is typically used as an optimizer for the design

Development of SPIES (Space Intelligent Eyeing System) for smart vehicle tracing and tracking

Science.gov (United States)

Abdullah, Suzanah; Ariffin Osoman, Muhammad; Guan Liyong, Chua; Zulfadhli Mohd Noor, Mohd; Mohamed, Ikhwan

2016-06-01

SPIES or Space-based Intelligent Eyeing System is an intelligent technology which can be utilized for various applications such as gathering spatial information of features on Earth, tracking system for the movement of an object, tracing system to trace the history information, monitoring driving behavior, security and alarm system as an observer in real time and many more. SPIES as will be developed and supplied modularly will encourage the usage based on needs and affordability of users. SPIES are a complete system with camera, GSM, GPS/GNSS and G-Sensor modules with intelligent function and capabilities. Mainly the camera is used to capture pictures and video and sometimes with audio of an event. Its usage is not limited to normal use for nostalgic purpose but can be used as a reference for security and material of evidence when an undesirable event such as crime occurs. When integrated with space based technology of the Global Navigational Satellite System (GNSS), photos and videos can be recorded together with positioning information. A product of the integration of these technologies when integrated with Information, Communication and Technology (ICT) and Geographic Information System (GIS) will produce innovation in the form of information gathering methods in still picture or video with positioning information that can be conveyed in real time via the web to display location on the map hence creating an intelligent eyeing system based on space technology. The importance of providing global positioning information is a challenge but overcome by SPIES even in areas without GNSS signal reception for the purpose of continuous tracking and tracing capability

Assessment of meteorological drought using SPI in West Azarbaijan ...

African Journals Online (AJOL)

Michael Horsfall

2017-05-13

May 13, 2017 ... The basis of drought indices is often based on measuring the deviation of precipitation values from long-term mean, during a specific period of time. The standard precipitation index (SPI) can be used for indicating the associated temporal and spatial variations. The aim of this research is the assessment of ...

The renormalized action principle in quantum field theory

International Nuclear Information System (INIS)

Balasin, H.

1990-03-01

The renormalized action principle holds a central position in field theory, since it offers a variety of applications. The main concern of this work is the proof of the action principle within the so-called BPHZ-scheme of renormalization. Following the classical proof given by Lam and Lowenstein, some loopholes are detected and closed. The second part of the work deals with the application of the action principle to pure Yang-Mills-theories within the axial gauge (n 2 ≠ 0). With the help of the action principle we investigate the decoupling of the Faddeev-Popov-ghost-fields from the gauge field. The consistency of this procedure, suggested by three-graph approximation, is proven to survive quantization. Finally we deal with the breaking of Lorentz-symmetry caused by the presence of the gauge-direction n. Using BRST-like techniques and the semi-simplicity of the Lorentz-group, it is shown that no new breakings arise from quantization. Again the main step of the proof is provided by the action principle. (Author, shortened by G.Q.)

A Half-Day Workshop on ``Smarter Investment by Aligning SPI Initiatives, Capabilities and Stakeholder Values''

Science.gov (United States)

Selioukova, Yana; Frühwirth, Christian

Software companies who want to improve software process capabilities (SPCs)a systematic method to make informed investment decisions on software process improvement (SPI) initiatives. Such decisions should aim at creating maximum stakeholder values. To address this problem, we present a method with tool support that may help companies align stakeholder values with SPCs and SPI initiatives. The proposed method has been developed based on the well-established “Quality Function Deployment” (QFD) approach. The experience with the proposed method suggests that it particularly helps to reduce the risk of misalignment by identifying those SPI initiatives that are most beneficial to stakeholders. The tool support provided with the proposed method also generated positive experiences in increasing the usability of the method and helped companies in the elicitation and prioritization of stakeholder values. Therefore, we propose a workshop for the method work out named “Smarter Investment by Aligning SPI Initiatives, Capabilities and Stakeholder Values” in hypothetical case company.

Psychosocial and Psychological Vulnerability in Adolescents with Gender Dysphoria: A "Proof of Principle" Study.

Science.gov (United States)

Bechard, Melanie; VanderLaan, Doug P; Wood, Hayley; Wasserman, Lori; Zucker, Kenneth J

2017-10-03

For adolescents with gender dysphoria, it has become common to be offered hormonal treatment to either delay or suppress pubertal development and/or to masculinize or feminize the body. At the same time, it has been our clinical impression that the psychological vulnerability of at least some of these youth has been overlooked. Fifty consecutive referrals of adolescents with a DSM-IV-TR diagnosis of gender identity disorder (GID) constituted the sample. Information obtained at intake was coded for the presence or absence of 15 psychosocial and psychological vulnerability factors. The mean number of psychosocial/psychological vulnerability factors coded as present was 5.56 (range, 0-13). Over half of the sample had six or more of the vulnerability factors. The number of factors coded as present was significantly correlated with behavioral and emotional problems on the Youth Self-Report Form and the Child Behavior Checklist, but not with demographic variables or IQ. The findings supported the clinical impression that a large percentage of adolescents referred for gender dysphoria have a substantial co-occurring history of psychosocial and psychological vulnerability, thus supporting a "proof of principle" for the importance of a comprehensive psychologic/psychiatric assessment that goes beyond an evaluation of gender dysphoria per se.

Observation of the decay $B_c^+ \\to \\psi(2S)\\pi^+$

CERN Document Server

INSPIRE-00258707; Abellan Beteta, C; Adeva, B; Adinolfi, M; Adrover, C; Affolder, A; Ajaltouni, Z; Albrecht, J; Alessio, F; Alexander, M; Ali, S; Alkhazov, G; Alvarez Cartelle, P; Alves Jr, A A; Amato, S; Amerio, S; Amhis, Y; Anderlini, L; Anderson, J; Andreassen, R; Appleby, R B; Aquines Gutierrez, O; Archilli, F; Artamonov, A; Artuso, M; Aslanides, E; Auriemma, G; Bachmann, S; Back, J J; Baesso, C; Balagura, V; Baldini, W; Barlow, R J; Barschel, C; Barsuk, S; Barter, W; Bauer, Th; Bay, A; Beddow, J; Bedeschi, F; Bediaga, I; Belogurov, S; Belous, K; Belyaev, I; Ben-Haim, E; Benayoun, M; Bencivenni, G; Benson, S; Benton, J; Berezhnoy, A; Bernet, R; Bettler, M -O; van Beuzekom, M; Bien, A; Bifani, S; Bird, T; Bizzeti, A; Bjørnstad, P M; Blake, T; Blanc, F; Blouw, J; Blusk, S; Bocci, V; Bondar, A; Bondar, N; Bonivento, W; Borghi, S; Borgia, A; Bowcock, T J V; Bowen, E; Bozzi, C; Brambach, T; van den Brand, J; Bressieux, J; Brett, D; Britsch, M; Britton, T; Brook, N H; Brown, H; Burducea, I; Bursche, A; Busetto, G; Buytaert, J; Cadeddu, S; Callot, O; Calvi, M; Calvo Gomez, M; Camboni, A; Campana, P; Carbone, A; Carboni, G; Cardinale, R; Cardini, A; Carranza-Mejia, H; Carson, L; Carvalho Akiba, K; Casse, G; Cattaneo, M; Cauet, Ch; Charles, M; Charpentier, Ph; Chen, P; Chiapolini, N; Chrzaszcz, M; Ciba, K; Cid Vidal, X; Ciezarek, G; Clarke, P E L; Clemencic, M; Cliff, H V; Closier, J; Coca, C; Coco, V; Cogan, J; Cogneras, E; Collins, P; Comerma-Montells, A; Contu, A; Cook, A; Coombes, M; Coquereau, S; Corti, G; Couturier, B; Cowan, G A; Craik, D; Cunliffe, S; Currie, R; D'Ambrosio, C; David, P; David, P N Y; De Bonis, I; De Bruyn, K; De Capua, S; De Cian, M; De Miranda, J M; De Oyanguren Campos, M; De Paula, L; De Silva, W; De Simone, P; Decamp, D; Deckenhoff, M; Del Buono, L; Derkach, D; Deschamps, O; Dettori, F; Di Canto, A; Dijkstra, H; Dogaru, M; Donleavy, S; Dordei, F; Dosil Suárez, A; Dossett, D; Dovbnya, A; Dupertuis, F; Dzhelyadin, R; Dziurda, A; Dzyuba, A; Easo, S; Egede, U; Egorychev, V; Eidelman, S; van Eijk, D; Eisenhardt, S; Eitschberger, U; Ekelhof, R; Eklund, L; El Rifai, I; Elsasser, Ch; Elsby, D; Falabella, A; Färber, C; Fardell, G; Farinelli, C; Farry, S; Fave, V; Ferguson, D; Fernandez Albor, V; Ferreira Rodrigues, F; Ferro-Luzzi, M; Filippov, S; Fitzpatrick, C; Fontana, M; Fontanelli, F; Forty, R; Francisco, O; Frank, M; Frei, C; Frosini, M; Furcas, S; Furfaro, E; Gallas Torreira, A; Galli, D; Gandelman, M; Gandini, P; Gao, Y; Garofoli, J; Garosi, P; Garra Tico, J; Garrido, L; Gaspar, C; Gauld, R; Gersabeck, E; Gersabeck, M; Gershon, T; Ghez, Ph; Gibson, V; Gligorov, V V; Göbel, C; Golubkov, D; Golutvin, A; Gomes, A; Gordon, H; Grabalosa Gándara, M; Graciani Diaz, R; Granado Cardoso, L A; Graugés, E; Graziani, G; Grecu, A; Greening, E; Gregson, S; Grünberg, O; Gui, B; Gushchin, E; Guz, Yu; Gys, T; Hadjivasiliou, C; Haefeli, G; Haen, C; Haines, S C; Hall, S; Hampson, T; Hansmann-Menzemer, S; Harnew, N; Harnew, S T; Harrison, J; Hartmann, T; He, J; Heijne, V; Hennessy, K; Henrard, P; Hernando Morata, J A; van Herwijnen, E; Hicks, E; Hill, D; Hoballah, M; Hombach, C; Hopchev, P; Hulsbergen, W; Hunt, P; Huse, T; Hussain, N; Hutchcroft, D; Hynds, D; Iakovenko, V; Idzik, M; Ilten, P; Jacobsson, R; Jaeger, A; Jans, E; Jaton, P; Jing, F; John, M; Johnson, D; Jones, C R; Jost, B; Kaballo, M; Kandybei, S; Karacson, M; Karbach, T M; Kenyon, I R; Kerzel, U; Ketel, T; Keune, A; Khanji, B; Kochebina, O; Komarov, I; Koopman, R F; Koppenburg, P; Korolev, M; Kozlinskiy, A; Kravchuk, L; Kreplin, K; Kreps, M; Krocker, G; Krokovny, P; Kruse, F; Kucharczyk, M; Kudryavtsev, V; Kvaratskheliya, T; La Thi, V N; Lacarrere, D; Lafferty, G; Lai, A; Lambert, D; Lambert, R W; Lanciotti, E; Lanfranchi, G; Langenbruch, C; Latham, T; Lazzeroni, C; Le Gac, R; van Leerdam, J; Lees, J -P; Lefèvre, R; Leflat, A; Lefrançois, J; Leo, S; Leroy, O; Leverington, B; Li, Y; Li Gioi, L; Liles, M; Lindner, R; Linn, C; Liu, B; Liu, G; von Loeben, J; Lohn, S; Lopes, J H; Lopez Asamar, E; Lopez-March, N; Lu, H; Lucchesi, D; Luisier, J; Luo, H; Machefert, F; Machikhiliyan, I V; Maciuc, F; Maev, O; Malde, S; Manca, G; Mancinelli, G; Marconi, U; Märki, R; Marks, J; Martellotti, G; Martens, A; Martin, L; Martín Sánchez, A; Martinelli, M; Martinez Santos, D; Martins Tostes, D; Massafferri, A; Matev, R; Mathe, Z; Matteuzzi, C; Maurice, E; Mazurov, A; McCarthy, J; McNulty, R; Mcnab, A; Meadows, B; Meier, F; Meissner, M; Merk, M; Milanes, D A; Minard, M -N; Molina Rodriguez, J; Monteil, S; Moran, D; Morawski, P; Morello, M J; Mountain, R; Mous, I; Muheim, F; Müller, K; Muresan, R; Muryn, B; Muster, B; Naik, P; Nakada, T; Nandakumar, R; Nasteva, I; Needham, M; Neufeld, N; Nguyen, A D; Nguyen, T D; Nguyen-Mau, C; Nicol, M; Niess, V; Niet, R; Nikitin, N; Nikodem, T; Nomerotski, A; Novoselov, A; Oblakowska-Mucha, A; Obraztsov, V; Oggero, S; Ogilvy, S; Okhrimenko, O; Oldeman, R; Orlandea, M; Otalora Goicochea, J M; Owen, P; Pal, B K; Palano, A; Palutan, M; Panman, J; Papanestis, A; Pappagallo, M; Parkes, C; Parkinson, C J; Passaleva, G; Patel, G D; Patel, M; Patrick, G N; Patrignani, C; Pavel-Nicorescu, C; Pazos Alvarez, A; Pellegrino, A; Penso, G; Pepe Altarelli, M; Perazzini, S; Perego, D L; Perez Trigo, E; Pérez-Calero Yzquierdo, A; Perret, P; Perrin-Terrin, M; Pessina, G; Petridis, K; Petrolini, A; Phan, A; Picatoste Olloqui, E; Pietrzyk, B; Pilař, T; Pinci, D; Playfer, S; Plo Casasus, M; Polci, F; Polok, G; Poluektov, A; Polycarpo, E; Popov, D; Popovici, B; Potterat, C; Powell, A; Prisciandaro, J; Pugatch, V; Puig Navarro, A; Punzi, G; Qian, W; Rademacker, J H; Rakotomiaramanana, B; Rangel, M S; Raniuk, I; Rauschmayr, N; Raven, G; Redford, S; Reid, M M; dos Reis, A C; Ricciardi, S; Richards, A; Rinnert, K; Rives Molina, V; Roa Romero, D A; Robbe, P; Rodrigues, E; Rodriguez Perez, P; Roiser, S; Romanovsky, V; Romero Vidal, A; Rouvinet, J; Ruf, T; Ruffini, F; Ruiz, H; Ruiz Valls, P; Sabatino, G; Saborido Silva, J J; Sagidova, N; Sail, P; Saitta, B; Salzmann, C; Sanmartin Sedes, B; Sannino, M; Santacesaria, R; Santamarina Rios, C; Santovetti, E; Sapunov, M; Sarti, A; Satriano, C; Satta, A; Savrie, M; Savrina, D; Schaack, P; Schiller, M; Schindler, H; Schlupp, M; Schmelling, M; Schmidt, B; Schneider, O; Schopper, A; Schune, M -H; Schwemmer, R; Sciascia, B; Sciubba, A; Seco, M; Semennikov, A; Senderowska, K; Sepp, I; Serra, N; Serrano, J; Seyfert, P; Shapkin, M; Shapoval, I; Shatalov, P; Shcheglov, Y; Shears, T; Shekhtman, L; Shevchenko, O; Shevchenko, V; Shires, A; Silva Coutinho, R; Skwarnicki, T; Smith, N A; Smith, E; Smith, M; Sokoloff, M D; Soler, F J P; Soomro, F; Souza, D; Souza De Paula, B; Spaan, B; Sparkes, A; Spradlin, P; Stagni, F; Stahl, S; Steinkamp, O; Stoica, S; Stone, S; Storaci, B; Straticiuc, M; Straumann, U; Subbiah, V K; Swientek, S; Syropoulos, V; Szczekowski, M; Szczypka, P; Szumlak, T; T'Jampens, S; Teklishyn, M; Teodorescu, E; Teubert, F; Thomas, C; Thomas, E; van Tilburg, J; Tisserand, V; Tobin, M; Tolk, S; Tonelli, D; Topp-Joergensen, S; Torr, N; Tournefier, E; Tourneur, S; Tran, M T; Tresch, M; Tsaregorodtsev, A; Tsopelas, P; Tuning, N; Ubeda Garcia, M; Ukleja, A; Urner, D; Uwer, U; Vagnoni, V; Valenti, G; Vazquez Gomez, R; Vazquez Regueiro, P; Vecchi, S; Velthuis, J J; Veltri, M; Veneziano, G; Vesterinen, M; Viaud, B; Vieira, D; Vilasis-Cardona, X; Vollhardt, A; Volyanskyy, D; Voong, D; Vorobyev, A; Vorobyev, V; Voß, C; Voss, H; Waldi, R; Wallace, R; Wandernoth, S; Wang, J; Ward, D R; Watson, N K; Webber, A D; Websdale, D; Whitehead, M; Wicht, J; Wiechczynski, J; Wiedner, D; Wiggers, L; Wilkinson, G; Williams, M P; Williams, M; Wilson, F F; Wishahi, J; Witek, M; Wotton, S A; Wright, S; Wu, S; Wyllie, K; Xie, Y; Xing, F; Xing, Z; Yang, Z; Young, R; Yuan, X; Yushchenko, O; Zangoli, M; Zavertyaev, M; Zhang, F; Zhang, L; Zhang, W C; Zhang, Y; Zhelezov, A; Zhokhov, A; Zhong, L; Zvyagin, A

2013-01-01

The decay $B_c^+ \\to \\psi(2S)\\pi^+$ with $\\psi(2S) \\to \\mu^+\\mu^-$ is observed with a significance of $5.2\\,\\sigma$ using $pp$ collision data corresponding to an integrated luminosity of 1.0 $fb^{-1}$ collected by the LHCb experiment. The branching fraction of $B_c^+ \\to \\psi(2S)\\pi^+$ decays relative to that of the $B_c^+ \\to J/\\psi\\pi^+$ mode is measured to be \\begin{equation*} \\frac{\\mathcal{B}(B_c^+ \\to \\psi(2S)\\pi^+)}{\\mathcal{B}(B_c^+ \\to J/\\psi\\pi^+)} = 0.250 \\pm 0.068 \\,\\text{stat} \\pm 0.014 \\,\\text{\\syst} \\pm 0.006 \\,(\\mathcal{B}). \\end{equation*} The last term is the uncertainty on the ratio $\\mathcal{B}(\\psi(2S) \\to \\mu^+\\mu^-)/\\mathcal{B}(J/\\psi \\to \\mu^+\\mu^-)$.

Assisted reproductive medicine in Poland --Fertility and Sterility Special Interest Group of the Polish Gynaecological Society (SPiN PTG) 2012 report.

Science.gov (United States)

Janicka, Anna; Spaczyńiski, Robert Z; Kurzawa, Rafał

2015-12-01

The aim of this report is to present data concerning results and complications related to infertility treatment using assisted reproductive technology (ART) and insemination (IUI) in Poland in 2012. The report was prepared by the Fertility and Sterility Special Interest Group of the Polish Gynaecological Society (SPiN PTG), based on individual data provided by fertility clinics. Reporting was voluntary data were not subject to external verification. The report presents the availability and the structure of infertility treatment services, the number of procedures performed, their effectiveness and the most common complications. In 2014, 34 Polish fertility clinics provided information to the report, presenting data from 2012. The total number of reported treatment cycles using ART was 17,116 (incl. 10,714 fresh IVF/ICSI) and 14,727 IUI. The clinical pregnancy rate per cycle was on average 33.7% for fresh IVF/ICSI and 13.3% for IUI. The prevalence of multiple births was 15.7% and 6.2%, in case of IVF/ICSI and IUI methods respectively The most frequent complication in the course of treatment using ART was ovarian hyperstimulation syndrome (OHSS)--severe OHSS constituted 0.68% of all stimulated cycles. The SPiN PTG report shows the average effectiveness and safety of ART and was the only proof of responsibility and due diligence of fertility centres in Poland. However, due to the lack of a central register of fertility clinics, facultative participation in the report as well as incomplete information on pregnancy and delivery rate, the collected data do not reflect the full spectrum of Polish reproductive medicine.

Proposal for the theoretical investigation of the relativistic beam-plasma interaction with application to the proof-of-principle electron beam-heated linear solenoidal reactor

International Nuclear Information System (INIS)

Thode, L.E.

1978-09-01

A 36-month program to study the linear relativistic electron beam-plasma interaction is proposed. This program is part of a joint proposal between the Physics International Company (PI) and Los Alamos Scientific Laboratory (LASL) that combines the advanced electron beam generator technology at PI with the highly developed computer simulation technology at LASL. The proposed LASL program includes direct support for 1- and 3-m beam-plasma interaction experiments planned at PI and development of theory relevant for design of a 10-m proof-of-principle electron beam-driven linear solenoidal reactor

Droughts in a warming climate: A global assessment of Standardized precipitation index (SPI) and Reconnaissance drought index (RDI)

Science.gov (United States)

Asadi Zarch, Mohammad Amin; Sivakumar, Bellie; Sharma, Ashish

2015-07-01

Both drought and aridity indicate imbalance in water availability. While drought is a natural temporal hazard, aridity is a constant climatic feature. This paper investigates the changes in drought characteristics across different aridity zones with and without consideration of potential evapotranspiration (PET), as a means to better assess drought in a warming climate. Two drought indexes are employed: (1) Standardized precipitation index (SPI), which is solely based on precipitation; and (2) Reconnaissance drought index (RDI), which, in addition to precipitation, takes PET into account. The two indexes are first employed to observed precipitation and PET data for the period 1960-2009 from the CRU (Climate Research Unit, University of East Anglia) TS 3.1 database. The results indicate that although all the aridity zones experience both downward and upward drought trends, no significant trend is found over large parts of the zones. However, the agreement between SPI and RDI reduces from the hyper-arid zone on one extreme toward the humid zone on the other. In the three more humid zones (i.e. semi-arid, sub-humid, and humid), the indexes exhibit different trends, with RDI showing more decreasing trends (i.e. becoming drier). While SPI generally shows more drought prone areas than RDI for the pre-1998 period, the opposite is observed for the post-1998 period. Given the known changes to PET in observed records, and also expected increases as global warming intensifies, these results suggest that RDI will be consistently different to the SPI as global warming intensifies. This hypothesis is further tested for historic and future climate projections from the CSIRO (Commonwealth Scientific and Industrial Research Organisation, Australia) Mk3.6 global climate model (GCM), with use of the fifth phase of the Coupled Model Intercomparison Project (CMIP5) and RCP8.5 (Representative Concentration Pathways). In this case, PET is calculated using FAO56-PM model for assessment of

Fast-wave ion cyclotron current drive for ITER and prospects for near-term proof-of-principle experiments

International Nuclear Information System (INIS)

Swain, D.W.; Batchelor, D.B.; Carter, M.D.; Jaeger, E.F.; Ryan, P.M.; Hoffman, D.J.

1989-01-01

Low-frequency fast-wave current drive (FWCD) with frequencies in the range from 30 to 100 MHz looks promising for current drive in ITER. Its theoretical efficiencies are comparable to other current-drive techniques, and it could be significantly cheaper than other proposed current drive methods because of the ready availability of inexpensive (<$1/W), efficient, multi-megawatt rf power sources. The most critical issues for FWCD are concerns about the acceptability and survivability of an appropriate antenna launching system and the lack of an experimental demonstration of FWCD in a large tokamak. We describe an antenna array that is flush with the first wall of ITER and should be able to survive in the plasma environment, present theoretical calculations of FWCD in ITER, and show results from a brief survey of some present-day tokamaks in which it might be possible to carry out FWCD proof-of-principle experiments. 4 refs., 5 figs., 1 tab

The Impact of Female Attractiveness in Spy

OpenAIRE

Pangjaya, Veronika Juliani; Handojo, Priska Febrinia

2017-01-01

This thesis discusses the impact of female attractiveness on the female character which is related to the way Spy sees attractive women and what the impacts to them are. There are criteria for female attractiveness that are displayed by the film such as physical attributes and traits. In order to show the criteria of attractive women and the responses that they get, I use stereotyping theory. Women who are physically attractive get better treatment, but in order to get that, they have to dres...

Power potential and the energy in the Spiš region

Directory of Open Access Journals (Sweden)

Major Michal

2001-12-01

Full Text Available The contribution is a short review of the energy power information about three districts: Spišská Nová Ves, Gelnica and Levoèa. These districts are parts of the county of Košice and Prešov. The contribution contains a summary of basic illustration information about the sources of energy and about a consumption of electric and heat energy in the area. In the area of the region, there is no standard thermal power station and no nuclear power station. From own sources of the region, there is especially a water energy. The majority of heat and electric energy, which is necessary in the region, comes from outside sources. The sources of power are situated in Spišská Nová Ves and Gelnica districts. The Levoèa district has no own source of energy.In the Spišská Nová Ves district, there is one industrial establishment, which produces the heat and electric energy for the own use and also for the export. With the exception of this one establishment, in Spišská district, there are 3 little hydro - electric power plants with the total installed power capacity 138 kW. And there is also one energy unit for the output of electricity and heat with the installed power capacity 400 kW. In the area of Gelnica, there is one hydro – electric power plant, in the water reservoir named Ružín. It has installed the power capacity 2x30 MW. There are also 7 little hydro - electric power plants with the total installed power capacity 528 kW and one energy unit for the output of electricity and heat with installed power capacity 1100 kW.The future development of own energy sources in the region is oriented to the exploitation of natural energy sources, especially to the water energy and energy from biological gas. There is project of using the biological gas for the power purpose from one dump in the Spišská Nová Ves district. It will be realised in the time period of 10 years. In all listed above districts measurements are realized, which will show if

Quantification of the Robusta fraction in a coffee blend via Raman spectroscopy: proof of principle.

Science.gov (United States)

Wermelinger, Thomas; D'Ambrosio, Lucio; Klopprogge, Babette; Yeretzian, Chahan

2011-09-14

Among the 100 different known Coffea species, Coffea arabica L. (Arabica) and Coffea canephora Pierre (Robusta) are the only two of commercial interest. They differ in a range of agronomic, genetic, and chemical properties. Due to the significant price difference between Arabica and Robusta, there is an economic incentive to illicitly replace Arabica with Robusta. Therefore, it is crucial to have accurate methods to determine the Robusta-to-Arabica-ratio in blends. This paper presents the proof of principle of a new and fast approach to determine the Robusta fraction in a blend based on Raman spectroscopy. The oils of two references (a pure Robusta and pure Arabica coffee) and six blends thereof consisting of different Robusta and Arabica fractions were extracted using a Soxhlet system. The solutes were analyzed by means of Raman spectroscopy without further workup. Using the intensity ratio between two Raman peaks, one characteristic for kahweol and one characteristic for fatty acids, allowed determinination of the Robusta content in a given mixture. The intensity ratio is linearly dependent on the Robusta content of the compound. Above a Robusta content of 75 wt %, kahweol was not detectable. The Raman data are in agreement with results obtained from the very time-consuming multistep DIN 10777 procedures based on HPLC.

The precautionary principle as a rational decision criterion

International Nuclear Information System (INIS)

Hovi, Jon

2001-12-01

The paper asks if the precautionary principle may be seen as a rational decision criterion. Six main questions are discussed. 1. Does the principle basically represent a particular set of political options or is it a genuine decision criterion? 2. If it is the latter, can it be reduced to any of the existing criteria for decision making under uncertainty? 3. In what kinds of situation is the principle applicable? 4. What is the relation between the precautionary principle and other principles for environmental regulation? 5. How plausible is the principle's claim that the burden of proof should be reversed? 6. Do the proponents of environmental regulation carry no burden of proof at all? A main conclusion is that, for now at least, the principle contains too many unclear elements to satisfy the requirements of precision and consistency that should reasonably be satisfied by a rational decision criterion. (author)

Treatment Using the SpyGlass Digital System in a Patient with Hepatolithiasis after a Whipple Procedure.

Science.gov (United States)

Harima, Hirofumi; Hamabe, Kouichi; Hisano, Fusako; Matsuzaki, Yuko; Itoh, Tadahiko; Sanuki, Kazutoshi; Sakaida, Isao

2018-05-23

An 89-year-old man was referred to our hospital for treatment of hepatolithiasis causing recurrent cholangitis. He had undergone a prior Whipple procedure. Computed tomography demonstrated left-sided hepatolithiasis. First, we conducted peroral direct cholangioscopy (PDCS) using an ultraslim endoscope. Although PDCS was successfully conducted, it was unsuccessful in removing all the stones. The stones located in the B2 segment were difficult to remove because the endoscope could not be inserted deeply into this segment due to the small size of the intrahepatic bile duct. Next, we substituted the endoscope with an upper gastrointestinal endoscope. After positioning the endoscope, the SpyGlass digital system (SPY-DS) was successfully inserted deep into the B2 segment. Upon visualizing the residual stones, we conducted SPY-DS-guided electrohydraulic lithotripsy. The stones were disintegrated and completely removed. In cases of PDCS failure, a treatment strategy using the SPY-DS can be considered for patients with hepatolithiasis after a Whipple procedure.

State Transition and Flaring Activity of IGR J17464-3213/H1743-322 with INTEGRAL SPI

Science.gov (United States)

Joinet, A.; Jourdain, E.; Malzac, J.; Roques, J. P.; Schönfelder, V.; Ubertini, P.; Capitanio, F.

2005-08-01

IGR J17464-3213, already known as the HEAO 1 transient source H1743-322, has been detected during a state transition by INTEGRAL SPI. We describe the spectral evolution and flaring activity of IGR J17464-3213/H1743-322 from 2003 March 21 to 2003 April 22. During the first part, the source followed a continuous spectral softening, with the peak of the spectral energy distribution shifting from 100 keV down to ~a few keV. However, the thermal disk and the hard X-ray components had a similar intensity, indicating that the source was in an intermediate state throughout our observations and evolving toward the soft state. In the second part of our observations, the RXTE ASM and INTEGRAL SPI light curves showed a strong flaring activity. Two flare events lasting about 1 day each have been detected with SPI and are probably due to instabilities in the accretion disk associated with the state transition. During these flares, the low (1.5-12 keV) and high (20-200 keV) energy fluxes monitored with the RXTE ASM and INTEGRAL SPI are correlated, and the spectral shape (above 20 keV) remains unchanged while the luminosity increases by a factor greater than 2.

Sharing Data between Mobile Devices, Connected Vehicles and Infrastructure Task 8 : D2X Hub Proof-of-Concept Test Evaluation Report.

Science.gov (United States)

2017-10-25

The Task 8 D2X Hub Proof-of-Concept Test Evaluation Report provides results of the experimental data analysis performed in accordance with the experimental plan for the proof-of-concept version of the prototype system. The data set analyzed includes ...

Multiparty Session Types as Coherence Proofs

DEFF Research Database (Denmark)

Carbone, Marco; Montesi, Fabrizio; Schürmann, Carsten

2015-01-01

We propose a Curry-Howard correspondence between a language for programming multiparty sessions and a generalisation of Classical Linear Logic (CLL). In this framework, propositions correspond to the local behaviour of a participant in a multiparty session type, proofs to processes, and proof...... normalisation to executing communications. Our key contribution is generalising duality, from CLL, to a new notion of n-ary compatibility, called coherence. Building on coherence as a principle of compositionality, we generalise the cut rule of CLL to a new rule for composing many processes communicating...... in a multiparty session. We prove the soundness of our model by showing the admissibility of our new rule, which entails deadlock-freedom via our correspondence....

Exploring Managerial Commitment towards SPI in Small and Very Small Enterprises

Science.gov (United States)

O'Connor, Rory V.; Basri, Shuib; Coleman, Gerry

This paper compares and contrasts the results of two similar studies into the software process practices in Irish Small and Very Small Enterprises. The first study contains rich findings in relation to the role and influence of managerial experience and style, with particular respect to the company founder and software development managers in small to medium seized enterprises (SMEs), whilst the second study contains extensive findings in relation to people and management involvement / commitment and SPI goal planning in very small enterprises (VSEs). By combining these results of these two studies of Irish SMEs/VSEs we can develop a rich picture of managerial commitment towards SPI and in particular explore the similarities between Small and Very Small Enterprises.

Environmental sensing by mature B cells is controlled by the transcription factors PU.1 and SpiB.

Science.gov (United States)

Willis, Simon N; Tellier, Julie; Liao, Yang; Trezise, Stephanie; Light, Amanda; O'Donnell, Kristy; Garrett-Sinha, Lee Ann; Shi, Wei; Tarlinton, David M; Nutt, Stephen L

2017-11-10

Humoral immunity requires B cells to respond to multiple stimuli, including antigen, membrane and soluble ligands, and microbial products. Ets family transcription factors regulate many aspects of haematopoiesis, although their functions in humoral immunity are difficult to decipher as a result of redundancy between the family members. Here we show that mice lacking both PU.1 and SpiB in mature B cells do not generate germinal centers and high-affinity antibody after protein immunization. PU.1 and SpiB double-deficient B cells have a survival defect after engagement of CD40 or Toll-like receptors (TLR), despite paradoxically enhanced plasma cell differentiation. PU.1 and SpiB regulate the expression of many components of the B cell receptor signaling pathway and the receptors for CD40L, BAFF and TLR ligands. Thus, PU.1 and SpiB enable B cells to appropriately respond to environmental cues.

Litigation-proof patents: avoiding the most common patent mistakes

National Research Council Canada - National Science Library

Goldstein, Larry M

2014-01-01

"Litigation-Proof Patents: Avoiding the Most Common Patent Mistakes explains the principles of excellent patents, presents the ten most common errors in patents, and details a step-by-step method for avoiding these common errors...

Pre-operational proof and leakage rate testing requirements for concrete containment structures for CANDU nuclear power plants

International Nuclear Information System (INIS)

1994-02-01

This Standard provides the requirements for pre-operational proof tests and leakage rate tests of concrete containment structures of a containment system designed as Class Containment components. 1 fig

A proof of the conformal collider bounds

Energy Technology Data Exchange (ETDEWEB)

Hofman, Diego M. [Institute for Theoretical Physics, University of Amsterdam, Science Park 904, Postbus 94485, 1090 GL, Amsterdam (Netherlands); Li, Daliang [Department of Physics and Astronomy, Johns Hopkins University, Baltimore, MD 21218 (United States); Meltzer, David [Department of Physics, Yale University, New Haven, CT 06511 (United States); Poland, David [Department of Physics, Yale University, New Haven, CT 06511 (United States); School of Natural Sciences, Institute for Advanced Study, Princeton, NJ 08540 (United States); Rejon-Barrera, Fernando [Institute for Theoretical Physics, University of Amsterdam, Science Park 904, Postbus 94485, 1090 GL, Amsterdam (Netherlands)

2016-06-20

In this paper, we prove that the “conformal collider bounds” originally proposed in http://dx.doi.org/10.1088/1126-6708/2008/05/012 hold for any unitary parity-preserving conformal field theory (CFT) with a unique stress tensor in dimensions d≥3. In particular this implies that the ratio of central charges for a unitary 4d CFT lies in the interval (31/18)≥(a/c)≥(1/3). For superconformal theories this is further reduced to (3/2)≥(a/c)≥(1/2). The proof relies only on CFT first principles — in particular, bootstrap methods — and thus constitutes the first complete field theory proof of these bounds. We further elaborate on similar bounds for non-conserved currents and relate them to results obtained recently from deep inelastic scattering.

Modified intracellular-associated phenotypes in a recombinant Salmonella Typhi expressing S. Typhimurium SPI-3 sequences.

Directory of Open Access Journals (Sweden)

Patricio Retamal

Full Text Available A bioinformatics comparison of Salmonella Pathogenicity Island 3 sequences from S. Typhi and S. Typhimurium serovars showed that ten genes are highly conserved. However three of them are pseudogenes in S. Typhi. Our aim was to understand what functions are lost in S. Typhi due to pseudogenes by constructing a S. Typhi genetic hybrid carrying the SPI-3 region of S. Typhimurium instead of its own SPI-3. We observed that under stressful conditions the hybrid strain showed a clear impairment in resistance to hydrogen peroxide and decreased survival within U937 culture monocytes. We hypothesized that the marT-fidL operon, encoded in SPI-3, was responsible for the new phenotypes because marT is a pseudogen in S. Typhi and has a demonstrated role as a transcriptional regulator in S. Typhimurium. Therefore we cloned and transferred the S. Typhimurium marT-fidL operon into S. Typhi and confirmed that invasion of monocytes was dramatically decreased. Finally, our findings suggest that the genomic and functional differences between SPI-3 sequences have implications in the host specificity of Typhi and Typhimurium serovars.

InSpiRe - Intelligent Spine Rehabilitation

DEFF Research Database (Denmark)

Bøg, Kasper Hafstrøm; Helms, Niels Henrik; Kjær, Per

InSpiRe er et projekt, der har haft omdrejningspunkt i etableringen af et nyt netværk indenfor intelligent genoptræning med særligt fokus på rygsmerter. Projektet er gennemført i perioden 1/3 2011 2011-1/3 2012, med støtte fra Syddansk Vækstforum, og er blevet drevet af projektparterne Knowledge ...... Lab, Syddansk Universitet (SDU), Institut for Idræt og Biomekanik (IoB), SDU, samt University College Lillebælt....

28 CFR 79.13 - Proof of physical presence for the requisite period and proof of participation onsite during a...

Science.gov (United States)

2010-07-01

... participated onsite in the atmospheric detonation of a nuclear device. ... requisite period and proof of participation onsite during a period of atmospheric nuclear testing. 79.13... presence for the requisite period and proof of participation onsite during a period of atmospheric nuclear...

WebSpy: An Architecture for Monitoring Web Server Availability in a Multi-Platform Environment

Directory of Open Access Journals (Sweden)

Madhan Mohan Thirukonda

2002-01-01

Full Text Available For an electronic business (e-business, customer satisfaction can be the difference between long-term success and short-term failure. Customer satisfaction is highly impacted by Web server availability, as customers expect a Web site to be available twenty-four hours a day and seven days a week. Unfortunately, unscheduled Web server downtime is often beyond the control of the organization. What is needed is an effective means of identifying and recovering from Web server downtime in order to minimize the negative impact on the customer. An automated architecture, called WebSpy, has been developed to notify administration and to take immediate action when Web server downtime is detected. This paper describes the WebSpy architecture and differentiates it from other popular Web monitoring tools. The results of a case study are presented as a means of demonstrating WebSpy's effectiveness in monitoring Web server availability.

Proof-of-principle of high-fidelity coupled CRUD deposition and cycle depletion simulation

International Nuclear Information System (INIS)

Walter, Daniel J.; Kendrick, Brian K.; Petrov, Victor; Manera, Annalisa; Collins, Benjamin; Downar, Thomas

2015-01-01

A multiphysics framework for the high-fidelity simulation of CRUD deposition is developed to better understand the coupled physics and their respective feedback mechanisms. This framework includes the primary physics of lattice depletion, computational fluid dynamics, and CRUD chemistry. The three physics are coupled together via the operator-splitting technique, where predictor–corrector and fixed-point iteration schemes are utilized to converge the nonlinear solution. High-fidelity simulations may provide a means to predict and assess potential operating issues, including CRUD induced power shift and CRUD induced localized corrosion, known as CIPS and CILC, respectively. As a proof-of-principle, a coupled 500-day cycle depletion simulation of a pressurized water reactor fuel pin cell was performed using the coupled code suite; a burnup of 31 MWd/kgHM was reached. The simulation recreated the classic striped CRUD pattern often seen on pulled fuel rods containing CRUD. It is concluded that the striping is caused by the flow swirl induced by spacer grid mixing vanes. Two anti-correlated effects contribute to the striping: (1) the flow swirl yields significant azimuthal temperature variations, which impact the locations where CRUD deposits, and (2) the flow swirl is correlated to increased shear stress along the cladding surface and subsequent erosion of the CRUD layer. The CIPS condition of the core is concluded to be primarily controlled by lithium tetraborate precipitation, referred to as boron hideout, which occurs in regions experiencing subcooled nucleate boiling as soluble boron and lithium species reach their solubility limit within the CRUD layer. Subsequently, a localized reduction in power occurs due to the high neutron absorption cross section of boron-10

Voluntary control of corticomuscular coherence through neurofeedback: a proof-of-principle study in healthy subjects.

Science.gov (United States)

von Carlowitz-Ghori, K; Bayraktaroglu, Z; Waterstraat, G; Curio, G; Nikulin, V V

2015-04-02

Corticomuscular coherence (CMC) relates to synchronization between activity in the motor cortex and the muscle activity. The strength of CMC can be affected by motor behavior. In a proof-of-principle study, we examined whether independent of motor output parameters, healthy subjects are able to voluntarily modulate CMC in a neurofeedback paradigm. Subjects received visual online feedback of their instantaneous CMC strength, which was calculated between an optimized spatial projection of multichannel electroencephalography (EEG) and electromyography (EMG) in an individually defined target frequency range. The neurofeedback training consisted of either increasing or decreasing CMC strength using a self-chosen mental strategy while performing a simple motor task. Evaluation of instantaneous coherence showed that CMC strength was significantly larger when subjects had to increase than when to decrease CMC; this difference between the two task conditions did not depend on motor performance. The exclusion of confounding factors such as motor performance, attention and task complexity in study design provides evidence that subjects were able to voluntarily modify CMC independent of motor output parameters. Additional analysis further strengthened the assumption that the subjects' response was specifically shaped by the neurofeedback. In perspective, we suggest that CMC-based neurofeedback could provide a therapeutic approach in clinical conditions, such as motor stroke, where CMC is altered. Copyright © 2015 IBRO. Published by Elsevier Ltd. All rights reserved.

TU-CD-BRA-08: Single-Energy Computed Tomography-Based Pulmonary Perfusion Imaging: Proof-Of-Principle in a Canine Model

Energy Technology Data Exchange (ETDEWEB)

Yamamoto, T; Boone, J [University of California Davis School of Medicine, Sacramento, CA (United States); Kent, M; Wisner, E [University of California Davis School of Veterinary Medicine, Davis, CA (United States); Fujita, Y [Tokai University, Isehara (Japan)

2015-06-15

Purpose: Pulmonary perfusion imaging has provided significant insights into pulmonary diseases, and can be useful in radiotherapy. The purpose of this study was to prospectively establish proof-of-principle in a canine model for single-energy CT-based perfusion imaging, which has the potential for widespread clinical implementation. Methods: Single-energy CT perfusion imaging is based on: (1) acquisition of inspiratory breath-hold CT scans before and after intravenous injection of iodinated contrast medium, (2) deformable image registration (DIR) of the two CT image data sets, and (3) subtraction of the pre-contrast image from post-contrast image, yielding a map of Hounsfield unit (HU) enhancement. These subtraction image data sets hypothetically represent perfused blood volume, a surrogate for perfusion. In an IACUC-approved clinical trial, we acquired pre- and post-contrast CT scans in the prone posture for six anesthetized, mechanically-ventilated dogs. The elastix algorithm was used for DIR. The registration accuracy was quantified using the target registration errors (TREs) for 50 pulmonary landmarks in each dog. The gradient of HU enhancement between gravity-dependent (ventral) and non-dependent (dorsal) regions was evaluated to quantify the known effect of gravity, i.e., greater perfusion in ventral regions. Results: The lung volume difference between the two scans was 4.3±3.5% on average (range 0.3%–10.1%). DIR demonstrated an average TRE of 0.7±1.0 mm. HU enhancement in lung parenchyma was 34±10 HU on average and varied considerably between individual dogs, indicating the need for improvement of the contrast injection protocol. HU enhancement in ventral (gravity-dependent) regions was found to be greater than in dorsal regions. A population average ventral-to-dorsal gradient of HU enhancement was strong (R{sup 2}=0.94) and statistically significant (p<0.01). Conclusion: This canine study demonstrated relatively accurate DIR and a strong ventral

TU-CD-BRA-08: Single-Energy Computed Tomography-Based Pulmonary Perfusion Imaging: Proof-Of-Principle in a Canine Model

International Nuclear Information System (INIS)

Yamamoto, T; Boone, J; Kent, M; Wisner, E; Fujita, Y

2015-01-01

Purpose: Pulmonary perfusion imaging has provided significant insights into pulmonary diseases, and can be useful in radiotherapy. The purpose of this study was to prospectively establish proof-of-principle in a canine model for single-energy CT-based perfusion imaging, which has the potential for widespread clinical implementation. Methods: Single-energy CT perfusion imaging is based on: (1) acquisition of inspiratory breath-hold CT scans before and after intravenous injection of iodinated contrast medium, (2) deformable image registration (DIR) of the two CT image data sets, and (3) subtraction of the pre-contrast image from post-contrast image, yielding a map of Hounsfield unit (HU) enhancement. These subtraction image data sets hypothetically represent perfused blood volume, a surrogate for perfusion. In an IACUC-approved clinical trial, we acquired pre- and post-contrast CT scans in the prone posture for six anesthetized, mechanically-ventilated dogs. The elastix algorithm was used for DIR. The registration accuracy was quantified using the target registration errors (TREs) for 50 pulmonary landmarks in each dog. The gradient of HU enhancement between gravity-dependent (ventral) and non-dependent (dorsal) regions was evaluated to quantify the known effect of gravity, i.e., greater perfusion in ventral regions. Results: The lung volume difference between the two scans was 4.3±3.5% on average (range 0.3%–10.1%). DIR demonstrated an average TRE of 0.7±1.0 mm. HU enhancement in lung parenchyma was 34±10 HU on average and varied considerably between individual dogs, indicating the need for improvement of the contrast injection protocol. HU enhancement in ventral (gravity-dependent) regions was found to be greater than in dorsal regions. A population average ventral-to-dorsal gradient of HU enhancement was strong (R"2=0.94) and statistically significant (p<0.01). Conclusion: This canine study demonstrated relatively accurate DIR and a strong ventral

Evaluating Google compute engine with PROOF

International Nuclear Information System (INIS)

Ganis, Gerardo; Panitkin, Sergey

2014-01-01

The advent of private and commercial cloud platforms has opened the question of evaluating the cost-effectiveness of such solution for computing in High Energy Physics . Google Compute Engine (GCE) is a IaaS product launched by Google as an experimental platform during 2012 and now open to the public market. In this contribution we present the results of a set of CPU-intensive and I/O-intensive tests we have run with PROOF on a GCE resources made available by Google for test purposes. We have run tests on large scale PROOF clusters (up to 1000 workers) to study the overall scalability of coordinated multi-process jobs. We have studied and compared the performance of ephemeral and persistent storage with PROOF-Lite on the single machines and of standard PROOF on the whole cluster. We will discuss our results in perspective, in particular with respect to the typical analysis needs of an LHC experiment.

An improved Landauer principle with finite-size corrections

International Nuclear Information System (INIS)

Reeb, David; Wolf, Michael M

2014-01-01

Landauer's principle relates entropy decrease and heat dissipation during logically irreversible processes. Most theoretical justifications of Landauer's principle either use thermodynamic reasoning or rely on specific models based on arguable assumptions. Here, we aim at a general and minimal setup to formulate Landauer's principle in precise terms. We provide a simple and rigorous proof of an improved version of the principle, which is formulated in terms of an equality rather than an inequality. The proof is based on quantum statistical mechanics concepts rather than on thermodynamic argumentation. From this equality version, we obtain explicit improvements of Landauer's bound that depend on the effective size of the thermal reservoir and reduce to Landauer's bound only for infinite-sized reservoirs. (paper)

Wireless Roadside Inspection Proof of Concept Test Final Report

Energy Technology Data Exchange (ETDEWEB)

Capps, Gary J [ORNL; Franzese, Oscar [ORNL; Knee, Helmut E [ORNL; Plate, Randall S [ORNL; Lascurain, Mary Beth [ORNL

2009-03-01

The U.S. Department of Transportation (DOT) FMCSA commissioned the Wireless Roadside Inspection (WRI) Program to validate technologies and methodologies that can improve safety through inspections using wireless technologies that convey real-time identification of commercial vehicles, drivers, and carriers, as well as information about the condition of the vehicles and their drivers. It is hypothesized that these inspections will: -- Increase safety -- Decrease the number of unsafe commercial vehicles on the road; -- Increase efficiency -- Speed up the inspection process, enabling more inspections to occur, at least on par with the number of weight inspections; -- Improve effectiveness -- Reduce the probability of drivers bypassing CMV inspection stations and increase the likelihood that fleets will attempt to meet the safety regulations; and -- Benefit industry -- Reduce fleet costs, provide good return-on-investment, minimize wait times, and level the playing field. The WRI Program is defined in three phases which are: Phase 1: Proof of Concept Test (POC) Testing of commercially available off-the-shelf (COTS) or near-COTS technology to validate the wireless inspection concept. Phase 2: Pilot Test Safety technology maturation and back office system integration Phase 3: Field Operational Test Multi-vehicle testing over a multi-state instrumented corridor This report focuses on Phase 1 efforts that were initiated in March, 2006. Technical efforts dealt with the ability of a Universal Wireless Inspection System (UWIS) to collect driver, vehicle, and carrier information; format a Safety Data Message Set from this information; and wirelessly transmit a Safety Data Message Set to a roadside receiver unit or mobile enforcement vehicle.

Pre Cold War British Spy Fiction, the “albatross of self” and lines of flight in Gravity’s Rainbow.

Directory of Open Access Journals (Sweden)

Kyle Wishart Smith

2015-08-01

Full Text Available In his introduction to 'Slow Learner' Thomas Pynchon suggests that an influence in his short story ‘Under the Rose’ was the spy fiction he had read as a child.  What he takes from the form, he says, is an enjoyment of  “lurking, spying, false identities, psychological games.” I hope to show that this youthful reading has interesting things to tell us about Pynchon’s writing beyond ‘Under the Rose’ and in more complex ways than his quote suggests. To do this I want to focus on that perennial issue of spy fiction - the maintenance and manipulation of identity. Negotiating ideas of subjectivity is a core concern in Pynchon’s work and to consider it I want to use the four spy novelists he mentions in the 'Slow Learner' introduction - John Buchan, E. Phillips Oppenheim, Helen MacInnes and Geoffrey Household. This is a more disparate quartet of authors than Pynchon’s grouping suggests and I want to employ them to consider a variety of strategies used to ‘build character’ and the way Pynchon’s work approaches these strategies.  This allows a reflection on questions of disguise, doubles, animals and the nomad within the context of a variety of postcolonial theories and aspects of Deleuze and Guattari’s “nomadology”. 'V 'would appear an obvious place to see connections to spy fiction, but, though I touch on some aspects of this novel, my focus will be very much on 'Gravity’s Rainbow' because it has a much more concerted focus on the subject of Empire. Some intriguing echoes are to be found in the work of Pynchon in these authors and I hope to show how Pynchon’s attempts to formulate US “superimperialism” (Aijaz Ahmad are reflected in the imperial concerns of what I would term the pre-Cold War British Spy fiction that engaged Pynchon in his youth.

Assessment Tools as Drivers for SPI: Short-term Benefits and Long-term Challenges

DEFF Research Database (Denmark)

Mûller, Sune Dueholm; Nørbjerg, Jacob; Cho, Hiu Ngan

2007-01-01

Full scale software process maturity assessments are costly, can have large organizational impact, and are carried out at long (12-24 months) intervals. Consequently, there is a need for techniques and tools to monitor and help manage an SPI project through inexpensive, ongoing progress assessments....... In this paper we present findings from two cases of using such a tool. We have found that the tool does provide useful snapshots of the status of SPI projects, but that long-term use of the tool introduces costs and challenges related to modifying and tailoring the tool to both the organizational context...

The Spies and the Gran Turco (XVI Century

Directory of Open Access Journals (Sweden)

Gennaro Varriale

2016-04-01

Full Text Available This present essay focuses on the information that Hispanic spies collected in the Levant during the sixteenth-century. Based on archival and literary sources, the study is built around the typical structure of a lyric opera to show the worth of the secret correspondence such as archetype of European perception about the Ottoman Empire and, more generally, about all the Islam.

Testing the quantum superposition principle: matter waves and beyond

Science.gov (United States)

Ulbricht, Hendrik

2015-05-01

New technological developments allow to explore the quantum properties of very complex systems, bringing the question of whether also macroscopic systems share such features, within experimental reach. The interest in this question is increased by the fact that, on the theory side, many suggest that the quantum superposition principle is not exact, departures from it being the larger, the more macroscopic the system. Testing the superposition principle intrinsically also means to test suggested extensions of quantum theory, so-called collapse models. We will report on three new proposals to experimentally test the superposition principle with nanoparticle interferometry, optomechanical devices and by spectroscopic experiments in the frequency domain. We will also report on the status of optical levitation and cooling experiments with nanoparticles in our labs, towards an Earth bound matter-wave interferometer to test the superposition principle for a particle mass of one million amu (atomic mass unit).

Comparing Image Perception of Bladder Tumors in Four Different Storz Professional Image Enhancement System Modalities Using the íSPIES App

NARCIS (Netherlands)

Kamphuis, Guido M.; de Bruin, D. Martijn; Brandt, Martin J.; Knoll, Thomas; Conort, Pierre; Lapini, Alberto; Dominguez-Escrig, Jose L.; de La Rosette, Jean J. M. C. H.

2016-01-01

To evaluate the variation of interpretation of the same bladder urothelium image in different Storz Professional Image Enhancement System (SPIES) modalities. SPIES contains a White light (WL), Spectra A (SA), Spectra B (SB), and Clara and Chroma combined (CC) modality. An App for the iPAD retina was

The Influence of Perceived Stress on Cortical Reactivity: A Proof-Of-Principle Study.

Directory of Open Access Journals (Sweden)

Rosan Luijcks

Full Text Available The aim of this study was to investigate how perceived stress may affect electroencephalographical (EEG activity in a stress paradigm in a sample of 76 healthy participants. EEG activity was analyzed using multilevel modeling, allowing estimation of nested effects (EEG time segments within subjects. The stress paradigm consisted of a 3-minute pre-stimulus stress period and a 2-minute post-stimulus phase. At t=3 minutes, a single electrical stimulus was delivered. Participants were unaware of the precise moment of stimulus delivery and its intensity level. In the EEG time course of alpha activity, a stronger increase was observed during the post-stimulus period as compared to the pre-stimulus period. An opposite time course effect was apparent for gamma activity. Both effects were in line with a priori expectations and support the validity of this experimental EEG-stress paradigm. Secondly, we investigated whether interaction effects of stress and coping, as measured with the Perceived Stress Scale-10 questionnaire (PSS-10, could be demonstrated. A higher perceived stress score was accompanied by a greater increase in delta- and theta-activity during the post-stimulus phase, compared to low scores. In contrast, low coping capacity was associated with a stronger decrease in slow beta, fast beta and gamma activity during the post-stimulus phase. The results of the present article may be interpreted as proof-of-principle that EEG stress-related activity depends on the level of subjectively reported perceived stress. The inclusion of psychosocial variables measuring coping styles as well as stress-related personality aspects permits further examination of the interconnection between mind and body and may inform on the process of transformation from acute to chronic stress.

Aqueous ethanol extraction of dietary soy protein isolate improves 59Fe absorption by the rat from a casein-based test meal

International Nuclear Information System (INIS)

Thompson, D.B.

1989-01-01

A commercial soy protein isolate (SPI) was further processed in an attempt to understand how a diet based on SPI can cause decreased iron retention by the rat from a separately administered casein-based test meal. Groups of eight rats were fed either a casein-based diet or a diet based on SPI. The acid-precipitated SPI was incorporated into diets as such, after neutralization, after 60% (v/v) ethanol extraction and neutralization, or after 60% ethanol exposure and neutralization. All dietary SPI was heat-treated by exposure to steam at 108 degrees C for 30 min. Rats were fed their respective diets, each containing 25 mg Fe/kg, for 13 d, and then all rats were fed a 59 Fe-radiolabeled 2.5-g casein test meal containing 64 micrograms of iron. Ingested radioactivity was determined following the meal, and retained radioactivity over the subsequent 10-d period. Absorption was not distinguishable for groups fed the casein-based (78.3 ± 3.6%) and the ethanol-extracted, SPI-based diet (80.2 ± 5.4%). Absorption was lower (P less than 0.01) for groups fed each of the other SPI-based diets: SPI as such (68.3 ± 8.9%), neutralized SPI (69.8 ± 5.0%) and ethanol-exposed SPI (67.6 ± 4.8%). An ethanol-extractable component of SPI may be responsible for decreased iron absorption by animals fed SPI prior to a radiolabeled test meal

A novel approach for modeling the cluster detector and the SPI spectrometer

International Nuclear Information System (INIS)

Kshetri, Ritesh

2013-01-01

Using available experimental data on cluster detector, predictions for the peak-to-total ratio have been given for energy region having no direct experimental information about them. The predictions for the fold distribution are found to be in agreement with the experimental data. The formulation here does not include ad-hoc fits, but expressions that are justifiable by probability flow arguments. Instead of using an empirical method or simulation, a novel approach for calculating the peak-to-total ratio of the cluster detector and the SPI spectrometer for high gamma energies has been presented here. This could provide guidance in designing new composite detectors and in performing experimental studies with the SPI spectrometer for high energy gamma-rays

Large Neutral Amino Acid Supplementation Exerts Its Effect through Three Synergistic Mechanisms: Proof of Principle in Phenylketonuria Mice.

Directory of Open Access Journals (Sweden)

Danique van Vliet

Full Text Available Phenylketonuria (PKU was the first disorder in which severe neurocognitive dysfunction could be prevented by dietary treatment. However, despite this effect, neuropsychological outcome in PKU still remains suboptimal and the phenylalanine-restricted diet is very demanding. To improve neuropsychological outcome and relieve the dietary restrictions for PKU patients, supplementation of large neutral amino acids (LNAA is suggested as alternative treatment strategy that might correct all brain biochemical disturbances caused by high blood phenylalanine, and thereby improve neurocognitive functioning.As a proof-of-principle, this study aimed to investigate all hypothesized biochemical treatment objectives of LNAA supplementation (normalizing brain phenylalanine, non-phenylalanine LNAA, and monoaminergic neurotransmitter concentrations in PKU mice.C57Bl/6 Pah-enu2 (PKU mice and wild-type mice received a LNAA supplemented diet, an isonitrogenic/isocaloric high-protein control diet, or normal chow. After six weeks of dietary treatment, blood and brain amino acid and monoaminergic neurotransmitter concentrations were assessed.In PKU mice, the investigated LNAA supplementation regimen significantly reduced blood and brain phenylalanine concentrations by 33% and 26%, respectively, compared to normal chow (p<0.01, while alleviating brain deficiencies of some but not all supplemented LNAA. Moreover, LNAA supplementation in PKU mice significantly increased brain serotonin and norepinephrine concentrations from 35% to 71% and from 57% to 86% of wild-type concentrations (p<0.01, respectively, but not brain dopamine concentrations (p = 0.307.This study shows that LNAA supplementation without dietary phenylalanine restriction in PKU mice improves brain biochemistry through all three hypothesized biochemical mechanisms. Thereby, these data provide proof-of-concept for LNAA supplementation as a valuable alternative dietary treatment strategy in PKU. Based on these

The moisture proof connection of signal cables on test rig instrumentation

Energy Technology Data Exchange (ETDEWEB)

Joung, Chang Young; Ahn, Sung Ho; Hong, Jin Tae; Jeong, Hwang Young [Korea Atomic Energy Research Institute, Daejeon (Korea, Republic of)

2012-10-15

The rod inner pressure, centerline temperature, coolant temperature, and neutron flux resulting from the irradiation properties of nuclear fuel are an important factor for evaluating nuclear fuel properties in pile. In addition instrumentation and measurement techniques for nuclear fuel are necessary to measure the exact data. Special sensors such as a TC (thermocouple), LVDT (linear variable differential transformer) and SPND (self-powered neutron detector) are instrumented in and out of the fuel rod to measure the various irradiation characteristics of the nuclear fuel. These sensors are made up of the sensor itself and a signal cable. In the instrumentation, an MI (Mineral Insulated) cable used as the signal cable has such properties as high electrical insulation, heat resistance, and mechanical strength. However, it is difficult to handle and treat with care owing to the extremely hard composition, which is made up of weak signal wires and alumina powder in a stainless tube. The sealing of the end tip of the MI cable and extension cable is very important in terms of the insulation resistance to seal the insulator inside the MI cable tube from moisture. To maintain the insulation of sensors and signal cables, the insulation resistance must be checked in accordance with each process throughout the instrumentation and fabrication period. To safely mount the signal cables drawn from a fuel test rig on the terminal block of a junction panel, the MI and extension cables should be easy to connect. Therefore, it is necessary to develop instrumentation technologies of a moisture proof connection process for a fuel test rig. This paper will provide an overview of the work done with moisture proof connection procedures to connect the MI and extension cables to extend the MI cables jointed with the sensor.

Proof-of-principle for SERS imaging of Aspergillus nidulans hyphae using in vivo synthesis of gold nanoparticles.

Science.gov (United States)

Prusinkiewicz, Martin A; Farazkhorasani, Fatemeh; Dynes, James J; Wang, Jian; Gough, Kathleen M; Kaminskyj, Susan G W

2012-11-07

High spatial resolution methods to assess the physiology of growing cells should permit analysis of fungal biochemical composition. Whole colony methods cannot capture the details of physiology and organism-environment interaction, in part because the structure, function and composition of fungal hyphae vary within individual cells depending on their distance from the growing apex. Surface Enhanced Raman Scattering (SERS) can provide chemical information on materials that are in close contact with appropriate metal substrates, such as nanopatterned gold surfaces and gold nanoparticles (AuNPs). Since nanoparticles can be generated by living cells, we have created conditions for AuNP formation within and on the surface of Aspergillus nidulans hyphae in order to explore their potential for SERS analysis. AuNP distribution and composition have been assessed by UV-Vis spectroscopy, fluorescence light microscopy, transmission electron microscopy, and scanning transmission X-ray microscopy. AuNPs were often associated with hyphal walls, both in the peripheral cytoplasm and on the outer wall surface. Interpretation of SERS spectra is challenging, and will require validation for the diversity of organic molecules present. Here, we show proof-of-principle that it is possible to generate SERS spectra from nanoparticles grown in situ by living hyphae.

Von Neumann's impossibility proof: Mathematics in the service of rhetorics

Science.gov (United States)

Dieks, Dennis

2017-11-01

According to what has become a standard history of quantum mechanics, in 1932 von Neumann persuaded the physics community that hidden variables are impossible as a matter of principle, after which leading proponents of the Copenhagen interpretation put the situation to good use by arguing that the completeness of quantum mechanics was undeniable. This state of affairs lasted, so the story continues, until Bell in 1966 exposed von Neumann's proof as obviously wrong. The realization that von Neumann's proof was fallacious then rehabilitated hidden variables and made serious foundational research possible again. It is often added in recent accounts that von Neumann's error had been spotted almost immediately by Grete Hermann, but that her discovery was of no effect due to the dominant Copenhagen Zeitgeist. We shall attempt to tell a story that is more historically accurate and less ideologically charged. Most importantly, von Neumann never claimed to have shown the impossibility of hidden variables tout court, but argued that hidden-variable theories must possess a structure that deviates fundamentally from that of quantum mechanics. Both Hermann and Bell appear to have missed this point; moreover, both raised unjustified technical objections to the proof. Von Neumann's argument was basically that hidden-variables schemes must violate the ;quantum principle; that physical quantities are to be represented by operators in a Hilbert space. As a consequence, hidden-variables schemes, though possible in principle, necessarily exhibit a certain kind of contextuality. As we shall illustrate, early reactions to Bohm's theory are in agreement with this account. Leading physicists pointed out that Bohm's theory has the strange feature that pre-existing particle properties do not generally reveal themselves in measurements, in accordance with von Neumann's result. They did not conclude that the ;impossible was done; and that von Neumann had been shown wrong.

The Sneaky Sneaker Spies and the Mysterious Black Ink

Science.gov (United States)

Savran, Michelle

2012-01-01

In this article, the author describes the process of making "The Sneaky Sneaker Spies and the Mysterious Black Ink," a six-minute animation starring five art students who form a detective club. This animation is available online for art teachers to use in their own classrooms. After showing this video in class, art teachers could have students try…

Kant's Transcendental Arguments as Conceptual Proofs | Stapleford ...

African Journals Online (AJOL)

The paper is an attempt to explain what a transcendental argument is for Kant. The interpretation is based on a reading of the “Discipline of Pure Reason,” sections 1 and 4, of the first Critique. The author first identifies several statements that Kant makes about the method of proof he followed in the “Analytic of Principles,” ...

ProofJudge: Automated Proof Judging Tool for Learning Mathematical Logic

DEFF Research Database (Denmark)

Villadsen, Jørgen

2015-01-01

Today we have software in many artefacts, from medical devices to cars and airplanes, and the software must not only be efficient and intelligent but also reliable and secure. Tests can show the presence of bugs but cannot guarantee their absence. A machine-checked proof using mathematical logic...... pen and paper because no adequate tool was available. The learning problem is how to make abstract concepts of logic as concrete as possible. ProofJudge is a computer system and teaching approach for teaching mathematical logic and automated reasoning which augments the e-learning tool NaDeA (Natural...

ProofJudge: Automated Proof Judging Tool for Learning Mathematical Logic

DEFF Research Database (Denmark)

Villadsen, Jørgen

2016-01-01

Today we have software in many artefacts, from medical devices to cars and airplanes, and the software must not only be efficient and intelligent but also reliable and secure. Tests can show the presence of bugs but cannot guarantee their absence. A machine-checked proof using mathematical logic...... using pen and paper because no adequate tool was available. The learning problem is how to make abstract concepts of logic as concrete as possible. ProofJudge is a computer system and teaching approach for teaching mathematical logic and automated reasoning which augments the e-learning tool Na...

38 CFR 3.303 - Principles relating to service connection.

Science.gov (United States)

2010-07-01

... 38 Pensions, Bonuses, and Veterans' Relief 1 2010-07-01 2010-07-01 false Principles relating to... Evaluations; Service Connection § 3.303 Principles relating to service connection. (a) General. Service... are medical principles so universally recognized as to constitute fact (clear and unmistakable proof...

Proof-of-principle demonstration of Nb3Sn superconducting radiofrequency cavities for high Q0 applications

Science.gov (United States)

Posen, S.; Liepe, M.; Hall, D. L.

2015-02-01

Many future particle accelerators require hundreds of superconducting radiofrequency (SRF) cavities operating with high duty factor. The large dynamic heat load of the cavities causes the cryogenic plant to make up a significant part of the overall cost of the facility. This contribution can be reduced by replacing standard niobium cavities with ones coated with a low-dissipation superconductor such as Nb3Sn. In this paper, we present results for single cell cavities coated with Nb3Sn at Cornell. Five coatings were carried out, showing that at 4.2 K, high Q0 out to medium fields was reproducible, resulting in an average quench field of 14 MV/m and an average 4.2 K Q0 at quench of 8 × 109. In each case, the peak surface magnetic field at quench was well above Hc1, showing that it is not a limiting field in these cavities. The coating with the best performance had a quench field of 17 MV/m, exceeding gradient requirements for state-of-the-art high duty factor SRF accelerators. It is also shown that—taking into account the thermodynamic efficiency of the cryogenic plant—the 4.2 K Q0 values obtained meet the AC power consumption requirements of state-of-the-art high duty factor accelerators, making this a proof-of-principle demonstration for Nb3Sn cavities in future applications.

Milk Sweetened with Xylitol: A Proof-of-Principle Caries Prevention Randomized Clinical Trial.

Science.gov (United States)

Chi, Donald L; Zegarra, Graciela; Vasquez Huerta, Elsa C; Castillo, Jorge L; Milgrom, Peter; Roberts, Marilyn C; Cabrera-Matta, Ailin R; Merino, Ana P

2016-09-15

To evaluate the efficacy of xylitol-sweetened milk as a caries-preventive strategy. In this nine-month prospective proof-of-principle trial, Peruvian schoolchildren were randomized to one of five different milk groups: (1) eight g of xylitol per 200 mL milk once per day; (2) four g of xylitol per 100 mL milk twice per day; (3) eight g of sorbitol per 200 mL milk once per day; (4) four g of sorbitol per 100 mL milk twice per day; or (5) eight g of sucrose per 200 mL milk once per day. The primary outcome was plaque mutans streptococci (MS) at nine months. A secondary outcome was caries incidence. We hypothesized that children in the xylitol groups would have a greater MS decline and lower caries incidence. One hundred fifty-three children were randomized in the intent-to-treat analyses. Children receiving xylitol had a greater decline in MS than children receiving sucrose (P=0.02) but were not different from children receiving sorbitol (P=0.07). Dental caries incidence for xylitol once per day or twice per day was 5.3±3.4 and 4.3±4.0 surfaces, respectively, compared to sorbitol once per day, sorbitol twice per day, or sucrose (4.1±2.8, 3.7±4.2, and 3.2±3.4 surfaces, respectively). There were no differences in caries incidence between xylitol and sucrose (rate ratio [RR] = 1.51; 95 percent confidence interval [CI] = 0.88, 2.59; P=0.13) or between xylitol and sorbitol (RR = 1.28; 95 percent CI = 0.90, 1.83; P=0.16). Xylitol-sweetened milk significantly reduced mutans streptococci levels compared to sucrose-sweetened milk, but differences in caries incidence were not detected.

Simple proofs of nowhere-differentiability for Weierstrass' function and cases of slow growth

DEFF Research Database (Denmark)

Johnsen, Jon

2010-01-01

Using a few basics from integration theory, a short proof of nowhere-differentiability of Weierstrass functions is given. Restated in terms of the Fourier transformation, the method consists in principle of a second microlocalisation, which is used to derive two general results on existence...

Maximising available resources: Equality and human rights proofing Irish fiscal policy

Directory of Open Access Journals (Sweden)

Murphy Mary P.

2017-08-01

Full Text Available The paper examines various rationales for applying equality and human rights proofing mechanisms to fiscal policy. The principle of using available resources to the maximum to progressively realise human rights, and not to erode the revenue capacity of developing nations to do likewise, is at the heart of emerging human rights norms. To date, Irish budgetary processes and major policy statements such as the Commission on Taxation or the draft outline National Plan on Business and Human Rights Strategy have not engaged with the principles of maximising available resources or extraterritoriality. Proofing fiscal policy is also relevant from the perspective of fiscal welfare where taxation instruments, traditionally used as a revenue-gathering mechanism, are increasingly used as distributional mechanisms to achieve policy outcomes in pensions, health, housing and employment, with important equality and distributive dimensions, particularly from gender, age and socioeconomic perspectives. A number of practical institutional mechanisms and evaluative questions can guide equality and human rights proofing of fiscal policy, but commitments to maximise resources to realise rights also need to be promoted through a public discourse which sees taxation as potential investment in society rather than a burden or cost on the economy.

Intrinsic imperfection of self-differencing single-photon detectors harms the security of high-speed quantum cryptography systems

Science.gov (United States)

Jiang, Mu-Sheng; Sun, Shi-Hai; Tang, Guang-Zhao; Ma, Xiang-Chun; Li, Chun-Yan; Liang, Lin-Mei

2013-12-01

Thanks to the high-speed self-differencing single-photon detector (SD-SPD), the secret key rate of quantum key distribution (QKD), which can, in principle, offer unconditionally secure private communications between two users (Alice and Bob), can exceed 1 Mbit/s. However, the SD-SPD may contain loopholes, which can be exploited by an eavesdropper (Eve) to hack into the unconditional security of the high-speed QKD systems. In this paper, we analyze the fact that the SD-SPD can be remotely controlled by Eve in order to spy on full information without being discovered, then proof-of-principle experiments are demonstrated. Here, we point out that this loophole is introduced directly by the operating principle of the SD-SPD, thus, it cannot be removed, except for the fact that some active countermeasures are applied by the legitimate parties.

Characterization of the SPI-1 and Rsp type three secretion systems in Pseudomonas fluorescens F113.

Science.gov (United States)

Barret, Matthieu; Egan, Frank; Moynihan, Jennifer; Morrissey, John P; Lesouhaitier, Olivier; O'Gara, Fergal

2013-06-01

Pseudomonas fluorescens F113 is a plant growth-promoting rhizobacterium (PGPR) isolated from the sugar beet rhizosphere. The recent annotation of the F113 genome sequence has revealed that this strain encodes a wide array of secretion systems, including two complete type three secretion systems (T3SSs) belonging to the Hrp1 and SPI-1 families. While Hrp1 T3SSs are frequently encoded in other P. fluorescens strains, the presence of a SPI-1 T3SS in a plant-beneficial bacterial strain was unexpected. In this work, the genetic organization and expression of these two T3SS loci have been analysed by a combination of transcriptional reporter fusions and transcriptome analyses. Overexpression of two transcriptional activators has shown a number of genes encoding putative T3 effectors. In addition, the influence of these two T3SSs during the interaction of P. fluorescens F113 with some bacterial predators was also assessed. Our data revealed that the transcriptional activator hilA is induced by amoeba and that the SPI-1 T3SS could potentially be involved in resistance to amoeboid grazing. © 2013 John Wiley & Sons Ltd and Society for Applied Microbiology.

Product focused software process improvement (P-SPI) : concepts and their application

NARCIS (Netherlands)

Solingen, van D.M.; Kusters, R.J.; Trienekens, J.J.M.; Uijtrecht, van A.

1999-01-01

Management problems in the development of software have been addressed over recent years by a focus on improvement of the development process. This paper states that software process improvement (SPI) should have an explicit product focus. The practical implementation of a method for product-focused

Testing the principle of equivalence by solar neutrinos

International Nuclear Information System (INIS)

Minakata, Hisakazu; Washington Univ., Seattle, WA; Nunokawa, Hiroshi; Washington Univ., Seattle, WA

1994-04-01

We discuss the possibility of testing the principle of equivalence with solar neutrinos. If there exists a violation of the equivalence principle quarks and leptons with different flavors may not universally couple with gravity. The method we discuss employs a quantum mechanical phenomenon of neutrino oscillation to probe into the non-university of the gravitational couplings of neutrinos. We develop an appropriate formalism to deal with neutrino propagation under the weak gravitational fields of the sun in the presence of the flavor mixing. We point out that solar neutrino observation by the next generation water Cherenkov detectors can improve the existing bound on violation of the equivalence principle by 3-4 orders of magnitude if the nonadiabatic Mikheyev-Smirnov-Wolfenstein mechanism is the solution to the solar neutrino problem

Testing the principle of equivalence by solar neutrinos

International Nuclear Information System (INIS)

Minakata, H.; Nunokawa, H.

1995-01-01

We discuss the possibility of testing the principle of equivalence with solar neutrinos. If there exists a violation of the equivalence principle, quarks and leptons with different flavors may not universally couple with gravity. The method we discuss employs the quantum mechanical phenomenon of neutrino oscillation to probe into the nonuniversality of the gravitational couplings of neutrinos. We develop an appropriate formalism to deal with neutrino propagation under the weak gravitational fields of the Sun in the presence of the flavor mixing. We point out that solar neutrino observation by the next generation water Cherenkov detectors can place stringent bounds on the violation of the equivalence principle to 1 part in 10 15 --10 16 if the nonadiabatic Mikheyev-Smirnov-Wolfenstein mechanism is the solution to the solar neutrino problem

[Nurses and spies during the First World War].

Science.gov (United States)

Halioua, Bruno

2014-06-01

During the First World War, some nurses distinguished themselves by playing a significant role in spy networks, using their activity as a cover. They took an active part in the setting up of escape routes for allied prisoners of war and the gathering of intelligence on the positions of German troops, in particular in Belgium and northern France. Among them Edith Cavell, Gabrielle Petit, Louise de Bettignies, Marie-Léonie Vanhoutte, Marthe Cocknaert and Emilienne-Rose Ducimetière are considered as heroines.

SPY: a new scission-point model based on microscopic inputs to predict fission fragment properties

Energy Technology Data Exchange (ETDEWEB)

Panebianco, Stefano; Lemaître, Jean-Francois; Sida, Jean-Luc [CEA Centre de Saclay, Gif-sur-Ivette (France); Dubray, Noëel [CEA, DAM, DIF, Arpajon (France); Goriely, Stephane [Institut d' Astronomie et d' Astrophisique, Universite Libre de Bruxelles, Brussels (Belgium)

2014-07-01

Despite the difficulty in describing the whole fission dynamics, the main fragment characteristics can be determined in a static approach based on a so-called scission-point model. Within this framework, a new Scission-Point model for the calculations of fission fragment Yields (SPY) has been developed. This model, initially based on the approach developed by Wilkins in the late seventies, consists in performing a static energy balance at scission, where the two fragments are supposed to be completely separated so that their macroscopic properties (mass and charge) can be considered as fixed. Given the knowledge of the system state density, averaged quantities such as mass and charge yields, mean kinetic and excitation energy can then be extracted in the framework of a microcanonical statistical description. The main advantage of the SPY model is the introduction of one of the most up-to-date microscopic descriptions of the nucleus for the individual energy of each fragment and, in the future, for their state density. These quantities are obtained in the framework of HFB calculations using the Gogny nucleon-nucleon interaction, ensuring an overall coherence of the model. Starting from a description of the SPY model and its main features, a comparison between the SPY predictions and experimental data will be discussed for some specific cases, from light nuclei around mercury to major actinides. Moreover, extensive predictions over the whole chart of nuclides will be discussed, with particular attention to their implication in stellar nucleosynthesis. Finally, future developments, mainly concerning the introduction of microscopic state densities, will be briefly discussed. (author)

Vztah spišských Romů k přírodě ve světle antropologických teorií

Directory of Open Access Journals (Sweden)

Vojtěch Pelikán

2010-12-01

Full Text Available This article deals with relation between Romanies from Spiš and nature. It discusses its connections with their ethnic identity. It fits the topic in context of anthropological theories, which are completed with knowledge of psychologists and gypsy-focused historians. It argues with a shortcut of harmonious coexistence of Romanies and nature (“Myth of the ecologically noble savage” and also with authors who deny them direct relationship with nature. Study finds theoretical background among five authors dealing with foreign gypsy groups from anthropological perspective. At the end text formulates two hypotheses: Romanies from Spiš have distinctive relationship with nature and their ethnicity can be view as both “non-Gorgio” and “non-natural”.  The non-agrarian relationship to landscape (nature as environment is more specific and is rather evolving contrary to majority; however, landscape in surroundings of settlements has strong spiritual tone and acts as a space of immediate interaction with supernatural. Dichotomy nature-culture (relationship to nature as a principle is quite similar to other ethnic groups and to our non-modern history. Second hypothesis comes from studies upon relevant majority stereotypes of Gypsies. It says major look on Romanies is in many ways similar to our view of nature and also has very analogical evolution.

Opportunities and pitfalls in clinical proof-of-concept: principles and examples.

Science.gov (United States)

Chen, Chao

2018-04-01

Clinical proof-of-concept trials crucially inform major resource deployment decisions. This paper discusses several mechanisms for enhancing their rigour and efficiency. The importance of careful consideration when using a surrogate endpoint is illustrated; situational effectiveness of run-in patient enrichment is explored; a versatile tool is introduced to ensure a strong pharmacological underpinning; the benefits of dose-titration are revealed by simulation; and the importance of adequately scheduled observations is shown. The general process of model-based trial design and analysis is described and several examples demonstrate the value in historical data, simulation-guided design, model-based analysis and trial adaptation informed by interim analysis. Copyright © 2018 Elsevier Ltd. All rights reserved.

Understanding mathematical proof

CERN Document Server

Taylor, John

2014-01-01

Introduction The need for proof The language of mathematics Reasoning Deductive reasoning and truth Example proofs Logic and ReasoningIntroduction Propositions, connectives, and truth tables Logical equivalence and logical implication Predicates and quantification Logical reasoning Sets and Functions Introduction Sets and membership Operations on setsThe Cartesian product Functions and composite functions Properties of functions The Structure of Mathematical ProofsIntroduction Some proofs dissected An informal framework for proofs Direct proof A more formal framework Finding Proofs Direct proo

Wireless Sensors Grouping Proofs for Medical Care and Ambient Assisted-Living Deployment.

Science.gov (United States)

Trček, Denis

2016-01-02

Internet of Things (IoT) devices are rapidly penetrating e-health and assisted living domains, and an increasing proportion among them goes on the account of computationally-weak devices, where security and privacy provisioning alone are demanding tasks, not to mention grouping proofs. This paper, therefore, gives an extensive analysis of such proofs and states lessons learnt to avoid possible pitfalls in future designs. It sticks with prudent engineering techniques in this field and deploys in a novel way the so called non-deterministic principle to provide not only grouping proofs, but (among other) also privacy. The developed solution is analyzed by means of a tangible metric and it is shown to be lightweight, and formally for security.

Combinatorial Proofs and Algebraic Proofs

Indian Academy of Sciences (India)

Permanent link: https://www.ias.ac.in/article/fulltext/reso/018/07/0630-0645. Keywords. Combinatorial proof; algebraic proof; binomial identity; recurrence relation; composition; Fibonacci number; Fibonacci identity; Pascal triangle. Author Affiliations. Shailesh A Shirali1. Sahyadri School Tiwai Hill, Rajgurunagar Pune 410 ...

Test of the Equivalence Principle in the Dark sector on galactic scales

International Nuclear Information System (INIS)

Mohapi, N.; Hees, A.; Larena, J.

2016-01-01

The Einstein Equivalence Principle is a fundamental principle of the theory of General Relativity. While this principle has been thoroughly tested with standard matter, the question of its validity in the Dark sector remains open. In this paper, we consider a general tensor-scalar theory that allows to test the equivalence principle in the Dark sector by introducing two different conformal couplings to standard matter and to Dark matter. We constrain these couplings by considering galactic observations of strong lensing and of velocity dispersion. Our analysis shows that, in the case of a violation of the Einstein Equivalence Principle, data favour violations through coupling strengths that are of opposite signs for ordinary and Dark matter. At the same time, our analysis does not show any significant deviations from General Relativity

Nested, fixed-depth fluidic sampler supplementary testing - AEAT doc 2926-2-002

International Nuclear Information System (INIS)

REICH, F.R.

1999-01-01

This report summarizes the results of cold testing, completed by AEAT, as part of the proof-of-principle testing for a proposed nested, fixed-depth fluidic sampling system. This sampling system will provide waste samples from the PHMC feed tank to support the privatization contract with BNFL. Proof-of-principle tests were completed with 2 wt% and 10 wt% sand/water and 25 wt% kaolin clay/water simulants with a test setup that spanned the 24 ft to 57 ft height required in the feed tank. The tests demonstrated that the system could pump and sample waste materials with low and with high solids content. In addition, the tests demonstrated a need for some design upgrades to the sampling system, as there was material loss when the sample bottle was removed from the sampling needle. These were complementary tests, completed as part of an EM-50 Tank Focus Area (TFA) to develop a sampling system for validating LAW and HLW waste batches for the Privatization Contract

Nested, fixed-depth fluidic sampler supplementary testing - AEAT doc 2926-2-002

Energy Technology Data Exchange (ETDEWEB)

REICH, F.R.

1999-03-11

This report summarizes the results of cold testing, completed by AEAT, as part of the proof-of-principle testing for a proposed nested, fixed-depth fluidic sampling system. This sampling system will provide waste samples from the PHMC feed tank to support the privatization contract with BNFL. Proof-of-principle tests were completed with 2 wt% and 10 wt% sand/water and 25 wt% kaolin clay/water simulants with a test setup that spanned the 24 ft to 57 ft height required in the feed tank. The tests demonstrated that the system could pump and sample waste materials with low and with high solids content. In addition, the tests demonstrated a need for some design upgrades to the sampling system, as there was material loss when the sample bottle was removed from the sampling needle. These were complementary tests, completed as part of an EM-50 Tank Focus Area (TFA) to develop a sampling system for validating LAW and HLW waste batches for the Privatization Contract.

Testing the Pauli Exclusion Principle for Electrons

International Nuclear Information System (INIS)

Marton, J; Berucci, C; Cargnelli, M; Ishiwatari, T; Bartalucci, S; Bragadireanu, M; Curceanu, C; Guaraldo, C; Iliescu, M; Pietreanu, D; Piscicchia, K; Ponta, T; Vidal, A Romero; Scordo, A; Sirghi, D L; Bertolucci, S; Matteo, S Di; Egger, J-P; Laubenstein, M; Milotti, E

2013-01-01

One of the fundamental rules of nature and a pillar in the foundation of quantum theory and thus of modern physics is represented by the Pauli Exclusion Principle. We know that this principle is extremely well fulfilled due to many observations. Numerous experiments were performed to search for tiny violation of this rule in various systems. The experiment VIP at the Gran Sasso underground laboratory is searching for possible small violations of the Pauli Exclusion Principle for electrons leading to forbidden X-ray transitions in copper atoms. VIP is aiming at a test of the Pauli Exclusion Principle for electrons with high accuracy, down to the level of 10 −29 – 10 −30 , thus improving the previous limit by 3–4 orders of magnitude. The experimental method, results obtained so far and new developments within VIP2 (follow-up experiment at Gran Sasso, in preparation) to further increase the precision by 2 orders of magnitude will be presented

Quantification of Hand Motor Symptoms in Parkinson's Disease: A Proof-of-Principle Study Using Inertial and Force Sensors.

Science.gov (United States)

van den Noort, Josien C; Verhagen, Rens; van Dijk, Kees J; Veltink, Peter H; Vos, Michelle C P M; de Bie, Rob M A; Bour, Lo J; Heida, Ciska T

2017-10-01

This proof-of-principle study describes the methodology and explores and demonstrates the applicability of a system, existing of miniature inertial sensors on the hand and a separate force sensor, to objectively quantify hand motor symptoms in patients with Parkinson's disease (PD) in a clinical setting (off- and on-medication condition). Four PD patients were measured in off- and on- dopaminergic medication condition. Finger tapping, rapid hand opening/closing, hand pro/supination, tremor during rest, mental task and kinetic task, and wrist rigidity movements were measured with the system (called the PowerGlove). To demonstrate applicability, various outcome parameters of measured hand motor symptoms of the patients in off- vs. on-medication condition are presented. The methodology described and results presented show applicability of the PowerGlove in a clinical research setting, to objectively quantify hand bradykinesia, tremor and rigidity in PD patients, using a single system. The PowerGlove measured a difference in off- vs. on-medication condition in all tasks in the presented patients with most of its outcome parameters. Further study into the validity and reliability of the outcome parameters is required in a larger cohort of patients, to arrive at an optimal set of parameters that can assist in clinical evaluation and decision-making.

A study of principle and testing of piezoelectric transformer

International Nuclear Information System (INIS)

Liu Weiyue; Wang Yanfang; Huang Yihua; Shi Jun

2002-01-01

The operating principle and structure of a kind of piezoelectric transformer which can be used in a particle accelerator are investigated. The properties of piezoelectric transformer are tested through equivalent circuit combined with experiment

Possible test of the strong principle of equivalence

International Nuclear Information System (INIS)

Brecher, K.

1978-01-01

We suggest that redshift determinations of X-ray and γ-ray lines produced near the surface of neutron stars which arise from different physical processes could provide a significant test of the strong principle of equivalence for strong gravitational fields. As a complement to both the high-precision weak-field solar-system experiments and the cosmological time variation searches, such observations could further test the hypothesis that physics is locally the same at all times and in all places

Construction of state-independent proofs for quantum contextuality

Science.gov (United States)

Tang, Weidong; Yu, Sixia

2017-12-01

Since the enlightening proofs of quantum contextuality first established by Kochen and Specker, and also by Bell, various simplified proofs have been constructed to exclude the noncontextual hidden variable theory of our nature at the microscopic scale. The conflict between the noncontextual hidden variable theory and quantum mechanics is commonly revealed by Kochen-Specker sets of yes-no tests, represented by projectors (or rays), via either logical contradictions or noncontextuality inequalities in a state-(in)dependent manner. Here we propose a systematic and programmable construction of a state-independent proof from a given set of nonspecific rays in C3 according to their Gram matrix. This approach brings us a greater convenience in the experimental arrangements. Besides, our proofs in C3 can also be generalized to any higher-dimensional systems by a recursive method.

Expression of OsSPY and 14-3-3 genes involved in plant height variations of ion-beam-induced KDML 105 rice mutants

Energy Technology Data Exchange (ETDEWEB)

Phanchaisri, Boonrak [Science and Technology Research Institute, Chiang Mai University, Chiang Mai 50200 (Thailand); Molecular Biology Laboratory, Department of Biology, Faculty of Science, Chiang Mai University, Chiang Mai 50200 (Thailand); Samsang, Nuananong [Molecular Biology Laboratory, Department of Biology, Faculty of Science, Chiang Mai University, Chiang Mai 50200 (Thailand); Yu, Liang Deng; Singkarat, Somsorn [Plasma and Beam Physics Research Facility, Department of Physics and Materials Science, Faculty of Science, Chiang Mai University, Chiang Mai 50200 (Thailand); Thailand Center of Excellence in Physics, Commission on Higher Education, 328 Si Ayutthaya Road, Bangkok 10400 (Thailand); Anuntalabhochai, Somboon, E-mail: soanu.1@gmail.com [Molecular Biology Laboratory, Department of Biology, Faculty of Science, Chiang Mai University, Chiang Mai 50200 (Thailand)

2012-06-01

The culm length of two semidwarf rice mutants (PKOS1, HyKOS1) obtained from low-energy N-ion beam bombardments of dehusked Thai jasmine rice (Oryza sativa L. cv. KDML 105) seeds showed 25.7% and 21.5% height reductions and one spindly rice mutant (TKOS4) showed 21.4% increase in comparison with that of the KDML 105 control. A cDNA-RAPD analysis identified differential gene expression in internode tissues of the rice mutants. Two genes identified from the cDNA-RAPD were OsSPY and 14-3-3, possibly associated with stem height variations of the semidwarf and spindly mutants, respectively. The OsSPY gene encoded the SPY protein which is considered to be a negative regulator of gibberellin (GA). On the other hand, the 14-3-3 encoded a signaling protein which can bind and prevent the RSG (repression of shoot growth) protein function as a transcriptional repressor of the kaurene oxidase (KO) gene in the GA biosynthetic pathway. Expression analysis of OsSPY, 14-3-3, RSG, KO, and SLR1 was confirmed in rice internode tissues during the reproductive stage of the plants by semi-quantitative RT-PCR technique. The expression analysis showed a clear increase of the levels of OsSPY transcripts in PKOS1 and HyKOS1 tissue samples compared to that of the KDML 105 and TKOS4 samples at the age of 50-60 days which were at the ages of internode elongation. The 14-3-3 expression had the highest increase in the TKOS4 samples compared to those in KDML 105, PKOS1 and HyKOS1 samples. The expression analysis of RSG and KO showed an increase in TKOS4 samples compared to that of the KDML 105 and that of the two semidwarf mutants. These results indicate that changes of OsSPY and 14-3-3 expression could affect internode elongation and cause the phenotypic changes of semidwarf and spindly rice mutants, respectively.

Expression of OsSPY and 14-3-3 genes involved in plant height variations of ion-beam-induced KDML 105 rice mutants

International Nuclear Information System (INIS)

Phanchaisri, Boonrak; Samsang, Nuananong; Yu, Liang Deng; Singkarat, Somsorn; Anuntalabhochai, Somboon

2012-01-01

The culm length of two semidwarf rice mutants (PKOS1, HyKOS1) obtained from low-energy N-ion beam bombardments of dehusked Thai jasmine rice (Oryza sativa L. cv. KDML 105) seeds showed 25.7% and 21.5% height reductions and one spindly rice mutant (TKOS4) showed 21.4% increase in comparison with that of the KDML 105 control. A cDNA-RAPD analysis identified differential gene expression in internode tissues of the rice mutants. Two genes identified from the cDNA-RAPD were OsSPY and 14-3-3, possibly associated with stem height variations of the semidwarf and spindly mutants, respectively. The OsSPY gene encoded the SPY protein which is considered to be a negative regulator of gibberellin (GA). On the other hand, the 14-3-3 encoded a signaling protein which can bind and prevent the RSG (repression of shoot growth) protein function as a transcriptional repressor of the kaurene oxidase (KO) gene in the GA biosynthetic pathway. Expression analysis of OsSPY, 14-3-3, RSG, KO, and SLR1 was confirmed in rice internode tissues during the reproductive stage of the plants by semi-quantitative RT-PCR technique. The expression analysis showed a clear increase of the levels of OsSPY transcripts in PKOS1 and HyKOS1 tissue samples compared to that of the KDML 105 and TKOS4 samples at the age of 50–60 days which were at the ages of internode elongation. The 14-3-3 expression had the highest increase in the TKOS4 samples compared to those in KDML 105, PKOS1 and HyKOS1 samples. The expression analysis of RSG and KO showed an increase in TKOS4 samples compared to that of the KDML 105 and that of the two semidwarf mutants. These results indicate that changes of OsSPY and 14-3-3 expression could affect internode elongation and cause the phenotypic changes of semidwarf and spindly rice mutants, respectively.

CWI cryptanalyst discovers new cryptographic attack variant in Flame spy malware

NARCIS (Netherlands)

M.M.J. Stevens (Marc); R.J.F. Cramer (Ronald)

2012-01-01

htmlabstractCryptanalyst Marc Stevens from the Centrum Wiskunde & Informatica (CWI) in Amsterdam, known for breaking the https security in 2008 using a cryptanalytic attack on MD5, analyzed the recent Flame virus this week. He discovered that for this spy malware an as yet unknown cryptographic

The sample of INTEGRAL SPI-ACS gamma-ray bursts

International Nuclear Information System (INIS)

Rau, A.; Kienlin, A. von; Licht, G.G.; Hurley, K.

2005-01-01

The anti-coincidence system of the spectrometer on board INTEGRAL is operated as a nearly omni directional gamma-ray burst detector above ∼ 75 KeV. During the elapsed mission time 324 burst candidates were detected. As part of the 3rd Interplanetary Network of gamma-ray detectors the cosmic origin of 115 burst was confirmed. Here we present a preliminary analysis of the SPI-ACS gamma-ray burst sample. In particular we discuss the origin of a significant population of short events (duration < 0.2 s) and a possible method for a flux calibration of the data

Understanding surveillance technologies spy devices, their origins & applications

CERN Document Server

Petersen, JK

2001-01-01

From electronic wire taps to baby monitors and long-distance video and listening devices, startling changes occur everyday in how we gather, interpret, and transmit information. An extraordinary range of powerful new technologies has come into existence to meet the requirements of this expanding field.Your search for a comprehensive resource for surveillance devices is over. Understanding Surveillance Technologies: Spy Devices, Their Origins and Applications serves as a provocative, broad-based, and visually appealing reference that introduces and describes the technologies rapidly moving into

Spatial and temporal analysis of drought in greece using the Standardized Precipitation Index (SPI)

Science.gov (United States)

Livada, I.; Assimakopoulos, V. D.

2007-07-01

In the present study the Standardised Precipitation Index (SPI) is used to detect drought events in spatial and temporal basis. Using monthly precipitation data from 23 stations well spread over Greece and for a period of 51 years, a classification of drought is performed, based on its intensity and duration. Results indicate that, mild and moderate droughts reduce from north to south and from west to east on the 3- and 6-months time scale, while for the class of severe drought, the frequencies in the southern part of Greece are higher than in the other parts of the country. Furthermore the frequency of occurrence of severe and extreme drought conditions is very low over the whole Greek territory on the 12-month running time scale. Finally SPI was compared to the “de Martonne aridity index (I)” and a satisfactory correlation between them was found.

SPYING FOR THE RIGHT REASONS: CONTESTED NORMS IN CYBERSPACE

Science.gov (United States)

2017-04-06

Understanding international law is difficult because it is based upon a different philosophy than domestic law. Domestic laws in Western democracies are very...relations and protects nations from a hostile intent.24 In summary, this essay is based on the assumption that espionage is legitimate in legal and moral ...espionage from EMCE.32 It appears that the moral aspects of spying among allies are hardly researched at all. Leif-Eric Easley examined the factor of

Student Teachers’ Proof Schemes on Proof Tasks Involving Inequality: Deductive or Inductive?

Science.gov (United States)

Rosyidi, A. H.; Kohar, A. W.

2018-01-01

Exploring student teachers’ proof ability is crucial as it is important for improving the quality of their learning process and help their future students learn how to construct a proof. Hence, this study aims at exploring at the proof schemes of student teachers in the beginning of their studies. Data were collected from 130 proofs resulted by 65 Indonesian student teachers on two proof tasks involving algebraic inequality. To analyse, the proofs were classified into the refined proof schemes level proposed by Lee (2016) ranging from inductive, which only provides irrelevant inferences, to deductive proofs, which consider addressing formal representation. Findings present several examples of each of Lee’s level on the student teachers’ proofs spanning from irrelevant inferences, novice use of examples or logical reasoning, strategic use examples for reasoning, deductive inferences with major and minor logical coherence, and deductive proof with informal and formal representation. Besides, it was also found that more than half of the students’ proofs coded as inductive schemes, which does not meet the requirement for doing the proof for the proof tasks examined in this study. This study suggests teacher educators in teacher colleges to reform the curriculum regarding proof learning which can accommodate the improvement of student teachers’ proving ability from inductive to deductive proof as well from informal to formal proof.

Microstructural investigation of variations in the proof strength of Nimonic PE16

International Nuclear Information System (INIS)

Riley, B.F.; Wilson, E.G.; Jones, A.R.

1987-01-01

Nimonic PE16 shows a correlation of stress rupture behaviour after irradiation with proof strength. Proof testing of material from bars from several casts yielded a relationship (Hall-Petch) between the peak-aged proof stress and grain size -1/2 but the scatter in proof stress values at a given grain size merited further microstructural study. Transmission electron microscopy revealed that high proof stress material contained dislocation densities consistent with material which had received 1 to 2% cold work, verified by examination of lightly prestrained tensile specimens. Ageing to peak strength induced partial recovery but some variability in proof stress remained. Variations in γ' size and composition having been eliminated, the scatter in proof stress values was attributed to variable cold work induced by the commercial bar straightening process. (Author)

Wireless Sensors Grouping Proofs for Medical Care and Ambient Assisted-Living Deployment

Directory of Open Access Journals (Sweden)

Denis Trček

2016-01-01

Full Text Available Internet of Things (IoT devices are rapidly penetrating e-health and assisted living domains, and an increasing proportion among them goes on the account of computationally-weak devices, where security and privacy provisioning alone are demanding tasks, not to mention grouping proofs. This paper, therefore, gives an extensive analysis of such proofs and states lessons learnt to avoid possible pitfalls in future designs. It sticks with prudent engineering techniques in this field and deploys in a novel way the so called non-deterministic principle to provide not only grouping proofs, but (among other also privacy. The developed solution is analyzed by means of a tangible metric and it is shown to be lightweight, and formally for security.

Bully Proofing: What One District Learned about Improving School Climate.

Science.gov (United States)

Berkey, Leonard G.; Keyes, Barbara J.; Longhurst, James E.

2001-01-01

Collaborating with school officials, a group of concerned parents implemented a bully-proofing program throughout their school district. After two years, the results are encouraging; it was received with enthusiasm at the elementary level. Further study will be needed to determine how these principles might be applied at the secondary level. (MKA)

Monitoring and quantifying future climate projections of dryness and wetness extremes: SPI bias

Directory of Open Access Journals (Sweden)

F. Sienz

2012-07-01

Full Text Available The adequacy of the gamma distribution (GD for monthly precipitation totals is reconsidered. The motivation for this study is the observation that the GD fails to represent precipitation in considerable areas of global observed and simulated data. This misrepresentation may lead to erroneous estimates of the Standardised Precipitation Index (SPI, evaluations of models, and assessments of climate change. In this study, the GD is compared to the Weibull (WD, Burr Type III (BD, exponentiated Weibull (EWD and generalised gamma (GGD distribution. These distributions extend the GD in terms of possible shapes (skewness and kurtosis and the behaviour for large arguments. The comparison is based on the Akaike information criterion, which maximises information entropy and reveals a trade-off between deviation and the numbers of parameters used. We use monthly sums of observed and simulated precipitation for 12 calendar months of the year. Assessing observed and simulated data, (i the Weibull type distributions give distinctly improved fits compared to the GD and (ii the SPI resulting from the GD overestimates (underestimates extreme dryness (wetness.

On Resolution Complexity of Matching Principles

DEFF Research Database (Denmark)

Dantchev, Stefan S.

proof system. The results in the thesis fall in this category. We study the Resolution complexity of some Matching Principles. The three major contributions of the thesis are as follows. Firstly, we develop a general technique of proving resolution lower bounds for the perfect matchingprinciples based...... Chessboard as well as for Tseitin tautologies based on rectangular grid graph. We reduce these problems to Tiling games, a concept introduced by us, which may be of interest on its own. Secondly, we find the exact Tree-Resolution complexity of the Weak Pigeon-Hole Principle. It is the most studied...

Characteristics and drivers of drought in Europe-a summary of the DROUGHT-R&SPI project

NARCIS (Netherlands)

Tallaksen, Lena M.; Stagge, James H.; Stahl, Kerstin; Gudmundsson, Lukas; Orth, Rene; Seneviratne, Sonia I.; Loon, van Anne F.; Lanen, van Henny A.J.

2015-01-01

A prerequisite to mitigate the wide range of drought impacts is to establish a good understanding of the drought generating mechanisms from their initiation as a meteorological drought through to their development as soil moisture and hydrological drought. The DROUGHT-R&SPI project has

What is Proof of Concept Research and how does it Generate Epistemic and Ethical Categories for Future Scientific Practice?

Science.gov (United States)

Kendig, Catherine Elizabeth

2016-06-01

"Proof of concept" is a phrase frequently used in descriptions of research sought in program announcements, in experimental studies, and in the marketing of new technologies. It is often coupled with either a short definition or none at all, its meaning assumed to be fully understood. This is problematic. As a phrase with potential implications for research and technology, its assumed meaning requires some analysis to avoid it becoming a descriptive category that refers to all things scientifically exciting. I provide a short analysis of proof of concept research and offer an example of it within synthetic biology. I suggest that not only are there activities that circumscribe new epistemological categories but there are also associated normative ethical categories or principles linked to the research. I examine these and provide an outline for an alternative ethical account to describe these activities that I refer to as "extended agency ethics". This view is used to explain how the type of research described as proof of concept also provides an attendant proof of principle that is the result of decision-making that extends across practitioners, their tools, techniques, and the problem solving activities of other research groups.

Symbolic logic syntax, semantics, and proof

CERN Document Server

Agler, David

2012-01-01

Brimming with visual examples of concepts, derivation rules, and proof strategies, this introductory text is ideal for students with no previous experience in logic. Students will learn translation both from formal language into English and from English into formal language; how to use truth trees and truth tables to test propositions for logical properties; and how to construct and strategically use derivation rules in proofs.

A novel approach for modelling the cluster detector and the SPI ...

Indian Academy of Sciences (India)

detectors and for performing experimental studies with the SPI spectrometer for high-energy γ -rays. Keywords. ... corresponds to the complete absorption of incident γ energy and gets contributions from. Pramana – J. Phys. ..... For a γ-ray of energy Eγ , let us first define the ratio of the single-detector hit events to the total full ...

The precautionary principle as a rational decision criterion; Foere var-prinsippet som rasjonelt beslutningsgrunnlag

Energy Technology Data Exchange (ETDEWEB)

Hovi, Jon

2001-12-01

The paper asks if the precautionary principle may be seen as a rational decision criterion. Six main questions are discussed. 1. Does the principle basically represent a particular set of political options or is it a genuine decision criterion? 2. If it is the latter, can it be reduced to any of the existing criteria for decision making under uncertainty? 3. In what kinds of situation is the principle applicable? 4. What is the relation between the precautionary principle and other principles for environmental regulation? 5. How plausible is the principle's claim that the burden of proof should be reversed? 6. Do the proponents of environmental regulation carry no burden of proof at all? A main conclusion is that, for now at least, the principle contains too many unclear elements to satisfy the requirements of precision and consistency that should reasonably be satisfied by a rational decision criterion. (author)

Multidisciplinary management of very advanced stage III and IV melanoma: Proof-of-principle.

Science.gov (United States)

Gutman, Haim; Ben-Ami, Eytan; Shapira-Frommer, Roni; Schachter, Jacob

2012-08-01

study may be considered a proof-of-principle investigation, enabling long-term remissions by combining induction therapy and surgery.

Urinary volatile compounds as biomarkers for lung cancer: a proof of principle study using odor signatures in mouse models of lung cancer.

Directory of Open Access Journals (Sweden)

Koichi Matsumura

2010-01-01

Full Text Available A potential strategy for diagnosing lung cancer, the leading cause of cancer-related death, is to identify metabolic signatures (biomarkers of the disease. Although data supports the hypothesis that volatile compounds can be detected in the breath of lung cancer patients by the sense of smell or through bioanalytical techniques, analysis of breath samples is cumbersome and technically challenging, thus limiting its applicability. The hypothesis explored here is that variations in small molecular weight volatile organic compounds ("odorants" in urine could be used as biomarkers for lung cancer. To demonstrate the presence and chemical structures of volatile biomarkers, we studied mouse olfactory-guided behavior and metabolomics of volatile constituents of urine. Sensor mice could be trained to discriminate between odors of mice with and without experimental tumors demonstrating that volatile odorants are sufficient to identify tumor-bearing mice. Consistent with this result, chemical analyses of urinary volatiles demonstrated that the amounts of several compounds were dramatically different between tumor and control mice. Using principal component analysis and supervised machine-learning, we accurately discriminated between tumor and control groups, a result that was cross validated with novel test groups. Although there were shared differences between experimental and control animals in the two tumor models, we also found chemical differences between these models, demonstrating tumor-based specificity. The success of these studies provides a novel proof-of-principle demonstration of lung tumor diagnosis through urinary volatile odorants. This work should provide an impetus for similar searches for volatile diagnostic biomarkers in the urine of human lung cancer patients.

Writing proofs in analysis

CERN Document Server

Kane, Jonathan M

2016-01-01

This is a textbook on proof writing in the area of analysis, balancing a survey of the core concepts of mathematical proof with a tight, rigorous examination of the specific tools needed for an understanding of analysis. Instead of the standard "transition" approach to teaching proofs, wherein students are taught fundamentals of logic, given some common proof strategies such as mathematical induction, and presented with a series of well-written proofs to mimic, this textbook teaches what a student needs to be thinking about when trying to construct a proof. Covering the fundamentals of analysis sufficient for a typical beginning Real Analysis course, it never loses sight of the fact that its primary focus is about proof writing skills. This book aims to give the student precise training in the writing of proofs by explaining exactly what elements make up a correct proof, how one goes about constructing an acceptable proof, and, by learning to recognize a correct proof, how to avoid writing incorrect proofs. T...

A weak equivalence principle test on a suborbital rocket

Energy Technology Data Exchange (ETDEWEB)

Reasenberg, Robert D; Phillips, James D, E-mail: reasenberg@cfa.harvard.ed [Smithsonian Astrophysical Observatory, Harvard-Smithsonian Center for Astrophysics, Cambridge, MA 02138 (United States)

2010-05-07

We describe a Galilean test of the weak equivalence principle, to be conducted during the free fall portion of a sounding rocket flight. The test of a single pair of substances is aimed at a measurement uncertainty of sigma(eta) < 10{sup -16} after averaging the results of eight separate drops. The weak equivalence principle measurement is made with a set of four laser gauges that are expected to achieve 0.1 pm Hz{sup -1/2}. The discovery of a violation (eta not = 0) would have profound implications for physics, astrophysics and cosmology.

Reducing intrusive traumatic memories after emergency caesarean section: A proof-of-principle randomized controlled study.

Science.gov (United States)

Horsch, Antje; Vial, Yvan; Favrod, Céline; Harari, Mathilde Morisod; Blackwell, Simon E; Watson, Peter; Iyadurai, Lalitha; Bonsall, Michael B; Holmes, Emily A

2017-07-01

Preventative psychological interventions to aid women after traumatic childbirth are needed. This proof-of-principle randomized controlled study evaluated whether the number of intrusive traumatic memories mothers experience after emergency caesarean section (ECS) could be reduced by a brief cognitive intervention. 56 women after ECS were randomized to one of two parallel groups in a 1:1 ratio: intervention (usual care plus cognitive task procedure) or control (usual care). The intervention group engaged in a visuospatial task (computer-game 'Tetris' via a handheld gaming device) for 15 min within six hours following their ECS. The primary outcome was the number of intrusive traumatic memories related to the ECS recorded in a diary for the week post-ECS. As predicted, compared with controls, the intervention group reported fewer intrusive traumatic memories (M = 4.77, SD = 10.71 vs. M = 9.22, SD = 10.69, d = 0.647 [95% CI: 0.106, 1.182]) over 1 week (intention-to-treat analyses, primary outcome). There was a trend towards reduced acute stress re-experiencing symptoms (d = 0.503 [95% CI: -0.032, 1.033]) after 1 week (intention-to-treat analyses). Times series analysis on daily intrusions data confirmed the predicted difference between groups. 72% of women rated the intervention "rather" to "extremely" acceptable. This represents a first step in the development of an early (and potentially universal) intervention to prevent postnatal posttraumatic stress symptoms that may benefit both mother and child. ClinicalTrials.gov, www.clinicaltrials.gov, NCT02502513. Copyright © 2017 The Authors. Published by Elsevier Ltd.. All rights reserved.

Minox Digital Spy Camera数码相机

Institute of Scientific and Technical Information of China (English)

无

2009-01-01

Digital Spy Camera是一种间谍框机，看起来更像是一个小MP3，重量只有60g，非常便携．非常迷你，内置320万像素cmos传感器．42mm定焦镜头最大光圈130．还有一个外接的闪光灯．其外形尺寸86mm×29mm×20mm．呈现细长形结构．

Digital radiography - from principles to practical testing; Digitale Radiografie - von den Grundlagen zur Pruefpraxis

Energy Technology Data Exchange (ETDEWEB)

Mattis, A. [Siemens KWU, Erlangen (Germany)

1994-12-31

Digital radiography is broken down into two branches: storage luminescence technology and digitalization of existing films. The principles of both methods are presented in a short outline. The main advantages of this technology include decay-proof archiving that dispenses with film storage, computerized analysis of images using quantitative assessment standards, and improved display readability as compared to visual analysis. As a neutral authority, the Federal Institute for Materials Research and Testing (BAM) was charged with making an assessment of digital radiography by means of the approved ROC method. Based on an extensive collection of test pieces, the respective final result of the analysis was compared with the transmission images, i.e. digital data were compared with original films. (orig./MM) [Deutsch] Die Digitale Radiografie teilt sich in zwei Zweige - die Speicherleuchtstofftechnik sowie die Digitalisierung vorhandener Filme. Die Prinzipien beider Verfahren werden in einem kurzen Abriss dargestellt. Hauptvorteile dieser Technik sind die verfallsgesicherte Archivierung, die die Aufbewahrung der Filme ueberfluessig macht, die rechnergestuetzte Analyse der Aufnahmen unter Einsatz quantitativer Beurteilungsmassstaebe sowie die verbesserte Anzeigenerkennbarkeit gegenueber der visuellen Auswertung. Als neutrale Instanz wurde die Bundesanstalt fuer Materialforschung (BAM) beauftragt, mithilfe des anerkannten ROC-Verfahrens die Digitale Radiografie zu beurteilen. Basierend auf einer umfangreichen Sammlung von Teststuecken wurde das jeweilige Endergebnis der Auswertung der Durchstrahlungsaufnahmen verglichen d.h. digitale Daten mit Original-Filmen. (orig./MM)

Can the Copernican principle be tested using the cosmic neutrino background?

International Nuclear Information System (INIS)

Jia, Junji; Zhang, Hongbao

2008-01-01

The Copernican principle, stating that we do not occupy any special place in our universe, is usually taken for granted in modern cosmology. However recent observational supernova data indicate that we may live in the under-dense center of our universe, which challenges the Copernican principle. It thus becomes urgent and important to test the Copernican principle via cosmological observations. Taking into account that unlike cosmic photons, cosmic neutrinos of different energies come from different places to us, along different worldlines, we here propose using the cosmic neutrino background as a test of the Copernican principle. It is shown that from the theoretical perspective, the cosmic neutrino background can allow one to determine whether the Copernican principle is valid or not, but to implement such an observation, larger neutrino detectors are called for

Prospective Teachers' Conceptions of Proof Comprehension: Revisiting a Proof of the Pythagorean Theorem

Science.gov (United States)

Zazkis, Dov; Zazkis, Rina

2016-01-01

A significant body of research literature in mathematics education attends to mathematical proofs. However, scant research attends to proof comprehension, which is the focus of this study. We examine perspective secondary teachers' conceptions of what constitutes comprehension of a given proof and their ideas of how students' comprehension can be…

Robotics Test Rig

International Nuclear Information System (INIS)

Schuurmans, P.

2007-01-01

The experimental Accelerator Driven System XT-ADS is being developed within the European 6th framework programme EUROTRANS using the MYRRHA DRAFT-2 as starting point. The aim for the XT-ADS is to demonstrate the feasibility of the ADS concept at reasonable power levels and to serve as a high performance, multi-purpose experimental irradiation device. One of the fundamental design options that has been taken is to do all maintenance and in-service inspection and repair duties by remote handling. Outside the XT-ADS vessel in a controlled though radio-active environment, remote handling concepts as those already in use at e.g. the Joint European Torus (JET) can be used. Extrapolation to remote handling inside the lead-bismuth eutectic filled main vessel of the XT-ADS is in principle feasible as was shown in a 2003 study performed by Oxford Technologies ltd for the case of MYRRHA. Nevertheless, it is clear that all critical remote handling components need to be qualified for use in liquid LBE. Thus, as a first step, a proof of principle (POP) experimental test rig is require. The principal goal of this work is to identify the critical technological issues that must be resolved to allow operation of remote handling manipulators inside the LBE filled main vessel of the XT-ADS and to propose a concept design and specification catalogue for a proof of principle test rig that is able to experimentally verify the main aspects of manipulator design

Mars seasonal polar caps as a test of the equivalence principle

International Nuclear Information System (INIS)

Rubincam, David Parry

2011-01-01

The seasonal polar caps of Mars can be used to test the equivalence principle in general relativity. The north and south caps, which are composed of carbon dioxide, wax and wane with the seasons. If the ratio of the inertial (passive) to gravitational (active) masses of the caps differs from the same ratio for the rest of Mars, then the equivalence principle fails, Newton's third law fails, and the caps will pull Mars one way and then the other with a force aligned with the planet's spin axis. This leads to a secular change in Mars's along-track position in its orbit about the Sun, and to a secular change in the orbit's semimajor axis. The caps are a poor Eoetvoes test of the equivalence principle, being 4 orders-of-magnitude weaker than laboratory tests and 7 orders-of-magnitude weaker than that found by lunar laser ranging; the reason is the small mass of the caps compared to Mars as a whole. The principal virtue of using Mars is that the caps contain carbon, an element not normally considered in such experiments. The Earth with its seasonal snow cover can also be used for a similar test.

Drought Forecasting by SPI Index and ANFIS Model Using Fuzzy C-mean Clustering

Directory of Open Access Journals (Sweden)

mehdi Komasi

2013-08-01

Full Text Available Drought is the interaction between environment and water cycle in the world and affects natural environment of an area when it persists for a longer period. So, developing a suitable index to forecast the spatial and temporal distribution of drought plays an important role in the planning and management of natural resources and water resource systems. In this article, firstly, the drought concept and drought indexes were introduced and then the fuzzy neural networks and fuzzy C-mean clustering were applied to forecast drought via standardized precipitation index (SPI. The results of this research indicate that the SPI index is more capable than the other indexes such as PDSI (Palmer Drought Severity Index, PAI (Palfai Aridity Index and etc. in drought forecasting process. Moreover, application of adaptive nero-fuzzy network accomplished by C-mean clustering has high efficiency in the drought forecasting.

PROOF on Demand

International Nuclear Information System (INIS)

Malzacher, Peter; Manafov, Anar

2010-01-01

PROOF on Demand (PoD) is a set of utilities, which allows starting a PROOF cluster at user request, on any resource management system. It provides a plug-in based system, which allows to use different job submission frontends, such as LSF or gLite WMS. Main components of PoD are the PROOFAgent and the PAConsole. PROOFAgent provides the communication layer between the PROOF master on the local machine and the PROOF workers on the remote resources, possibly behind a firewall. PAConsole provides a user-friendly GUI, which is used to setup, manage, and shutdown the dynamic PROOF cluster. Installation is simple and doesn't require administrator privileges, and all the processes run in user space. PoD gives users, who don't have a centrally-administrated static PROOF cluster at their institute, the possibility to enjoy the full power of interactive analysis with PROOF.

Proof-of-Principle of Onchocerciasis Elimination with Ivermectin Treatment in Endemic Foci in Africa: Final Results of a Study in Mali and Senegal

Science.gov (United States)

Traore, Mamadou O.; Sarr, Moussa D.; Badji, Alioune; Bissan, Yiriba; Diawara, Lamine; Doumbia, Konimba; Goita, Soula F.; Konate, Lassana; Mounkoro, Kalifa; Seck, Amadou F.; Toe, Laurent; Toure, Seyni; Remme, Jan H. F.

2012-01-01

Background Mass treatment with ivermectin controls onchocerciasis as a public health problem, but it was not known if it could also interrupt transmission and eliminate the parasite in endemic foci in Africa where vectors are highly efficient. A longitudinal study was undertaken in three hyperendemic foci in Mali and Senegal with 15 to 17 years of annual or six-monthly ivermectin treatment in order to assess residual levels of infection and transmission, and test whether treatment could be safely stopped. This article reports the results of the final evaluations up to 5 years after the last treatment. Methodology/Principal Findings Skin snip surveys were undertaken in 131 villages where 29,753 people were examined and 492,600 blackflies were analyzed for the presence of Onchocerca volvulus larva using a specific DNA probe. There was a declining trend in infection and transmission levels after the last treatment. In two sites the prevalence of microfilaria and vector infectivity rate were zero 3 to 4 years after the last treatment. In the third site, where infection levels were comparatively high before stopping treatment, there was also a consistent decline in infection and transmission to very low levels 3 to 5 years after stopping treatment. All infection and transmission indicators were below postulated thresholds for elimination. Conclusion/Significance The study has established the proof of principle that onchocerciasis elimination with ivermectin treatment is feasible in at least some endemic foci in Africa. The study results have been instrumental for the current evolution from onchocerciasis control to elimination in Africa. PMID:23029586

Tamper proofing of safeguards monitors

International Nuclear Information System (INIS)

Riley, R.J.

1982-11-01

The tamper proofing of safeguards monitors is essential if the data they produce is, and can be seen to be, reliable. This report discusses the problem of tamper proofing and gives guidance on when and how to apply tamper proofing techniques. The report is split into two parts. The first concerns the fundamental problem of how much tamper proofing to apply and the second describes methods of tamper proofing and discusses their usefulness. Both sections are applicable to all safeguards monitors although particular reference will be made to doorway monitors in some cases. The phrase 'tamper proofing' is somewhat misleading as it is impossible to completely tamper proof any device. Given enough time and resources, even the most elaborate tamper proofing can be overcome. In safeguards applications we are more interested in making the device tamper resistant and tamper indicating. That is, it should be able to resist a certain amount of tampering, and if tampering proves successful, that fact should be immediately obvious. Techniques of making a device tamper indicating and tamper resistant will be described below. The phrase tamper proofing will be used throughout this report as a generic term, including both tamper resistance and tamper indicating. (author)

A four channel time-to-digital converter ASIC with in-built calibration and SPI interface

International Nuclear Information System (INIS)

Hari Prasad, K.; Sukhwani, Menka; Saxena, Pooja; Chandratre, V.B.; Pithawa, C.K.

2014-01-01

A design of high resolution, wide dynamic range Time-to-Digital Converter (TDC) ASIC, implemented in 0.35 µm commercial CMOS technology is presented. The ASIC features four channel TDC with an in-built calibration and Serial Peripheral Interconnect (SPI) slave interface. The TDC is based on the vernier ring oscillator method in order to achieve both high resolution and wide dynamic range. This TDC ASIC is tested and found to have resolution of 127 ps (LSB), dynamic range of 1.8 µs and precision (σ) of 74 ps. The measured values of differential non-linearity (DNL) and integral non-linearity (INL) are 350 ps and 300 ps respectively

Principle of least action; some possible generalizations

International Nuclear Information System (INIS)

Broucke, R.

1982-01-01

In this article we draw the attention to an important variational principle in dynamics: the Maupertuis-Jacobi Least Action Principle (MJLAP). This principle compares varied paths with the same energy h. We give two new proofs of the MJLAP (Sections 3 and 8) as well as a new unified variational principle which contains both Hamilton's Principle (HP) and the MJLAP as particular cases (Sections 4 and 9). The article also shows several new methods for the construction of a Lagrangian for a conservative dynamical system. As an example, we illustrate the theory with the classical Harmonic Oscillator Problem (Section 10). Our method is based on the theory of changes of independent variables in a dynamical system. It indirectly shows how a change of independent variable affects the self-adjointness of a dynamical system (Sections 5, 6, 7). Our new Lagrangians contain an arbitrary constant α, whose meaning needs to be studied, eventually in relation to the concepts of quantification or gauge transformations. The two important values of the constant α are 1 (Hamilton's principle) and 1/2 (Maupertuis-Jacobi Least Action Principle)

Proof in geometry with "mistakes in geometric proofs"

CERN Document Server

Fetisov, A I

2006-01-01

This single-volume compilation of 2 books explores the construction of geometric proofs. It offers useful criteria for determining correctness and presents examples of faulty proofs that illustrate common errors. 1963 editions.

A VAR2CSA:CSP conjugate capable of inducing dual specificity antibody responses

DEFF Research Database (Denmark)

Matondo, Sungwa; Thrane, Susan; Janitzek, Christoph Mikkel

2017-01-01

Catcher peptide. The covalent interaction between SpyTag/SpyCatcher enables the formation of DBL1x-DBL2x-ID2a:CSP conjugate vaccine. Immunogenicity and quality of antibody responses induced by the conjugate vaccine, as well as a control CSP-SpyCatcher vaccine, was tested in BALB/c mice.  Results: Serum samples...... obtained from mice immunized with the conjugate vaccine were able to recognize both untagged DBL1x-DBL2x-ID2a as well as CSP antigen. Moreover, the geometric mean anti-CSP antibody titer was 1.9-fold higher in serum (at day 35 and 55 post-first immunization) from mice immunized with the conjugate vaccine......, as compared to mice receiving the control vaccine.  Conclusion: The data obtained in this study serves as proof-of-concept for the simultaneous induction of antibodies directed against individual antigen components in a dual stage anti-malaria vaccine....

PROTECTORS FOR PROOFING OF IRON-CARBON-ALLOYS FROM CORROSIVE EFFECT

Directory of Open Access Journals (Sweden)

A. A. Pivovarchyk

2017-01-01

Full Text Available The article presents the results of practical testing of the developed compositions of protectors for proofing of low-carbon alloys used in the automotive industry and made from melting stocks of secondary aluminum raw materials. The results of the study of the effectiveness of the proofing of the developed protectors are presented.

A variational proof of Thomson's theorem

Energy Technology Data Exchange (ETDEWEB)

Fiolhais, Miguel C.N., E-mail: miguel.fiolhais@cern.ch [Department of Physics, City College of the City University of New York, 160 Convent Avenue, New York, NY 10031 (United States); Department of Physics, New York City College of Technology, 300 Jay Street, Brooklyn, NY 11201 (United States); LIP, Department of Physics, University of Coimbra, 3004-516 Coimbra (Portugal); Essén, Hanno [Department of Mechanics, Royal Institute of Technology (KTH), Stockholm SE-10044 (Sweden); Gouveia, Tomé M. [Cavendish Laboratory, 19 JJ Thomson Avenue, Cambridge CB3 0HE (United Kingdom)

2016-08-12

Thomson's theorem of electrostatics, which states the electric charge on a set of conductors distributes itself on the conductor surfaces to minimize the electrostatic energy, is reviewed in this letter. The proof of Thomson's theorem, based on a variational principle, is derived for a set of normal charged conductors, with and without the presence of external electric fields produced by fixed charge distributions. In this novel approach, the variations are performed on both the charge densities and electric potentials, by means of a local Lagrange multiplier associated with Poisson's equation, constraining the two variables.

Big Data Analyses for Continuous Evaluation of Pharmacotherapy: A Proof of Principle with Doxapram in Preterm Infants.

Science.gov (United States)

Flint, Robert B; Weteringen, Willem van; Voller, Swantje; Poppe, Jarinda A; Koch, Birgit C P; de Groot, Ronald; Tibboel, Dick; Knibbe, Catherijne A J; Reiss, Irwin K M; Simons, Sinno H P; Dino Research Group

2017-01-01

Drug effect evaluation is often based on subjective interpretation of a selection of patient data. Continuous analyses of high frequency patient monitor data are a valuable source to measuring drug effects. However, these have not yet been fully explored in clinical care. We aim to evaluate the usefulness and applicability of high frequency physiological data for analyses of pharmacotherapy. As a proof of principle, the effects of doxapram, a respiratory stimulant, on the oxygenation in preterm infants were studied. Second-to-second physiological data were collected from 12 hours before until 36 hours after start of doxapram loading dose plus continuous maintenance dose in seven preterm infants. Besides physiological data, plasma concentrations of doxapram and keto-doxapram were measured. Arterial oxygen saturation (SpO2) increased after the start of doxapram treatment alongside an increase in heart rate. The respiratory rate remained unaffected. The number of saturation dips and the time below a saturation of 80%, as well as the area under the 80%-saturation-time curve (AUC), were significantly lowered after the start of doxapram. The AUC under 90% saturation also significantly improved after start of doxapram. Plasma concentrations of doxapram and keto-doxapram were measured. Using high-frequency monitoring data, we showed the detailed effects over time of pharmacotherapy. We could objectively determine the respiratory condition and the effects of doxapram treatment in preterm infants. This type of analysis might help to develop individualized drug treatments with tailored dose adjustments based on a closed-loop algorithm. Copyright© Bentham Science Publishers; For any queries, please email at epub@benthamscience.org.

Mars Seasonal Polar Caps as a Test of the Equivalence Principle

Science.gov (United States)

Rubincam, Daivd Parry

2011-01-01

The seasonal polar caps of Mars can be used to test the equivalence principle in general relativity. The north and south caps, which are composed of carbon dioxide, wax and wane with the seasons. If the ratio of the inertial to gravitational masses of the caps differs from the same ratio for the rest of Mars, then the equivalence principle fails, Newton's third law fails, and the caps will pull Mars one way and then the other with a force aligned with the planet's spin axis. This leads to a secular change in Mars's along-track position in its orbit about the Sun, and to a secular change in the orbit's semimajor axis. The caps are a poor E6tv6s test of the equivalence principle, being 4 orders-of-magnitude weaker than laboratory tests and 7 orders-of-magnitude weaker than that found by lunar laser ranging; the reason is the small mass of the caps compared to Mars as a whole. The principal virtue of using Mars is that the caps contain carbon, an element not normally considered in such experiments. The Earth with its seasonal snow cover can also be used for a similar test.

Laser all-ceramic crown removal and pulpal temperature--a laboratory proof-of-principle study.

Science.gov (United States)

Rechmann, P; Buu, N C H; Rechmann, B M T; Finzen, F C

2015-11-01

The objective of this proof-of-principle laboratory pilot study was to evaluate the temperature increase in the pulp chamber in a worst case scenario during Er:YAG laser debonding of all-ceramic crowns. Twenty extracted molars were prepared to receive all-ceramic IPS E.max CAD full contour crowns. The crowns were bonded to the teeth with Ivoclar Multilink Automix. Times for laser debonding and temperature rise in the pulp chamber using micro-thermocouples were measured. The Er:YAG was used with 560 mJ/pulse. The irradiation was applied at a distance of 5 mm from the crown surface. Additional air-water spray for cooling was utilized. Each all-ceramic crown was successfully laser debonded with an average debonding time of 135 ± 35 s. No crown fractured, and no damage to the underlying dentin was detected. The bonding cement deteriorated, but no carbonization at the dentin/cement interface occurred. The temperature rise in the pulp chamber averaged 5.4° ± 2.2 °C. During 8 out of the 20 crown removals, the temperature rise exceeded 5.5 °C, lasting 5 to 43 s (average 18.8 ± 11.6 s). A temperature rise of 11.5 °C occurred only once, while seven times the temperature rise was limited to 6.8 ± 0.5 °C. Temperature rises above 5.5 °C occurred only when the laser was applied from one side and additional cooling from the side opposite the irradiation. Er:YAG laser energy can successfully be used to efficiently debond all-ceramic crowns from natural teeth. Temperature rises exceeding 5.5 °C only occur when an additional air/water cooling from a dental syringe is inaccurately directed. To avoid possible thermal damage and to allow further heat diffusion, clinically temperature-reduced water might be applied.

Functional Near-Infrared Spectroscopy to Probe State- and Trait-Like Conditions in Chronic Tinnitus: A Proof-of-Principle Study

Directory of Open Access Journals (Sweden)

Martin Schecklmann

2014-01-01

Full Text Available Objective. Several neuroscience tools showed the involvement of auditory cortex in chronic tinnitus. In this proof-of-principle study we probed the capability of functional near-infrared spectroscopy (fNIRS for the measurement of brain oxygenation in auditory cortex in dependence from chronic tinnitus and from intervention with transcranial magnetic stimulation. Methods. Twenty-three patients received continuous theta burst stimulation over the left primary auditory cortex in a randomized sham-controlled neuronavigated trial (verum = 12; placebo = 11. Before and after treatment, sound-evoked brain oxygenation in temporal areas was measured with fNIRS. Brain oxygenation was measured once in healthy controls (n=12. Results. Sound-evoked activity in right temporal areas was increased in the patients in contrast to healthy controls. Left-sided temporal activity under the stimulated area changed over the course of the trial; high baseline oxygenation was reduced and vice versa. Conclusions. By demonstrating that rTMS interacts with auditory evoked brain activity, our results confirm earlier electrophysiological findings and indicate the sensitivity of fNIRS for detecting rTMS induced changes in brain activity. Moreover, our findings of trait- and state-related oxygenation changes indicate the potential of fNIRS for the investigation of tinnitus pathophysiology and treatment response.

Rapid and accurate detection of urinary pathogens by mobile IMS-based electronic nose: a proof-of-principle study.

Science.gov (United States)

Roine, Antti; Saviauk, Taavi; Kumpulainen, Pekka; Karjalainen, Markus; Tuokko, Antti; Aittoniemi, Janne; Vuento, Risto; Lekkala, Jukka; Lehtimäki, Terho; Tammela, Teuvo L; Oksala, Niku K J

2014-01-01

Urinary tract infection (UTI) is a common disease with significant morbidity and economic burden, accounting for a significant part of the workload in clinical microbiology laboratories. Current clinical chemisty point-of-care diagnostics rely on imperfect dipstick analysis which only provides indirect and insensitive evidence of urinary bacterial pathogens. An electronic nose (eNose) is a handheld device mimicking mammalian olfaction that potentially offers affordable and rapid analysis of samples without preparation at athmospheric pressure. In this study we demonstrate the applicability of ion mobility spectrometry (IMS) -based eNose to discriminate the most common UTI pathogens from gaseous headspace of culture plates rapidly and without sample preparation. We gathered a total of 101 culture samples containing four most common UTI bacteries: E. coli, S. saprophyticus, E. faecalis, Klebsiella spp and sterile culture plates. The samples were analyzed using ChemPro 100i device, consisting of IMS cell and six semiconductor sensors. Data analysis was conducted by linear discriminant analysis (LDA) and logistic regression (LR). The results were validated by leave-one-out and 5-fold cross validation analysis. In discrimination of sterile and bacterial samples sensitivity of 95% and specificity of 97% were achieved. The bacterial species were identified with sensitivity of 95% and specificity of 96% using eNose as compared to urine bacterial cultures. These findings strongly demonstrate the ability of our eNose to discriminate bacterial cultures and provides a proof of principle to use this method in urinanalysis of UTI.

Proof-of-principle study of a small animal PET/field-cycled MRI combined system using conventional PMT technology

International Nuclear Information System (INIS)

Peng Hao; Handler, William B.; Scholl, Timothy J.; Simpson, P.J.; Chronik, Blaine A.

2010-01-01

There are currently several approaches to the development of combined PET/MRI systems, all of which need to address adverse interactions between the two systems. Of particular relevance to the majority of proposed PET/MRI systems is the effect that static and dynamic magnetic fields have on the performance of PET detection systems based on photomultiplier tubes (PMTs). In the work reported in this paper, performance of two conventional PMTs has been systematically investigated and characterized as a function of magnetic field exposure conditions. Detector gain, energy resolution, time resolution, and efficiency were measured for static field exposures between 0 and 6.3 mT. Additionally, the short-term recovery and long-term stability of gain and energy resolution were measured in the presence of repeatedly applied dynamic magnetic fields changing at 4 T/s. It was found that the detectors recovered normal operation within several milliseconds following the end of large pulsed magnetic fields. In addition, the repeated applications of large pulsed magnetic fields did not significantly affect detector stability. Based on these results, we implemented a proof-of-principle PET/field-cycled MRI (FCMRI) system for small animal imaging using commercial PMT-based PET detectors. The first PET images acquired within the PET/FCMRI system are presented. The image quality, in terms of spatial resolution, was compared between standalone PET and the PET/FCMRI system. Finally, the relevance of these results to various aspects of PET/MRI system design is discussed.

Proof-of-principle demonstration of Nb{sub 3}Sn superconducting radiofrequency cavities for high Q{sub 0} applications

Energy Technology Data Exchange (ETDEWEB)

Posen, S., E-mail: sep93@cornell.edu; Liepe, M.; Hall, D. L. [Cornell Laboratory for Accelerator-Based Sciences and Education, Ithaca, New York 14853 (United States)

2015-02-23

Many future particle accelerators require hundreds of superconducting radiofrequency (SRF) cavities operating with high duty factor. The large dynamic heat load of the cavities causes the cryogenic plant to make up a significant part of the overall cost of the facility. This contribution can be reduced by replacing standard niobium cavities with ones coated with a low-dissipation superconductor such as Nb{sub 3}Sn. In this paper, we present results for single cell cavities coated with Nb{sub 3}Sn at Cornell. Five coatings were carried out, showing that at 4.2 K, high Q{sub 0} out to medium fields was reproducible, resulting in an average quench field of 14 MV/m and an average 4.2 K Q{sub 0} at quench of 8 × 10{sup 9}. In each case, the peak surface magnetic field at quench was well above H{sub c1}, showing that it is not a limiting field in these cavities. The coating with the best performance had a quench field of 17 MV/m, exceeding gradient requirements for state-of-the-art high duty factor SRF accelerators. It is also shown that—taking into account the thermodynamic efficiency of the cryogenic plant—the 4.2 K Q{sub 0} values obtained meet the AC power consumption requirements of state-of-the-art high duty factor accelerators, making this a proof-of-principle demonstration for Nb{sub 3}Sn cavities in future applications.

Teaching Proofs and Algorithms in Discrete Mathematics with Online Visual Logic Puzzles

Science.gov (United States)

Cigas, John; Hsin, Wen-Jung

2005-01-01

Visual logic puzzles provide a fertile environment for teaching multiple topics in discrete mathematics. Many puzzles can be solved by the repeated application of a small, finite set of strategies. Explicitly reasoning from a strategy to a new puzzle state illustrates theorems, proofs, and logic principles. These provide valuable, concrete…

Google and the "Twisted Cyber Spy" Affair: US-Chinese Communication in an Age of Globalization

Science.gov (United States)

Hartnett, Stephen John

2011-01-01

The "twisted cyber spy" affair began in 2010, when Google was attacked by Chinese cyber-warriors charged with stealing Google's intellectual property, planting viruses in its computers, and hacking the accounts of Chinese human rights activists. In the ensuing international embroglio, the US mainstream press, corporate leaders, and White…

Collaboration between a human group and artificial intelligence can improve prediction of multiple sclerosis course: a proof-of-principle study.

Science.gov (United States)

Tacchella, Andrea; Romano, Silvia; Ferraldeschi, Michela; Salvetti, Marco; Zaccaria, Andrea; Crisanti, Andrea; Grassi, Francesca

2017-01-01

Background: Multiple sclerosis has an extremely variable natural course. In most patients, disease starts with a relapsing-remitting (RR) phase, which proceeds to a secondary progressive (SP) form. The duration of the RR phase is hard to predict, and to date predictions on the rate of disease progression remain suboptimal. This limits the opportunity to tailor therapy on an individual patient's prognosis, in spite of the choice of several therapeutic options. Approaches to improve clinical decisions, such as collective intelligence of human groups and machine learning algorithms are widely investigated. Methods: Medical students and a machine learning algorithm predicted the course of disease on the basis of randomly chosen clinical records of patients that attended at the Multiple Sclerosis service of Sant'Andrea hospital in Rome. Results: A significant improvement of predictive ability was obtained when predictions were combined with a weight that depends on the consistence of human (or algorithm) forecasts on a given clinical record. Conclusions: In this work we present proof-of-principle that human-machine hybrid predictions yield better prognoses than machine learning algorithms or groups of humans alone. To strengthen this preliminary result, we propose a crowdsourcing initiative to collect prognoses by physicians on an expanded set of patients.

Test of Einstein-Podolsky-Rosen steering based on the all-versus-nothing proof.

Science.gov (United States)

Wu, Chunfeng; Chen, Jing-Ling; Ye, Xiang-Jun; Su, Hong-Yi; Deng, Dong-Ling; Wang, Zhenghan; Oh, C H

2014-03-06

In comparison with entanglement and Bell nonlocality, Einstein-Podolsky-Rosen steering is a newly emerged research topic and in its incipient stage. Although Einstein-Podolsky-Rosen steering has been explored via violations of steering inequalities both theoretically and experimentally, the known inequalities in the literatures are far from well-developed. As a result, it is not yet possible to observe Einstein-Podolsky-Rosen steering for some steerable mixed states. Recently, a simple approach was presented to identify Einstein-Podolsky-Rosen steering based on all-versus-nothing argument, offering a strong condition to witness the steerability of a family of two-qubit (pure or mixed) entangled states. In this work, we show that the all-versus-nothing proof of Einstein-Podolsky-Rosen steering can be tested by measuring the projective probabilities. Through the bound of probabilities imposed by local-hidden-state model, the proposed test shows that steering can be detected by the all-versus-nothing argument experimentally even in the presence of imprecision and errors. Our test can be implemented in many physical systems and we discuss the possible realizations of our scheme with non-Abelian anyons and trapped ions.

The zebrafish spi1 promoter drives myeloid-specific expression in stable transgenic fish

NARCIS (Netherlands)

Ward, AC; McPhee, DO; Condron, MM; Varma, S; Cody, SH; Onnebo, SMN; Paw, BH; Zon, LI; Lieschke, GJ

2003-01-01

The spi1 (pu.1) gene has recently been identified as a useful marker of early myeloid cells in zebrafish. To enhance the versatility of this organism as a model for studying myeloid development, the promoter of this gene has been isolated and characterized. Transient transgenesis revealed that a 5.3

The papain inhibitor (SPI) of Streptomyces mobaraensis inhibits bacterial cysteine proteases and is an antagonist of bacterial growth

NARCIS (Netherlands)

S. Zindel (Stephan); W.E. Kaman (Wendy); S. Fröls (Sabrina); F. Pfeifer (Felicitas); A. Peters (Annette); J.P. Hays (John); H.-L. Fuchsbauer (Hans-Lothar)

2013-01-01

textabstractA novel papain inhibitory protein (SPI) from Streptomyces mobaraensis was studied to measure its inhibitory effect on bacterial cysteine protease activity (Staphylococcus aureus SspB) and culture supernatants (Porphyromonas gingivalis, Bacillus anthracis). Further, growth of Bacillus

Gas cooled fast reactor control rod drive mechanism deceleration unit. Test program

International Nuclear Information System (INIS)

Wagner, T.H.

1981-10-01

This report presents the results of the airtesting portion of the proof-of-principle testing of a Control Rod Scram Deceleration Device developed for use in the Gas Cooled Fast Reactor (GCFR). The device utilizes a grooved flywheel to decelerate the translating assembly (T/A). Two cam followers on the translating assembly travel in the flywheel grooves and transfer the energy of the T/A to the flywheel. The grooves in the flywheel are straight for most of the flywheel length. Near the bottom of the T/A stroke the grooves are spiraled in a decreasing slope helix so that the cam followers accelerate the flywheel as they transfer the energy of the falling T/A. To expedite proof-of-principle testing, some of the materials used in the fabrication of certain test article components were not prototypic. With these exceptions the concept appears to be acceptable. The initial test of 300 scrams was completed with only one failure and the failure was that of a non-prototypic cam follower outer sleeve material

Effects of reading-oriented tasks on students' reading comprehension of geometry proof

Science.gov (United States)

Yang, Kai-Lin; Lin, Fou-Lai

2012-06-01

This study compared the effects of reading-oriented tasks and writing-oriented tasks on students' reading comprehension of geometry proof (RCGP). The reading-oriented tasks were designed with reading strategies and the idea of problem posing. The writing-oriented tasks were consistent with usual proof instruction for writing a proof and applying it. Twenty-two classes of ninth-grade students ( N = 683), aged 14 to 15 years, and 12 mathematics teachers participated in this quasi-experimental classroom study. While the experimental group was instructed to read and discuss the reading tasks in two 45-minute lessons, the control group was instructed to prove and apply the same propositions. Generalised estimating equation (GEE) method was used to compare the scores of the post-test and the delayed post-test with the pre-test scores as covariates. Results showed that the total scores of the delayed post-test of the experimental group were significantly higher than those of the control group. Furthermore, the scores of the experimental group on all facets of reading comprehension except the application facet were significantly higher than those of the control group for both the post-test and delayed post-test.

Can repetitive transcranial magnetic stimulation increase muscle strength in functional neurological paresis? A proof-of-principle study.

Science.gov (United States)

Broersma, M; Koops, E A; Vroomen, P C; Van der Hoeven, J H; Aleman, A; Leenders, K L; Maurits, N M; van Beilen, M

2015-05-01

Therapeutic options are limited in functional neurological paresis disorder. Earlier intervention studies did not control for a placebo effect, hampering assessment of effectivity. A proof-of-principle investigation was conducted into the therapeutic potential of repetitive transcranial magnetic stimulation (rTMS), using a single-blind two-period placebo-controlled cross-over design. Eleven patients received active 15 Hz rTMS over the contralateral motor cortex (hand area), in two periods of 5 days, for 30 min once a day at 80% of resting motor threshold, with a train length of 2 s and an intertrain interval of 4 s. Eight of these eleven patients were also included in the placebo treatment condition. Primary outcome measure was change in muscle strength as measured by dynamometry after treatment. Secondary outcome measure was the subjective change in muscle strength after treatment. In patients who received both treatments, active rTMS induced a significantly larger median increase in objectively measured muscle strength (24%) compared to placebo rTMS (6%; P difference due to treatment, i.e. patients did not perceive these objectively measured motor improvements (P = 0.40). Our findings suggest that rTMS by itself can potentially improve muscle weakness in functional neurological paresis disorder. Whereas patients' muscle strength increased as measured with dynamometry, patients did not report increased functioning of the affected hand, subjectively. The results may indicate that decreased muscle strength is not the core symptom and that rTMS should be added to behavioral approaches in functional neurological paresis. © 2015 EAN.

Proof pressure tests of the PCPVs at Hinkley Point B and Hunterston B

International Nuclear Information System (INIS)

Eadie, D.McD.; Bell, D.J.

1976-01-01

The two PCPVs at Hinkley Point B were pressure tested in August 1973 and April 1974. The first vessel at Hunterston B was tested in December, 1973, and the second early in 1975. The vessels were pressurised up to 709 psig and, at various stages of pressurisation, readings were taken of external deflections, internal corner deflections and concrete strains. Surveys were taken of external concrete cracks and of crack gauges embedded in the concrete near the re-entrant corners. The external vessel deflections were measured optically using telescopes, targets and invar tapes. In some cases a recent design of manometric equipment was used to monitor the vertical deflections of the top slab during pressurisation and at proof pressure when access to the vessel was not possible for safety reasons. Internal concrete strains were measured using vibrating wire strain gauges. A brief description is given of the various measuring devices used. Deflection readings were also taken of some penetration primary closures. Summaries of the various recorded readings are given and compared with the design analyses. (author)

Towards a proof of the Kahn principle for linear dynamic networks

NARCIS (Netherlands)

A. de Bruin (Arie); S-H. Nienhuys-Cheng (Shan-Hwei)

1994-01-01

textabstractWe consider dynamic Kahn-like data flow networks, i.e. networks consisting of deterministic processes each of which is able to expand into a subnetwork. The Kahn principle states that such networks are deterministic, i.e. that for each network we have that each execution provided with

Proof Problems with Diagrams: An Opportunity for Experiencing Proofs and Refutations

Science.gov (United States)

Komatsu, Kotaro; Tsujiyama, Yosuke; Sakamaki, Aruta; Koike, Norio

2014-01-01

It has become gradually accepted that proof and proving are essential at all grades of mathematical learning. Among the various aspects of proof and proving, this study addresses proofs and refutations described by Lakatos, in particular a part of increasing content by deductive guessing, to introduce an authentic process into mathematics…

MAXIMUM PRINCIPLE FOR SUBSONIC FLOW WITH VARIABLE ENTROPY

Directory of Open Access Journals (Sweden)

B. Sizykh Grigory

2017-01-01

Full Text Available Maximum principle for subsonic flow is fair for stationary irrotational subsonic gas flows. According to this prin- ciple, if the value of the velocity is not constant everywhere, then its maximum is achieved on the boundary and only on the boundary of the considered domain. This property is used when designing form of an aircraft with a maximum critical val- ue of the Mach number: it is believed that if the local Mach number is less than unit in the incoming flow and on the body surface, then the Mach number is less then unit in all points of flow. The known proof of maximum principle for subsonic flow is based on the assumption that in the whole considered area of the flow the pressure is a function of density. For the ideal and perfect gas (the role of diffusion is negligible, and the Mendeleev-Clapeyron law is fulfilled, the pressure is a function of density if entropy is constant in the entire considered area of the flow. Shows an example of a stationary sub- sonic irrotational flow, in which the entropy has different values on different stream lines, and the pressure is not a function of density. The application of the maximum principle for subsonic flow with respect to such a flow would be unreasonable. This example shows the relevance of the question about the place of the points of maximum value of the velocity, if the entropy is not a constant. To clarify the regularities of the location of these points, was performed the analysis of the com- plete Euler equations (without any simplifying assumptions in 3-D case. The new proof of the maximum principle for sub- sonic flow was proposed. This proof does not rely on the assumption that the pressure is a function of density. Thus, it is shown that the maximum principle for subsonic flow is true for stationary subsonic irrotational flows of ideal perfect gas with variable entropy.

Latest development of high-power fiber lasers in SPI

Science.gov (United States)

Norman, Stephen; Zervas, Mikhail N.; Appleyard, Andrew; Durkin, Michael K.; Horley, Ray; Varnham, Malcolm P.; Nilsson, Johan; Jeong, Yoonchan

2004-06-01

High Power Fiber Lasers (HPFLs) and High Power Fiber Amplifiers (HPFAs) promise a number of benefits in terms of their high optical efficiency, degree of integration, beam quality, reliability, spatial compactness and thermal management. These benefits are driving the rapid adoption of HPFLs in an increasingly wide range of applications and power levels ranging from a few Watts, in for example analytical applications, to high-power >1kW materials processing (machining and welding) applications. This paper describes SPI"s innovative technologies, HPFL products and their performance capabilities. The paper highlights key aspects of the design basis and provides an overview of the applications space in both the industrial and aerospace domains. Single-fiber CW lasers delivering 1kW output power at 1080nm have been demonstrated and are being commercialized for aerospace and industrial applications with wall-plug efficiencies in the range 20 to 25%, and with beam parameter products in the range 0.5 to 100 mm.mrad (corresponding to M2 = 1.5 to 300) tailored to application requirements. At power levels in the 1 - 200 W range, SPI"s proprietary cladding-pumping technology, GTWaveTM, has been employed to produce completely fiber-integrated systems using single-emitter broad-stripe multimode pump diodes. This modular construction enables an agile and flexible approach to the configuration of a range of fiber laser / amplifier systems for operation in the 1080nm and 1550nm wavelength ranges. Reliability modeling is applied to determine Systems martins such that performance specifications are robustly met throughout the designed product lifetime. An extensive Qualification and Reliability-proving programme is underway to qualify the technology building blocks that are utilized for the fiber laser cavity, pump modules, pump-driver systems and thermo-mechanical management. In addition to the CW products, pulsed fiber lasers with pulse energies exceeding 1mJ with peak pulse

Determination of the Integral/SPI instrumental response and his application to the observation of gamma ray lines in the Vela region; Determination de la reponse instrumentale du spectrometre INTEGRAL/SPI et application a l'observation des raies gamma de la region des Voiles

Energy Technology Data Exchange (ETDEWEB)

Attie, D

2005-01-15

The INTEGRAL/SPI spectrometer was designed to observe the sky in the energy band of 20 keV to 8 MeV. The specificity of instrument SPI rests on the excellent spectral resolution (2.3 keV with 1 MeV) of its detecting plan, composed of 19 cooled germanium crystals; covering an effective area of 508 cm{sup 2}. The use of a coded mask, located at 1.7 m above the detection plan ensures to it a resolving power of 2.5 degrees. The aim of this thesis, begun before the INTEGRAL launch, is made up of two parts. The first part relates to the analysis of the spectrometer calibration data. The objective was to measure and check the performances of the telescope, in particular to validate simulations of the INTEGRAL/SPI instrument response. This objective was successfully achieved. This analysis also highlights the presence of a significant instrumental background noise. Whereas, the second part concentrates on the data analysis of the Vela region observations. I have approached two astrophysical topics dealing with: - the search for radioactive decays lines of titanium-44, which is produced by explosive nucleosynthesis, in the supernova remnant of Vela Junior and, - the search of cyclotron resonance scattering features expected towards 25 keV and 52 keV in the accreting pulsar spectrum of the x-ray binary star Vela X-1. Putting forward the hypothesis that the result obtained previously by COMPTEL is correct and considering the no-detection of the titanium-44 lines by SPI, we give a lower limit at 4500 km s{sup -1} for the ejecta velocity from Vela Junior. The analysis on the research of the cyclotron lines have shown that the results are very sensitive to the instrumental background. Thorough studies will be necessary to guarantee an unambiguous detection of these lines. (author)

Proof of the Spin Statistics Connection 2: Relativistic Theory

Science.gov (United States)

Santamato, Enrico; De Martini, Francesco

2017-12-01

The traditional standard theory of quantum mechanics is unable to solve the spin-statistics problem, i.e. to justify the utterly important "Pauli Exclusion Principle" but by the adoption of the complex standard relativistic quantum field theory. In a recent paper (Santamato and De Martini in Found Phys 45(7):858-873, 2015) we presented a proof of the spin-statistics problem in the nonrelativistic approximation on the basis of the "Conformal Quantum Geometrodynamics". In the present paper, by the same theory the proof of the spin-statistics theorem is extended to the relativistic domain in the general scenario of curved spacetime. The relativistic approach allows to formulate a manifestly step-by-step Weyl gauge invariant theory and to emphasize some fundamental aspects of group theory in the demonstration. No relativistic quantum field operators are used and the particle exchange properties are drawn from the conservation of the intrinsic helicity of elementary particles. It is therefore this property, not considered in the standard quantum mechanics, which determines the correct spin-statistics connection observed in Nature (Santamato and De Martini in Found Phys 45(7):858-873, 2015). The present proof of the spin-statistics theorem is simpler than the one presented in Santamato and De Martini (Found Phys 45(7):858-873, 2015), because it is based on symmetry group considerations only, without having recourse to frames attached to the particles. Second quantization and anticommuting operators are not necessary.

Rapid and accurate detection of urinary pathogens by mobile IMS-based electronic nose: a proof-of-principle study.

Directory of Open Access Journals (Sweden)

Antti Roine

Full Text Available Urinary tract infection (UTI is a common disease with significant morbidity and economic burden, accounting for a significant part of the workload in clinical microbiology laboratories. Current clinical chemisty point-of-care diagnostics rely on imperfect dipstick analysis which only provides indirect and insensitive evidence of urinary bacterial pathogens. An electronic nose (eNose is a handheld device mimicking mammalian olfaction that potentially offers affordable and rapid analysis of samples without preparation at athmospheric pressure. In this study we demonstrate the applicability of ion mobility spectrometry (IMS -based eNose to discriminate the most common UTI pathogens from gaseous headspace of culture plates rapidly and without sample preparation. We gathered a total of 101 culture samples containing four most common UTI bacteries: E. coli, S. saprophyticus, E. faecalis, Klebsiella spp and sterile culture plates. The samples were analyzed using ChemPro 100i device, consisting of IMS cell and six semiconductor sensors. Data analysis was conducted by linear discriminant analysis (LDA and logistic regression (LR. The results were validated by leave-one-out and 5-fold cross validation analysis. In discrimination of sterile and bacterial samples sensitivity of 95% and specificity of 97% were achieved. The bacterial species were identified with sensitivity of 95% and specificity of 96% using eNose as compared to urine bacterial cultures.These findings strongly demonstrate the ability of our eNose to discriminate bacterial cultures and provides a proof of principle to use this method in urinanalysis of UTI.

Discourse of simulacra in Kovacević's drama Balkan Spy

Directory of Open Access Journals (Sweden)

Milojević Snežana J.

2016-01-01

Full Text Available This paper is based on a reading of the famous Dušan Kovačević's drama Balkan Spy, contextualized by postulates of simulacra. The starting point for finding symbols that corresponded to the system of the non-referent world (and each such system creates its own reality, and proceeds from its own frame in which it must be interpreted is a book of Jean Baudrillard 'Simulacrum and Simulation'. Through chapters that accentuate simulacrum-like phenomena for proving the actual through imaginary and cloned, as well as defining the world of literary text as a kind of Disneyland, it becomes evident soundness of this idea that confirms the quality of this drama.

MEJORA DE PROCESOS DE SOFTWARE ÁGIL CON AGILE - SPI PROCESS

Directory of Open Access Journals (Sweden)

CÉSAR PARDO

2010-01-01

Full Text Available Motivar la aplicación de proyectos de mejora de procesos en las empresas de desarrollo de software iberoamericanas, en su gran mayoría Micro, Pequeñas y Medianas Empresas Desarrolladoras de Software (MiPyMEs_DS es una necesidad imperante para la búsqueda de una industria de software que sea competitiva no solo en contextos regionales sino también internacionales. Los modelos internacionalmente reconocidos, representan alto riesgo en su aplicación para una MiPyMES_DS, esto debido quizá a su gran inversión en dinero, tiempo, recursos, difícil gestión, además de la complejidad de las recomendaciones y un retorno de la inversión a largo plazo. El objetivo de este trabajo es presentar a Agile SPI - Process como un proceso de mejora de procesos basado principalmente en metodologías y principios ágiles, requerimientos livianos y adaptaciones de modelos internacionales. De la misma manera en el artículo se presentan los resultados obtenidos en la implementación de Agile SPI - Process en varias MiPyMEs_DS de Iberoamérica y el sur occidente de Colombia.

Determination of the Integral/SPI instrumental response and his application to the observation of gamma ray lines in the Vela region

International Nuclear Information System (INIS)

Attie, D.

2005-01-01

The INTEGRAL/SPI spectrometer was designed to observe the sky in the energy band of 20 keV to 8 MeV. The specificity of instrument SPI rests on the excellent spectral resolution (2.3 keV with 1 MeV) of its detecting plan, composed of 19 cooled germanium crystals; covering an effective area of 508 cm 2 . The use of a coded mask, located at 1.7 m above the detection plan ensures to it a resolving power of 2.5 degrees. The aim of this thesis, begun before the INTEGRAL launch, is made up of two parts. The first part relates to the analysis of the spectrometer calibration data. The objective was to measure and check the performances of the telescope, in particular to validate simulations of the INTEGRAL/SPI instrument response. This objective was successfully achieved. This analysis also highlights the presence of a significant instrumental background noise. Whereas, the second part concentrates on the data analysis of the Vela region observations. I have approached two astrophysical topics dealing with: - the search for radioactive decays lines of titanium-44, which is produced by explosive nucleosynthesis, in the supernova remnant of Vela Junior and, - the search of cyclotron resonance scattering features expected towards 25 keV and 52 keV in the accreting pulsar spectrum of the x-ray binary star Vela X-1. Putting forward the hypothesis that the result obtained previously by COMPTEL is correct and considering the no-detection of the titanium-44 lines by SPI, we give a lower limit at 4500 km s -1 for the ejecta velocity from Vela Junior. The analysis on the research of the cyclotron lines have shown that the results are very sensitive to the instrumental background. Thorough studies will be necessary to guarantee an unambiguous detection of these lines. (author)

SpiCAD: Integrated environment for circuitry simulation with SPICE code

Energy Technology Data Exchange (ETDEWEB)

D' Amore, D; Padovini, G; Santomauro, M [Politecnico di Milano (Italy). Dip. di Elettronica

1991-11-01

SPICE is one of the most commonly used programs for the simulation of the behaviour of electronic circuits. This article describes in detail the key design characteristics and capabilities of a computer environment called SpiCAD which integrates all the different phases of SPICE based circuitry simulation on a personal computer, i.e., the tracing of the electronics scheme, simulation and visualization of the results so as to help define semiconductor device models, determine input signals, construct macro-models and convert design sketches into formats acceptable to graphic systems.

Tests of the equivalence principle with neutral kaons

CERN Document Server

Apostolakis, Alcibiades J; Backenstoss, Gerhard; Bargassa, P; Behnke, O; Benelli, A; Bertin, V; Blanc, F; Bloch, P; Carlson, P J; Carroll, M; Cawley, E; Chardin, G; Chertok, M B; Danielsson, M; Dejardin, M; Derré, J; Ealet, A; Eleftheriadis, C; Faravel, L; Fetscher, W; Fidecaro, Maria; Filipcic, A; Francis, D; Fry, J; Gabathuler, Erwin; Gamet, R; Gerber, H J; Go, A; Haselden, A; Hayman, P J; Henry-Coüannier, F; Hollander, R W; Jon-And, K; Kettle, P R; Kokkas, P; Kreuger, R; Le Gac, R; Leimgruber, F; Mandic, I; Manthos, N; Marel, Gérard; Mikuz, M; Miller, J; Montanet, François; Müller, A; Nakada, Tatsuya; Pagels, B; Papadopoulos, I M; Pavlopoulos, P; Polivka, G; Rickenbach, R; Roberts, B L; Ruf, T; Sakelliou, L; Schäfer, M; Schaller, L A; Schietinger, T; Schopper, A; Tauscher, Ludwig; Thibault, C; Touchard, F; Touramanis, C; van Eijk, C W E; Vlachos, S; Weber, P; Wigger, O; Wolter, M; Zavrtanik, D; Zimmerman, D; Ellis, Jonathan Richard; Mavromatos, Nikolaos E; Nanopoulos, Dimitri V

1999-01-01

We test the Principle of Equivalence for particles and antiparticles, using CPLEAR data on tagged Pkao and Pkab decays into $pi^+ pi^-$. For the first time, we search for possible annual, monthly and diurnal modulations of the observables $|eta_{+-}|$ and $phi _{+-}$, that could be correlated with variations in astrophysical potentials. Within the accuracy of CPLEAR, the measured values of $|eta _{+-}|$ and $phi _{+-}$ are found not to be correlated with changes of the gravitational potential. We analyze data assuming effective scalar, vector and tensor interactions, and we conclude that the Principle of Equivalence between particles and antiparticles holds to a level of $6.5$, $4.3$ and $1.8 imes 10^{-9}$, respectively, for scalar, vector and tensor potentials originating from the Sun with a range much greater than the distance Earth-Sun. We also study energy-dependent effects that might arise from vector or tensor interactions. Finally, we compile upper limits on the gravitational coupling difference betwee...

MICROSCOPE Mission: First Results of a Space Test of the Equivalence Principle.

Science.gov (United States)

Touboul, Pierre; Métris, Gilles; Rodrigues, Manuel; André, Yves; Baghi, Quentin; Bergé, Joël; Boulanger, Damien; Bremer, Stefanie; Carle, Patrice; Chhun, Ratana; Christophe, Bruno; Cipolla, Valerio; Damour, Thibault; Danto, Pascale; Dittus, Hansjoerg; Fayet, Pierre; Foulon, Bernard; Gageant, Claude; Guidotti, Pierre-Yves; Hagedorn, Daniel; Hardy, Emilie; Huynh, Phuong-Anh; Inchauspe, Henri; Kayser, Patrick; Lala, Stéphanie; Lämmerzahl, Claus; Lebat, Vincent; Leseur, Pierre; Liorzou, Françoise; List, Meike; Löffler, Frank; Panet, Isabelle; Pouilloux, Benjamin; Prieur, Pascal; Rebray, Alexandre; Reynaud, Serge; Rievers, Benny; Robert, Alain; Selig, Hanns; Serron, Laura; Sumner, Timothy; Tanguy, Nicolas; Visser, Pieter

2017-12-08

According to the weak equivalence principle, all bodies should fall at the same rate in a gravitational field. The MICROSCOPE satellite, launched in April 2016, aims to test its validity at the 10^{-15} precision level, by measuring the force required to maintain two test masses (of titanium and platinum alloys) exactly in the same orbit. A nonvanishing result would correspond to a violation of the equivalence principle, or to the discovery of a new long-range force. Analysis of the first data gives δ(Ti,Pt)=[-1±9(stat)±9(syst)]×10^{-15} (1σ statistical uncertainty) for the titanium-platinum Eötvös parameter characterizing the relative difference in their free-fall accelerations.

MICROSCOPE Mission: First Results of a Space Test of the Equivalence Principle

Science.gov (United States)

Touboul, Pierre; Métris, Gilles; Rodrigues, Manuel; André, Yves; Baghi, Quentin; Bergé, Joël; Boulanger, Damien; Bremer, Stefanie; Carle, Patrice; Chhun, Ratana; Christophe, Bruno; Cipolla, Valerio; Damour, Thibault; Danto, Pascale; Dittus, Hansjoerg; Fayet, Pierre; Foulon, Bernard; Gageant, Claude; Guidotti, Pierre-Yves; Hagedorn, Daniel; Hardy, Emilie; Huynh, Phuong-Anh; Inchauspe, Henri; Kayser, Patrick; Lala, Stéphanie; Lämmerzahl, Claus; Lebat, Vincent; Leseur, Pierre; Liorzou, Françoise; List, Meike; Löffler, Frank; Panet, Isabelle; Pouilloux, Benjamin; Prieur, Pascal; Rebray, Alexandre; Reynaud, Serge; Rievers, Benny; Robert, Alain; Selig, Hanns; Serron, Laura; Sumner, Timothy; Tanguy, Nicolas; Visser, Pieter

2017-12-01

According to the weak equivalence principle, all bodies should fall at the same rate in a gravitational field. The MICROSCOPE satellite, launched in April 2016, aims to test its validity at the 10-15 precision level, by measuring the force required to maintain two test masses (of titanium and platinum alloys) exactly in the same orbit. A nonvanishing result would correspond to a violation of the equivalence principle, or to the discovery of a new long-range force. Analysis of the first data gives δ (Ti ,Pt )=[-1 ±9 (stat)±9 (syst)]×10-15 (1 σ statistical uncertainty) for the titanium-platinum Eötvös parameter characterizing the relative difference in their free-fall accelerations.

The Development of Proofs in Analytical Mathematics for Undergraduate Students

Science.gov (United States)

Ali, Maselan; Sufahani, Suliadi; Hasim, Nurnazifa; Saifullah Rusiman, Mohd; Roslan, Rozaini; Mohamad, Mahathir; Khalid, Kamil

2018-04-01

Proofs in analytical mathematics are essential parts of mathematics, difficult to learn because its underlying concepts are not visible. This research consists of problems involving logic and proofs. In this study, a short overview was provided on how proofs in analytical mathematics were used by university students. From the results obtained, excellent students obtained better scores compared to average and poor students. The research instruments used in this study consisted of two parts: test and interview. In this way, analysis of students’ actual performances can be obtained. The result of this study showed that the less able students have fragile conceptual and cognitive linkages but the more able students use their strong conceptual linkages to produce effective solutions

High sensitivity tests of the Pauli Exclusion Principle with VIP2

CERN Document Server

Marton, J; Bertolucci, S; Berucci, C; Bragadireanu, M; Cargnelli, M; Curceanu, C; Clozza, A; Di Matteo, S; Egger, J-P; Guaraldo, C; Iliescu, M; Ishiwatari, T; Laubenstein, M; Milotti, E; Pichler, A; Pietreanu, D; Piscicchia, K; Ponta, T; Scordo, A; Shi, H; Sirghi, D L; Sirghi, F; Sperandio, L; Doce, O Vazquez; Widmann, E; Zmeskal, J

2015-01-01

The Pauli Exclusion Principle is one of the most fundamental rules of nature and represents a pillar of modern physics. According to many observations the Pauli Exclusion Principle must be extremely well fulfilled. Nevertheless, numerous experimental investigations were performed to search for a small violation of this principle. The VIP experiment at the Gran Sasso underground laboratory searched for Pauli-forbidden X-ray transitions in copper atoms using the Ramberg-Snow method and obtained the best limit so far. The follow-up experiment VIP2 is designed to reach even higher sensitivity. It aims to improve the limit by VIP by orders of magnitude. The experimental method, comparison of different PEP tests based on different assumptions and the developments for VIP2 are presented.

The congruences of a finite lattice a "proof-by-picture" approach

CERN Document Server

Grätzer, George

2016-01-01

This is a self-contained exposition by one of the leading experts in lattice theory, George Grätzer, presenting the major results of the last 70 years on congruence lattices of finite lattices, featuring the author's signature Proof-by-Picture method. Key features: * Insightful discussion of techniques to construct "nice" finite lattices with given congruence lattices and "nice" congruence-preserving extensions * Contains complete proofs, an extensive bibliography and index, and over 140 illustrations * This new edition includes two new parts on Planar Semimodular Lattices and The Order of Principle Congruences, covering the research of the last 10 years The book is appropriate for a one-semester graduate course in lattice theory, and it is a practical reference for researchers studying lattices. Reviews of the first edition: "There exist a lot of interesting results in this area of lattice theory, and some of them are presented in this book. [This] monograph…is an exceptional work in lattice theory, like ...

“Habits of employees”: smoking, spies, and shopfloor culture at Hammermill Paper Company.

Science.gov (United States)

Wood, Gregory

2011-01-01

As cigarette smoking expanded dramatically during the early twentieth century, it brought more and more workers into conflict with the policies and demands of the manufacturers who employed them. As this paper shows, addiction to nicotine ignited daily struggles over workers’ shopfloor rights and the ability of employers to set rules, establish discipline, and monitor behavior. A specific set of records from the archives of the Hammermill Paper Company, a paper manufacturer once based in Erie, Pennsylvania, provide a unique opportunity to explore the impact of cigarette consumption on labor relations during the era of mass production, as two nosy factory spies probed and documented worker actions and attitudes in the summer of 1915. As a result of their intelligence gathering, the spies discovered a factory-wide work culture rooted in the addictive pleasure of cigarette smoke. This discovery worried them. Worker-smokers needed to dampen their hunger for nicotine with frequent, and often clandestine, breaks from work, typically in defiance of “no-smoking” rules, employer designations for the uses of factory space, and bosses’ demands for continuous production. Highlighting the intersections of the histories of labor, smoking, and addiction, this paper argues that cigarettes were a key battleground in workers’ and managers’ intensifying struggles over who really controlled the industrial shopfloor during the early 1900s.

A PROOF Analysis Framework

International Nuclear Information System (INIS)

González Caballero, I; Cuesta Noriega, A; Rodríguez Marrero, A; Fernández del Castillo, E

2012-01-01

The analysis of the complex LHC data usually follows a standard path that aims at minimizing not only the amount of data but also the number of observables used. After a number of steps of slimming and skimming the data, the remaining few terabytes of ROOT files hold a selection of the events and a flat structure for the variables needed that can be more easily inspected and traversed in the final stages of the analysis. PROOF arises at this point as an efficient mechanism to distribute the analysis load by taking advantage of all the cores in modern CPUs through PROOF Lite, or by using PROOF Cluster or PROOF on Demand tools to build dynamic PROOF cluster on computing facilities with spare CPUs. However using PROOF at the level required for a serious analysis introduces some difficulties that may scare new adopters. We have developed the PROOF Analysis Framework (PAF) to facilitate the development of new analysis by uniformly exposing the PROOF related configurations across technologies and by taking care of the routine tasks as much as possible. We describe the details of the PAF implementation as well as how we succeeded in engaging a group of CMS physicists to use PAF as their daily analysis framework.

Laboratory open-quotes proof of principleclose quotes investigation for the acoustically enhanced remediation technology

International Nuclear Information System (INIS)

Iovenitti, J.L.; Spencer, J.W.; Hill, D.G.

1995-01-01

This document describes a three phase program of Weiss Associates which investigates the systematics of using acoustic excitation fields (AEFs) to enhance the in-situ remediation of contaminated soil and ground water under both saturated and unsaturated conditions. The focus in this particular paper is a laboratory proof of principle investigation. The field deployment and engineering viability of acoustically enhanced remediation technology is also examined

Test of the Equivalence Principle in an Einstein Elevator

Science.gov (United States)

Shapiro, Irwin I.; Glashow, S.; Lorenzini, E. C.; Cosmo, M. L.; Cheimets, P. N.; Finkelstein, N.; Schneps, M.

2005-01-01

This Annual Report illustrates the work carried out during the last grant-year activity on the Test of the Equivalence Principle in an Einstein Elevator. The activity focused on the following main topics: (1) analysis and conceptual design of a detector configuration suitable for the flight tests; (2) development of techniques for extracting a small signal from data strings with colored and white noise; (3) design of the mechanism that spins and releases the instrument package inside the cryostat; and (4) experimental activity carried out by our non-US partners (a summary is shown in this report). The analysis and conceptual design of the flight-detector (point 1) was focused on studying the response of the differential accelerometer during free fall, in the presence of errors and precession dynamics, for various detector's configurations. The goal was to devise a detector configuration in which an Equivalence Principle violation (EPV) signal at the sensitivity threshold level can be successfully measured and resolved out of a much stronger dynamics-related noise and gravity gradient. A detailed analysis and comprehensive simulation effort led us to a detector's design that can accomplish that goal successfully.

Proponents of Creationism but not Proponents of Evolution Frame the Origins Debate in Terms of Proof

Science.gov (United States)

Barnes, Ralph M.; Church, Rebecca A.

2013-03-01

In Study 1, 72 internet documents containing creationism, ID (intelligent design), or evolution content were selected for analysis. All instances of proof cognates (the word "proof" and related terms such as "proven", "disproof", etc.) contained within these documents were identified and labeled in terms of the manner in which the terms were used. In Study 2, frequency counts for six terms (proof, evidence, establish, experiment, test, trial) were conducted on a sample of peer-reviewed research articles in the journal Science and the 72 internet documents included in Study 1. Quantitative and qualitative analyses revealed that proponents of creationism were much more likely than proponents of evolution to frame the creationism/evolution issue in terms of proof (ID proponents fell partway between the other two). Proponents of creationism frequently described empirical data favoring their position as proof of their position. Even more frequently, proponents of creationism described evolutionary scientists as being engaged in failed attempts to prove the truth of the evolutionary position. Evolution documents included fewer proof cognates than creationism or ID documents and the few proof cognates found in evolution documents were rarely used to describe the status of the theory of evolution. Qualitative data analysis indicated that proof cognates were often used to indicate certainty. The asymmetry between evolution and creationism documents was limited primarily to proof cognates; there were no major asymmetries for the terms evidence, establish, experiment, test, and trial. The results may reveal differences in the epistemological commitments of the involved parties.

The precautionary principle and high-level nuclear waste policy

International Nuclear Information System (INIS)

Frishman, S.

1999-01-01

The 'Precautionary Principle' has grown from the broadening observation that there is compelling evidence that damage to humans and the world-wide environment is of such a magnitude and seriousness that new principles for conducting human activities are necessary. One of the various statements of the Precautionary Principle is: when an activity raises threats of harm to human health or the environment, precautionary measures should be taken even if some cause and effect relationships are not fully established scientifically. The use of a precautionary principle was a significant recommendation emerging from the 1992 United Nations Conference on Environment and Development, held in Rio de Janeiro, Brazil, and it is gaining acceptance in discussions ranging from global warming to activities that affect the marine environment, and far beyond. In the US high-level nuclear waste policy, there is a growing trend on the part of geologic repository proponents and regulators to shift the required safety evaluation from a deterministic analysis of natural and engineered barriers and their interactions to risk assessments and total system waste containment and isolation performance assessment. This is largely a result of the realisation that scientific 'proof' of safety cannot be demonstrated to the level repository proponents have led the American public to expect. Therefore, they are now developing other methods in an attempt to effectively lower the repository safety expectations of the public. Implicit in this shift in demonstration of 'proof' is that levels of uncertainty far larger than those generally taken as scientifically acceptable must be accepted in repository safety, simply because greater certainty is either too costly, in time and money, or impossible to achieve at the potential Yucca Mountain repository site. In the context of the Precautionary Principle, the repository proponent must bear the burden of providing 'Acceptable' proof, established by an open

Testing aspects of advanced coherent electron cooling technique

Energy Technology Data Exchange (ETDEWEB)

Litvinenko, V.; Jing, Y.; Pinayev, I.; Wang, G.; Samulyak, R.; Ratner, D.

2015-05-03

An advanced version of the Coherent-electron Cooling (CeC) based on the micro-bunching instability was proposed. This approach promises significant increase in the bandwidth of the CeC system and, therefore, significant shortening of cooling time in high-energy hadron colliders. In this paper we present our plans of simulating and testing the key aspects of this proposed technique using the set-up of the coherent-electron-cooling proof-of-principle experiment at BNL.