<x-flowed>
Humanist Discussion Group, Vol. 17, No. 685.
Centre for Computing in the Humanities, King's College London
www.kcl.ac.uk/humanities/cch/humanist/
www.princeton.edu/humanist/
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
(1)
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
(2)
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:
10.1007/s00791-003-0121-0
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 Vorticityvelocitypressure formulation for
NavierStokes 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:
10.1007/s00791-003-0111-2
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:
10.1007/s00791-003-0113-0
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:
10.1007/s00791-003-0115-y
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:
10.1007/s00791-003-0116-x
Regular article TVD, WENO and blended BDF discretizations for Asian
options p. 131 C.W. Oosterlee, J.C. Frisch, F.J. Gaspar DOI:
10.1007/s00791-003-0117-9
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:
10.1007/s00791-003-0120-1
(3)
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
Egerstedt
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
Ivancic
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
Khanna
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
(4)
Volume 9 Number 5 of Multimedia Systems is now available on the
SpringerLink web site at http://springerlink.metapress.com. This issue
contains:
Editors Note Editor’s Note p. 397 Klara Nahrstedt DOI:
10.1007/s00530-003-0112-5
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:
10.1007/s00530-003-0114-3
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:
10.1007/s00530-003-0117-0
Editorial Introduction to the ACM MMSJ special issue on multimedia
software engineering p. 457 Jen-Yao Chung, Haifei Li DOI:
10.1007/s00530-003-0118-z
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:
10.1007/s00530-003-0121-4
(5)
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
Jeffers
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
Jensen
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
Zannone
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
Demolombe
Trust Mediation in Knowledge Management and Sharing p. 304 Cristiano
Castelfranchi
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
Dimitrakos
(6)
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
Escobar
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
Hasegawa
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
Uustalu
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
www.kcl.ac.uk/humanities/cch/wlm/
</x-flowed>
This archive was generated by hypermail 2b30 : Fri Mar 26 2004 - 11:19:44 EST