17.685 new Springer publications

From: Humanist Discussion Group (by way of Willard McCarty willard.mccarty@kcl.ac.uk)
Date: Fri Mar 05 2004 - 03:15:36 EST

               Humanist Discussion Group, Vol. 17, No. 685.
       Centre for Computing in the Humanities, King's College London
                     Submit to: humanist@princeton.edu

         Date: Fri, 05 Mar 2004 08:04:21 +0000
         From: Willard McCarty <willard.mccarty@kcl.ac.uk>
         Subject: new Springer publications

Volume 8 Number 1 of Personal and Ubiquitous Computing is now available
on the SpringerLink web site at http://springerlink.metapress.com. This
issue contains:

Original Article
A framework for contextual mediation in mobile and ubiquitous computing
applied to the context-aware adaptation of maps p. 1
Dan Chalmers, Naranker Dulay, Morris Sloman
DOI: 10.1007/s00779-003-0255-6

Original Article
What we talk about when we talk about context p. 19
Paul Dourish
DOI: 10.1007/s00779-003-0253-8

Original Article
Evolving a pervasive IT infrastructure: a technology integration
approach p. 31
Puneet Gupta, Deependra Moitra
DOI: 10.1007/s00779-003-0254-7

Original Article
Mobile access to real-time information—the case of autonomous stock
brokering p. 42
Stina Nylander, Markus Bylund, Magnus Boman
DOI: 10.1007/s00779-003-0257-4

Original Article
An address assignment for the automatic configuration of mobile ad hoc
networks p. 47
Abhishek Prakash Tayal, L. M. Patnaik
DOI: 10.1007/s00779-003-0256-5

Original Article
Using keyphrases as search result surrogates on small screen devices p. 55
Steve Jones, Matt Jones, Shaleen Deo
DOI: 10.1007/s00779-004-0258-y

Volume 6 Numbers 2-3 of Computing and Visualization in Science is now
available on the SpringerLink web site at
http://springerlink.metapress.com. This issue contains:

Editorial Editorial: Special Issues on Biomedical and Bioengineering
Computing p. 37 A. Quarteroni, A. Sequeira DOI:

Regular article Hydrodynamical modelling and multidimensional
approximation of estuarian river flows p. 39 M. Amara, D.
Capatina-Papaghiuc, D. Trujillo DOI: 10.1007/s00791-003-0106-z

Regular article Vorticity­velocity­pressure formulation for
Navier­Stokes equations p. 47 Mohamed Amara, Daniela Capatina-Papaghiuc,
Eliseo Chacón-Vera, David Trujillo DOI: 10.1007/s00791-003-0107-y

Regular article A note on B-stability of splitting methods p. 53 A.
Araújo DOI: 10.1007/s00791-003-0108-x

Regular article The use of splitting methods in the numerical simulation
of reacting flows p. 59 A. Araújo, J.A. Ferreira, P. de Oliveira, F.
Patrício, P. Rosa DOI: 10.1007/s00791-003-0109-9

Regular article Mathematical model and numerical simulation of the
liquid fluidization of polydisperse solid particle mixtures p. 67 S.
Berres, R. Bürger, E.M. Tory DOI: 10.1007/s00791-003-0110-3

Regular article On the consistency of the Rational Large Eddy Simulation
model p. 75 Luigi C. Berselli, Carlo R. Grisanti DOI:

Regular article Monotone difference approximations for the simulation of
clarifier-thickener units p. 83 R. Bürger, K.H. Karlsen, N.H. Risebro,
J.D. Towers DOI: 10.1007/s00791-003-0112-1

Regular article Convergence analysis of a subdomain iterative method for
the finite element approximation of the coupling of Stokes and Darcy
equations p. 93 Marco Discacciati, Alfio Quarteroni DOI:

Regular article A fast preconditioner for the incompressible Navier
Stokes Equations p. 105 Alain Gauthier, Fausto Saleri, Alessandro
Veneziani DOI: 10.1007/s00791-003-0114-z

Regular article Progress in adjoint error correction for integral
functionals p. 113 Michael B. Giles, Niles Pierce, Endre Süli DOI:

