LIVIVO - The Search Portal for Life Sciences

zur deutschen Oberfläche wechseln
Advanced search

Search results

Result 1 - 7 of total 7

Search options

  1. Book: Characterizing Kripke structures in temporal logic

    Browne, M. C / Clarke, E. M / Grumberg, O

    (Computer Science Department, Carnegie-Mellon University ; 87,104)

    1987  

    Title variant Kripe
    Author's details M. C. Browne, E. M. Clarke, O. Grumberg
    Series title Computer Science Department, Carnegie-Mellon University ; 87,104
    Language English
    Size II, 18 S, graph. Darst
    Publisher Computer Science Dep., Carnegie-Mellon Univ
    Publishing place Pittsburgh, Pa
    Document type Book
    Database Former special subject collection: coastal and deep sea fishing

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  2. Book: Characterizing Kripke structures in temporal logic

    Browne, M. C / Clarke, E. M / Grumberg, O

    (Computer Science Department, Carnegie-Mellon University ; 87,104)

    1987  

    Title variant Kripe
    Author's details M. C. Browne, E. M. Clarke, O. Grumberg
    Series title Computer Science Department, Carnegie-Mellon University ; 87,104
    Language English
    Size II, 18 S, graph. Darst
    Publisher Computer Science Dep., Carnegie-Mellon Univ
    Publishing place Pittsburgh, Pa
    Document type Book
    Database Library catalogue of the German National Library of Science and Technology (TIB), Hannover

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  3. Article: Ways and means of improving our diets; and half of us need to

    Spindler, E.B / Browne, M.C

    1969

    1969  

    Keywords human nutrition ; family and consumer science ; food science
    Language English
    Size p. 319-324.
    Document type Article
    Database NAL-Catalogue (AGRICOLA)

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  4. Article: Independent measurement of the total active 8B solar neutrino flux using an array of 3He proportional counters at the Sudbury Neutrino Observatory.

    Aharmim, B / Ahmed, S N / Amsbaugh, J F / Anthony, A E / Banar, J / Barros, N / Beier, E W / Bellerive, A / Beltran, B / Bergevin, M / Biller, S D / Boudjemline, K / Boulay, M G / Bowles, T J / Browne, M C / Bullard, T V / Burritt, T H / Cai, B / Chan, Y D /
    Chauhan, D / Chen, M / Cleveland, B T / Cox-Mobrand, G A / Currat, C A / Dai, X / Deng, H / Detwiler, J / DiMarco, M / Doe, P J / Doucas, G / Drouin, P-L / Duba, C A / Duncan, F A / Dunford, M / Earle, E D / Elliott, S R / Evans, H C / Ewan, G T / Farine, J / Fergani, H / Fleurot, F / Ford, R J / Formaggio, J A / Fowler, M M / Gagnon, N / Germani, J V / Goldschmidt, A / Goon, J T M / Graham, K / Guillian, E / Habib, S / Hahn, R L / Hallin, A L / Hallman, E D / Hamian, A A / Harper, G C / Harvey, P J / Hazama, R / Heeger, K M / Heintzelman, W J / Heise, J / Helmer, R L / Henning, R / Hime, A / Howard, C / Howe, M A / Huang, M / Jagam, P / Jamieson, B / Jelley, N A / Keeter, K J / Klein, J R / Kormos, L L / Kos, M / Krüger, A / Kraus, C / Krauss, C B / Kutter, T / Kyba, C C M / Lange, R / Law, J / Lawson, I T / Lesko, K T / Leslie, J R / Loach, J C / MacLellan, R / Majerus, S / Mak, H B / Maneira, J / Martin, R / McBryde, K / McCauley, N / McDonald, A B / McGee, S / Mifflin, C / Miller, G G / Miller, M L / Monreal, B / Monroe, J / Morissette, B / Myers, A / Nickel, B G / Noble, A J / Oblath, N S / O'Keeffe, H M / Ollerhead, R W / Gann, G D Orebi / Oser, S M / Ott, R A / Peeters, S J M / Poon, A W P / Prior, G / Reitzner, S D / Rielage, K / Robertson, B C / Robertson, R G H / Rollin, E / Schwendener, M H / Secrest, J A / Seibert, S R / Simard, O / Simpson, J J / Sinclair, L / Skensved, P / Smith, M W E / Steiger, T D / Stonehill, L C / Tesić, G / Thornewell, P M / Tolich, N / Tsui, T / Tunnell, C D / Van Wechel, T / Van Berg, R / VanDevender, B A / Virtue, C J / Walker, T J / Wall, B L / Waller, D / Tseung, H Wan Chan / Wendland, J / West, N / Wilhelmy, J B / Wilkerson, J F / Wilson, J R / Wouters, J M / Wright, A / Yeh, M / Zhang, F / Zuber, K

    Physical review letters

    2008  Volume 101, Issue 11, Page(s) 111301

    Abstract: The Sudbury Neutrino Observatory (SNO) used an array of 3He proportional counters to measure the rate of neutral-current interactions in heavy water and precisely determined the total active (nu_x) 8B solar neutrino flux. This technique is independent of ...

    Abstract The Sudbury Neutrino Observatory (SNO) used an array of 3He proportional counters to measure the rate of neutral-current interactions in heavy water and precisely determined the total active (nu_x) 8B solar neutrino flux. This technique is independent of previous methods employed by SNO. The total flux is found to be 5.54_-0.31;+0.33(stat)-0.34+0.36(syst)x10(6) cm(-2) s(-1), in agreement with previous measurements and standard solar models. A global analysis of solar and reactor neutrino results yields Deltam2=7.59_-0.21;+0.19x10(-5) eV2 and theta=34.4_-1.2;+1.3 degrees. The uncertainty on the mixing angle has been reduced from SNO's previous results.
    Language English
    Publishing date 2008-09-12
    Publishing country United States
    Document type Journal Article
    ZDB-ID 208853-8
    ISSN 1079-7114 ; 0031-9007
    ISSN (online) 1079-7114
    ISSN 0031-9007
    DOI 10.1103/PhysRevLett.101.111301
    Database MEDical Literature Analysis and Retrieval System OnLINE

    More links

    Kategorien

    In stock of ZB MED Bonn / Germany

    Z 4' 58/153: Show issues

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  5. Article: Direct evidence for neutrino flavor transformation from neutral-current interactions in the Sudbury Neutrino Observatory.

    Ahmad, Q R / Allen, R C / Andersen, T C / D Anglin, J / Barton, J C / Beier, E W / Bercovitch, M / Bigu, J / Biller, S D / Black, R A / Blevis, I / Boardman, R J / Boger, J / Bonvin, E / Boulay, M G / Bowler, M G / Bowles, T J / Brice, S J / Browne, M C /
    Bullard, T V / Bühler, G / Cameron, J / Chan, Y D / Chen, H H / Chen, M / Chen, X / Cleveland, B T / Clifford, E T H / Cowan, J H M / Cowen, D F / Cox, G A / Dai, X / Dalnoki-Veress, F / Davidson, W F / Doe, P J / Doucas, G / Dragowsky, M R / Duba, C A / Duncan, F A / Dunford, M / Dunmore, J A / Earle, E D / Elliott, S R / Evans, H C / Ewan, G T / Farine, J / Fergani, H / Ferraris, A P / Ford, R J / Formaggio, J A / Fowler, M M / Frame, K / Frank, E D / Frati, W / Gagnon, N / Germani, J V / Gil, S / Graham, K / Grant, D R / Hahn, R L / Hallin, A L / Hallman, E D / Hamer, A S / Hamian, A A / Handler, W B / Haq, R U / Hargrove, C K / Harvey, P J / Hazama, R / Heeger, K M / Heintzelman, W J / Heise, J / Helmer, R L / Hepburn, J D / Heron, H / Hewett, J / Hime, A / Howe, M / Hykawy, J G / Isaac, M C P / Jagam, P / Jelley, N A / Jillings, C / Jonkmans, G / Kazkaz, K / Keener, P T / Klein, J R / Knox, A B / Komar, R J / Kouzes, R / Kutter, T / Kyba, C C M / Law, J / Lawson, I T / Lay, M / Lee, H W / Lesko, K T / Leslie, J R / Levine, I / Locke, W / Luoma, S / Lyon, J / Majerus, S / Mak, H B / Maneira, J / Manor, J / Marino, A D / McCauley, N / McDonald, A B / McDonald, D S / McFarlane, K / McGregor, G / Meijer Drees, R / Mifflin, C / Miller, G G / Milton, G / Moffat, B A / Moorhead, M / Nally, C W / Neubauer, M S / Newcomer, F M / Ng, H S / Noble, A J / Norman, E B / Novikov, V M / O'Neill, M / Okada, C E / Ollerhead, R W / Omori, M / Orrell, J L / Oser, S M / Poon, A W P / Radcliffe, T J / Roberge, A / Robertson, B C / Robertson, R G H / Rosendahl, S S E / Rowley, J K / Rusu, V L / Saettler, E / Schaffer, K K / Schwendener, M H / Schülke, A / Seifert, H / Shatkay, M / Simpson, J J / Sims, C J / Sinclair, D / Skensved, P / Smith, A R / Smith, M W E / Spreitzer, T / Starinsky, N / Steiger, T D / Stokstad, R G / Stonehill, L C / Storey, R S / Sur, B / Tafirout, R / Tagg, N / Tanner, N W / Taplin, R K / Thorman, M / Thornewell, P M / Trent, P T / Tserkovnyak, Y I / Van Berg, R / Van de Water, R G / Virtue, C J / Waltham, C E / Wang, J-X / Wark, D L / West, N / Wilhelmy, J B / Wilkerson, J F / Wilson, J R / Wittich, P / Wouters, J M / Yeh, M

    Physical review letters

    2002  Volume 89, Issue 1, Page(s) 11301

    Abstract: Observations of neutral-current nu interactions on deuterium in the Sudbury Neutrino Observatory are reported. Using the neutral current (NC), elastic scattering, and charged current reactions and assuming the standard 8B shape, the nu(e) component of ... ...

    Abstract Observations of neutral-current nu interactions on deuterium in the Sudbury Neutrino Observatory are reported. Using the neutral current (NC), elastic scattering, and charged current reactions and assuming the standard 8B shape, the nu(e) component of the 8B solar flux is phis(e) = 1.76(+0.05)(-0.05)(stat)(+0.09)(-0.09)(syst) x 10(6) cm(-2) s(-1) for a kinetic energy threshold of 5 MeV. The non-nu(e) component is phi(mu)(tau) = 3.41(+0.45)(-0.45)(stat)(+0.48)(-0.45)(syst) x 10(6) cm(-2) s(-1), 5.3sigma greater than zero, providing strong evidence for solar nu(e) flavor transformation. The total flux measured with the NC reaction is phi(NC) = 5.09(+0.44)(-0.43)(stat)(+0.46)(-0.43)(syst) x 10(6) cm(-2) s(-1), consistent with solar models.
    Language English
    Publishing date 2002-07-01
    Publishing country United States
    Document type Journal Article
    ZDB-ID 208853-8
    ISSN 1079-7114 ; 0031-9007
    ISSN (online) 1079-7114
    ISSN 0031-9007
    DOI 10.1103/PhysRevLett.89.011301
    Database MEDical Literature Analysis and Retrieval System OnLINE

    More links

    Kategorien

    In stock of ZB MED Bonn / Germany

    Z 4' 58/153: Show issues

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  6. Article: Measurement of day and night neutrino energy spectra at SNO and constraints on neutrino mixing parameters.

    Ahmad, Q R / Allen, R C / Andersen, T C / Anglin, J D / Barton, J C / Beier, E W / Bercovitch, M / Bigu, J / Biller, S D / Black, R A / Blevis, I / Boardman, R J / Boger, J / Bonvin, E / Boulay, M G / Bowler, M G / Bowles, T J / Brice, S J / Browne, M C /
    Bullard, T V / Bühler, G / Cameron, J / Chan, Y D / Chen, H H / Chen, M / Chen, X / Cleveland, B T / Clifford, E T H / Cowan, J H M / Cowen, D F / Cox, G A / Dai, X / Dalnoki-Veress, F / Davidson, W F / Doe, P J / Doucas, G / Dragowsky, M R / Duba, C A / Duncan, F A / Dunford, M / Dunmore, J A / Earle, E D / Elliott, S R / Evans, H C / Ewan, G T / Farine, J / Fergani, H / Ferraris, A P / Ford, R J / Formaggio, J A / Fowler, M M / Frame, K / Frank, E D / Frati, W / Gagnon, N / Germani, J V / Gil, S / Graham, K / Grant, D R / Hahn, R L / Hallin, A L / Hallman, E D / Hamer, A S / Hamian, A A / Handler, W B / Haq, R U / Hargrove, C K / Harvey, P J / Hazama, R / Heeger, K M / Heintzelman, W J / Heise, J / Helmer, R L / Hepburn, J D / Heron, H / Hewett, J / Hime, A / Howe, M / Hykawy, J G / Isaac, M C P / Jagam, P / Jelley, N A / Jillings, C / Jonkmans, G / Kazkaz, K / Keener, P T / Klein, J R / Knox, A B / Komar, R J / Kouzes, R / Kutter, T / Kyba, C C M / Law, J / Lawson, I T / Lay, M / Lee, H W / Lesko, K T / Leslie, J R / Levine, I / Locke, W / Luoma, S / Lyon, J / Majerus, S / Mak, H B / Maneira, J / Manor, J / Marino, A D / McCauley, N / McDonald, A B / McDonald, D S / McFarlane, K / McGregor, G / Meijer Drees, R / Mifflin, C / Miller, G G / Milton, G / Moffat, B A / Moorhead, M / Nally, C W / Neubauer, M S / Newcomer, F M / Ng, H S / Noble, A J / Norman, E B / Novikov, V M / O'Neill, M / Okada, C E / Ollerhead, R W / Omori, M / Orrell, J L / Oser, S M / Poon, A W P / Radcliffe, T J / Roberge, A / Robertson, B C / Robertson, R G H / Rosendahl, S S E / Rowley, J K / Rusu, V L / Saettler, E / Schaffer, K K / Schwendener, M H / Schülke, A / Seifert, H / Shatkay, M / Simpson, J J / Sims, C J / Sinclair, D / Skensved, P / Smith, A R / Smith, M W E / Spreitzer, T / Starinsky, N / Steiger, T D / Stokstad, R G / Stonehill, L C / Storey, R S / Sur, B / Tafirout, R / Tagg, N / Tanner, N W / Taplin, R K / Thorman, M / Thornewell, P M / Trent, P T / Tserkovnyak, Y I / Van Berg, R / Van de Water, R G / Virtue, C J / Waltham, C E / Wang, J-X / Wark, D L / West, N / Wilhelmy, J B / Wilkerson, J F / Wilson, J R / Wittich, P / Wouters, J M / Yeh, M

    Physical review letters

    2002  Volume 89, Issue 1, Page(s) 11302

    Abstract: The Sudbury Neutrino Observatory (SNO) has measured day and night solar neutrino energy spectra and rates. For charged current events, assuming an undistorted 8B spectrum, the night minus day rate is 14.0%+/-6.3%(+1.5%)(-1.4%) of the average rate. If the ...

    Abstract The Sudbury Neutrino Observatory (SNO) has measured day and night solar neutrino energy spectra and rates. For charged current events, assuming an undistorted 8B spectrum, the night minus day rate is 14.0%+/-6.3%(+1.5%)(-1.4%) of the average rate. If the total flux of active neutrinos is additionally constrained to have no asymmetry, the nu(e) asymmetry is found to be 7.0%+/-4.9%(+1.3%)(-1.2%). A global solar neutrino analysis in terms of matter-enhanced oscillations of two active flavors strongly favors the large mixing angle solution.
    Language English
    Publishing date 2002-07-01
    Publishing country United States
    Document type Journal Article
    ZDB-ID 208853-8
    ISSN 1079-7114 ; 0031-9007
    ISSN (online) 1079-7114
    ISSN 0031-9007
    DOI 10.1103/PhysRevLett.89.011302
    Database MEDical Literature Analysis and Retrieval System OnLINE

    More links

    Kategorien

    In stock of ZB MED Bonn / Germany

    Z 4' 58/153: Show issues

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  7. Article: Measurement of the rate of nu(e) + d --> p + p + e(-) interactions produced by (8)B solar neutrinos at the Sudbury Neutrino Observatory.

    Ahmad, Q R / Allen, R C / Andersen, T C / Anglin, J D / Bühler, G / Barton, J C / Beier, E W / Bercovitch, M / Bigu, J / Biller, S / Black, R A / Blevis, I / Boardman, R J / Boger, J / Bonvin, E / Boulay, M G / Bowler, M G / Bowles, T J / Brice, S J /
    Browne, M C / Bullard, T V / Burritt, T H / Cameron, K / Cameron, J / Chan, Y D / Chen, M / Chen, H H / Chen, X / Chon, M C / Cleveland, B T / Clifford, E T / Cowan, J H / Cowen, D F / Cox, G A / Dai, Y / Dai, X / Dalnoki-Veress, F / Davidson, W F / Doe, P J / Doucas, G / Dragowsky, M R / Duba, C A / Duncan, F A / Dunmore, J / Earle, E D / Elliott, S R / Evans, H C / Ewan, G T / Farine, J / Fergani, H / Ferraris, A P / Ford, R J / Fowler, M M / Frame, K / Frank, E D / Frati, W / Germani, J V / Gil, S / Goldschmidt, A / Grant, D R / Hahn, R L / Hallin, A L / Hallman, E D / Hamer, A / Hamian, A A / Haq, R U / Hargrove, C K / Harvey, P J / Hazama, R / Heaton, R / Heeger, K M / Heintzelman, W J / Heise, J / Helmer, R L / Hepburn, J D / Heron, H / Hewett, J / Hime, A / Howe, M / Hykawy, J G / Isaac, M C / Jagam, P / Jelley, N A / Jillings, C / Jonkmans, G / Karn, J / Keener, P T / Kirch, K / Klein, J R / Knox, A B / Komar, R J / Kouzes, R / Kutter, T / Kyba, C C / Law, J / Lawson, I T / Lay, M / Lee, H W / Lesko, K T / Leslie, J R / Levine, I / Locke, W / Lowry, M M / Luoma, S / Lyon, J / Majerus, S / Mak, H B / Marino, A D / McCauley, N / McDonald, A B / McDonald, D S / McFarlane, K / McGregor, G / McLatchie, W / Meijer Drees, R / Mes, H / Mifflin, C / Miller, G G / Milton, G / Moffat, B A / Moorhead, M / Nally, C W / Neubauer, M S / Newcomer, F M / Ng, H S / Noble, A J / Norman, E B / Novikov, V M / O'Neill, M / Okada, C E / Ollerhead, R W / Omori, M / Orrell, J L / Oser, S M / Poon, A W / Radcliffe, T J / Roberge, A / Robertson, B C / Robertson, R G / Rowley, J K / Rusu, V L / Saettler, E / Schaffer, K K / Schuelke, A / Schwendener, M H / Seifert, H / Shatkay, M / Simpson, J J / Sinclair, D / Skensved, P / Smith, A R / Smith, M W / Starinsky, N / Steiger, T D / Stokstad, R G / Storey, R S / Sur, B / Tafirout, R / Tagg, N / Tanner, N W / Taplin, R K / Thorman, M / Thornewell, P / Trent, P T / Tserkovnyak, Y I / Van Berg, R / Van de Water, R G / Virtue, C J / Waltham, C E / Wang, J X / Wark, D L / West, N / Wilhelmy, J B / Wilkerson, J F / Wilson, J / Wittich, P / Wouters, J M / Yeh, M

    Physical review letters

    2001  Volume 87, Issue 7, Page(s) 71301

    Abstract: Solar neutrinos from (8)B decay have been detected at the Sudbury Neutrino Observatory via the charged current (CC) reaction on deuterium and the elastic scattering (ES) of electrons. The flux of nu(e)'s is measured by the CC reaction rate to be straight ...

    Abstract Solar neutrinos from (8)B decay have been detected at the Sudbury Neutrino Observatory via the charged current (CC) reaction on deuterium and the elastic scattering (ES) of electrons. The flux of nu(e)'s is measured by the CC reaction rate to be straight phi(CC)(nu(e)) = 1.75 +/- 0.07(stat)(+0.12)(-0.11)(syst) +/- 0.05(theor) x 10(6) cm(-2) s(-1). Comparison of straight phi(CC)(nu(e)) to the Super-Kamiokande Collaboration's precision value of the flux inferred from the ES reaction yields a 3.3 sigma difference, assuming the systematic uncertainties are normally distributed, providing evidence of an active non- nu(e) component in the solar flux. The total flux of active 8B neutrinos is determined to be 5.44+/-0.99 x 10(6) cm(-2) s(-1).
    Language English
    Publishing date 2001-08-13
    Publishing country United States
    Document type Journal Article
    ZDB-ID 208853-8
    ISSN 1079-7114 ; 0031-9007
    ISSN (online) 1079-7114
    ISSN 0031-9007
    DOI 10.1103/PhysRevLett.87.071301
    Database MEDical Literature Analysis and Retrieval System OnLINE

    More links

    Kategorien

    In stock of ZB MED Bonn / Germany

    Z 4' 58/153: Show issues

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

To top