G. Dhaussy: search on Z-Library

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

Don't use scam websites

51

[IEEE 2008 IEEE International Conference on Software Testing Verification and Validation Workshop - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 IEEE International Conference on Software Testing Verification and Validation Workshop - Using context descriptions and property definition patterns for software formal verification

Dhaussy, Philippe, Boniol, Frédéric, Landel, Eric

Year:

2008

Language:

english

File:

PDF, 418 KB

english, 2008

52

Biological characteristics of the hydrological landscapes in the Bay of Biscay in spring 2009

Lezama-Ochoa, Ainhoa, Grados, Daniel, Lebourges-Dhaussy, Anne, Irigoien, Xabier, Chaigneau, Alexis, Bertrand, Arnaud

Journal:

Fisheries Oceanography

Year:

2015

Language:

english

File:

PDF, 824 KB

english, 2015

53

A new dimension in structural biology: fully fledged high-pressure macromolecular crystallography

Girard, Eric, Kahn, Richard, Ascone, Isabella, Mezouar, Mohamed, Dhaussy, Anne-Claire, Lin, Tianwei, Johnson, John E., Fourme, Roger

Journal:

High Pressure Research

Year:

2004

Language:

english

File:

PDF, 122 KB

english, 2004

54

Zooplankton spatial distribution along the South African coast studied by multifrequency acoustics, and its relationships with environmental parameters and anchovy distribution

Lebourges-Dhaussy, A., Coetzee, J., Hutchings, L., Roudaut, G., Nieuwenhuys, C.

Journal:

ICES Journal of Marine Science

Year:

2009

Language:

english

File:

PDF, 505 KB

english, 2009

55

Seasonal oceanography from physics to micronekton in the south-west Pacific

Menkes, C.E., Allain, V., Rodier, M., Gallois, F., Lebourges-Dhaussy, A., Hunt, B.P.V., Smeti, H., Pagano, M., Josse, E., Daroux, A., Lehodey, P., Senina, I., Kestenare, E., Lorrain, A., Nicol, S.

Journal:

Deep Sea Research Part II: Topical Studies in Oceanography

Year:

2015

Language:

english

File:

PDF, 8.76 MB

english, 2015

56

[AIP SYNCHROTRON RADIATION INSTRUMENTATION: Ninth International Conference on Synchrotron Radiation Instrumentation - Daegu (Korea) (28 May-2 June 2006)] AIP Conference Proceedings - X-ray Crystallography at High Pressure to Probe Conformational Fluctuations in Biological Macromolecules

Girard, Eric, Kahn, Richard, Dhaussy, Anne-Claire, Ascone, Isabella, Mezouar, Mohamed, Fourme, Roger

Year:

2007

Language:

english

File:

PDF, 5.91 MB

english, 2007

57

[AIP SYNCHROTRON RADIATION INSTRUMENTATION: Ninth International Conference on Synchrotron Radiation Instrumentation - Daegu (Korea) (28 May-2 June 2006)] AIP Conference Proceedings - Pressure Induced Phase Transition in PbTiO3 Studied by X-ray Absorption Spectroscopy at the Ti K edge

Dhaussy, A. C., Jaouen, N., Itié, J. P., Rogalev, A., Marinel, S., Veres, A.

Year:

2007

Language:

english

File:

PDF, 1.07 MB

english, 2007

58

[ACM Press the 8th International Workshop - Wellington, New Zealand (2011.10.17-2011.10.17)] Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa - Improving formal verification practicability through user oriented models and context-awareness

Raji, Amine, Dhaussy, Philippe

Year:

2011

Language:

english

File:

PDF, 506 KB

english, 2011

59

[AIP SYNCHROTRON RADIATION INSTRUMENTATION: Eighth International Conference on Synchrotron Radiation Instrumentation - San Francisco, California (USA) (25-29 August 2003)] AIP Conference Proceedings - Development of High Pressure Single Crystal X-Ray Diffraction Study at ESRF ID 30 Beamline

Year:

2004

Language:

english

File:

PDF, 305 KB

english, 2004

60

[ACM Press the 2011 ACM Symposium - TaiChung, Taiwan (2011.03.21-2011.03.24)] Proceedings of the 2011 ACM Symposium on Applied Computing - SAC '11 - Application of partial-order methods for the verification of closed-loop SDL systems

Dumas, Xavier, Dhaussy, Philippe, Boniol, Frédéric, Bonnafous, Eric

Year:

2011

Language:

english

File:

PDF, 710 KB

english, 2011

61

An investigation into the zooplankton composition of a prominent 38-kHz scattering layer in the North Sea

Mair, A. M., Fernandes, P. G., Lebourges-Dhaussy, A., Brierley, A. S.

Journal:

Journal of Plankton Research

Year:

2005

Language:

english

File:

PDF, 489 KB

english, 2005

62

Functional Sub-states by High-pressure Macromolecular Crystallography

A. Dhaussy, E. Girard

Year:

2015

Language:

english

File:

PDF, 715 KB

english, 2015

63

[IEEE OCEANS 2000 MTS/IEEE Conference and Exhibition. Conference Proceedings - Providence, RI, USA (11-14 Sept. 2000)] OCEANS 2000 MTS/IEEE Conference and Exhibition. Conference Proceedings (Cat. No.00CH37158) - Object oriented and formal methods for AUV development

Champeau, J., Dhaussy, P., Moitie, R., Prigent, A.

Year:

2000

Language:

english

File:

PDF, 892 KB

english, 2000

64

Environment-driven reachability for timed systems

Teodorov, Ciprian, Dhaussy, Philippe, Le Roux, Luka

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2017

Language:

english

File:

PDF, 1.51 MB

english, 2017

65

[ACM Press the International Workshop - Vienna, Austria (2010.09.14-2010.09.14)] Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems - S&D4RCES '10 - Trust in MDE components

Baudry, Benoît, Bazex, Pierre, Dalbin, Jean-Charles, Dhaussy, Philippe, Dubois, Hubert, Percebois, Christian, Poupart, Erwann, Sabatier, Laurent

Year:

2010

Language:

english

File:

PDF, 76 KB

english, 2010

66

Spatial and temporal variability of zooplankton off New Caledonia (Southwestern Pacific) from acoustics and net measurements

Smeti, Houssem, Pagano, Marc, Menkes, Christophe, Lebourges-Dhaussy, Anne, Hunt, Brian P. V., Allain, Valerie, Rodier, Martine, de Boissieu, Florian, Kestenare, Elodie, Sammari, Cherif

Journal:

Journal of Geophysical Research Oceans

Year:

2015

Language:

english

File:

PDF, 2.08 MB

english, 2015

67

Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis

Teodorov, Ciprian, Le Roux, Luka, Drey, Zoé, Dhaussy, Philippe

Journal:

Software Testing, Verification and Reliability

Year:

2016

Language:

english

File:

PDF, 2.30 MB

english, 2016

68

An Automated Transformation Approach for Requirement Specification

Benabbou, Amel, Bahloul, Safia Nait, Dhaussy, Philippe

Journal:

Procedia Computer Science

Year:

2016

Language:

english

File:

PDF, 640 KB

english, 2016

69

Vitamin D recommendations, fortification in France, and communication

Dhaussy, Amélie

Journal:

Year:

2014

File:

PDF, 786 KB

2014

70

Acoustic distribution of discriminated micronektonic organisms from a bi-frequency processing: the case study of eastern Kerguelen oceanic waters

Béhagle, Nolwenn, Cotté, Cédric, Lebourges-Dhaussy, Anne, Roudaut, Gildas, Duhamel, Guy, Brehmer, Patrice, Josse, Erwan, Cherel, Yves

Journal:

Progress in Oceanography

Year:

2017

Language:

english

File:

PDF, 4.38 MB

english, 2017

71

In Situ Quantification of the Suspended Load of Estuarine Aggregates from Multifrequency Acoustic Inversions

Fromant, G., Floc’h, F., Lebourges-Dhaussy, A., Jourdin, F., Perrot, Y., Le Dantec, N., Delacourt, C.

Journal:

Journal of Atmospheric and Oceanic Technology

Year:

2017

Language:

english

File:

PDF, 3.04 MB

english, 2017

72

Determinants of neuroglobin plasticity highlighted by joint coarse-grained simulations and high pressure crystallography

Colloc’h, Nathalie, Sacquin-Mora, Sophie, Avella, Giovanna, Dhaussy, Anne-Claire, Prangé, Thierry, Vallone, Beatrice, Girard, Eric

Journal:

Scientific Reports

Year:

2017

Language:

english

File:

PDF, 1.77 MB

english, 2017

73

X-ray structure of A and B-DNA under high hydrostatic pressure (up to 2 GPa)

Prange, T., Girard, E., Kahn, R., Dhaussy, A.-C., Mezouar, M., Fourme, R., Migianu-Griffoni, E., Lecouvey, M.

Journal:

Acta Crystallographica Section A Foundations of Crystallography

Year:

2008

Language:

english

File:

PDF, 384 KB

english, 2008

74

Implications of a paediatrician-psychologist tandem for sickle cell disease care and impact on cognitive functioning

Lerner, Adrienne, Picard, Hervé, May, Adrien, Gajdos, Vincent, Malou-Dhaussy, Louise, Maroja-Cox, Flaviana, Salomon, Laurence, Odièvre, Marie-Hélène

Journal:

European Journal of Pediatrics

Year:

2017

Language:

english

File:

PDF, 764 KB

english, 2017

75

[IEEE 2017 IEEE/OES Acoustics in Underwater Geosciences Symposium (RIO Acoustics) - Rio de Janeiro, Brazil (2017.7.25-2017.7.27)] 2017 IEEE/OES Acoustics in Underwater Geosciences Symposium (RIO Acoustics) - A new multifrequency acoustic method for the discrimination of biotic components in pelagic ecosystems: Application in a high diversity tropical ecosystem off Northeast Brazil

Vargas, Gary, Lucena-Fredou, Flavia, Habasque, Jeremie, Lebourges-Dhaussy, Anne, Roudaut, Gildas, Bertrand, Arnaud

Year:

2017

Language:

english

File:

PDF, 1.43 MB

english, 2017

76

Olive Oil and Vitamin D Synergistically Prevent Bone Loss in Mice

Tagliaferri, Camille, Davicco, Marie-Jeanne, Lebecque, Patrice, Georgé, Stéphane, Amiot, Marie-Jo, Mercier, Sylvie, Dhaussy, Amélie, Huertas, Alain, Walrand, Stéphane, Wittrant, Yohann, Coxam, Véroniq

Journal:

Year:

2014

Language:

english

File:

PDF, 1.57 MB

english, 2014

77

Improving Model Checking with Context Modelling

Dhaussy, Philippe, Boniol, Frédéric, Roger, Jean-Charles, Leroux, Luka

Journal:

Advances in Software Engineering

Year:

2012

Language:

english

File:

PDF, 2.85 MB

english, 2012

78

Matecho: An Open-Source Tool for Processing Fisheries Acoustics Data

Perrot, Yannick, Brehmer, Patrice, Habasque, Jérémie, Roudaut, Gildas, Behagle, Nolwenn, Sarré, Abdoulaye, Lebourges-Dhaussy, Anne

Journal:

Acoustics Australia

Year:

2018

Language:

english

File:

PDF, 3.88 MB

english, 2018

79

Micronekton diel migration, community composition and trophic position in two biogeochemical provinces of the South West Indian Ocean: Insight from acoustics and stable isotopes

Annasawmy, P., Ternon, J.F., Marsac, F., Cherel, Y., Béhagle, N., Roudaut, G., Lebourges-Dhaussy, A., Demarcq, H., Moloney, C.L., Jaquemet, S., Ménard, F.

Journal:

Deep Sea Research Part I: Oceanographic Research Papers

Year:

2018

Language:

english

File:

PDF, 3.84 MB

english, 2018

80

[IEEE 2017 IEEE/OES Acoustics in Underwater Geosciences Symposium (RIO Acoustics) - Rio de Janeiro (2017.7.25-2017.7.27)] 2017 IEEE/OES Acoustics in Underwater Geosciences Symposium (RIO Acoustics) - Underwater acoustics for ecosystem research: Synthesis of current knowledge and current advances and perspectives in Northeast Brazil

Bertrand, Arnaud, Bertrand, Sophie, Assuncao, Ramilla, Docean, Alex Silva, Vargas, Gary, Lucena-Fredou, Flavia, Travassos, Paulo, Lebourges-Dhaussy, Anne, Roudaut, Gildas

Year:

2017

Language:

english

File:

PDF, 423 KB

english, 2017

81

Trajectoire de la ventriculocisternostomie : confrontation statistique entre analyse IRM et résultats interventionnels selon plusieurs points d’entrée sur cadavres

de Schlichting, E., Myon, F., Dhaussy, F., Ghibaudo, V., Rabattu, P.-Y., Bellier, A., Palombi, O.

Journal:

Year:

2018

Language:

french

File:

PDF, 160 KB

french, 2018

82

[ACM Press the 21th ACM/IEEE International Conference - Copenhagen, Denmark (2018.10.14-2018.10.19)] Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems - MODELS '18 - Unified LTL Verification and Embedded Execution of UML Models

Besnard, Valentin, Brun, Matthias, Jouault, Frédéric, Teodorov, Ciprian, Dhaussy, Philippe

Year:

2018

Language:

english

File:

PDF, 912 KB

english, 2018

83

Precise use cases in a context-aware model-checking approach

Benabbou, Amel, Bahloul, Safia Nait, Dhaussy, Philippe

Journal:

International Journal of Critical Computer-Based Systems

Year:

2018

Language:

english

File:

PDF, 2.36 MB

english, 2018

84

Proposition d’un questionnaire rapide et accessible à tous permettant de détecter des femmes présentant un fort risque d’insuffisance en vitamine D

Deplanque, X., Souberbielle, J.C., Dhaussy, A., Pineau, V.

Journal:

Nutrition Clinique et Métabolisme

Year:

2018

File:

PDF, 298 KB

2018

85

Including 38 kHz in the standardization protocol for hydroacoustic fish surveys in temperate lakes

Mouget, Anne, Goulon, Chloé, Axenrot, Thomas, Balk, Helge, Lebourges-Dhaussy, Anne, Godlewska, Malgorzata, Guillard, Jean, Pettorelli, Nathalie, Lecours, Vincent

Journal:

Remote Sensing in Ecology and Conservation

Year:

2019

Language:

english

File:

PDF, 754 KB

english, 2019

86

Évolution de la détection oro-sensorielle du saccharose chez des souris obèses après Sleeve gastrectomie ou By-pass Roux en Y modifié

Bernard, A., Le May, C., Dastugue, A., Ayer, A., Blanchard, C., Cariou, B., Ledoux, S., Collet, X., Dhaussy, A., Respondek, F., Lagrost, L., Besnard, P.

Journal:

Nutrition Clinique et Métabolisme

Year:

2019

File:

PDF, 316 KB

2019

87

Seasonal and spatial variability in the vertical distribution of pelagic forage fauna in the Southwest Pacific

Receveur, Aurore, Menkes, Christophe, Allain, Valérie, Lebourges-Dhaussy, Anne, Nerini, David, Mangeas, Morgan, Ménard, Frédéric

Journal:

Deep Sea Research Part II: Topical Studies in Oceanography

Year:

2019

Language:

english

File:

PDF, 2.16 MB

english, 2019

88

Seasonal and spatial variability in the vertical distribution of pelagic forage fauna in the Southwest Pacific

Receveur, Aurore, Menkes, Christophe, Allain, Valérie, Lebourges-Dhaussy, Anne, Nerini, David, Mangeas, Morgan, Ménard, Frédéric

Journal:

Deep Sea Research Part II: Topical Studies in Oceanography

Year:

2019

File:

PDF, 2.16 MB

2019

89

Micronekton distributions and assemblages at two shallow seamounts of the south-western Indian Ocean: Insights from acoustics and mesopelagic trawl data

Annasawmy, Pavanee, Ternon, Jean-François, Cotel, Pascal, Cherel, Yves, Romanov, Evgeny V., Roudaut, Gildas, Lebourges-Dhaussy, Anne, Ménard, Fréderic, Marsac, Francis

Journal:

Progress in Oceanography

Year:

2019

Language:

english

File:

PDF, 22.27 MB

english, 2019

90

Micronekton distribution in the southwest Pacific (New Caledonia) inferred from shipboard-ADCP backscatter data

Receveur, Aurore, Kestenare, Elodie, Allain, Valerie, MÃ©nard, FrÃ©dÃ©ric, Cravatte, Sophie, Lebourges-Dhaussy, Anne, Lehodey, Patrick, Mangeas, Morgan, Smith, Neville, Radenac, Marie-HÃ©lÃ¨ne, Menkes

Journal:

Deep Sea Research Part I: Oceanographic Research Papers

Year:

2020

File:

PDF, 2.63 MB

2020

91

Insitu target strength measurement of the black triggerfish Melichthys niger and the ocean triggerfish Canthidermis sufflamen

Salvetat, Julie, Lebourges-Dhaussy, Anne, Travassos, Paulo, Gastauer, Sven, Roudaut, Gildas, Vargas, Gary, Bertrand, Arnaud

Journal:

Marine and Freshwater Research

Year:

2020

Language:

english

File:

PDF, 1.65 MB

english, 2020

92

[IEEE 2019 International Conference on Computational Science and Computational Intelligence (CSCI) - Las Vegas, NV, USA (2019.12.5-2019.12.7)] 2019 International Conference on Computational Science and Computational Intelligence (CSCI) - Data Management Mechanisms for Internet of Things: A Position Paper

Ousmane, Diallo, Philippe, Dhaussy, Ciprian, Teodorov

Year:

2019

File:

PDF, 243 KB

2019

93

Micronekton distribution as influenced by mesoscale eddies, Madagascar shelf and shallow seamounts in the south-western Indian Ocean: An acoustic approach

Annasawmy, Pavanee, Ternon, Jean-FranÃ§ois, Lebourges-Dhaussy, Anne, Roudaut, Gildas, Cotel, Pascal, Herbette, Steven, MÃ©nard, FrÃ©dÃ©ric, Marsac, Francis

Journal:

Deep Sea Research Part II: Topical Studies in Oceanography

Year:

2020

File:

PDF, 4.04 MB

2020

94

Biogeography of Micronekton Assemblages in the Natural Park of the Coral Sea

Receveur, Aurore, Vourey, Elodie, Lebourges-Dhaussy, Anne, Menkes, Christophe, Menard, Frederic, Allain, Valerie

Journal:

Frontiers in Marine Science

Year:

2020

File:

PDF, 8.86 MB

2020

95

Effect of a Transducer Horizontality Default on Lake Fish Stock Assessment

Blanluet, Arthur, Goulon, Chloe, Lebourges-Dhaussy, Anne, Eymar-Dauphin, Pauline, Guillard, Jean

Journal:

Acoustics Australia

Year:

2020

File:

PDF, 1.00 MB

2020

96

Distributed algorithm to fight the state explosion problem

Allal, Lamia, Belalem, Ghalem, Dhaussy, Philippe, Teodorov, Ciprian

Journal:

International Journal of Internet Technology and Secured Transactions

Year:

2018

File:

PDF, 392 KB

2018