Search
Selected: All

A Lambda-Calculus with letrec, case, constructors and non-determinism

Computer Science – Programming Languages
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A Landsat-assisted study of the aquatic areas of the Lake Kemijärvi region, Northern Finland

Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A Language for Generic Programming in the Large

Computer Science – Programming Languages
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A language for mathematical knowledge management

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations

Computer Science – Programming Languages
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A Language-theoretic View on Guidelines and Consistency Rules of UML

Computer Science – Software Engineering
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A large amplitude rotational wave in the ionosheath of Venus

Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A Large and Brilliant Fire-ball Meteor

Computer Science – Sound
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A large area cosmic muon detector located at Ohya stone mine

Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A large array of telescopes in Antarctica with all-sky imaging every five seconds

Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A large deep freshwater lake beneath the ice of central East Antarctica

Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A Large Deviations Approach to Sensor Scheduling for Detection of Correlated Random Fields

Computer Science – Information Theory
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A Large Deviations Result for Aggregation of Independent Noisy Observations

Computer Science – Information Theory
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A large dust/ice ratio in the nucleus of comet 9P/Tempel 1

Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A Large Family of Multi-path Dual Congestion Control Algorithms

Computer Science – Networking and Internet Architecture
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A large infrared telescope on Spacelab (LIRTS)

Computer Science – Performance
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A Large Scale Surface Pattern Associated with the Ejecta Blanket and Rays of Copernicus

Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A Large Scale Survey of the Low-mass Young Population in the Orion OB1 Association

Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A large scale view of molecular gas and dust towards cloud D of the Vela Molecular Ridge

Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

A large slow slip event and the depth of the seismogenic zone in the south central Alaska subduction zone

Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0
  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.