Regular article Modeling fractured and faulted regions: Local grid
refinement methods for implicit solvers p. 123 Erlend Oian, Izaskun
Garrido, Mohamed Chaib, Gunnar E. Fladmark, Magne S. Espedal DOI:

Regular article TVD, WENO and blended BDF discretizations for Asian
options p. 131 C.W. Oosterlee, J.C. Frisch, F.J. Gaspar DOI:

Regular article On numerical simulation of flow through oil filters p.
139 Oleg Iliev, Vsevolod Laptev DOI: 10.1007/s00791-003-0118-8

Regular article Reduced-basis output bounds for approximately
parametrized elliptic coercive partial differential equations p. 147 C.
Prud’homme, A.T. Patera DOI: 10.1007/s00791-003-0119-7

Regular article MooNMD ­ a program package based on mapped finite
element methods p. 163 Volker John, Gunar Matthies DOI:

Volume 2993 Volume 2993/2004 of Lecture Notes in Computer Science is now
available on the SpringerLink web site at
http://springerlink.metapress.com. This issue contains:

Lazy Rectangular Hybrid Automata p. 1 Manindra Agrawal, P.S. Thiagarajan

Affine Hybrid Systems p. 16 Aaron D. Ames, Shankar Sastry

Abstraction by Projection and Application to Multi-affine Systems p. 32
Eugene Asarin, Thao Dang

Observability of Switched Linear Systems p. 48 Mohamed Babaali, Magnus

Inference Methods for Autonomous Stochastic Linear Hybrid Systems p. 64
Hamsa Balakrishnan, Inseok Hwang, Jung Soon Jang, Claire J. Tomlin

Synthesis for Idle Speed Control of an Automotive Engine p. 80 Andrea
Balluchi, Federico Di Natale, Alberto Sangiovanni-Vincentelli, Jan H.
van Schuppen

Network Congestion Alleviation Using Adjoint Hybrid Control: Application
to Highways p. 95 Alexandre M. Bayen, Robin L. Raffard, Claire J. Tomlin

Understanding the Bacterial Stringent Response Using Reachability
Analysis of Hybrid Systems p. 111 Calin Belta, Peter Finin, Luc C.G.J.M.
Habets, Ádám M. Halász, Marcin Imielinski, R. Vijay Kumar, Harvey Rubin

A SAT-Based Hybrid Solver for Optimal Control of Hybrid Systems p. 126
Alberto Bemporad, Nicolň Giorgetti

Incremental Search Methods for Reachability Analysis of Continuous and
Hybrid Systems p. 142 Amit Bhatia, Emilio Frazzoli

Discrete and Hybrid Nonholonomy p. 157 Antonio Bicchi, Alessia Marigo,
Benedetto Piccoli

Approximations of the Rate of Growth of Switched Linear Systems p. 173
Vincent D. Blondel, Yurii Nesterov, Jacques Theys

The Hybrid Guaranteed Capture Basin Algorithm in Economics p. 187 Noël
Bonneuil, Patrick Saint-Pierre

Staying Alive as Cheaply as Possible p. 203 Patricia Bouyer, Ed
Brinksma, Kim G. Larsen

On O-Minimal Hybrid Systems p. 219 Thomas Brihaye, Christian Michaux,
Cédric Rivičre, Christophe Troestler

Extended Stochastic Hybrid Systems and Their Reachability Problem p. 234
Manuela L. Bujorianu

On the Controllability of Bimodal Piecewise Linear Systems p. 250 M.K.
Çamlibel, W.P.M.H. Heemels, J.M. Schumacher

Observability of Piecewise-Affine Hybrid Systems p. 265 Pieter Collins,
Jan H. van Schuppen

Non-deterministic Temporal Logics for General Flow Systems p. 280
Jennifer M. Davoren, Vangham Coulthard, Nicolas Markey, Thomas Moor

Almost ASAP Semantics: From Timed Models to Timed Implementations p. 296
Martin De Wulf, Laurent Doyen, Jean-François Raskin

