Infinit

Infinit is a file transfer service operated by Infinit International Inc. Infinit has released five products, three for desktop and two for mobile… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
DC-DC converters are electronic devices used to change DC electrical power efficiently from one voltage level to another… (More)
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 2.4
  • figure 2.6
Is this relevant?
Highly Cited
2010
Highly Cited
2010
We study a slotted version of the Aloha Medium Access (MAC) protocol in a Mobile Ad-hoc Network (MANET). Our model features… (More)
Is this relevant?
2005
2005
A modified realisability interpretation of infinitary logic is formalised and proved sound in constructive type theory (CTT). The… (More)
Is this relevant?
2003
2003
We establish a version of the infinitesimal rigid displacement lemma in curvilinear Lipschitz coordinates. We give an application… (More)
Is this relevant?
2003
2003
A method is presented for augmenting a finite dimensional linear quadratic Gaussian (LQG) controller for a distribut ed parameter… (More)
Is this relevant?
2001
2001
This paper develops a general technique to analyze the head r eduction of a term in a context. This technique is used to give a… (More)
Is this relevant?
2000
2000
Robust statistics [1,6] has attracted much attention recently within the computational geometry community due to the natural… (More)
  • figure 1
Is this relevant?
Highly Cited
2000
Highly Cited
2000
The representation of freeform surfaces by sufficiently refi ned polygonal meshes has become common in many geometric modeling… (More)
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Observations of both Ethernet traffic and variable bit rate (VBR) video traffic have demonstrated that these traffics exhibit… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?