Sciweavers

2741 search results - page 12 / 549
» Engineering Mathematical Knowledge
Sort
View
MKM
2004
Springer
14 years 1 months ago
Copyright Issues for MKM
Abstract. We present an overview of the current situation and recent and expected future developments in areas of copyright law and economics relevant to Mathematical Knowledge Man...
Andrew A. Adams, James H. Davenport
MKM
2004
Springer
14 years 1 months ago
Extraction of Logical Structure from Articles in Mathematics
We propose a mathematical knowledge browser which helps people to read mathematical documents. By the browser printed mathematical documents can be scanned and recognized by OCR (O...
Koji Nakagawa, Akihiro Nomura, Masakazu Suzuki
BIOTECHNO
2008
IEEE
14 years 3 months ago
Mathematical Description of Biological Structures and Mechanisms
A new formalism and approach to describing cellular and molecular processes and structures is introduced, designed to support the creation of knowledge bases of molecular and cell...
H. Joel Jeffrey
ENTCS
2010
98views more  ENTCS 2010»
13 years 6 months ago
Static Analysis by Abstract Interpretation: A Mathematical Programming Approach
nalysis by abstract interpretation: a Mathematical Programming approach1 Eric Goubaulta,2 St
Eric Goubault, Stéphane Le Roux, Jeremy Lec...
APL
1994
ACM
14 years 21 days ago
The Impact of APL on First Year Mathematics
ct In 1993, the Australian Federal Government's Committee for the Advancement of University Teaching (CAUT) funded a project to develop an integrated computationally rich firs...
Walter G. Spunde