C. Abrial: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

The B-Book (Assigning Programs to Meanings) || Programming Examples

Abrial, J. R., Hoare, A., Chapron, Pierre

Year:

1996

File:

PDF, 2.71 MB

1996

52

[American Thoracic Society American Thoracic Society 2019 International Conference, May 17-22, 2019 - Dallas, TX - ()] C32. COPD: TRANSLATIONAL AND MECHANISTIC STUDIES - Bitter Taste Receptors (TAS2Rs) in Human Lung Macrophages: Receptor Expression and Inhibitory Effects of TAS2R Agonists

Salvator, H., Grassin-Delyle, S., Mantov, N., Abrial, C., Brollo, M., Faisy, C., Naline, E., Couderc, L.-J., Devillier, P.

File:

PDF, 22 KB

53

The influence of hydroâclimatic and anthropogenic effects on the longâterm variation of commercial fisheries in a large floodplain river

Rabuffetti, Ana P., EspÃnola, Luis A., Abrial, Elie, Amsler, Mario L., Eurich, Maria F., Blettler, MartÃn C. M.

Journal:

River Research and Applications

Year:

2020

File:

PDF, 3.39 MB

2020

54

S.04.03 Sleep deprivation as an animal model of bipolar mania: antimanic and proliferative effects of protein kinase C inhibition

E. Abrial, A. Bétourné, A. Etiévant, C. Bétry, C. Bourcier-Lucas, H. Scarna, G. Lucas, N. Haddjeri, L. Lambás-Señas

Journal:

European Neuropsychopharmacology

Year:

2012

Language:

english

File:

PDF, 75 KB

english, 2012

55

Pathological and Clinical Response of a Primary Chemotherapy Regimen Combining Vinorelbine, Epirubicin, and Paclitaxel as Neoadjuvant Treatment in Patients with Operable Breast Cancer

Journal:

Year:

2005

Language:

english

File:

PDF, 95 KB

english, 2005

56

Spatiotemporal Disease Mapping Applied to Infectious Diseases

Coly, Sylvain, Charras-Garrido, Myriam, Abrial, David, Yao-Lafourcade, Anne-Françoise

Journal:

Procedia Environmental Sciences

Year:

2015

Language:

english

File:

PDF, 256 KB

english, 2015

57

Neurotoxicity as a Prognostic Factor in Patients with Metastatic Breast Cancer Treated with Ixabepilone as a First-Line Therapy

Durando, Xavier, Dalenc, Florence, Abrial, Catherine, Mouret-Reynier, Marie-Ange, Herviou, Pauline, Kwiatkowski, Fabrice, Chollet, Philippe, Roche, Henri, Thivat, Emilie

Journal:

Year:

2015

Language:

english

File:

PDF, 650 KB

english, 2015

58

Questionnaire-based survey on the distribution and incidence of canine babesiosis in countries of Western Europe

Halos, Lénaïg, Lebert, Isabelle, Abrial, David, Danlois, Fabien, Garzik, Karin, Rodes, Daniel, Schillmeier, Monika, Ducrot, Christian, Guillot, Jacques

Journal:

Year:

2014

File:

PDF, 720 KB

2014

59

Cyclophilin D Modulates the Cardiac Mitochondrial Target of Isoflurane, Sevoflurane, and Desflurane

Harisseh, Rania, Chiari, Pascal, Villedieu, Camille, Sueur, Pauline, Abrial, Maryline, Fellahi, Jean-Luc, Ovize, Michel, Gharib, Abdallah

Journal:

Journal of Cardiovascular Pharmacology

Year:

2017

Language:

english

File:

PDF, 711 KB

english, 2017

60

Modeling in Event-B (System and Software Engineering) || Routing algorithm for a mobile agent

Abrial, Jean-Raymond

Year:

2010

Language:

english

File:

PDF, 518 KB

english, 2010

61

Variability of hydrological connectivity and fish dynamics in a wide subtropical–temperate floodplain

Abrial, Elie, Espínola, Luis A., Rabuffetti, Ana P., Eurich, Maria F., Paira, Aldo R., Blettler, Martin C.M., Amsler, Mario L.

Journal:

River Research and Applications

Year:

2019

Language:

english

File:

PDF, 1.12 MB

english, 2019

62

Commercial fisheries in a mega unregulated floodplain river: assessment of the most favourable hydrological conditions for its preservation

Rabuffetti, Ana P., Espínola, Luis A., Abrial, Elie, Amsler, Mario L., Blettler, Martin C.M., Eurich, Maria F., Eberle, Eliana G.

