- ---SRI
International, an independent, nonprofit research and development
institute, today announced continuation of an important grant from the
National Institute of General Medical Sciences (NIGMS , a unit of the
National Institutes of Health) to model complex mammalian signaling
networks based on signaling of the epidermal growth factor receptor
(EGFR).
"For over two decades, Maplesoft has provided academic
institutions around the world with fundamental and critical technology
for research and teaching in technical fields," said Jim Cooper, CEO
of Maplesoft. The product seamlessly combines numeric
and symbolic calculations, explorations, mathematical notation,
documentation , buttons and sliders, and graphics and animations that
can be shared and reused. I have been teaching with Maple for more
than 15 years and Maple is so different from what it was years ago.maplesoft .

vernacular expository

The approach uses SRI's
patent-pending Pathway Logic(TM) pathway analysis software, based on
the Maude computer language (http://maude. In addition to conducting contract R+D, SRI
licenses its technologies , forms strategic partnerships and creates
spin-off companies.

Context sensitive menus provide only applicable operations
depending on the context, such as math operations, adjusting
plots, applying units, and changing palettes.

Create Maplets using the drag-and-drop interface of the Maplet
Builder or enhance worksheets with embedded GUI components.

A point -and-click ODE (Ordinary Differential Equations)
Analyzer allows detailed and sophisticated investigation and
analysis of ODE systems. This capability allows
knowledge to be captured and shared, providing not only the
answer but the thinking behind the analysis. Maple 10 is
available directly from the Maplesoft Web Store at
http://webstore.

comprises fom

From complex computations to basic math concepts, Maple 10
opens the door to easier understanding and better productivity and
results for researchers, professors and students.

arche formal

formal proofs

Maple 10 will make it even easier for students to solve and analyze
complex problems that were not accessible thirty years ago, and
generally are not presented in textbooks even now.

Task templates and interactive task assistants enable
fill-in-the-blank problem solving for over 200 different
tasks.

unknowable proofs

Math, engineering and science instructors can
engage students like never before by using Maple 10 to offer
interactive demonstrations and explorations, as well as to prepare
lecture material, handouts, and exercises . For example,
right clicking an expression provides a menu of commands that
are only meaningful to that particular expression.com/contact/international/index.

moderated vernacular

-- A new statistics package includes a collection of functions
and interactive tools for mathematical statistics and data
analysis.

hilbert theorems

"This feature is one means by which
Pathway Logic offers the potential for researchers to model complex
cellular networks in a familiar or intuitive way.
Moreover, since companies and institutions around the world rely on
Maplesoft to solve engineering and scientific problems, using Maple 10
in their studies is a terrific way for students to get a head start in
their careers . The package supports a wide range of common
statistical tasks such as quantitative and graphical data
analysis, symbolic manipulation of random variables,
simulation, and curve fitting. The Maplesoft commercial
customer base includes Boeing, Bosch, Canon and NASA.

verified theorem

Ultimately, we
intend to make our integrated and interactive online Pathway Logic
tools available to a wide community of biologists and biomedical
researchers.
Maple 10 is the ideal analytical companion for academic
researchers . They also use Maple to ask questions about the lectures
and to complete assignments. It includes expression templates, a handwriting
palette, over a thousand mathematical symbols, and automatic
equation numbering.

Clickable calculus that allows the user to define problems,
compute, integrate, differentiate, plot, animate, and explore
parameters all in a point-and-click, easy-to-use interface.

-- Compiled function option for dramatic speed increases in
numerical computation time.com. Outside of the US + Canada, Maple 10 is
available from Maplesoft reseller partners.

frege proofs

In the second phase of the project, SRI will increase the utility
and predictive capabilities of Pathway Logic by enhancing the ability
of researchers to interact with the models . With IOP as the
infrastructure, SRI researchers will begin to integrate a user
interface, a model repository, new visualization tools, and various
biological databases into Pathway Logic.

Availability

Single user academic licenses of Maple 10 are available for US
$995. Volume, upgrade, and student discounts apply.aspx

About Maplesoft

Maplesoft is a leading developer and provider of interactive
mathematical software.

predicate mizar

Furthermore, Maple 10 improves student comprehension levels and
scholastic performance by providing the ability to illustrate
mathematical concepts , visualize problems and illuminate theory.

comprises ramifications

com/), to model
biological entities and processes. "With Maple 10, we are raising the bar by delivering the
most powerful and intuitive tool for mathematical research and
education.

Deep Math

-- Enhanced code generation capability that ensures any math
model can automatically generate the user's choice of C,
Fortran, Java(TM), MATLAB(R ) or Visual Basic(R) software code
for embedded applications. Its standards-compliant algorithms are renowned for
their speed, accuracy and reliability. In addition, Maplesoft leads
the market with innovations that make the management of technical
knowledge - whether in industry, or in a classroom - more effective
and efficient. Over two million users at thousands of organizations
benefit from advanced Maple technology.

foundations arche

SRI developed some of these tools
as part of a Web-based Pathway Logic viewer that allows multiple
queries of graphical models of EGFR biochemistry.

Business Editors /Technology Editors

WATERLOO, Canada----Maplesoft(TM),
the leading provider of high-performance software tools for
engineering, science and mathematics, today announced Maple 10, a
major release of the company's flagship product that reinvents modern
technical research and education.
In addition to being a premier research tool, Maple 10 enables
educators to deliver dynamic course content and illustrate even the
most difficult concepts.

vernacular expository

Its suite of products includes Maple, the most
powerful and intuitive tool for solving complex mathematical problems
and creating rich, executable technical documents; MapleNet, a
Web-based platform for sharing Maple content for collaboration and
e-learning; and Maple T.

