sign in · help · news · about ·

BibSonomy :: author :: Giorgi ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(198)

<< < 1 | 2 | 3 > >>

Mean, interannual variability and trends in a regional climate change experiment over Europe. II: climate change scenarios 2071?2100
Filippo Giorgi, Xunqiang Bi, and Jeremy Pal Climate Dynamics 23(7-8):839--858 (2004)
to imported by g1_reklan on Jan 18, 2012, 11:59 AM
DOI | BibTeX
An intercomparison of regional climate simulations for Europe: assessing uncertainties in model projections
M. Déqué, D. P. Rowell, D. Lüthi, F. Giorgi, J. H. Christensen, B. Rockel, D. Jacob, E. Kjellström, M. Castro, and B. Hurk Climatic Change 81(S1):53--70 (2007)
to imported by g1_reklan on Jan 18, 2012, 11:59 AM
DOI | BibTeX
Separating the basic logics of the basic recurrences.
Giorgi Japaridze Ann. Pure Appl. Logic 163(3):377-389 (2012)
to dblp by dblp on Jan 3, 2012, 12:00 AM
URL | BibTeX
The taming of recurrences in computability logic through cirquent calculus, Part II
Giorgi Japaridze CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Introduction to clarithmetic III
Giorgi Japaridze CoRR (2010)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Introduction to clarithmetic II
Giorgi Japaridze CoRR (2010)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
On Polynomial Multiplication in Chebyshev Basis
Pascal Giorgi CoRR (2010)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Four concepts and two logics of algorithmic reduction
Giorgi Japaridze CoRR (2007)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Cirquent calculus deepened
Giorgi Japaridze CoRR (2007)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
The intuitionistic fragment of computability logic at the propositional level
Giorgi Japaridze CoRR (2006)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Faster Inversion and Other Black Box Matrix Computations Using Efficient Block Projections
Wayne Eberly, Mark Giesbrecht, Pascal Giorgi, Arne Storjohann, and Gilles Villard CoRR (2007)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Computability Logic: a formal theory of interaction
Giorgi Japaridze CoRR (2004)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
From truth to computability I
Giorgi Japaridze CoRR (2004)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Parallel computation of the rank of large sparse matrices from algebraic K-theory
Jean-Guillaume Dumas, Philippe Elbaz-Vincent, Pascal Giorgi, and Anna Urbanska CoRR (2007)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Towards applied theories based on computability logic
Giorgi Japaridze CoRR (2008)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
A new face of the branching recurrence of computability logic
Giorgi Japaridze CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Exact Sparse Matrix-Vector Multiplication on GPU's and Multicore Architectures
Brice Boyer, Jean-Guillaume Dumas, and Pascal Giorgi CoRR (2010)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Intuitionistic computability logic I
Giorgi Japaridze CoRR (2004)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Solving Sparse Integer Linear Systems
Wayne Eberly, Mark Giesbrecht, Pascal Giorgi, Arne Storjohann, and Gilles Villard CoRR (2006)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
The taming of recurrences in computability logic through cirquent calculus
Giorgi Japaridze CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper