]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/proposal/econ-scient-tech-prospects.xml
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / mowgli / home / xml / proposal / econ-scient-tech-prospects.xml
diff --git a/helm/mowgli/home/xml/proposal/econ-scient-tech-prospects.xml b/helm/mowgli/home/xml/proposal/econ-scient-tech-prospects.xml
deleted file mode 100644 (file)
index 9114d80..0000000
+++ /dev/null
@@ -1,126 +0,0 @@
-<?xml version="1.0"?>
-
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
-
-<html>
- <head>
-   <title>Economic development and Scientific and Technological Prospects</title>
- </head>
- <body>
-
- <table width="550">
-   <tr>
-    <td>
-     <a href="EC-contribution.html" target="content"><img src="./../../images/PreviousArrow.gif" width="26" height="26" border="0" alt="Previous Page"/></a>
-    </td>
-    <td>
-     <a href="../project.html" target="content">Index</a>
-    </td>
-    <td>
-     <a href="project-planning.html" target="content"><img src="./../../images/NextArrow.gif" width="26" height="26" border="0" alt="Next Page"/></a>
-    </td>
-   </tr>
-  </table>
-
-  <br/>
-
-  <h1>Economic development and Scientific and Technological Prospects</h1>
-
-  <h2>Identification of exploitable results</h2>
-  <p>MOWGLI is meant to develop, evaluate, fine-tune and deliver a complete 
-     prototype supporting friendly and interactive access to huge, distributed 
-     repositories of content-based mathematical knowledge. The purpose of the 
-     project is to overcome some of the main obstacles that currently hinder a
-     wider dissemination of Information Technologies in the mathematical and 
-     research community (comprising both professionals and students). This is 
-     intended as a public service for the whole community of users, and we 
-     expect no direct commercial profit by our work.</p>
-  <p>Of course, the core technologies and languages developed in MOWGLI may be
-     exploited in a lot of different ways, according to the nature and 
-     exploitation plan of each partner.</p>
-  <p>In particular, it should be clear that having a coherent, distributed 
-     library of structured mathematical knowledge, saved in a clearly defined,
-     well documented and application independent format, is just the starting 
-     point of a wider, potentially enormous process. Building on the grounds 
-     provided by MOWGLI, a lot of different services can be imagined, and 
-     independently developed by different organisations. Inside the project, we
-     shall just give a few hints in this direction, supporting advanced and 
-     interactive forms of searching and navigation, as well as automatic 
-     validation facilities, for suitable fragments of the library.</p>
-
-  <h2>Target Market</h2>
-  <p>The main target market of MOWGLI is education. Here, the potentiality 
-     offered by a semantic description of the information for the development 
-     of interactive, electronic textbooks are enormous. In particular, the 
-     MOWGLI prototype could become an essential tool for a wider and more 
-     friendly dissemination of mathematical knowledge.</p>
-  <p>A second, potential market is Publishing. Digital libraries currently 
-     suffers from clear limitations due to the machine-readable but not 
-     machine understandable encoding of the information. No other kind of 
-     elaboration than displaying or printing is usually possible. There is no 
-     possibility of cut-and paste, formal checking, complex searching. For 
-     instance, we cannot write a spider going around searching for a proof with
-     a given template, because there is not structure, and in particular no 
-     semantics inside the text.</p>
-  <p>A third market are industries specialised in formal verification and 
-     security. These industries are usually asked to check a given system or 
-     protocol for security issues or formal validation of functional/temporal 
-     behaviour. The result of the formalisation work and its automatic 
-     validation is typically in an internal format which is obscure even to 
-     experts. Studying the possibility to automatically generate a more 
-     friendly presentation in usual mathematical notation is thus a major 
-     topic.</p>
-
-  <h2>Consortium's Dissemination and Exploitation Strategy</h2>
-  <p>According to the Project Workplan, a considerable effort will be devoted 
-     to the dissemination/exploitation of the results. During the first six 
-     months, the consortium will undertake the development and execution of a 
-     workplan to achieve successful dissemination of the project results. In 
-     particular, the very nature of the project suggests to involve the 
-     largest community of professionals during the modelling phase. Here, we 
-     shall be open to any contribution, even soliciting them, still keeping 
-     final technical decisions inside the Project.
-   <br/>
-     The foreseen dissemination steps include:</p>
-
-  <ol>
-   <li>Preparation of an ``information pack'', including a folder and CDROM 
-       with demos.</li>
-   <li>Presentation of MOWGLI to national and international conferences on 
-       I.T.Technologies.</li>
-   <li>Presentation of MOWGLI to thematic conferences on Education, Digital 
-       Libraries, Formal Verification and so on.</li>
-   <li>Advertising to actors/institutions which may be direct users or may 
-       channel the information to final users (such as the World Wide Web 
-       Consortium).</li>
-   <li>Technical papers and articles to be sent to specialised reviews.</li>
-   <li>Management of the MOWGLI Web site.</li>
-   <li>Dissemination of technical achievements in specific scientific 
-       communities, such as XML-related interests groups.</li>
-  </ol>
-
-  <p>Management of the Exploitation and Dissemination activities is a specific
-     Work-package that will be lead by the Project Exploitation Board. It is 
-     planned that all partners will nominate qualified persons as exploitation 
-     managers to coordinate their own exploitation activities. The Exploitation
-     Board will be in charge of the preparation of the exploitation and 
-     dissemination plan.</p>
-
- <br/> 
-
- <table width="550">
-   <tr>
-    <td>
-     <a href="EC-contribution.html" target="content"><img src="./../../images/PreviousArrow.gif" width="26" height="26" border="0" alt="Previous Page"/></a>
-    </td>
-    <td>
-     <a href="../project.html" target="content">Index</a>
-    </td>
-    <td>
-     <a href="project-planning.html" target="content"><img src="./../../images/NextArrow.gif" width="26" height="26" border="0" alt="Next Page"/></a>
-    </td>
-   </tr>
-  </table>
-
- </body>
-</html>