Man-Machine Interface for Intuitive Knowledge Access
Do Knowledge Assets Really Exist in the World and Can We Access Such Knowledge? Knowledge Evolves Through a Cycle of Knowledge Liquidization and Crystallization / Koichi Hori
Benefits of Subjunctive Interface Support for Exploratory Access to Online Resources / Aran Lunzer
Eye Movement Navigation Interface Supporting Reading / Satoru Morita
Intuitive Interfaces for Motion Generation and Search / Yoshihiro Okada ; Hiroaki Etou ; Koichi Niijima
IntelligentPad / Meme Media
Human-Agent Co-operation in Accessing and Communicating Knowledge Media - A Case in Medical Therapy Planning / Volker Dötsch ; Kimihito Ito ; Klaus P. Jantke
Accessing Related Web Resources Through Annotated Documents / Jun Fujima ; Yuzuru Tanaka
The Biotope Issue in Meme Media Implementations
Meme Media Architecture for Intuitively Accessing and Organizing Intellectual Resources
Visualization and Design of Information Access Spaces
Enhancing Visual Perception Using Dynamic Updating of Display / Toshio Kawashima ; Takanori Terashima ; Takeshi Nagasaki ; Masashi Toda
3D Space Framework for the Multi-facet Accessing of Database Records / Makoto Ohigashi
Integrated Visualization Framework for Relational Databases and Web Resources / Tsuyoshi Sugibuchi
Semantic and Narrative Organization and Access of Knowledge Discovering Implicit Relationships in a Web of Contexts / Mina Akaishi ; Nicolas Spyratos
On Information Organization in Annotation Systems / Panos Constantopoulos ; Martin Doerr ; Maria Theodoridou ; Manos Tzobanakis
Modelling Learning Subjects as Relationships
Formalizing Retrieval Goal Change by Prioritized Abduction / Ken Satoh
Similarity of Documents Based on the Vector Sequence Model / Akihiro Yamamoto ; Akira Ogiso
Towards Constructing Story Databases Using Maximal Analogies Between Stories / Masaharu Yoshioka ; Makoto Haraguchi ; Akihito Mizoe
Author Index
Man-Machine Interface for Intuitive Knowledge Access
Do Knowledge Assets Really Exist in the World and Can We Access Such Knowledge? Knowledge Evolves Through a Cycle of Knowledge Liquidization and Crystallization / Koichi Hori
Benefits of Subjunctive Interface Support for Exploratory Access to Online Resources / Aran Lunzer
e-Gov Research Quality Improvements Since 2003: More Rigor, but Research (Perhaps) Redefined / Ake Gronlund ; Annika Andersson
Is E-Government Research a Flash in the Pan or Here for the Long hot? / Hans Jochen Scholl
The E-Government Melting Pot: Lacking New Public Management and Innovation Flavor? / Moyfrid Karstad Sannarnes ; Helle Zinner Henriksen ; Kim Viborg Andersen
The Organisation and Coordination of European e-Government Research for the EU in 2010 / Jaro Berce ; Annaflavia Bianchi ; Clara Centeno ; David Osimo ; Jeremy Millard ; Jamal Shahin
What Role Has Scandinavian IS Tradition in eGovernment Implementations / Arild Jansen
Maximizing Knowledge for Program Evaluation: Critical Issues and Practical Challenges of ICT Strategies / Sharon S. Dawes ; Theresa A. Pardo
Participation and Democracy
The Citizens in E-Participation / Henning Sten Hansen ; Kristian Hegner Reinau
From Market Squares to Homepages: A Survey of Swiss MPs' Interactivity / Jean-Loup Chappelet ; Kristian Pierre Kilchenmann
'Mind the Gap'; e-Government and e-Democracy / Ailsa Kolsaker ; Liz Lee-Kelley
To Be or Not to Be Active: Exploring Practices of e-Participation / Annelie Ekelin
e-Participation Behind Closed Doors: Online Evaluation of Teaching Performance
Designing Government Services
A Review of Quality Dimensions in e-Government Services / Xenia Papadomichelaki ; Babis Magoutas ; Christos Halaris ; Dimitris Apostolou ; Gregoris Mentzas
Is It Only About Internet Access? An Empirical Test of a Multi-dimensional Digital Divide / J. Ramon Gil-Garcia ; Natalie C. Helbig ; Enrico Ferro
Hidden Negative Social Effects of Poor e-Government Services Design / Enrique Stanziola ; Mauricio Minute Espil ; Luis Landoni ; Santiago Montoya
Designing Government Portal Navigation Around Citizens Needs / Rob Klaassen ; Joyce Karreman ; Thea van der Geest
Municipalities on the Web: User-Friendliness of Government Information on the Internet / Menno de Jong ; Leo Lentz
"Open Choice": Improving Public Sector Performance with Process Reorganization Methodology / Martin Brilggemeier ; Angela Dovifat ; Klaus Lenk
Organising Municipal e-Government Systems: A Multi-facet Taxonomy of e-Services for Citizens and Businesses / Yannis Charalabidis ; Dimitris Askounis ; George Gionis ; Fenareti Lampathaki ; Kostas Metaxiotis
Legal Dimensions in E-Government
Time Model for Managing the Dynamic of Normative System / Monica Palmirani ; Raffaella Brighi
Semantic Portal for Legislative Information / Matti Jarvenpaa ; Maiju Virtanen ; Airi Salminen
The x-Leges System: Peer-to-Peer for Legislative Document Exchange / Luca De Santis ; Caterina Lupo ; Carlo Marchetti ; Massimo Mecella
Procurement and Governance Issues in Networked Governments
Flexibility of Information Architecture in e-Government Chains / Victor Bekkers
Local Networking for e-Services: A UK Case Study / Rony Medaglia
Why E-government Usage Lags Behind: Explaining the Gap Between Potential and Actual Usage of Electronic Public Services in the Netherlands / Alexander van Deursen ; Jan van Dijk ; Wolfgang Ebbers
Limits of Public Procurement: Information Systems Acquisition / Carl Erik Moe ; Anne Cathrine Risvand ; Maung K. Sein
Evaluation and Assessment
Digital Capability Assessment for eGovernment: A Multi-dimensional Approach / Anthony M. Cresswell ; Donna S. Canestraro
Assessing the Intangible Value of G2G Endeavours / Luiz Antonio Joia
Evaluation of E-Government Systems: Project Assessment vs Development Assessment / Rahul De'
ROI Analysis in e-Government Assessment Trials: The Case of Sistema Piemonte / Tommaso Carratta ; Lucy Dadayan
IT Auditing in E-Government / Reinhard Riedl ; Manuel Juen
Author Index
Research Review and Outlook
e-Gov Research Quality Improvements Since 2003: More Rigor, but Research (Perhaps) Redefined / Ake Gronlund ; Annika Andersson
Is E-Government Research a Flash in the Pan or Here for the Long hot? / Hans Jochen Scholl
David Hutchison, Fran?ois Fages, Mohand-Sa?d Hacid, Takeo Kanade, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, S. Spaccapietra, Juan Trujillo, Ilya Zaihrayeu, SpringerLink (Online service)
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
Evolution of Regulatory Systems in Bacteria (Invited Keynote Talk) / Mikhail S. Gelfand ; Alexei E. Kazakov ; Yuri D. Korostelev ; Olga N. Laikova ; Andrei A. Mironov ; Alexandra B. Rakhmaninova ; Dmitry A. Ravcheev ; Dmitry A. Rodionov ; Alexei G. Vitreschak
Integrating Multiple-Platform Expression Data through Gene Set Features / Matěj Holec ; Filip Železný ; Jiří Kléma ; Jakub Tolar
Practical Quality Assessment of Microarray Data by Simulation of Differential Gene Expression / Brian E. Howard ; Beate Sick ; Steffen Heber
Mean Square Residue Biclustering with Missing Data and Row Inversions / Stefan Gremalschi ; Gulsah Altun ; Irina Astrovskaya ; Alexander Zelikovsky
Using Gene Expression Modeling to Determine Biological Relevance of Putative Regulatory Networks / Peter Larsen ; Yang Dai
Integrative Approach for Combining TNF α-NF κB Mathematical Model to a Protein Interaction Connectivity Map / Mahesh Visvanathan ; Bernhard Pfeifer ; Christian Baumgartner ; Bernhard Tilg ; Gerald Henry Lushington
Hierarchical Organization of Functional Modules in Weighted Protein Interaction Networks Using Clustering Coefficient / Min Li ; Jianxin Wang ; Jianer Chen ; Yi Pan
Bioinformatics Challenges in Translational Research (Invited Keynote Talk) / Nicholas F. Tsinoremas
Untangling Tanglegrams: Comparing Trees by Their Drawings / Balaji Venkatachalam ; Jim Apple ; Katherine St. John ; Dan Gusfield
An Experimental Analysis of Consensus Tree Algorithms for Large-Scale Tree Collections / Seung-Jin Sul ; Tiffani L. Williams
Counting Faces in Split Networks / Lichen Bao ; Sergey Bereg
Relationship between Amino Acids Sequences and Protein Structures: Folding Patterns and Sequence Patterns / Alexander Kister
Improved Algorithms for Parsing ESLTAGs: A Grammatical Model Suitable for RNA Pseudoknots / Sanguthevar Rajasekaran ; Sahar Al Seesi ; Reda Ammar
Efficient Algorithms for Self Assembling Triangular and Other Nano Structures / Vamsi Kundeti
Motif Construction from High-Throughput SELEX Data (Invited Keynote Talk) / Esko Ukkonen
Rearrangement Phylogeny of Genomes in Contig Form / Adriana Muñoz ; David Sankoff
Prediction of Contiguous Regions in the Amniote Ancestral Genome / Aïda Ouangraoua ; Frédéric Boyer ; Andrew McPherson ; Éric Tannier ; Cedric Chauve
Pure Parsimony Xor Haplotyping / Paola Bonizzoni ; Gianluca Della Vedova ; Riccardo Dondi ; Yuri Pirola ; Romeo Rizzi
A Decomposition of the Pure Parsimony Haplotyping Problem / Allen Holder ; Thomas Langley
Exact Computation of Coalescent Likelihood under the Infinite Sites Model / Yufeng Wu
Imputation-Based Local Ancestry Inference in Admixed Populations / Bogdan Paşaniuc ; Justin Kennedy ; Ion M&acaron;ndoiu
Interpreting Population Sequencing Data (Invited Keynote Talk) / Shamil R. Sunyaev
Modeling and Visualizing Heterogeneity of Spatial Patterns of Protein-DNA Interaction from High-Density Chromatin Precipitation Mapping Data / Juntao Li ; Fajrian Yunus ; Zhu Lei ; Majid Eshaghi ; Jianhua Liu ; R. Krishna Murthy Karuturi
A Linear-Time Algorithm for Analyzing Array CGH Data Using Log Ratio Triangulation / Matthew Hayes ; Jing Li
Mining of cis-Regulatory Motifs Associated with Tissue-Specific Alternative Splicing / Jihye Kim ; Sihui Zhao
Analysis of Cis-Regulatory Motifs in Cassette Exons by Incorporating Exon Skipping Rates
A Class of Evolution-Based Kernels for Protein Homology Analysis: A Generalization of the PAM Model / Valentina Sulimova ; Vadim Mottl ; Boris Mirkin ; Ilya Muchnik ; Casimir Kulikowski
Irreplaceable Amino Acids and Reduced Alphabets in Short-Term and Directed Protein Evolution / Miguel A. Jiménez-Montaño ; Matthew He
A One-Class Classification Approach for Protein Sequences and Structures / András Bánhalmi ; Róbert Busa-Fekete ; Balázs Kégl
Prediction and Classification of Real and Pseudo MicroRNA Precursors via Data Fuzzification and Fuzzy Decision Trees / Na'el Abu-halaweh ; Robert Harrison
Author Index
Evolution of Regulatory Systems in Bacteria (Invited Keynote Talk) / Mikhail S. Gelfand ; Alexei E. Kazakov ; Yuri D. Korostelev ; Olga N. Laikova ; Andrei A. Mironov ; Alexandra B. Rakhmaninova ; Dmitry A. Ravcheev ; Dmitry A. Rodionov ; Alexei G. Vitreschak
Integrating Multiple-Platform Expression Data through Gene Set Features / Matěj Holec ; Filip Železný ; Jiří Kléma ; Jakub Tolar
Practical Quality Assessment of Microarray Data by Simulation of Differential Gene Expression / Brian E. Howard ; Beate Sick ; Steffen Heber
Computational Logic and Continuous Mathematics, Pure and Applied / Rob Arthan
Math-Literate Computers / Dorothea Blostein
Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning / Jacques Calmet
Software Engineering for Mathematics / Georges Gonthier
Calculemus Talks / 2:
Some Traditional Mathematical Knowledge Management / Patrick D.F. Ion
Math Handwriting Recognition in Windows 7 and Its Benefits / Marko Panic
Assembling the Digital Mathematics Library / David Ruddy
CAMAL 40 Years on - Is Small Still Beautiful? / John Fitch
Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations / Gonzalo A. Aranda-Corral ; Joaquín Borrego-Díaz ; M. Magdalena Fernández-Lebrón
Combining Coq and Gappa for Certifying Floating-Point Programs / Sylvie Boldo ; Jean-Christophe Filliâtre ; Guillaume Melquiond
A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy / Russell Bradford ; James H. Davenport ; Christopher J. Sangwin
Exploring a Quantum Theory with Graph Rewriting and Computer Algebra / Aleks Kissinger
ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System / Francisco-Jesus ; Martín-Mateos ; Julio Rubio ; Jose-Luis Ruiz-Reina
Combined Decision Techniques for the Existential Theory of the Reals / Grant Olney Passmore ; Paul B. Jackson
Reasoning with Generic Cases in the Arithmetic of Abstract Matrices / Alan P. Sexton ; Volker Sorge ; Stephen M. Watt
Invariant Properties of Third-Order Non-hyperbolic Linear Partial Differential Operators / Ekaterina Shemyakova
A Groupoid of Isomorphic Data Transformations / Paul Tarau
Algorithms for the Functional Decomposition of Laurent Polynomials
MKM Talks / 3:
A Linear Grammar Approach to Mathematical Formula Recognition from PDF / Josef B. Baker
Formal Proof: Reconciling Correctness and Understanding / Cristian S. Calude ; Christine Müller
A Review of Mathematical Knowledge Management / Jacques Carette ; William M. Farmer
OpenMath Content Dictionaries for SI Quantities and Units / Joseph B. Collins
Unifying Math Ontologies: A Tale of Two Standards / Michael Kohlhase
Integrating Web Services into Active Mathematical Documents / Jana Giceva ; Christoph Lange ; Florian Rabe
Representation for Interactive Exercises / George Goguadze
The Characteristics of Writing Environments for Mathematics: Behavioral Consequences and Implications for Software Design and Usability / Davood G. Gozli ; Marco Pollanen ; Michael Reynolds
Canonical Forms in Interactive Exercise Assistants / Bastiaan Heeren ; Johan Jeuring
Spreadsheet Interaction with Frames: Exploring a Mathematical Practice / Andrea Kohlhase
Compensating the Computational Bias of Spreadsheets with MKM Techniques
MathLang Translation to Isabelle Syntax / Robert Lamar ; Fairouz Kamareddine ; J.B. Wells
A Mathematical Approach to Ontology Authoring and Documentation
A Logically Saturated Extension of λ&bar;μμ&bar; / Lionel Elie Mamane ; Herman Geuvers ; James McKinna
From Tessellations to Table Interpretation / Ramana C. Jandhyala ; Mukkai Krishnamoorthy ; George Nagy ; Raghav Padmanabhan ; Sharad Seth ; William Silversmith
Finite Groups Representation Theory with CoQ / Sidi Ould Biha
Collaborative Assistant to Handle MathML Expressions / Aslam Muhammad ; Ana Maria Martinez Enriquez ; Gonzalo Escalada-Imaz
Confidence Measures in Recognizing Handwritten Mathematical Symbols / Oleg Golubitsky
Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems / Jónathan Heras ; Vico Pascual
OpenMath in SCIEnce: SCSCP and POPCORN / Peter Horn ; Dan Roozemond
A Knowledge Repository for Indefinite Integration Based on Transformation Rules / A.D. Rich ; D.J. Jeffrey
Application of Information Processing Technology by Multiagent Simulation (Extended Abstract) / Hideyuki Nakashima
Cognitive Architectures and Multi-agent Social Simulation / Ron Sun
Full Papers
A Co-operative Intelligent Assisting Agent Architecture for Web Searching and Desktop Management / Nandan Chaturbhuj ; V. Shyam Prakash ; Shivashankar B. Nair
Prisoner's Dilemma Game on Network / Masahiro Ono ; Mitsuru Ishizuka
Addressing Constraint Failures in Agent Interaction Protocol / Fadzil Hassan ; Dave Robertson ; Chris Walton
Reasoning about Success and Failure in Intentional Agents / Timothy William Cleaver ; Abdul Sattar ; Kewen Wang
Agent-Base Workflow Management System Architecture-An Example on Conference Info System / Feng-Chao Yang
Diverse Applications of an Automated Argument System Based on the Logic of Multiple-Valued Argumentation / Gowun Jeong ; Hajime Sawamura
Dynamic Interaction Protocol Load in Multi-Agent System Collaboration / Maoguang Wang ; Zhongzhi Shi ; Wenpin Jiao
Towards a Component-Based Architecture for TeleAgents / Ockmer L. Oosthuizen ; Elizabeth M. Ehlers
Development of a Lightweight Middleware Technologies Supporting Mobile Agents / Gu Su Kim ; Jaegon Kim ; Hyun-jin Cho ; Won-taek Lim ; Young Ik Eom
The Roles of Active Perception in Intelligent Agent Systems / Raymond So ; Liz Sonenberg
Fairness in Cooperating Multi-agent Systems-Using Profit Sharing as an Example / Ming-Chih Hsu ; Von-Wun Soo
Risk Strategies and Risk Strategy Equilibrium in Agent Interactions Modeled as Normal Repeated 2 X 2 Risk Games / Ka-man Lam ; Ho-fung Leung
A Crowd Model for Emergency and Panic Situations: Structure, Characteristics and Behaviours / Mohd Bazli Ab Karim ; Abdullah Zawawi Talib ; Ahmad Izani Ismail ; Bahari Belaton
David Hutchison, David Ahlgren, John Anderson, Jacky Baltes, Thomas Braunl, Takeo Kanade, Ryohei Nakatsu, Ulrich R?ckert, Joaquin Sitte, Igor Verner, Ulf Witkowski, Ching-Chang Wong
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009