Wolfram Library Archive


	Applied Mathematics > Computer Science
	ITEMS

	95 items are in this category. Listing all items:

	11.3: Accurate Color Renderings for Display Simulation Algorithmic derivation of Dyson-Schwinger equations Analytica--A Theorem Prover in Mathematica Analytica--An Experiment in Combining Theorem Proving and Symbolic Computation Analytica: A Theorem Prover for Mathematica Analyzing cellular automata Artificial Intelligence: A Neural Network Solution to the n-Queens Problem Automated complexity analysis of Nuprl extracted programs Cinematica: A System for Calibrated Macintosh-driven Displays from within Mathematica Code and Pseudo Code Combinatory Models and Symbolic Computation Computability paradigms based on DNA complementarity Computational Complementarity for Mealy Automata Constructing Applications from Reusable Components Distributional Alchemy Exploring Specifications with Mathematica Extending Traditional School Mathematics Finite State Machines and Syntactic Semigroups Flow Control for Limited Buffer Multicast Fractal image generation using iterated function systems A general symbolic PDE solver generator: Beyond explicit schemes A general symbolic PDE solver generator: Explicit schemes A Generic Graphic Framework for Combining Inference Tools and Editing Proofs and Formulae Genetic Programming Genetically Seeking Sparse Rulers Graphical and Audio Simulations Using Mathematica Hamiltonian Normalization in the Restricted ManyBody Problem by Computer Algebra Methods How to teach the fundamental concepts of OOP to engineering students Implementation and analysis of stream ciphers based on the elliptic curves Implementation of Global Memory Models with Software That Does Symbolic Computation The Implementation of ObjectMath--a High-level Programming Environment for Scientific Computing Implicit Rule Formation in Symbolic Computation The integration of maps: how Mathematica is used in the modelling of geo-objects Invariant Representations of 2D Patterns for Neural Networks Markov Regenerative Stochastic Petri Nets with General Execution Policies: Supplementary Variable Analysis and a Prototype Tool A Mathematica implementation of double adaptive quadrature A Mathematica pre-processor for performance analysis of parallel systems The Mathematica Programmer: Animated Algorithms The Mathematica Programmer: Combinators The Mathematica Programmer: Higher-Order Functions The Mathematica Programmer: Logic Programming I: The Interpreter The Mathematica Programmer: Logic Programming II: Applications The Mathematica Programmer: Object-Oriented Programming The Mathematica Programmer: Polymorphism and Message Passing The Mathematica Programmer: Relational Databases The Mathematica Programmer: Turing Machines and Code Optimization Mathematica: A Flexible Design Environment for Neural Networks Mathematica: A Programming Language MathSource Reviews: A Mathematica Version of Eliza A Method of Formal Verification of Cryptographic Circuits Modeling Finite Fields with Mathematica. Applications to the Computation of Exponential Sums and to the Solution of Equations over Finite Fields Moments for M/G/1 Queues Multiprocessing on the Desktop Neural Net Work Challenges Mathematica Neural Network Simulations using Mathematica Neural Networks in Mathematica The NeXT Computer as Physics Machine Numerical solutions of distributed diffusion Hopfield neural network equations On Mathematica Program for "Poor Man's Integrator" Implementing Risch-Norman Algorithm On the Generalized Hamming Weights of Cyclic Codes On the Numerical Accuracy of Mathematica 5.0 for Doing Linear and Nonlinear Regression Optimal intravenous bolus-infusion drug-dosage regimen based on two-compartment pharmacokinetic models Parallel Programming in Mathematica Performance Analysis of an ATM Clos switch under symmetric "bursty geometric" process traffic Petri Net Based Control for the Dynamic Scheduling Power Programming: Dynamic Programming Processor Lower Bound Formulas for Array Computations and Parametric Diophantine Systems Prototyping Neural Network Software with Mathematica PSPCLink: A Cooperation Between General Symbolic and Poisson Series Processors QCMPI: A parallel environment for quantum computing Quantum Turing Machine Simulator The queuing network analysis tool (QNAT) Random Series in Computer Graphics Rearranging Expressions by Patterns Recursive Algorithms: A Mixed Blessing Regularization of multi-soliton form factors in sine-Gordon model Response to Wilson: Forget Multiple Tools; Use Mathematica Rogers-Ramanujan computer searches Service control of a queuing system with nonrenewal arrivals and phase type services Shape Recognition in Three Dimensions Simulation of Classical Queuing Systems with Mathematica Some Rule-Based Programming Examples Static and strong typing for extended Mathematica Syntactic Pattern-Matching and Combinatory Logic Synthesis of Mathematical-Modeling Software Term rewriting and programming paradigms The Tool Kit: A Notebook Subclass Translation and Rotation Invariant 2D Representations for a Neural Network Classifier Understanding the Back-Propagated Neural Network Using Mathematica Graphics Universality of Iterated Networks Variable Stepsize in Cowell's Method Variant Handling, Inheritance and Composition in the ObjectMath Computer Algebra Environment A versatile concept for the analysis of loops Visualization of Mathematical Surfaces: the IZIC Server Approach Weak Implication: Theory and Applications
	Display in one page: 10 \| 20 \| 50 \| All records

© 2013 About Wolfram