Journal:

Journal of Fish Biology

Year:

2019

Language:

english

File:

PDF, 2.89 MB

english, 2019

63

The B-Book (Assigning Programs to Meanings) || Refinement

Abrial, J. R., Hoare, A., Chapron, Pierre

Year:

1996

File:

PDF, 1.65 MB

1996

64

The use of anthropogenic debris as nesting material by the greater thornbird, an inlandâwetland-associated bird of South America

Blettler, MartÃn C. M., Gauna, LucÃa, AndrÃ©ault, Alex, Abrial, Elie, LorenzÃ³n, Rodrigo E., Espinola, Luis A., Wantzen, Karl M.

Journal:

Environmental Science and Pollution Research

Year:

2020

File:

PDF, 1.24 MB

2020

65

Developing topology discovery in Event-B

Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial

Journal:

Science of Computer Programming

Year:

2009

Language:

english

File:

PDF, 1.06 MB

english, 2009

66

A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol

Jean-Raymond Abrial, Dominique Cansell, Dominique Méry

Journal:

Formal Aspects of Computing

Year:

2003

Language:

english

File:

PDF, 126 KB

english, 2003

67

DETECTION AND IDENTIFICATION OF Legionella SPECIES FROM GROUNDWATERS

Brooks, Teresa, Osicki, Raegan A., Springthorpe, V. Susan, Sattar, Syed Abdus, Filion, Lionel, Abrial, David, Riffard, Serge

Journal:

Journal of Toxicology and Environmental Health

Year:

2004

Language:

english

File:

PDF, 117 KB

english, 2004

68

The SR/ER-mitochondria calcium crosstalk is regulated by GSK3β during reperfusion injury

Gomez, L, Thiebaut, P-A, Paillard, M, Ducreux, S, Abrial, M, Crola Da Silva, C, Durand, A, Alam, M R, Van Coppenolle, F, Sheu, S-S, Ovize, M

Journal:

Cell Death & Differentiation

Year:

2015

File:

PDF, 62 KB

2015

69

Caractérisation de l’expression et du rôle des récepteurs à l’amertume dans les macrophages pulmonaires humains

Grassin-Delyle, S., Salvator, H., Abrial, C., Mantov, N., Brollo, M., Faisy, C., Couderc, L.J., Naline, E., Devillier, P.

Journal:

Revue des Maladies Respiratoires

Year:

2019

Language:

french

File:

PDF, 165 KB

french, 2019

70

The B-Book (Assigning Programs to Meanings) || Constructing Large Software Systems

Abrial, J. R., Hoare, A., Chapron, Pierre

Year:

1996

File:

PDF, 1.86 MB

1996

71

Quality of life for older patients with cancer: a review of the evidence supporting melatonin use

Ginzac, Angeline, Dubois, Sophie, Hager, Marie-Odile, Kwiatkowski, Fabrice, Passildas, Judith, Biau, Julian, Abrial, Catherine, Mouret-Reynier, Marie-Ange, Thivat, Emilie, Durando, Xavier

Journal:

Aging Clinical and Experimental Research

Year:

2020

File:

PDF, 486 KB

2020

72

Tumor parameters, clinical and pathological responses, medical management, and survival through time on 710 operable breast cancers

C. Abrial, M. A. Mouret-Reynier, S. Amat, I. Sillet-Bach, P. Bougnoux, R. Delva, H. Cure, J. Dauplat, F. Penault-Llorca, P. Chollet

Journal:

Medical Oncology

Year:

2005

Language:

english

File:

PDF, 74 KB

english, 2005

73

Intraoperative Imprint Cytology Examination of Sentinel Lymph Nodes After Neoadjuvant Chemotherapy in Breast Cancer Patients

P. Gimbergues, M. M. Dauplat, X. Durando, C. Abrial, G. Le Bouedec, M. A. Mouret-Reynier, F. Cachin, F. Kwiatkowski, Andrei Tchirkov, J. Dauplat, F. Penault-Llorca

Journal:

Annals of Surgical Oncology

Year:

2010

Language:

english

File:

PDF, 205 KB

english, 2010

74

Weight change during chemotherapy changes the prognosis in non metastatic breast cancer for the worse

Emilie Thivat, Sophie Thérondel, Olivier Lapirot, Catherine Abrial, Pierre Gimbergues, Emilie Gadéa, Eloïse Planchat, Fabrice Kwiatkowski, Marie A Mouret-Reynier, Philippe Chollet, Xavier Durando

Journal:

Year:

2010

Language:

english

File:

PDF, 271 KB

english, 2010

75

Connection re-established: neurotransmission between the medial prefrontal cortex and serotonergic neurons offers perspectives for fast antidepressant action

Etiévant, Adeline, Lambás-Señas, Laura, Abrial, Erika, Bétry, Cécile, Haddjeri, Nasser, Lucas, Guillaume

Journal:

Neuropsychiatry

Year:

2011

Language:

english

File:

PDF, 1.69 MB

english, 2011

76

Individual factors associated with L- and H-type Bovine Spongiform Encephalopathy in France

Carole Sala, Eric Morignat, Nadia Oussaïd, Emilie Gay, David Abrial, Christian Ducrot, Didier Calavas

Journal:

BMC Veterinary Research

Year:

2012

Language:

english

File:

PDF, 250 KB

english, 2012

77

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || The steam boiler case study: Competition of formal program specification and development methods

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Year:

1996

Language:

english

File:

PDF, 808 KB

english, 1996

78

[Lecture Notes in Computer Science] Rigorous Methods for Software Construction and Analysis Volume 5115 || Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Development

Abrial, Jean-Raymond, Glässer, Uwe

Year:

2009

Language:

english

File:

PDF, 224 KB

english, 2009

79

Influence of hydrological changes on the fish community in two lotic environments of the Middle Paraná Floodplain, Argentina

Abrial, Elie, Rabuffetti, Ana P., Espínola, Luis A., Amsler, Mario L., Blettler, Martín C. M., Paira, Aldo R.

Journal:

Aquatic Ecology

Year:

2014

Language:

english

File:

PDF, 842 KB

english, 2014

80

The SR/ER-mitochondria calcium crosstalk is regulated by GSK3β during reperfusion injury

Gomez, L, Thiebaut, P-A, Paillard, M, Ducreux, S, Abrial, M, Crola Da Silva, C, Durand, A, Alam, M R, Van Coppenolle, F, Sheu, S-S, Ovize, M

Journal:

Cell Death & Differentiation

Year:

2015

Language:

english

File:

PDF, 1.75 MB

english, 2015

81

[IEEE 2005 International Conference on Image Processing - Genova, Italy (2005.09.14-2005.09.14)] IEEE International Conference on Image Processing 2005 - Curvelet transform on the sphere

Abrial, P., Starck, J.-L., Moudden, Y., Nguyen, M.

Year:

2005

Language:

english

File:

PDF, 528 KB

english, 2005

82

An IGF1R-Dependent Pathway Drives Epicardial Adipose Tissue Formation After Myocardial Injury

Zangi, Lior, Oliveira, Marcela S., Ye, Lillian Y., Ma, Qing, Sultana, Nishat, Hadas, Yoav, Chepurko, Elena, Später, Daniela, Zhou, Bin, Chew, Wei Leong, Ebina, Wataru, Abrial, Maryline, Wang, Qing-Don

Journal:

Year:

2016

Language:

english

File:

PDF, 20.54 MB

english, 2016

83

Infiltration sclérodermiforme péribuccale : une localisation rare de l’amylose AL

Mahévas, T., Kottler, D., Jouan, F., Deschamps, L., Abrial, Y., Crickx, B., Descamps, V.

Journal:

Annales de Dermatologie et de Vénéréologie

Year:

2016

Language:

french

File:

PDF, 60 KB

french, 2016

84

Asenapine modulates mood-related behaviors and 5-HT 1A/7 receptors-mediated neurotransmission

Delcourte, Sarah, Abrial, Erika, Etiévant, Adeline, Rovera, Renaud, Arnt, Jørn, Didriksen, Michael, Haddjeri, Nasser

Journal:

CNS Neuroscience & Therapeutics

Year:

2017

Language:

english

File:

PDF, 538 KB

english, 2017

85

Publisher Correction: Human CD45 is an F-component-specific receptor for the staphylococcal toxin Panton–Valentine leukocidin

Tromp, Angelino T., Van Gent, Michiel, Abrial, Pauline, Martin, Amandine, Jansen, Joris P., De Haas, Carla J. C., Van Kessel, Kok P. M., Bardoel, Bart W., Kruse, Elisabeth, Bourdonnay, Emilie, Boettch

Journal:

Nature Microbiology

Year:

2018

Language:

english

File:

PDF, 559 KB

english, 2018

86

