Progress in Informatics

Titel Veröffentlichungsdatum Sprache Zitate
An expressive bidirectional transformation language for XQuery view update2013/03/01English
Modularising inductive families2013/03/01English
Advanced programming techniques for construction of robust, generic and evolutionary programs2013/03/01English
Load-balanced routing with selective even traffic splitting2013/03/01English
Wander types : A formalization of coinduction-recursion2013/03/01English
Equational reasoning about programs with general recursion and call-by-value semantics2013/03/01English
Internet challenges for informatics research2005/11/01English
New uses for computer in medical education, clinical practice, and patient safety in the US and Japan2005/11/01English
Government information and roles of libraries and archives:Recent policy issues in Japan2005/03/01English
From search engines to question-answering systems-The role of fuzzy logic2005/03/01English
Traffic analysis and network bandwidth provisioning tools for academic information networks2005/03/01English
Single photons for quantum information systems2005/03/01English
The test collection for navigational retrieval on WWW data-Design and characteristics2005/03/01English
Progress of the Digital Silk Roads project2005/03/01English
Field trial of all-optical 40 Gbps transmission system for next-generation networks2005/03/01English
Information power and international security2005/03/01English
A dynamic programming algorithm for lot-sizing problem with outsourcing2012/03/01English
Entropy estimation with suffix arrays2012/03/01English
Implementation issues of clique enumeration algorithm2012/03/01English
An almost optimal algorithm for Winkler's sorting pairs in bins2012/03/01English
Theoretical computer science and discrete mathematics2012/03/01English
A new order theory of set systems and better quasi-orderings2012/03/01English
An immersion of a square in 4-edge-connected graphs2012/03/01English
Evaluation of Japanese universities' research activity based on the number of awards of Grants-in-Aid for Scientific Research from 1998 to 2002 and in 20032007/03/01English
Rewriting XQuery by child-path folding2007/03/01English
Overview of SINET3-next-generation Science Information Network2007/03/01English
Unpredictability and chance in scientific progress2007/03/01English
ILL/DD in Japan across the turn of the century-Basic findings about NACSIS-ILL from 1994 to 20052007/03/01English
Quality Evaluation of Embedded Software in Robot Software Design Contest2007/03/01English
3D image and video technology2010/03/01English