关键词：Degenerate graphs ; Independent sets ; Hypergraphs ; Random permutations

刊名：Lecture Notes in Computer Science

出版年：2016

作者：Sophie Mallez (1) (2) (3)
Chantal Castagnone (1) (2) (3)
Margarida Espada (4)
Paulo Vieira (4)
Jonathan D. Eisenback (5)
Mark Harrell (6)
Manuel Mota (4)
Takuya Aikawa (7)
Mitsuteru Akiba (8)
Hajime Kosaka (9)
Philippe Castagnone-Sereno (1) (2) (3)
Thomas Guillemaud (1) (2) (3)

1. UMR 1355 Institut Sophia Agrobiotech ; INRA ; 06903 ; Sophia Antipolis ; France
2. UMR Institut Sophia Agrobiotech ; Universit茅 de Nice Sophia Antipolis ; 06903 ; Sophia Antipolis Cedex ; France
3. UMR 7254 Institut Sophia Agrobiotech ; CNRS ; 06903 ; Sophia Antipolis Cedex ; France
4. NemaLab/ICAAM 鈥?Instituto de Ci锚ncias Agr谩rias e Ambientais Mediterr芒nicas ; Universidade de 脡vora ; N煤cleo da Mitra ; Ap. 94 ; 7002-554 ; 脡vora ; Portugal
5. Department of Plant Pathology ; Physiology ; and Weed Science ; Virginia Tech ; Blacksburg ; VA ; 24061 ; USA
6. Nebraska Forest Service ; University of Nebraska ; Lincoln ; NE ; 68583-0815 ; USA
7. Tohoku Research Center ; Forestry and Forest Products Research Institute ; Morioka ; Iwate ; 020-0123 ; Japan
8. Forest Pathology Laboratory ; Forestry and Forest Products Research Institute ; Matsunosato 1 ; Tsukuba ; Ibaraki ; 305-8687 ; Japan
9. Kyushu Research Center ; Forestry and Forest Products Research Institute ; Kurokami 4-11-16 ; Kumamoto ; 860-0862 ; Japan

关键词：Bursaphelenchus xylophilus ; Population genetics ; Diversity ; Genetic structure ; Microsatellite markers ; Pine wilt disease

刊名：Biological Invasions

出版年：2015

作者：Yanwen Chen (1) (2) (3)
Yixiang Chen (1)
Eric Madelaine (2) (3)

1. MoE Engineering Research Center for Software/Hardware Co-design Technology and Application ; Shanghai Key Laboratory of Trustworthy Computing ; East China Normal University ; Shanghai ; 200062 ; China
2. INRIA Sophia Antipolis M茅dit茅rann茅e ; Sophia Antipolis ; 06902 ; France
3. CNRS ; University of Nice Sophia Antipolis ; Sophia Antipolis ; 06900 ; France

关键词：ITS ; logical time ; formal method ; timed specification ; synchronous and asynchronous communication

刊名：Frontiers of Computer Science in China

出版年：2015

作者：Julie Veyssiere (1) (2)
Hamid Moha ou Maati (1) (2) (3)
Jean Mazella (1) (2)
Georges Gaudriault (4)
S茅bastien Moreno (1) (2)
Catherine Heurteaux (1) (2)
Marc Borsotto (1) (2)

1. Universit茅 de Nice Sophia Antipolis ; IPMC ; 06560 ; Sophia Antipolis ; France
2. CNRS ; IPMC ; 06560 ; Sophia Antipolis ; France
3. Institut de G茅nomique Fonctionnelle ; 141 rue de la Cardonille ; 34095 ; Montpellier Cedex 5 ; France
4. Medincell SA ; 1 rue Charles Cros ; 34830 ; Jacou ; France

关键词：Retro ; inverso ; Spadin ; TREK1 ; Depression ; Electrophysiology

刊名：Psychopharmacology

出版年：2015

作者：O. Meste (1)
D. Janusek (2)
S. Karczmarewicz (3)
A. Przybylski (4)
M. Kania (2)
A. Maciag (4)
R. Maniewski (2)