Does Survival Increase in Metastatic Breast Cancer With Recently Available Anticancer Drugs?

Abrial, C., Leheurteur, M., Cabrespine, A., Mouret-Reynier, M. A., Durando, X., Ferriere, J. P., Kwiatkowski, F., Penault-Llorca, F., Cure, H., Chollet, P.

Journal:

Oncology Research Featuring Preclinical and Clinical Cancer Therapeutics

Year:

2005

Language:

english

File:

PDF, 73 KB

english, 2005

87

The B-Book (Assigning Programs to Meanings) || Introduction

Abrial, J. R., Hoare, A., Chapron, Pierre

Year:

1996

File:

PDF, 268 KB

1996

88

The B-Book (Assigning Programs to Meanings) || Summary of Notations

Abrial, J. R., Hoare, A., Chapron, Pierre

Year:

1996

File:

PDF, 428 KB

1996

89

Rodin: an open toolset for modelling and reasoning in Event-B

Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, Laurent Voisin

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2010

Language:

english

File:

PDF, 473 KB

english, 2010

90

Neoadjuvant endocrine therapy in breast cancer

C. Abrial, M.-A. Mouret-Reynier, H. Curé, V. Feillel, M. Leheurteur, S. Lemery, G. Le Bouëdec, X. Durando, J. Dauplat, P. Chollet

Journal:

Year:

2006

Language:

english

File:

PDF, 193 KB

english, 2006

91

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || A formal specification of the Steam-Boiler Control problem by algebraic specifications with implicit state

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Year:

1996

Language:

english

File:

PDF, 1.92 MB

english, 1996

92

GSK3β isoform-selective regulation of depression, memory and hippocampal cell proliferation

Pardo, M., Abrial, E., Jope, R. S., Beurel, E.

Journal:

Genes, Brain and Behavior

Year:

2016

Language:

english

File:

PDF, 403 KB

english, 2016

93

The B-Book (Assigning Programs to Meanings) || What is B?

Abrial, J. R., Hoare, A., Chapron, Pierre

Year:

1996

File:

PDF, 496 KB

1996

94

The B-Book (Assigning Programs to Meanings) || Syntax

Abrial, J. R., Hoare, A., Chapron, Pierre

Year:

1996

File:

PDF, 391 KB

1996

95

Potentiel thérapeutique de la mélatonine dans la prise en charge de la pathologie cancéreuse

C. Abrial, F. Kwiatkowski, R. Chevrier, F. Gachon, H. Curé, P. Chollet

Journal:

Pathologie Biologie

Year:

2005

File:

PDF, 95 KB

2005

96

Cyclosporine A at reperfusion fails to reduce infarct size in the in vivo rat heart

Paulis, Damien, Chiari, Pascal, Teixeira, Geoffrey, Couture-Lepetit, Elisabeth, Abrial, Maryline, Argaud, Laurent, Gharib, Abdallah, Ovize, Michel

Journal:

Basic Research in Cardiology

Year:

2013

Language:

english

File:

PDF, 358 KB

english, 2013

97

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || Proving safety properties of the steam boiler controller

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Year:

1996

Language:

english

File:

PDF, 1.32 MB

english, 1996

98

15-Lipoxygenases regulate the production of chemokines in human lung macrophages

Abrial, C, Grassin-Delyle, S, Salvator, H, Brollo, M, Naline, E, Devillier, P

Journal:

British Journal of Pharmacology

Year:

2015

Language:

english

File:

PDF, 982 KB

english, 2015

99

Multiple independent transmission cycles of a tick-borne pathogen within a local host community

Jacquot, Maude, Abrial, David, Gasqui, Patrick, Bord, Severine, Marsot, Maud, Masseglia, Sébastien, Pion, Angélique, Poux, Valérie, Zilliox, Laurence, Chapuis, Jean-Louis, Vourc’h, Gwenaël, Bailly, Xa

Journal:

Scientific Reports

Year:

2016

Language:

english

File:

PDF, 1.56 MB

english, 2016

100

Failed Progenitor Specification Underlies the Cardiopharyngeal Phenotypes in a Zebrafish Model of 22q11.2 Deletion Syndrome

Guner-Ataman, Burcu, González-Rosa, Juan Manuel, Shah, Harsh N., Butty, Vincent L., Jeffrey, Spencer, Abrial, Maryline, Boyer, Laurie A., Burns, C. Geoffrey, Burns, Caroline E.

Journal:

Year:

2018

Language:

english

File:

PDF, 5.40 MB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски