ISSN
Curation
Accueil
Racine
Curation
Exploration
Accueil
Racine
Accueil

Serveur d'exploration sur le cirque - Curation (Accueil)

Index « ISSN » - entrée « 1611-3349 »
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.
1600-0838 < 1611-3349 < 1654-1103  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 39.
[0-20] [0 - 20][0 - 39][20-38][20-40]
Ident.Authors (with country if any)Title
000041 (2011) Troels Andreasen [Danemark] ; Henrik Bulskov [Danemark] ; Per Anker Jensen ; Tine Lassen [Danemark]Extracting Conceptual Feature Structures from Text
000127 (2009) Frank Zeyda [Royaume-Uni] ; Ana Cavalcanti [Royaume-Uni]Mechanised Translation of Control Law Diagrams into Circus
000132 (2010) Frank Zeyda [Royaume-Uni] ; Ana Cavalcanti [Royaume-Uni]Encoding Circus Programs in ProofPowerZ
000140 (1979) John F. Sowa [États-Unis]Definitional mechanisms for conceptual graphs
000142 (2006) Andrés Lucero [Pays-Bas] ; Rodrigo Zuloaga [Chili] ; Selene Mota [Pays-Bas] ; Felipe Mu Oz [Chili]Persuasive Technologies in Education: Improving Motivation to Read and Write for Children
000161 (2010) Paweł Gancarski [Irlande (pays)] ; Andrew Butterfield [Irlande (pays)]Prioritized slotted-Circus
000173 (2012) Abderrahmane Feliachi [France] ; Marie-Claude Gaudel [France] ; Burkhart Wolff [France]Isabelle/ Circus : A Process Specification and Verification Environment
000183 (2010) Katharina Vogt [Autriche] ; David Pirr [Autriche] ; Ingo Kobenz [Autriche] ; Robert Höldrich [Autriche] ; Gerhard Eckel [Autriche]PhysioSonic - Evaluated Movement Sonification as Auditory Feedback in Physiotherapy
000242 (2009) Paweł Gancarski ; Andrew Butterfield [Irlande (pays)]The Denotational Semantics of slotted-Circus
000314 (2005) Jim Woodcock [Royaume-Uni] ; Ana Cavalcanti [Royaume-Uni] ; Leonardo Freitas [Royaume-Uni]Operational Semantics for Model Checking Circus
000415 (2010) Ana Cavalcanti [Royaume-Uni] ; Marie-Claude Gaudel [France]A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming
000453 (2009) Anne-Marie Vercoustre [France] ; Jovan Pehcevski [Macédoine (pays), République de Macédoine (pays)] ; Vladimir Naumovski [Macédoine (pays), République de Macédoine (pays)]Topic Difficulty Prediction in Entity Ranking
000481 (2005) Tim Miller [Royaume-Uni] ; Leo Freitas [Royaume-Uni] ; Petra Malik [Nouvelle-Zélande] ; Mark Utting [Nouvelle-Zélande]CZT Support for Z Extensions
000549 (2012) Yin-Tzu Lin [République populaire de Chine, Taïwan] ; Shuen-Huei Guan [République populaire de Chine, Taïwan] ; Yuan-Chang Yao [République populaire de Chine] ; Wen-Huang Cheng [République populaire de Chine, Taïwan] ; Ja-Ling Wu [République populaire de Chine, Taïwan]U-Drumwave: An Interactive Performance System for Drumming
000550 (2007) Heeryon Cho [Japon] ; Toru Ishida [Japon] ; Naomi Yamashita [Japon] ; Rieko Inaba [Japon] ; Yumiko Mori [Japon] ; Tomoko Koda [Japon]Culturally-Situated Pictogram Retrieval
000561 (2011) Claire Beyssade [France]Bare Nouns in Predicate Position in French
000610 (1994) John Esch [États-Unis]Contexts and concepts, abstraction duals
000713 (2010) Francesco Calabrese [États-Unis] ; Francisco C. Pereira [États-Unis, Portugal] ; Giusy Di Lorenzo [États-Unis] ; Liang Liu [États-Unis] ; Carlo Ratti [États-Unis]The Geography of Taste: Analyzing Cell-Phone Mobility and Social Events
000922 (2003) Martin Hachet [France] ; Pascal Guitton [France]Using Virtual Reality for ”New Clowns”
000A03 (2011) Aparna Taneja [Suisse] ; Luca Ballan [Suisse] ; Jens Puwein [Suisse] ; Gabriel J. Brostow [Royaume-Uni] ; Marc Pollefeys [Suisse]3D Reconstruction and Video-Based Rendering of Casually Captured Videos
000A29 (2011) Frank Zeyda [Royaume-Uni] ; Ana Cavalcanti [Royaume-Uni]Automating Refinement of Circus Programs

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Wicri/explor/CircusV2/Data/Main/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Curation/ISSN.i -k "1611-3349" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Curation/ISSN.i  \
                -Sk "1611-3349" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Curation/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Wicri
   |area=    CircusV2
   |flux=    Main
   |étape=   Curation
   |type=    indexItem
   |index=    ISSN.i
   |clé=    1611-3349
}}
Wicri

This area was generated with Dilib version V0.6.31.
Data generation: Tue Oct 31 10:34:01 2017. Site generation: Wed Dec 23 18:39:13 2020