Portugal < Royaume-Uni < Russie

Facettes : Author.f AffPays.f

List of bibliographic references

Number of relevant bibliographic references: 26.
[0-20] [0 - 20][0 - 26][20-25][20-40]

Ident.	Authors (with country if any)	Title
000001 (1999)	S. Cavallar [Pays-Bas] ; B. Dodson [États-Unis] ; A. Lenstra [États-Unis] ; P. Leyland [Royaume-Uni] ; W. Lioen [Pays-Bas] ; P. L. Montgomery [États-Unis] ; B. Murphy [Australie] ; H. Te Riele [Pays-Bas] ; P. Zimmermann [France]	Factorization of RSA-140 using the Number Field sieve
000005 (1999)	S. Cavallar [Pays-Bas] ; W. Lioen [Pays-Bas] ; H. Te Riele [Pays-Bas] ; B. Dodson [États-Unis] ; A. Lenstra [États-Unis] ; P. Leyland [Royaume-Uni] ; P. L. Montgomery [États-Unis] ; B. Murphy [Australie] ; P. Zimmermann [France]	Factorization of RSA-140 using the number field Sieve
000007 (2000)	E. Ritter [Royaume-Uni] ; D. Pym [Royaume-Uni] ; L. Wallen [Royaume-Uni]	On the intuitionistic force of classical search
000008 (2000)	D. Galmiche [France] ; D. J. Pym [Royaume-Uni]	Proof-search in type-theoretic languages : an introduction
000013 (2000)	J. L. Caldwell [États-Unis] ; I. P. Gent [Royaume-Uni] ; J. Underwood [Royaume-Uni]	Search algorithms in type theory
000035 (2000)	S. Cavallar [Pays-Bas] ; B. Dodson [États-Unis] ; A. K. Lenstra [États-Unis] ; W. Lioen [Pays-Bas] ; P. L. Montgomery [États-Unis] ; B. Murphy [Australie] ; H. Te Riele [Pays-Bas] ; K. Aardal [Pays-Bas] ; J. Gilchrist [Canada] ; G. Guillerm [France] ; P. Leyland [Royaume-Uni] ; J. Marchand [France] ; F. Morain [France] ; A. Muffett [Royaume-Uni] ; C. Putman [États-Unis] ; C. Putnam [États-Unis] ; P. Zimmermann [France]	Factorization of a 512-bit RSA modulus
000057 (2000)	A. Armando [Italie, France] ; C. Castellini [Royaume-Uni] ; E. Giunchiglia [Italie]	SAT-based procedures for temporal reasoning
000210 (2002)	Egidio Astesiano [Italie] ; Michel Bidoit [France] ; Hélène Kirchner [France] ; Bernd Krieg-Brückner [Allemagne] ; Peter D. Mosses [Danemark] ; Donald Sannella [Royaume-Uni] ; Andrzej Tarlecki [Pologne]	CASL: the Common Algebraic Specification Language
000214 (2002)	Didier Galmiche [France] ; Daniel Mery [France] ; David Pym [Royaume-Uni]	Resource tableaux
000253 (2003)	Richard P. Brent [Royaume-Uni] ; Paul Zimmermann [France]	Random number generators with period divisible by a Mersenne prime
000274 (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
000318 (2003)	Jean-Pierre Duval [France] ; Roman Kolpakov [Royaume-Uni] ; Gregory Kucherov [France] ; Thierry Lecroq [France] ; Arnaud Lefebvre [France]	Linear-time computation of local periods
000375 (2004)	Klaus Aehlig [Allemagne] ; Ulrich Berger [Royaume-Uni] ; Martin Hofinann [Allemagne] ; Helmut Schwichtenberg [Allemagne]	An arithmetic for non-size-increasing polynomial-time computation
000383 (2004)	A. S. Murawski [Royaume-Uni] ; C.-H. L. Ong [Royaume-Uni]	On an interpretation of safe recursion in light affine logic
000433 (2004)	Jean-Pierre Duval [France] ; Roman Kolpakov [Royaume-Uni] ; Gregory Kucherov [France] ; Thierry Lecroq [France] ; Arnaud Lefebvre [France]	Linear-time computation of local periods
000453 (2005)	Richard P. Brent [Royaume-Uni] ; Samuli Larvala [Finlande] ; Paul Zimmermann [France]	A primitive trinomial of degree 6972593
000676 (2006)	Mathieu D'Aquin [France, Royaume-Uni] ; Jean Lieber [France] ; Amedeo Napoli [France]	Case-based reasoning within semantic web technologies
000770 (2009)	Mario Sabatelli [Italie] ; Fabrizio Eusebi [Italie] ; Ammar Al-Chalabi [Royaume-Uni] ; Amelia Conte [Italie] ; Francesca Madia [Italie] ; Marco Luigetti [Italie] ; Irene Mancuso [Italie] ; Cristina Limatola [Italie] ; Flavia Trettel [Italie] ; Fabrizia Sobrero [Italie] ; Silvia Di Angelantonio [Italie] ; Francesca Grassi [Italie] ; Amalia Di Castro [Italie] ; Claudia Moriconi [Italie] ; Sergio Fucile [Italie] ; Serena Lattante [Italie] ; Giuseppe Marangi [Italie] ; Marina Murdolo [Italie] ; Daniela Orteschi [Italie] ; Alessandra Del Grande [Italie] ; Pietro Tonali [Italie] ; Giovanni Neri [Italie] ; Marcella Zollino [Italie]	Rare missense variants of neuronal nicotinic acetylcholine receptor altering receptor function are associated with sporadic amyotrophic lateral sclerosis
000877 (2011)	Gaetano Mangiapia [Italie] ; Gerardino D'Errico [Italie] ; Fabio Capuano [Italie] ; Ornella Ortona [Italie] ; Richard K. Heenan [Royaume-Uni] ; Luigi Paduano [Italie] ; Roberto Sartorio [Italie]	On the interpretation of transport properties of sodium cholate and sodium deoxycholate in binary and ternary aqueous mixtures
000914 (2012)	David W. Ritchie [France] ; Anisah W. Ghoorah [France] ; Lazaros Mavridis [Royaume-Uni] ; Vishwesh Venkatraman [Norvège]	Fast protein structure alignment using Gaussian overlap scoring of backbone peptide fragment similarity
000973 (2013)	Davide Grossi [Royaume-Uni]	Abstract argument games via modal logic

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Curation/AffPays.i -k "Royaume-Uni" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Curation/AffPays.i  \
                -Sk "Royaume-Uni" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Curation/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Curation
   |type=    indexItem
   |index=    AffPays.i
   |clé=    Royaume-Uni
}}

---

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