新規登録 | ログイン | FAQ      [?] 

タグ: b [118 articles]

Recent papers classified by the tag b.
  • Impact of HIV-1 Subtype and Antiretroviral Therapy on Protease and Reverse Transcriptase Genotype: Results of a Global Collaboration
    PLoS Medicine, Vol. 2, No. 4. (1 April 2005), e112.
    by Rami Kantor, David A Katzenstein, Brad Efron, Ana P Carvalho, Brian Wynhoven, Patricia Cane, John Clarke, Sunee Sirivichayakul, Marcelo A Soares, Joke Snoeck, Candice Pillay, Hagit Rudich, Rosangela Rodrigues, Africa Holguin, Koya Ariyoshi, Maria B Bouzas, Pedro Cahn, Wataru Sugiura, Vincent Soriano, Luis F Brigido, Zehava Grossman, Lynn Morris, Anne-Mieke Vandamme, Amilcar Tanuri, Praphan Phanuphak, Jonathan N Weber, Deenan Pillay, Richard P Harrigan, Ricardo Camacho, Jonathan M Schapiro, Robert W Shafer
    posted to substype b drug-resistance mutations non-subtype by wqshao on 2006-06-23 17:23:51 as read
  • Sons of the Sierra, Juarez, Diaz and the People of Ixtlan,Oaxaca, 18551920 - by Patrick J. McNamara
    Bulletin of Latin American Research, Vol. 27, No. 1. (January 2008), pp. 131-132.
    by Smith, T Benjamin
    posted to 19th b century juarez mexico by staciew on 2008-07-10 21:47:15 as **
  • Automated Boundary Testing from Z and B
    FME 2002: Formal Methods - Getting IT Right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002. Proceedings (2002), pp. 221-236.
    by Bruno Legeard, Fabien Peureux, Mark Utting
    posted to b softnet testing z by sjgaller on 2007-06-26 14:20:32 as read along with 2 groups Context-driven-testers Desgin-by-Contract
  • Java Applet Correctness: a Developer-Oriented Approach
    Vol. 2805/2003 (September 2003)
    by L Burdy, A Requet, J Lanet
    posted to tool b java softnet verification by sjgaller on 2007-06-01 18:49:08 as read along with 2 groups Context-driven-testers Desgin-by-Contract
  • Neutralizing antibodies derived from the B cells of 1918 influenza pandemic survivors
    Nature (17 August 2008)
    by Xiaocong Yu, Tshidi Tsibane, Patricia A Mcgraw, Frances S House, Christopher J Keefer, Mark D Hicar, Terrence M Tumpey, Claudia Pappas, Lucy A Perrone, Osvaldo Martinez, James Stevens, Ian A Wilson, Patricia V Aguilar, Eric L Altschuler, Christopher F Basler, James E Crowe
    posted to somatic neutralizing memory long lasting influenza hypermutation cells b antibodies 1918 by sg45653 on 2008-09-30 02:39:36 as ** along with 1 person and 1 group wsjames Oxford Virology
  • B cell targeted therapies: safety considerations.
    J Rheumatol Suppl, Vol. 77 (May 2006), pp. 18-23.
    by AF Kavanaugh
    posted to rituximab cell b by sfedson on 2007-01-15 16:38:53 as **
  • Rational Design of a Multiepitope Vaccine Encoding T-Lymphocyte Epitopes for Treatment of Chronic Hepatitis B Virus Infections
    J. Virol., Vol. 82, No. 1. (1 January 2008), pp. 435-450.
    by Erik Depla, Annegret Van der Aa, Brian D Livingston, Claire Crimi, Koen Allosery, Veronique De Brabandere, Jonathan Krakover, Sidharta Murthy, Manley Huang, Scott Power, Lilia Babe, Carol Dahlberg, Denise Mckinney, Alessandro Sette, Scott Southwood, Ramilla Philip, Mark J Newman, Lydie Meheus
    posted to b epitope hepatitis t-lymphocyte vaccine virus by sci91078 on 2007-12-17 02:01:04 as *****
  • Immunogenicity of protein therapeutics.
    Trends in immunology, Vol. 28, No. 11. (November 2007), pp. 482-490.
    by AS De Groot, DW Scott
    posted to immunogenicity biologics b by sahrazanetti on 2008-10-03 19:04:48 as **
  • p53 regulates glucose metabolism through an IKK-NF-κB pathway and inhibits cell transformation
    Nature Cell Biology, Vol. 10, No. 5. (06 April 2008), pp. 611-618.
    by Keiko Kawauchi, Keigo Araki, Kei Tobiume, Nobuyuki Tanaka
    posted to type tumor transporter transformation transduction transcription suppressor signal rna rela ras proteins protein physiology p53 neoplastic mice metabolism lactic knockout kinase interference i-kappa glycolysis glucose genetics genes fibroblasts factor cytology cultured cells cell b acid 3 by RubenE on 2008-09-15 13:50:15 as ***** along with 1 group CRI Cellular metabolism club
  • A novel NF-kappaB pathway involving IKKbeta and p65/RelA Ser-536 phosphorylation results in p53 Inhibition in the absence of NF-kappaB transcriptional activity.
    The Journal of biological chemistry, Vol. 280, No. 11. (18 March 2005), pp. 10326-10332.
    by SJ Jeong, CA Pise-Masison, MF Radonovich, HU Park, JN Brady
    posted to tumor transgenes transfection transcription trans-activation thiophenes tax t-lymphocytes suppressor serine rela protein-serine-threonine protein products plasmids phosphorylation pharmacology p53 nf-kappab mutation mice metabolism luciferases line kinases kinase immunoprecipitation i-kappa genetics genetic gene fibroblasts factor chemistry cell b apoptosis animals by RubenE on 2008-09-15 13:40:00 as *****
  • Draping of Cluster Magnetic Fields over Bullets and Bubbles-Morphology and Dynamic Effects
    Astrophys. J., Vol. 677 (April 2008), pp. 993-1018.
    by LJ Dursi, C Pfrommer
    posted to simulation bullet b by rsuhada on 2008-10-02 15:42:31 as **
  • Cluster Magnetic Fields from Galactic Outflows
    (6 Aug 2008)
    by J Donnert, K Dolag, H Lesch, E Müller
    posted to b icm simulation by rsuhada on 2008-08-08 09:42:00 as ** along with 3 people and 1 group lukasho 72Nova hallman Colorado Galaxy Clusters
  • Do Belgian parties undermine the democratic chain of delegation?
    West European Politics, Vol. 29, No. 5. (2006), pp. 957-976.
    by Lieven De Winter, Patrick Dumont
    posted to parties b by profgellner on 2008-09-25 13:05:31 as **
  • Immigration sceptics, xenophobes or racists? Radical right-wing voting in six West European countries
    European Journal of Political Research, Vol. 47, No. 6. (October 2008), pp. 737-765.
    by JENS Rydgren
    posted to populist-parties parties nl n f dk comparative b a by profgellner on 2008-10-03 10:36:55 as **
  • And the peace goes on? Consociational democracy and Belgian politics in the twenty-first century
    West European Politics, Vol. 29, No. 5. (2006), pp. 895-911.
    by Kris Deschouwer
    posted to parties consensus b by profgellner on 2008-09-25 13:09:39 as **
  • Punctuated Equilibrium and Agenda-Setting: Bringing Parties Back in: Policy Change after the Dutroux Crisis in Belgium
    Governance, Vol. 21, No. 3. (July 2008), pp. 365-395.
    by Stefaan Walgrave, Frederic Varone
    posted to public-policy governance b by profgellner on 2008-09-26 08:11:58 as **
  • Parliamentary Opposition in Post-Consociational Democracies: Austria, Belgium and the Netherlands
    Journal of Legislative Studies, Vol. 14, No. 1-2. (March 2008), pp. 77-112.
    by Andeweg, Rudy, De W And, Lieven, Muller, Wolfgang
    posted to parties parliament nl governance consensus b a by profgellner on 2008-09-26 11:22:18 as **
  • Party system(s) and electoral behaviour in Belgium: From stability to balkanisation
    West European Politics, Vol. 29, No. 5. (2006), pp. 933-956.
    by Lieven De Winter, Marc Swyngedouw, Patrick Dumont
    posted to parties b by profgellner on 2008-09-25 13:08:39 as **
  • Social Democratic parties as buffers against the extreme right: the case of Belgium
    Contemporary Politics, Vol. 14, No. 2. (June 2008), pp. 179-195.
    by Coffe, Hilde
    posted to parties b by profgellner on 2008-09-26 10:34:53 as **
  • Translating Statecharts to B
    (2002), pp. 128-144.
    by Emil Sekerinski, Rafik Zurob
    posted to b itcee statemachines by pbostrom on 2006-01-30 09:49:56 as read
  • NFkappaB pathway: A good signaling paradigm and therapeutic target.
    Int J Biochem Cell Biol (28 April 2006)
    by Vinay Tergaonkar
    posted to b cells by mjavorovic on 2006-06-14 08:38:03 as read
  • Absence of lipopolysaccharide high-dose paralysis in B-cell responses: Implications for the one-signal theory
    Immunol Cell Biol, Vol. 78, No. 2. (April 2000), pp. 133-141.
    by Alusha A Mamchak, Philip D Hodgkin
    posted to b cell mitogen by mab53 on 2008-01-23 15:27:53 as ***
  • Early events in the folding of four-helix-bundle heme proteins
    PNAS, Vol. 102, No. 18. (3 May 2005), pp. 6315-6319.
    by Jasmin Faraone-Mennella, Harry B Gray, Jay R Winkler
    posted to b cytochrome by lucenacc on 2007-05-19 17:36:14 as **
  • Requirements for Heterologous Production of a Complex Metalloenzyme: the Membrane-Bound [NiFe] Hydrogenase
    J. Bacteriol., Vol. 187, No. 18. (15 September 2005), pp. 6590-6595.
    by Oliver Lenz, Andrea Gleiche, Angelika Strack, Barbel Friedrich
    posted to b cytochrome by lucenacc on 2007-05-19 16:18:39 as **
  • Expression and characterization of a functional canine variant of cytochrome b5 reductase
    Archives of Biochemistry and Biophysics, Vol. 452, No. 1. (1 August 2006), pp. 69-82.
    by Glenn W Roma, Louis J Crowley, Michael J Barber
    posted to b cytochrome by lucenacc on 2007-05-19 17:15:15 as **
  • B cell signaling and tumorigenesis.
    Annu Rev Immunol, Vol. 23 (2005), pp. 415-445.
    by H Jumaa, RW Hendriks, M Reth
    posted to b oncology review by lhonigberg on 2007-01-08 22:49:15 as **
  • Modelling the human immune response: can mice be trusted? Commentary.
    Curr Opin Pharmacol, Vol. 1, No. 4. (August 2001), pp. 431-435.
    by CJ Gordon, G Grafton, PM Wood, M Larché, RJ Armitage
    posted to review b by lhonigberg on 2007-01-20 22:30:10 as **
  • mtDNA haplogroup distribution in Chinese patients with Leber's hereditary optic neuropathy and G11778A mutation.
    Biochemical and biophysical research communications, Vol. 364, No. 2. (14 December 2007), pp. 238-242.
    by Y Ji, X Jia, Q Zhang, YG Yao
    posted to a b c chinese d f1a g11778a haplogroup lhon m10a m7 m8a n9a r11 by LHON on 2008-04-05 04:31:54 as *****
  • Translating Statecharts to B
    Integrated Formal Methods (2002), pp. 128-144.
    by Emil Sekerinski, Rafik Zurob
    posted to 2002 b mapping statecharts by leonardo on 2008-03-10 00:26:13 as **
  • From graphical design in STATEMATE to formal specification in Event B
    Information and Communication Technologies, 2006. ICTTA '06. 2nd, Vol. 2 (2006), pp. 2837-2842.
    by Ben LJ Ayed, Ben A Younes
    posted to 2006 b _no_doi statecharts statemate by leonardo on 2007-03-20 12:29:58 as **
  • Refinement of eb 3 Process Patterns into B Specifications
    : B 2007: Formal Specification and Development in B (2006), pp. 201-215.
    by Frédéric Gervais, Marc Frappier, Régine Laleau
    posted to 2006 b patterns refinement by leonardo on 2006-12-29 12:23:49 as ****
  • The event-B Modelling Method: Concepts and Case Studies
    Logics of Specification Languages (2008), pp. 47-152.
    by Dominique Cansell, Dominique Méry
    posted to 2008 b _to_download_springer by leonardo on 2007-12-08 00:28:33 as ** along with 1 person and 1 group jhs06r Event-B
  • Integration of statechart and B method based analysis and verification for flight control software of unmanned aerial vehicle
    SIGSOFT Softw. Eng. Notes, Vol. 32, No. 2. (March 2007), pp. 1-4.
    by Liu Jiufu
    posted to 2007 b statecharts by leonardo on 2007-10-07 19:22:30 as **
  • Formal refinement and model checking of an echo cancellation unit
    Design, Automation and Test in Europe Conference and Exhibition, 2004. Proceedings, Vol. 3 (2004), pp. 102-107 Vol.3.
    by Alexander Krupp, Wolfgang Mueller, Ian Oliver
    posted to 2004 b model_checking refinement statecharts uml by leonardo on 2007-12-09 19:30:40 as ****
  • Checking Consistency between UML Class and State Models Based on CSP and B
    J. UCS, Vol. 10, No. 11. (2004), pp. 1540-1559.
    by WL Yeung
    posted to 2004 b csp _no_doi statecharts uml by leonardo on 2007-11-23 16:50:07 as ****
  • Refinement of Statemachines Using Event B Semantics
    : B 2007: Formal Specification and Development in B (2006), pp. 171-185.
    by Colin Snook, Marina Waldén
    posted to 2006 b refinement statecharts by leonardo on 2006-12-29 12:18:55 as *****
  • CSP theorems for communicating B machines
    Formal Aspects of Computing, Vol. 17, No. 4. (26 December 2005), pp. 390-422.
    by Steve Schneider, Helen Treharne
    posted to 2005 b communication csp by leonardo on 2007-03-26 19:00:35 as ***
  • BRAMA: A New Graphic Animation Tool for B Models
    : B 2007: Formal Specification and Development in B (2006), pp. 274-276.
    by Thierry Servat
    posted to 2006 animation b tool by leonardo on 2006-12-29 12:23:25 as ***
  • Verification of behavioural elements of UML models using B
    (2005), pp. 1546-1552.
    by Ninh T Truong, Jeanine Souquières
    posted to 2005 b uml verification by leonardo on 2006-09-25 14:14:15 as ****
  • Formal methods in industry: achievements, problems, future
    (2006), pp. 761-768.
    by Jean R Abrial
    posted to formal b 2006 by leonardo on 2006-10-16 19:11:34 as ***
  • An Approach to Combining B and Alloy
    ZB 2002:Formal Specification and Development in Z and B (2002), pp. 140-161.
    by Leonid Mikhailov, Michael Butler
    posted to alloy b _hardcopy refinement by leonardo on 2008-03-13 13:51:48 as *****
  • Verifying a Hotel Key Card System
    Theoretical Aspects of Computing - ICTAC 2006 (2006), pp. 1-14.
    by Tobias Nipkow
    posted to 2006 b hol vdm by leonardo on 2007-10-26 01:13:22 as ***
  • UML-B: Formal modeling and design aided by UML
    ACM Trans. Softw. Eng. Methodol., Vol. 15, No. 1. (January 2006), pp. 92-122.
    by Colin Snook, Michael Butler
    posted to 2006 b uml by leonardo on 2006-08-03 20:38:38 as **
  • BE4: The B Extensible Eclipse Editing Environment
    : B 2007: Formal Specification and Development in B (2006), pp. 270-273.
    by Jens Bendisposto, Michael Leuschel
    posted to 2006 b eclipse by leonardo on 2006-12-29 12:22:25 as ***
  • Patterns for B: Bridging Formal and Informal Development
    : B 2007: Formal Specification and Development in B (2006), pp. 125-139.
    by Edward Chan, Ken Robinson, Brett Welch
    posted to 2006 b design_patterns formal patterns by leonardo on 2006-12-29 12:18:42 as ****
  • Transformation of B specifications into UML class diagrams and state machines
    (2006), pp. 1840-1844.
    by Houda Fekih, Leila J Ayed, Stephan Merz
    posted to uml statecharts b 2006 by leonardo on 2007-02-07 21:32:48 as ***
  • Applying CSP || B to information systems
    Software and Systems Modeling, Vol. 7, No. 1. (February 2008), pp. 85-102.
    by Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier
    posted to 2008 b csp by leonardo on 2007-04-15 15:58:45 as **
  • Embedded System Design Using Formal Model Refinement: An Approach Based on the Combined Use of UML and the B Language
    Design Automation for Embedded Systems, Vol. V9, No. 2. (1 June 2004), pp. 67-99.
    by Nikolaos S Voros, Colin F Snook, Stefan Hallerstede, Konstantinos Masselos
    posted to 2004 b model_refinement refinement uml by leonardo on 2006-10-06 21:23:43 as **
  • Individualization of therapy using Mammaprint: from development to the MINDACT Trial.
    Cancer genomics & proteomics, Vol. 4, No. 3. (n 2007), pp. 147-155.
    by S Mook, LJ Van't Veer, EJ Rutgers, MJ Piccart-Gebhart, F Cardoso
    posted to review microarrays clinical breast_cancer b by laral on 2008-09-29 12:11:07 as **
  • Reappearance of influenza B/Victoria/2/87-lineage viruses: epidemic activity, genetic diversity and vaccination efficacy in the Finnish Defence Forces.
    Epidemiol Infect, Vol. 133, No. 2. (April 2005), pp. 263-271.
    by N Ikonen, R Pyhälä, T Axelin, M Kleemola, H Korpela
    posted to b genetics influenza vaccination viruses by KTL on 2005-04-12 12:55:20 as **
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/tag/b

    Result page: 1 2 3 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.