Pays
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

Index « Pays » - entrée « Finlande »
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.
Espagne < Finlande < France  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 6.
Ident.Authors (with country if any)Title
000388 (2006) Marco Bozzano [Italie] ; Roberto Bruttomesso [Italie] ; Alessandro Cimatti [Italie] ; Tommi Junttila [Finlande] ; Silvio Ranise [France] ; Peter Van Rossum [Pays-Bas] ; Roberto Sebastiani [Italie]Efficient theory combination via boolean search
000500 (2005) Marco Bozzano [Italie] ; Roberto Bruttomesso [Italie] ; Alessandro Cimatti [Italie] ; Tommi Junttila [Finlande] ; Silvio Ranise [France] ; Peter Van Rossum [Pays-Bas] ; Roberto Sebastiani [Italie]Efficient satisfiability modulo theories via delayed theory combination
000528 (2005) Richard P. Brent [Royaume-Uni] ; Samuli Larvala [Finlande] ; Paul Zimmermann [France]A primitive trinomial of degree 6972593
000736 (2003) Richard P. Brent [Royaume-Uni] ; Samuli Larvala [Finlande] ; Paul Zimmermann [France]A fast algorithm for testing reducibility of trinomials mod 2 and some new primitive trinomials of degree 3021377
000A15 (2000) Pasi Fr Nti [Finlande] ; Alexey Mednonogov [Finlande] ; Ville Kyrki [Finlande] ; Heikki K Lvi Inen [Finlande]Content-based matching of line-drawing images using the Hough transform
000B58 (1998) O. Viikki [Finlande] ; K. Laurila [Finlande]Cepstral domain segmental feature vector normalization for noise robust speech recognition

List of associated Author.i

Nombre de
documents		Descripteur
2Alessandro Cimatti
2Marco Bozzano
2Paul Zimmermann
2Peter Van Rossum
2Richard P. Brent
2Roberto Bruttomesso
2Roberto Sebastiani
2Samuli Larvala
2Silvio Ranise
2Tommi Junttila
1Alexey Mednonogov
1Heikki K Lvi Inen
1K. Laurila
1O. Viikki
1Pasi Fr Nti
1Ville Kyrki

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/AffPays.i -k "Finlande" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/AffPays.i  \
                -Sk "Finlande" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    AffPays.i
   |clé=    Finlande
}}
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