Search: inria.fr | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Flat design imposes higher cognitive load than skeumorphism

7 years ago

3 points

152.

Computational Mathematics with SageMath

sagebook.gforge.inria.fr

8 years ago

3 points

153.

Compiling Pattern Matching to Good Decision Trees [pdf]

moscova.inria.fr

8 years ago

TheAsprngHacker

3 points

154.

Ocaml: Type declarations and pattern matching

8 years ago

3 points

155.

Resource Polymorphism: A proposal for a resource-management model for OCaml

8 years ago

3 points

156.

9 years ago

3 points

157.

9 years ago

3 points

158.

Reproducibility vs. root privileges

guix-hpc.bordeaux.inria.fr

9 years ago

3 points

159.

Construction of real algebraic numbers in Coq

9 years ago

3 points

160.

A Secure Self-Adaptable Application-Level Firewall for IaaS Clouds [pdf]

sec2-2016.inria.fr

10 years ago

3 points

161.

Cryptanalysis of 1024-bit trapdoored primes

caramba.inria.fr

10 years ago

3 points

162.

Cryptanalysis of 1024-bit trapdoored primes

caramba.inria.fr

10 years ago

3 points

163.

Deep-sequoia: A French corpus with surface and deep syntactic annotations

deep-sequoia.inria.fr

10 years ago

3 points

164.

cmod.gforge.inria.fr

10 years ago

3 points

165.

The new tactic engine of Coq 8.5

coqhott.gforge.inria.fr

10 years ago

3 points

166.

Write Fast, Read in the Past: Causal Consistency for Client-Side Applications

10 years ago

3 points

167.

Generalized Multisets for Chemical Programming (2005) [pdf]

11 years ago

3 points

168.

The most hipster language in the world

12 years ago

2 points

169.

MobiTrade: Trading Content in Disruption Tolerant Networks

planete.inria.fr

14 years ago

2 points

170.

Evolutionary Algorithms as Fitness Function Debuggers

6 years ago

2 points

171.

Apple devices are leaking sensitive data over BLE

7 years ago

2 points

172.

Implementing pgloader (2013) [pdf]

7 years ago

2 points

173.

“Inventors of the digital world” are french

11 years ago

2 points

174.

natron.inria.fr

11 years ago

2 points

175.

Campaign 2015: PhD positions – Inria

11 years ago

2 points

176.

"In the Beginning was the Command Line" (1999)

cristal.inria.fr

12 years ago

2 points

177.

Coq version of 2048

www-sop.inria.fr

12 years ago

2 points

178.

Open source video compositing tool Natron v1.0.0 beta released

natron.inria.fr

12 years ago

2 points

179.

Dynamic Dictionary of Mathematical Functions

ddmf.msr-inria.inria.fr

12 years ago

2 points

180.

In the Beginning was the Command Line

pauillac.inria.fr

13 years ago

2 points