Julliand, S: search on Z-Library

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

Don't use scam websites

51

Pediatric gastroenteritis in the emergency department: practice evaluation in Belgium, France, The Netherlands and Switzerland

Pelc, Raphaëlle, Redant, Sébastien, Julliand, Sébastien, Llor, Juan, Lorrot, Mathie, Oostenbrink, Rianne, Gajdos, Vincent, Angoulvant, François

Journal:

Year:

2014

Language:

english

File:

PDF, 164 KB

english, 2014

52

Headache with Focal Neurologic Signs in Children at the Emergency Department

Massano, Davide, Julliand, Sebastien, Kanagarajah, Lakshmi, Gautier, Maxime, Vizeneux, Audrey, Elmaleh, Monique, Alison, Marianne, Lejay, Emilie, Romanello, Silvia, Teisseyre, Laurence, Delanoe, Cathe

Journal:

The Journal of Pediatrics

Year:

2014

Language:

english

File:

PDF, 358 KB

english, 2014

53

[IEEE Third ACM & amp; IEEE International Conference on Formal Methods and Models for Co-Design - Verona, Italy (11-14 July 2005)] Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. - Refinemant verification of fair transition systems can contribute to PLTL model checking

Bellegarde, F., Chouali, S., Julliand, J.

Year:

2005

File:

PDF, 460 KB

2005

54

[IEEE 2010 IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW) - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification, and Validation Workshops - Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests

Bouquet, F., Bué, P.-C., Julliand, J., Masson, P.-A.

Year:

2010

Language:

english

File:

PDF, 292 KB

english, 2010

55

Energy Expenditure During a 160 km Endurance Race

Goachet, A, Loriers, A, Le Floch, E, Julliand, V

Journal:

Equine Veterinary Journal

Year:

2014

Language:

english

File:

PDF, 1.12 MB

english, 2014

56

Editorial for the special issue of STVR on tests and proofs volume 1: tests and proofs in model-based testing

Brucker, Achim D., Julliand, Jacques

Journal:

Software Testing, Verification and Reliability

Year:

2014

Language:

english

File:

PDF, 29 KB

english, 2014

57

[Lecture Notes in Computer Science] B 2007: Formal Specification and Development in B Volume 4355 || Patterns for B: Bridging Formal and Informal Development

Julliand, Jacques, Kouchnarenko, Olga

Year:

2006

Language:

english

File:

PDF, 203 KB

english, 2006

58

[Lecture Notes in Computer Science] B 2007: Formal Specification and Development in B Volume 4355 || Time Constraint Patterns for Event B Development

Julliand, Jacques, Kouchnarenko, Olga

Year:

2006

Language:

english

File:

PDF, 371 KB

english, 2006

59

Comparison of the bacterial community structure within the equine hindgut and faeces using Automated Ribosomal Intergenic Spacer Analysis (ARISA)

Sadet-Bourgeteau, S., Philippeau, C., Dequiedt, S., Julliand, V.

Journal:

Year:

2014

Language:

english

File:

PDF, 646 KB

english, 2014

60

[Lecture Notes in Computer Science] B 2007: Formal Specification and Development in B Volume 4355 ||

Julliand, Jacques, Kouchnarenko, Olga

Year:

2006

Language:

english

File:

PDF, 3.25 MB

english, 2006

61

[Lecture Notes in Computer Science] B 2007: Formal Specification and Development in B Volume 4355 || LEIRIOS Test Generator: Automated Test Generation from B Models

Julliand, Jacques, Kouchnarenko, Olga

Year:

2006

Language:

english

File:

PDF, 262 KB

english, 2006

62

Is the second week post-race an adequate period to assess the effect of a long-term conditioning on digestive physiology in competing endurance horses?

Goachet, A G, Philippeau, C, Varloud, M, Julliand, V

Journal:

Comparative Exercise Physiology

Year:

2008

Language:

english

File:

PDF, 388 KB

english, 2008

63

Effect of physical training on nutrient digestibility and faecal fermentative parameters in Standardbred horses

Goachet, A. G., Harris, P., Philippeau, C., Julliand, V.

Journal:

Journal of Animal Physiology and Animal Nutrition

Year:

2014

Language:

english

File:

PDF, 300 KB

english, 2014

64

Fish oil-derived n-3 PUFA therapy increases muscle mass and function in healthy older adults

Smith, G. I., Julliand, S., Reeds, D. N., Sinacore, D. R., Klein, S., Mittendorfer, B.

Journal:

American Journal of Clinical Nutrition

Year:

2015

Language:

english

File:

PDF, 347 KB

english, 2015

65

Bacterial carbohydrate-degrading capacity in foal faeces: changes from birth to pre-weaning and the impact of maternal supplementation with fermented feed products

Faubladier, Céline, Julliand, Véronique, Danel, Justine, Philippeau, Christelle

Journal:

British Journal Of Nutrition

Year:

2013

Language:

english

File:

PDF, 235 KB

english, 2013

66

[ACM Press the 2006 conference - Portland, Oregon (2006.11.10-2006.11.11)] Proceedings of the 2006 conference on Specification and verification of component-based systems - SAVCBS '06 - JML-based verification of liveness properties on a class in isolation

Groslambert, Julien, Julliand, Jacques, Kouchnarenko, Olga

Year:

2006

Language:

english

File:

PDF, 199 KB

english, 2006

67

[ACM Press the 3rd international workshop - Leipzig, Germany (2008.05.11-2008.05.11)] Proceedings of the 3rd international workshop on Automation of software test - AST '08 - Generating security tests in addition to functional tests

Julliand, Jacques, Masson, Pierre-Alain, Tissot, Regis

Year:

2008

Language:

english

File:

PDF, 271 KB

english, 2008

68

[ACM Press the 2006 conference - Portland, Oregon (2006.11.10-2006.11.11)] Proceedings of the 2006 conference on Specification and verification of component-based systems - SAVCBS '06 - Experiments in the use of τ-simulations for the components-verification of real-time systems

Bellegarde, Françoise, Julliand, Jacques, Mountassir, Hassan, Oudot, Emilie

Year:

2006

Language:

english

File:

PDF, 230 KB

english, 2006

69

[ACM Press the 27th Annual ACM Symposium - Trento, Italy (2012.03.26-2012.03.30)] Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12 - Program slicing enhances a verification technique combining static and dynamic analysis

Chebaro, Omar, Kosmatov, Nikolai, Giorgetti, Alain, Julliand, Jacques

Year:

2012

Language:

english

File:

PDF, 564 KB

english, 2012

70

54 Preliminary study on the effect of DHA-Yeast enriched product supplementation

Grimm, P., Julliand, V.

Journal:

Journal of Equine Veterinary Science

Year:

2015

Language:

english

File:

PDF, 46 KB

english, 2015

71

40 Colonic bacterial composition and blood cells in horses undergoing a change of diet

Grimm, P., Philippeau, C., Julliand, V.

Journal:

Journal of Equine Veterinary Science

Year:

2015

Language:

english

File:

PDF, 40 KB

english, 2015

72

[ACM Press the 3rd international workshop - London, United Kingdom (2007.07.09-2007.07.12)] Proceedings of the 3rd international workshop on Advances in model-based testing - A-MOST '07 - Automatic generation of model based tests for a class of security properties

Masson, Pierre-Alain, Julliand, Jacques, Plessis, Jean-Chritophe, Jaffuel, Eddie, Debois, Georges

Year:

2007

Language:

english

File:

PDF, 205 KB

english, 2007

73

PLTL-partitioned model checking for reactive systems under fairness assumptions

Chouali, S., Julliand, J., Masson, P.-A., Bellegarde, F.

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2005

Language:

english

File:

PDF, 726 KB

english, 2005

74

[ACM Press the 30th Annual ACM Symposium - Salamanca, Spain (2015.04.13-2015.04.17)] Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15 - Tri-modal under-approximation of event systems for test generation

Bride, Hadrien, Julliand, Jacques, Masson, Pierre-Alain

Year:

2015

Language:

english

File:

PDF, 631 KB

english, 2015

75

Editorial for the special issue of STVR on tests and proofs volume 2: tests and proofs for improving the generation time and quality of test data suites