reconstruct frege

A list of partners is
available online at
http://www.

reconstruct ramifications

fom formal

Longer term,
these tools may prove useful in validating novel therapeutic targets
and predicting the side effects of experimental therapies.
"Maple is an invaluable tool for teaching and learning math," said
Jim Herod, Professor Emeritus, who teaches remotely for Georgia
Institute of Technology's School of Mathematics.
Components, such as sliders and buttons can be embedded within
Maple worksheets or deployed to the Web via MapleNet. Units and tolerance are carried
through all calculations, allowing engineers to check both the
final units (dimensional analysis) and tolerance or degree of
uncertainty of the final result. For more
information, visit www.

qed verified

Promoting the mathematical modeling of
biological systems is a primary goal of NIGMS, which intends to
disseminate such tools to biologists to help them understand the new
paradigm of systems biology and to design experiments.sri. "Since the students
in my Partial Differential Equations class are scattered all over the
country, Georgia Tech sends the lectures to them on CDs."

Key Features and Benefits of Maple 10

Maple 10 offers users numerous new features designed to enhance
usability, encourage knowledge capture and add to Maple 's hallmark
mathematical power.

Major plotting and animation enhancements, such as an
automated point-and-click Plot Builder, gridlines, axes
properties, and glossiness of surfaces make it fast and easy
to visualize and present results in intuitive, high-quality
2-D and 3-D graphics.

-- Support for integer linear programming, choice of solver
methods, automatic plotting of objective function and
constraints in the Optimization Assistant .A., a Web-based system for creating tests,
assignments and exercises, automatically assessing student responses
and performance.

foundations hilbert

Business Editors/Health/Medical Writers/High-Tech Editors
BIOWIRE2K

MENLO PARK, Calif.
In the project's first phase, SRI demonstrated a novel
computational approach to help researchers create, analyze, and test
models of complex EGFR signaling networks .com) is one of the
world's leading independent research and technology development
organizations .

ramifications verified

This phase will include
development of the Pathway Logic Assistant, an application of the
InterOperability Platform (IOP), a separately funded research project
to enable the formal methods tools written in the Maude language to
communicate and interact with each other.
The ultimate research goal of Pathway Logic is to create models of
large-scale signaling networks in defined cell types -- computational
models of mammalian cells defined in terms of their molecular
responses to specific environmental signals.
"Pathway Logic models of biological systems are unique in that
they are executable - - the models exist only when assembled on demand
from user-defined starting states," said Keith Laderoute , director of
SRI's Cancer Biology Program."
Maple 10 delivers the most advanced, complete and error-free set
of math capabilities on the market, developed and tested over 25 years
and supported by a host of new tools that make it faster and easier to
put complex math into action.

Ease of Use

A sophisticated Math Equation Editor lets users create
textbook-quality equations in natural mathematical notation,
interactively.

-- Numerous other improvements and additions, including numerical
differentiation, fractional and abstract order derivatives,
polynomial ideas, and hardware computations using complex
numbers.

mathematics theorems

This could
dramatically speed drug development and improve the safety of new
drugs -- major issues for pharmaceutical and biotechnology companies
today.csl. The product enables users to eliminate algebraic,
derivation and unit errors; expand the scope of research; and quickly
and easily validate results and derivations.

Knowledge Capture

-- Full presentation control enables users to write and layout
textbook-style content , which include live calculations while
hiding the computation details.maplesoft. Additionally,
virtually every major university and research institute in the world,
including MIT, Stanford, Oxford and Waterloo , has adopted Maplesoft
products to enhance their education and research activities.

fom moderated

SRI International Begins Second Phase of National Institute of General Medical Sciences Grant for Mathematical Modeling of Biological Systems; Formal Method To

The NIGMS grant provides support for the mathematical modeling of
complex mammalian signaling and other biological networks, using SRI's
unique formal methods tools.

-- Units and/or tolerance (error ranges) support that applies to
any variable or constant .00.maplesoft.

controversy expository

"

About SRI International

Silicon Valley-based SRI International (www.

Major New Release of Maplesoft Flagship Product Radically Improves Ease of Use for Academic Market; Maple 10 is the Most Powerful and Intuitive Tool for Solvin

com

predicate verified

The support of NIGMS is helping to make this possible.

-- State-of-the-art differential equation solvers that use new
sophisticated special functions to represent solutions to many
formerly unsolvable families of linear and nonlinear
differential equations.

predicate theorem

sri. Founded as Stanford Research Institute in 1946, SRI has
been meeting the strategic needs of clients for almost 60 years. The
nonprofit research institute performs client -sponsored research and
development for government agencies, commercial businesses and
nonprofit foundations. By shifting the emphasis from
creating math to making it more accessible and easy to use, Maple 10
increases researchers' productivity, provides teachers a better
environment for developing customized curriculum and lowers the
learning curve for students. Maple 10 enables users to convey information
in a familiar way, such as the look and feel of a textbook or
technical paper, and also as executable documents that provide the
final answer. The students
then use Maple worksheets to make the calculations associated with
each lecture. This provides full content and
presentation control to the user. This
greatly enhances speed and ease of use .

A Graphing Calculator allowing access to the full power of
Maple via a familiar, intuitive interface.

-- An integrated, extensible dictionary provides definitions of
over 5000 engineering and mathematical terms, enhancing the
ability to document, communicate and share detailed technical
information.

predicate hilbert

---

- - kjjkjk

Loading...

(Note: These pages use the Atlas Content Safeguard System (ACSS) and require that Javascript is enabled for viewing.)