GIPALS: Linear Programming Tool
Science - Math - Combinatorics - Software - Linear Programming and Optimization. Linear programming software for industrial size constrained optimization based on Interior-Point method. ...
www.optimalon.com
Linear Algebra Tools
Science - Math - Software - Mathematica. A group of tutorial notebooks to assist students studying Linear Algebra topics. ...
www.math.duke.edu
Lyryx Interactive Linear Algebra
Science - Math - Algebra - Linear Algebra. Contains narrated and animated lessons, interactive exploration and computational tools, and an assessment system providing feedback to guide student learning. ...
lila.lyryx.com
Linear Motion Systems Ltd
Regional - Europe - United Kingdom - Business and Economy - Industries - Manufacturing - Factory Automation. Agents selling imported actuators, ballscrews, and linear guides and bearings. Describes it ...
www.linearmotionsystems.co.uk
Phil Wadler's Linear Logic Publications
Science - Math - Logic and Foundations - Nonstandard Logics and Extensions - Substructural Logics - Linear Logic. Includes his tutorial paper "A taste of linear logic". ...
cm.bell-labs.com
GAMM Workshop on Applied and Numerical Linear Algebra
Science - Math - Numerical Analysis - Events - Past Events. With special emphasis on Linear Algebra in Systems and Control Theory. FernUniversitaet Hagen, Germany; 2--3 July 2004. ...
www.math.tu-berlin.de
Bibliography on the Solution of Sparse Linear Systems and Related Areas of Computation
Science - Math - Numerical Analysis - Linear Algebra. More than 2000 selected references, covering the solution of sparse linear systems and related areas of computation, including: computational linear algebra, high performance computing, mathematical programming and graph theory. ...
citeseerx.ist.psu.edu
Linear Algebra
Science - Math - Algebra - Linear Algebra. "Elementary Linear Algebra" by Keith Matthews. Lecture notes and solutions from 1991 in PDF or PostScript. ...
www.numbertheory.org
Linear Algebra
Science - Math - Algebra - Linear Algebra. Textbook by Jim Hefferon covering the material of any undergraduate first linear algebra course. Book or chapters in PDF. ...
joshua.smcvt.edu
Linear Network
Science - Math - Logic and Foundations - Proof Theory. Linear Logic in Computer Science is lead by the "Logic of Programming" research team. Its thematic is focused on developing the theory and the applications of Linear Logic. It is formed by seven sites located in Marseille, Bologna, Cambridge, Edinburgh ...
iml.univ-mrs.fr
The Linear Logic Pages
Science - Math - Logic and Foundations - Nonstandard Logics and Extensions - Substructural Logics - Linear Logic. An overview of the current knowledge in Linear Logic. ...
iml.univ-mrs.fr
30L-1 Linear Amplifier
Recreation - Radio - Amateur - Boatanchors - Collins. Information and photos of this Collins linear. ...
www.wa3key.com
Abstract and Linear Algebra
Science - Math - Algebra. A forum for students on abstract algebra and linear algebra. ...
www.math.miami.edu
Linear Algebra Textbook
Science - Math - Algebra - Linear Algebra. By Jim Hefferon. Free download in PDF and TeX source code. Covers the material of an undergraduate first linear algebra course. ...
joshua.smcvt.edu
Next Linear Collider (NLC)
Regional - North America - United States - Government - Executive Branch - Department of Energy - DOE National Laboratories - Stanford Linear Accelerator Center - Research Areas. Linear collider resou ...
www-project.slac.stanford.edu
Game Semantics or Linear Logic?
Science - Math - Logic and Foundations - Nonstandard Logics and Extensions - Substructural Logics - Linear Logic. A discussion of how linear logic relates to computability logic - the game-sematically introduced logic of computational resources and interactive computation. ...
www.csc.villanova.edu
Linear Bounded Automata
Computers - Computer Science - Theoretical - Automata Theory - Linear Bounded Automata. A course note chapter with a definition of LBA and examples. ...
www.cs.uky.edu
Linear Bounded Automata
Computers - Computer Science - Theoretical - Automata Theory - Linear Bounded Automata. Set of slides for lectures on LBA. ...
www.cs.uiowa.edu
Linear Algebra Glossary
Science - Math - Algebra - Linear Algebra. Includes definitions and examples of all basic concepts. ...
people.scs.fsu.edu
Seminar on Linear Logic and Applications
Science - Math - Logic and Foundations - Nonstandard Logics and Extensions - Substructural Logics - Linear Logic. Organised by Frank Pfenning at Carnegie-Mellon. ...
www.cs.cmu.edu
Advanced Linear Devices, Inc.
Business - Electronics and Electrical - Components - Semiconductors - Integrated Circuits - Linear. Develops, manufactures and markets precision low power linear ICs. Products include EPADs, MOSFETs, rail-to-rail operational amplifiers, op amps, dual slope converters, voltage comparators, analog switches ...
www.aldinc.com
Linear Complexity: A Literature Survey
Science - Math - Applications - Information Theory. The linear complexity (LC) of a sequence is the size in bits of the shortest linear feedback shift register (LFSR) which can produce that sequence. The measure speaks to the difficulty of generating, and perhaps analyzing, a particular sequence. ...
www.ciphersbyritter.com
Game Semantics or Linear Logic?
Computers - Artificial Intelligence - Games. A discussion of how linear logic relates to computability logic, - the game-sematically introduced logic of computational resources and interactive computation. ...
www.csc.villanova.edu
Linear Bounded Automaton
Computers - Computer Science - Theoretical - Automata Theory - Linear Bounded Automata. Wikipedia article defines LBA and shows their place in the Chomsky hierarchy. ...
en.wikipedia.org
top