Discrete State Estimators for a Class of Hybrid Systems on a Lattice p.
311 Domitilla Del Vecchio, Richard M. Murray

Benchmarks for Hybrid Systems Verification p. 326 Ansgar Fehnker, Franjo

On the Optimal Control of Switch-Mode DC-DC Converters p. 342 Tobias
Geyer, Georgios Papafotiou, Manfred Morari

Event-Driven Programming with Logical Execution Times p. 357 Arkadeb
Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, Marco A.A. Sanvido

A Stochastic Hybrid Model for Air Traffic Control Simulation p. 372
William Glover, John Lygeros

Stochastic Hybrid Systems: Application to Communication Networks p. 387
Joăo P. Hespanha

Rigorous Modeling of Hybrid Systems Using Interval Arithmetic
Constraints p. 402 Timothy J. Hickey, David K. Wittenberg

Modeling Subtilin Production in Bacillus subtilis Using Stochastic
Hybrid Systems p. 417 Jianghai Hu, Wei-Chung Wu, Shankar Sastry

Sound Code Generation from Communicating Hybrid Models p. 432 Yerang
Hur, Jesung Kim, Insup Lee, Jin-Young Choi

Multi-Parametric Toolbox (MPT) p. 448 Michal Kvasnica, Pascal Grieder,
Mato Baotic, Manfred Morari

Dynamic Partitioning of Large Discrete Event Biological Systems for
Hybrid Simulation and Analysis p. 463 Natasha A. Neogi

Safety Verification of Hybrid Systems Using Barrier Certificates p. 477
Stephen Prajna, Ali Jadbabaie

Piecewise-Linear Output-Error Methods for Parameter Estimation in
Direction-Dependent Processes p. 493 Fredrik Rosenqvist, Anders Karlstöm

A Spatial Logic for the Hybrid p-Calculus p. 508 William C. Rounds

Full Paper Sheet Control Using Hybrid Automata p. 523 Rene Sanchez,
Roberto Horowitz, Masayoshi Tomizuka, Slobodan N. Simic

Constructing Invariants for Hybrid Systems p. 539 Sriram
Sankaranarayanan, Henny B. Sipma, Zohar Manna

Bisimulation of Dynamical Systems p. 555 Arjan van der Schaft

Control Design for a Hybrid Dynamic System: A NASA Life Support System
p. 570 Dharmashankar Subramanian, Kartik Ariyur, Nitin Lamba, Ranjana
Deshpande, Sonja Glavaski

Non-concurrent Error Detection and Correction in Switched Linear
Controllers p. 585 Shreyas Sundaram, Christoforos N. Hadjicostis

Nonlinear Systems: Approximating Reach Sets p. 600 Ashish Tiwari, Gaurav

On Practical Stability and Stabilization of Hybrid and Switched Systems
p. 615 Xuping Xu, Guisheng Zhai

A Numerical Technique for Stability Analysis of Linear Switched Systems
p. 631 Christos A. Yfoulis, Robert Shorten

Asymptotic Stability and Boundedness of Delay Switching Diffusions p.
646 Chenggui Yuan, John Lygeros

Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological
Networks p. 660 Patrick Lincoln, Ashish Tiwari

Volume 9 Number 5 of Multimedia Systems is now available on the
SpringerLink web site at http://springerlink.metapress.com. This issue

Editors Note Editor’s Note p. 397 Klara Nahrstedt DOI:

Directory-based composite routing and scheduling policies for dynamic
multimedia environments p. 398 Zhenghua Fu, Nalini Venkatasubramanian
DOI: 10.1007/s00530-003-0113-4

Comparison of stream merging algorithms for media-on-demand p. 411 Amotz
Bar-Noy, Justin Goshi, Richard E. Ladner, Kenneth Tam DOI:

Web-based image indexing and retrieval in JPEG compressed domain p. 424
J. Jiang, A. Armstrong, G. C. Feng DOI: 10.1007/s00530-003-0115-2

Watermarking with retrieval systems p. 433 Sujoy Roy, Ee-Chien Chang
DOI: 10.1007/s00530-003-0116-1

