]> matita.cs.unibo.it Git - helm.git/commitdiff
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Mon, 4 Mar 2002 16:05:57 +0000 (16:05 +0000)
committerIrene Schena <irene.schena@unibo.it>
Mon, 4 Mar 2002 16:05:57 +0000 (16:05 +0000)
1) home/html/.cvsignore home/html/Makefile: added chapter 8 of mowgli proposal
Added Files:
1) home/xml/econ-scient-tech-prospects.xml: chapter 8 of mowgli proposal

helm/mowgli/home/html/.cvsignore
helm/mowgli/home/html/Makefile
helm/mowgli/home/xml/econ-scient-tech-prospects.xml [new file with mode: 0644]

index 1e51be510ff12527aa354c49636d4f7cfa9165d5..5dad0d3b84b0f13c44e87b9bac108ef3def693f5 100644 (file)
@@ -15,4 +15,5 @@ latest-news.xml
 approaching-deadlines.xml
 contribution.html
 innovation.html
-EC-contribution.html
\ No newline at end of file
+EC-contribution.html
+econ-scient-tech-prospects.html
\ No newline at end of file
index ddd9a4019b4e6f85ade18c26cb889e6dc9583d21..8cebc0c94ba963da195f5d3fe50e293b29c9fb48 100644 (file)
@@ -61,6 +61,7 @@ DOCUMENTS = \
             contribution.html \
             innovation.html \
             EC-contribution.html \
+            econ-scient-tech-prospects.html \
             consortium.html \
             project.html \
            news.html \
@@ -191,6 +192,10 @@ EC-contribution.html: $(XMLROOT)/EC-contribution.xml \
                          $(XHTMLCONTENT)
        sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
 
+econ-scient-tech-prospects.html: $(XMLROOT)/econ-scient-tech-prospects.xml \
+                         $(XHTMLCONTENT)
+       sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
+
 mowgli-events/kick-off.html: $(XMLROOT)/mowgli-events/kick-off.xml \
                             $(XHTMLCONTENT)
        sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
diff --git a/helm/mowgli/home/xml/econ-scient-tech-prospects.xml b/helm/mowgli/home/xml/econ-scient-tech-prospects.xml
new file mode 100644 (file)
index 0000000..7a71757
--- /dev/null
@@ -0,0 +1,93 @@
+<?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>
+  <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>
+
+ </body>
+</html>