Linear Mathematics in Infinite Dimensions
Science - Math - Differential Equations. A set of lecture notes on the mathematical framework that underlies linear systems arising in physics, engineering and applied mathematics. ...
www.math.ohio-state.edu
Linear Logic Primer
Science - Math - Logic and Foundations - Nonstandard Logics and Extensions - Substructural Logics - Linear Logic. Introductory course by Vincent Danos and Roberto Di Cosmo. ...
www.pps.jussieu.fr
Introduction to Linear Logic
Science - Math - Logic and Foundations - Nonstandard Logics and Extensions - Substructural Logics - Linear Logic. Abstract and downloadable full text. By Torben Braüner. ...
www.brics.dk
Linear Systems Virtual Experiments
Science - Technology - Electrical Engineering - Education. Virtual experiments in the area of linear systems on topics such as superposition, linearization, system realization, system stability, and state feedback. ...
academic.csuohio.edu
Non-Linear Elastic Fabrics
Business - Textiles and Nonwovens - Textiles - Fabrics - Technical Textiles - Resources - Articles and Studies. Technical paper describing a research project focused on identifying the materials, the ...
www.ntcresearch.org
Square Linear Basics (SLBas)
Computers - Software - Industry-Specific - Insurance - Claims Handling. Simplifies and greatly speeds the process of calculating the linear and square footage of ground area measurements and drawings. ...
www.slbas.com
Trilogy Linear Motors
Regional - North America - United States - Texas - Localities - W - Webster - Business and Economy. Manufacturer of ironless linear servo motors and positioners. Company background, information on pro ...
www.trilogysystems.com
Game Semantics or Linear Logic?
Science - Math - Logic and Foundations - Game Semantics. 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
Non Linear Dynamics Conference
Science - Physics - Conferences. The Conference is a cross disciplinary meeting for all scientists interested in theoretical and experimental aspects of the applied non-linear dynamics, covering the w ...
skiathos.physics.auth.gr
Linear and Multilinear Algebra, Matrix Theory
Science - Math - Algebra - Linear Algebra. An informative description of the subject of linear algebra and all of its subfields from the Mathematical Atlas. ...
www.math.niu.edu
Georgia Tech Linear Algebra Site
Science - Math - Algebra - Linear Algebra. Online resources relevant to all courses that include linear algebra content. ...
www.math.gatech.edu
International Linear Collider
of Energy Office of Science to design and build the proposed International Linear Collider. ...
ilc.fnal.gov
JTPACK Linear Solver Toolkit
Computers - Programming - Languages - Fortran - Source Code - Linear Algebra. Toolkit containing various Fortran routines developed over a number of years in support of several code efforts at Los Alamos National Lab. It contains some BLAS-like routines, some LAPACK-like routines, various iterative solvers ...
turner-family.com
Professor Strang's Linear Algebra Class
Science - Math - Algebra - Linear Algebra. Offers online video lectures for MIT's Linear Algebra course. Topics include geometric properties, using matrices, permutations, pivot variables, subspaces, Cramer's Rule, and Eigenvalues. ...
web.mit.edu
Information about Binary Linear Codes
Science - Math - Applications - Communication Theory - Coding Theory - Tables. Database of information on binary linear codes of length n and dimension k with n ...
www.math.unl.edu
Surface Acoustic Wave Linear Motor
Science - Technology - Acoustics, Ultrasound and Vibration - Ultrasound - Ultrasonic Motors. SAW linear motors. Article describing the principle, experiment and conclusions and future reading. ...
www.intellect.pe.u-tokyo.ac.jp
Applications of Linear Logic to Computation (1993)
To. Survey article by Vladimir Alexiev providing an overview of existing applications of Linear Logic to issues of computation. Discusses implications of the theory in several fields of theoretical computer science, such as functional programming, and the correct treatment of negation in logic programming ...
citeseer.ist.psu.edu
Linear Transfer Systems Ltd.
Business - Electronics and Electrical - Control Systems - Programmable Logic Controllers. Canada. Specializes in design and supply of servo driven in-press part transfer systems for stamping presses. ...
www.lineartransfer.com
Index Construction for Linear Categorisation
Computers - Internet - Searching - Directories - Open Directory Project - Research Papers. By Vaughan R. Shanks and Hugh E. Williams, RMIT University, Melbourne, Australia. Proceedings of the twelfth ...
www.seg.rmit.edu.au
Simple Linear Regression With PHP
Computers - Programming - Languages - PHP - FAQs, Help, and Tutorials. In contrast with other open source languages like Perl and Python, PHP lacks a robust community effort to develop a math library. ...
www.opensourcetutorials.com
The Linear Topic Map Notation
Reference - Knowledge Management - Knowledge Representation - Topic Maps - Technical Papers. LTM is a simple textual format for edition and exchange. ...
www.ontopia.net
Linear Programming FAQs
Science - Math - Operations Research - FAQs and Tutorials. From the newsgroup sci.op-research, maintained at the Optimization Technology Center of Northwestern University and Argonne National Laborato ...
www-unix.mcs.anl.gov
Linear Ceramics in the Netherlands
Science - Social Sciences - Archaeology - Regional - Europe - Netherlands. Illustrated discussion of prehistoric life (5500-4900 B.C) in what is now the Netherlands. Daily life, contacts, houses, pott ...
www.angelfire.com
Linear Transformer Model parameters
Science - Technology - Electronics - High Voltage - Generators - Tesla Coils - Theory and Math. How to determine all those pesky parameters of a NST for use with SPICE software. ...
hot-streamer.com
Pi-Calculus and Linear Logic (1992)
Science - Math - Logic and Foundations - Computational Logic - Combinatory Logic and Lambda Calculus - Formulae-as-Types Correspondence - Proofs as Processes. (CiteSeer) Article by Bellin and Scott sh ...
citeseer.ist.psu.edu