Brucker, Achim D., Julliand, Jacques

Journal:

Software Testing, Verification and Reliability

Year:

2014

Language:

english

File:

PDF, 30 KB

english, 2014

76

Intoxication accidentelle au gamma-hydroxybutyrate chez un nourrisson

Hérissé, A.-L., Hogan, J., Lebourgeois, F., Julliand, S., Dauger, S.

Journal:

Archives de Pédiatrie

Year:

2015

Language:

french

File:

PDF, 140 KB

french, 2015

77

[Institution of Engineering and Technology 6th International Conference on Imaging for Crime Prevention and Detection (ICDP-15) - London, UK (15-17 July 2015)] 6th International Conference on Imaging for Crime Prevention and Detection (ICDP-15) - Automated Image Splicing Detection from Noise Estimation in Raw Images

Talbot, H., Julliand, T., Nozick, V.

Year:

2015

Language:

english

File:

PDF, 432 KB

english, 2015

78

A compositional automata-based semantics and preserving transformation rules for testing property patterns

Taha, Safouan, Julliand, Jacques, Dadeau, Frédéric, Castillos, Kalou Cabrera, Kanso, Bilal

Journal:

Formal Aspects of Computing

Year:

2015

Language:

english

File:

PDF, 1013 KB

english, 2015

79

[IEEE 2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) - Larnaca, Cyprus (2015.6.15-2015.6.17)] 2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises - Non-deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation

Hana, M'Hemdi, Julliand, Jacques, Masson, Pierre-Alain, Robbana, Riadh

Year:

2015

Language:

english

File:

PDF, 235 KB

english, 2015

80

[IEEE 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Graz, Austria (2015.4.13-2015.4.17)] 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Test generation from timed pushdown automata with inputs and outputs

M'Hemdi, Hana, Julliand, Jacques, Masson, Pierre-Alain, Robbana, Riadh

Year:

2015

Language:

english

File:

PDF, 449 KB

english, 2015

81

[IEEE 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation (SCAM) - Victoria, BC, Canada (2014.9.28-2014.9.29)] 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation - Instrumentation of Annotated C Programs for Test Generation

Petiot, Guillaume, Botella, Bernard, Julliand, Jacques, Kosmatov, Nikolai, Signoles, Julien

Year:

2014

Language:

english

File:

PDF, 701 KB

english, 2014

82

Incremental verification of component-based timed systems

Julliand, J., Mountassir, H., Oudot, E.

Journal:

International Journal of Computer Applications in Technology

Year:

2011

Language:

english

File:

PDF, 786 KB

english, 2011

83

Impact of barley form on equine total tract fibre digestibility and colonic microbiota

Philippeau, C., Sadet-Bourgeteau, S., Varloud, M., Julliand, V.

Journal:

Year:

2015

Language:

english

File:

PDF, 113 KB

english, 2015

84

Effect of yeast supplementation on hindgut microbiota and digestibility of horses subjected to an abrupt change of hays

Grimm, P., Julliand, V., Philippeau, C., Sadet-Bourgeteau, S.

Journal:

Livestock Science

Year:

2016

Language:

english

File:

PDF, 469 KB

english, 2016

85

Effects of two field continuous incremental tests on cardiorespiratory responses in Standardbred trotters

Fortier, J., Goachet, A. G., Julliand, V., Deley, G.

Journal:

Journal of Animal Physiology and Animal Nutrition

Year:

2015

Language:

english

File:

PDF, 387 KB

english, 2015

86

[Society of Petroleum Engineers International Conference on Health, Safety and Environment in Oil and Gas Exploration and Production - Perth, Australia (2012-09-11)] International Conference on Health, Safety and Environment in Oil and Gas Exploration and Production - Tools for Standardizing Environmental Designs for Capital Projects

Blackwell, Veronica, Julliand, Marine, Conrad, Dwayne L., Hoffmann, Robert, Monahan, Margaret Patricia

Language:

english

File:

PDF, 138 KB

english

87

HORSE SPECIES SYMPOSIUM: The microbiome of the horse hindgut: History and current knowledge

