AffRegion.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « AffRegion.i » - entrée « Écosse »
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.
Zhejiang < Écosse < Émilie-Romagne  Facettes :

List of bibliographic references indexed by Écosse

Number of relevant bibliographic references: 41.
[0-20] [0 - 20][0 - 41][20-40]
Ident.Authors (with country if any)Title
001045 (2013-08-29) Ingmar Steiner [Allemagne] ; Korin Richmond [Royaume-Uni] ; Slim Ouni [France]Speech animation using electromagnetic articulography as motion capture data
001943 (2012-09-21) Ingmar Steiner [Irlande (pays)] ; Korin Richmond [Royaume-Uni] ; Slim Ouni [France]Using multimodal speech production data to evaluate articulatory animation for audiovisual speech synthesis
002675 (2011) Shahriar Bijani [Royaume-Uni] ; David Robertson [Royaume-Uni]Intrusion Detection in Open Peer-to-Peer Multi-Agent Systems
002F26 (2010) Gary Macindoe [Royaume-Uni] ; Lazaros Mavridis ; Vishwesh Venkatraman ; Marie-Dominique Devignes [France] ; David W. RitchieHexServer: an FFT-based protein docking server powered by graphics processors
003063 (2010) Daniel Lima Ventura [Brésil] ; Mauricio Ayala-Rinc N [Brésil] ; Fairouz Kamareddine [Royaume-Uni]Intersection Type Systems and Explicit Substitutions Calculi
003A21 (2009) Simon Kramer [France, Suisse] ; Julian C. Bradfield [Royaume-Uni]A general definition of malware
004330 (2008) Mark-Jan Nederhof [Royaume-Uni] ; Giorgio Satta [Italie]Probabilistic Parsing
004346 (2008) Donald Sannella [Royaume-Uni] ; Andrzej TarleckiObservability Concepts in Abstract Data Type Specification, 30 Years Later
004847 (2007-07) Véronique Cortier [France] ; Stéphanie Delaune [France] ; Graham Steel [Royaume-Uni]A Formal Theory of Key Conjuring.
004992 (2007-03) Véronique Cortier [France] ; Keighren Gavin [Royaume-Uni] ; Graham Steel [Royaume-Uni]Automatic Analysis of the Security of XOR-based Key Management Schemes.
004B92 (2007) Mary Cryan [Royaume-Uni]REVIEWS
004C15 (2007) Rick Nouwen [Royaume-Uni]On Dependency and Quantification in Dynamic Semantics
004D01 (2007) Véronique Cortier [France] ; Gavin Keighren [Royaume-Uni] ; Graham Steel [Royaume-Uni]Automatic Analysis of the Security of XOR-Based Key Management Schemes
004F03 (2007) Véronique Cortier [France] ; Stéphanie Delaune [France] ; Graham Steel [Royaume-Uni]A Formal Theory of Key Conjuring
005053 (2006-08) Véronique Cortier [France] ; Graham Steel [Royaume-Uni]On the Decidability of a Class of XOR-based Key-management APIs
005060 (2006-07-15) Joseph Le Roux [France] ; Benoît Crabbé [Royaume-Uni] ; Yannick Parmentier [France]A constraint driven metagrammar
005164 (2006-04) Yannick Parmentier [France] ; Joseph Le Roux [France] ; Benoît Crabbé [Royaume-Uni]XMG - An expressive formalism for describing tree-based grammars
006189 (2005) A. N. Rutstein ; H. E. Gorman [Royaume-Uni] ; K. E. Arnold [Royaume-Uni] ; L. Gilbert ; K. J. Orr [Royaume-Uni] ; A. Adam [Royaume-Uni] ; R. Nager [Royaume-Uni] ; J. A. GravesSex allocation in response to paternal attractiveness in the zebra finch
006C34 (2004) Simon Colton [Royaume-Uni] ; Andreas Meier [Allemagne] ; Volker Sorge [Royaume-Uni] ; Roy Mccasland [Royaume-Uni]Automatic Generation of Classification Theorems for Finite Algebras
006C35 (2004) Graham Steel [Royaume-Uni] ; Alan Bundy [Royaume-Uni] ; Monika Maidl [Royaume-Uni]Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures
007A55 (2003) Fairouz Kamareddine [Royaume-Uni] ; Haiyan Qiao [Suède]Formalizing Strong Normalization Proofs of Explicit Substitution Calculi in ALF

List of associated Author.i

Nombre de
documents		Descripteur
6Graham Steel
5Véronique Cortier
4Donald Sannella
3Fairouz Kamareddine
2Andrzej Tarlecki
2Benoît Crabbé
2Ingmar Steiner
2Joseph Le Roux
2Korin Richmond
2Slim Ouni
2Stéphanie Delaune
2Yannick Parmentier
1A. Adam
1A. Alavi
1A. Bertrand
1A. Blasco
1A. Cazelas
1A. Eleftérion
1A. Gaucher
1A. Gilbert
1A. J. Malcolm
1A. Lortat-Jacob
1A. N. Rutstein
1A. R. Penix
1A. Schoutens
1A. Schreiber
1A. Trias
1A. Verschaeren
1Alan Bundy
1Alejandro Ríos
1Alessandro Armando
1Alistair Conkie
1Andreas Meier
1Arlet
1B. A. Rahn
1B. Frisch
1B. Moysses
1B. Rahn
1B. Slaven
1B. Stromqvist
1Babu L. Verma
1Bernd Krieg-Brückner
1Bouzet
1Brian Logan
1Bru
1Bruno Scherrer
1C. A. L. Bassett
1C. Alexandre
1C. Arnoldi
1C. B. Clayton
1C. Bünger
1C. Colette
1C. F. Barker
1C. Ficat
1C. H. Bauer
1C. Hocquard
1C. M. Schnitzler
1C. Nedjar
1C. T. Brighton
1Ch. Fauchier
1Charles Rattray
1Claudio Castellini
1D. Barres
1D. Chakkalakal
1D. Chappard
1D. Mendelsohn
1D. Mess
1D. N. Walder
1D. Pavel
1D. R. Steinberg
1D. Robles Marin
1Dang Tran Lac
1Daniel Lima Ventura
1David Aspinall
1David Robertson
1David W. Ritchie
1Don Price
1Dougall Campbell
1E. D. Miller
1E. H. Bünger
1E. Horvath
1E. T Ndevold
1E. T. Habermann
1E. Warda
1Egidio Astesiano
1Emmanuel Lesaffre
1Enrico Giunchiglia
1F. Blotman
1F. Bonnel
1F. Burny
1F. Jacqueline
1F. Paolaggi
1F. Schuind
1F. Sombo
1F. Vigoni
1F. W. Heatley
1Florence Bruneseaux
1G. Bauer
1G. Bouteiller
1G. D. Hayken

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffRegion.i -k "Écosse" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffRegion.i  \
                -Sk "Écosse" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    AffRegion.i
   |clé=    Écosse
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022