Centralized Indirect Control of an Anaerobic Digestion Bioprocess Using Recurrent Neural Identifier / Ieroham S. Baruch ; Rosalba Galvan-Guerra ; Boyka Nenkova
Logical Analysis of Mappings between Medical Classification Systems / Elena Cardillo ; Claudio Eccher ; Andrei Tamilin
Modeling Reuse on Case-Based Reasoning with Application to Breast Cancer Diagnosis / Carles Pous ; Pablo Gay ; Albert Pla ; Joan Brunet ; Judit Sanz ; Teresa Ramon y Cajal ; Beatriz Lopez
Toward Expert Knowledge Representation for Automatic Breast Cancer Detection / Marina Velikova ; Maurice Samulski ; Nico Karssemeijer ; Peter Lucas
Hybrid Wavelet-RBFNN Model for Monthly Anchovy Catches Forecasting / Nibaldo Rodriguez ; Broderick Crawford ; Carlos Castro ; Eleuterio Yanez
Trilateration Analysis for Movement Planning in a Group of Mobile Robots / Svetoslav Genchev ; Pencho Venkov ; Boris Vidolov
Posters / 7：
Dynamic and Neuro-Dynamic Optimization of a Fed-Batch Fermentation Process / Tatiana Ilkova ; Mitko Petrov
Classification Model for Estimation of Risk Factors in Cardiological Diagnostics / Plamena Andreeva
A Hybrid Approach to Distributed Constraint Satisfaction / David Lee ; Kit-Ying Hui
Interleaved Alldifferent Constraints: CSP vs. SAT Approaches / Frederic Lardeux ; Eric Monfroy
Adaptation of Personality-Based Decision Making to Crowd Behavior Simulations / Fatemeh Alavizadeh ; Caro Lucas ; Behzad Moshiri
Conceptualizing Interactions with Matchmakers and Front-Agents Using Formal Verification Methods / Amelia Badica ; Costin Badica
A Social and Emotional Model for Obtaining Believable Emergent Behaviors / Javier Asensio ; Marta Jimenez ; Susana Fernandez
A Learning Approach to Eary Bug Prediction in Deployed Softward / Saeed Parsa ; Somaye Arabi ; Mojtaba Vahidi-Asl
Evolutionary Decision Support System for Stock Market Trading / Piotr Lipinski
Suboptimal Nonlinear Predictive Control Based on Neural Wiener Models
Author Index
Agents / 1：
Context Model for Multi-Agent System Reconfiguration / Krzysztof Stebel ; Dariusz Choinski
NN-Based Multiagent Platform for Testing Investing Strategies / Darius Plikynas
A Study of SAT-Based Branching Heuristics for the CSP / Yannis Argyropoulos ; Kostas Stergiou
Autonomy in Virtual Agents: Integrating Perception and Action on Functionally Grounded Representations / Argyris Arnellos ; Spyros Vosinakis ; George Anastasakis ; John Darzentas
A Sparse Regression Mixture Model for Clustering Time-Series / K. Blekas ; N. Galatsanos ; A. Likas
Human Distress Sound Analysis and Characterization Using Advanced Classification Techniques / Charalampos Doukas ; Ilias Maglogiannis
A Genetic Programming Environment for System Modeling / Efstratios F. Georgopoulos ; George P. Zarogiannis ; Adam V. Adamopoulos ; Anastasios P. Vassilopoulos ; Spiridon D. Likothanassis
Mining Gene Expression Profiles and Gene Regulatory Networks: Identification of Phenotype-Specific Molecular Mechanisms / Alexandros Kanterakis ; Dimitris Kafetzopoulos ; Vassilis Moustakis ; George Potamias
MOpiS: A Multiple Opinion Summarizer / Fotis Kokkoras ; Efstratia Lampridou ; Konstantinos Ntonas ; Ioannis Vlahavas
Human Behavior Classification Using Multiple Views / Dimitrios I. Kosmopoulos ; Panagiota Antonakaki ; Konstandinos Valasoulis ; Anastasios Kesidis ; Stavros Perantonis
A Hamming Maxnet That Determines all the Maxima / Konstantinos Koutroumbas
Item-Based Filtering and Semantic Networks for Personalized Web Content Adaptation in E-Commerce / Panayiotis Koutsabasis
Fuzzy Representation and Synthesis of Concepts in Engineering Design / Vassilis C. Moulianitis ; Nikos A. Aspragathos ; Argiris J. Dentsoras
Phonotactic Recognition of Greek and Cypriot Dialects from Telephone Speech / Iosif Mporas ; Todor Ganchev ; Nikos Fakotakis
A "Bag" or a "Window" of Words for Information Filtering? / Nikolaos Nanas ; Manolis Vavalis
A Fuzzy Clustering Algorithm to Estimate the Parameters of Radial Basis Functions Neural Networks and Its Application to System Modeling / Antonios D. Niros ; George E. Tsekouras
Speech/Music Discrimination Based on Discrete Wavelet Transform / Stavros Ntalampiras
Comparing Datasets Using Frequent Itemsets: Dependency on the Mining Parameters / Irene Ntoutsi ; Yannis Theodoridis
A Theory of Action, Knowledge and Time in the Event Calculus / Theodore Patkos ; Dimitris Plexousakis
Tensor Space Models for Authorship Identification / Spyridon Plakias ; Efstathios Stamatatos
Efficient Incremental Model for Learning Context-Free Grammars from Positive Structural Examples / Gend Lal Prajapati ; Narendra S. Chaudhari ; Manohar Chandwani
Histogram-Based Visual Object Recognition for the 2007 Four-Legged RoboCup League / Souzana Volioti ; Michail G. Lagoudakis
Learning Ontologies of Appropriate Size / Elias Zavitsanos ; Sergios Petridis ; Georgios Paliouras ; George A. Vouros
Short Papers
Bayesian Model of Recognition on a Finite Set of Events / Vladimir Berikov ; Gennady Lbov
The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web / Constantinos Papatheodorou
Modeling Stroke Diagnosis with the Use of Intelligent Techniques / S. Lalas ; N. Ampazis ; A. Tsakonas ; G. Dounias ; K. Vemmos
Introducing Parallel Computations to a PTTP-Based First-Order Reasoning Process in the Oz Language / Adam Meissner
A Dense Stereo Correspondence Algorithm for Hardware Implementation with Enhanced Disparity Selection / Lazaros Nalpantidis ; Georgios Ch. Sirakoulis ; Antonios Gasteratos
MyCites: An Intelligent Information System for Maintaining Citations / George Papadakis
Improving the Integration of Neuro-Symbolic Rules with Case-Based Reasoning / Jim Prentzas ; Ioannis Hatzilygeroudis ; Othon Michail
Rule-Based Fuzzy Logic System for Diagnosing Migraine / Svetlana Simic ; Dragan Simic ; Petar Slankamenac ; Milana Simic-Ivkov
An Individualized Web-Based Algebra Tutor Based on Dynamic Deep Model Tracing / Dimitrios Sklavakis ; Ioannis Refanidis
Design and Optimization of IIR Digital Filters with Non-standard Characteristics Using Continuous Ant Colony Optimization Algorithm / Adam Slowik ; Michal Bialko
An Empirical Study of Lazy Multilabel Classification Algorithms / E. Spyromitros ; G. Tsoumakas ; I. Vlahavas
An Algorithm of Decentralized Artificial Immune Network and Its Implementation / Mariusz Swiecicki
Predicting Defects in Software Using Grammar-Guided Genetic Programming / Athanasios Tsakonas ; Georgios Dounias
A Clustering Framework to Build Focused Web Crawlers for Automatic Extraction of Cultural Information / Damianos Gavalas ; Stefanos Filios ; George Bafaloukas
Non-negative Matrix Factorization for Endoscopic Video Summarization / Spyros Tsevas ; Dimitris Iakovidis ; Dimitris Maroulis ; Emmanuel Pavlakis ; Andreas Polydorou
Nature Inspired Intelligence for the Constrained Portfolio Optimization Problem / Vassilios Vassiliadis
CLIVE - An Artificially Intelligent Chat Robot for Conversational Language Practice / John Zakos ; Liesl Capper
Author Index
Invited Talks
Grounding Concrete Motion Concepts with a Linguistic Framework / Gutemberg Guerra-Filho ; Yiannis Aloimonos
Emotion in Cognitive Systems Architectures / Tom Ziemke
Kernel k-Means Clustering Applied to Vector Space Embeddings of Graphs / Kaspar Riesen ; Horst Bunke
Probabilistic Models Based on the [Pi]-Sigmoid Distribution / Anastasios Alivanolgou ; Aristidis Likas
How Robust Is a Probabilistic Neural VLSI System Against Environmental Noise / C.C. Lu ; C.C. Li ; H. Chen
Supervised Learning
Sparse Least Squares Support Vector Machines by Forward Selection Based on Linear Discriminant Analysis / Shiego Abe
Supervised Incremental Learning with the Fuzzy ARTMAP Neural Network / Jean-Francois Connolly ; Eric Granger ; Robert Sabourin
Discriminatory Data Mapping by Matrix-Based Supervised Learning Metrics / M. Strickert ; P. Schneider ; J. Keilwagen ; T. Villmann ; M. Biehl ; B. Hammer
Neural Approximation of Monte Carlo Policy Evaluation Deployed in Connect Four / Stefan Fausser ; Friedhelm Schwenker
Cyclostationary Neural Networks for Air Pollutant Concentration Prediction / Monica Bianchini ; Ernesto Di Iorio ; Marco Maggini ; Augusto Pucci
Experiments with Supervised Fuzzy LVQ / Christian Thiel ; Britta Sonntag
A Neural Network Approach to Similarity Learning / Stefano Melacci ; Lorenzo Sarti
Partial Discriminative Training of Neural Networks for Classification of Overlapping Classes / Cheng-Lin Liu
Multiple Classifiers
Boosting Threshold Classifiers for High-Dimensional Data in Functional Genomics / Ludwig Lausser ; Malte Buchholz ; Hans A. Kestler
Decision Fusion on Boosting Ensembles / Joaquin Torres-Sospedra ; Carlos Hernandez-Espinosa ; Mercedes Fernandez-Redondo
The Mixture of Neural Networks as Ensemble Combiner
Combining Methods for Dynamic Multiple Classifier Systems / Amber Tomas
Researching on Multi-net Systems Based on Stacked Generalization
Applications
Real-Time Emotion Recognition from Speech Using Echo State Networks / Stefan Scherer ; Mohamed Oubbati ; Gunther Palm
Sentence Understanding and Learning of New Words with Large-Scale Neural Networks / Heiner Markert ; Zohre Kara Kayikci
Multi-class Vehicle Type Recognition System / Xavier Clady ; Pablo Negri ; Maurice Milgram ; Raphael Poulenard
A Bio-inspired Neural Model for Colour Image Segmentation / Francisco Javier Diaz-Pernas ; Miriam Anton-Rodriguez ; Jose Fernando Diez-Higuera ; Mario Martinez-Zarzuela
Bayesian Classifiers for Predicting the Outcome of Breast Cancer Preoperative Chemotherapy / Antonio P. Braga ; Euler G. Horta ; Rene Natowicz ; Roman Rouzier ; Roberto Incitti ; Thiago S. Rodrigues ; Marcelo A. Costa ; Carmen D.M. Pataro ; Arben Cela
Feature Selection
Feature Ranking Ensembles for Facial Action Unit Classification / Terry Windeatt ; Kaushala Dias
Texture Classification with Generalized Fourier Descriptors in Dimensionality Reduction Context: An Overview Exploration / Ludovic Journaux ; Marie-France Destain ; Johel Miteran ; Alexis Piron ; Frederic Cointault
Improving Features Subset Selection Using Genetic Algorithms for Iris Recognition / Kaushik Roy ; Prabir Bhattacharya
Artificial Neural Network Based Automatic Face Model Generation System from Only One Fingerprint / Seref Sagiroglu ; Necla Ozkaya
Author Index
Unsupervised Learning
Patch Relational Neural Gas - Clustering of Huge Dissimilarity Datasets / Alexander Hasenfuss ; Barbara Hammer ; Fabrice Rossi
Proving Group Protocols Secure Against Eavesdroppers / Steve Kremer ; Antoine Mercier ; Ralf Treinen
System Descriptions 1 / Session 5：
Automated Implicit Computational Complexity Analysis / Martin Avanzini ; Georg Moser ; Andreas Schnabl
LogAnswer - A Deduction-Based Question Answering System / Ulrich Furbach ; Ingo Glockner ; Hermann Helbig ; Bjorn Pelzer
A High-Level Implementation of a System for Automated Reasoning with Default Rules / Christoph Beierle ; Gabriele Kern-Isberner ; Nicole Koch
The Abella Interactive Theorem Prover / Andrew Gacek
LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic / Christoph Benzmuller ; Lawrence C. Paulson ; Frank Theiss ; Arnaud Fietzke
KeYmaera: A Hybrid Theorem Prover for Hybrid Systems / Andre Platzer ; Jan-David Quesel
The Complexity of Conjunctive Query Answering in Expressive Description Logics / Carsten LutzSession 6：
Modal Logics / Session 7：
A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments / Renate A. Schmidt ; Dmitry Tishkovsky
Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse / Mark Kaminski ; Gert Smolka
Herbrand Award Ceremony / Session 8：
Description Logics / Session 9：
Automata-Based Axiom Pinpointing / Franz Baader ; Rafael Penaloza
Individual Reuse in Description Logic Reasoning / Boris Motik ; Ian Horrocks
The Logical Difference Problem for Description Logic Terminologies / Boris Konev ; Dirk Walther ; Frank Wolter
System Descriptions 2 / Session 10：
Aligator: A Mathematica Package for Invariant Generation / Laura Kovacs
IeanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic / Jens Otten
iProver - An Instantiation-Based Theorem Prover for First-Order Logic / Konstantin Korovin
An Experimental Evaluation of Global Caching for ALC / Rajeev Gore ; Linda Postniece
Multi-completion with Termination Tools / Haruhiko Sato ; Sarah Winkler ; Masahito Kurihara ; Aart Middeldorp
MTT: The Maude Termination Tool / Francisco Duran ; Salvador Lucas ; Jose Meseguer
Celf - A Logical Framework for Deductive and Concurrent Systems / Anders Schack-Nielsen ; Carsten Schurmann
Canonicity! / Nachum DershowitzSession 11：
Equational Theories / Session 12：
Unification and Matching Modulo Leaf-Permutative Equational Presentations / Thierry Boy de la Tour ; Mnacho Echenim ; Paliath Narendran
Modularity of Confluence: Constructed / Vincent van Oostrom
Automated Complexity Analysis Based on the Dependency Pair Method / Nao Hirokawa ; Geory Moser
Canonical Inference for Implicational Systems / Maria Paola Bonacina
Challenges in the Automated Verification of Security Protocols / Hubert Comon-LundhSession 13：
Theorem Proving 1 / Session 14：
Deciding Effectively Propositional Logic Using DPLL and Substitution Sets / Leonardo de Moura ; Nikolaj Bjorner
Proof Systems for Effectively Propositional Logic / Juan Antonio Navarro ; Andrei Voronkov
MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance / Josef Urban ; Geoff Sutcliffe ; Petr Pudlak ; Jiri Vyskocil
CASC / Session 15：
CASC-J4 - The 4th IJCAR ATP System Competition
Theorem Proving 2 / Session 16：
Labelled Splitting / Christoph Weidenbach
Engineering DPLL(T) + Saturation
THF0 - The Core of the TPTP Language for Higher-Order Logic / Florian Rabe
Logical Frameworks / Session 17：
Focusing in Linear Meta-logic / Vivek Nigam ; Dale Miller
Tree Automata / Session 18：
Certifying a Tree Automata Completion Checker / Benoit Boyer ; Thomas Genet ; Thomas Jensen
Automated Induction with Constrained Tree Automata / Adel Bouhoula ; Florent Jacquemard
Author Index
Invited Talk / Session 1：
Software Verification: Roles and Challenges for Automatic Decision Procedures / Aarti Gupta
Invited Keynote Talk: Set-Level Analyses for Genome-Wide Association Data (Abstract) / Dan L. Nicolae ; Omar De la Cruz ; William Wen ; Baoguan Ke ; Minsun Song
Hierarchical Clustering Using Constraints / Mariana Kant ; Maurice LeBon ; David Sankoff
The Gene-Duplication Problem: Near-Linear Time Algorithms for NNI Based Local Searches / Mukul S. Bansal ; Oliver Eulenstein
A Distance-Based Method for Detecting Horizontal Gene Transfer in Whole Genomes / Xintao Wei ; Lenore Cowen ; Carla Brodley ; Arthur Brady ; D. Sculley ; Donna K. Slonim
An Approach for Determining Evolutionary Distance in Network-Based Phylogenetic Analysis / Tingting Zhou ; Keith C.C. Chan ; Yi Pan ; Zhenghua Wang
Pairwise Statistical Significance Versus Database Statistical Significance for Local Alignment of Protein Sequences / Ankit Agrawal ; Volker Brendel ; Xiaoqiu Huang
Estimating Pairwise Statistical Significance of Protein Local Alignments Using a Clustering-Classification Approach Based on Amino Acid Composition / Arka Ghosh
Gapped Extension for Local Multiple Alignment of Interspersed DNA Repeats / Todd J. Treangen ; Aaron E. Darling ; Mark A. Ragan ; Xavier Messeguer
Improved Alignment of Protein Sequences Based on Common Parts / David Hoksza
Invited Keynote Talk: Computing P-Values for Peptide Identifications in Mass Spectrometry / Nikita Arnold ; Tema Fridman ; Robert M. Day ; Andrey A. Gorin
PFP: A Computational Framework for Phylogenetic Footprinting in Prokaryotic Genomes / Dongsheng Che ; Guojun Li ; Shane T. Jensen ; Jun S. Liu ; Ying Xu
Accelerating the Neighbor-Joining Algorithm Using the Adaptive Bucket Data Structure / Leonid Zaslavsky ; Tatiana A. Tatusova
Generalized Gene Adjacencies, Graph Bandwidth and Clusters in Yeast Evolution / Qian Zhu ; Zaky Adam ; Vicky Choi
Physicochemical Correlation between Amino Acid Sites in Short Sequences under Selective Pressure / David Campo ; Zoya Dimitrova ; Yuri Khudyakov
HCV Quasispecies Assembly Using Network Flows / Kelly Westbrooks ; Irina Astrovskaya ; Piotr Berman ; Alex Zelikovsky
A Dynamic Programming Algorithm for De Novo Peptide Sequencing with Variable Scoring / Matthew A. Goto ; Eric J. Schwabe
Invited Keynote Talk: Haplotype Sharing for Genome-Wide Case-Control Association Studies (Abstract) / Andrew S. Allen
Incorporating Literature Knowledge in Bayesian Network for Inferring Gene Networks with Gene Expression Data / Eyad Almasri ; Peter Larsen ; Guanrao Chen ; Yang Dai
Integrative Network Component Analysis for Regulatory Network Reconstruction / Chen Wang ; Jianhua Xuan ; Li Chen ; Po Zhao ; Yue Wang ; Robert Clarke ; Eric P. Hoffman
A Graph-Theoretic Method for Mining Overlapping Functional Modules in Protein Interaction Networks / Min Li ; Jianxin Wang ; Jianer Chen
Identification of Transcription Factor Binding Sites in Promoter Regions by Modularity Analysis of the Motif Co-occurrence Graph / Alexandre P. Francisco ; Arlindo L. Oliveira ; Ana T. Freitas
Mean Squared Residue Based Biclustering Algorithms / Stefan Gremalschi ; Gulsah Altun
Sparse Decomposition of Gene Expression Data to Infer Transcriptional Modules Guided by Motif Information / Ting Gong ; Rebecca B. Riggins
A Novel Metric for Redundant Gene Elimination Based on Discriminative Contribution / Xue-Qiang Zeng ; Guo-Zheng Li ; Jack Y. Yang ; Mary Qu Yang
Network-Based Inference of Cancer Progression from Microarray Data / Yongjin Park ; Stanley Shackney ; Russell Schwartz
Invited Keynote Talk: Quiet Revolution: Connectivity in the Cancer Research Community (Abstract) / Kenneth Buetow
Wavelet-Based 3-D Multifractal Spectrum with Applications in Breast MRI Images / Gordana Derado ; Kichun Lee ; Orietta Nicolis ; F. DuBois Bowman ; Mary Newell ; Fabrizio F. Ruggeri ; Brani Vidakovic
Accurate Inverse Consistent Non-rigid Image Registration and Its Application on Automatic Re-contouring / Qingguo Zeng ; Yunmei Chen
GlycoBrowser: A Tool for Contextual Visualization of Biological Data and Pathways Using Ontologies / Matthew Eavenson ; Maciej Janik ; Shravya Nimmagadda ; John A. Miller ; Krys J. Kochut ; William S. York
Pattern Matching in RNA Structures / Kejie Li ; Reazur Rahman ; Aditi Gupta ; Prasad Siddavatam ; Michael Gribskov
The Use of a Conformational Alphabet for Fast Alignment of Protein Structures / Wei-Mou Zheng
On-the-Fly Rotamer Pair Energy Evaluation in Protein Design / Andrew Leaver-Fay ; Jack Snoeyink ; Brian Kuhlman
Invited Keynote Talk: Integrative Viral Molecular Epidemiology: Hepatitis C Virus Modeling / James Lara
Multiple Kernel Support Vector Regression for siRNA Efficacy Prediction / Shibin Qiu ; Terran Lane
Hierarchical Clustering Support Vector Machines for Classifying Type-2 Diabetes Patients / Wei Zhong ; Rick Chow ; Richard Stolz ; Jieyue He ; Marsha Dowell
Computational Mutagenesis of E. Coli Lac Repressor: Insight into Structure-Function Relationships and Accurate Prediction of Mutant Activity / Majid Masso ; Kahkeshan Hijazi ; Nida Parvez ; Iosif I. Vaisman
Evaluating Genetic Algorithms in Protein-Ligand Docking / Rafael Ordog ; Vince Grolmusz
A Hidden Markov Model Approach for Prediction of Genomic Alterations from Gene Expression Profiling / Huimin Geng ; Hesham H. Ali ; Wing C. Chan
Evolutionary Algorithm for Feature Subset Selection in Predicting Tumor Outcomes Using Microarray Data / Qihua Tan ; Mads Thomassen ; Kirsten M. Jochumsen ; Jing Hua Zhao ; Kaare Christensen ; Torben A. Kruse
Incorporating Knowledge of Topology Improves Reconstruction of Interaction Networks from Microarray Data
Invited Keynote Talk: Data Mining and Statistical Methods for Analyzing Microarray Experiments (Abstract) / Shin-Lian Lo ; Kwok-Leung Tsui ; Benjamin Barwick
Seven Variations of an Alignment Workflow - An Illustration of Agile Process Design and Management in Bio-jETI / Anna-Lena Lamprecht ; Tiziana Margaria ; Bernhard Steffen
Supporting Computational Systems Science: Genomic Analysis Tool Federations Using Aspects and AOP / David Stotts ; Keith Lee ; Ivan Rusyn
BioDQ: Data Quality Estimation and Management for Genomics Databases / Alexandra Martinez ; Joachim Hammer ; Sanjay Ranka
Stepped Linear Regression to Accurately Assess Statistical Significance in Batch Confounded Differential Expression Analysis / Juntao Li ; Jianhua Liu ; R. Krishna Murthy Karuturi
Bagging Multiple Comparisons from Microarray Data / Dimitris N. Politis
Human Blood-Brain Differential Gene-Expression Correlates with Dipeptide Frequency of Gene Products / Shandar Ahmad
Author Index
Invited Keynote Talk: Set-Level Analyses for Genome-Wide Association Data (Abstract) / Dan L. Nicolae ; Omar De la Cruz ; William Wen ; Baoguan Ke ; Minsun Song
Hierarchical Clustering Using Constraints / Mariana Kant ; Maurice LeBon ; David Sankoff
The Gene-Duplication Problem: Near-Linear Time Algorithms for NNI Based Local Searches / Mukul S. Bansal ; Oliver Eulenstein
Informatics Infrastructure and Policy Considerations
Public Health Information Fusion for Situation Awareness / Henry Rolka ; Jean C. O'Connor ; David Walker
Biosurveillance, Case Reporting, and Decision Support: Public Health Interactions with a Health Information Exchange / Rebecca A. Hills ; William B. Lober ; Ian S. Painter
Bio-surveillance Event Models, Open Source Intelligence, and the Semantic Web / Nancy Grady ; Lowell Vizenor ; Jeanne Sappington Marin ; Laura Peitersen
Foresight China II: Identification and Detection of Infectious Diseases / Jiayuan Feng ; Jianshi (Jesse) Huang ; Angus Nicoll
Public Health Preparedness Informatics Infrastructure. A Case Study in Integrated Surveillance and Response: 2004-2005 National Influenza Vaccine Shortage / Ivan J. Gotham ; Linh H. Le ; Debra L. Sottolano ; Kathryn J. Schmit
Network-Based Data Analytics
Dynamic Network Model for Predicting Occurrences of Salmonella at Food Facilities / Purnamrita Sarkar ; Lujie Chen ; Artur Dubrawski
Network-Based Analysis of Beijing SARS Data / Xiaolong Zheng ; Daniel Zeng ; Aaron Sun ; Yuan Luo ; Quanyi Wang ; Feiyue Wang
Tutte Polynomials and Topological Quantum Algorithms in Social Network Analysis for Epidemiology, Bio-surveillance and Bio-security / Mario Velez ; Juan Ospina ; Doracelly Hincapie
Biosurveillance Models and Outbreak Detection
Integrating a Commuting Model with the Bayesian Aerosol Release Detector / Aurel Cami ; Garrick L. Wallstrom ; William R. Hogan
A Temporal Extension of the Bayesian Aerosol Release Detector / Xiaohui Kong
A Z-Score Based Multi-level Spatial Clustering Algorithm for the Detection of Disease Outbreaks / Jialan Que ; Fu-Chiang Tsui ; Jeremy Espino
Epidemic Thresholds in SIR and SIIR Models Applying an Algorithmic Method / Doracelly Hincapie P. ; Juan Ospina G. ; Anthony Uyi Afuwape ; Ruben D. Gomez A.
Test Power for Drug Abuse Surveillance / Jarad Niemi ; Meredith Smith ; David Banks
Model Assessment and Case Studies
Assessing the Accuracy of Spatiotemporal Epidemiological Models / James H. Kaufman ; Joanna L. Conant ; Daniel A. Ford ; Wakana Kirihata ; Barbara Jones ; Judith V. Douglas
Simulation of Multivariate Spatial-Temporal Outbreak Data for Detection Algorithm Evaluation / Min Zhang
Analysis and Prediction of Epidemiological Trend of Scarlet Fever from 1957 to 2004 in the Downtown Area of Beijing / Yanhui Shen ; Chu Jiang ; Zhe Dun
Environmental Biosurveillance and Case Studies
Environmental Biosurveillance for Epidemic Prediction: Experience with Rift Valley Fever / Jean-Paul Chretien ; Assaf Anyamba ; Jennifer Small ; Compton J. Tucker ; Seth C. Britch ; Kenneth J. Linthicum
Spatial Regression-Based Environmental Analysis in Infectious Disease Informatics / Daniel D. Zeng ; Ping Yan ; Su Li
Author Index
Informatics Infrastructure and Policy Considerations
Public Health Information Fusion for Situation Awareness / Henry Rolka ; Jean C. O'Connor ; David Walker
Biosurveillance, Case Reporting, and Decision Support: Public Health Interactions with a Health Information Exchange / Rebecca A. Hills ; William B. Lober ; Ian S. Painter
An Introduction to iTasks: Defining Interactive Work Flows for the Web / Rinus Plasmeijer ; Peter Achten ; Pieter Koopman
Proving Properties of Lazy Functional Programs with Sparkle / Maarten de Mol ; Marko van Eekelen
An Introduction to the Lambda Calculus / Zoltan Csornyei ; Gergely Devai
Abstract [lambda]-Calculus Machines / Werner E. Kluge
Programming in [Omega]mega / Tim Sheard ; Nathan Linger
A Tutorial on Object-Oriented Functional Programming / Horia F. Pop
Use Cases for Refactoring in Erlang / Tamas Kozsik ; Zoltan Horvath ; Roland Kiraly ; Robert Kitlei ; Laszlo Lovei ; Tamas Nagy ; Melinda Toth ; Aniko Vig
From Interpretation to Compilation / Jan Martin Jansen
Author Index
An Introduction to iTasks: Defining Interactive Work Flows for the Web / Rinus Plasmeijer ; Peter Achten ; Pieter Koopman
Proving Properties of Lazy Functional Programs with Sparkle / Maarten de Mol ; Marko van Eekelen
An Introduction to the Lambda Calculus / Zoltan Csornyei ; Gergely Devai
Algorithms for Exploring the Space of Gene Tree/Species Tree Reconciliations / Jean-Philippe Doyon ; Cedric Chauve ; Sylvie Hamel
Limitations of Pseudogenes in Identifying Gene Losses / James C. Costello ; Mira V. Han ; Matthew W. Hahn
Duplication Mechanism and Disruptions in Flanking Regions Influence the Fate of Mammalian Gene Duplicates / Paul Ryvkin ; Jin Jun ; Edward Hemphill ; Craig Nelson
Estimating the Relative Contributions of New Genes from Retrotransposition and Segmental Duplication Events during Mammalian Evolution / Ion Mandoiu
Discovering Local Patterns of Co-evolution / Yifat Felder ; Tamir Tuller
Ancestral Reconstruction by Asymmetric Wagner Parsimony over Continuous Characters and Squared Parsimony over Distributions / Miklos Csuros
An Alignment-Free Distance Measure for Closely Related Genomes / Bernhard Haubold ; Mirjana Domazet-Loso ; Thomas Wiehe
Gene Team Tree: A Compact Representation of All Gene Teams / Melvin Zhang ; Hon Wai Leong
Integrating Sequence and Topology for Efficient and Accurate Detection of Horizontal Gene Transfer / Cuong Than ; Guohua Jin ; Luay Nakhleh
An Evolutionary Study of the Human Papillomavirus Genomes / Dunarel Badescu ; Abdoulaye Banire Diallo ; Mathieu Blanchette ; Vladimir Makarenkov
An Algorithm for Inferring Mitogenome Rearrangements in a Phylogenetic Tree / Matthias Bernt ; Daniel Merkle ; Martin Middendorf
Perfect DCJ Rearrangement / Severine Berard ; Annie Chateau ; Christophe Paul ; Eric Tannier
Sorting Genomes with Insertions, Deletions and Duplications by DCJ / Sophia Yancopoulos ; Richard Friedberg
A Fast and Exact Algorithm for the Median of Three Problem-A Graph Decomposition Approach / Andrew Wei Xu
A Phylogenetic Approach to Genetic Map Refinement / Denis Bertrand ; Nadia El-Mabrouk
Sorting Cancer Karyotypes by Elementary Operations / Michal Ozery-Flato ; Ron Shamir
On Computing the Breakpoint Reuse Rate in Rearrangement Scenarios / Anne Bergeron ; Julia Mixtacki ; Jens Stoye
Hurdles Hardly Have to Be Heeded / Krister M. Swenson ; Yu Lin ; Vaibhav Rajan ; Bernard M.E. Moret
Internal Validation of Ancestral Gene Order Reconstruction in Angiosperm Phylogeny / David Sankoff ; Chunfang Zheng ; P. Kerr Wall ; Claude dePamphilis ; Jim Leebens-Mack ; Victor A. Albert
Author Index
Algorithms for Exploring the Space of Gene Tree/Species Tree Reconciliations / Jean-Philippe Doyon ; Cedric Chauve ; Sylvie Hamel
Limitations of Pseudogenes in Identifying Gene Losses / James C. Costello ; Mira V. Han ; Matthew W. Hahn
Duplication Mechanism and Disruptions in Flanking Regions Influence the Fate of Mammalian Gene Duplicates / Paul Ryvkin ; Jin Jun ; Edward Hemphill ; Craig Nelson
Computable Models of the Law and ICT: State of the Art and Trends in European Research / Giovanni Sartor ; Pompeu Casanovas ; Nuria Casellas ; Rossella Rubino
Knowledge Representation, Ontologies and XML Legislative Drafting / I：
MetaLex XML and the Legal Knowledge Interchange Format / Alexander Boer ; Radboud Winkels ; Fabio Vitali
MetaVex: Regulation Drafting Meets the Semantic Web / Saskia van de Ven ; Rinke Hoekstra ; Emile de Maat ; Adam Kollar
Building Semantic Resources for Legislative Drafting: The DALOS Project / Enrico Francesconi ; Daniela Tiscornia
Knowledge Representation, Legal Ontologies and Information Retrieval / II：
Moving in the Time: An Ontology for Identifying Legal Resources / Joao Alberto de Oliveira Lima ; Monica Palmirani
An Ontology for Spatial Regulations / Tom van Engers ; Erik Hupkes
Supporting the Construction of Spanish Legal Ontologies with Text2Onto / Johanna Volker ; Sergi Fernandez Langa ; York Sure
Dynamic Aspects of OPJK Legal Ontology / Zhisheng Huang ; Stefan Schlobach ; Frank van Harmelen
Improvements in Recall and Precision in Wolters Kluwer Spain Legal Search Engine / Angel Sancho Ferrer ; Jose Manuel Mateo Rivero ; Alejandro Mesas Garcia
Argumentation and Legal Reasoning / III：
Three Senses of "Argument" / Adam Z. Wyner ; Trevor J.M. Bench-Capon ; Katie Atkinson
Constructing Legal Arguments with Rules in the Legal Knowledge Interchange Format (LKIF) / Thomas F. Gordon
Assumption-Based Argumentation for Epistemic and Practical Reasoning / Francesca Toni
Computing Argumentation for Decision Making in Legal Disputes / Maxime Morge
Deterrence and Defeasibility in Argumentation Process for ALIS Project / Michel Rudnianski ; Helene Bestougeff
Temporal Deontic Defeasible Logic: An Analytical Approach / Regis Riveret ; Antonino Rotolo
Rulebase Technology and Legal Knowledge Representation / Giuseppe Contissa
Normative and Multi-agent Systems / IV：
Source Norms and Self-regulated Institutions
Distributed Norm Enforcement: Ostracism in Open Multi-Agent Systems / Adrian Perreau de Pinninck ; Carles Sierra ; Marco Schorlemmer
Online Dispute Resolution / V：
Retrieval of Case Law to Provide Layman with Information about Liability: Preliminary Results of the BEST-Project / Elisabeth M. Uijttenbroek ; Arno R. Lodder ; Michel C.A. Klein ; Gwen R. Wildeboer ; Wouter Van Steenbergen ; Rory L.L. Sie ; Paul E.M. Huygen
Concepts and Fields of Relational Justice / Marta Poblet
Author Index
Computable Models of the Law
Computable Models of the Law and ICT: State of the Art and Trends in European Research / Giovanni Sartor ; Pompeu Casanovas ; Nuria Casellas ; Rossella Rubino
Knowledge Representation, Ontologies and XML Legislative Drafting / I：
Plan-Coordination Mechanisms and the Price of Autonomy / J. Renze Steenhuisen ; Cees Witteveen ; Yingqian Zhang
Regular Papers
Actions with Failures in Interval Temporal Logic / Arjen Hommersom ; Peter Lucas
A Logic for Reasoning about Rational Agents / Wojciech Jamroga ; Nils Bulling
Formal Modelling of Emotions in BDI Agents / David Pereira ; Eugenio Oliveira ; Nelma Moreira
'What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations / Jan Broersen ; Julien Brunel
Proof Theory for Distributed Knowledge / Raul Hakli ; Sara Negri
EVOLP: Transformation-Based Semantics / Martin Slota ; Joao Leite
Language Constructs for Multi-agent Programming / Louise Dennis ; Michael Fisher ; Anthony Hepple
[beta]-Tropos: Agent-Oriented Requirements Engineering Meets Computational Logic for Declarative Business Process Modeling and Verification / Volha Bryl ; Paola Mello ; Marco Montali ; Paolo Torroni ; Nicola Zannone
A Heuristic Approach to P2P Negotiation / Stefania Costantini ; Arianna Tocchio ; Panagiota Tsintza
Towards Context Sensitive Defeasible Rules / Armin Hezart ; Abhaya Nayak ; Mehmet Orgun
Fuzzy Argumentation for Trust / Ruben Stranders ; Mathijs de Weerdt
Assumption-Based Argumentation for Selection and Composition of Services / Francesca Toni
A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems / Francesco Belardinelli ; Alessio Lomuscio
Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs / Rajeev Gore ; Linh Anh Nguyen
System Description Paper
EVOLP: An Implementation
Author Index
Invited Paper
Plan-Coordination Mechanisms and the Price of Autonomy / J. Renze Steenhuisen ; Cees Witteveen ; Yingqian Zhang
Qualitative Modeling and Simulation of Bacterial Regulatory Networks / Hidde de Jong
Integrated Analysis from Abstract Stochastic Process Algebra Models / Jane Hillston ; Federica Ciocchetta ; Adam Duguid ; Stephen Gilmore
An Exact Brownian Dynamics Method for Cell Simulation / Koichi Takahashi
Multiscale Modelling of Neuronal Signalling / Nicolas Le Novere
Systems Biology of Halophilic Archaea / Dieter Oesterhelt
A Partial Granger Causality Approach to Explore Causal Networks Derived from Multi-parameter Data / Ritesh Krishna ; Shuixia Guo
Functional Evolution of Ribozyme-Catalyzed Metabolisms in a Graph-Based Toy-Universe / Alexander Ullrich ; Christoph Flamm
Component-Based Modelling of RNA Structure Folding / Carsten Maus
A Language for Biochemical Systems / Michael Pedersen ; Gordon Plotkin
The Attributed Pi Calculus / Mathias John ; Cedric Lhoussaine ; Joachim Niehren ; Adelinde M. Uhrmacher
The Continuous [pi]-Calculus: A Process Algebra for Biochemical Modelling / Marek Kwiatkowski ; Ian Stark
Automatic Complexity Analysis and Model Reduction of Nonlinear Biochemical Systems / Dirk Lebiedz ; Dominik Skanda ; Marc Fein
Formal Analysis of Abnormal Excitation in Cardiac Tissue / Pei Ye ; Radu Grosu ; Scott A. Smolka ; Emilia Entcheva
The Distribution of Mutational Effects on Fitness in a Simple Circadian Clock / Laurence Loewe
SED-ML - An XML Format for the Implementation of the MIASE Guidelines / Dagmar Kohn
On Parallel Stochastic Simulation of Diffusive Systems / Lorenzo Dematte ; Tommaso Mazza
Large-Scale Design Space Exploration of SSA / Matthias Jeschke ; Roland Ewald
Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway / Edmund M. Clarke ; James R. Faeder ; Christopher J. Langmead ; Leonard A. Harris ; Sumit Kumar Jha ; Axel Legay
On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology / Aurelien Rizk ; Gregory Batt ; Francois Fages ; Sylvain Soliman
A Model Checking Approach to the Parameter Estimation of Biochemical Pathways / Robin Donaldson ; David Gilbert
Compositional Definitions of Minimal Flows in Petri Nets
On Inner and Outer Descriptions of the Steady-State Flux Cone of a Metabolic Network / Abdelhalim Larhlimi ; Alexander Bockmayr
A Combinatorial Approach to Reconstruct Petri Nets from Experimental Data / Markus Durzinsky ; Annegret Wagler ; Robert Weismantel
Analyzing a Discrete Model of Aplysia Central Pattern Generator / Ashish Tiwari ; Carolyn Talcott
Stochastic Analysis of Amino Acid Substitution in Protein Synthesis / D. Bosnacki ; H.M.M. ten Eikelder ; M.N. Steijaert ; E.P. de Vink
A Stochastic Single Cell Based Model of BrdU Measured Hematopoietic Stem Cell Kinetics / Richard C. van der Wath ; Pietro Lio'
Author Index
Qualitative Modeling and Simulation of Bacterial Regulatory Networks / Hidde de Jong
Integrated Analysis from Abstract Stochastic Process Algebra Models / Jane Hillston ; Federica Ciocchetta ; Adam Duguid ; Stephen Gilmore
An Exact Brownian Dynamics Method for Cell Simulation / Koichi Takahashi
Event Detection by HMM, SVM and ANN: A Comparative Study / Carla Lopes ; Fernando Perdigao
Frication and Voicing Classification / Luis M.T. Jesus ; Philip J.B. Jackson
A Spoken Dialog System Speech Interface Based on a Microphone Array / Gustavo Esteves Coelho ; Antonio Joaquim Serralheiro ; Joao Paulo Neto
Ontologies, Semantics and Anaphora Resolution
PAPEL: A Dictonary-Based Lexical Ontology for Portuguese / Hugo Goncalo Oliveira ; Diana Santos ; Paulo Gomes ; Nuno Seco
Comparing Window and Syntax Based Strategies for Semantic Extraction / Pablo Gamallo Otero
The Mitkov Algorithm for Anaphora Resolution in Portuguese / Amanda Rocha Chaves ; Lucia Helena Machado Rino
Semantic Similarity, Ontologies and the Portuguese Language: A Close Look at the subject / Juliano Baldez de Freitas ; Vera Lucia Strube de Lima ; Josiane Fontoura dos Anjos Brandolt
Speech Synthesis
Boundary Refining Aiming at Speech Synthesis Applications / Monique V. Nicodem ; Sandra G. Kafka ; Rui Seara
Evolutionary-Based Design of a Brazilian Portuguese Recording Script for a Concatenative Synthesis System / Monique Vitorio Nicodem ; Izabel Christine Seara ; Daiana dos Anjos
DIXI-A Generic Text-to-Speech System for European Portuguese / Sergio Paulo ; Luis C. Oliveira ; Carlos Mendes ; Luis Figueira ; Renato Cassaca ; Ceu Viana ; Helena Moniz
European Portuguese Articulatory Based Text-to-Speech: First Results / Antonio Teixeira ; Catarina Oliveira ; Plinio Barbosa
Machine Learning Applied to Natural Language Processing
Statistical Machine Translation of Broadcast News from Spanish to Portuguese / Raquel Sanchez Martinez ; Joao Paulo da Silva Neto ; Diamantino Antonio Caseiro
Combining Multiple Features for Automatic Text Summarization through Machine Learning / Daniel Saraiva Leite
Some Experiments on Clustering Similar Sentences of Texts in Portuguese / Eloize Rossi Marques Seno ; Maria das Gracas Volpe Nunes
Portuguese Part-of-Speech Tagging Using Entropy Guided Transformation Learning / Cicero Nogueira dos Santos ; Ruy L. Milidiu ; Raul P. Renteria
Learning Coreference Resolution for Portuguese Texts / Jose Guilherme C. de Souza ; Patricia Nunes Goncalves ; Renata Vieira
Speech Recognition and Applications
Domain Adaptation of a Broadcast News Transcription System for the Portuguese Parliament / Luis Neves ; Ciro Martins ; Hugo Meinedo ; Joao Neto
Automatic Classification and Transcription of Telephone Speech in Radio Broadcast Data / Alberto Abad
A Platform of Distributed Speech Recognition for the European Portuguese Language / Joao Miranda ; Joao P. Neto
Natural Language Processing Tools and Applications
Supporting e-Learning with Language Technology for Portuguese / Mariana Avelas ; Antonio Branco ; Rosa Del Gaudio ; Pedro Martins
ParaMT: A Paraphraser for Machine Translation / Anabela Barreiro
Posters
Natural Language Processing
Second HAREM: New Challenges and Old Wisdom / Claudia Freitas ; Paula Carvalho
Floresta Sinta(c)tica: Bigger, Thicker and Easier / Paulo Rocha ; Eckhard Bick
The Identification and Description of Frozen Prepositional Phrases through a Corpus-Oriented Study / Milena Garrao ; Violeta Quental ; Nuno Caminada
CorrefSum: Referencial Cohesion Recovery in Extractive Summaries
Answering Portuguese Questions / Luis Fernando Costa ; Luis Miguel Cabral
XisQue: An Online QA Service for Portuguese / Lino Rodrigues ; Joao Silva ; Sara Silveira
Using Semantic Prototypes for Discourse Status Classification / Sandra Collovini ; Luiz Carlos Ribeiro Jr. ; Vinicius Muller
Using System Expectations to Manage User Interactions / Filipe M. Martins ; Ana Mendes ; Joana Paulo Pardal ; Nuno J. Mamede
Speech and Language Processing
Adaptive Modeling and High Quality Spectral Estimation for Speech Enhancement / Luis Coelho ; Daniela Braga
On the Voiceless Aspirated Stops in Brazilian Portuguese / Mariane Antero Alves ; Fernando Santana Pacheco ; Simone Klein
Comparison of Phonetic Segmentation Tools for European Portuguese
Spoltech and OGI-22 Baseline Systems for Speech Recognition in Brazilian Portuguese / Nelson Neto ; Patrick Silva ; Aldebaro Klautau ; Andre Adami
Development of a Speech Recognizer with the Tecnovoz Database / Jose Lopes ; Claudio Neves ; Arlindo Veiga ; Alexandre Maciel ; Luis Sa
Dynamic Language Modeling for the European Portuguese
An Approach to Natural Language Equation Reading in Digital Talking Books / Carlos Juzarte Rolo
Topic Segmentation in a Media Watch System / Rui Amaral ; Isabel Trancoso
Author Index
Speech Analysis
Event Detection by HMM, SVM and ANN: A Comparative Study / Carla Lopes ; Fernando Perdigao
Frication and Voicing Classification / Luis M.T. Jesus ; Philip J.B. Jackson
Pursuing the Goal of Language Understanding / Arun Majumdar ; John Sowa ; John Stewart
Web, Graphs and Semantics / Olivier Corby
Transdisciplinarity and Generalistic Sciences and Humanities / Rudolf Wille
Jacob Lorhard's Ontology: A 17th Century hypertext on the Reality and Temporality of the World of Intelligibles / Peter Ohrstrom ; Henrik Scharfe ; Sara L. Uckelman
Revelator's Complex Adaptive Reasoning Methodology for Resource Infrastructure Evolution / Mary Keeler
Conceptual Spider Diagrams / Frithjof Dau ; Andrew Fish
An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation / Michel Leclere ; Marie-Laure Mugnier
Flexible Querying of Fuzzy RDF Annotations Using Fuzzy Conceptual Graphs / Patrice Buche ; Juliette Dibie-Barthelemy ; Gaelle Hignette
Query-Answering CG Knowledge Bases / Nicolas Moreau
Attribute Exploration Using Implications with Proper Premises / Heiko Reppe
Sorting Concepts by Priority Using the Theory of Monotone Systems / Ants Torim ; Karin Lindroos
Extending Attribute Dependencies for Lattice-Based Querying and Navigation / Nizar Messai ; Marie-Dominique Devignes ; Amedeo Napoli ; Malika Smail-Tabbone
PACTOLE: A Methodology and a System for Semi-automatically Enriching an Ontology from a Collection of Texts / Rokia Bendaoud ; Yannick Toussaint
Fair(er) and (Almost) Serene Committee Meetings with Logical and Formal Concept Analysis / Mireille Ducasse ; Sebastien Ferre
Employing a Domain Specific Ontology to Perform Semantic Search / Maxime Morneau ; Guy W. Mineau
Concept Similarity and Related Categories in SearchSleuth / Jon Ducrou ; Peter Eklund
Grounded Conceptual Graph Models / Harry S. Delugach ; Daniel M. Rochowiak
Scenario Argument Structure vs Individual Claim Defeasibility: What Is More Important for Validity Assessment? / Boris A. Galitsky ; Sergei O. Kuznetsov
Griwes: Generic Model and Preliminary Specifications for a Graph-Based Knowledge Representation Toolkit / Jean-Francois Baget ; Rose Dieng-Kuntz ; Catherine Faron-Zucker ; Fabien Gandon ; Alain Giboin ; Alain Gutierrez ; Rallou Thomopoulos
Author Index
Diagrammatic Reasoning Systems / John Howse
Pursuing the Goal of Language Understanding / Arun Majumdar ; John Sowa ; John Stewart
Ugo Montanari in a Nutshell / Rocco De Nicola ; Pierpaolo Degano ; Jose Meseguer
Graph Transformation
Ugo Montanari and Graph Transformation / Andrea Corradini
Unfolding Graph Transformation Systems: Theory and Applications to Verification / Paolo Baldan ; Barbara Konig
Graph-Based Design and Analysis of Dynamic Software Architectures / Roberto Bruni ; Antonio Bucchiarone ; Stefania Gnesi ; Dan Hirsch ; Alberto Lluch Lafuente
Graph Transformation Units - An Overview / Hans-Jorg Kreowski ; Sabine Kuske ; Grzegorz Rozenberg
Synchronous Multiparty Synchronizations and Transactions / Ivan Lanese ; Hernan Melgratti
Transformations in Reconfigurable Place/Transition Systems / Ulrike Prange ; Hartmut Ehrig ; Kathrin Hoffmann ; Julia Padberg
Explicit State Model Checking for Graph Grammars / Arend Rensink
Linear-Ordered Graph Grammars: Applications to Distributed Systems Design / Leila Ribeiro ; Fernando Luis Dotti
Constraint and Logic Programming
Constraint and Logic Programming: Ugo Montanari's Main Contributions and Introduction to the Volume Section / Francesca Rossi
Declarative Debugging of Membership Equational Logic Specifications / Rafael Caballero ; Narciso Marti-Oliet ; Adrian Riesco ; Alberto Verdejo
Spreadspaces: Mathematically-Intelligent Graphical Spreadsheets / Nachum Dershowitz ; Claude Kirchner
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy / Manuel V. Hermenegildo ; Francisco Bueno ; Manuel Carro ; Pedro Lopez ; Jose F. Morales ; German Puebla
AND/OR Multi-valued Decision Diagrams for Constraint Networks / Robert Mateescu ; Rina Dechter
Software Engineering
Software Engineering: Ugo Montanari's Main Contributions and Introduction to the Section
Modeling Business within a UML-Based Rigorous Software Development Approach / Egidio Astesiano ; Gianna Reggio ; Filippo Ricca
From Domain to Requirements / Dines Bjorner
Business Process Modeling for Organizational Knowledge Management / Luca Abeti ; Paolo Ciancarini ; Rocco Moretti
Event-Based Service Coordination / Gian-Luigi Ferrari ; Roberto Guanciale ; Daniele Strollo ; Emilio Tuosto
Dynamically Evolvable Dependable Software: From Oxymoron to Reality / Carlo Ghezzi ; Paola Inverardi ; Carlo Montangero
The Temporal Logic of Rewriting: A Gentle Introduction
A Heterogeneous Approach to UML Semantics / Maria Victoria Cengarle ; Alexander Knapp ; Andrzej Tarlecki ; Martin Wirsing
Concurrency Theory
Ugo Montanari and Concurrency Theory / Roberto Gorrieri
On the Synthesis of Zero-Safe Nets / Philippe Darondeau
A Note on Persistent Petri Nets / Eike Best
Secure Data Flow in a Calculus for Context Awareness / Doina Bucur ; Mogens Nielsen
On Beta-Binders Communications / Paola Quaglia
On the Asynchronous Nature of the Asynchronous [pi]-Calculus / Romain Beauxis ; Catuscia Palamidessi ; Frank D. Valencia
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes / Ezio Bartocci ; Flavio Corradini ; Radu Grosu ; Emanuela Merelli ; Oliviero Riganelli ; Scott A. Smolka
Models of Computation
Models of Computation: A Tribute to Ugo Montanari's Vision / Vladimiro Sassone
Automatic Mutual Exclusion and Atomicity Checks / Martin Abadi
Petri Nets, Discrete Physics, and Distributed Quantum Computation / Samson Abramsky
A Category of Explicit Fusions / Filippo Bonchi ; Maria Grazia Buscemi ; Vincenzo Ciancia ; Fabio Gadducci
What Do Semantics Matter When the Meat Is Overcooked? / Jose Luiz Fiadeiro
Calculating Colimits Compositionally / Robert Rosebrugh ; Nicoletta Sabadini ; Robert F.C. Walters
Observability Concepts in Abstract Data Type Specification, 30 Years Later / Donald Sannella
Software Verification
Ugo Montanari and Software Verification
History Dependent Automata for Service Compatibility / Marco Pistore
A Type System for Client Progress in a Service-Oriented Calculus / Lucia Acciai ; Michele Boreale
Session and Union Types for Object Oriented Programming / Lorenzo Bettini ; Sara Capecchi ; Mariangiola Dezani-Ciancaglini ; Elena Giachino ; Betti Venneri
The Pairing of Contracts and Session Types / Cosimo Laneve ; Luca Padovani
Specifying and Analysing SOC Applications with COWS / Alessandro Lapadula ; Rosario Pugliese ; Francesco Tiezzi
Approximating Behaviors in Embedded System Design / Roberto Passerone ; Alberto L. Sangiovanni-Vincentelli
Friends
Ugo Montanari and Friends
Calculating with Automata / Jos C.M. Baeten
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra / Gerard Boudol ; Ilaria Castellani ; Matthew Hennessy ; Glynn Winskel
Some Theorems Concerning the Core Function / Angelo Raffaele Meo
The Seventies / Alberto Martelli
Categories, Software and Meaning / Robin Milner
A Roman Senator / Jan Rutten
The Semantics of Ugo Montanari / Franco Turini
Abstraction for a Career in Industry: A Praise for Ugo's 65 Years / Daniel Yankelevich
Author Index
Ugo Montanari in a Nutshell / Rocco De Nicola ; Pierpaolo Degano ; Jose Meseguer
Graph Transformation
Ugo Montanari and Graph Transformation / Andrea Corradini
Enabling Networked Knowledge / Stefan Decker ; Manfred Hauswirth
Coordination and Agreement in Multi-Agent Systems / Sascha Ossowski
Agents and Databases: A Symbiosis? / Heiko Schuldt
Agents and Semantic Services: A Critical Review (Abstract) / Katia P. Sycara
Agent-Supported Planning in Distributed Command and Control Environments / James H. Lawton
Trust
Towards Trust-Based Acquisition of Unverifiable Information / Eugen Staab ; Volker Fusenig ; Thomas Engel
Modeling Dynamics of Relative Trust of Competitive Information Agents / Mark Hoogendoorn ; S. Waqar Jaffry ; Jan Treur
A Formal Approach to Aggregated Belief Formation / Annerieke Heuvelink ; Michel C.A. Klein
Applications
Software Engineering for Service-Oriented MAS / Emilia Garcia ; Adriana Giret ; Vicente Botti
A Service-Oriented MultiAgent Architecture for Cognitive Surveillance / David Vallejo ; Javier Albusac ; Carlos Gonzalez-Morcillo ; Luis Jimenez
Trust-Based Classifier Combination for Network Anomaly Detection / Martin Rehak ; Michal Pechoucek ; Martin Grill ; Karel Bartos
A Distributed Generative CSP Framework for Multi-site Product Configuration / Markus Zanker ; Dietmar Jannach ; Marius C. Silaghi ; Gerhard Friedrich
MobiSoft: Networked Personal Assistants for Mobile Users in Everyday Life / Christian Erfurth ; Steffen Kern ; Wilhelm Rossak ; Peter Braun ; Antje Lessmann
A Web-Based Virtual Machine for Developing Computational Societies / Sergio Saugar ; Juan M. Serrano
Using the Wizard of Oz Method to Train Persuasive Agents / Maiko Kawasoe ; Tatsuya Narita ; Yasuhiko Kitamura
ASBO: Argumentation System Based on Ontologies / Andres Munoz ; Juan A. Botia
Coordination and Communication
Controlling Contract Net Protocol by Local Observation for Large-Scale Multi-Agent Systems / Toshiharu Sugawara ; Toshio Hirotsu ; Satoshi Kurihara ; Kensuke Fukuda
Filter Allocation Using Iterative ECNP / Jan Tozicka ; Stepan Urban ; Magdalena Prokopova
On the Use of Symbolic Data Analysis to Model Communication Environments / Flavien Balbo ; Julien Saunier
Commitment-Based Multiagent Decision Making / Viji R. Avali ; Michael N. Huhns
Negotiation
Towards an Open Negotiation Architecture for Heterogeneous Agents / Koen V. Hindriks ; Catholijn Jonker ; Dmytro Tykhonov
Incrementally Refined Acquaintance Model for Consortia Composition / Jan Doubek ; Jiri Vokrinek
Towards a Monitoring Framework for Agent-Based Contract Systems / Noura Faci ; Sanjay Modgil ; Nir Oren ; Felipe Meneguzzi ; Simon Miles ; Michael Luck
Collaborative Load-Balancing in Storage Networks Using Agent Negotiation / Shay Raz ; Raz Lin ; Onn Shehory
Author Index
Invited Contributions
Enabling Networked Knowledge / Stefan Decker ; Manfred Hauswirth
Coordination and Agreement in Multi-Agent Systems / Sascha Ossowski
Towards a Framework for Agent Coordination and Reorganization, AgentCoRe / Mattijs Ghijsen ; Wouter Jansweijer ; Bob Wielinga
Ignoring, Forcing and Expecting Simultaneous Events in Electronic Institutions / Andres Garcia-Camino
A Contract Model for Electronic Institutions / Henrique Lopes Cardoso ; Eugenio Oliveira
Embedding Landmarks and Scenes in a Computational Model of Institutions / Owen Cliffe ; Marina De Vos ; Julian Padget
Coordination and Sociability for Intelligent Virtual Agents / Francisco Grimaldo ; Miguel Lozano ; Fernando Barber
The Examination of an Information-Based Approach to Trust / Maaike Harbers ; Rineke Verbrugge ; Carles Sierra ; John Debenham
A Dynamic Coordination Mechanism Using Adjustable Autonomy / Bob van der Vecht ; Frank Dignum ; John-Jules Ch. Meyer ; Martijn Neef
Organizations and Institutions
Towards a Formalisation of Dynamic Electronic Institutions / Eduard Muntaner-Perich ; Josep Lluis de la Rosa Esteva
Large-Scale Organizational Computing Requires Unstratified Reflection and Strong Paraconsistency / Carl Hewitt
Using Case-Based Reasoning in Autonomic Electronic Institutions / Eva Bou ; Maite Lopez-Sanchez ; Juan Antonio Rodriguez-Aguilar
Semantical Concepts for a Formal Structural Dynamics of Situated Multiagent Systems / Antonio Carlos da Rocha Costa ; Gracaliz Pereira Dimuro
Dynamic Composition of Electronic Institutions for Teamwork / Mario Gomez ; Enric Plaza
Organisational Artifacts and Agents for Open Multi-Agent Organisations: "Giving the Power Back to the Agents" / Rosine Kitio ; Olivier Boissier ; Jomi Fred Hubner ; Alessandro Ricci
Knowledge Sharing Between Agents in a Transitioning Organization / Eric Matson ; Raj Bhatnagar
Norms
Role Model Based Mechanism for Norm Emergence in Artificial Agent Societies / Bastin Tony Roy Savarimuthu ; Stephen Cranefield ; Maryam Purvis ; Martin Purvis
Using Testimonies to Enforce the Behavior of Agents / Fernanda Duran ; Viviane Torres da Silva ; Carlos J.P. de Lucena
Implementing Norms That Govern Non-dialogical Actions
A Normative Multi-Agent Systems Approach to the Use of Conviviality for Digital Cities / Patrice Caire
On the Multimodal Logic of Normative Systems / Pilar Dellunde
A Distributed Architecture for Norm Management in Multi-Agent Systems / Wamberto Vasconcelos
A Coherence Based Framework for Institutional Agents / Sindhu Joseph ; Marco Schorlemmer
Distributed Norm Enforcement Via Ostracism / Adrian Perreau de Pinninck
Model Checking Norms and Sanctions in Institutions / Francesco Vigano ; Marco Colombetti
Author Index
Coordination
Towards a Framework for Agent Coordination and Reorganization, AgentCoRe / Mattijs Ghijsen ; Wouter Jansweijer ; Bob Wielinga
Ignoring, Forcing and Expecting Simultaneous Events in Electronic Institutions / Andres Garcia-Camino
Rich Data Representation: Sophisticated Visual Techniques for Ease and Clarity / W. Bradford Paley
Model Driven Development with Mechatronic UML / Wilhelm Schafer
Tutorials
Cognitive Dimensions of Notations: Understanding the Ergonomics of Diagram Use / Alan F. Blackwell
Getting Started with Sketch Tools: A Tutorial on Sketch Recognition Tools / Beryl Plimmer ; Tracy Hammond
Diagram Aesthetics and Layout
General Euler Diagram Generation / Peter Rodgers ; Leishi Zhang ; Andrew Fish
Euler Diagram Decomposition / Jean Flower
Smooth Linear Approximation of Non-overlap Constraints / Graeme Gange ; Kim Marriott ; Peter J. Stuckey
Extremes Are Better: Investigating Mental Map Preservation in Dynamic Graphs / Helen C. Purchase ; Amanjit Samra
Psychological and Cognitive Issues
An Eye-Tracking Study of Exploitations of Spatial Constraints in Diagrammatic Reasoning / Atsushi Shimojima ; Yasuhiro Katagiri
What Diagrams Reveal about Representations in Linear Reasoning, and How They Help / Krista E. DeLeeuw ; Mary Hegarty
What Can Pictorial Representations Reveal about the Cognitive Characteristics of Autism? / Maithilee Kunda ; Ashok Goel
Visual Thinking with an Interactive Diagram / Colin Ware ; Anne T. Gilman ; Robert J. Bobrow
Applications of Diagrams
Strategy Roadmaps: New Forms, New Practices / Rob Phaal ; Martin Eppler ; Nathan Crilly
VAST Improvements to Diagrammatic Scheduling Using Representational Epistemic Interface Design / David Ranson ; Peter C.-H. Cheng
Enhancing State-Space Tree Diagrams for Collaborative Problem Solving / Steven L. Tanimoto
Visual Programming with Interaction Nets / Abubakar Hassan ; Ian Mackie ; Jorge Sousa Pinto
Theoretical Aspects
Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages / Aidan Delaney ; John Taylor ; Simon Thompson
Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design / Koji Mineshima ; Mitsuhiro Okada ; Yuri Sato ; Ryo Takemura
A Normal Form for Euler Diagrams with Shading / Chris John
Ensuring Generality in Euclid's Diagrammatic Arguments / John Mumma
Depicting Negation in Diagrammatic Logic: Legacy and Prospects / Fabien Schang ; Amirouche Moktefi
Diagrams in Education
Transforming Descriptions and Diagrams to Sketches in Information System Design / Barbara Tversky ; James E. Corter ; Jeffrey V. Nickerson ; Doris Zahner ; Yun Jin Rho
Graphical Revelations: Comparing Students' Translation Errors in Graphics and Logic / Richard Cox ; Robert Dale ; Dave Barker-Plummer
Learning from Animated Diagrams: How Are Mental Models Built? / Richard Lowe ; Jean-Michel Boucheix
Diagrams for the Masses: Raising Public Awareness-from Neurath to Gapminder and Google Earth / Raul Nino Zambrano ; Yuri Engelhardt
Understanding and Comprehension
Detection of Sample Differences from Dot Plot Displays / Lisa A. Best ; Laurence D. Smith ; D. Alan Stubbs
Visualizing Non-subordination and Multidominance in Tree Diagrams: Testing Five Syntax Tree Variants / Leonie Bosveld-de Smet ; Mark de Vries
The Effects of Users' Background Diagram Knowledgea and Task Characteristics upon Information Display Selection / Beate Grawemeyer
Multimodal Comprehension of Graphics with Textual Annotations: The Role of Graphical Means Relating Annotations and Graph Lines / Cengiz Acarturk ; Christopher Habel ; Kursat Cagiltay
Posters
Talk to the Hand: An Agenda for Further Research on Tactile Graphics / Frances Aldrich
Openproof-A Flexible Framework for Heterogeneous Reasoning / Albert Liu ; Michael Murray ; Nik Swoboda
Cognitive and Semantic Perspectives of Token Representation in Diagrams / Rossano Barone
Estimating Effort for Trend Messages in Grouped Bar Charts / Richard Burns ; Stephanie Elzer ; Sandra Carberry
Types and Programs from Euler Diagrams / James Burton
Diagrams in the UK National School Curriculum / Grecia Garcia Garcia
LePUS3: An Object-Oriented Design Description Language / Epameinondas Gasparis ; Jonathan Nicholson ; Amnon H. Eden
Utilizing Feature Diagrams to Assess the Capabilities of Tools That Support the Model Driven Architecture / Benjamin Gorry
Diagrammatic Knowledge-Based Tools for Complex Multi-dynamic Processes / Ronald R. Grau
Supporting Reasoning and Problem-Solving in Mathematical Generalisation with Dependency Graphs / Sergio Gutierrez ; Darren Pearce ; Eirini Geraniou ; Manolis Mavrikis
A Concept Mapping Tool for Nursing Education / Norio Ishii ; Saori Sakuma
Cognitive Methods for Visualizing Space, Time, and Agents / Angela M. Kessell
Benefits of Constrained Interactivity in Using a Three-Dimensional Diagram / Peter Khooshabeh ; Madeleine Keehner ; Cheryl Cohen
A Strategy for Drawing a Conceptual Neighborhood Diagram Schematically / Yohei Kurata
Supporting Relational Processing in Complex Animated Diagrams
Animated Cladograms: Interpreting Evolution from Diagrams / Camillia Matuk
Automatic Diagram Drawing Based on Natural Language Text Understanding / Anirban Mukherjee ; Utpal Garain
Texts and Graphs Elaboration: The Effect of Graphs' Examination on Recall / Gisella Paoletti ; Sara Rigutti
Diagrammatic Logic of Existential Graphs: A Case Study of Commands / Ahti-Veikko Pietarinen
Diagrammatic Reasoning in Separation Logic / M. Ridsdale ; M. Jamnik ; N. Benton ; J. Berdine
Method of Minimal Representation: An Alternative Diagrammatic Technique to Test the Validity of Categorical Syllogisms / Sumanta Sarathi Sharma
The Relationship between Graph Comprehension and Spatial Imagery: Support for an Integrative Theory of Graph Cognition / Brandie M. Stewart ; Aren C. Hunter
Using MusicXML to Evaluate Accuracy of OMR Systems / Mariusz Szwoch
Aestheticization of Flowcharts / Wioleta Szwoch
Towards Diagrammatic Patterns / Merete Skjelten Tveit
Visualizing Meaning: Literacy Materials for Dyslexic Children / Myra Thiessen
Diagrammatic Interrelationships between Global and Local Algebraic Visual Objects: Communicating the Visual Abstraction / Julie Tolmie
School Curriculum Development to Promote Student Spontaneous Diagram Use in Problem Solving / Yuri Uesaka ; Emmanuel Manalo
Author Index
Keynote Reflections
Heterogeneous Reasoning / John Etchemendy
Rich Data Representation: Sophisticated Visual Techniques for Ease and Clarity / W. Bradford Paley
Implantable Computing / Kevin Warwick ; Mark Gasson
Brainwave-Based Imagery Analysis / Andrew J. Cowell ; Kelly Hale ; Chris Berka ; Sven Fuchs ; Angela Baskin ; David Jones ; Gene Davis ; Robin Johnson ; Robin Fatch ; Eric Marshall
Visual Digest Networks / Yang Cai ; Guillaume Milcent ; Ludmila Marian
Virtual Humans / Part II：
Biomedical Modeling in Tele-Immersion / Zhuming Ai ; Raymond Evenhouse ; Jason Leigh ; Fady Charbel ; Mary L. Rasmussen
Virtual Fit Study of Pediatric Heart Assist System / Arielle Drummond ; James Antaki
Virtual Clinical Therapy / Giuseppe Riva ; Andrea Gaggioli
Virtual Human Problem-Solving Environments / Richard C. Ward ; Line C. Pouchard ; Nancy B. Munro ; Sarah K. Fischer
Biomechanical Modeling from In-Vivo Data / Luigi Bertozzi ; Rita Stagni ; Silvia Fantozzi ; Angelo Cappello
Human Forms / Part III：
Natural Form Modeling / Douglas D. Robertson ; Gulshan B. Sharma
Augmented Privacy with Virtual Humans / Iryna Pavlyshak ; Joseph Laws ; Ryan Magargle ; James Hoburg
3D Facial Recognition with Soft Computing / Yeung-Hak Lee ; Chang-Wook Han ; Tae-Sun Kim
Author Index
Human Dynamics / Part I：
Implantable Computing / Kevin Warwick ; Mark Gasson
Brainwave-Based Imagery Analysis / Andrew J. Cowell ; Kelly Hale ; Chris Berka ; Sven Fuchs ; Angela Baskin ; David Jones ; Gene Davis ; Robin Johnson ; Robin Fatch ; Eric Marshall
On Iterative Algorithms with an Information Geometry Background / Imre Csiszar
Visual Analytics: Combining Automated Discovery with Interactive Visualizations / Daniel A. Keim ; Florian Mansmann ; Daniela Oelke ; Hartmut Ziegler
Some Mathematics Behind Graph Property Testing / Laszlo Lovasz
Finding Total and Partial Orders from Data for Seriation / Heikki Mannila
Computational Models of Neural Representations in the Human Brain / Tom M. Mitchell
Learning
Unsupervised Classifier Selection Based on Two-Sample Test / Timo Aho ; Tapio Elomaa ; Jussi Kujala
An Empirical Investigation of the Trade-Off between Consistency and Coverage in Rule Learning Heuristics / Frederik Janssen ; Johannes Furnkranz
Learning Model Trees from Data Streams / Elena Ikonomovska ; Joao Gama
Empirical Asymmetric Selective Transfer in Multi-objective Decision Trees / Beau Piccart ; Jan Struyf ; Hendrik Blockeel
Ensemble-Trees: Leveraging Ensemble Power Inside Decision Trees / Albrecht Zimmermann
A Comparison between Neural Network Methods for Learning Aggregate Functions / Werner Uwents
Feature Selection
Smoothed Prediction of the Onset of Tree Stem Radius Increase Based on Temperature Patterns / Mikko Korpela ; Harri Makinen ; Mika Sulkava ; Pekka Nojd ; Jaakko Hollmen
Feature Selection in Taxonomies with Applications to Paleontology / Gemma C. Garriga ; Antti Ukkonen
Associations
Deduction Schemes for Association Rules / Jose L. Balcazar
Constructing Iceberg Lattices from Frequent Closures Using Generators / Laszlo Szathmary ; Petko Valtchev ; Amedeo Napoli ; Robert Godin
Discovery Processes
Learning from Each Other / Christopher Dartnell ; Eric Martin ; Jean Sallantin
Comparative Evaluation of Two Systems for the Visual Navigation of Encyclopedia Knowledge Spaces / Wolfgang Kienreich ; Peter Kraker
A Framework for Knowledge Discovery in a Society of Agents / Gauvain Bourgne ; Vincent Corruble
Learning and Chemistry
Active Learning for High Throughput Screening / Kurt De Grave ; Jan Ramon ; Luc De Raedt
An Efficiently Computable Graph-Based Metric for the Classification of Small Molecules / Leander Schietgat ; Maurice Bruynooghe
Mining Intervals of Graphs to Extract Characteristic Reaction Patterns / Frederic Pennerath ; Geraldine Polaillon
Clustering
Refining Pairwise Similarity Matrix for Cluster Ensemble Problem with Cluster Relations / Natthakan Iam-on ; Tossapon Boongoen ; Simon Garrett
Input Noise Robustness and Sensitivity Analysis to Improve Large Datasets Clustering by Using the GRID / Alberto Faro ; Daniela Giordano ; Francesco Maiorana
An Integrated Graph and Probability Based Clustering Framework for Sequential Data / Haytham Elghazel ; Tetsuya Yoshida ; Mohand-Said Hacid
Cluster Analysis in Remote Sensing Spectral Imagery through Graph Representation and Advanced SOM Visualization / Kadim Tasdemir ; Erzsebet Merenyi
Structured Data
Mining Unordered Distance-Constrained Embedded Subtrees / Fedja Hadzic ; Henry Tan ; Tharam Dillon
Finding Frequent Patterns from Compressed Tree-Structured Data / Seiji Murakami ; Koichiro Doi ; Akihiro Yamamoto
A Modeling Approach Using Multiple Graphs for Semi-Supervised Learning / Akihiko Izutani ; Kuniaki Uehara
The Brain Computation Based on Synchronization of Nonlinear Oscillations: On Theta Rhythms in Rat Hippocampus and Human Scalp EEG / Yoko Yamaguchi
Theta Phase Coding in Human Hippocampus: A Combined Approach of a Computational Model and Human Brain Activity Analyses / Naoyuki Sato
Mechanisms for Memory-Guided Behavior Involving Persistent Firing and Theta Rhythm Oscillations in the Entorhinal Cortex / Michael E. Hasselmo ; Lisa M. Giocomo ; Mark P. Brandon ; Motoharu Yoshida
Encoding and Replay of Dynamic Attractors with Multiple Frequencies: Analysis of a STDP Based Learning Rule / Silvia Scarpetta ; Masahiko Yoshioka ; Maria Marinaro
A Biophysical Model of Cortical Up and Down States: Excitatory-Inhibitory Balance and H-Current / Zaneta Navratilova ; Jean-Marc Fellous
Dynamics in Olfactory System and Behaviour
Dynamical Architecture of the Mammalian Olfactory System / Leslie M. Kay
From Behaviour to Brain Dynamics / Allen Cheung
Correlation Structure of Spiking Trains
Impact of Higher-Order Correlations on Coincidence Distributions of Massively Parallel Data / Sonja Grun ; Moshe Abeles ; Markus Diesmann
Comparing Kurtosis Score to Traditional Statistical Metrics for Characterizing the Structure in Neural Ensemble Activity / Peter Stratton ; Janet Wiles
Neural Network Theories on Associative Memory
Pioneeristic Works on Neuronal Nets: A Short History
Place-Field and Memory Formation in the Hippocampus / Gergely Papp
Improving Recall in an Associative Neural Network of Spiking Neurons / Russell Hunter ; Stuart Cobb ; Bruce P. Graham
Author Index
Hippocampus and Neural Oscillations
The Brain Computation Based on Synchronization of Nonlinear Oscillations: On Theta Rhythms in Rat Hippocampus and Human Scalp EEG / Yoko Yamaguchi
Theta Phase Coding in Human Hippocampus: A Combined Approach of a Computational Model and Human Brain Activity Analyses / Naoyuki Sato
ＥＢ