Julliand, V., Grimm, P.

Journal:

Journal of Animal Science

Year:

2016

Language:

english

File:

PDF, 560 KB

english, 2016

88

Faecal parameters as biomarkers of the equine hindgut microbial ecosystem under dietary change

Grimm, P., Philippeau, C., Julliand, V.

Journal:

Year:

2017

Language:

english

File:

PDF, 431 KB

english, 2017

89

Tri-modal under-approximation for test generation

Bride, Hadrien, Julliand, Jacques, Masson, Pierre-Alain

Journal:

Science of Computer Programming

Year:

2016

Language:

english

File:

PDF, 1.15 MB

english, 2016

90

Comparative fibre-degrading capacity in foals at immediate and late post-weaning periods

Faubladier, C., Julliand, V., Beuneiche, L., Philippeau, C.

Journal:

Year:

2017

Language:

english

File:

PDF, 340 KB

english, 2017

91

The Impact of Diet on the Hindgut Microbiome

Julliand, Veronique, Grimm, Pauline

Journal:

Journal of Equine Veterinary Science

Year:

2017

Language:

english

File:

PDF, 1.00 MB

english, 2017

92

Buccal Midazolam Compared With Rectal Diazepam Reduces Seizure Duration in Children in the Outpatient Setting

Moretti, Raffaella, Julliand, Sebastien, Rinaldi, Victoria Elisa, Titomanlio, Luigi

Journal:

Pediatric Emergency Care

Year:

2017

Language:

english

File:

PDF, 327 KB

english, 2017

93

Can individual susceptibility to dietary starch be evaluated in blood?

Grimm, P., Julliand, V.

Journal:

Journal of Equine Veterinary Science

Year:

2017

Language:

english

File:

PDF, 134 KB

english, 2017

94

Effect of dehydrated alfalfa on equine gastric and faecal microbial ecosystems

Julliand, Samy, Martin, Agathe, Julliand, Véronique

Journal:

Livestock Science

Year:

2017

Language:

english

File:

PDF, 168 KB

english, 2017

95

Recovery position significantly associated with a reduced admission rate of children with loss of consciousness

Julliand, Sebastien, Desmarest, Marie, Gonzalez, Leticia, Ballestero, Yolanda, Martinez, Abel, Moretti, Raffaella, Rivas, Aristides, Lacroix, Laurence, Biver, Armand, Lejay, Emilie, Kanagarajah, Laksh

Journal:

Archives of Disease in Childhood

Year:

2016

Language:

english

File:

PDF, 485 KB

english, 2016

96

Effect of a preparation of on microbial profiles and fermentation patterns in the large intestine of horses fed a high fiber or a high starch diet

Medina, B., Girard, I. D., Jacotot, E., Julliand, V.

Journal:

Journal of Animal Science

Year:

2002

Language:

english

File:

PDF, 3.58 MB

english, 2002

97

Impact of diet on bacterial lipopolysaccharides in equine feces and blood

Grimm, P., Pais de Barros, J.P., Julliand, V.

Journal:

Livestock Science

Year:

2017

Language:

english

File:

PDF, 735 KB

english, 2017

98

Can fecal parameters easy-to-use in the field reflect hindgut microbiota dysbiosis?

Grimm, P., Pequegnot, C., Julliand, V.

Journal:

Journal of Equine Veterinary Science

Year:

2017

Language:

english

File:

PDF, 85 KB

english, 2017

99

In vitro impact of two commercially available complementary feeds on gastric content buffering capacity

Julliand, S., Martin, A., Julliand, V.

Journal:

Journal of Equine Veterinary Science

Year:

2017

Language:

english

File:

PDF, 85 KB

english, 2017

100

Diagnosis of Heroin Overdose in an 8-Year-Old Boy: Reliable Contribution of Toxicological Investigations

Soichot, M, Julliand, S, Filatriau, J, Hurbain, A, Bourgogne, E, Mihoubi, A, Gourlain, H, Delhotal-Landes, B

Journal:

Journal of Analytical Toxicology

Year:

2017

Language:

english

File:

PDF, 463 KB

english, 2017