Serveur d'exploration sur Pittsburgh - Curation (Hal)

Index « HalTutelle.i » - entrée « INSA »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
INRS < INSA < INSA Lyon  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 15.
Ident.Authors (with country if any)Title
000020 (2016-10-01) Jean-Baptiste Jeannin [États-Unis] ; Khalil Ghorbal [France] ; Yanni Kouskoulas [États-Unis] ; Aurora Schmidt [États-Unis] ; Ryan Gardner [États-Unis] ; Stefan Mitsch [Autriche] ; André Platzer [États-Unis]A Formally Verified Hybrid System for Safe Advisories in the Next-Generation Airborne Collision Avoidance System
000042 (2015-11-23) Khalil Ghorbal [France] ; Andrew Sogokon [Royaume-Uni] ; André Platzer [États-Unis]A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets
000043 (2008) William J. Layton [États-Unis] ; Roger Lewandowski [France]A high accuracy Leray-deconvolution model of turbulence and its limiting behavior.
000124 (2017-02-06) Xavier Caruso [France] ; David Roe [États-Unis] ; Tristan Vaccon [France]Characteristic polynomials of p-adic matrices
000157 (2004-11-10) William J. Layton [États-Unis] ; Roger Lewandowski [France]Consistency and feasibility of approximate deconvolution models of turbulence
000213 (2016-01-31) Xavier Caruso [France] ; David Roe [États-Unis] ; Tristan Vaccon [Japon]Division and Slope Factorization of p-Adic Polynomials
000428 (2006) William J. Layton [États-Unis] ; Roger Lewandowski [France]On a well-posed turbulence model
000508 (2006) William J. Layton [États-Unis] ; Roger Lewandowski [France]Residual stress of approximate deconvolution models of turbulence
000553 (2013-05) Muhammad Ali Babar [Australie] ; Ian Gorton [États-Unis] ; Flavio Oquendo [France]Special Issue on Software Architecture
000617 (2016-04) Gong-Bo Zhao [République populaire de Chine] ; Yuting Wang [États-Unis] ; Ashley J. Ross ; Sarah Shandera ; Will J. Percival ; Kyle S. Dawson ; Jean-Paul Kneib [France] ; Adam D. Myers ; Joel R. Brownstein ; Johan Comparat [Espagne] ; Timothee Delubac [Suisse] ; Pengyuan Gao ; Alireza Hojjati ; Kazuya Koyama [Royaume-Uni] ; Cameron K. Mcbride ; Andres Meza ; Jeffrey A. Newman [États-Unis] ; Nathalie Palanque-Delabrouille [France] ; Levon Pogosian ; Francisco Prada ; Graziano Rossi [France] ; Donald P. Schneider ; Hee-Jong Seo ; Charling Tao [France] ; Dandan Wang ; Christophe Yeche [France] ; Hanyu Zhang [France] ; Yuecheng Zhang ; Xu Zhou ; Fangzhou Zhu ; Hu ZouThe extended Baryon Oscillation Spectroscopic Survey: a cosmological forecast
000618 (2016-04-09) Swen Jacobs [Autriche] ; Roderick Bloem [Autriche] ; Romain Brenguier [Royaume-Uni] ; Rüdiger Ehlers [Allemagne] ; Timotheus Hell [Autriche] ; Robert Könighofer [Autriche] ; Guillermo A. Pérez [Belgique] ; Jean-François Raskin [Belgique] ; Leonid Ryzhyk [Australie] ; Ocan Sankur [France] ; Martina Seidl [Autriche] ; Leander Tentrup [Allemagne] ; Adam Walker [Australie]The first reactive synthesis competition (SYNTCOMP 2014)
000619 (2006-11-10) Erica Sodergren ; George M. Weinstock ; Eric H. Davidson ; R Andrew Cameron [États-Unis] ; Richard A. Gibbs ; Robert C. Angerer ; Lynne M. Angerer ; Maria Ina Arnone ; David R. Burgess [Royaume-Uni] ; Robert D. Burke ; James A. Coffman ; Michael Dean ; Maurice R. Elphick ; Charles A. Ettensohn ; Kathy R. Foltz ; Amro Hamdoun ; Richard O. Hynes [Australie] ; William H. Klein [États-Unis] ; William Marzluff ; David R. Mcclay ; Robert L. Morris [Australie] ; Arcady Mushegian ; Jonathan P. Rast ; L Courtney Smith [Royaume-Uni] ; Michael C. Thorndyke ; Victor D. Vacquier ; Gary M. Wessel ; Greg Wray ; Lan Zhang [France] ; Christine G. Elsik [France] ; Olga Ermolaeva ; Wratko Hlavina ; Gretchen Hofmann ; Paul Kitts ; Melissa J. Landrum ; Aaron J. Mackey ; Donna Maglott ; Georgia Panopoulou ; Albert J. Poustka ; Kim Pruitt ; Victor Sapojnikov ; Xingzhi Song [États-Unis] ; Alexandre Souvorov ; Victor Solovyev [États-Unis] ; Zheng Wei ; Charles A. Whittaker [Royaume-Uni] ; Kim Worley ; K James Durbin ; Yufeng Shen [République populaire de Chine] ; Olivier Fedrigo ; David Garfield ; Ralph Haygood ; Alexander Primus ; Rahul Satija ; Tonya Severson ; Manuel L. Gonzalez-Garay ; Andrew R. Jackson [Royaume-Uni] ; Aleksandar Milosavljevic ; Mark Tong [Corée du Sud] ; Christopher E. Killian ; Brian T. Livingston ; Fred H. Wilt ; Nikki Adams [Australie] ; Robert Bellé [France] ; Seth Carbonneau ; Rocky Cheung [Royaume-Uni] ; Patrick Cormier [France] ; Bertrand Cosson [France] ; Jenifer Croce ; Antonio Fernandez-Guerra ; Anne-Marie Genevière ; Manisha Goel [Inde] ; Hemant Kelkar ; Julia Morales [France] ; Odile Mulner-Lorillon [France] ; Anthony J. Robertson [États-Unis] ; Jared V. Goldstone ; Bryan Cole ; David Epel ; Bert Gold ; Mark E. Hahn [France] ; Meredith Howard-Ashby ; Mark Scally [Royaume-Uni] ; John J. Stegeman ; Erin L. Allgood ; Jonah Cool ; Kyle M. Judkins ; Shawn S. Mccafferty ; Ashlan M. Musante ; Robert A. Obar ; Amanda P. Rawson ; Blair J. Rossetti ; Ian R. Gibbons ; Matthew P. Hoffman [Afrique du Sud] ; Andrew Leone [Italie] ; Sorin Istrail ; Stefan C. Materna ; Manoj P. Samanta ; Viktor Stolc ; Waraporn Tongprasit ; Qiang Tu [France] ; Karl-Frederik Bergeron ; Bruce P. Brandhorst ; James Whittle ; Kevin Berney ; David J. Bottjer ; Cristina Calestani ; Kevin Peterson [États-Unis] ; Elly Chow ; Qiu Autumn Yuan [République populaire de Chine] ; Eran Elhaik ; Dan Graur ; Justin T. Reese [France] ; Ian Bosdet ; Shin Heesun ; Marco A. Marra ; Jacqueline Schein ; Michele K. Anderson ; Virginia Brockton ; Katherine M. Buckley ; Avis H. Cohen [France] ; Sebastian D. Fugmann ; Taku Hibino ; Mariano Loza-Coll ; Audrey J. Majeske ; Cynthia Messier ; Sham V. Nair [Inde] ; Zeev Pancer ; David P. Terwilliger ; Cavit Agca ; Enrique Arboleda ; Nansheng Chen [France] ; Allison M. Churcher ; F. Hallböök ; Glen W. Humphrey ; Mohammed M. Idris [Oman] ; Takae Kiyama ; Shuguang Liang ; Dan Mellott ; Xiuqian Mu ; Greg Murray ; Robert P. Olinski ; Florian Raible [Allemagne] ; Matthew Rowe ; John S. Taylor [États-Unis] ; Kristin Tessmar-Raible ; D. Wang [France] ; Karen H. Wilson ; Shunsuke Yaguchi ; Terry Gaasterland ; Blanca E. Galindo [France] ; Herath J. Gunaratne ; Celina Juliano ; Masashi Kinukawa ; Gary W. Moy ; Anna T. Neill ; Mamoru Nomura [France] ; Michael Raisch ; Anna Reade ; Michelle M. Roux [France] ; Jia L. Song [République populaire de Chine] ; Yi-Hsien Su [États-Unis] ; Ian K. Townley ; Ekaterina Voronina ; Julian L. Wong [France] ; Gabriele Amore ; Margherita Branno ; Euan R. Brown ; Vincenzo Cavalieri ; Véronique Duboc ; Louise Duloquin [France] ; Constantin Flytzanis [France] ; Christian Gache ; François Lapraz ; Thierry Lepage [Canada] ; Annamaria Locascio ; Pedro Martinez [Argentine] ; Giorgio Matassi [France] ; Valeria Matranga ; Ryan Range ; Francesca Rizzo [Italie] ; Eric Röttinger ; Wendy Beane ; Cynthia Bradham ; Christine Byrum ; Tom Glenn ; Sofia Hussain ; Gerard Manning ; Esther Miranda [Espagne] ; Rebecca Thomason ; Katherine Walton ; Athula Wikramanayke ; Shu-Yu Wu [Allemagne] ; Ronghui Xu ; C Titus Brown [États-Unis] ; Lili Chen [République populaire de Chine] ; Rachel F. Gray ; Pei Yun Lee [États-Unis] ; Jongmin Nam [Corée du Sud] ; Paola Oliveri ; Joel Smith [Royaume-Uni] ; Donna Muzny ; Stephanie Bell [Royaume-Uni] ; Joseph Chacko ; Andrew Cree ; Stacey Curry ; Clay Davis [Royaume-Uni] ; Huyen Dinh ; Shannon Dugan-Rocha ; Jerry Fowler ; Rachel Gill ; Cerrissa Hamilton ; Judith Hernandez [États-Unis] ; Sandra Hines ; Jennifer Hume ; Laronda Jackson ; Angela Jolivet ; Christie Kovar ; Sandra Lee [Corée du Sud] ; Lora Lewis [Canada] ; George Miner ; Margaret Morgan ; Lynne V. Nazareth ; Geoffrey Okwuonu ; David Parker [Royaume-Uni] ; Ling-Ling Pu ; Rachel Thorn ; Rita Wright [Royaume-Uni]The genome of the sea urchin Strongylocentrotus purpuratus.
000638 (2015-01-04) Keren Censor-Hillel [Israël] ; Mohsen Ghaffari [États-Unis] ; George Giakkoupis [France] ; Bernhard Haeupler [États-Unis] ; Fabian Kuhn [Allemagne]Tight Bounds on Vertex Connectivity Under Vertex Sampling
000640 (2013) Peter Constantin [États-Unis] ; Arnaud Debussche [France] ; Giovanni P. Galdi [États-Unis] ; Michael Ruzicka [Allemagne] ; Gregory Seregin [Royaume-Uni]Topics in mathematical fluid mechanics
000669 (2015) David Keaton [États-Unis] ; Jens Gustedt [France]Underspecified Aspects of Threads in C

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Amérique/explor/PittsburghV1/Data/Hal/Curation
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/HalTutelle.i -k "INSA" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/HalTutelle.i  \
                -Sk "INSA" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Curation/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Amérique
   |area=    PittsburghV1
   |flux=    Hal
   |étape=   Curation
   |type=    indexItem
   |index=    HalTutelle.i
   |clé=    INSA
}}

Wicri

This area was generated with Dilib version V0.6.38.
Data generation: Fri Jun 18 17:37:45 2021. Site generation: Fri Jun 18 18:15:47 2021