1. Laboratoire I3S UNS-CNRS UMR7172 ; Universit茅 de Nice-Sophia Antipolis ; 2000 route des lucioles Les Algorithmes - bt. Euclide B ; CS 40121 ; 06903 ; Sophia Antipolis Cedex ; France
2. Nalecz Institute of Biocybernetics and Biomedical Engineering PAS ; Ks Trojdena 4 St. ; 02-109 ; Warsaw ; Poland
3. Warsaw Education Center CVG Medtronic Poland ; Warsaw ; Poland
4. Cardiac Arrhythmias Department ; National Institute of Cardiology ; Warsaw ; Poland

关键词：T ; wave alternans ; Detector ; Electrocardiography ; Ventricular arrhythmia

刊名：Medical and Biological Engineering and Computing

出版年：2015

作者：F.-Z. Oujebbour (1)
A. Habbal (2)
R. Ellaia (3)

1. INRIA Sophia Antipolis ; OPALE Project Team ; 2004 route de Lucioles ; 06902 ; Nice ; France
2. Mathematics Dept ; University Nice Sophia Antipolis ; 28 Avenue de Valrose ; 06103 ; Nice ; France
3. Laboratory of Study and Research for Applied Mathematics ; Mohammed V University-Agdal ; Mohammadia School of Engineering ; BP. 765 ; Ibn Sina avenue ; Agdal ; Rabat ; Morocco

关键词：Sheet metal forming ; Springback ; Failure ; Multi ; objective optimization ; Pareto ; optimal solutions

刊名：Structural and Multidisciplinary Optimization

出版年：2015

作者：Enrico Formenti (1)
Luca Manzoni (1)
Antonio E. Porreca (2)

1. University of Nice Sophia Antipolis ; CNRS ; I3S ; UMR 7271 ; 06900 ; Sophia Antipolis ; France
2. Dipartimento di Informatica ; Sistemistica e Comunicazione ; Universit脿 degli Studi di Milano-Bicocca ; Viale Sarca 336/14 ; 20126 ; Milan ; Italy

关键词：Reaction systems ; Computational complexity ; Discrete dynamical systems

刊名：Natural Computing

出版年：2015

作者：Bernard Bonnard (1)
Helen C. Henninger (2)
Jana N臎mcov谩 (3)
Jean-Baptiste Pomet (2)

1. Institut de Math茅matiques de Bourgogne ; Universit茅 de Bourgogne ; 9 avenue Alain Savary ; 21078 ; Dijon ; France
2. Team McTAO ; INRIA Sophia Antipolis M茅diterran茅e ; 2004 rte des lucioles ; B.P. 92 ; 06902 ; Sophia Antipolis cedex ; France
3. Department of Mathematics ; Institute of Chemical Technology ; Technick谩 5 ; 166 28 ; Prague 6 ; Czech Republic

关键词：Averaging ; Optimal control ; Low thrust orbit transfer ; Geodesic convexity ; Riemann ; Finsler geometry

刊名：Acta Applicandae Mathematicae

出版年：2015

作者：Juliette Leblond (1)

1. Team APICS ; INRIA Sophia Antipolis ; BP 93 ; 06902 ; Sophia Antipolis Cedex ; France

关键词：Inverse boundary value problems ; Elliptic partial differential equation ; Medical imaging ; EEG (electroencephalography) ; Observability ; Optimization ; 30E10 ; 31A25 ; 31B20 ; 35J05

刊名：Acta Applicandae Mathematicae

出版年：2015

作者：Bernard Bonnard (1) (2)
Mathieu Claeys (3) (4)
Olivier Cots (2)
Pierre Martinon (5)

1. Institut de Math茅matiques de Bourgogne ; Universit茅 de Bourgogne ; 9 avenue Alain Savary ; 21078 ; Dijon ; France
2. INRIA Sophia Antipolis M茅diterran茅e ; 06902 ; Sophia Antipolis ; France
3. CNRS ; LAAS ; 7 avenue du colonel Roche ; 31077 ; Toulouse ; France
4. Universit茅 de Toulouse ; UPS ; INSA ; INP ; ISAE ; UT1 ; UTM ; LAAS ; 31077 ; Toulouse ; France
5. Inria and Ecole Polytechnique ; 91128 ; Palaiseau ; France

关键词：Geometric optimal control ; Contrast imaging in NMR ; Direct method ; Shooting and continuation techniques ; Moment optimization

刊名：Acta Applicandae Mathematicae

出版年：2015