Sponsored White Papers, Webcasts, and Downloads
TechRepublic Resources
- Math Center Level 2 (exe)
- Math software for students studying precalculus and calculus of one variable. Consists of Scientific Calculator, Graphing Calculator 2D Numeric, Graphing Calculator 2D Parametric, Graphing Calculator 2D Polar. This version is the first release on CNET Download.com.
- Tags: Calculus, Tvalx, Tools & Techniques, Management
- Software downloads 2008-06-26
- A Graphical Representation for Biological Processes in the Stochastic Pi-Calculus
- This paper presents a graphical representation for the stochastic calculus, which is formalised by defining a corresponding graphical calculus. The graphical calculus is shown to be reduction equivalent to stochastic, ensuring that the two calculi have the same expressive power. The graphical representation is used to model a couple of...
- Tags: Calculus, Representation, Benefits, Human Resources
- White papers 2006-06-22
- A Mobile Agent Service-Oriented Scripting Language Encoded on a Process Calculus
- The paper presents a service-oriented scripting language for programming mobile agents in distributed systems. The main novelty of the language the authors call Mob, is the integration of the service-oriented and mobile agent paradigms. Mob is also encoded onto a process calculus with a well studied semantics. The encoding provides...
- Tags: Mobile, Agent, Calculus, Real Estate, Advertising & Promotion, Development Tools, Business Operations, Marketing, Software Development, Software/Web Development
- White papers 2006-06-08
- Has calculus enhanced your IT career?
- Has calculus enhanced your IT career?While struggling to get through Calculus in college, I often wondered how it might benefit me sometime in the future. I'm still wondering. I've found Algebra to be quite useful on several occasions, but thankfully Calculus has never come into the picture. ...
- Tags: calculus, Calculus, training, programming, math, pennatomcat, off-topic, information technology
- Discussion threads 2006-05-02
- Kyron Force Calculus (exe)
- Kyron Force Calculus helps you calculate the reactions in two props holding a bar when you apply 1 or 2 forces above it. Excellent for Engineering, High School physics students and teachers. You can adjust the forces' values and angles and look at them with a very nice graphic interface,...
- Tags: calculus, kyron software, microsoft windows, microsoft windows vista (Longhorn), operating systems, software
- Software downloads 2008-08-05
Additional Resources
- Network Calculus Based Simulation for TCP Congestion Control: Theorems, Implementation, and Evaluation
- This paper examines the feasibility of incorporating network calculus based models in simulating TCP/IP networks. By exploiting network calculus properties, the authors characterize how TCP congestion control - additive increase and multiplicative decrease AIMD, together with the queue management strategy used in routers, regulates TCP flows. The paper first divides...
- Tags: Network, TCP, Tcp/Ip, Networking
- White papers 2007-01-01
- Timed Spi-Calculus With Types for Secrecy and Authenticity
- This paper presents a discretely timed spi-calculus. A primitive for key compromise allows to model key compromise attacks, thus going beyond the standard Dolev-Yao attacker model. A primitive for reading a global clock allows the authors to express protocols based on timestamps, which are common in practice. The authors accompany...
- Tags: Lucent Technologies Inc., Protocol, Alcatel, Authenticity, Security
- White papers
- A Graphical Representation for the Stochastic Pi-Calculus
- This paper presents a graphical representation for the stochastic pi-calculus, which builds on previous formal and informal notations. The graphical representation is used to model a Mapk signalling cascade and an evolved gene network. One of the main benefits of the representation is its ability to clearly highlight the existence...
- Tags: Microsoft Corp., Representation, Benefits, Networking, Human Resources
- White papers 2005-08-01
- Calculus Problem Solver (exe)
- Calculus Problem Solver can solve differentiation of any arbitrary equation and output the result. It can provide detailed step-by-step solutions to given differentiation problems in a tutorial-like format. In addition to these, it can also initiate an interactive quiz in which you can solve differentiation while the computer corrects your...
- Tags: Productivity
- Software downloads 2007-03-19
- Graphmatica (zip)
- A powerful, easy-to-use, equation plotter with numerical and calculus features. Graph Cartesian functions, relations, and inequalities, plus polar, parametric, and ordinary differential equations. Numerically solve and graphically display tangent lines and integrals. Find critical points, solutions to equations, and intersections between Cartesian functions. For students and teachers from high-school algebra...
- Tags: Equation, Plotters, Hardware, Peripherals
- Software downloads 2005-12-19
- A Calculus of Untyped Aspect-Oriented Programs
- Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. The dynamic semantics of aspects is typically specified by appealing to an underlying object-oriented language via a compiler transformation known as weaving. This treatment is unsatisfactory for several reasons....
- Tags: DePaul University, Aspect-oriented, Semantics, Object-oriented, Ooa/Ood/Oop, Software Development, Software/Web Development
- White papers
- Authenticity by Typing for Security Protocols
- This paper proposes a new method to check authenticity properties of cryptographic protocols. First, code up the protocol in the spi-calculus of Abadi and Gordon. Second, specify authenticity properties by annotating the code with correspondence assertions in the style of Woo and Lam. Third, figure out types for the keys,...
- Tags: Protocol, Security
- White papers
- Algebra Equation Solver (exe)
- Enter your equations into this Algebra Equation Solver. Get step-by-step solutions and explanations to basic algebra through college algebra and pre-calculus equations in a single user-friendly low cost program. The program solves single equations including Linear, Quadratic, Rational, and Literal Equations. Quadratic Equations can be solved by Factoring, the Quadratic...
- Tags: Equation, Algebra Equation Solver, Operational Accounting, Finance
- Software downloads 2006-12-03
- SLA Calculus for End-to-End QoS of TCP-Based Applications in a Multi-Domain Environment
- Next-generation communication services will be offered over distributed information and communication infrastructures consisting of a multitude of administrative domains, owned by different parties. This raises the problem for service providers to provide satisfactory levels of end-to-end Quality of Service QoS, as experienced by the paying end user, in a cost-effective...
- Tags: SLA, QoS, Environment, TCP, Service Level Management, It Operations, It service Management
- White papers 2006-06-05
- Physics (zip)
- Some years ago I created many SuperCard Player projects with text, graphics, and animations for teaching a one-year calculus-based general physics course at Saint Louis University. The projects were designed to accompany lectures, so they are not complete tutorials. Still they should be useful to students. They are very easy...
- Tags: Physics, Mice, Hardware, Peripherals
- Software downloads 2007-01-10
- AlgoSim (exe)
- AlgoSim is a numerical calculator with features such as function plotting, one variable statistical analysis, and visual creation of user-defined algorithms. The program has calculus features, represented by numerical differentiation, integration and localization of stationary points. Furthermore, AlgoSim is able to numerically solve equations, compute sums and products and create...
- Tags: Function, AlgoSim, Engineering
- Software downloads 2006-07-11
- SpaceTime (exe)
- The most powerful calculator ever made for your Pocket PC with 2D, 3D, and 4D graphing and MobileCAS Technology for algebra and calculus. From the high school student to the professional engineer, SpaceTime allows you to explore mathematical concepts in an easy-to-use interface with helpful tutorials that show you how...
- Tags: Pocket PC, Handhelds, Operating Systems, Hardware, Software
- Software downloads 2007-03-12
- Network Administrator (zip)
- This software is designed to help the managers and administrators of internet cafes and cyber cafes. Allows completely to automize work of the manager. The simple and understandable interface, shell for clients, automatic raise of clients on expiration of the paid time. Automatic calculus of the cost of services. Unlimited...
- Tags: Internet, Mice, Taxes, Network Administration, Hardware, Peripherals, Financial Planning, Finance, Networking
- Software downloads 2007-07-02
- GeoGebra (zip)
- GeoGebra is a dynamic mathematics software for education in secondary schools that joins geometry, algebra and calculus. On the one hand, GeoGebra is a dynamic geometry system. You can do constructions with points, vectors, segments, lines, conic sections as well as functions and change them dynamically afterwards. On the other...
- Tags: Function, GeoGebra, Financial Services
- Software downloads 2007-08-20
- GeoGebra (exe)
- GeoGebra is a dynamic mathematics software for education in secondary schools that joins geometry, algebra and calculus. On the one hand, GeoGebra is a dynamic geometry system. You can do constructions with points, vectors, segments, lines, conic sections as well as functions and change them dynamically afterwards. On the other...
- Tags: Function, GeoGebra, Financial Services
- Software downloads 2007-08-20
- << Previous
- page 1 of 1
- Next >>
