... Proceedings of the ... IEEE International Conference on Progress in Informatics and Computing. IEEE International Conference on Progress in Informatics and Computing最新文献

{"title":"New uses for computer in medical education, clinical practice, and patient safety in the US and Japan","authors":"Daisuke Koide, E. Peskin","doi":"10.2201/NIIPI.2005.2.2","DOIUrl":"https://doi.org/10.2201/NIIPI.2005.2.2","url":null,"abstract":"There has been a rapid expansion of computer use in medicine recently in the US and Japan. The reasons are availability of high speed and wireless connections, decreasing cost, demands for increased quality of care and documentation, and improving medical education. On the other hand, there are disadvantages which are extra time and effort needed, vulnerability to viruses, breaches of patient confidentiality, and high cost at start-up. One way to decide if the advantages of computers in medicine overcome the disadvantages to show physicians computer programs that may be useful to them. There are many such programs in Japanese as well as in English which are discussed in this paper. A major difference between the US and Japan is the high use of personalized digital assistants (PDAs) by US physicians as compared to Japanese physicians. PDAs can decrease medical errors due to rapid information access while improving efficiency. Although the market for the PDAs is currently decreasing in Japan, the coming merger of the cell phone and the PDA into the “smart phone” is likely to stimulate Japanese physicians’ interest in PDAs for medical use, especially considering the widespread popularity of cellular phones in Japan.","PeriodicalId":91638,"journal":{"name":"... Proceedings of the ... IEEE International Conference on Progress in Informatics and Computing. IEEE International Conference on Progress in Informatics and Computing","volume":"72 1","pages":"3-15"},"PeriodicalIF":0.0,"publicationDate":"2005-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76997719","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Second order permutative conversions with Prawitz's strong validity","authors":"M. Tatsuta","doi":"10.2201/NIIPI.2005.2.4","DOIUrl":"https://doi.org/10.2201/NIIPI.2005.2.4","url":null,"abstract":"A clear and complete proof of strong normalization of second order natural deduction with permutative conversions is given by using Prawitz’s strong validity. This paper completes Prawitz’s original proof.","PeriodicalId":91638,"journal":{"name":"... Proceedings of the ... IEEE International Conference on Progress in Informatics and Computing. IEEE International Conference on Progress in Informatics and Computing","volume":"64 1","pages":"41-56"},"PeriodicalIF":0.0,"publicationDate":"2005-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89475575","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Internet challenges for informatics research","authors":"G. Huet","doi":"10.2201/NiiPi.2005.2.1","DOIUrl":"https://doi.org/10.2201/NiiPi.2005.2.1","url":null,"abstract":"1 Informatics is a young discipline indeed. After computers appeared 50 years ago, the field was broadly divided between designing hardware (electronics) and programming software (combinatorics, mathematical logic). There was a dichotomy between scientific computing (engineering and science) and data processing (administration, services)-to the extent that two families of computers were developed for the two application fields. Progressively the two lines merged, programming became the dominant paradigm (to the extent that nowadays hardware is macro-generated by software), and data processing was for a while relegated to the sub-field of databases. Mathematical logic evolved to adapt itself as the foundation of constructive mathematics needed for expressing algorithms , data structures and networking protocols. The computing centers vanished, while personal computers invaded people's homes and offices. Computers shrunk to get embedded in cars, cameras, telephones, televisions , games, home appliances. Most importantly, networks merged into Internet, a major new actor in our civilization, which opens unforeseen opportunities for societal mutations. In this unprecedented technical revolution, the terminology \" computer science \" is becoming increasingly obsolete. Algorithms, logical specifications, process calculi and numerous relevant mathematical areas are being interlinked in an emerging major science, Informatics, with vigorous fundamental research. But in this major revolution brought about in engineering, medicine, commerce, transportation and most sectors of human activity, programs proper are somehow becoming secondary to the data they manipulate. Text, voice, images, physical measurements in a range of scales from astronomy to cell and atomic structures, are sensed, stored, computed upon daily in a worldwide computing maze. Already 20 years ago, Steve Jobs launched the NeXT cube, delivered to every customer with Shakespeare's complete works on disk. Today any PC owner has a complete GPS cartography of the planet at his disposal for navigation on the Web through Google™ Earth. The works of art of passed centuries, the artifacts of ancient civilizations, the testimonies of passed and present cultures, are being digitalized, analyzed, digested in virtual museums open to everyone's perusal. Bamiyan's buddhas are resurrected from the dust of destruction, forever smiling in their pristine detachment from history's turmoil. World's cultural heritage is here and now at our fingertips. Archives, libraries and museums are opening up in everyone's home, ready to deliver their secrets and treasures. Knowledge is plied out of academic institutions, education is liberated from intermediation, significant information is exchanged out of the control of official channels. The maze of traditional knowledge …","PeriodicalId":91638,"journal":{"name":"... Proceedings of the ... IEEE International Conference on Progress in Informatics and Computing. IEEE International Conference on Progress in Informatics and Computing","volume":"30 1","pages":"1"},"PeriodicalIF":0.0,"publicationDate":"2005-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84371001","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Ontology optimisation−Problematics & methodology, with a first step of formalism","authors":"Truong My Dung, Nguyen Dinh Ngoc","doi":"10.2201/NIIPI.2005.2.7","DOIUrl":"https://doi.org/10.2201/NIIPI.2005.2.7","url":null,"abstract":"After a short tentative of phenomenology to sketch out the background context of Ontologybased Semantic Web, the authors overview the problematics related to the ontology optimisation, then make some suggestions for a somewhat new methodology’ s approach, taking into account the impact of evolving Automation technology on Semantic Web design and deployment. Then the paper proposes a tentative of ontology optimisation formalism, and open source ontology software optimisation. After pointing the Road ahead for Vietnam, the paper concludes by a call for cooperation/collaboration on related education and training in Vietnam, and continuing R&D on Ontology optimisation.","PeriodicalId":91638,"journal":{"name":"... Proceedings of the ... IEEE International Conference on Progress in Informatics and Computing. IEEE International Conference on Progress in Informatics and Computing","volume":"8 1","pages":"87"},"PeriodicalIF":0.0,"publicationDate":"2005-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88218242","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Access, claims and quality on the internet-Future challenges","authors":"K. Veltman","doi":"10.2201/NIIPI.2005.2.3","DOIUrl":"https://doi.org/10.2201/NIIPI.2005.2.3","url":null,"abstract":"The vision of access to human knowledge has existed explicitly at least since the time of Aristotle In 1934, Otlet outlined a vision of comprehensive access to knowledge. Progress towards this vision entailed initial visions of hypertext, markup languages, the semantic web, Wikipedia and more recently a series of developments with respect to Open Source. A brief survey of these developments is provided. The rhetoric of the Internet insists that everything should be accessible by everyone at anytime. This poses obvious technical challenges and serious philosophical problems of method. If everything is accessible then how do we separate the chaff from the grain and how do we identify quality? Following a survey of important developments, this essay suggests fi ve dimensions that need to be included in a future web: 1) variants and multiple claims; 2) levels of certainty in making a claim; 3) levels of authority in defending a claim; 4) levels of signifi cance in assessing a claim; 5) levels of thoroughness in dealing with a claim.","PeriodicalId":91638,"journal":{"name":"... Proceedings of the ... IEEE International Conference on Progress in Informatics and Computing. IEEE International Conference on Progress in Informatics and Computing","volume":"98-B 1 1","pages":"17"},"PeriodicalIF":0.0,"publicationDate":"2005-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88732329","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Information power and international security","authors":"M. Kohara","doi":"10.2201/NIIPI.2005.1.3","DOIUrl":"https://doi.org/10.2201/NIIPI.2005.1.3","url":null,"abstract":"“Information power” has grown and will continue to grow, increasingly important as an element of national power in this age of globalization and the information revolution. This paper aims to describe this increasing role of information power. The information revolution has accelerated the pace of globalization and affects the distribution of power among international actors. Meanwhile, the power of non-state actors has been growing within the international community. This change has had a substantial impact on the power and security of nation-states. In particular, international terrorist groups are posing a serious threat to national security and international peace as the influence of such groups is enhanced by their use of information power. The international community must adopt a new strategy to combat terrorism by promoting international cooperation and its own effective use of information power. Although so-called “hard power” remains a major determinant in the dynamics of international relations, “soft power” of information in today’s information age is even more influential and effective. Information power is composed of both information technology and information content. The former is essential to increase military and economic power in the information age. The latter is used to form public opinion and determines public trust, perceived legitimacy, and overall appeal. Every nation must nurture its sources of information power to ensure national security in today’s globalized world. Although an in-depth study is required on the relationship between the targets of information power (such as the establishment of legitimacy) and the components of it such power (i.e. a dominant culture or value such as democracy), this paper offers an initial analysis of this relationship.","PeriodicalId":91638,"journal":{"name":"... Proceedings of the ... IEEE International Conference on Progress in Informatics and Computing. IEEE International Conference on Progress in Informatics and Computing","volume":"4 1","pages":"39-46"},"PeriodicalIF":0.0,"publicationDate":"2005-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85552149","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Government Information and Roles of Libraries and Archives: Recent Policy Issues in Japan","authors":"Takashi Koga","doi":"10.2201/NIIPI.2005.1.4","DOIUrl":"https://doi.org/10.2201/NIIPI.2005.1.4","url":null,"abstract":"Government information is an important part of the “knowledge infrastructure” of a government’s citizens, in the way such information provides a reliable knowledge base relating both to laws and to everyday life. In addition, government information forms part of the historical and cultural heritage and serves as a means of accountability for current and future generations, provided that this information is archived and that its long-term accessibility is ensured. Recently, central and local governments in Japan have developed a variety of policies concerning government information, including: (1) development of e-government and (2) promotion of archival systems. This article reviews these policies and discusses the challenges faced by libraries and archives in Japan in maintaining government information as part of the nation's knowledge infrastructure.","PeriodicalId":91638,"journal":{"name":"... Proceedings of the ... IEEE International Conference on Progress in Informatics and Computing. IEEE International Conference on Progress in Informatics and Computing","volume":"18 1","pages":"47"},"PeriodicalIF":0.0,"publicationDate":"2005-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83271335","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Single photons for quantum information systems","authors":"Y. Yamamoto, C. Santori, G. Solomon, J. Vučković, D. Fattal, E. Waks, E. Diamanti","doi":"10.2201/NIIPI.2005.1.2","DOIUrl":"https://doi.org/10.2201/NIIPI.2005.1.2","url":null,"abstract":"This paper introduces the current state of the development of single photon sources that will play a central role in future quantum information systems. By optically pumping a system consisting of a semiconductor single quantum dot confined in a monolithic microcavity, it is possible to produce a single photon pulse stream at the Fourier transform limit with high efficiency and with a high repetition speed. It is expected that this technique will not only prove to be useful for BB84 quantum cryptography using single photons, but will also find applications in other fields such as BBM92 quantum cryptography using entangled photon pairs, quantum teleportation, quantum repeaters, and linear optical quantum computers.","PeriodicalId":91638,"journal":{"name":"... Proceedings of the ... IEEE International Conference on Progress in Informatics and Computing. IEEE International Conference on Progress in Informatics and Computing","volume":"80 1","pages":"5"},"PeriodicalIF":0.0,"publicationDate":"2005-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83079075","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Traffic analysis and network bandwidth provisioning tools for academic information networks","authors":"S. Abe, T. Hasegawa, S. Asano","doi":"10.2201/NIIPI.2005.1.7","DOIUrl":"https://doi.org/10.2201/NIIPI.2005.1.7","url":null,"abstract":"A set of traffic analysis and network bandwidth provisioning tools for support of the Science Information Network (SINET) is presented. The software structure and functionality are also described. The tools provide an estimation of tail probability based on an approximation using Fractional Brownian Motion (FBM) tail probability, and the tools also enable calculation of the average queueing buffer waiting time using the MMPP/G/1 waiting time approximation method. The estimations provided by these tools are consistent with simulations based on observed traffic data.","PeriodicalId":91638,"journal":{"name":"... Proceedings of the ... IEEE International Conference on Progress in Informatics and Computing. IEEE International Conference on Progress in Informatics and Computing","volume":"181 1","pages":"83"},"PeriodicalIF":0.0,"publicationDate":"2005-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83014943","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Progress of the Digital Silk Roads project","authors":"K. Ono, Takeo Yamamoto, T. Kamiuchi, A. Kitamoto, F. Andrès, S. Sato, E. Andaroodi","doi":"10.2201/NIIPI.2005.1.8","DOIUrl":"https://doi.org/10.2201/NIIPI.2005.1.8","url":null,"abstract":"NII launched the Digital Silk Roads (DSR) project in cooperation with UNESCO as an international joint research project at NII in April 2001. In December 2001, at a the Tokyo symposium for Digital Silk Roads jointly organized by NII and UNESCO, the Tokyo Declaration was issued. The second International Symposium for the Digital Silk Roads was held at Nara in December 2003. A memorandum of understanding (MOU) between UNESCO and NII was signed by the Directors General of UNESCO and NII in March 2003. Under this MOU, the Digital Silk Roads Initiative Framework (DSRIF) was established as a coordination mechanism for promotion of the Project. The Bamiyan Remains in Afghanistan were archived as the Bamiyan Virtual Museum before being dynamited. Digital archiving of various historical documents, including rare books in the possession of the Toyo Bunko in Tokyo, was carried out. An Advanced Scientific Portal for International Cooperation on the Digital Silk Roads(ASPICO-DSR) was developed to provide a platform for collaboration of Digital Silk Roads studies. Ontology of caravanserais in Central Asia and 3D virtual restoration of the Citadel of Bam are currently being researched. This paper presents the progress of the Digital Silk Roads project conducted at NII, reporting on the objectives, targeted areas, program concept, architecture, and implementation by reviewing its past achievements. Ch.1 gives an introductory remarks by K.Ono. Ch.2 overviews of the Digital Silk Roads project by K.Ono Ch.3 describes the digital archive of the rare books on Silk Road in the possession of the Toyo Bunko by T.Yamamoto and S.Sato. Ch.4 presents the virtual restoration of the Bamiyan ruins using DIS technology by T.Kamiuchi. Ch.5 report on the DSR portal sites and its structure by A. Kitamoto . Ch.6 describes the architecture and metadata management of the ASPICO portal by K.Ono. Ch.7 describes resources management techniques by F.Andres. Ch.8 discusses Spacial-Lexical Knowledge Model for the Silk Roads caravanserais by E. Andaroodi. Ch.9 concludes this report with a discussion of perspectives on the future by K.Ono","PeriodicalId":91638,"journal":{"name":"... Proceedings of the ... IEEE International Conference on Progress in Informatics and Computing. IEEE International Conference on Progress in Informatics and Computing","volume":"30 1","pages":"93"},"PeriodicalIF":0.0,"publicationDate":"2005-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81253084","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}