A secure and flexible authentication system for digital images p. 441
Takeyuki Uehara, Reihaneh Safavi-Naini, Philip Ogunbona DOI:

Editorial Introduction to the ACM MMSJ special issue on multimedia
software engineering p. 457 Jen-Yao Chung, Haifei Li DOI:

Personal orchestra: a real-time audio/video system for interactive
conducting p. 458 Jan Borchers, Eric Lee, Wolfgang Samminger, Max
Mühlhäuser DOI: 10.1007/s00530-003-0119-y

A per-object-granularity tracking mechanism and systemfor interactive TV
viewership estimation and program rating in real time p. 466 Liang-Jie
Zhang, Lurng-Kuo Liu, James S. Lipscomb, Qun Zhou, Dong Xie, Jen-Yao
Chung DOI: 10.1007/s00530-003-0120-5

Internet-based interactive HDTV p. 477 Bin Yu, Klara Nahrstedt DOI:

Volume 2995 Volume 2995/2004 of Lecture Notes in Computer Science is now
available on the SpringerLink web site at
http://springerlink.metapress.com. This issue contains:

Addressing the Data Problem: The Legal Framework Governing Forensics in
an Online Environment p. 1 Ian Walden

KAoS: A Policy and Domain Services Framework for Grid Computing and
Semantic Web Services p. 16 Andrzej Uszok, Jeffrey M. Bradshaw, Renia

W5: The Five W’s of the World Wide Web p. 27 Massimo Marchiori

A Case for Evidence-Aware Distributed Reputation Systems: Overcoming the
Limitations of Plausibility Considerations p. 33 Philipp Obreiter

Enhanced Reputation Mechanism for Mobile Ad Hoc Networks p. 48 Jinshan
Liu, Valérie Issarny

Pinocchio: Incentives for Honest Participation in Distributed Trust
Management p. 63 Alberto Fernandes, Evangelos Kotsovinos, Sven Östring,
Boris Dragovic

History-Based Signature or How to Trust Anonymous Documents p. 78
Laurent Bussard, Refik Molva, Yves Roudier

Trading Privacy for Trust p. 93 Jean-Marc Seigneur, Christian Damsgaard

Supporting Privacy in Decentralized Additive Reputation Systems p. 108
Elan Pavlov, Jeffrey S. Rosenschein, Zvi Topol

Engineering Trust Based Collaborations in a Global Computing Environment
p. 120 Colin English, Sotirios Terzis, Waleed Wagealla

Analysing the Relationship between Risk and Trust p. 135 Audun Jřsang,
Stéphane Lo Presti

Using Risk Analysis to Assess User Trust: ­ A Net-Bank Scenario ­ p. 146
Gyrd Brćndeland, Ketil Střlen

E-notebook Middleware for Accountability and Reputation Based Trust in
Distributed Data Sharing Communities p. 161 Paul Ruth, Dongyan Xu,
Bharat Bhargava, Fred Regnier

Requirements Engineering Meets Trust Management: Model, Methodology, and
Reasoning p. 176 Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola

Towards Dynamic Security Perimeters for Virtual Collaborative Networks
p. 191 Ivan Djordjevic, Theo Dimitrakos

Human Experiments in Trust Dynamics p. 206 Catholijn M. Jonker, Joost
J.P. Schalken, Jan Theeuwes, Jan Treur

Using Trust in Recommender Systems: An Experimental Analysis p. 221
Paolo Massa, Bobby Bhattacharjee

Modeling Controls for Dynamic Value Exchanges in Virtual Organizations
p. 236 Yao-Hua Tan, Walter Thoen, Jaap Gordijn

Analyzing Correlation between Trust and User Similarity in Online
Communities p. 251 Cai-Nicolas Ziegler, Georg Lausen

Trust Development and Management in Virtual Communities p. 266 Tanko
Ishaya, Darren P. Mundy

Managing Internet-Mediated Community Trust Relations p. 277 Michael
Grimsley, Anthony Meehan, Anna Tan

Reasoning About Trust: A Formal Logical Framework p. 291 Robert

Trust Mediation in Knowledge Management and Sharing p. 304 Cristiano

Enhanced Accountability for Electronic Processes p. 319 Adrian Baldwin

The Use of Formal Methods in the Analysis of Trust (Position Paper) p.
333 Michael Butler, Michael Leuschel, Stéphane Lo Presti, Phillip Turner

Computing Recommendations to Trust p. 340 Piotr Cofta

Picking Battles: The Impact of Trust Assumptions on the Elaboration of
Security Requirements p. 347 Charles B. Haley, Robin C. Laney, Jonathan
D. Moffett, Bashar Nuseibeh

Towards Trust Relationship Planning for Virtual Organizations p. 355
Philip Robinson, Jochen Haller, Roger Kilian-Kehr

Trust, Security, and Contract Management Challenges for Grid-Based
Application Service Provision p. 362 M. Gaeta, G. Laria, P. Ritrovato,
N. Romano, B. Serhan, S. Wesner, T. Dimitrakos, D. Mac Randal

Deploying Trust Policies on the Semantic Web p. 369 Brian Matthews, Theo

Volume 2998 Volume 2998/2004 of Lecture Notes in Computer Science is now
available on the SpringerLink web site at
http://springerlink.metapress.com. This issue contains:

A Brief Survey of Quantum Programming Languages p. 1 Peter Selinger

Analysis of Synchronous and Asynchronous Cellular Automata Using
Abstraction by Temporal Logic p. 7 Masami Hagiya, Koichi Takahashi,
Mitsuharu Yamamoto, Takahiro Sato

Twelf and Delphin: Logic and Functional Programming in a Meta-logical
Framework p. 22 Carsten Schürmann

Online Justification for Tabled Logic Programs p. 24 Giridhar Pemmasani,
Hai-Feng Guo, Yifei Dong, C.R. Ramakrishnan, I.V. Ramakrishnan

Constructive Intensional Negation p. 39 Susana Muńoz-Hernández, Julio
Marińo, Juan José Moreno-Navarro

Analysing Definitional Trees: Looking for Determinism p. 55 Pascual
Julián Iranzo, Christian Villamizar Lamus

$\mathcal{DDT}$: a Declarative Debugging Tool for Functional-Logic
Languages p. 70 Rafael Caballero, Mario Rodríguez-Artalejo

LIX: an Effective Self-applicable Partial Evaluator for Prolog p. 85
Stephen-John Craig, Michael Leuschel

Multivariant Non-failure Analysis via Standard Abstract Interpretation
p. 100 Francisco Bueno, Pedro López-García, Manuel Hermenegildo

Set-Sharing Is Not Always Redundant for Pair-Sharing p. 117 Francisco
Bueno, Maria Garcia de la Banda

Backward Pair Sharing Analysis p. 132 Lunjin Lu, Andy King

Implementing Natural Rewriting and Narrowing Efficiently p. 147 Santiago

Complete Axiomatization of an Algebraic Construction of Graphs p. 163
Mizuhito Ogawa

Sub-Birkhoff p. 180 Vincent van Oostrom

Relaxing the Value Restriction p. 196 Jacques Garrigue

Rigid Mixin Modules p. 214 Tom Hirschowitz

Semantics of Linear Continuation-Passing in Call-by-Name p. 229 Masahito

A Direct Proof of Strong Normalization for an Extended Herbelin’s
Calculus p. 244 Kentaro Kikuchi

Normalization by Evaluation for ? ?2 p. 260 Thorsten Altenkirch, Tarmo

Basic Pattern Matching Calculi: a Fresh View on Matching Failure p. 276
Wolfram Kahl

Derivation of Deterministic Inverse Programs Based on LR Parsing p. 291
Robert Glück, Masahiko Kawabe

Dr Willard McCarty | Senior Lecturer | Centre for Computing in the
Humanities | King's College London | Strand | London WC2R 2LS || +44 (0)20
7848-2784 fax: -2980 || willard.mccarty@kcl.ac.uk

This archive was generated by hypermail 2b30 : Fri Mar 26 2004 - 11:19:44 EST