url: s no book title authorallduniv.ac.in › ckfinder › userfiles › files ›...

Springer’s E‐Books (Copyright Year – 2012)

URL: https://link.springer.com/

S No Book Title Author

1 Nanotechnology for

Biology and Medicine

Gabriel A. Silva, Vladimir Parpura

2 Bergey’s Manual® of

Systematic Bacteriology Michael Goodfellow, Peter Kämpfer, Hans‐Jürgen Busse,

Martha E. Trujillo, Ken‐ichiro Suzuki, Wolfgang

Ludwig, William B. Whitman

3 Genetically Engineered

Mice for Cancer

Research

Jeffrey E. Green, Thomas Ried

4 Plant Cytogenetics Hank W. Bass, James A. Birchler

5 Neuronal Noise Alain Destexhe, Michelle Rudolph‐Lilith

6 Encyclopedia of

Signaling Molecules

Sangdun Choi

7 Fruit Breeding Marisa Luisa Badenes, David H. Byrne

https://link.springer.com/

8 Short and Long Distance Friedrich Kragler, Martin Hülskamp

Signaling

9 Recent Advances on

Model Hosts

Eleftherios Mylonakis, Frederick M. Ausubel, Michael

Gilmore, Arturo Casadevall

10 Cochlear Mechanics Hendrikus Duifhuis

11 Evolution That Anyone

Can Understand

Bernard Marcus

12 Advances in Systems

Biology

Igor I. Goryanin, Andrew B. Goryachev

13 The Effects of Noise on

Aquatic Life

Arthur N. Popper, Anthony Hawkins

14 Lymphoma and

Leukemia of the Nervous

System

Tracy Batchelor, Lisa M. DeAngelis

15 Auditory Prostheses Fan‐Gang Zeng, Arthur N. Popper, Richard R. Fay

16 Synaptic Mechanisms in

the Auditory System

Laurence O. Trussell, Arthur N. Popper, Richard R. Fay

17 Noise‐Induced Hearing

Loss

Colleen G. Le Prell, Donald Henderson, Richard R. Fay,

Arthur N. Popper

18 Translational Stroke

Research

Paul A. Lapchak, John H. Zhang

19 Metal Ion in Stroke Yang V. Li, John H. Zhang

20 Reviews in Fluorescence

2010

Chris D. Geddes

21 Innate Immune

Regulation and Cancer

Immunotherapy

Rongfu Wang

22 Modeling Tumor

Vasculature

Trachette L. Jackson

23 Current Topics in Innate

Immunity II

John D. Lambris, George Hajishengallis

24 Designs for Clinical

Trials

David Harrington

25 The Forgotten Cure Anna Kuchment

26 Human Cell

Transformation

Johng S. Rhim, Richard Kremer

27 Functional Coherence of

Molecular Networks in

Bioinformatics

Mehmet Koyutürk, Shankar Subramaniam, Ananth

Grama

28 Technological

Innovations in Major

World Oil Crops,

Volume 1

S.K. Gupta

29 Epilepsy David W. McCandless

30 Control of Innate and

Adaptive Immune

Responses during

Infectious Diseases

Julio Aliberti

31 Long Acting Injections

and Implants

Jeremy C. Wright, Diane J. Burgess

32 The Researching,

Teaching, and Learning

Triangle

Miguel A. R. B. Castanho, Gül Güner‐ Akdogan

33 The Pollination Biology

of North American

Orchids: Volume 1

Charles L. Argue

34 The Primo Vascular

System Kwang‐Sup Soh, Kyung A. Kang, David K Harrison

35 Natural Killer T cells Masaki Terabe, Jay A. Berzofsky

36 The Pollination Biology

of

Charles L. Argue

North American Orchids:

Volume 2

37 Retinal Degenerative

Diseases

Matthew M. LaVail, John D. Ash, Robert

E. Anderson, Joe G. Hollyfield, Christian Grimm

38 Abiotic Stress Responses

in Plants

Parvaiz Ahmad, M.N.V. Prasad

39 Neurodegenerative

Diseases

Shamim I. Ahmad

40 Fuzziness Monika Fuxreiter, Peter Tompa

41 Tumour‐Associated

Macrophages

Toby Lawrence, Thorsten Hagemann

42 The Relevance of the

Time

A. Ravishankar Rao, Guillermo A. Cecchi

Domain to Neural

Network Models

43 Cell Signaling &

Molecular Targets in

Cancer

Malay Chatterjee, Khosrow Kashfi

44 Phase Response Curves

in Neuroscience

Nathan W. Schultheiss, Astrid A. Prinz, Robert J. Butera

45 Computational

Neuroscience of Drug

Addiction

Boris Gutkin, Serge H. Ahmed

46 Bioinformatics for High

Throughput Sequencing Naiara Rodríguez‐Ezpeleta, Michael Hackenberg, Ana

M. Aransay

47 Advances in Cancer

Stem Cell Biology

Roberto Scatena, Alvaro Mordente, Bruno Giardina

48 Environmental

Adaptations and Stress

Tolerance of Plants in the

Era of Climate Change

Parvaiz Ahmad, M.N.V. Prasad

49 Herpetological

Osteopathology Bruce M. Rothschild, Hans‐Peter Schultze, Rodrigo

Pellegrini

50 Technological

Innovations in Major

World Oil Crops,

Volume 2

S.K. Gupta

51 Beta maritima Enrico Biancardi, Leonard W. Panella, Robert T.

Lewellen

52 Fundamentals and

Applications of

Controlled Release Drug

Delivery

Juergen Siepmann, Ronald A. Siegel, Michael J.

Rathbone

53 Reviews in Plasmonics

2010

Chris D. Geddes

54 Endocrine FGFs and

Klothos Makoto Kuro‐o

55 Notch Signaling in

Embryology and Cancer

Jörg Reichrath, Sandra Reichrath

56 Fencing for Conservation Michael J. Somers, Matthew Hayward

57 Genomics of Tree Crops R.J. Schnell, P.M. Priyadarshan

58 Hallucinations Jan Dirk Blom, Iris E.C. Sommer

59 Adipose Tissue Biology Michael E. Symonds

60 Viral Molecular

Machines

Michael G. Rossmann, Venigalla B. Rao

61 Selenium Dolph L. Hatfield, Marla J. Berry, Vadim

N. Gladyshev

62 Expert Knowledge and

Its

Ajith H. Perera, C. Ashton Drew, Chris J. Johnson

Application in Landscape

Ecology

63 Atlas of Genetic

Diagnosis and

Counseling

Harold Chen

64 Bones, Genetics, and

Behavior of Rhesus

Macaques

Qian Wang

65 Activation and

Detoxification Enzymes Chang‐Hwei Chen

66 Clinical Use of

Anti‐infective Agents

Robert W. Finberg, Roy Guharoy

67 From Neurology to

Methodology and Back

Natasha Maurits

68 Formulating Poorly

Water Soluble Drugs

Robert O. Williams III, Alan B. Watts, Dave A. Miller

69 Ultrasound Imaging Joao Miguel Sanches, Andrew F. Laine, Jasjit S. Suri

70 Microbial Technologies

in Advanced Biofuels

Production

Patrick C. Hallenbeck

71 Signaling Pathways in

Cancer Pathogenesis and

Therapy

David A. Frank

72 Caveolins and Caveolae Jean‐François Jasmin, Philippe G. Frank, Michael P.

Lisanti

73 Marine Bioactive

Compounds

Maria Hayes

74 Antibiotic Discovery and

Development

Thomas J. Dougherty, Michael J. Pucci

75 Human Auditory

Development

Lynne Werner, Richard R. Fay, Arthur N. Popper

76 Wildlife Behavior and

Conservation

Richard H. Yahner

77 Isoquinolines And Beta‐ Carbolines As

Neurotoxins And

Neuroprotectants

Lucyna Antkiewicz‐Michaluk, Hans Rommelspacher

78 Oxygen Transport to

Tissue XXXIII

Martin Wolf, Hans Ulrich Bucher, Markus Rudin, Sabine

Van Huffel, Ursula Wolf, Duane F. Bruley, David K

Harrison

79 Medicinal Plant

Biodiversity of Lesser

Himalayas‐Pakistan

Arshad Mehmood Abbasi, Mir Ajab Khan, Mushtaq

Ahmad, Muhammad Zafar

80 Key Statistical Concepts

in Clinical Trials for

Pharma

J. Rick Turner

81 Victor McKusick and the

History of Medical

Genetics

Krishna R. Dronamraju, Clair A. Francomano

82 Self and Nonself Carlos López‐Larrea

83 Gene Regulatory

Sequences and Human

Disease

Nadav Ahituv

84 Genetics Meets

Metabolomics

Karsten Suhre

85 Sensing in Nature Carlos López‐Larrea

86 Advances in Rapid

Sex‐Steroid Action

Gabriella Castoria, Antimo Migliaccio

87 Neural Metabolism In

Vivo In‐Young Choi, Rolf Gruetter

88 Novel Developments in

Stem Cell Mobilization

Stefan Fruehauf, W. Jens Zeller, Gary Calandra

89 HPV and Cervical

Cancer

Franco Borruto, Marc De Ridder

90 Principles of Bone Jona J. Sela, Itai A. Bab

Regeneration

91 Stem Cell

Transplantation Carlos López‐Larrea, Antonio López‐ Vázquez, Beatriz

Suárez‐Álvarez

92 Genomics Applications

for the Developing

World

Karen E. Nelson, Barbara Jones‐Nelson

93 Induced Pluripotent Stem

Cells

Sibel Yildirim

94 Modeling Dynamic

Economic Systems

Matthias Ruth, Bruce Hannon

95 Molecular Marker

Applications for

Improving Sugar Content

in Sugarcane

M. Swapna, Sangeeta Srivastava

96 The Human Auditory

Cortex

David Poeppel, Tobias Overath, Arthur

N. Popper, Richard R. Fay

97 RAMPs William S. Spielman, Narayanan Parameswaran

98 Energy Balance and

Gastrointestinal Cancer

Sanford D. Markowitz, Nathan A. Berger

99 Methylmercury and

Neurotoxicity

Sandra Ceccatelli, Michael Aschner

100 The Evolution of the Use

of Mathematics in

Cancer Research

Pedro J. Gutiérrez Diez, Irma H. Russo, Jose Russo

101 Renal Cell Carcinoma Robert A. Figlin, W. Kimryn Rathmell, Brian I. Rini

102 NanoCellBiology of

Secretion

Bhanu P. Jena

103 New Technologies for

Toxicity Testing

Michael Balls, Robert D. Combes, Nirmala Bhogal

104 Glioma Ryuya Yamanaka

105 Protein Dimerization and

Oligomerization in

Biology

Jacqueline M. Matthews

106 Functional Neuroimaging

in Exercise and Sport

Sciences

Henning Boecker, Charles H. Hillman, Lukas Scheef,

Heiko K. Strüder

107 Patho‐Epigenetics of

Disease

Janos Minarovits, Hans Helmut Niller

108 Biochemical Roles of

Eukaryotic Cell Surface

Macromolecules

Perumana R. Sudhakaran, Avadhesha Surolia

109 Ontogeny and Phylogeny

of the Vertebrate Heart

David Sedmera, Tobias Wang

110 Physiology of Prenatal

Exercise and Fetal

Development

Linda E. May

111 Systems Biology of

Parkinson's Disease

Peter Wellstead, Mathieu Cloutier

112 South Asian Mammals Chelmala Srinivasulu, Bhargavi Srinivasulu

113 Naturally Occurring

Antibodies (NAbs)

Hans U. Lutz

114 Advances in Yersinia

Research

Alzira Maria Paiva de Almeida, Nilma Cintra Leal

115 Evolutionary Systems

Biology

Orkun S. Soyer

116 Mitochondrial Oxidative

Phosphorylation

Bernhard Kadenbach

117 Brain Immune System

Signal Molecules in

Protection from Aerobic

and Anaerobic Infections

Armen A. Galoyan

118 Tinnitus Jos J. Eggermont, Fan‐Gang Zeng, Arthur N. Popper,

Richard R. Fay

119 Ecotones Between Forest

and Grassland

Randall W. Myster

120 Neural Development and

Stem Cells

Mahendra S. Rao, Melissa Carpenter, Mohan C. Vemuri

121 Phytochemicals, Signal

Transduction, and

Neurological Disorders

Akhlaq A. Farooqui

122 Robustness, Plasticity,

and Evolvability in

Mammals

Clara B. Jones

123 Serotonin and Anxiety Caio Maximino

124 Regenerative Biology of

the Spine and Spinal

Cord

Rahul Jandial, Mike Y. Chen

125 Calcium Handling in

hiPSC‐ Derived

Cardiomyocytes

Lee Yee‐Ki, Siu Chung‐Wah

126 Hereditary Retinopathies Pete Humphries, Marian M. Humphries, Lawrence C. S.

Tam, G. Jane Farrar, Paul

F. Kenna, Matthew Campbell, Anna‐ Sophia Kiang

127 Computational Strategies

Towards Improved

Protein Function

Prophecy of Xylanases

from Thermomyces

lanuginosus

MVK Karthik, Pratyoosh Shukla

128 Jatropha, Challenges for

a New Energy Crop

Nicolas Carels, Mulpuri Sujatha, Bir Bahadur

129 A Picture is Worth a

Thousand Tables

Andreas Krause, Michael O'Connell

130 TRIM/RBCC Proteins Germana Meroni

131 The Pathogenic

Spirochetes: strategies

for evasion of host

immunity and persistence

Monica E. Embers

132 Tandem Repeat

Polymorphisms

Anthony J. Hannan

133 Interactions of Yeasts,

Moulds, and Antifungal

Agents

Gerri S. Hall

134 Introduction to Data

Mining for the Life

Sciences

Rob Sullivan

135 Chemical and Physical

Signatures for Microbial

Forensics

John B. Cliff, Helen W. Kreuzer, Christopher J.

Ehrhardt, David S. Wunschel

136 Atlas of Forensic

Pathology

Joseph A. Prahlow, Roger W. Byard

137 Handbook of Drug

Interactions

Ashraf Mozayani, Lionel Raymon

138 Nuclear Reprogramming

and Stem Cells

Justin Ainscough, Shinya Yamanaka, Takashi Tada

139 Oxidative Stress in

Cancer Biology and

Therapy

Douglas R. Spitz, Kenneth J. Dornfeld, Koyamangalath

Krishnan, David Gius

140 Regenerative Therapy

Using Blood‐Derived

Stem Cells

David S. Allan, Dirk Strunk

141 Atlas of Human

Pluripotent Stem Cells Michal Amit, Joseph Itskovitz‐Eldor

142 Studies on Retinal and

Choroidal Disorders

Robert D. Stratton, William W. Hauswirth, Thomas W.

Gardner

143 Adult and Embryonic

Stem Cells

Kursad Turksen

144 Studies on Men's Health

and Fertility

Ashok Agarwal, R. John Aitken, Juan G. Alvarez

145 Noback's Human

Nervous System, Seventh

Edition

Norman L. Strominger, Robert J. Demarest, Lois B.

Laemle

146 Cytoskeleton and Human

Disease

Maria Kavallaris

147 Immunotoxicity, Immune

Dysfunction, and

Chronic Disease

Rodney R. Dietert, Robert W. Luebke

148 Advances in Stem Cell Hossein Baharvand, Nasser Aghdami

Research

149 The Handbook of Kewal K. Jain

Nanomedicine

150 The Centrosome Heide Schatten

151 Immunosenescence Andreas Thiel

152 Treatment and

Prevention of Malaria

Henry M. Staines, Sanjeev Krishna

153 Twenty Years of G‐CSF Graham Molineux, MaryAnn Foote, Tara Arvedson

154 Matrix Metalloproteinase

Inhibitors

Satya Prakash Gupta

155 Human Medical

Research

Jan Schildmann, Verena Sandow, Oliver Rauprich,

Jochen Vollmann

156 Alpine Treelines Christian Körner

157 Lentiviral Vectors and

Gene Therapy

David Escors, Karine Breckpot, Frederick Arce, Grazyna

Kochan, Holly Stephenson

158 Infection, Immune

Homeostasis and

Immune Privilege

Joan Stein‐Streilein

159 Ibuprofen:

Pharmacology,

Therapeutics and Side

Effects

K. D. Rainsford

160 Phosphorescent Oxygen‐ Sensitive Probes

Dmitri B. Papkovsky, Alexander V. Zhdanov, Andreas

Fercher, Ruslan I. Dmitriev, James Hynes

161 Adaption of Microbial

Life to Environmental

Extremes

Helga Stan‐Lotter, Sergiu Fendrihan

162 Frontiers in Sensing Friedrich G. Barth, Joseph A. C. Humphrey, Mandyam

V. Srinivasan

163 Sensory Perception Friedrich G. Barth, Patrizia Giampieri‐ Deutsch,

Hans‐Dieter Klein

164 Humans on Earth Filipe Duarte Santos

165 Space Weather

Monitoring by

Ground‐Based Means

Oleg Troshichev, Alexander Janzhura

166 Essentials of

Biochemistry

Herbert J. Fromm, Mark Hargrove

167 Small Supernumerary

Marker Chromosomes

(sSMC)

Thomas Liehr

168 Signaling and

Communication in Plant

Symbiosis

Silvia Perotto, František Baluška

169 Aralkum ‐ a Man‐Made

Desert

Siegmar‐W. Breckle, Walter Wucherer, Liliya A.

Dimeyeva, Nathalia P. Ogar

170 Microbial Stress

Tolerance for Biofuels

Zonglin Lewis Liu

171 Modeling Fragile X

Syndrome

Robert B. Denman

172 Recent Freshwater

Ostracods of the World

Ivana Karanovic

173 Measuring Roots Stefano Mancuso

174 Metal Toxicity in Plants:

Perception, Signaling and

Remediation

Dharmendra K. Gupta, Luisa M. Sandalio

175 Selenoproteins and

Mimics

Junqiu Liu, Guimin Luo, Ying Mu

176 Stress Challenges and

Immunity in Space

Alexander Chouker

177 Organelle Genetics Charles E. Bullerwell

178 Long‐Term Field Studies

of Primates

Peter M. Kappeler, David P. Watts

179 Regulatory RNAs Bibekanand Mallick, Zhumur Ghosh

180 Progress in Botany 73 Ulrich Lüttge, Wolfram Beyschlag, Burkhard Büdel,

Dennis Francis

181 Adenosine Deaminases

Acting on RNA

(ADARs) and A‐to‐I Editing

Charles E. Samuel

182 Morphogenesis and

Pathogenicity in Fungi

José Pérez Martín, Antonio Di Pietro

183 Receptor‐like Kinases in

Plants

Frans Tax, Birgit Kemmerling

184 Secretions and Exudates

in Biological Systems

Jorge M. Vivanco, František Baluška

185 Heparin ‐ A Century of

Progress

Rebecca Lever, Barbara Mulloy, Clive P. Page

186 Veterinary Science Antonio Pugliese, Alberto Gaiti, Cristiano Boiti

187 Muscarinic Receptors Allison D. Fryer, Arthur Christopoulos, Neil M.

Nathanson

188 Bio‐Geo Interactions in

Metal‐ Contaminated

Soils

Erika Kothe, Ajit Varma

189 Biology of Marine Fungi Chandralata Raghukumar

190 Bacteria in Agrobiology:

Stress Management

Dinesh K. Maheshwari

191 Biocommunication of

Plants

Günther Witzany, František Baluška

192 Intradermal

Immunization

Marcel B.M. Teunissen

193 Mucosal Vaccines Pamela A. Kozlowski

194 Ethical Challenges in

Genomics Research

Paula Boddington

195 Behavioral Neurobiology

of Aging Marie‐Christine Pardon, Mark W. Bondi

196 Epigenetic Regulation of

Lymphocyte

Development

Cornelis Murre

197 Notch Regulation of the

Immune System

Freddy Radtke

198 Behavioral Neuroscience

of Attention Deficit

Hyperactivity Disorder

and Its Treatment

Clare Stanford, Rosemary Tannock

199 Appetite Control Hans‐Georg Joost

200 Biopatent Law: Patent

Strategies and Patent

Management

Andreas Hübel, Thilo Schmelcher, Ulrich Storz

201 Fibrinolytic Bacterial

Enzymes with

Thrombolytic Activity

Essam Kotb

202 Molecular Geometry of

Body Pattern in Birds Antonio Lima‐de‐Faria

203 Chemical and Physical

Behavior of Human Hair

Clarence R. Robbins

204 RNA 3D Structure

Analysis and Prediction

Neocles Leontis, Eric Westhof

205 Novel Antischizophrenia

Treatments

Mark A. Geyer, Gerhard Gross

206 Current Antipsychotics Gerhard Gross, Mark A. Geyer

207 Phytohormones and

Abiotic Stress Tolerance

in Plants

Nafees A. Khan, Rahat Nazar, Noushina Iqbal, Naser A.

Anjum

208 MicroRNAs in Plant

Development and Stress

Responses

Ramanjulu Sunkar

209 From Nucleic Acids

Sequences to Molecular

Medicine

Volker A. Erdmann, Jan Barciszewski

210 Ricin and Shiga Toxins Nicholas Mantis

211 Bacteria in Agrobiology:

Plant Probiotics

Dinesh K. Maheshwari

212 Plant Signaling Peptides Helen R. Irving, Christoph Gehring

213 Behavioral

Neurogenetics

John F. Cryan, Andreas Reif

214 Pharmacology of

Bombax ceiba Linn.

Vartika Jain, Surendra K. Verma

215 Epigenetics, Brain and

Behavior

Paolo Sassone Corsi, Yves Christen

216 JIMD Reports ‐ Case and

Research Reports, 2012/2

SSIEM

217 Microarrays in

Diagnostics and

Biomarker Development

Bertrand Jordan

218 Therapeutic Kinase

Inhibitors

Ingo K. Mellinghoff, Charles L. Sawyers

219 Ecology of Faunal

Communities on the

Andaman and Nicobar

Islands

K. Venkataraman, C. Raghunathan, C. Sivaperuman

220 Alice in the Land of

Plants

Yiannis Manetas

221 Seaweed Biology Christian Wiencke, Kai Bischof

222 Living in a Seasonal

World

Thomas Ruf, Claudia Bieber, Walter Arnold, Eva Millesi

223 RNA Metabolism in

Trypanosomes

Albrecht Bindereif

224 Brain Imaging in

Behavioral Neuroscience

Cameron S. Carter, Jeffrey W. Dalley

225 Arthropods as Vectors of

Emerging Diseases

Heinz Mehlhorn

226 Purinergic Signalling and

the Nervous System

Geoffrey Burnstock, Alexei Verkhratsky

227 Antibiotic Resistance Anthony R.M. Coates

228 Passerine Migration Nikita Chernetsov

229 Comparative Physiology

of Fasting, Starvation,

and Food Limitation

Marshall D. McCue

230 Plant Electrophysiology Alexander G. Volkov

231 Plant Electrophysiology Alexander G. Volkov

232 Environmental Stress and

Amelioration in

Livestock Production

Veerasamy Sejian, S.M.K. Naqvi, Thaddeus Ezeji,

Jeffrey Lakritz, Rattan Lal

233 Reviews of Physiology,

Biochemistry and

Pharmacology

Bernd Nilius, Susan G. Amara, Thomas Gudermann,

Reinhard Jahn, Roland Lill, Stefan Offermanns, Ole H.

Petersen

234 Antiplatelet Agents Paolo Gresele, Gustav V. R Born, Carlo Patrono, Clive

P. Page

235 Molecular Aspects of

Hematologic

Malignancies

Michal Witt, Malgorzata Dawidowska, Tomasz

Szczepanski

236 Intellectual Property

Issues

Ulrich Storz, Wolfgang Flasche, Johanna Driehaus

237 Culture Negative

Orthopedic Biofilm

Infections

Garth D. Ehrlich, Patrick J. DeMeo, J. William

Costerton, Heinz Winkler

238 Henipavirus Benhur Lee, Paul A. Rota

239 Neuromedia Jill Scott, Esther Stoeckli

240 Gasotransmitters:

Physiology and

Pathophysiology

Anton Hermann, Guzel F. Sitdikova, Thomas M. Weiger

241 Mouse Development Jacek Z. Kubiak

242 Evolutionary Biology:

Mechanisms and Trends

Pierre Pontarotti

243 Outer Membrane

Vesicles of Bacteria

S.N. Chatterjee, Keya Chaudhuri

244 Studies in Oat Evolution Gideon Ladizinsky

245 Plant Breeding for

Abiotic Stress Tolerance Roberto Fritsche‐Neto, Aluízio Borém

246 Understanding Animal

Welfare

Edward N. Eadie

247 Growth and Defence in

Plants

Rainer Matyssek, Hans Schnyder, Wolfgang Oßwald,

Dieter Ernst, Jean Charles Munch, Hans Pretzsch

248 Sex and Gender

Differences in

Pharmacology

Vera Regitz‐Zagrosek

249 Fungal Associations Bertold Hock

250 Deep Brain Stimulation Damiaan Denys, Matthijs Feenstra, Rick Schuurman

251 Pasteurella multocida Klaus Aktories, Joachim H.C. Orth, Ben Adler

252 Genome Mapping and

Genomics in Laboratory

Animals

Paul Denny, Chittaranjan Kole

253 Polyploidy and Genome Pamela S. Soltis, Douglas E. Soltis

Evolution

254 Multidisciplinary

Approaches to Allergies Zhong‐Shan Gao, Min Zheng, Luud J. W.

J. Gilissen, Hua‐Hao Shen, Lynn J. Frewer

255 Clinical Cases in Primary

Immunodeficiency

Diseases

Asghar Aghamohammadi, Nima Rezaei

256 Plant Transposable

Elements Marie‐Angèle Grandbastien, Josep M. Casacuberta

257 Global Tea Breeding Liang Chen, Zeno Apostolides, Zong‐ Mao Chen

258 D‐Xylitol Silvio Silvério da Silva, Anuj Kumar Chandel

259 The Art of Deliberating Giovanni Boniolo

260 Endocytosis in Plants Jozef Šamaj

261 Plant Responses to

Drought Stress

Ricardo Aroca

262 The Biology of Hover

Wasps

Stefano Turillazzi

263 Blastocystis: Pathogen or

Passenger?

Heinz Mehlhorn, Kevin S. W. Tan, Hisao Yoshikawa

264 Cortical Connectivity Robert Chen, John C. Rothwell

265 Ultrastructural Plasticity

of Cyanobacteria

Olga I. Baulina

266 Neurofibromatosis Type

1

Meena Upadhyaya, David N. Cooper

267 Microbial Metal

Respiration

Johannes Gescher, Andreas Kappler

268 Plant Breeding for Biotic

Stress Resistance Roberto Fritsche‐Neto, Aluízio Borém

269 Reviews of Physiology,

Biochemistry and

Pharmacology, Vol. 163

Bernd Nilius, Susan G. Amara, Thomas Gudermann,

Reinhard Jahn, Roland Lill, Stefan Offermanns, Ole H.

Petersen

270 Edible Ectomycorrhizal

Mushrooms

Alessandra Zambonelli, Gregory M Bonito

271 Plants in Alpine Regions Cornelius Lütz

272 Regulatory RNAs in

Prokaryotes

Wolfgang R. Hess, Anita Marchfelder

273 Inflammation and

Atherosclerosis

Georg Wick, Cecilia Grundtman

274 Biosimulation in

Biomedical Research,

Health Care and Drug

Development

Erik Mosekilde, Olga Sosnovtseva, Amin

Rostami‐Hodjegan

275 Gene Vaccines Josef Thalhamer, Richard Weiss, Sandra Scheiblhofer

276 Principles of Peter Pietschmann

Osteoimmunology

277 Development of Novel

Vaccines

Alexander von Gabain, Christoph Klade

278 Toxicity of Heavy Metals

to Legumes and

Bioremediation

Almas Zaidi, Parvaze Ahmad Wani, Mohammad Saghir

Khan

279 Anticarbohydrate

Antibodies Paul Kosma, Sven Müller‐Loennies

280 Nerve‐Driven Immunity Mia Levite

281 Jak‐Stat Signaling : From

Basics to Disease

Thomas Decker, Mathias Müller

282 Synaptic Plasticity Michael R. Kreutz, Carlo Sala

283 Computational Medicine Zlatko Trajanoski

284 Store‐operated Ca2+

entry (SOCE) pathways

Klaus Groschner, Wolfgang F. Graier, Christoph

Romanin

285 Metal Ions in

Neurological Systems

Wolfgang Linert, Henryk Kozlowski

286 Animal Lectins: Form,

Function and Clinical

Applications

G. S. Gupta

287 Plant Genome Diversity

Volume 1

Jonathan F. Wendel, Johann Greilhuber, Jaroslav

Dolezel, Ilia J. Leitch

288 Biomedical Applications

of Peptide‐, Glyco‐ and

Glycopeptide

Dendrimers, and

Analogous Dendrimeric

Jaroslav Sebestik, Milan Reinis, Jan Jezek

Structures

289 Molecular, Clinical and

Environmental

Toxicology

Andreas Luch

290 Influenza Virus Sialidase

‐ A Drug Discovery

Target

Mark Itzstein

291 Protection of the Three

Poles

Falk Huettmann

292 Post‐Genome Biology of

Primates

Hirohisa Hirai, Hiroo Imai, Yasuhiro Go

293 The Biodiversity

Observation Network in

the Asia‐Pacific Region

Shin‐ichi Nakano, Tetsukazu Yahara, Tohru

Nakashizuka

294 Schistosomes and

Schistosomiasis in South

Asia

Prof. Mahesh Chandra Agrawal

295 Indian Pandanaceae ‐ an

overview

Altafhusain Nadaf, Rahul Zanan

296 The Theory of Evolution

and Its Impact

Aldo Fasolo

297 Chocolate and Health Ario Conti, Rodolfo Paoletti, Andrea Poli, Francesco

Visioli

298 Chemoinformatica Massimo Mabilia, Magdalena Bacilieri, Arianna Bassan,

Lorenza Broccardo, Elena Fioravanzo, Stefano Moro,

Luca Sartori, Matteo Stocchero

299 Cellular Physiology and

Metabolism of Physical

Exercise

Livio Luzi

300 Onde di polso Paolo Salvi

301 Pulse Waves Paolo Salvi

302 Modeling Forest Trees

and Stands

Harold E. Burkhart, Margarida Tomé

303 Handbook of Marine

Natural Products

Ernesto Fattorusso, William H. Gerwick, Orazio

Taglialatela‐Scafati

304 Private or Socialistic

Forestry?

Matti Palo, Erkki Lehto

305 Edible Medicinal and

Non‐ Medicinal Plants

Lim T. K.

306 Unlocking markets to

smallholders

Herman D. Schalkwyk, Jan A. Groenewald, Gavin C. G.

Fraser, Ajuruchukwu Obi, Aad Tilburg

307 New trends for

innovation in the

Mediterranean animal

production

R. Bouche, A. Derkimba, F. Casabianca

308 Fibre production in South

American camelids and

other fibre animals

Ma Ángeles Pérez‐Cabal, Juan Pablo Gutiérrez, Isabel

Cervantes, Ma Jesús Alcalde

309 Handbook of hair in

health and disease

Victor R. Preedy

310 Handbook of diet,

nutrition and the skin

Victor R. Preedy

311 The orange juice

business

Marcos Fava Neves, Vinícius Gustavo Trombin,

Frederico Fonseca Lopes, Rafael Kalaki, Patrícia Milan

312 Applied equine nutrition

and training

Arno Lindner

313 Animal farming and

environmental

interactions in the

Mediterranean region

I. Casasús, J. Rogošiç, A. Rosati, I. Štokoviç, D. Gabiña

314 Udder Health and

Communication

H. Hogeveen, T. J. G. M. Lam

315 Forest‐people interfaces Bas Arts, Séverine Bommel, Mirjam Ros‐Tonen, Gerard

Verschoor

316 Farm animal proteomics Pedro Rodrigues, David Eckersall, André Almeida

317 Sacred Science? Simen Andersen Øyen, Tone Lund‐ Olsen, Nora

Sørensen Vaage

318 Climate change and

sustainable development

Thomas Potthast, Simon Meisch

319 Forages and grazing in

horse nutrition

Markku Saastamoinen, Maria João Fradinho, Ana Sofia

Santos, Nicoletta Miraglia

320 Feed efficiency in swine John F. Patience

321 Proceedings of the Xth

International Scientific

Congress in fur animal

production

P. F. Larsen, S. H. Møller, T. Clausen, A.

S. Hammer, T. M. Lássen, V. H. Nielsen,

A. H. Tauson, L. L. Jeppesen, S. W. Hansen, J. Elnif, J.

Malmkvist

322 Proceedings of the 21st

Annual Meeting of the

European Society for

Animal Cell Technology

(ESACT), Dublin,

Ireland, June 7‐10, 2009

Nigel Jenkins, Niall Barron, Paula Alves

323 Human Chromosome

Variation:

Heteromorphism and

Polymorphism

Herman E. Wyandt, Vijay S. Tonk

324 Sustainable Urban

Environments

Ellen van Bueren, Hein van Bohemen, Laure Itard, Henk

Visscher

325 Functional Genomics and

Evolution of

Photosynthetic Systems

Robert Burnap, Wim Vermaas

326 A History of Diabetes in

Pregnancy

Harold Kalter

327 Photosynthesis Julian J. Eaton‐Rye, Baishnab C. Tripathy, Thomas D.

Sharkey

328 Stem Cells and Cancer

Stem Cells, Volume 1

M.A. Hayat

329 Edible Medicinal And


T. K. Lim

330 Lake Biwa: Interactions

between Nature and

People

Hiroya Kawanabe, Machiko Nishino, Masayoshi

Maehata

331 Himalayan Biodiversity

in the Changing World

Pavel Kindlmann

332 Anoxia Alexander V. Altenbach, Joan M. Bernhard, Joseph

Seckbach

333 Agroecology and

Strategies for Climate

Change

Eric Lichtfouse

334 Plant Defence: Biological

Control

Jean Michel Mérillon, Kishan Gopal Ramawat

335 Pollination Biology D. P. Abrol

336 The Sirex Woodwasp

and its Fungal Symbiont:

Bernard Slippers, Peter de Groot, Michael John

Wingfield

337 Cotton, Water, Salts and

Soums

Christopher Martius, Inna Rudenko, John P.A. Lamers,

P.L.G. Vlek

338 Reef Fish Spawning

Aggregations: Biology,

Research and

Management

Yvonne Sadovy de Mitcheson, Patrick L. Colin

339 Materia Medica for

Various Cancers

William C.S. Cho

340 Mechanical Stretch and

Cytokines

Andre Kamkin, Irina Kiseleva

341 Tropical and

Sub‐Tropical Reservoir

Limnology in China

Bo‐Ping Han, Zhengwen Liu



M.A. Hayat

343 Shedding Light on

Indoor Tanning

Carolyn J. Heckman, Sharon L. Manne

344 Stress Ecology Christian E.W. Steinberg

345 Weed Science ‐ A Plea

for Thought ‐ Revisited

Robert L. Zimdahl

346 Honeybee Neurobiology

and Behavior

C. Giovanni Galizia, Dorothea Eisenhardt, Martin Giurfa

347 New Frontiers of

Molecular Epidemiology

of Infectious Diseases

Serge Morand, François Beaudeau, Jacques Cabaret

348 Rethinking Social

Epidemiology

Patricia O’Campo, James R. Dunn

349 Traditional

Forest‐Related

Knowledge

John A. Parrotta, Ronald L. Trosper

350 Regulation of

Agricultural

Biotechnology: The

United States and Canada

Chris A. Wozniak, Alan McHughen

351 Water Soluble Vitamins Olaf Stanger

352 Continuous Cover

Forestry

Timo Pukkala, Klaus Gadow

353 Post‐Fire Management

and Restoration of

Southern European

Forests

Francisco Moreira, Margarita Arianoutsou, Piermaria

Corona, Jorge De las Heras

354 Microorganisms in

Sustainable Agriculture

and Biotechnology

Anil Prakash

355 Crop Stress and its

Management:

Perspectives

B. Venkateswarlu, Arun K. Shanker, Chitra Shanker, M.

Maheswari

and Strategies

356 Microorganisms in

Environmental

Management

Anil Prakash

357 Managing Forest Carbon

in a Changing Climate

Mark S. Ashton, Mary L. Tyrrell, Deborah Spalding,

Bradford Gentry

358 Growing from Seed Celeste Lacuna‐Richman

359 The Symbolic Species

Evolved

Theresa Schilhab, Frederik Stjernfelt, Terrence Deacon

360 Carbon Sequestration in

Urban Ecosystems

Rattan Lal, Bruce Augustin

361 Nutritional Epidemiology

of Breast Cancer

Alvaro Luis Ronco, Eduardo De Stéfani

362 A Geographic

Perspective of Cuban

Landscapes

Jennifer Gebelein


Stem Cells,Volume 3

M.A. Hayat

364 Neuroblastoma M.A. Hayat

365 Lactoferrin and its Role

in Wound Healing

Yoshiharu Takayama

366 Technological

Innovations in Sensing

and Detection of

Chemical, Biological,

Radiological, Nuclear

Threats and Ecological

Terrorism

Ashok Vaseashta, Eric Braman, Philip Susmann

367 Reproductive Health and

Cancer in Adolescents

and Young Adults

Gwendolyn P. Quinn, Susan T. Vadaparampil

368 Epigenetic Epidemiology Karin B. Michels

369 Macromolecular

Crystallography

Maria Armenia Carrondo, Paola Spadon


Non Medicinal Plants

T. K. Lim

371 Nano‐Biotechnology for

Biomedical and

Diagnostic Research

Eran Zahavy, Arie Ordentlich, Shmuel Yitzhaki, Avigdor

Shafferman

372 Signaling Pathways and

Molecular Mediators in

Metastasis

Alessandro Fatatis

373 Aging Research in Yeast Michael Breitenbach, S. Michal Jazwinski, Peter Laun

374 Pediatric Palliative Care:

Global Perspectives Caprice Knapp, Vanessa Madden, Susan Fowler‐Kerry

375 Forests in Development:

A Vital Balance

Tomás Schlichter, Leopoldo Montes

376 Bacteria and Cancer Abdul Arif Khan

377 Nutraceuticals and

Cancer

Fazlul H. Sarkar

378 Quantifying Functional

Biodiversity

Laura Pla, Fernando Casanoves, Julio Di Rienzo

379 Non‐fibrillar

Amyloidogenic Protein

Assemblies ‐ Common

Cytotoxins Underlying

Degenerative Diseases

Farid Rahimi, Gal Bitan

380 Stem Cells and Human

Diseases

Rakesh Srivastava, Sharmila Shankar

381 Induced Pluripotent Stem

Cells in Brain Diseases

Vivi M. Heine, Stephanie Dooves, Dwayne Holmes,

Judith Wagner

382 The Biology of

Subcellular Nitric Oxide

Tamás Rőszer



M.A. Hayat

384 Plasma for Bio‐ Decontamination,

Medicine and Food

Security

Zdenko Machala, Karol Hensel, Yuri Akishev

385 Statistics Applied to

Clinical Studies

Ton J. Cleophas, Aeilko H. Zwinderman

386 Advances in

Mitochondrial Medicine

Roberto Scatena, Patrizia Bottoni, Bruno Giardina

387 Portable Chemical

Sensors

Dimitrios Nikolelis

388 Calcium Signaling Md. Shahidul Islam



M.A. Hayat

390 Atlas of Interstitial Cells

of Cajal in the

Gastrointestinal Tract

Terumasa Komuro

391 Genomics of

Chloroplasts and

Mitochondria

Ralph Bock, Volker Knoop

392 Nutrition, Diet and

Cancer

Sharmila Shankar, Rakesh K. Srivastava

393 Lessons learned from

Long‐ term Soil Fertility

Management

Experiments in

Andre Bationo, Boaz Waswa, Job Kihara, Ivan Adolwa,

Bernard Vanlauwe, Koala Saidou

Africa

394 Genesis ‐ In The

Beginning

Joseph Seckbach

395 Arsenic & Rice Andrew A. Meharg, Fang‐Jie Zhao

396 Pediatric Cancer,

Volume 2

M.A. Hayat

397 Improving Soil Fertility

Recommendations in

Africa using the Decision

Support System for

Agrotechnology

Job Kihara, Dougbedji Fatondji, James W Jones, Gerrit

Hoogenboom, Ramadjita Tabo, Andre Bationo

Transfer (DSSAT)

398 Insect Conservation:

Past, Present and

Prospects

Tim R. New



M.A. Hayat

400 Phosphoinositides I:

Enzymes of Synthesis

and Degradation

Tamas Balla, Matthias Wymann, John D. York

401 Phosphoinositides II: The

Diverse Biological

Functions

Tamas Balla, Matthias Wymann, John D. York

402 Modern Methods for

Epidemiology Yu‐Kang Tu, Darren C. Greenwood

403 Mortalin Biology: Life,

Stress and Death

Sunil C. Kaul, Renu Wadhwa

404 Ecology of

Cyanobacteria II

Brian A. Whitton

405 Computational Systems

Neurobiology

N. Le Novère

406 Arthropod‐Plant

Interactions

Guy Smagghe, Isabel Diaz

407 Eurasian Steppes.

Ecological Problems and

Livelihoods in a

Changing World

Marinus J.A. Werger, Marja A. van Staalduinen

408 Inflammatory Breast

Cancer: An Update

Naoto T. Ueno, Massimo Cristofanilli

409 Dietary Phytochemicals

and Microbes

Amlan K. Patra

410 An Epidemiological

Odyssey

George Pollock

411 Arthropod Management

in Vineyards:

Noubar J. Bostanian, Charles Vincent, Rufus Isaacs



T. K. Lim

413 Sustainable Potato

Production: Global Case

Studies

Zhongqi He, Robert Larkin, Wayne Honeycutt

414 Organic Fertilisation,

Soil Quality and Human

Health

Eric Lichtfouse

415 Crop Production for

Agricultural

Improvement

Muhammad Ashraf, Münir Öztürk, Muhammad Sajid

Aqeel Ahmad, Ahmet Aksoy

416 A Structural Perspective

on Respiratory Complex

I

Leonid Sazanov

417 Vegetation Ecology of

Socotra

Gary Brown, Bruno A. Mies

418 Origin(s) of Design in

Nature

Liz Swan, Richard Gordon, Joseph Seckbach

419 Recarbonization of the

Biosphere

Rattan Lal, Klaus Lorenz, Reinhard F. Hüttl, Bernd Uwe

Schneider, Joachim von Braun

420 Advances in Citrus

Nutrition

Anoop Kumar Srivastava

421 Adherens Junctions: from

Molecular Mechanisms

to Tissue Development

and Disease

Tony Harris

422 Maternal Fetal

Transmission of Human

Viruses and their

Influence on

Tumorigenesis

György Berencsi III

423 Midkine: From

Embryogenesis to

Pathogenesis and

Therapy

Mine Ergüven, Takashi Muramatsu, Ayhan Bilir

424 Lake Kivu Jean‐Pierre Descy, François Darchambeau, Martin

Schmid

425 Biocommunication of

Fungi

Günther Witzany



M.A. Hayat

427 Coxiella burnetii: Recent

Advances and New

Rudolf Toman, Robert A. Heinzen, James E. Samuel,

Jean‐Louis Mege

Perspectives in Research

of the Q Fever Bacterium

428 New Frontiers of

Network Analysis in

Systems Biology

Avi Ma'ayan, Ben D. MacArthur

429 Loch Leven: 40 years of

scientific research

Linda May, Bryan M. Spears

430 Endoplasmic Reticulum

Stress in Health and

Disease

Patrizia Agostinis, Samali Afshin

431 Fungi Associated with

Pandanaceae

Stephen R. Whitton, Eric H.C. McKenzie, Kevin D.

Hyde

432 Sulfur Metabolism in

Plants

Luit J. De Kok, Linda Tabe, Michael Tausz, Malcolm J.

Hawkesford, Rainer Hoefgen, Michael T. McManus,

Robert

M. Norton, Heinz Rennenberg, Kazuki Saito, Ewald

Schnug

433 Integrating Agriculture,

Conservation and

Ecotourism: Societal

Influences

W. Bruce Campbell, Silvia López Ortíz

434 Advances in

Neuromorphic Memristor

Science and Applications

Robert Kozma, Robinson E. Pino, Giovanni E. Pazienza

435 Farming for Food and

Water Security

Eric Lichtfouse

436 Farming Systems

Research into the 21st

Century: The New

Dynamic

Ika Darnhofer, David Gibbon, Benoît Dedieu

437 Pediatric Cancer,

Volume 3

M.A. Hayat

438 Systems Metabolic

Engineering

Christoph Wittmann, Sang Yup Lee

439 Epidemiological

Research: An

Introduction

O. S. Miettinen, I. Karp

440 Innovation in

Vaccinology

Selene Baschieri

441 The Eukaryotic

Replisome: a Guide to

Protein Structure

Stuart MacNeill

and Function

442 Natural compounds as

inducers of cell death

Marc Diederich, Karoline Noworyta

443 The Textbook of

Angiogenesis and

Lymphangiogenesis:

Methods and

Applications

Enrique Zudaire, Frank Cuttitta

444 Arterial Chemoreception Colin A. Nurse, Constancio Gonzalez, Chris Peers,

Nanduri Prabhakar

445 Agroforestry ‐ The

Future of Global Land

Use

P.K. Ramachandran Nair, Dennis Garrity

446 The Entolomataceae of

Tasmania

Machiel E. Noordeloos, Genevieve M. Gates

447 Ancient Animals, New

Challenges

Manuel Maldonado, Xavier Turon, Mikel Becerro, Maria

Jesús Uriz

448 Cellular Trafficking of

Cell Stress Proteins in

Health and Disease

Brian Henderson, A. Graham Pockley

449 Seed Development:

OMICS Technologies

toward Improvement of

Seed Quality

Ganesh K. Agrawal, Randeep Rakwal

and Crop Yield

450 Integrated Water

Resources Management

in the Mediterranean

Region

Redouane Choukr‐Allah, Ragab Ragab, Rafael

Rodriguez‐Clemente

451 GPCR Signalling

Complexes – Synthesis,

Assembly, Trafficking

and Specificity

Denis J. Dupré, Terence E. Hébert, Ralf Jockers

452 Introduction to Structural

Chemistry

Stepan S. Batsanov, Andrei S. Batsanov

453 Malignant Effusions Mikhail V. Kiselevsky



M.A. Hayat

455 Systems Biology in

Cancer Research and

Drug Discovery

Asfar S. Azmi

456 BipolART Denys N. Wheatley

457 Bacterial Fish Pathogens Brian Austin, Dawn A. Austin

458 Viruses: Essential Agents

of Life

Günther Witzany

459 Novel Apoptotic

Regulators in

Carcinogenesis

George G. Chen, Paul B.S. Lai

460 Electric Cell‐Substrate

Impedance Sensing and

Cancer Metastasis

Wen G. Jiang

461 Morphofunctional

Aspects of Tumor

Microcirculation

Domenico Ribatti

462 Isotope labeling in

Biomolecular NMR

Hanudatta S. Atreya

463 Life on Earth and other

Planetary Bodies

Arnold Hanslmeier, Stephan Kempe, Joseph Seckbach

464 Phosphoinositides and

Disease

MARCO FALASCA

465 Reprogramming

Microbial Metabolic

Pathways

Xiaoyuan Wang, Jian Chen, Peter Quinn

466 The Epidemiology of

Aging

Anne B. Newman, Jane A. Cauley

467 Sentic Computing Erik Cambria, Amir Hussain

468 Mechanically Gated

Channels and their

Regulation

Andre Kamkin, Ilya Lozinsky

469 The Science of Algal

Fuels

Richard Gordon, Joseph Seckbach

470 MicroRNAs as Tools in

Biopharmaceutical

Production

Niall Barron

471 Pediatric Biomedical

Informatics

John J. Hutton

472 LAWS, LANGUAGE

and LIFE Howard Hunt Pattee, Joanna Rączaszek‐ Leonardi

473 Brain Aging and

Therapeutic Interventions

Mahendra K. Thakur, Suresh I.S. Rattan

474 Central Nervous System

Metastasis, the

Biological Basis and

Clinical Considerations

Diane Palmieri

475 Jellyfish Blooms IV Jennifer Purcell, Hermes Mianzan, Jesscia R. Frost

476 Forest Landscape

Restoration

John Stanturf, David Lamb, Palle Madsen

477 A Goal‐Oriented

Approach to Forest

Landscape Restoration

John Stanturf, Palle Madsen, David Lamb

478 Rangeland Stewardship

in Central Asia

Victor Squires

479 Protein Aggregation and

Fibrillogenesis in

Cerebral and Systemic

Amyloid Disease

J. Robin Harris

480 The Evolution of Global

Paper Industry 1800¬–

2050

Juha‐Antti Lamberg, Jari Ojala, Mirva Peltoniemi, Timo

Särkkä

481 HPV and Cancer James A. Radosevich

482 Sustainable Agriculture

Reviews

Eric Lichtfouse

483 Advances in

Understanding the

Biology of Halophilic

Microorganisms

Russell H. Vreeland

484 Applied Computational

Genomics

Yin Yao Shugart

485 Phytoplankton responses

to human impacts at

different scales

Nico Salmaso, Luigi Naselli‐Flores, Leonardo Cerasino,

Giovanna Flaim, Monica Tolotti, Judit Padisák

486 Introduction to

Programming with

Fortran

Ian Chivers, Jane Sleightholme

487 Mobile Context

Awareness

Tom Lovett, Eamonn O'Neill

488 Multicore Programming

Using the ParC Language Yosi Ben‐Asher

489 Software and Systems

Traceability Jane Cleland‐Huang, Orlena Gotel, Andrea Zisman

490 Conquering Complexity Mike Hinchey, Lorcan Coyle

491 Guide to Software

Development

Arthur M. Langer

492 Virtual Reality and

Animation for

MATLAB® and

Simulink® Users

Nassim Khaled

493 Advanced Methods in

Computer Graphics

Ramakrishnan Mukundan

494 Patterns, Programming

and Everything

Karin K. Breitman, R. Nigel Horspool

495 A Brief History of

Computing

Gerard O'Regan

496 Service Placement in Ad

Hoc Networks

Georg Wittenburg, Jochen Schiller

497 Guide to Reliable

Distributed Systems

Kenneth P. Birman

498 High‐Performance

Scientific Computing

Michael W. Berry, Kyle A. Gallivan, Efstratios

Gallopoulos, Ananth Grama, Bernard Philippe, Yousef

Saad, Faisal Saied

499 Guide to Web

Development with Java

Tim Downey

500 Image Registration A. Ardeshir Goshtasby

501 Foundational Java David Parsons

502 Achieving Systems

Safety

Chris Dale, Tom Anderson

503 Interactive 3D

Multimedia Content

Wojciech Cellary, Krzysztof Walczak

504 Sets, Logic and Maths

for Computing

David Makinson

505 Introduction to Video

and Image Processing

Thomas B. Moeslund

506 Doing Design

Ethnography

Andrew Crabtree, Mark Rouncefield, Peter Tolmie

507 Introduction to Computer

Graphics

Frank Klawonn

508 Guide to Scientific

Computing in C++ Joe Pitt‐Francis, Jonathan Whiteley

509 Guide to Medical Image

Analysis

Klaus D. Toennies

510 Immersive Multimodal

Interactive Presence

Angelika Peer, Christos D. Giachritsis

511 Rough Sets: Selected

Methods and

Applications in

Management and

Engineering

Georg Peters, Pawan Lingras, Dominik

Ślęzak, Yiyu Yao

512 Expanding the Frontiers

of Visual Analytics and

Visualization

John Dill, Rae Earnshaw, David Kasik, John Vince, Pak

Chung Wong

513 Future Wireless and

Optical Networks

Shengming Jiang

514 Software Similarity and

Classification

Silvio Cesare, Yang Xiang

515 Computers in Swedish

Society

Per Lundin

516 Model‐Based

Development

John Krogstie

and Evolution of

Information Systems

517 Behavior Computing Longbing Cao, Philip S. Yu

518 Entropy Guided

Transformation

Learning: Algorithms

and Applications

Cícero Nogueira Santos, Ruy Luiz Milidiú

519 A Proof Theory for

Description Logics

Alexandre Rademaker

520 Virtual Reality in

Medicine

Robert Riener, Matthias Harders

521 Context Management for

Distributed and Dynamic

Context‐Aware

Computing

Ricardo Couto Antunes Rocha, Markus Endler

522 Computational Social

Networks Ajith Abraham, Aboul‐Ella Hassanien


Networks

Ajith Abraham


Networks

Ajith Abraham

525 3D Imaging, Analysis

and Applications

Nick Pears, Yonghuai Liu, Peter Bunting

526 Anonymization Rolf H. Weber, Ulrike I. Heinrich

527 Guide to OCR for Arabic

Scripts

Volker Märgner, Haikal El Abed

528 Guide to Computational

Geometry Processing

Jakob Andreas Bærentzen, Jens Gravesen, François

Anton, Henrik Aanæs

529 From Research to

Practice in the Design of

Cooperative Systems:

Results and Open

Challenges

Julie Dugdale, Cédric Masclet, Maria Antonietta Grasso,

Jean‐François Boujut, Parina Hassanaly

530 3D Video and Its

Applications

Takashi Matsuyama, Shohei Nobuhara, Takeshi Takai,

Tony Tung

531 Mathematical Logic for

Computer Science Mordechai Ben‐Ari

532 Programming Language

Concepts

Peter Sestoft

533 Decentralized Reasoning

in Ambient Intelligence

José Viterbo, Markus Endler

534 Self‐* and P2P for

Network Management

Clarissa Cassales Marquezan, Lisandro Zambenedetti

Granville

535 Robust Motion Detection

in Real‐Life Scenarios

Ester Martínez‐Martín, Ángel P. del Pobil

536 Performance Metrics for

Haptic Interfaces

Evren Samur

537 Guide to Cisco Routers

Configuration

Mohammed M. Alani

538 Two‐Dimensional

Change Detection

Methods

Murat İlsever, Cem Ünsalan

539 Matrix Transforms for

Computer Games and

Animation

John Vince

540 Research and

Development in

Intelligent Systems

XXIX

Max Bramer, Miltos Petridis

541 Computational Cancer

Biology

Mathukumalli Vidyasagar

542 Dark Web Hsinchun Chen

543 Computational

Complexity

Robert A. Meyers

544 Spatial AutoRegression

(SAR) Model

Baris M. Kazar, Mete Celik

545 Mobile Intention

Recognition

Peter Kiefer

546 Handbook of Service

Description

Alistair Barros, Daniel Oberle

547 A Primer of Multicast

Routing

Eric Rosenberg

548 Applied Computer

Science

Shane Torbert

549 Recommender Systems

for Social Tagging

Systems

Leandro Balby Marinho, Andreas Hotho, Robert Jäschke,

Alexandros Nanopoulos, Steffen Rendle, Lars

Schmidt‐Thieme, Gerd Stumme, Panagiotis Symeonidis

550 Reliable Knowledge

Discovery

Honghua Dai, James N. K. Liu, Evgueni Smirnov

551 The Economics of

Financial and Medical

Identity Theft

L. Jean Camp, M. Eric Johnson

552 The Design of Cloud

Workflow Systems

Xiao Liu, Dong Yuan, Gaofeng Zhang, Wenhao Li,

Dahai Cao, Qiang He, Jinjun Chen, Yun Yang

553 Enacting Electronic

Government Success J. Ramon Gil‐Garcia

554 A Survey of Data

Leakage Detection and

Prevention Solutions

Asaf Shabtai, Yuval Elovici, Lior Rokach

555 Disney Stories Newton Lee, Krystina Madej

556 Peer‐to‐Peer Query

Processing over

Multidimensional Data

Akrivi Vlachou, Christos Doulkeridis, Kjetil Nørvåg,

Yannis Kotidis

557 Scalable Parallel

Programming Applied to

H.264/AVC Decoding

Ben Juurlink, Mauricio Alvarez‐Mesa, Chi Ching Chi,

Arnaldo Azevedo, Cor Meenderinck, Alex Ramirez

558 Data Dissemination and

Query in Mobile Social

Networks

Jiming Chen, Jialu Fan, Youxian Sun

559 Cloud Computing and

Services Science

Ivan Ivanov, Marten van Sinderen, Boris Shishkov

560 Language Grounding in

Robots

Luc Steels, Manfred Hild

561 Criminal Justice

Forecasts of Risk

Richard Berk

562 Logic and the

Organization of

Information

Martin Frické

563 Autonomic Cooperative

Networking

Michał Wódczak

564 Mining Text Data Charu C. Aggarwal, ChengXiang Zhai

565 Power Distribution and

Performance Analysis for

Wireless Communication

Networks

Dongmei Zhao

566 Rhodes Framework for

Android™ Platform and

BlackBerry®

Smartphones

Deepak Vohra

567 Visual Indexing and

Retrieval Jenny Benois‐Pineau, Frédéric Precioso, Matthieu Cord

568 Virtual Communities,

Social Networks and

Collaboration

Athina A. Lazakidou

569 Video Analysis and

Repackaging for

Distance Education

A. Ranjith Ram, Subhasis Chaudhuri

570 Applications of Algebra

to Communications,

Control, and Signal

Processing

Nigel Boston

571 ITIL® 2011 At a Glance John O. Long

572 Multimedia Signals and

Systems

Srdjan Stanković, Irena Orović, Ervin Sejdić

573 Group Cell Architecture

for Cooperative

Communications

Xiaofeng Tao, Qimei Cui, Xiaodong Xu, Ping Zhang

574 Interworking of Wireless

LANs and Cellular

Networks

Wei Song, Weihua Zhuang

575 Automated Configuration

Problem Solving

Charles J. Petrie

576 Agent‐Based Semantic

Web Service

Composition

Sandeep Kumar

577 Modern Compiler Design Dick Grune, Kees van Reeuwijk, Henri E. Bal, Ceriel

J.H. Jacobs, Koen Langendoen

578 Data‐Driven Methods for

Adaptive Spoken

Dialogue Systems

Oliver Lemon, Olivier Pietquin

579 Soft Computing

Approach to Pattern

Classification and Object

Recognition

Kumar S. Ray

580 Biometrics and Kansei

Engineering

Khalid Saeed, Tomomasa Nagashima

581 Service‐Oriented

Crowdsourcing

Daniel Schall

582 Fire Detection in

Warehouse Facilities

Joshua Dinaburg, Daniel T. Gottuk

583 Fire Safety Challenges of

Green Buildings

Brian Meacham, Brandon Poole, Juan Echeverria,

Raymond Cheng

584 Interoperable Electronic

Safety Equipment

Casey C Grant

585 Foundations of Rule

Learning

Johannes Fürnkranz, Dragan Gamberger, Nada Lavrač

586 Operational Semantics

and Verification of

Security Protocols

Cas Cremers, Sjouke Mauw

587 Handbook of Natural

Computing

Grzegorz Rozenberg, Thomas Bäck, Joost N. Kok

588 Foundations of Algebraic

Specification and Formal

Software Development

Donald Sannella, Andrzej Tarlecki

589 Securing Digital Video Eric Diehl

590 Compiler Design Helmut Seidl, Reinhard Wilhelm, Sebastian Hack

591 Computer Arithmetic Mircea Vlăduţiu

592 Turning Points Chaomei Chen

593 Collaborative Financial

Infrastructure Protection

Roberto Baldoni, Gregory Chockler

594 Autonomous Search Youssef Hamadi, Eric Monfroy, Frédéric Saubion

595 Physicomimetics William M. Spears, Diana F. Spears

596 Analysis of Rare

Categories

Jingrui He

597 Multilingual Information

Retrieval

Carol Peters, Martin Braschler, Paul Clough

598 Electronic Healthcare Martin Szomszor, Patty Kostkova

599 LaTeX and Friends M. R. C. van Dongen

600 The NCL Natural

Constraint Language

Jianyang Zhou

601 Competence in High

Performance Computing

2010

Christian Bischof, Heinz‐Gerd Hegering, Wolfgang E.

Nagel, Gabriel Wittum

602 Cryptographic Protocol Ling Dong, Kefei Chen

603 Electronique Appliquée,

Electromécanique sous

Simscape &

SimPowerSystems

(Matlab/Simulink)

Mohand Mokhtari, Nadia Martaj

604 Software Process

Definition and

Management

Jürgen Münch, Ove Armbrust, Martin Kowalczyk,

Martín Soto

605 Computer Architecture Ana Lucia Varbanescu, Anca Molnos, Rob Nieuwpoort

606 Bio‐Inspired Computing

and Applications

De‐Shuang Huang, Yong Gan, Prashan Premaratne,

Kyungsook Han

607 Advanced Intelligent

Computing De‐Shuang Huang, Yong Gan, Vitoantonio Bevilacqua,

Juan Carlos Figueroa

608 Scale Space and

Variational Methods in

Computer Vision

Alfred M. Bruckstein, Bart M. Haar Romeny, Alexander

M. Bronstein, Michael M. Bronstein

609 Business Processes for

Business Communities

Frank Schönthaler, Gottfried Vossen, Andreas Oberweis,

Thomas Karle

610 Ontology Engineering in

a Networked World Mari Carmen Suárez‐Figueroa, Asunción Gómez‐Pérez,

Enrico Motta, Aldo Gangemi

611 Semantic Search over the

Web

Roberto De Virgilio, Francesco Guerra, Yannis

Velegrakis

612 e‐Business and

Telecommunications

Mohammad S. Obaidat, George A. Tsihrintzis, Joaquim

Filipe

613 Empirical Software

Engineering and

Verification

Bertrand Meyer, Martin Nordio

614 Security and Intelligent

Information Systems

Pascal Bouvry, Mieczysław A. Kłopotek, Franck

Leprévost, Małgorzata Marciniak, Agnieszka

Mykowiecka, Henryk Rybiński

615 SDL 2011: Integrating

System and Software

Modeling

Iulian Ober, Ileana Ober

616 Formal Methods for

Components and Objects

Bernhard K. Aichernig, Frank S. Boer, Marcello M.

Bonsangue

617 RFID. Security and

Privacy

Ari Juels, Christof Paar

618 Advances in Image and

Video Technology Yo‐Sung Ho

619 Advances in Image and

Video Technology Yo‐Sung Ho

620 Fuzzy Computational

Ontologies in Contexts Yi Cai, Ching‐man Au Yeung, Ho‐fung Leung

621 Data Security and

Security Data

Lachlan M. MacKinnon

622 Graph Drawing Marc Kreveld, Bettina Speckmann

623 Principles and Practice of

Multi‐Agent Systems

Nirmit Desai, Alan Liu, Michael Winikoff

624 Structure Discovery in

Natural Language

Chris Biemann

625 Mathematical and

Engineering Methods in

Computer Science

Zdeněk Kotásek, Jan Bouda, Ivana Černá, Lukáš

Sekanina, Tomáš Vojnar, David Antoš

626 Incomplete Information

System and Rough Set

Theory

Xibei Yang, Jingyu Yang

627 Advanced Intelligent

Computing Theories and

Applications. With

Aspects of Artificial

Intelligence

De‐Shuang Huang, Yong Gan, Phalguni Gupta, M.

Michael Gromiha

628 The Semantic Web:

ESWC 2011 Workshops Raúl García‐Castro, Dieter Fensel, Grigoris Antoniou

629 Distributed Computing

and Networking

Luciano Bononi, Ajoy K. Datta, Stéphane Devismes,

Archan Misra

630 The Dutch Language in

the Digital Age

Georg Rehm, Hans Uszkoreit

631 The German Language in

the Digital Age


632 Communication and

Networking Tai‐hoon Kim, Hojjat Adeli, Wai‐chi Fang, Thanos

Vasilakos, Adrian Stoica, Charalampos Z. Patrikakis,

Gansen Zhao, Javier García Villalba, Yang Xiao

633 Software Quality.

Process Automation in

Software Development

Stefan Biffl, Dietmar Winkler, Johannes Bergsmann

634 Advanced Agent

Technology

Francien Dechesne, Hiromitsu Hattori, Adriaan Mors,

Jose Miguel Such, Danny Weyns, Frank Dignum

635 Empowering Open and

Collaborative

Governance

Yannis Charalabidis, Sotirios Koussouris

636 The Finnish Language in

the Digital Age


637 Formal Aspects of

Component Software

Luís Soares Barbosa, Markus Lumpe

638 Computer and

Computing Technologies

in Agriculture V

Daoliang Li, Yingyi Chen

639 Computer and


in Agriculture V


640 Computer and


in Agriculture V


641 Advances in Computer

Science and Information

Technology. Networks

and Communications

Natarajan Meghanathan, Nabendu Chaki, Dhinaharan

Nagamalai



Technology. Computer

Science and Engineering


Nagamalai



Technology. Computer


Technology


Nagamalai

644 Advances in Multimedia

Modeling

Klaus Schoeffmann, Bernard Merialdo, Alexander G.

Hauptmann, Chong‐Wah Ngo, Yiannis Andreopoulos,

Christian Breiteneder

645 Business Intelligence Marie‐Aude Aufaure, Esteban Zimányi

646 Theory of Security and

Applications

Sebastian Mödersheim, Catuscia Palamidessi

647 Perception and Machine

Intelligence

Malay K. Kundu, Sushmita Mitra, Debasis Mazumdar,

Sankar K. Pal

648 Resource Discovery Zoé Lacroix, María Esther Vidal

649 Curves and Surfaces Jean‐Daniel Boissonnat, Patrick Chenin, Albert Cohen,

Christian Gout, Tom Lyche, Marie‐Laurence Mazure,

Larry Schumaker

650 Computer Aided Systems

Theory – EUROCAST

2011

Roberto Moreno‐Díaz, Franz Pichler, Alexis

Quesada‐Arencibia

651 Financial Cryptography

and Data Security

George Danezis

652 Computer Aided Systems

Theory – EUROCAST

2011

Roberto Moreno‐Díaz, Franz Pichler, Alexis

Quesada‐Arencibia

653 Open Problems in

Network Security

Jan Camenisch, Dogan Kesdogan

654 Agents and Data Mining

Interaction

Longbing Cao, Ana L. C. Bazzan, Andreas

L. Symeonidis, Vladimir I. Gorodetsky, Gerhard Weiss,

Philip S. Yu

655 Modeling for Decision

Support in

Network‐Based Services

Daniel Dolk, Janusz Granat

656 Computation, Physics

and Beyond

Michael J. Dinneen, Bakhadyr Khoussainov, André Nies

657 SOFSEM 2012: Theory

and Practice of Computer

Science

Mária Bieliková, Gerhard Friedrich, Georg Gottlob,

Stefan Katzenbeisser, György Turán

658 Ubiquitous Display

Environments

Antonio Krüger, Tsvi Kuflik

659 Practical Aspects of

Declarative Languages Claudio Russo, Neng‐Fa Zhou

660 Knowledge

Representation for

Health‐Care

David Riaño, Annette Teije, Silvia Miksch

661 Verified Software:

Theories, Tools,

Experiments

Rajeev Joshi, Peter Müller, Andreas Podelski

662 Data Engineering and

Management

Rajkumar Kannan, Frederic Andres

663 Information Security

Applications

Souhwan Jung, Moti Yung

664 Foundations and Practice

of Security Joaquin Garcia‐Alfaro, Pascal Lafourcade

665 Grid and Pervasive

Computing Workshops

Mika Rautiainen, Timo Korhonen, Edward Mutafungwa,

Eila Ovaska, Artem Katasonov, Antti Evesti, Heikki

Ailisto, Aaron Quigley, Jonna Häkkilä, Natasa

Milic‐Frayling, Jukka Riekki

666 The Correctness‐by‐ Construction Approach

to

Derrick G. Kourie, Bruce W. Watson

Programming


Technology for

Applications

Tuomas Aura, Kimmo Järvinen, Kaisa Nyberg

668 Verification, Model

Checking, and Abstract

Interpretation

Viktor Kuncak, Andrey Rybalchenko

669 Topics in Cryptology –

CT‐RSA 2012

Orr Dunkelman

670 Multimedia for Cultural

Heritage

Costantino Grana, Rita Cucchiara

671 Current Trends in Web

Engineering

Andreas Harth, Nora Koch

672 Membrane Computing Marian Gheorghe, Gheorghe Păun, Grzegorz Rozenberg,

Arto Salomaa, Sergey Verlan

673 Eternal Systems Alessandro Moschitti, Riccardo Scandariato

674 Advances in Software

Engineering Techniques

Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka

675 Journeys to Data Mining Mohamed Medhat Gaber

676 Parameterized and Exact

Computation

Dániel Marx, Peter Rossmanith

677 Bioinformatics for

Personalized Medicine

Ana T. Freitas, Arcadi Navarro

678 Algebraic and Numeric

Biology

Katsuhisa Horimoto, Masahiko Nakatsui, Nikolaj Popov

679 Distributed Computing

and Internet Technology

R. Ramanujam, Srini Ramaswamy

680 WALCOM: Algorithms

and Computation Md. Saidur Rahman, Shin‐ichi Nakano

681 Web Information

Systems and

Technologies

Joaquim Filipe, José Cordeiro

682 Digital Preservation

Technology for Cultural

Heritage

Mingquan Zhou, Guohua Geng, Zhongke Wu

683 The Universal Machine Ian Watson

684 Business Process

Management Workshops

Florian Daniel, Kamel Barkaoui, Schahram Dustdar


Management Workshops

Florian Daniel, Kamel Barkaoui, Schahram Dustdar

686 Event‐Driven

Surveillance

Kerstin Denecke

687 Applied Parallel and


Kristján Jónasson

688 Transactions on

Large‐Scale Data‐ and

Knowledge‐ Centered

Systems V

Abdelkader Hameurlain, Josef Küng, Roland Wagner

689 Applied Parallel and


Kristján Jónasson

690 Precision Assembly

Technologies and

Systems

Svetan Ratchev

691 Engineering Secure

Software and Systems

Gilles Barthe, Benjamin Livshits, Riccardo Scandariato

692 Wireless Sensor

Networks

Gian Pietro Picco, Wendi Heinzelman

693 Algorithms for Sensor

Systems

Thomas Erlebach, Sotiris Nikoletseas, Pekka Orponen

694 Mathematical Modeling

and Computational

Science

Gheorghe Adam, Ján Buša, Michal Hnatič

695 Exploring Services

Science

Mehdi Snene

696 Linked Data in

Linguistics

Christian Chiarcos, Sebastian Nordhoff, Sebastian

Hellmann

697 Technological Innovation

for Value Creation Luis M. Camarinha‐Matos, Ehsan Shahamatnia, Gonçalo

Nunes

698 Partially Supervised

Learning

Friedhelm Schwenker, Edmondo Trentin

699 Building a National

Distributed

e‐Infrastructure– PL‐Grid

Marian Bubak, Tomasz Szepieniec, Kazimierz Wiatr

700 Conceptual Modelling

and Its Theoretical

Foundations

Antje Düsterhöft, Meike Klettke, Klaus‐ Dieter Schewe

701 Architecture of

Computing Systems –

ARCS 2012

Andreas Herkersdorf, Kay Römer, Uwe Brinkschulte

702 New Frontiers in Applied

Data Mining

Longbing Cao, Joshua Zhexue Huang, James Bailey,

Yun Sing Koh, Jun Luo

703 Statistical Atlases and

Computational Models of

the Heart. Imaging and

Modelling Challenges

Oscar Camara, Ender Konukoglu, Mihaela Pop, Kawal

Rhode, Maxime Sermesant, Alistair Young

704 Language and Automata

Theory and Applications Adrian‐Horia Dediu, Carlos Martín‐Vide

705 Reconfigurable

Computing:

Architectures, Tools and

Applications

Oliver C. S. Choy, Ray C. C. Cheung, Peter Athanas,

Kentaro Sano

706 Cryptography and

Security: From Theory to

Applications

David Naccache

707 Multi‐Agent‐Based

Simulation XII

Daniel Villatoro, Jordi Sabater‐Mir, Jaime Simão

Sichman

708 Recent Trends in

Algebraic Development

Techniques

Till Mossakowski, Hans‐Jörg Kreowski

709 Medical Content‐Based

Retrieval for Clinical

Decision Support

Henning Müller, Hayit Greenspan, Tanveer

Syeda‐Mahmood

710 Foundations of

Information and

Knowledge Systems

Thomas Lukasiewicz, Attila Sali

711 Intelligent Information

and Database Systems Jeng‐Shyang Pan, Shyi‐Ming Chen, Ngoc Thanh Nguyen





714 Selected Areas in

Cryptography

Ali Miri, Serge Vaudenay

715 Adaptive and Learning

Agents

Peter Vrancx, Matthew Knudson, Marek Grześ

716 Advances in User

Modeling

Liliana Ardissono, Tsvi Kuflik

717 Transactions on

Computational Science

XV

Marina L. Gavrilova, C. J. Kenneth Tan, Cong‐Vinh

Phan

718 Traffic Monitoring and

Analysis

Antonio Pescapè, Luca Salgarelli, Xenofontas

Dimitropoulos

719 Passive and Active

Measurement

Nina Taft, Fabio Ricciato

720 Measurement,

Modelling, and

Evaluation of Computing

Systems and

Dependability and Fault

Tolerance

Jens B. Schmitt

721 Latent Variable Analysis

and Signal Separation

Fabian Theis, Andrzej Cichocki, Arie Yeredor, Michael

Zibulevsky

722 Abdominal Imaging.

Computational and

Clinical Applications

Hiroyuki Yoshida, Georgios Sakas, Marius George

Linguraru

723 Agent‐Based

Technologies and

Applications for

Enterprise

Interoperability

Klaus Fischer, Jörg P. Müller, Renato Levy

724 VLSI‐SoC:

Forward‐Looking Trends

in IC and Systems

Design

José L. Ayala, David Atienza Alonso, Ricardo Reis

725 Self‐Organizing Systems Fernando A. Kuipers, Poul E. Heegaard

726 Computational

Linguistics and

Intelligent Text

Processing

Alexander Gelbukh

727 Computational

Linguistics and

Intelligent Text

Processing

Alexander Gelbukh


Management

Mathias Weske

729 Web‐Age Information

Management

Liwei Wang, Jingjue Jiang, Jiaheng Lu, Liang Hong, Bin

Liu

730 Principles of Security

and Trust

Pierpaolo Degano, Joshua D. Guttman

731 Compiler Construction Michael O’Boyle

732 Economics of Grids,

Clouds, Systems, and

Services

Kurt Vanmechelen, Jörn Altmann, Omer

F. Rana

733 Transactions on Data

Hiding and Multimedia

Security VII

Yun Q. Shi

734 Requirements

Engineering: Foundation

for Software Quality

Björn Regnell, Daniela Damian

735 Logic for Programming,

Artificial Intelligence,

and Reasoning

Nikolaj Bjørner, Andrei Voronkov

736 Foundations of Software

Science and

Computational Structures

Lars Birkedal

737 Semantic Web Services Brian Blake, Liliana Cabral, Birgitta König‐Ries, Ulrich

Küster, David Martin

738 Tools and Algorithms for

the Construction and

Analysis of Systems

Cormac Flanagan, Barbara König

739 Information Processign

in Cells and Tissues

Michael A. Lones, Stephen L. Smith, Sarah Teichmann,

Felix Naef, James A. Walker, Martin A. Trefzer

740 Collaborative

Information Seeking

Chirag Shah

741 The Impact of Virtual,

Remote, and Real

Logistics Labs

Dieter Uckelmann, Bernd Scholz‐Reiter, Ingrid Rügge,

Bonghee Hong, Antonio Rizzi

742 Re‐conceptualizing

Enterprise Information

Systems

Charles Møller, Sohail Chaudhry

743 Software Language

Engineering

Anthony Sloane, Uwe Aßmann

744 Programming Languages

and Systems

Helmut Seidl

745 Fundamental Approaches

to Software Engineering

Juan Lara, Andrea Zisman

746 Data Privacy

Management and

Autonomous Spontaneus

Security

Joaquin Garcia‐Alfaro, Guillermo Navarro‐Arribas, Nora

Cuppens‐ Boulahia, Sabrina Capitani di Vimercati

747 Computational

Processing of the

Portuguese Language

Helena Caseli, Aline Villavicencio, António Teixeira,

Fernando Perdigão

748 NASA Formal Methods Alwyn E. Goodloe, Suzette Person

749 Agile Management Ángel Medinilla

750 Theory of Cryptography Ronald Cramer

751 Critical Infrastructure

Protection

Javier Lopez, Roberto Setola, Stephen

D. Wolthusen

752 Mathematical Modelling

and Scientific

Computation

P. Balasubramaniam, R. Uthayakumar

753 Hybrid Artificial

Intelligent Systems

Emilio Corchado, Václav Snášel, Ajith Abraham, Michał

Woźniak, Manuel Graña, Sung‐Bae Cho

754 Programming


Rem Collier, Jürgen Dix, Peter Novák

755 Hybrid Artificial

Intelligent Systems

Emilio Corchado, Václav Snášel, Ajith Abraham, Michał

Woźniak, Manuel Graña, Sung‐Bae Cho

756 Emerging Trends and

Applications in

Information

Communication

Technologies

Bhawani Shankar Chowdhry, Faisal Karim Shaikh, Dil

Muhammad Akbar Hussain, Muhammad Aslam Uqaili

757 Advances in Information

Retrieval Ricardo Baeza‐Yates, Arjen P. Vries, Hugo Zaragoza, B.

Barla Cambazoglu, Vanessa Murdock, Ronny Lempel,

Fabrizio Silvestri

758 Field Informatics Toru Ishida

759 Advances in Cryptology

– EUROCRYPT 2012

David Pointcheval, Thomas Johansson

760 Database Systems for

Advanced Applications Hwanjo Yu, Ge Yu, Wynne Hsu, Yang‐ Sae Moon,

Rainer Unland, Jaesoo Yoo

761 Resilience Assessment

and Evaluation of

Computing Systems

Katinka Wolter, Alberto Avritzer, Marco Vieira, Aad van

Moorsel


Advanced Applications Sang‐goo Lee, Zhiyong Peng, Xiaofang Zhou, Yang‐Sae

Moon, Rainer Unland, Jaesoo Yoo


Advanced Applications Sang‐goo Lee, Zhiyong Peng, Xiaofang Zhou, Yang‐Sae

Moon, Rainer Unland, Jaesoo Yoo

764 Experimentation in

Software Engineering

Claes Wohlin, Per Runeson, Martin Höst, Magnus C.

Ohlsson, Björn Regnell, Anders Wesslén

765 Social Computing,

Behavioral

Shanchieh Jay Yang, Ariel M. Greenberg, Mica Endsley

‐ Cultural Modeling and

Prediction

766 Transactions on

Edutainment VII

Zhigeng Pan, Adrian David Cheok, Wolfgang Müller,

Maiga Chang, Mingmin Zhang

767 Evolutionary

Computation, Machine

Learning and Data

Mining in Bioinformatics

Mario Giacobini, Leonardo Vanneschi, William S. Bush

768 Transactions on Petri

Nets and Other Models

of Concurrency V

Kurt Jensen, Susanna Donatelli, Jetty Kleijn

769 Information and Business

Intelligence

Xilong Qu, Yuhang Yang

770 Information and Business

Intelligence

Xilong Qu, Yuhang Yang

771 e‐Infrastructure and e‐ Services for Developing

Countries

Radu Popescu‐Zeletin, Karl Jonas, Idris

A. Rai, Roch Glitho, Adolfo Villafiorita

772 Ad Hoc Networks David Simplot‐Ryl, Marcelo Dias de Amorim, Silvia

Giordano, Ahmed Helmy


Practice and Experience

Mark D. Ryan, Ben Smyth, Guilin Wang

774 Declarative Agent

Languages and

Technologies IX

Chiaki Sakama, Sebastian Sardina, Wamberto

Vasconcelos, Michael Winikoff

775 Approximation and

Online Algorithms Roberto Solis‐Oba, Giuseppe Persiano

776 Evolutionary

Computation in

Combinatorial

Optimization

Jin‐Kao Hao, Martin Middendorf

777 S‐BPM ONE – Scientific

Research

Christian Stary

778 Genetic Programming Alberto Moraglio, Sara Silva, Krzysztof Krawiec,

Penousal Machado, Carlos Cotta

779 Evolutionary and

Biologically Inspired

Music, Sound, Art and

Design

Penousal Machado, Juan Romero, Adrian Carballal

780 Protocol Engineering Hartmut König

781 Mobile and Ubiquitous

Systems: Computing,

Networking, and

Services

Patrick Sénac, Max Ott, Aruna Seneviratne

782 Wireless

Communications and

Applications

Patrick Sénac, Max Ott, Aruna Seneviratne

783 Information Systems,

Technology and

Management

Sumeet Dua, Aryya Gangopadhyay, Parimala

Thulasiraman, Umberto Straccia, Michael Shepherd,

Benno Stein

784 Applications of

Evolutionary

Computation

############################

#### #####

785 Globalization of

Professional Services

Ulrich Bäumer, Peter Kreutter, Wolfgang Messner

786 Theorie and Applications

of Formal Argumentation

Sanjay Modgil, Nir Oren, Francesca Toni

787 Global Trends in

Information Systems and

Software Applications

P. Venkata Krishna, M. Rajasekhara Babu, Ezendu

Ariwa

788 Global Trends in

Computing and

Communication Systems

P. Venkata Krishna, M. Rajasekhara Babu, Ezendu

Ariwa

789 Quality, Reliability,

Security and Robustness

in Heterogeneous

Networks

Xi Zhang, Daji Qiao

790 Workshops on Business

Informatics Research

Laila Niedrite, Renate Strazdina, Benkt Wangler

791 Web and Wireless

Geographical

Information Systems

Sergio Martino, Adriano Peron, Taro Tezuka

792 Web Technologies and

Applications

Quan Z. Sheng, Guoren Wang, Christian

S. Jensen, Guandong Xu

793 Electronic Healthcare Patty Kostkova, Martin Szomszor, David Fowler

794 Testbeds and Research

Infrastructure.

Development of

Networks and

Communities

Thanasis Korakis, Hongbin Li, Phuoc Tran‐Gia,

Hong‐Shik Park

795 Advanced Computing,

Networking and Security

P. Santhi Thilagam, Alwyn Roshan Pais,

K. Chandrasekaran, N. Balakrishnan

796 S‐BPM ONE ‐ Education

and Industrial

Developments

Stefan Oppl, Albert Fleischmann

797 Fundamentals of


Farhad Arbab, Marjan Sirjani

798 Games, Actions and

Social Software

Jan Eijck, Rineke Verbrugge

799 Mobile Computing,

Applications, and

Services

Martin Gris, Guang Yang

800 LATIN 2012: Theoretical

Informatics David Fernández‐Baca

801 Artificial Intelligence and

Soft Computing

Leszek Rutkowski, Marcin Korytkowski, Rafał Scherer,

Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada

802 Artificial Intelligence and

Soft Computing



803 Swarm and Evolutionary

Computation



804 Transactions on

Computational Collective

Intelligence VI

Ngoc Thanh Nguyen

805 Health Information

Science

Jing He, Xiaohui Liu, Elizabeth A. Krupinski, Guandong

Xu

806 Camera‐Based Document

Analysis and Recognition

Masakazu Iwamura, Faisal Shafait

807 Logic Programs, Norms

and Action

Alexander Artikis, Robert Craven, Nihan Kesim Çiçekli,

Babak Sadighi, Kostas Stathis

808 Formal Aspects of

Security and Trust

Gilles Barthe, Anupam Datta, Sandro Etalle

809 Web Technologies and

Applications

Hua Wang, Lei Zou, Guangyan Huang, Jing He, Chaoyi

Pang, Hao Lan Zhang, Dongyan Zhao, Zhuang Yi

810 Graph Structures for

Knowledge

Representation and

Reasoning

Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John

Howse, Olivier Corby

811 Mobile Lightweight

Wireless Systems

Javier Ser, Eduard Axel Jorswieck, Joaquin Miguez,

Marja Matinmikko, Daniel P. Palomar, Sancho Salcedo‐ Sanz, Sergio Gil‐Lopez

812 Logic and Program

Semantics

Robert L. Constable, Alexandra Silva

813 Reversible Computation Alexis Vos, Robert Wille


Technology for

Applications

Peeter Laud

815 Research in

Computational Molecular

Biology

Benny Chor

816 Models in Software

Engineering

Jörg Kienzle

817 Fault Analysis in

Cryptography

Marc Joye, Michael Tunstall

818 Communication

Technologies for

Vehicles

Alexey Vinel, Rashid Mehmood, Marion Berbineau,

Cristina Rico Garcia, Chung‐ Ming Huang, Naveen

Chilamkurti

819 The Reality of the

Artificial

Massimo Negrotti

820 Frontiers in Algorithmics

and Algorithmic Aspects

in Information and

Management

Jack Snoeyink, Pinyan Lu, Kaile Su, Lusheng Wang

821 Perspectives of Systems

Informatics

Edmund Clarke, Irina Virbitskaite, Andrei Voronkov

822 Wireless Mobile

Communication and

Healthcare

Konstantina S. Nikita, James C. Lin, Dimitrios I.

Fotiadis, Maria‐Teresa Arredondo Waldmeyer

823 Euro‐Par 2011: Parallel

Processing Workshops

Michael Alexander, Pasqua D’Ambra, Adam Belloum,

George Bosilca, Mario Cannataro, Marco Danelutto,

Beniamino Martino, Michael Gerndt, Emmanuel Jeannot,

Raymond Namyst, Jean Roman, Stephen L. Scott, Jesper

Larsson Traff, Geoffroy Vallée, Josef Weidendorfer

824 Euro‐Par 2011: Parallel

Processing Workshops

Michael Alexander, Pasqua D’Ambra, Adam Belloum,

George Bosilca, Mario Cannataro, Marco Danelutto,

Beniamino Martino, Michael Gerndt, Emmanuel Jeannot,

Raymond Namyst, Jean Roman, Stephen L. Scott, Jesper

Larsson Traff, Geoffroy Vallée, Josef Weidendorfer

825 IS Olympics: Information

Systems in a Diverse

World

Selmin Nurcan

826 Digital Urban Modeling

and Simulation

Stefan Müller Arisona, Gideon Aschwanden, Jan

Halatsch, Peter Wonka

827 Business Modeling and

Software Design

Boris Shishkov

828 Public Key

Infrastructures, Services

and Applications

Svetla Petkova‐Nikova, Andreas Pashalidis, Günther

Pernul

829 Advances in K‐means

Clustering

Junjie Wu

830 Functional and Logic

Programming

Tom Schrijvers, Peter Thiemann

831 On the Mathematics of

Modelling,

Metamodelling,

Ontologies and

Modelling

Brian Henderson‐Sellers

Languages

832 Integration of AI and OR

Techniques in Contraint

Programming for

Combinatorial

Optimzation

Nicolas Beldiceanu, Narendra Jussien, Éric Pinson

Problems

833 Web Services and

Formal Methods Marco Carbone, Jean‐Marc Petit

834 Mathematics of Discrete

Structures for Computer

Science

Gordon J. Pace

835 Large‐Scale Scientific

Computing

Ivan Lirkov, Svetozar Margenov, Jerzy Waśniewski

836 Trust Management VI Theo Dimitrakos, Rajat Moona, Dhiren Patel, D.

Harrison McKnight

837 Runtime Verification Sarfraz Khurshid, Koushik Sen

838 Design Science Research

in Information Systems.

Ken Peffers, Marcus Rothenberger, Bill Kuechler

Advances in Theory and

Practice

839 E‐Life: Web‐Enabled

Convergence of

Commerce, Work, and

Social Life

Michael J. Shaw, Dongsong Zhang, Wei

T. Yue

840 Financial Cryptography

and Data Security

George Danezis, Sven Dietrich, Kazue Sako

841 Formal Concept Analysis Florent Domenach, Dmitry I. Ignatov, Jonas Poelmans

842 Advances in Enterprise

Engineering VI

Antonia Albani, David Aveiro, Joseph Barjis

843 Constructive

Side‐Channel Analysis

and Secure Design

Werner Schindler, Sorin A. Huss

844 The Semantic Web Jeff Z. Pan, Huajun Chen, Hong‐Gee Kim, Juanzi Li,

Zhe Wu, Ian Horrocks, Riichiro Mizoguchi, Zhaohui Wu

845 Recent Advances in

Reinforcement Learning

Scott Sanner, Marcus Hutter

846 Theory and Applications

of Models of

Computation

Manindra Agrawal, S. Barry Cooper, Angsheng Li

847 Enterprise Information

Systems

Runtong Zhang, Juliang Zhang, Zhenji Zhang, Joaquim

Filipe, José Cordeiro

848 Security and Trust

Management Catherine Meadows, Carmen Fernandez‐Gago

849 NETWORKING 2012 Zdenek Becvar, Robert Bestak, Lukas Kencl

Workshops

850 Engineering Secure

Two‐Party Computation

Protocols

Thomas Schneider

851 NETWORKING 2012 Robert Bestak, Lukas Kencl, Li Erran Li, Joerg Widmer,

Hao Yin

852 NETWORKING 2012 Robert Bestak, Lukas Kencl, Li Erran Li, Joerg Widmer,

Hao Yin

853 Public Key Cryptography

– PKC 2012

Marc Fischlin, Johannes Buchmann, Mark Manulis

854 Trustworthy Global

Computing

Roberto Bruni, Vladimiro Sassone

855 Bioinformatics Research

and Applications

Leonidas Bleris, Ion Măndoiu, Russell Schwartz, Jianxin

Wang

856 Intelligent Technologies

for Interactive

Entertainment

Antonio Camurri, Cristina Costa

857 Advances in Knowledge

Discovery and Data

Mining

Pang‐Ning Tan, Sanjay Chawla, Chin Kuan Ho, James

Bailey

858 Advances in Knowledge

Discovery and Data

Mining

Pang‐Ning Tan, Sanjay Chawla, Chin Kuan Ho, James

Bailey

859 Computational Topology

in Image Context

Massimo Ferri, Patrizio Frosini, Claudia Landi, Andrea

Cerri, Barbara Fabio

860 The Future Internet ############################

#### #####

861 Security and Privacy in

Mobile Information and


Ramjee Prasad, Károly Farkas, Andreas

U. Schmidt, Antonio Lioy, Giovanni Russello, Flaminia

L. Luccio

862 The Semantic Web:

Research and

Applications

Elena Simperl, Philipp Cimiano, Axel Polleres, Oscar

Corcho, Valentina Presutti

863 Fun with Algorithms Evangelos Kranakis, Danny Krizanc, Flaminia Luccio

864 Agile Processes in


and Extreme

Programming

Claes Wohlin

865 Advances in Artificial

Intelligence

Leila Kosseim, Diana Inkpen

866 Business Information

Systems

Witold Abramowicz, Dalia Kriksciuniene, Virgilijus

Sakalauskas

867 Game Theory for

Networks

Rahul Jain, Rajgopal Kannan

868 Broadband

Communications,

Networks, and Systems

Ioannis Tomkos, Christos J. Bouras, Georgios Ellinas,

Panagiotis Demestichas, Prasun Sinha

869 Telecommunication

Economics

Antonis M. Hadjiantonis, Burkhard Stiller

870 Facing the Multicore ‐ Rainer Keller, David Kramer, Jan‐Philipp Weiss

Challenge II

871 Enabling Flexibility in

Process‐ Aware

Information Systems

Manfred Reichert, Barbara Weber

872 Mobile Multimedia

Communications

Luigi Atzori, Jaime Delgado, Daniele Giusto

873 Mobile Networks and

Management

Kostas Pentikousis, Rui Aguiar, Susana Sargento, Ramón

Agüero

874 Intelligence and Security

Informatics

Michael Chau, G. Alan Wang, Wei Thoo Yue, Hsinchun

Chen

875 Modeling and Simulation

in Engineering,

Economics and

Management

Kurt J. Engemann, Anna M. Gil‐ Lafuente, José M.

Merigó

876 Information Security and

Privacy Research

Dimitris Gritzalis, Steven Furnell, Marianthi

Theoharidou

877 Software Process

Improvement and

Capability Determination

Antonia Mas, Antoni Mesquida, Terry Rout, Rory V.

O’Connor, Alec Dorling

878 Artificial Intelligence:

Theories and

Applications

Ilias Maglogiannis, Vassilis Plagianakos, Ioannis

Vlahavas

879 Tests and Proofs Achim D. Brucker, Jacques Julliand

880 Theory and Practice of

Model Transformations

Zhenjiang Hu, Juan Lara

881 Wireless Internet Pinyi Ren, Chao Zhang, Xin Liu, Pei Liu, Song Ci

882 Networked Digital

Technologies

Rachid Benlamri

883 Algorithms and Models

for the Web Graph

Anthony Bonato, Jeannette Janssen

884 Objects, Models,

Components, Patterns

Carlo A. Furia, Sebastian Nanz

885 Software Composition Thomas Gschwind, Flavio Paoli, Volker Gruhn, Matthias

Book

886 Networked Digital

Technologies

Rachid Benlamri

887 Reliable Software

Technologies –

Ada‐Europe 2012

Mats Brorsson, Luís Miguel Pinho

888 Mobile Wireless

Middleware, Operating

Systems, and

Applications

Nalini Venkatasubramanian, Vladimir Getov, Stephan

Steglich

889 Sequences and Their

Applications – SETA

2012

Tor Helleseth, Jonathan Jedwab

890 Information Processing

in Computer‐Assisted

Interventions

Purang Abolmaesumi, Leo Joskowicz, Nassir Navab,

Pierre Jannin

891 Wired/Wireless Internet

Communication

Yevgeni Koucheryavy, Lefteris Mamatas, Ibrahim Matta,

Vassilis Tsaoussidis

892 Dependable Networks

and Services

Ramin Sadre, Jiří Novotný, Pavel Čeleda, Martin

Waldburger, Burkhard Stiller

893 Computer Science –

Theory and Applications

Edward A. Hirsch, Juhani Karhumäki, Arto Lepistö,

Michail Prilutskii

894 Advances in

Computational

Intelligence

Jing Liu, Cesare Alippi, Bernadette Bouchon‐Meunier,

Garrison W. Greenwood, Hussein A. Abbass

895 Scientific Workflows Jun Qin, Thomas Fahringer

896 Multimedia

Communications,

Services and Security

Andrzej Dziech, Andrzej Czyżewski

897 Integrated Formal

Methods

John Derrick, Stefania Gnesi, Diego Latella, Helen

Treharne

898 Correct Reasoning Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce

899 Software Business Michael A. Cusumano, Bala Iyer, N. Venkatraman

900 Advances in Grid and

Pervasive Computing

Ruixuan Li, Jiannong Cao, Julien Bourgeois

901 Shall We Play the

Festschrift Game?

Diana Santos, Krister Lindén, Wanjiku Ng’ang’a

902 Impact Analysis of

Solutions for Chronic

Disease Prevention and

Management

Mark Donnelly, Cristiano Paggetti, Chris Nugent,

Mounir Mokhtari

903 Analytical and Stochastic

Modeling Techniques

and Applications

Khalid Al‐Begain, Dieter Fiems, Jean‐ Marc Vincent

904 Formal Techniques for

Distributed Systems

Holger Giese, Grigore Rosu

905 Distributed Applications

and Interoperable

Systems

Karl Michael Göschka, Seif Haridi

906 Coordination Models and

Languages

Marjan Sirjani

907 Software Service and

Application Engineering

Maritta Heisel

908 Experimental Algorithms Ralf Klasing

909 How the World

Computes

S. Barry Cooper, Anuj Dawar, Benedikt Löwe

910 Abstract State Machines,

Alloy, B, VDM, and Z

John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz

Khurshid, Michael Leuschel, Steve Reeves, Elvinia

Riccobene

911 The Multivariate

Algorithmic Revolution

and Beyond

Hans L. Bodlaender, Rod Downey, Fedor V. Fomin,

Dániel Marx

912 Auctions, Market

Mechanisms, and Their

Applications

Peter Coles, Sanmay Das, Sébastien Lahaie, Boleslaw

Szymanski

913 Trust and Trustworthy

Computing

Stefan Katzenbeisser, Edgar Weippl, L. Jean Camp,

Melanie Volkamer, Mike Reiter, Xinwen Zhang

914 Agent and Multi‐Agent

Systems. Technologies

and Applications

Gordan Jezic, Mario Kusek, Ngoc‐Thanh Nguyen,

Robert J. Howlett, Lakhmi C. Jain

915 Intelligent Tutoring

Systems

Stefano A. Cerri, William J. Clancey, Giorgos

Papadourakis, Kitty Panourgia


Theory and Practice.

Security, Privacy and

Trust in Computing

Systems and Ambient

Intelligent Ecosystems

Ioannis Askoxylakis, Henrich C. Pöhls, Joachim Posegga

917 OpenMP in a

Heterogeneous World

Barbara M. Chapman, Federico Massaioli, Matthias S.

Müller, Marco Rorro

918 Mobile and Ubiquitous

Systems: Computing,

Networking, and

Services

Alessandro Puiatti, Tao Gu

919 Advances in Swarm

Intelligence

Ying Tan, Yuhui Shi, Zhen Ji

920 Formal Methods for

Model‐ Driven

Engineering

Marco Bernardo, Vittorio Cortellessa, Alfonso

Pierantonio

921 Advances in Swarm

Intelligence

Ying Tan, Yuhui Shi, Zhen Ji

922 Persuasive Technology.

Design for Health and

Safety

Magnus Bang, Eva L. Ragnemalm

923 Data Integration in the

Life Sciences

Olivier Bodenreider, Bastien Rance

924 ECOOP 2012 – Object‐ Oriented Programming

James Noble

925 Product‐Focused

Software Process

Improvement

Oscar Dieste, Andreas Jedlitschka, Natalia Juristo

926 Advanced Information

Systems Engineering

Workshops

Marko Bajec, Johann Eder

927 Enterprise,

Business‐Process and

Information Systems

Modeling

Ilia Bider, Terry Halpin, John Krogstie, Selmin Nurcan,

Erik Proper, Rainer Schmidt, Pnina Soffer, Stanisław

Wrycza

928 Computational Science

and Its Applications –

ICCSA 2012

Beniamino Murgante, Osvaldo Gervasi, Sanjay Misra,

Nadia Nedjah, Ana Maria

A. C. Rocha, David Taniar, Bernady O. Apduhan

929 Advanced Research in

Applied Artificial

Intelligence

He Jiang, Wei Ding, Moonis Ali, Xindong Wu

930 Advanced Information

Systems Engineering

Jolita Ralyté, Xavier Franch, Sjaak Brinkkemper,

Stanislaw Wrycza

931 Structural Information

and Communication

Complexity

Guy Even, Magnús M. Halldórsson

932 Mathematics of Program

Construction

Jeremy Gibbons, Pablo Nogueira



ICCSA 2012






ICCSA 2012




935 Application and Theory

of Petri Nets

Serge Haddad, Lucia Pomello

936 Practice‐Driven Research

on Enterprise

Transformation

Erik Proper, Khaled Gaaloul, Frank Harmsen, Stanisław

Wrycza



ICCSA 2012




938 Pattern Recognition Jesús Ariel Carrasco‐Ochoa, José Francisco

Martínez‐Trinidad, José Arturo Olvera López, Kim L.

Boyer

939 Algorithm Theory –

SWAT 2012

Fedor V. Fomin, Petteri Kaski

940 Data Matching Peter Christen

941 Controlled Natural

Language

Michael Rosner, Norbert E. Fuchs

942 Natural Language

Processing and

Information Systems

Gosse Bouma, Ashwin Ittoo, Elisabeth Métais, Hans

Wortmann

943 Information from

Processes

Robert M. Losee

944 Information

Technologies in

Biomedicine

Ewa Piętka, Jacek Kawa

945 Systems, Software and

Services Process

Improvement

Dietmar Winkler, Rory V. O’Connor, Richard Messnarz

946 Multicore Software

Engineering,

Performance, and Tools

Victor Pankratius, Michael Philippsen

947 Pervasive Computing Judy Kay, Paul Lukowicz, Hideyuki Tokuda, Patrick

Olivier, Antonio Krüger

948 Computer Networks Andrzej Kwiecień, Piotr Gaj, Piotr Stera

949 Diagrammatic

Representation and

Inference

Philip Cox, Beryl Plimmer, Peter Rodgers

950 Scientific and Statistical

Database Management

Anastasia Ailamaki, Shawn Bowers

951 Image and Signal

Processing

Abderrahim Elmoataz, Driss Mammass, Olivier Lezoray,

Fathallah Nouboud, Driss Aboutajdine

952 Logical Aspects of

Computational

Linguistics

Denis Béchet, Alexander Dikovsky

953 Combinatorial Pattern

Matching

Juha Kärkkäinen, Jens Stoye

954 Breast Imaging Andrew D. A. Maidment, Predrag R. Bakic, Sara

Gavenonis

955 Multidisciplinary

Information Retrieval

Michail Salampasis, Birger Larsen

956 Applied Cryptography

and Network Security

Feng Bao, Pierangela Samarati, Jianying Zhou

957 Image Analysis and

Recognition

Aurélio Campilho, Mohamed Kamel

958 Image Analysis and

Recognition

Aurélio Campilho, Mohamed Kamel

959 Biomedical Image

Registration

Benoît M. Dawant, Gary E. Christensen,

J. Michael Fitzpatrick, Daniel Rueckert

960 Advances in Neural

Networks

Jun Wang, Gary G. Yen, Marios M. Polycarpou

– ISNN 2012

961 Advances in Neural

Networks

Jun Wang, Gary G. Yen, Marios M. Polycarpou

– ISNN 2012

962 Automated Reasoning Bernhard Gramlich, Dale Miller, Uli Sattler

963 Autonomous and

Intelligent Systems

Mohamed Kamel, Fakhri Karray, Hani Hagras

964 Intelligent Computer

Mathematics

Johan Jeuring, John A. Campbell, Jacques Carette,

Gabriel Reis, Petr Sojka, Makarius Wenzel, Volker

Sorge

965 Engaging Learners

Through Emerging

Technologies

Kam Cheong Li, Fu Lee Wang, Kin Sun Yuen, Simon K.

S. Cheung, Reggie Kwan

966 Haptics: Perception,

Devices, Mobility, and

Communication

Poika Isokoski, Jukka Springare

967 Haptics: Perception,

Devices, Mobility, and

Communication

Poika Isokoski, Jukka Springare

968 Progress in Cryptology ‐ Aikaterini Mitrokotsa, Serge Vaudenay

AFRICACRYPT 2012

969 Computer Aided

Verification

P. Madhusudan, Sanjit A. Seshia

970 Transactions on

Edutainment VIII

Zhigeng Pan, Adrian David Cheok, Wolfgang Müller,

Maiga Chang, Mingmin Zhang

971 Information Security and

Privacy

Willy Susilo, Yi Mu, Jennifer Seberry

972 User Modeling,

Adaptation, and

Personalization

Judith Masthoff, Bamshad Mobasher, Michel C.

Desmarais, Roger Nkambou

973 Parallel Processing and

Applied Mathematics

Roman Wyrzykowski, Jack Dongarra, Konrad

Karczewski, Jerzy Waśniewski

974 New Directions in Logic,

Language and

Computation

Daniel Lassiter, Marija Slavkovik

975 Tools for High

Performance Computing

2011

Holger Brunst, Matthias S. Müller, Wolfgang E. Nagel,

Michael M. Resch

976 Constructing Ambient

Intelligence

Reiner Wichert, Kristof Laerhoven, Jean Gelissen

977 Logic, Language and

Meaning

Maria Aloni, Vadim Kimmelman, Floris Roelofsen, Galit

W. Sassoon, Katrin Schulz, Matthijs Westera

978 Lectures on Logic and

Computation

Nick Bezhanishvili, Valentin Goranko

979 Advances in Data

Mining. Applications and

Theoretical Aspects

Petra Perner

980 Modelling Foundations

and Applications Antonio Vallecillo, Juha‐Pekka Tolvanen, Ekkart

Kindler, Harald Störrle, Dimitris Kolovos

981 Progress in VLSI Design

and Test

Hafizur Rahaman, Sanatan Chattopadhyay, Santanu

Chattopadhyay

982 Parallel Processing and

Applied Mathematics

Roman Wyrzykowski, Jack Dongarra, Konrad

Karczewski, Jerzy Waśniewski

983 Computers Helping

People with Special

Needs

Klaus Miesenberger, Arthur Karshmer, Petr Penaz,

Wolfgang Zagler

984 Biomimetic and

Biohybrid Systems

Tony J. Prescott, Nathan F. Lepora, Anna Mura, Paul F.

M. J. Verschure

985 Computers Helping

People with Special

Needs

Klaus Miesenberger, Arthur Karshmer, Petr Penaz,

Wolfgang Zagler

986 Machine Learning and

Data Mining in Pattern

Recognition

Petra Perner

987 Data and Applications

Security and Privacy

XXVI

Nora Cuppens‐Boulahia, Frédéric Cuppens, Joaquin

Garcia‐Alfaro

988 The Logic of Categorial

Grammars

Richard Moot, Christian Retoré

989 Advances in Brain

Inspired Cognitive

Systems

Huaguang Zhang, Amir Hussain, Derong Liu, Zhanshan

Wang

990 Articulated Motion and

Deformable Objects

Francisco J. Perales, Robert B. Fisher, Thomas B.

Moeslund

991 Deontic Logic in

Computer Science

Thomas Ågotnes, Jan Broersen, Dag Elgesem

992 Intelligent Computing

Theories and

Applications

De‐Shuang Huang, Jianhua Ma, Kang‐ Hyun Jo, M.

Michael Gromiha

993 Automata, Languages,

and Programming

Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger

Wattenhofer

994 Intelligent Computing

Technology De‐Shuang Huang, Changjun Jiang, Vitoantonio

Bevilacqua, Juan Carlos Figueroa

995 Automata, Languages,

and Programming

Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger

Wattenhofer

996 Implementation and

Application of Automata

Nelma Moreira, Rogério Reis

997 Theory and Applications

of Satisfiability Testing –

SAT 2012

Alessandro Cimatti, Roberto Sebastiani

998 Descriptional

Complexity of Formal

Systems

Martin Kutrib, Nelma Moreira, Rogério Reis

999 Ad‐hoc, Mobile, and

Wireless Networks

Xiang‐Yang Li, Symeon Papavassiliou, Stefan Ruehrup

100

0

Languages Alive Henning Bordihn, Martin Kutrib, Bianca Truthe

100

1

Developments in

Language Theory Hsu‐Chun Yen, Oscar H. Ibarra

100

2

Arithmetic of Finite

Fields Ferruh Özbudak, Francisco Rodríguez‐ Henríquez

100

3

Privacy and Identity

Management for Life Jan Camenisch, Bruno Crispo, Simone Fischer‐Hübner,

Ronald Leenes, Giovanni Russello

100

4

Privacy Enhancing

Technologies Simone Fischer‐Hübner, Matthew Wright

100

5

Wireless Networks and

Computational

Intelligence

K. R. Venugopal, L. M. Patnaik

100

6

Advances on

Computational

Intelligence

Salvatore Greco, Bernadette Bouchon‐ Meunier,

Giulianella Coletti, Mario Fedrizzi, Benedetto

Matarazzo, Ronald

R. Yager

100

7

Advances in

Computational

Intelligence



Matarazzo, Ronald

R. Yager

100

8

Advances in

Computational

Intelligence



Matarazzo, Ronald

R. Yager

100

9

Advances in

Computational

Intelligence



Matarazzo, Ronald

R. Yager

101

0

Computers and Creativity Jon McCormack, Mark d’Inverno

101

1

Methodologies and

Technologies for

Networked Enterprises

Giuseppe Anastasi, Emilio Bellini, Elisabetta Nitto,

Carlo Ghezzi, Letizia Tanca, Eugenio Zimeo

101

2

Web Engineering Marco Brambilla, Takehiro Tokuda, Robert Tolksdorf

101

3

Model Checking

Software

Alastair Donaldson, David Parker

101

4

Formal Verification of

Object‐ Oriented

Software

Bernhard Beckert, Ferruccio Damiani, Dilian Gurov

101

5

Combinatorial

Optimization and

Applications

Guohui Lin

101

6

Virtual and Networked

Organizations, Emergent

Technologies and Tools

Goran D. Putnik, Maria Manuela Cruz‐ Cunha

101

7 Agents and Peer‐to‐Peer

Computing

Domenico Beneventano, Zoran Despotovic, Francesco

Guerra, Sam Joseph, Gianluca Moro, Adrián Perreau

Pinninck

101

8

Bisociative Knowledge

Discovery

Michael R. Berthold

101

9

Emerging Intelligent

Computing Technology

and Applications

De‐Shuang Huang, Phalguni Gupta, Xiang Zhang,

Prashan Premaratne

102

0

Advances in Computer

Games

H. Jaap Herik, Aske Plaat

102

1

Wireless Algorithms,

Systems, and

Applications

Xinbing Wang, Rong Zheng, Tao Jing, Kai Xing

102


Computing ‐ George Pallis, Mohamed Jmaiel, Anis Charfi, Sven

Graupner, Yücel Karabulut, Sam Guinea, Florian

Rosenberg, Quan

ICSOC 2011 Workshops Z. Sheng, Cesare Pautasso, Sonia Mokhtar

102

3

Rough Sets and

Knowledge Technology

Tianrui Li, Hung Son Nguyen, Guoyin Wang, Jerzy

Grzymala‐Busse, Ryszard Janicki, Aboul Ella Hassanien,

Hong Yu

102

4

Transactions on Rough

Sets XV

James F. Peters, Andrzej Skowron

102

5

Security and Privacy in

Communication

Networks

Muttukrishnan Rajarajan, Fred Piper, Haining Wang,

George Kesidis

102

6

Information Security and

Cryptology ‐ ICISC 2011

Howon Kim

102

7

Programming


Louise Dennis, Olivier Boissier, Rafael H. Bordini

102

8

Intelligent Science and

Intelligent Data

Engineering

Yanning Zhang, Zhi‐Hua Zhou, Changshui Zhang, Ying

Li

102

9

Advances in

Bioinformatics and

Computational Biology

Marcilio C. Souto, Maricel G. Kann

103

0

Inductive Logic

Programming Stephen H. Muggleton, Alireza Tamaddoni‐Nezhad,

Francesca A. Lisi

103

1

Communications and

Information Processing

Maotai Zhao, Junpin Sha

103

2

Communications and

Information Processing

Maotai Zhao, Junpin Sha

103

3

Transactions on Data

Hiding and Multimedia

Security VIII

Yun Q. Shi, Stefan Katzenbeisser

103

4

Speech, Sound and

Music Processing:

Embracing Research in

India

Sølvi Ystad, Mitsuko Aramaki, Richard

Kronland‐Martinet, Kristoffer Jensen, Sanghamitra

Mohanty

103

5

Advances in Cryptology

– CRYPTO 2012 Reihaneh Safavi‐Naini, Ran Canetti

103

6

Hybrid Learning Simon K. S. Cheung, Joseph Fong, Lam‐ For Kwok,

Kedong Li, Reggie Kwan

103

7

Formal Grammar Philippe Groote, Mark‐Jan Nederhof

103

8

Trends in Functional

Programming

Ricardo Peña, Rex Page

103

9

RoboCup 2011: Robot

Soccer World Cup XV

Thomas Röfer, N. Michael Mayer, Jesus Savage, Uluc̨

Saranlı

104

0

Transactions on


Intelligence VII

Ngoc Thanh Nguyen

104

1

New Frontiers in

Artificial Intelligence

Manabu Okumura, Daisuke Bekki, Ken Satoh

104

2

Central European

Functional Programming

School

Viktória Zsók, Zoltán Horváth, Rinus Plasmeijer

104

3 Eco‐friendly Computing

and Communication

Systems

Jimson Mathew, Priyadarshan Patra, Dhiraj K. Pradhan,

A. J. Kuttyamma

104

4

Rough Sets and Current

Trends in Computing

JingTao Yao, Yan Yang, Roman Słowiński, Salvatore

Greco, Huaxiong Li, Sushmita Mitra, Lech Polkowski

104

5

Software Testing in the

Cloud

Scott Tilley, Tauhida Parveen

104

6

Contemporary

Computing

Manish Parashar, Dinesh Kaushik, Omer

F. Rana, Ravi Samtaney, Yuanyuan Yang, Albert

Zomaya

104

7

Combinatorial

Optimization

A. Ridha Mahjoub, Vangelis Markakis, Ioannis Milis,

Vangelis Th. Paschos

104

8

Similarity Search and

Applications

Gonzalo Navarro, Vladimir Pestov

104

9

Decision Support

Systems – Collaborative

Models and Approaches

in Real Environments

Jorge E. Hernández, Pascale Zarate, Fátima Dargam,

Boris Delibašić, Shaofeng Liu, Rita Ribeiro

105

0

Generic and Indexed

Programming

Jeremy Gibbons

105

1

Digital Forensics and

Watermarking Yun Qing Shi, Hyoung‐Joong Kim, Fernando

Perez‐Gonzalez

105

2

DNA Computing and

Molecular Programming

Darko Stefanovic, Andrew Turberfield

105

3 Logic‐Based Program

Synthesis and

Transformation

Germán Vidal

105

4

Computing and

Combinatorics

Joachim Gudmundsson, Julián Mestre, Taso Viglas

105

5

Nordic Contributions in

IS Research

Christina Keller, Mikael Wiberg, Pär J. Ågerfalk, Jenny

S. Z. Eriksson Lundström

105

6 E‐Commerce and Web

Technologies

Christian Huemer, Pasquale Lops

105


Management

Hong Gao, Lipyeow Lim, Wei Wang, Chuan Li, Lei

Chen

105

8

Information Theoretic

Security

Adam Smith

105

9

Trust, Privacy and

Security in Digital

Business

Simone Fischer‐Hübner, Sokratis Katsikas, Gerald

Quirchmayr

106

0

Trusted Systems Liqun Chen, Moti Yung, Liehuang Zhu

106

1

IT Revolutions Matías Liñán Reyes, José M. Flores Arias, Juan J.

González de la Rosa, Josef Langer, Francisco J. Bellido

Outeiriño, Antonio Moreno‐Munñoz

106

2

Applications of Discrete

Geometry and

Mathematical

Morphology

Ullrich Köthe, Annick Montanvert, Pierre Soille

106

3

Mobile Computing,

Applications, and

Services

Joy Ying Zhang, Jarek Wilkiewicz, Ani Nahapetian

106

4

Believable Bots Philip Hingston

106

5

Agents for Educational

Games and Simulations Martin Beer, Cyril Brom, Frank Dignum, Von‐Wun Soo

106

6

Modeling Time in

Computing

Carlo A. Furia, Dino Mandrioli, Angelo Morzenti,

Matteo Rossi

106

7

Data Management in

Cloud, Grid and P2P

Systems

Abdelkader Hameurlain, Farookh Khadeer Hussain,

Franck Morvan, A Min Tjoa

106

8

Interactive Theorem

Proving

Lennart Beringer, Amy Felty

106

9

Foundations of Health

Informatics Engineering

and

Zhiming Liu, Alan Wassyng

Systems

107

0 Subject‐Oriented

Business Process

Management

Albert Fleischmann, Werner Schmidt, Christian Stary,

Stefan Obermeier, Egon Börger

107

1

Information Technology

in Bio‐ and Medical

Informatics

Christian Böhm, Sami Khuri, Lenka Lhotská, M. Elena

Renda

107

2

Internet of Things Yongheng Wang, Xiaoming Zhang

107

3

Computational

Intelligence for

Multimedia

Understanding

Emanuele Salerno, A. Enis Çetin, Ovidio Salvetti

107

4

Business System

Management and

Engineering

Claudio A. Ardagna, Ernesto Damiani, Leszek A.

Maciaszek, Michele Missikoff, Michael Parkin

107

5

Formal Methods for

Industrial Critical

Systems

Mariëlle Stoelinga, Ralf Pinger

107

6

Foundational and

Practical Aspects of

Resource Analysis

Ricardo Peña, Marko Eekelen, Olha Shkaravska

107

7

Multidisciplinary

Research and Practice for

Information Systems

Gerald Quirchmayr, Josef Basl, Ilsun You, Lida Xu,

Edgar Weippl

107

8

Approximation,

Randomization, and

Combinatorial

Optimization. Algorithms

and Techniques

Anupam Gupta, Klaus Jansen, José Rolim, Rocco

Servedio

107

9

Advances in

Autonomous Robotics

Guido Herrmann, Matthew Studley, Martin Pearson,

Andrew Conn, Chris Melhuish, Mark Witkowski,

Jong‐Hwan Kim, Prahlad Vadakkepat

108

0

Knowledge Management

and Acquisition for

Intelligent Systems

Deborah Richards, Byeong Ho Kang

108

1

Signal Processing and


Vinu V. Das, Ezendu Ariwa, Syarifah Bahiyah Rahayu

108

2

Data Warehousing and

Knowledge Discovery

Alfredo Cuzzocrea, Umeshwar Dayal

108

3

Mathematical

Foundations of Computer

Science 2012

Branislav Rovan, Vladimiro Sassone, Peter Widmayer

108

4

Database and Expert

Systems Applications Stephen W. Liddle, Klaus‐Dieter Schewe, A Min Tjoa,

Xiaofang Zhou

108

5

Database and Expert

Systems Applications Stephen W. Liddle, Klaus‐Dieter Schewe, A Min Tjoa,

Xiaofang Zhou

108

6

ICT as Key Technology

against Global Warming

Axel Auweter, Dieter Kranzlmüller, Amirreza Tahamtan,

A Min Tjoa

108

7

Cooperative Design,

Visualization, and

Engineering

Yuhua Luo

108

8

Controlled Natural

Language

Tobias Kuhn, Norbert E. Fuchs

108

9 Bio‐Inspired Models of

Network, Information,

and Computing Systems

Junichi Suzuki, Tadashi Nakano

109

0

Logic, Language,

Information and

Computation

Luke Ong, Ruy Queiroz

109

1

Topics in Performance

Evaluation, Measurement

and Characterization

Raghunath Nambiar, Meikel Poess

109

2

Augmented

Environments for

Computer‐Assisted

Interventions

Cristian A. Linte, John T. Moore, Elvis C.

S. Chen, David R. Holmes

109

3

Intelligent Data

Engineering and

Automated Learning ‐ IDEAL 2012

Hujun Yin, José A. F. Costa, Guilherme Barreto

109

4

Convergence and Hybrid


Geuk Lee, Daniel Howard, Jeong Jin Kang, Dominik

Ślęzak

109

5

Swarm Intelligence Marco Dorigo, Mauro Birattari, Christian Blum, Anders

Lyhne Christensen, Andries P. Engelbrecht, Roderich

Groß, Thomas Stützle

109

6

Transactions on

Computational Science

XVI

Marina L. Gavrilova, C. J. Kenneth Tan

109

7

Uncertainty

Quantification in


Andrew M. Dienstfrey, Ronald F. Boisvert

109

8

Internet of Things, Smart

Spaces, and Next

Generation

Sergey Andreev, Sergey Balandin, Yevgeni

Koucheryavy

Networking

109

9

Rules on the Web:

Research and

Applications

Antonis Bikakis, Adrian Giurca

110

0

Convergence and Hybrid


Geuk Lee, Daniel Howard, Dominik

Ślęzak, You Sik Hong

110

1

PRICAI 2012: Trends in


Patricia Anthony, Mitsuru Ishizuka, Dickson Lukose

110

2

Advancing Democracy,

Government and

Governance

Andrea Kő, Christine Leitner, Herbert Leitold, Alexander

Prosser

110

3 Bio‐Inspired Models of

Networks, Information,

and Computing Systems

Emma Hart, Jon Timmis, Paul Mitchell, Takadash

Nakamo, Foad Dabiri

110

4

Pattern Recognition Axel Pinz, Thomas Pock, Horst Bischof, Franz Leberl

110

5

PRIMA 2012: Principles

and Practice of


Iyad Rahwan, Wayne Wobcke, Sandip Sen, Toshiharu

Sugawara

110

6

Spatial Cognition VIII Cyrill Stachniss, Kerstin Schill, David Uttal

110

7 E‐Voting and Identity Aggelos Kiayias, Helger Lipmaa

110

8

FM 2012: Formal

Methods

Dimitra Giannakopoulou, Dominique Méry

110

9 VLSI‐SoC: Advanced

Research for Systems on

Chip

Salvador Mir, Chi‐Ying Tsui, Ricardo Reis, Oliver C. S.

Choy

111

0

Collaborative Networks

in the Internet of Services Luis M. Camarinha‐Matos, Lai Xu, Hamideh

Afsarmanesh

111

1

Sensor Systems and

Software

Francisco Martins, Luís Lopes, Hervé Paulino

111

2

Coalgebraic Methods in

Computer Science

Dirk Pattinson, Lutz Schröder

111

3

Text, Speech and

Dialogue

Petr Sojka, Aleš Horák, Ivan Kopeček, Karel Pala

111

4

Haptic and Audio

Interaction Design

Charlotte Magnusson, Delphine Szymczak, Stephen

Brewster

111

5

Communications and

Multimedia Security

Bart Decker, David W. Chadwick

111

6

Information and

Communication

Technologies

Róbert Szabó, Attila Vidács

111

7 Euro‐Par 2012 Parallel

Processing

Christos Kaklamanis, Theodore Papatheodorou, Paul G.

Spirakis

111

8

Knowledge Technology Dickson Lukose, Abdul Rahim Ahmad, Azizah Suliman

111

9

Exploring the Abyss of

Inequalities Kristina Eriksson‐Backa, Annika Luoma, Erica Krook

112

0

Secure Data Management Willem Jonker, Milan Petković

112

1

Business Process

Management

Alistair Barros, Avigdor Gal, Ekkart Kindler

112

2

Intelligent Information

Processing VI

Zhongzhi Shi, David Leake, Sunil Vadera

112

3

Unconventional

Computation and Natural

Computation

Jérôme Durand‐Lose, Nataša Jonoska

112

4

Computational Logic in

Multi‐ Agent Systems

Michael Fisher, Leon Torre, Mehdi Dastani, Guido

Governatori

112

5

Engineering Applications

of Neural Networks

Chrisina Jayne, Shigang Yue, Lazaros Iliadis

112

6

Datalog in Academia and

Industry

Pablo Barceló, Reinhard Pichler

112

7

Security and

Cryptography for

Networks

Ivan Visconti, Roberto Prisco

112

8

Parallel Problem Solving

from Nature ‐ PPSN XII

Carlos A. Coello Coello, Vincenzo Cutello, Kalyanmoy

Deb, Stephanie Forrest, Giuseppe Nicosia, Mario Pavone

112

9

CONCUR 2012 –

Concurrency Theory

Maciej Koutny, Irek Ulidowski

113

0

Theoretical Aspects of

Computing – ICTAC

2012

Abhik Roychoudhury, Meenakshi D’Souza

113

1

Financial Cryptography

and Data Security

Angelos D. Keromytis

113

2

Parallel Problem Solving

from Nature ‐ PPSN XII

Carlos A. Coello Coello, Vincenzo Cutello, Kalyanmoy

Deb, Stephanie Forrest, Giuseppe Nicosia, Mario Pavone

113

3

Computer Algebra in


Vladimir P. Gerdt, Wolfram Koepf, Ernst

W. Mayr, Evgenii V. Vorozhtsov

113

4 Case‐Based Reasoning

Research and

Development

Belén Díaz Agudo, Ian Watson

113

5

Geographic Information

Science Ningchuan Xiao, Mei‐Po Kwan, Michael

F. Goodchild, Shashi Shekhar

113

6

Cryptographic Hardware

and Embedded Systems –

CHES 2012

Emmanuel Prouff, Patrick Schaumont

113


Management

Zhifeng Bao, Yunjun Gao, Yu Gu, Longjiang Guo,

Yingshu Li, Jiaheng Lu, Zujie Ren, Chaokun Wang,

Xiao Zhang

113

8

Algorithms and

Architectures for Parallel

Processing

Yang Xiang, Ivan Stojmenovic, Bernady

O. Apduhan, Guojun Wang, Koji Nakano, Albert

Zomaya

113

9

Enterprise

Interoperability

Marten Sinderen, Pontus Johnson, Xiaofei Xu, Guy

Doumeingts

114

0

Advances in Databases

and Information Systems

Tadeusz Morzy, Theo Härder, Robert Wrembel

114

1

Algorithms and

Architectures for Parallel

Processing

Yang Xiang, Ivan Stojmenovic, Bernady

O. Apduhan, Guojun Wang, Koji Nakano, Albert

Zomaya

114

2

Algorithms – ESA 2012 Leah Epstein, Paolo Ferragina

114

3

From Animals to

Animats 12

Tom Ziemke, Christian Balkenius, John Hallam

114

4

Search Based Software

Engineering

Gordon Fraser, Jerffeson Teixeira de Souza

114

5

Algorithms in

Bioinformatics

Ben Raphael, Jijun Tang

114

6

Static Analysis Antoine Miné, David Schmidt

114

7

Advanced Concepts for

Intelligent Vision

Systems

Jacques Blanc‐Talon, Wilfried Philips, Dan Popescu,

Paul Scheunders, Pavel Zemčík

114

8

Argumentation in


Peter McBurney, Simon Parsons, Iyad Rahwan

114

9

Business Process Model

and Notation

Jan Mendling, Matthias Weidlich

115

0

Reasoning Web.

Semantic Technologies

for Advanced Query

Answering

Thomas Eiter, Thomas Krennwallner

115

1

Future Security Nils Aschenbruck, Peter Martini, Michael Meier, Jens

Tölle

115

2

Computer Security –

ESORICS 2012

Sara Foresti, Moti Yung, Fabio Martinelli

115

3

Software Engineering for

Resilient Systems

Paris Avgeriou

115

4

Advances in Visual

Computing

George Bebis, Richard Boyle, Bahram Parvin, Darko

Koracin, Charless Fowlkes, Sen Wang, Min‐Hyung

Choi, Stephan Mantler, Jürgen Schulze, Daniel Acevedo,

Klaus Mueller, Michael Papka

115

5

Programming Languages Francisco Heron Carvalho Junior, Luis Soares Barbosa

115

6

Artificial Intelligence:

Methodology, Systems,

and Applications

Allan Ramsay, Gennady Agre

115

7

Advances in Visual

Computing

George Bebis, Richard Boyle, Bahram Parvin, Darko

Koracin, Charless Fowlkes, Sen Wang, Min‐Hyung

Choi, Stephan Mantler, Jürgen Schulze, Daniel Acevedo,

Klaus Mueller, Michael Papka

115

8

Intelligent Virtual Agents Yukiko Nakano, Michael Neff, Ana Paiva, Marilyn

Walker

115

9

Web Reasoning and Rule

Systems

Markus Krötzsch, Umberto Straccia

116

0

Artificial Neural

Networks in Pattern

Recognition

Nadia Mana, Friedhelm Schwenker, Edmondo Trentin

116

1

Knowledge and

Technologies in

Innovative Information

Systems

Hakikur Rahman, Anabela Mesquita, Isabel Ramos,

Barbara Pernici

116

2

Information Access

Evaluation.

Multilinguality,

Multimodality, and

Visual Analytics

Tiziana Catarci, Pamela Forner, Djoerd Hiemstra,

Anselmo Peñas, Giuseppe Santucci

116

3

Electronic Participation Efthimios Tambouris, Ann Macintosh, Øystein Sæbø

116

4

Computer Information

Systems and Industrial

Management

Agostino Cortesi, Nabendu Chaki, Khalid Saeed,

Sławomir Wierzchoń

116

5

21st Century Learning

for 21st Century Skills

Andrew Ravenscroft, Stefanie Lindstaedt, Carlos

Delgado Kloos, Davinia Hernández‐Leo

116

6

Artificial Neural

Networks and Machine

Learning – ICANN 2012

Alessandro E. P. Villa, Włodzisław Duch, Péter Érdi,

Francesco Masulli, Günther Palm

116

7

Artificial Neural

Networks and Machine

Learning – ICANN 2012

Alessandro E. P. Villa, Włodzisław Duch, Péter Érdi,

Francesco Masulli, Günther Palm

116

8

Provable Security Tsuyoshi Takagi, Guilin Wang, Zhiguang Qin, Shaoquan

Jiang, Yong Yu

116

9

Progress in Pattern

Recognition, Image

Analysis, Computer

Vision, and Applications

Luis Alvarez, Marta Mejail, Luis Gomez, Julio Jacobo

117

0

Perspectives in Business

Informatics Research

Natalia Aseeva, Eduard Babkin, Oleg Kozyrev

117

1

Collaboration and

Technology

Valeria Herskovic, H. Ulrich Hoppe, Marc Jansen,

Jürgen Ziegler

117

2

Theory and Practice of

Digital Libraries

Panayiotis Zaphiris, George Buchanan, Edie Rasmussen,

Fernando Loizides

117

3

Parameterized and Exact

Computation

Dimitrios M. Thilikos, Gerhard J. Woeginger

117

4

Formal Methods:

Foundations and

Applications

Rohit Gheyi, David Naumann

117

5 E‐Science and

Information Management

Serap Kurbanoğlu, Umut Al, Phyllis Lepon Erdoğan,

Yaşar Tonta, Nazan Uçak

117

6

Information and Software

Technologies

Tomas Skersys, Rimantas Butleris, Rita Butkiene

117

7

Relational and Algebraic

Methods in Computer

Science

Wolfram Kahl, Timothy G. Griffin

117

8

Arts and Technology Anthony L. Brooks

117

9

ICT Critical

Infrastructures and

Society

Magda David Hercheui, Diane Whitehouse, William

McIver, Jackie Phahlamohlaka

118

0

Research in Attacks,

Intrusions, and Defenses

Davide Balzarotti, Salvatore J. Stolfo, Marco Cova

118

1

KI 2012: Advances in


Birte Glimm, Antonio Krüger

118

2

Cellular Automata Georgios Ch. Sirakoulis, Stefania Bandini

118

3

Logics in Artificial

Intelligence

Luis Fariñas Cerro, Andreas Herzig, Jérôme Mengin

118

4

Scalable Uncertainty

Management

Eyke Hüllermeier, Sebastian Link, Thomas Fober,

Bernhard Seeger

118

5

Formal Modeling and

Analysis of Timed

Systems

Marcin Jurdziński, Dejan Ničković

118

6

Green Communications

and Networking

Joel J. P. C. Rodrigues, Liang Zhou, Min Chen, Aravind

Kailas

118

7

Information Security Dieter Gollmann, Felix C. Freiling

118

8

Automated Technology

for Verification and

Analysis

Supratik Chakraborty, Madhavan Mukund

118

9

Security and Privacy in

Mobile Information and


Andreas U. Schmidt, Giovanni Russello, Ioannis

Krontiris, Shiguo Lian

119

0 Understanding High‐ Dimensional Spaces

David B. Skillicorn

119

1


Applications and

Innovations

Lazaros Iliadis, Ilias Maglogiannis, Harris Papadopoulos

119

2


Applications and

Innovations

Lazaros Iliadis, Ilias Maglogiannis, Harris Papadopoulos,

Kostas Karatzas, Spyros Sioutas

119

3

Medical Image

Computing and

Computer‐Assisted

Intervention – MICCAI

2012

Nicholas Ayache, Hervé Delingette, Polina Golland,

Kensaku Mori

119

4

Medical Image

Computing and

Computer‐Assisted


2012


Kensaku Mori

119

5 Service‐Oriented and

Cloud Computing

Flavio Paoli, Ernesto Pimentel, Gianluigi Zavattaro

119

6

Open Source Systems:

Long‐ Term

Sustainability

Imed Hammouda, Björn Lundell, Tommi Mikkonen,

Walt Scacchi

119

7

Global Security, Safety

and Sustainability &

e‐Democracy

Christos K. Georgiadis, Hamid Jahankhani, Elias

Pimenidis, Rabih Bashroush, Ameer Al‐Nemrat

119

8

Medical Image

Computing and

Computer‐Assisted


2012


Kensaku Mori

119

9

Machine Learning and

Knowledge Discovery in

Databases

Peter A. Flach, Tijl Bie, Nello Cristianini

120

0

Mesh Processing in

Medical Image Analysis

2012

Joshua A. Levine, Rasmus R. Paulsen, Yongjie Zhang

120

1 E‐Learning and Games

for Training, Education,

Health and Sports

Stefan Göbel, Wolfgang Müller, Bodo Urban, Josef

Wiemeyer

120

2

Web Information

Systems and Mining

Fu Lee Wang, Jingsheng Lei, Zhiguo Gong, Xiangfeng

Luo

120

3

Theoretical Computer

Science

Jos C. M. Baeten, Tom Ball, Frank S. Boer

120

4

Artificial Intelligence and

Computational

Intelligence

Jingsheng Lei, Fu Lee Wang, Hepu Deng, Duoqian Miao

120

5

Progress in Cryptology –

LATINCRYPT 2012

Alejandro Hevia, Gregory Neven

120

6


Knowledge Discovery in

Databases

Peter A. Flach, Tijl Bie, Nello Cristianini

120

7

Electronic Government Hans J. Scholl, Marijn Janssen, Maria A. Wimmer, Carl

Erik Moe, Leif Skiftenes Flak

120

8

Discovery Science Jean‐Gabriel Ganascia, Philippe Lenca, Jean‐Marc Petit

120

9 Enabling Real‐Time

Business Intelligence

Malu Castellanos, Umeshwar Dayal, Wolfgang Lehner

121

0

Intelligent Robotics and

Applications Chun‐Yi Su, Subhash Rakheja, Honghai Liu

121

1

Pattern Recognition Cheng‐Lin Liu, Changshui Zhang, Liang Wang

121

2



121

3

Reachability Problems Alain Finkel, Jérôme Leroux, Igor Potapov

121

4



121

5

Recent Advances in the

Message Passing

Interface

Jesper Larsson Träff, Siegfried Benkner, Jack J.

Dongarra

121

6

Multimodal Brain Image

Analysis Pew‐Thian Yap, Tianming Liu, Dinggang Shen,

Carl‐Fredrik Westin, Li Shen

121

7

Evaluating AAL Systems

Through Competitive

Benchmarking. Indoor

Stefano Chessa, Stefan Knauth

Localization and

Tracking

121

8

Stabilization, Safety, and

Security of Distributed

Systems

Andréa W. Richa, Christian Scheideler

121

9

Entertainment

Computing ‐ Marc Herrlich, Rainer Malaka, Maic Masuch

ICEC 2012

122

0 Spatio‐temporal Image

Analysis for Longitudinal

and Time‐Series Image

Data

Stanley Durrleman, Tom Fletcher, Guido Gerig, Marc

Niethammer

122

1

Principles and Practice of

Constraint Programming

Michela Milano

122

2

Computer Vision and

Graphics

Leonard Bolc, Ryszard Tadeusiewicz, Leszek J.

Chmielewski, Konrad Wojciechowski

122

3

Computational Logistics Hao Hu, Xiaoning Shi, Robert Stahlbock, Stefan Voß

122

4

On the Move to

Meaningful Internet

Systems: OTM 2012

Robert Meersman, Hervé Panetto, Tharam Dillon,

Stefanie Rinderle‐Ma, Peter Dadam, Xiaofang Zhou,

Siani Pearson, Alois Ferscha, Sonia Bergamaschi, Isabel

F. Cruz

122

5

Model and Data

Engineering

Alberto Abelló, Ladjel Bellatreche, Boualem Benatallah

122

6

Abdominal Imaging.

Computational and

Clinical Applications

Hiroyuki Yoshida, David Hawkes, Michael W. Vannier

122

7

On the Move to

Meaningful Internet

Systems: OTM 2012

Robert Meersman, Hervé Panetto, Tharam Dillon,

Stefanie Rinderle‐Ma, Peter Dadam, Xiaofang Zhou,

Siani Pearson, Alois Ferscha, Sonia Bergamaschi, Isabel

F. Cruz

122

8

On the Move to

Meaningful Internet

Systems: OTM 2012

Workshops

Pilar Herrero, Hervé Panetto, Robert Meersman, Tharam

Dillon

122

9

Privacy in Statistical

Databases Josep Domingo‐Ferrer, Ilenia Tinnirello

123

0

Computational Methods

in Systems Biology

David Gilbert, Monika Heiner

123

1 Advances in Web‐Based

Learning ‐ ICWL 2012

Elvira Popescu, Qing Li, Ralf Klamma, Howard Leung,

Marcus Specht

123

2

Energy Efficient Data

Centers

Jyrki Huusko, Hermann Meer, Sonja Klingert, Andrey

Somov

123

3

Distributed Computing Marcos K. Aguilera

123

4

Graph Transformations Hartmut Ehrig, Gregor Engels, Hans‐ Jörg Kreowski,

Grzegorz Rozenberg

123

5

Model Driven

Engineering Languages

and Systems

Robert B. France, Jürgen Kazmeier, Ruth Breu, Colin

Atkinson

123

6

Computer Safety,

Reliability, and Security

Frank Ortmeier, Peter Daniel

123

7

Computer Safety,

Reliability, and Security

Frank Ortmeier, Peter Daniel

123

8

Practical Aspects of

Design Science

Markus Helfert, Brian Donnellan

123

9

Modeling and Mining

Ubiquitous Social Media

Martin Atzmueller, Alvin Chin, Denis Helic, Andreas

Hotho

124

0

Serious Games

Development and

Applications

Minhua Ma, Manuel Fradinho Oliveira, Jannicke

Baalsrud Hauge, Heiko Duin, Klaus‐Dieter Thoben

124

1

Multiagent System

Technologies

Ingo J. Timm, Christian Guttmann

124

2

Computer Network

Security

Igor Kotenko, Victor Skormin

124

3

Computer Vision –

ECCV 2012

Andrew Fitzgibbon, Svetlana Lazebnik, Pietro Perona,

Yoichi Sato, Cordelia Schmid

124

4

Computer Vision –

ECCV 2012



124

5

Computer Vision –

ECCV 2012



124

6

Computer Vision –

ECCV 2012



124

7

Artificial Immune

Systems

Carlos A. Coello Coello, Julie Greensmith, Natalio

Krasnogor, Pietro Liò, Giuseppe Nicosia, Mario Pavone

124

8

Communicability,

Computer Graphics and

Innovative Design for

Interactive Systems

Francisco Cipolla‐Ficarra, Kim Veltman, Miguel

Cipolla‐Ficarra, Andreas Kratky

124

9

Computer Vision –

ECCV 2012



125

0

Computer Vision –

ECCV 2012



125

1

Computer Vision –

ECCV 2012



125

2

Serious Games: The

Challenge

Stefan Wannemacker, Sylke Vandercruysse, Geraldine

Clarebout

125

3


and Formal Methods

George Eleftherakis, Mike Hinchey, Mike Holcombe

125

4


Natural Computing Adrian‐Horia Dediu, Carlos Martín‐Vide, Bianca Truthe

125

5

Computer Vision –

ECCV 2012. Workshops

and Demonstrations

Andrea Fusiello, Vittorio Murino, Rita Cucchiara

125

6

Computer Vision –


and Demonstrations


125

7

Knowledge Engineering

and Knowledge

Management

Annette Teije, Johanna Völker, Siegfried Handschuh,

Heiner Stuckenschmidt, Mathieu d’Acquin, Andriy

Nikolov, Nathalie Aussenac‐Gilles, Nathalie Hernandez

125

8

Computer Vision –


and Demonstrations


125

9

Reflections on the

History of Computing

Arthur Tatnall

126

0

The Dynamics of Global

Sourcing. Perspectives

and Practices

Julia Kotlarsky, Ilan Oshri, Leslie P. Willcocks

126

1 Human‐Computer

Interaction, Tourism and

Cultural Heritage

Francisco Cipolla‐Ficarra, Kim Veltman, Huang

Chih‐Fang, Miguel Cipolla‐ Ficarra, Andreas Kratky

126

2

Advances in Digital

Forensics VIII

Gilbert Peterson, Sujeet Shenoi

126

3

The Complexity of

Valued Constraint

Satisfaction

Stanislav Živný

Problems

126

4

Advances in Production

Management Systems.

Value Networks:

Innovation,

Technologies, and

Jan Frick, Bjørge Timenes Laugen

Management

126

5

Advances in Natural

Language Processing

Hitoshi Isahara, Kyoko Kanzaki

126

6

Algorithmic Game

Theory

Maria Serna

126

7

Advances in Conceptual

Modeling

Silvana Castano, Panos Vassiliadis, Laks

V. Lakshmanan, Mong Li Lee

126

8

Conceptual Modeling Paolo Atzeni, David Cheung, Sudha Ram

126

9

Rewriting Logic and Its

Applications

Franciso Durán

127

0

Advances in New

Technologies, Interactive

Interfaces and

Communicability

Francisco Cipolla‐Ficarra, Kim Veltman, Domen Verber,

Miguel Cipolla‐Ficarra, Florian Kammüller

127

1

Human Behavior

Understanding Albert Ali Salah, Javier Ruiz‐del‐Solar, Çetin Meriçli,

Pierre‐Yves Oudeyer

127

2

Leveraging Applications

of Formal Methods,

Verification and

Validation. Technologies

for Mastering Change

Tiziana Margaria, Bernhard Steffen

127

3


of Formal Methods,

Verification and

Validation. Applications

and Case Studies

Tiziana Margaria, Bernhard Steffen

127

4

Information Computing

and Applications

Chunfeng Liu, Leizhen Wang, Aimin Yang

127

5


and Applications

Chunfeng Liu, Leizhen Wang, Aimin Yang

127

6 Data‐Driven Process

Discovery and Analysis

Karl Aberer, Ernesto Damiani, Tharam Dillon

127

7

Fast Software Encryption Anne Canteaut

127

8

Telematics in the

Transport Environment

Jerzy Mikulski

127

9 Large‐Scale Complex IT

Systems. Development,

Operation and

Management

Radu Calinescu, David Garlan

128

0


and Applications

Baoxiang Liu, Maode Ma, Jincai Chang

128

1 Outdoor and Large‐Scale

Real‐World Scene

Analysis

Frank Dellaert, Jan‐Michael Frahm, Marc Pollefeys,

Laura Leal‐Taixé, Bodo Rosenhahn

128

2

Social Robotics Shuzhi Sam Ge, Oussama Khatib, John‐ John Cabibihan,

Reid Simmons, Mary‐ Anne Williams

128

3

Algorithmic Learning

Theory

Nader H. Bshouty, Gilles Stoltz, Nicolas Vayatis,

Thomas Zeugmann

128

4

String Processing and

Information Retrieval Liliana Calderón‐Benavides, Cristina González‐Caro,

Edgar Chávez, Nivio Ziviani

128

5

Advances in Information

and Computer Security

Goichiro Hanaoka, Toshihiro Yamauchi

128

6

Computational Issues in

Fluid Construction

Grammar

Luc Steels

128

7

Pattern Recognition in

Bioinformatics

Tetsuo Shibuya, Hisashi Kashima, Jun Sese, Shandar

Ahmad

128

8

Information and

Communications

Security

Tat Wing Chim, Tsz Hon Yuen

128

9

Recent Trends in

Computer Networks and

Distributed Systems

Security

Sabu M. Thampi, Albert Y. Zomaya, Thorsten Strufe,

Jose M. Alcaraz Calero, Tony Thomas

129

0

Advances in Intelligent

Data Analysis XI

Jaakko Hollmén, Frank Klawonn, Allan Tucker

129

1

Research in Cryptology Frederik Armknecht, Stefan Lucks

129

2

Trends in Enterprise

Architecture Research

and Practice‐Driven

Research on Enterprise

Transformation

Stephan Aier, Mathias Ekstedt, Florian Matthes, Erik

Proper, Jorge L. Sanz

129

3

Structural, Syntactic, and

Statistical Pattern

Recognition

Georgy Gimel’farb, Edwin Hancock, Atsushi Imiya,

Arjan Kuijper, Mineichi Kudo, Shinichiro Omachi, Terry

Windeatt, Keiji Yamada

129

4

Applications of Graph

Transformations with

Industrial Relevance

Andy Schürr, Dániel Varró, Gergely Varró

129

5

Transactions on



Systems VI

Abdelkader Hameurlain, Josef Küng, Roland Wagner,

Stephen W. Liddle, Klaus‐Dieter Schewe, Xiaofang

Zhou

129

6

Gesture and Sign

Language in

Human‐Computer

Interaction and

Embodied

Communication

Eleni Efthimiou, Georgios Kouroupetroglou,

Stavroula‐Evita Fotinea

129

7

Hardware and Software:

Verification and Testing

Kerstin Eder, João Lourenço, Onn Shehory

129

8

Computational Geometry Alberto Márquez, Pedro Ramos, Jorge Urrutia

129

9 Agent‐Mediated

Electronic Commerce.

Designing Trading

Strategies and

Mechanisms for

Electronic Markets

Esther David, Kate Larson, Alex Rogers, Onn Shehory,

Sebastian Stein

130

0

Secure IT Systems Audun Jøsang, Bengt Carlsson

130

1

Search Computing Stefano Ceri, Marco Brambilla

130

2

Provenance and

Annotation of Data and

Processes

Paul Groth, James Frew

130

3

Business Information

Systems Workshops

Witold Abramowicz, John Domingue, Krzysztof Węcel

130

4

Progress in Cultural

Heritage Preservation

Marinos Ioannides, Dieter Fritsch, Johanna Leissner, Rob

Davies, Fabio Remondino, Rossella Caffo

130

5

Emerging Research in

Artificial Intelligence and

Computational

Intelligence

Jingsheng Lei, Fu Lee Wang, Hepu Deng, Duoqian Miao

130

6

Computational Visual

Media Shi‐Min Hu, Ralph R. Martin

130

7

Decision and Game

Theory for Security

Jens Grossklags, Jean Walrand

130

8

Formal Methods and


Toshiaki Aoki, Kenji Taguchi

130

9

Computational

Intelligence and

Intelligent Systems

Zhenhua Li, Xiang Li, Yong Liu, Zhihua Cai

131

0

Advances in Computer

Entertainment

Anton Nijholt, Teresa Romão, Dennis Reidsma

131


Computing

Chengfei Liu, Heiko Ludwig, Farouk Toumani, Qi Yu

131

2

Simulation, Modeling,

and Programming for

Autonomous Robots

Itsuki Noda, Noriaki Ando, Davide Brugali, James J.

Kuffner

131

3 Human‐Centered


Marco Winckler, Peter Forbrig, Regina Bernhaupt

131

4

System Simulation and


Tianyuan Xiao, Lin Zhang, Shiwei Ma

131

5

AsiaSim 2012 Tianyuan Xiao, Lin Zhang, Minrui Fei

131

6


131

7


131

8

System Simulation and


Tianyuan Xiao, Lin Zhang, Shiwei Ma

131

9

Implementation and

Application of Functional

Languages

Andy Gill, Jurriaan Hage

132

0

Learning and Intelligent

Optimization

Youssef Hamadi, Marc Schoenauer

132

1

Security, Privacy, and

Applied Cryptography

Engineering

Andrey Bogdanov, Somitra Sanadhya

132

2

Contemporary Research

on E‐ business

Technology and Strategy

Vasil Khachidze, Tim Wang, Sohail Siddiqui, Vincent

Liu, Sergio Cappuccio, Alicia Lim

132

3

Natural Language

Processing and Chinese

Computing

Ming Zhou, Guodong Zhou, Dongyan Zhao, Qun Liu,

Lei Zou

132

4

Advances in Artificial

Intelligence ‐ SBIA 2012

Leliane N. Barros, Marcelo Finger, Aurora T. Pozo,

Gustavo A. Gimenénez‐ Lugo, Marcos Castilho

132

5

Neural Information

Processing

Tingwen Huang, Zhigang Zeng, Chuandong Li, Chi Sing

Leung

132

6

Neural Information

Processing


Leung

132

7

Neural Information

Processing


Leung

132

8

Neural Information

Processing


Leung

132

9

Neural Information

Processing


Leung

133

0

The Practice of

Enterprise Modeling

Kurt Sandkuhl, Ulf Seigerroth, Janis Stirna

133

1

Cognitive Behavioural

Systems

Anna Esposito, Antonietta M. Esposito, Alessandro

Vinciarelli, Rüdiger Hoffmann, Vincent C. Müller

133

2

Advances on Digital

Television and Wireless

Multimedia

Communications

Wenjun Zhang, Xiaokang Yang, Zhixiang Xu, Ping An,

Qizhen Liu, Yue Lu

133

3

Network and System

Security

Li Xu, Elisa Bertino, Yi Mu

133

4 Graph‐Theoretic

Concepts in Computer

Science

Martin Charles Golumbic, Michal Stern, Avivit Levy,

Gila Morgenstern

133

5 Model‐Based

Engineering of

Embedded Systems

Klaus Pohl, Harald Hönninger, Reinhold Achatz,

Manfred Broy

133

6

Modeling Decisions for


Vicenç Torra, Yasuo Narukawa, Beatriz López, Mateu

Villaret

133

7

Foundations of

Intelligent Systems

Li Chen, Alexander Felfernig, Jiming Liu, Zbigniew W.

Raś

133

8


Intelligence.

Technologies and

Applications

Ngoc‐Thanh Nguyen, Kiem Hoang, Piotr Jȩdrzejowicz

133

9

Financial Cryptography

and Data Security

Jim Blyth, Sven Dietrich, L. Jean Camp

134

0

Transactions on


Intelligence VIII

Ngoc‐Thanh Nguyen

134

1

Advances in Artificial

Intelligence –

IBERAMIA 2012

Juan Pavón, Néstor D. Duque‐Méndez, Rubén

Fuentes‐Fernández

134

2

Data and Knowledge

Engineering

Yang Xiang, Mukaddim Pathan, Xiaohui Tao, Hua Wang

134

3

Testing Software and

Systems

Brian Nielsen, Carsten Weise

134

4

Information Security and

Cryptology Chuan‐Kun Wu, Moti Yung, Dongdai Lin

134

5


Intelligence.

Technologies and

Applications

Ngoc‐Thanh Nguyen, Kiem Hoang, Piotr Jȩdrzejowicz

134

6

Motion in Games Marcelo Kallmann, Kostas Bekris

134

7


Interpretation in

Neuroimaging

Georg Langs, Irina Rish, Moritz Grosse‐ Wentrup, Brian

Murphy

134

8

Combinatorial Image

Analaysis

Reneta P. Barneva, Valentin E. Brimkov, Jake K.

Aggarwal

134

9

The Outreach of Digital

Libraries: A Globalized

Resource Network

Hsin‐Hsi Chen, Gobinda Chowdhury

135

0

Advances in Multimedia

Information Processing –

PCM 2012

Weisi Lin, Dong Xu, Anthony Ho, Jianxin Wu, Ying He,

Jianfei Cai, Mohan Kankanhalli, Ming‐Ting Sun

135

1


of Formal Methods,

Verification, and

Validation

Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar

Schreiner, Bernhard Steffen

135

2 Multi‐Agent Systems Massimo Cossentino, Michael Kaisers, Karl Tuyls,

Gerhard Weiss

135

3

Interactive Storytelling David Oyarzun, Federico Peinado, R. Michael Young,

Ane Elizalde, Gonzalo Méndez

135

4

Simulated Evolution and

Learning

Lam Thu Bui, Yew Soon Ong, Nguyen Xuan Hoai,

Hisao Ishibuchi, Ponnuthurai Nagaratnam Suganthan

135

5

Design and Analysis of

Algorithms

Guy Even, Dror Rawitz

135

6

Internet and Distributed

Computing Systems

Yang Xiang, Mukaddim Pathan, Xiaohui Tao, Hua Wang

135

7

Ambient Intelligence Fabio Paternò, Boris Ruyter, Panos Markopoulos,

Carmen Santoro, Evert Loenen, Kris Luyten

135

8 Progress in Cryptology ‐ Steven Galbraith, Mridul Nandi

INDOCRYPT 2012

135

9

Advances in Cryptology

– ASIACRYPT 2012

Xiaoyun Wang, Kazue Sako

136

0

Multiple Access

Communications

Boris Bellalta, Alexey Vinel, Magnus Jonsson, Jaume

Barcelo, Roman Maslennikov, Periklis Chatzimisios,

David Malone

136

1

Web Information

Systems Engineering ‐ WISE 2012

X. Sean Wang, Isabel Cruz, Alex Delis, Guangyan

Huang

136

2

Advances in Information

Technology

Borworn Papasratorn, Nipon Charoenkitkarn, Kittichai

Lavangnananda, Wichian Chutimaskul, Vajirasak

Vanijja

136

3

AI 2012: Advances in


Michael Thielscher, Dongmo Zhang

136

4

Information Systems

Security

Venkat Venkatakrishnan, Diganta Goswami

136

5

Biometric Recognition Wei‐Shi Zheng, Zhenan Sun, Yunhong Wang, Xilin

Chen, Pong C. Yuen, Jianhuang Lai

136

6

Brain Informatics Fabio Massimo Zanzotto, Shusaku Tsumoto, Niels

Taatgen, Yiyu Yao

136

7

Shaping the Future of

ICT Research. Methods

and Approaches

Anol Bhattacherjee, Brian Fitzgerald

136

8

User Centric Media Federico Alvarez, Cristina Costa

136

9

Mobile Multimedia

Communications

Jonathan Rodriguez, Rahim Tafazolli, Christos

Verikoukis

137

0

Middleware 2012 Priya Narasimhan, Peter Triantafillou

137

1

The Semantic Web –

ISWC 2012 Philippe Cudré‐Mauroux, Jeff Heflin, Evren Sirin, Tania

Tudorache, Jérôme Euzenat, Manfred Hauswirth, Josiane

Xavier Parreira, Jim Hendler, Guus Schreiber, Abraham

Bernstein, Eva Blomqvist

137

2

The Semantic Web –

ISWC 2012 Philippe Cudré‐Mauroux, Jeff Heflin, Evren Sirin, Tania

Tudorache, Jérôme Euzenat, Manfred Hauswirth, Josiane

Xavier Parreira, Jim Hendler, Guus Schreiber, Abraham

Bernstein, Eva Blomqvist

137

3

Transactions on Petri

Nets and Other Models

of Concurrency VI

Kurt Jensen, Wil M. Aalst, Marco Ajmone Marsan,

Giuliana Franceschinis, Jetty Kleijn, Lars Michael

Kristensen

137

4

Programming Languages

and Systems

Ranjit Jhala, Atsushi Igarashi

137

5

Economics of Grids,

Clouds, Systems, and

Services

Kurt Vanmechelen, Jörn Altmann, Omer

F. Rana

137

6

Trends in Intelligent

Robotics, Automation,

and Manufacturing

S. G. Ponnambalam, Jussi Parkkinen, Kuppan Chetty

Ramanathan

137

7

Network Computing and

Information Security

Jingsheng Lei, Fu Lee Wang, Mo Li, Yuan Luo

137

8

Metadata and Semantics

Research Juan Manuel Dodero, Manuel Palomo‐ Duarte,

Pythagoras Karampiperis

137

9

Active Media

Technology

Runhe Huang, Ali A. Ghorbani, Gabriella Pasi, Takahira

Yamaguchi, Neil Y. Yen, Beijing Jin

138

0

Computer Applications

for Modeling,

Simulation, and

Automobile

Tai‐hoon Kim, Carlos Ramos, Jemal Abawajy,

Byeong‐Ho Kang, Dominik Ślęzak, Hojjat Adeli

138

1

Green and Smart

Technology with Sensor

Applications

Hyun‐seob Cho, Tai‐hoon Kim, Sabah Mohammed,

Hojjat Adeli, Myoung‐ kwan Oh, Keun‐Wang Lee

138

2

Algorithms and

Computation Kun‐Mao Chao, Tsan‐sheng Hsu, Der‐ Tsai Lee

138

3


for Security, Control and

System Engineering

Tai‐hoon Kim, Adrian Stoica, Wai‐chi Fang, Thanos

Vasilakos, Javier García Villalba, Kirk P. Arnett,

Muhammad Khurram Khan, Byeong‐Ho Kang

138

4


for Software

Engineering, Disaster

Recovery, and Business

Continuity

Tai‐hoon Kim, Carlos Ramos, Haeng‐kon Kim,

Akingbehin Kiumi, Sabah Mohammed, Dominik Ślęzak

138

5


for Web, Human

Computer Interaction,

Signal and Image

Processing, and Pattern

Recognition

Tai‐hoon Kim, Sabah Mohammed, Carlos Ramos, Jemal

Abawajy, Byeong‐ Ho Kang, Dominik Ślęzak

138

6

Multimedia and Signal

Processing

Fu Lee Wang, Jingsheng Lei, Rynson W.

H. Lau, Jingxin Zhang

138

7

Neural Networks: Tricks

of the Trade Grégoire Montavon, Geneviève B. Orr, Klaus‐Robert

Müller

138

8

Advances in Speech and

Language Technologies

for Iberian Languages

Doroteo Torre Toledano, Alfonso Ortega Giménez ,

António Teixeira, Joaquín González Rodríguez, Luis

Hernández Gómez, Rubén San Segundo Hernández,

Daniel Ramos Castro

138

9

Certified Programs and

Proofs

Chris Hawblitzel, Dale Miller

139

0

Internet and Network

Economics

Paul W. Goldberg

139

1

Advanced Machine

Learning Technologies

and Applications

Aboul Ella Hassanien, Abdel‐Badeeh M. Salem, Rabie

Ramadan, Tai‐hoon Kim

139

2

Transactions on



Systems VII

Abdelkader Hameurlain, Josef Küng, Roland Wagner

139

3

Information Retrieval

Technology Yuexian Hou, Jian‐Yun Nie, Le Sun, Bo Wang, Peng

Zhang

139

4

Cyberspace Safety and

Security Yang Xiang, Javier Lopez, C.‐C. Jay Kuo, Wanlei Zhou

139

5

Trusted Systems Chris J. Mitchell, Allan Tomlinson

139

6

Ubiquitous Computing

and Ambient Intelligence José Bravo, Diego López‐de‐Ipiña, Francisco Moya

139

7

Swarm, Evolutionary,

and Memetic Computing

Bijaya Ketan Panigrahi, Swagatam Das, Ponnuthurai

Nagaratnam Suganthan, Pradipta Kumar Nanda

139

8

Social Informatics Karl Aberer, Andreas Flache, Wander Jager, Ling Liu,

Jie Tang, Christophe Guéret

139

9

Ambient Assisted Living

and Home Care

José Bravo, Ramón Hervás, Marcela Rodríguez

140

0

Cryptology and Network

Security Josef Pieprzyk, Ahmad‐Reza Sadeghi, Mark Manulis

140

1

Information Security

Applications

Dong Hoon Lee, Moti Yung

140

2

Machine Learning in

Medical Imaging

Fei Wang, Dinggang Shen, Pingkun Yan, Kenji Suzuki

140

3 Multi‐disciplinary Trends

in Artificial Intelligence

Chattrakul Sombattheera, Nguyen Kim Loi, Rajeev

Wankar, Tho Quan

140

4

Principles of Distributed

Systems

Roberto Baldoni, Paola Flocchini, Ravindran Binoy

140

5

Artificial General

Intelligence

Joscha Bach, Ben Goertzel, Matthew Iklé

140

6

Digital Forensics and

Cyber Crime

Pavel Gladyshev, Marcus K. Rogers

140

7


for Bio‐technology,

Multimedia, and

Ubiquitous City

Tai‐hoon Kim, Jeong‐Jin Kang, William I. Grosky,

Tughrul Arslan, Niki Pissinou

140

8

Transactions on

Computational Systems

Biology XIV

Corrado Priami, Ion Petre, Erik Vink

140

9

Advanced Data Mining

and Applications

Shuigeng Zhou, Songmao Zhang, George Karypis

141

0

Artificial Evolution Jin‐Kao Hao, Pierrick Legrand, Pierre Collet, Nicolas

Monmarché, Evelyne Lutton, Marc Schoenauer

141

1

Big Data Analytics Srinath Srinivasa, Vasudha Bhatnagar

141

2

Coordination,

Organizations,

Institutions, and Norms

in Agent System VII

Stephen Cranefield, M. Birna Riemsdijk, Javier

Vázquez‐Salceda, Pablo Noriega

141

3 Transactions on Aspect‐ Oriented Software

Development IX

Gary T. Leavens, Shigeru Chiba, Michael Haupt, Klaus

Ostermann, Eric Wohlstadter

141

4

Testbeds and Research

Infrastructure.

Development of

Networks and

Thanasis Korakis, Michael Zink, Maximilian Ott

Communities

141

5

Game Theory for

Networks

Vikram Krishnamurthy, Qing Zhao, Minyi Huang,

Yonggang Wen

141

6

Future Generation

Information Technology Tai‐hoon Kim, Young‐hoon Lee, Wai‐chi Fang

141

7


for Communication,

Networking, and Digital

Contents

Tai‐hoon Kim, Dae‐sik Ko, Thanos Vasilakos, Adrian

Stoica, Jemal Abawajy

141

8


for Graphics, Grid

Computing, and

Industrial Environment

Tai‐hoon Kim, Hyun‐seob Cho, Osvaldo Gervasi,

Stephen S. Yau

141

9


for Database, Education,

and Ubiquitous

Computing

Tai‐hoon Kim, Jianhua Ma, Wai‐chi Fang, Yanchun

Zhang, Alfredo Cuzzocrea

142

0

Network and Parallel

Computing James J. Park, Albert Zomaya, Sang‐Soo Yeo, Sartaj

Sahni

142

1

Agent Based Simulation

for a Sustainable Society

and Multi‐ agent Smart

Computing

Stephen Cranefield, Insu Song

142

2

Advances in

Communication,

Network, and Computing

Vinu V. Das, Janahanlal Stephen

142

3

Current Trends in Web

Engineering

Michael Grossniklaus, Manuel Wimmer

142

4

Quantum Interaction Jerome R. Busemeyer, François Dubois, Ariane

Lambert‐Mogiliansky, Massimo Melucci

142

5

Computational

Intelligence Methods for

Bioinformatics and

Biostatistics

Elia Biganzoli, Alfredo Vellido, Federico Ambrogi,

Roberto Tagliaferri

142

6

Security Protocols XX Bruce Christianson, James Malcolm, Frank Stajano,

Jonathan Anderson

142

7

AI Approaches to the

Complexity of Legal

Systems. Models and

Ethical Challenges for

Legal Systems, Legal

Language and Legal

Monica Palmirani, Ugo Pagallo, Pompeu Casanovas,

Giovanni Sartor

Ontologies,

Argumentation and

Software Agents

142

8

Focused Retrieval of

Content and Structure

Shlomo Geva, Jaap Kamps, Ralf Schenkel

142

9

Trends and Topics in

Computer Vision

Kiriakos N. Kutulakos

143

0

Formal Aspects of

Component Software

Farhad Arbab, Peter Csaba Ölveczky

143

1

Tools for Practical

Software Verification

Bertrand Meyer, Martin Nordio

143

2

Trends and Topics in

Computer Vision

Kiriakos N. Kutulakos

143

3 E‐Business and

Telecommunications

Mohammad S. Obaidat, José L. Sevillano, Joaquim

Filipe

143

4

Product Lifecycle

Management. Towards

Knowledge‐Rich

Enterprises

Louis Rivest, Abdelaziz Bouras, Borhen Louhichi

143

5

Critical Infrastructure

Protection VI

Jonathan Butts, Sujeet Shenoi

143

6

Combinatorial

Algorithms

S. Arumugam, W. F. Smyth

143

7

Secure ICT Service

Provisioning for Cloud,

Mobile and Beyond

Eberhard Faber, Wolfgang Behnsen

143

8

ISSE 2012 Securing

Electronic Business

Processes

Helmut Reimer, Norbert Pohlmann, Wolfgang Schneider

143

9 SynDEVS Co‐Design

Flow

H. Gregor Molter

144

0

Recent Trends in

Information Reuse and

Integration

Tansel Özyer, Keivan Kianmehr, Mehmet Tan

144

1

Haptic Systems

Architecture Modeling

Anton Weber, Schahram Dustdar

144

2

Numerical and Symbolic


Ulrich Langer, Peter Paule

144

3

Loewy Decomposition of

Linear Differential

Equations

Fritz Schwarz

144

4

Introduction to

Programming Concepts

with Case Studies in

Python

Göktürk Üçoluk, Sinan Kalkan

144

5

Interactive Decision Aids

in E‐ Commerce

Jella Pfeiffer

144

6

Using Microsoft

Dynamics AX 2012

Andreas Luszczak

144

7

Specification and

Analytical Evaluation of

Heterogeneous Dynamic

Quorum‐Based Data

Replication Schemes

Christian Storm

144

8

Data Analytics Thomas A. Runkler

144

9

Information Flow Based

Security Control Beyond

RBAC

Klaus‐Peter Fischer‐Hellmann

145

0

Automatic Algorithm

Selection for Complex

Simulation Problems

Roland Ewald

145

1

Computer Aided Surgery Takeyoshi Dohi, Hongen Liao

145

2


Computation Shin‐ya Nishizaki, Masayuki Numao, Jaime Caro, Merlin

Teodosia Suarez

145

3

Advanced Methods,

Techniques, and

Applications in Modeling

and Simulation

Jong‐Hyun Kim, Kangsun Lee, Satoshi Tanaka,

Soo‐Hyun Park

145

4

Crittografia nel Paese

delle Meraviglie

Daniele Venturi

145

5

Introduction to Modern

Sleep Technology Rayleigh Ping‐Ying Chiang, Shih‐Chun (Jessy) Kang

145

6

Computer Science and its

Applications Sang‐Soo Yeo, Yi Pan, Yang Sun Lee, Hang Bae Chang

145

7

Integration of World

Knowledge for Natural

Language Understanding

Ekaterina Ovchinnikova

145

8

Answer Set

Programming for

Continuous Domains: A

Fuzzy Logic Approach

Jeroen Janssen, Steven Schockaert, Dirk Vermeir,

Martine de Cock

145

9

Theoretical Foundations

of Artificial General

Intelligence

Pei Wang, Ben Goertzel

146

0

Trustworthy Ubiquitous

Computing

Ismail Khalil, Teddy Mantoro

146

1

Computational

Intelligence Systems in

Industrial Engineering

Cengiz Kahraman

146

2

Neutral and Indifference

Portfolio Pricing,

Hedging and Investing

Srdjan Stojanovic

146

3

Visualizing Time Graham Wills

146

4

Structure and Geometry

of Lie Groups Joachim Hilgert, Karl‐Hermann Neeb

146

5

Interfacial Convection in

Multilayer Systems

A. Nepomnyashchy, I. Simanovskii, J.C. Legros

146

6

Dissipative Ordered

Fluids

Andre M. Sonnet, Epifanio G. Virga

146

7

Modeling with Stochastic

Programming

Alan J. King, Stein W. Wallace

146

8

Sensors: Theory,

Algorithms, and

Applications

Vladimir L. Boginski, Clayton W. Commander, Panos

M. Pardalos, Yinyu Ye

146

9

Sheaves of Algebras over

Boolean Spaces

Arthur Knoebel

147

0 Self‐adjoint Extensions

in Quantum Mechanics

D.M. Gitman, I.V. Tyutin, B.L. Voronov

147

1

An Introduction to

Riemann Surfaces

Terrence Napier, Mohan Ramachandran

147

2

Internal and External

Stabilization of Linear

Systems with Constraints

Ali Saberi, Anton A. Stoorvogel, Peddapullaiah Sannuti

147

3

Parametric Statistical

Change Point Analysis

Jie Chen, Arjun K. Gupta

147

4

Representation Theory,

Complex Analysis, and

Integral Geometry

Bernhard Krötz, Omer Offen, Eitan Sayag

147

5

The Theory of the Top

Volume III

Felix Klein, Arnold Sommerfeld

147

6

Einstein and the

Changing Worldviews of

Physics

Christoph Lehner, Jürgen Renn, Matthias Schemmel

147

7

Stochastic Models,

Information Theory, and

Lie Groups, Volume 2

Gregory S. Chirikjian

147

8

The Robust Maximum

Principle

Vladimir G. Boltyanski, Alexander S. Poznyak

147

9

Probability with

Statistical Applications

Rinaldo B. Schinazi

148

0

Mathematical Olympiad

Treasures

Titu Andreescu, Bogdan Enescu

148

1

Numerical Analysis Walter Gautschi

148

2

Subgame Consistent

Economic Optimization

David W.K. Yeung, Leon A. Petrosyan

148

3

Nonlinear Partial

Differential Equations for

Scientists and Engineers

Lokenath Debnath

148

4

Excursions in the History

of Mathematics

Israel Kleiner

148

5

Differentiable Manifolds Gerardo F. Torres del Castillo

148

6

Highlights in Lie

Algebraic Methods

Anthony Joseph, Anna Melnikov, Ivan Penkov

148

7

Perspectives in Analysis,

Geometry, and Topology

Ilia Itenberg, Burglind Jöricke, Mikael Passare

148

8

A New Approach to

Differential Geometry

using Clifford's

Geometric Algebra

John Snygg

148

9

A Beginner's Guide to

Discrete Mathematics

W.D. Wallis

149

0

From Calculus to

Analysis

Rinaldo B. Schinazi

149

1

Foundations of

Mathematical Analysis

S. Ponnusamy

149

2

The Mathematical

Experience, Study

Edition

Philip J. Davis, Reuben Hersh, Elena Anne Marchisotto

149

3

Prime Numbers and

Computer Methods for

Factorization

Hans Riesel

149

4

Fundamentals of Group

Theory

Steven Roman

149

5

A Geometric Approach

to Differential Forms

David Bachman

149

6

Duration and Bandwidth

Limiting

Jeffrey A. Hogan, Joseph D. Lakey

149

7

Mathematical Analysis Mariano Giaquinta, Giuseppe Modica

149

8

The Pullback Equation

for Differential Forms

Gyula Csató, Bernard Dacorogna, Olivier Kneuss

149

9

Shearlets Gitta Kutyniok, Demetrio Labate

150

0

A Beginner's Guide to

Finite Mathematics

W.D. Wallis

150

1

Game Theory for Control

of Optical Networks

Lacra Pavel

150

2

A Concise Introduction

to Linear Algebra

Géza Schay

150

3

Spectral Theory of

Operators on Hilbert

Spaces

Carlos S. Kubrusly

150

4

Multiple Dirichlet Series,

L‐ functions and

Automorphic Forms

Daniel Bump, Solomon Friedberg, Dorian Goldfeld

150

5

Optimization, Control,

and Applications of

Stochastic Systems

Daniel Hernández‐Hernández, J. Adolfo Minjárez‐Sosa

150

6

Singularities of

Differentiable Maps,

Volume 1

V.I. Arnold, S.M. Gusein‐Zade, A.N. Varchenko

150

7

Singularities of

Differentiable Maps,

Volume 2

V.I. Arnold, S.M. Gusein‐Zade, A.N. Varchenko

150

8

An Introduction to

Continuous‐Time

Stochastic Processes

Vincenzo Capasso, David Bakstein

150

9

The Classical Theory of

Integral Equations

Stephen M. Zemyan

151

0

Classical Mechanics with

Mathematica®

Romano Antonio

151

1

Rational Number Theory

in the 20th Century

Władysław Narkiewicz

151

2

Sustainable

Environmental Design in

Architecture

Stamatina Th. Rassia, Panos M. Pardalos

151

3

Survival Analysis David G. Kleinbaum, Mitchel Klein

151

4

Approximate Global

Convergence and

Adaptivity for

Coefficient Inverse

Larisa Beilina, Michael Victor Klibanov

Problems

151

5

The Geometry of

Minkowski Spacetime

Gregory L. Naber

151

6

Analysis on Fock Spaces Kehe Zhu

151

7

Demand Flexibility in

Supply Chain Planning

Joseph Geunes

151

8

Business Statistics for

Competitive Advantage

with Excel 2010

Cynthia Fraser

151

9

Hypernumbers and

Extrafunctions

Mark Burgin

152

0

Introduction to Smooth

Manifolds

John M. Lee

152

1

Knots and Primes Masanori Morishita

152

2

Combinatorial Set

Theory

Lorenz J. Halbeisen

152

3

Syzygies and Homotopy

Theory

F.E.A. Johnson

152

4

Mathematical Methods

for Signal and Image

Analysis and

Representation

Luc Florack, Remco Duits, Geurt Jongbloed,

Marie‐Colette Lieshout, Laurie Davies

152

5

Finitely Generated

Abelian Groups and

Similarity of Matrices

over a Field

Christopher Norman

152

6

Linear Algebra and

Linear Models

R.B. Bapat

152

7

Functional Spaces for the

Theory of Elliptic Partial

Differential Equations

Françoise Demengel, Gilbert Demengel

152

8

Normal Forms, Melnikov

Functions and

Bifurcations of Limit

Cycles

Maoan Han, Pei Yu

152

9

Partial Differential

Equations 1

Friedrich Sauvigny

153

0


Equations 2

Friedrich Sauvigny

153

1

Tools for Computational

Finance

Rüdiger U. Seydel

153

2

Complex Analysis and


Luis Barreira, Claudia Valls

153

3

Arithmetic Tales Olivier Bordellès

153

4

The Local Structure of

Algebraic K‐Theory

Bjørn Ian Dundas, Thomas G. Goodwillie, Randy

McCarthy

153

5

Automorphic Forms Anton Deitmar

153

6 Partitions, q‐Series, and

Modular Forms

Krishnaswami Alladi, Frank Garvan

153

7

Functional Equations in

Mathematical Analysis

Themistocles M. Rassias, Janusz Brzdek

153

8

Group Testing Theory in

Network Security

My T. Thai

153

9

Edmond Halley’s

Reconstruction of the

Lost Book of

Apollonius’s Conics

Michael N. Fried

154

0

Symmetry Kristopher Tapp

154

1

A Polynomial Approach

to Linear Algebra

Paul A. Fuhrmann

154

2

Modern Mathematical

Statistics with

Applications

Jay L. Devore, Kenneth N. Berk

154

3

Nonlinear Filtering and

Optimal Phase Tracking

Zeev Schuss

154

4

Bifurcation Theory Hansjörg Kielhöfer

154

5

Statistical Tools for

Measuring Agreement

Lawrence Lin, A. S. Hedayat, Wenting Wu

154

6

Regression Analysis

Under A Priori Parameter

Restrictions

Pavel S. Knopov, Arnold S. Korkhin

154

7

Generalized Solutions of

Operator Equations and

Extreme Elements

D.A. Klyushin, S.I. Lyashko, D.A. Nomirovskii, Yu.I.

Petunin, V.V. Semenov

154

8

Buildings, Finite

Geometries and Groups

N.S. Narasimha Sastry

154

9

Handbook of

Optimization in Complex

Networks

My T. Thai, Panos M. Pardalos

155

0

Approximation Theory

XIII: San Antonio 2010

Marian Neamtu, Larry Schumaker

155

1

Representation Theory of

Finite Groups

Benjamin Steinberg

155

2

Handbook of

Optimization in Complex

Networks

My T. Thai, Panos M. Pardalos

155

3

Regularity Concepts in

Nonsmooth Analysis

Messaoud Bounkhel

155

4 Just‐in‐Time Systems Roger Z. Ríos‐Mercado, Yasmín A. Ríos‐ Solís

155

5

Epidemiology Klaus Krickeberg, Van Trong Pham, Thi My Hanh Pham

155

6

Contributions in Analytic

and Algebraic Number

Theory

Valentin Blomer, Preda Mihăilescu

155

7

Representing Finite

Groups

Ambar N. Sengupta

155

8

Behavioral Research

Data Analysis with R

Yuelin Li, Jonathan Baron

155

9

Number Theory,

Analysis and Geometry

Dorian Goldfeld, Jay Jorgenson, Peter Jones, Dinakar

Ramakrishnan, Kenneth Ribet, John Tate

156

0

Anticipatory Systems Robert Rosen

156

1

Biostatistics with R Babak Shahbaba

156

2

Selected Works of

Willem van

Sara van de Geer, Marten Wegkamp

Zwet

156

3

Selected Works of David

Brillinger

Peter Guttorp, David Brillinger

156

4

Selected Works of Terry

Speed

Sandrine Dudoit

156

5

Regression Methods in

Biostatistics

Eric Vittinghoff, David V. Glidden, Stephen C. Shiboski,

Charles E. McCulloch

156

6

R by Example Jim Albert, Maria Rizzo

156

7

Selected Works of E. L.

Lehmann

Javier Rojo

156

8

Singularities in Elliptic

Boundary Value

Problems and Elasticity

and Their Connection

with Failure

Zohar Yosibash

Initiation

156

9

Operator Inequalities of

the Jensen, Čebyšev and

Grüss Type

Silvestru Sever Dragomir

157

0

Harnack's Inequality for

Degenerate and Singular

Parabolic Equations

Emmanuele DiBenedetto, Ugo Gianazza, Vincenzo

Vespri

157

1

Mathematical Models in

Population Biology and

Epidemiology

Fred Brauer, Carlos Castillo‐Chavez

157

2

Thermodynamics of

Materials with Memory

Giovambattista Amendola, Mauro Fabrizio, John

Murrough Golden

157

3

Design and Analysis of

Approximation

Algorithms

Ding‐Zhu Du, Ker‐I Ko, Xiaodong Hu

157

4

Analysis of

Phylogenetics and

Evolution with R

Emmanuel Paradis

157

5

Modern Optimization

Techniques with

Applications in Electric

Power Systems

Soliman Abdel‐Hady Soliman, Abdel‐Aal Hassan

Mantawy

157

6

Operator Inequalities of

Ostrowski and

Trapezoidal Type

Silvestru Sever Dragomir

157

7

Inverse Limits W.T. Ingram, William S. Mahavier

157

8

Algebraic Geometry over

the Complex Numbers

Donu Arapura

157

9 Fractal‐Based Methods in

Analysis

Herb Kunze, Davide La Torre, Franklin Mendivil,

Edward R. Vrscay

158

0

Topological Aspects of

Nonsmooth Optimization

Vladimir Shikhman

158

1

Mixed Integer Nonlinear

Programming

Jon Lee, Sven Leyffer

158

2

Spectra of Graphs Andries E. Brouwer, Willem H. Haemers

158

3

Deterministic Global

Optimization

Daniel Scholz

158

4

Probability

Approximations and

Beyond

Andrew Barbour, Hock Peng Chan, David Siegmund

158

5

Competing Risks and

Multistate Models with R

Jan Beyersmann, Arthur Allignol, Martin Schumacher

158

6

Excel 2010 for

Educational and

Psychological Statistics

Thomas Quirk

158

7

Data Mining for

Biomarker Discovery

Panos M. Pardalos, Petros Xanthopoulos, Michalis

Zervakis

158

8

Modular Forms: Basics

and Beyond

Goro Shimura

158

9 Two‐Way Analysis of

Variance

Thomas W. MacFarland

159

0

Ancient Astronomical

Observations and the

Study of the Moon’s

Motion (1691‐

John M. Steele

1757)

159

1

Vector Analysis Versus

Vector Calculus

Antonio Galbis, Manuel Maestre

159

2

Analysis of Genetic

Association Studies

Gang Zheng, Yaning Yang, Xiaofeng Zhu, Robert C.

Elston

159

3

Advances in

Meta‐Analysis

Terri D. Pigott

159

4 Discrete‐Time Linear

Systems

Guoxiang Gu

159

5

Graphical Models with R Søren Højsgaard, David Edwards, Steffen Lauritzen

159

6

Scheduling Michael L. Pinedo

159

7

Henri Poincaré Ferdinand Verhulst

159

8

Variational Analysis and

Aerospace Engineering:

Mathematical Challenges

for Aerospace Design

Giuseppe Buttazzo, Aldo Frediani

159

9

Rainbow Connections of

Graphs

Xueliang Li, Yuefang Sun

160

0

The Beltrami Equation Vladimir Gutlyanskii, Vladimir Ryazanov, Uri Srebro,

Eduard Yakubov

160

1

Pyomo – Optimization

Modeling in Python William E. Hart, Carl Laird, Jean‐Paul Watson, David L.

Woodruff

160

2

Astrostatistics and Data

Mining

Luis Manuel Sarro, Laurent Eyer, William O'Mullane,

Joris De Ridder

160

3

Topics in Numerical

Methods for Finance

Mark Cummins, Finbarr Murphy, John

J.H. Miller

160

4

Nonoscillation Theory of

Functional Differential

Equations with

Applications

Ravi P. Agarwal, Leonid Berezansky, Elena Braverman,

Alexander Domoshnitsky

160

5

Nonlinear Analysis Panos M. Pardalos, Pando G. Georgiev, Hari M.

Srivastava

160

6

Statistical Challenges in

Modern Astronomy V

Eric D. Feigelson, G. Jogesh Babu

160

7

Introduction to the

Mathematics of Finance

Steven Roman

160

8

Aeroelasticity AV Balakrishnan

160

9

Linear Algebra Peter Petersen

161

0

Essentials of Stochastic

Processes

Richard Durrett

161

1

Ordinary Differential

Equations

William A. Adkins, Mark G. Davidson

161

2

Excel 2007 for Social

Science Statistics

Thomas J. Quirk

161

3

Excel 2010 for Social

Science Statistics

Thomas J. Quirk

161

4

Six Sigma with R Emilio L. Cano, Javier M. Moguerza, Andrés Redchuk

161

5

Inference for Functional

Data with Applications

Lajos Horváth, Piotr Kokoszka

161

6

Multicriteria Portfolio

Management

Panos Xidonas, George Mavrotas, Theodore Krintas,

John Psarras, Constantin Zopounidis

161

7

Problems in Probability Albert N. Shiryaev

161

8

Fundamentals of

Queuing Systems

Nick T. Thomopoulos

161

9

Markov Bases in

Algebraic Statistics

Satoshi Aoki, Hisayuki Hara, Akimichi Takemura

162

0

Excel 2007 for

Educational and

Psychological Statistics

Thomas J. Quirk

162

1

Excel 2007 for Business

Statistics

Thomas J. Quirk

162

2

Classical Mechanics Jan Awrejcewicz

162

3

Financial Decision

Making Using

Computational

Michael Doumpos, Constantin Zopounidis, Panos M.

Pardalos

Intelligence

162

4

Babylonian

Mathematical

Astronomy: Procedure

Texts

Mathieu Ossendrijver

162

5

Classical Mechanics Jan Awrejcewicz

162

6

Ramanujan's Lost

Notebook

George E. Andrews, Bruce C. Berndt

162

7

Geometric Optimal

Control

Heinz Schättler, Urszula Ledzewicz

162

8

Calculus on Normed

Vector Spaces

Rodney Coleman

162

9

Dynamics of Information

Systems: Mathematical

Alexey Sorokin, Robert Murphey, My T. Thai, Panos M.

Pardalos

Foundations

163

0

Modeling and

Optimization: Theory

and Applications

Tamás Terlaky, Frank E. Curtis

163

1

Global Optimization Stefan Schäffler

163

2

Classical Mechanics Jan Awrejcewicz, Zbigniew Koruba

163

3

Approximation Methods

for Polynomial

Optimization

Zhening Li, Simai He, Shuzhong Zhang

163

4

Natural Locomotion in

Fluids and on Surfaces

Stephen Childress, Anette Hosoi, William W. Schultz,

Jane Wang

163

5

Missing Data John W. Graham

163

6

Topics in Fractional


Saïd Abbas, Mouffak Benchohra, Gaston M.

N'Guérékata

163

7

Lecture Notes on

O‐Minimal Structures

and Real Analytic

Geometry

Chris Miller, Jean‐Philippe Rolin, Patrick Speissegger

163

8

Modeling Infectious

Disease Parameters

Based on

Niel Hens, Ziv Shkedy, Marc Aerts, Christel Faes, Pierre

Van Damme, Philippe Beutels

Serological and Social

Contact Data

163

9

Risk and Portfolio

Analysis

Henrik Hult, Filip Lindskog, Ola Hammarlid, Carl Johan

Rehn

164

0

Applications of

Mathematics and

Informatics in Military

Science

Nicholas J. Daras

164

1

Optimization and Data

Analysis in Biomedical

Informatics

Panos M. Pardalos, Thomas F. Coleman, Petros

Xanthopoulos

164

2

Analyzing Markov

Chains using Kronecker

Products

Tuğrul Dayar

164

3

Methods of Optimization

and Systems Analysis for

Problems of

Transcomputational

Complexity

Ivan V. Sergienko

164

4

Graph Energy Xueliang Li, Yongtang Shi, Ivan Gutman

164

5

Homogeneous Finsler

Spaces

Shaoqiang Deng

164

6

An Introduction to

Modern Mathematical

Computing

Jonathan M. Borwein, Matthew P. Skerritt

164

7

Introduction to

Mathematical Structures

and Proofs

Larry J. Gerstein

164

8

Ordering Block Designs Megan Dewar, Brett Stevens

164

9

Introduction to Piecewise

Differentiable Equations

Stefan Scholtes

165

0

Modeling

Psychophysical Data in R

Kenneth Knoblauch, Laurence T. Maloney

165

1

An Introduction to

Inverse Limits with

Set‐valued

W.T. Ingram

Functions

165

2

A Textbook of Graph

Theory

R. Balakrishnan, K. Ranganathan

165

3

Bridging Mathematics,

Statistics, Engineering

and Technology

Bourama Toni, Keith Williamson, Nasser Ghariban,

Dawit Haile, Zhifu Xie

165

4

Data Storage for Social

Networks

Duc A. Tran

165

5

Stationarity and

Convergence in

Reduce‐or‐Retreat

Minimization

Adam B. Levy

165

6

Restricted Kalman

Filtering

Adrian Pizzinga

165

7

Data Correcting

Approaches in

Combinatorial

Optimization

Boris Goldengorin, Panos M. Pardalos

165

8

Falling Liquid Films S. Kalliadasis, C. Ruyer‐Quil, B. Scheid,

M. G. Velarde

165

9

New Essays on Leibniz

Reception Ralf Krömer, Yannick Chin‐Drian

166

0

Quantum Field Theory

and Gravity

Felix Finster, Olaf Müller, Marc Nardmann, Jürgen

Tolksdorf, Eberhard Zeidler

166

1

Constrained

Optimization and

Optimal Control for


Equations

Günter Leugering, Sebastian Engell, Andreas Griewank,

Michael Hinze, Rolf Rannacher, Volker Schulz, Michael

Ulbrich, Stefan Ulbrich

166

2

Frames and Locales Jorge Picado, Aleš Pultr

166

3

Critical Point Theory for

Lagrangian Systems

Marco Mazzucchelli

166

4

Visual Complex

Functions

Elias Wegert

166

5

Nonlinear Partial


Luis A. Caffarelli, François Golse, Yan Guo, Carlos E.

Kenig, Alexis Vasseur

166

6

Algebraic

Approximation: A Guide

to Past and Current

Solutions

Jorge Bustamante

166

7

Methods of Geometric

Analysis in Extension

and

Alexander Brudnyi, Yuri Brudnyi

Trace Problems

166

8

Methods of Geometric

Analysis in Extension

and Trace Problems

Alexander Brudnyi, Yuri Brudnyi

166

9

The Vexing Case of Igor

Shafarevich, a Russian

Political Thinker

Krista Berglund

167

0

A Panorama of Modern

Operator Theory and

Related Topics

Harry Dym, Marinus A. Kaashoek, Peter Lancaster,

Heinz Langer, Leonid Lerer

167

1

Mathematicians in

Bologna 1861–1960

Salvatore Coen

167

2

Associated Sequences,

Demimartingales and

Nonparametric Inference

B.L.S. Prakasa Rao

167

3

Inequalities and

Applications 2010

Catherine Bandle, Attila Gilányi, László Losonczi,

Michael Plum

167

4

Iris Runge Renate Tobies

167

5

Metric and Differential

Geometry

Xianzhe Dai, Xiaochun Rong

167

6

Representations of Finite

Groups: Local

Cohomology and Support

David J. Benson, Srikanth Iyengar, Henning Krause

167

7

Spectral Theory,

Function Spaces and

Inequalities

B. Malcolm Brown, Jan Lang, Ian G. Wood

167

8 Global Well‐posedness

of Nonlinear Parabolic‐ Hyperbolic Coupled

Systems

Yuming Qin, Lan Huang

167

9

For Better or For Worse?

Collaborative Couples in

the Sciences

Annette Lykknes, Donald L. Opitz, Brigitte Van

Tiggelen

168

0

Modern Optimization

Modelling Techniques

Roberto Cominetti, Francisco Facchinei, Jean B. Lasserre

168

1

Spectral Theory,

Mathematical System

Theory, Evolution

Equations,

Wolfgang Arendt, Joseph A. Ball, Jussi Behrndt,

Karl‐Heinz Förster, Volker Mehrmann, Carsten Trunk

Differential and

Difference Equations

168

2

Recent Progress in

Operator Theory and Its

Applications

Joseph A. Ball, Raúl E. Curto, Sergei M. Grudsky, J.

William Helton, Raúl Quiroga‐Barranco, Nikolai L.

Vasilevski

168

3

Hilbert Modular Forms

with Coefficients in

Intersection Homology

and Quadratic Base

Change

Jayce Getz, Mark Goresky

168

4

Levy Processes, Integral

Equations, Statistical

Physics: Connections and

Interactions

Lev A. Sakhnovich

168

5

Compressible

Navier‐Stokes Equations

Pavel Plotnikov, Jan Sokołowski

168

6

Sharp Martingale and

Semimartingale

Inequalities

Adam Osękowski

168

7 Yamabe‐type Equations

on Complete,

Noncompact Manifolds

Paolo Mastrolia, Marco Rigoli, Alberto G Setti

168

8

Around and Beyond the

Square of Opposition Jean‐Yves Béziau, Dale Jacquette

168

9

Measure and Integration Heinz König

169

0

Architecture, Systems

Research and

Computational

Kim Williams

Sciences

169

1 Linear Port‐Hamiltonian

Systems on Infinite‐ Birgit Jacob, Hans J. Zwart

dimensional Spaces

169

2

Associahedra, Tamari

Lattices and Related

Structures

Folkert Müller‐Hoissen, Jean Marcel Pallo, Jim Stasheff

169

3

Mathematical Methods in

Systems, Optimization,

and

Harry Dym, Mauricio C. Oliveira, Mihai Putinar

Control

169

4

Spectral Analysis of

Quantum Hamiltonians

Rafael Benguria, Eduardo Friedman, Marius Mantoiu

169

5

Advances in Applied

Analysis

Sergei V. Rogosin, Anna A. Koroleva

169

6

Classical Geometries in

Modern Contexts

Walter Benz

169

7

Interpolation, Schur

Functions and Moment

Problems II

Daniel Alpay, Bernd Kirstein

169

8

A Comprehensive

Treatment of q‐Calculus

Thomas Ernst

169

9

Mathematical

Optimization of Water

Networks

Alexander Martin, Kathrin Klamroth, Jens Lang, Günter

Leugering, Antonio Morsi, Martin Oberlack, Manfred

Ostrowski, Roland Rosen

170

0

Evolution Equations of

Hyperbolic and

Schrödinger Type

Michael Ruzhansky, Mitsuru Sugimoto, Jens Wirth

170

1

Plane Algebraic Curves Egbert Brieskorn, Horst Knörrer

170

2

Evolutionary Integral

Equations and

Applications

Jan Prüss

170

3

Persian Architecture and

Mathematics

Reza Sarhangi

170

4

Digital Fabrication Kim Williams

170

5

The Cinderella.2 Manual Jürgen Richter‐Gebert, Ulrich H. Kortenkamp

170

6

Algèbre N. Bourbaki

170

7

Direct Methods in the

Theory of Elliptic

Equations

Jindřich Nečas

170

8

Analisi Funzionale E. Bompiani

170

9

Equazioni alle derivate

parziali a caratteristiche

reali

Luigi Amerio

171

0

Propagazione delle onde

elettromagnetiche

Dario Graffi

171

1

Teoria algebrica dei

meccanismi automatici

R. Righi

171

2

Advances and Challenges

in Space‐time Modelling

of Natural Events

Emilio Porcu, José–María Montero, Martin Schlather

171

3

Applied Multivariate

Statistical Analysis

Wolfgang Karl Härdle, Léopold Simar

171

4

Handbook of

Computational Finance Jin‐Chuan Duan, Wolfgang Karl Härdle, James E. Gentle

171

5

CGAL Arrangements and

Their Applications

Efi Fogel, Dan Halperin, Ron Wein

171

6

A Royal Road to

Algebraic Geometry

Audun Holme

171

7

Analysis for Science,

Engineering and Beyond Kalle Åström, Lars‐Erik Persson, Sergei

D. Silvestrov

171

8

The Playful Machine Ralf Der, Georg Martius

171

9 Pen‐and‐Paper User

Interfaces

Jürgen Steimle

172

0

Advanced Statistical

Methods for the Analysis

of Large Data‐ Sets

Agostino Di Ciaccio, Mauro Coli, Jose Miguel Angulo

Ibanez

172

1

Handbook of

Computational Statistics

James E. Gentle, Wolfgang Karl Härdle, Yuichi Mori

172

2

Visualization in

Medicine and Life

Sciences II

Lars Linsen, Hans Hagen, Bernd Hamann,

Hans‐Christian Hege

172

3

Numerical Analysis of

Multiscale Computations Björn Engquist, Olof Runborg, Yen‐Hsi

R. Tsai

172

4

Approximation

Algorithms and

Semidefinite

Programming

Bernd Gärtner, Jiri Matousek

172

5

Numerical Analysis of

Multiscale Problems

Ivan G. Graham, Thomas Y. Hou, Omar Lakkis, Robert

Scheichl

172

6

The Beauty of Everyday

Mathematics

Norbert Herrmann

172

7

High Performance

Computing on Vector

Systems 2011

Michael Resch, Xin Wang, Wolfgang Bez, Erich Focht,

Hiroaki Kobayashi, Sabine Roller

172

8

Stochastic Differential

Equations and Processes

Mounir Zili, Darya V. Filatova

172

9

Scientific Computing in

Electrical Engineering

SCEE 2010

Bastiaan Michielsen, Jean‐René Poirier

173

0

Discontinuous

Dynamical Systems

Albert C. J. Luo

173

1

Transcending Tradition Birgit Bergmann, Moritz Epple, Ruti Ungar

173

2

The Crossing of Heaven Karl Gustafson

173

3

Topics in

Noncommutative

Algebra

Andrea Bonfiglioli, Roberta Fulci

173

4

Nonlinear PDEs Marius Ghergu, Vicenţiu D. Rӑdulescu

173

5

Global Differential

Geometry

Christian Bär, Joachim Lohkamp, Matthias Schwarz

173

6

Mathematical Aspects of

Discontinuous Galerkin

Methods

Daniele Antonio Di Pietro, Alexandre Ern

173

7

Mathematical Modeling

in Biomedical Imaging II

Habib Ammari

173

8

Automated Solution of

Differential Equations by

the Finite Element

Method

Anders Logg, Kent‐Andre Mardal, Garth Wells

173

9

Topological Methods in

Data Analysis and

Visualization II

Ronald Peikert, Helwig Hauser, Hamish Carr, Raphael

Fuchs

174

0

Handbook of Networks

in Power Systems I

Alexey Sorokin, Steffen Rebennack, Panos M. Pardalos,

Niko A. Iliadis, Mario V. F. Pereira

174

1

Stochastic Stability of


Rafail Khasminskii

174

2

Handbook of Networks

in Power Systems II

Alexey Sorokin, Steffen Rebennack, Panos M. Pardalos,

Niko A. Iliadis, Mario V. F. Pereira

174

3

A Concise Guide to

Statistics Hans‐Michael Kaltenbach

174

4

Algebraic Modeling

Systems

Josef Kallrath

174

5

Milnor Fiber Boundary

of a Non‐isolated Surface

Singularity

András Némethi, Ágnes Szilárd

174

6

Complex Monge–

Ampère Equations and

Geodesics in the Space of

Kähler Metrics

Vincent Guedj

174

7

Inequalities Zdravko Cvetkovski

174

8

Probability in Complex

Physical Systems Jean‐Dominique Deuschel, Barbara Gentz, Wolfgang

König, Max von Renesse, Michael Scheutzow, Uwe

Schmock

174

9

Spectral Analysis on

Graph‐ like Spaces

Olaf Post

175

0

High Performance

Computing in Science

and Engineering '11

Wolfgang E. Nagel, Dietmar B. Kröner, Michael M.

Resch

175

1

The Arithmetic of

Fundamental Groups

Jakob Stix

175

2

Frontiers in Numerical

Analysis ‐ Durham 2010

James Blowey, Max Jensen

175

3

Intersections of

Hirzebruch– Zagier

Divisors and CM Cycles

Benjamin Howard, Tonghai Yang

175

4

Modeling

Dose‐Response

Microarray Data in Early

Drug Development

Experiments

Dan Lin, Ziv Shkedy, Daniel Yekutieli, Dhammika

Amaratunga, Luc Bijnens

Using R

175

5

Multiscale and

Adaptivity: Modeling,

Numerics and

Applications

Silvia Bertoluzza, Ricardo H. Nochetto, Alfio

Quarteroni, Kunibert G. Siebert, Andreas Veeser

175

6

Discretization of

Processes

Jean Jacod, Philip Protter

175

7

Approximate

Deconvolution Models of

Turbulence

William J. Layton, Leo Rebholz

175

8

The Dirichlet Problem

for Elliptic‐Hyperbolic

Equations of Keldysh

Type

Thomas H. Otway

175

9

Challenges at the

Interface of Data

Analysis, Computer

Science, and

Optimization

Wolfgang A. Gaul, Andreas Geyer‐ Schulz, Lars

Schmidt‐Thieme, Jonas Kunze

176

0

Combinatorial

Optimization

Bernhard Korte, Jens Vygen

176

1

Mathematics and Modern

Art

Claude Bruter

176

2

Boolean Function

Complexity

Stasys Jukna

176

3

Phase Change in

Mechanics

Michel Frémond

176

4

Finsler Geometry Xinyue Cheng, Zhongmin Shen

176

5

Lectures on Gaussian

Processes

Mikhail Lifshits

176

6

Optimization for

Industrial Problems

Patrick Bangert

176

7

Progress in Industrial

Mathematics at ECMI

2010

Michael Günther, Andreas Bartel, Markus Brunk,

Sebastian Schöps, Michael Striebel

176

8

Homotopy Analysis

Method in Nonlinear


Shijun Liao

176

9

Mathematical Modeling

for Complex Fluids and

Flows

Michel O. Deville, Thomas B. Gatski

177

0

Nonlinear Partial


Helge Holden, Kenneth H. Karlsen

177

1

Asymptotics for

Associated Random

Variables

Paulo Eduardo Oliveira

177

2

Manfredo P. do Carmo –

Selected Papers

Manfredo P. do Carmo

177

3

A Theory of Branched

Minimal Surfaces

Anthony Tromba

177

4

Extremal Polynomials

and Riemann Surfaces

Andrei Bogatyrev

177

5

Modeling, Simulation

and Optimization of

Complex Processes

Hans Georg Bock, Xuan Phu Hoang, Rolf Rannacher,

Johannes P. Schlöder

177

6

Raising Public

Awareness of

Mathematics

Ehrhard Behrends, Nuno Crato, José Francisco

Rodrigues

177

7

Numerical Methods in

Finance

René A. Carmona, Pierre Del Moral, Peng Hu, Nadia

Oudjane

177

8

Random Perturbations of

Dynamical Systems

Mark I. Freidlin, Alexander D. Wentzell

177

9

Computational Fluid

Dynamics Based on the

Unified Coordinates

Wai‐How Hui, Kun Xu

178

0

Spherical Harmonics and

Approximations on the

Unit Sphere: An

Introduction

Kendall Atkinson, Weimin Han

178

1

Regularity Estimates for

Nonlinear Elliptic and

Parabolic Problems

John Lewis, Peter Lindqvist, Juan J. Manfredi, Sandro

Salsa

178

2 Thermo‐Hydro‐Mechanic

al‐ Chemical Processes in

Porous Media

Olaf Kolditz, Uwe‐Jens Görke, Hua Shao, Wenqing

Wang

178

3

Bayesian Methods in

Structural Bioinformatics

Thomas Hamelryck, Kanti Mardia, Jesper

Ferkinghoff‐Borg

178

4

New Developments in

the Visualization and

Processing of Tensor

Fields

David H. Laidlaw, Anna Vilanova

178

5 Handbook of CO₂ in

Power Systems

Qipeng P. Zheng, Steffen Rebennack, Panos M.

Pardalos, Mario V. F. Pereira, Niko A. Iliadis

178

6 Monte Carlo and Quasi‐ Monte Carlo Methods

2010

Leszek Plaskota, Henryk Woźniakowski

178

7

Séminaire de Probabilités

XLIV Catherine Donati‐Martin, Antoine Lejay, Alain Rouault

178

8

Almost Periodic

Solutions of Impulsive

Differential

Gani T. Stamov

Equations

178

9

Sparsity Jaroslav Nešetřil, Patrice Ossona de Mendez

179

0

Control of Partial

Differential Equations Fatiha Alabau‐Boussouira, Roger Brockett, Olivier

Glass, Jérôme Le Rousseau, Enrique Zuazua

179

1

Tensor Spaces and

Numerical Tensor

Calculus

Wolfgang Hackbusch

179

2

Solving Differential

Equations in R

Karline Soetaert, Jeff Cash, Francesca Mazzia

179

3

Ergodic Theory,

Hyperbolic Dynamics

and Dimension Theory

Luis Barreira

179

4

Degenerate Nonlinear

Diffusion Equations

Angelo Favini, Gabriela Marinoschi

179

5

Stochastic Models in Life

Insurance

Michael Koller

179

6

Evolution Inclusions and

Variation Inequalities for

Earth Data Processing III

Mikhail Z. Zgurovsky, Pavlo O. Kasyanov, Oleksiy V.

Kapustyan, José Valero, Nina V. Zadoianchuk

179

7

Six Short Chapters on

Automorphic Forms and

L‐

Ze‐Li Dou, Qiao Zhang

functions

179

8

Essays in Mathematics

and its Applications

Panos M. Pardalos, Themistocles M. Rassias

179

9

The Greek Language in

the Digital Age


180

0

Novelty, Information and

Surprise

Günther Palm

180

1

Geometry by Its History Alexander Ostermann, Gerhard Wanner

180

2

Modular Forms with

Integral and Half‐Integral

Weights

Xueli Wang, Dingyi Pei

180

3

Linguistic Decision

Making

Zeshui Xu

180

4

Quantum Many Body

Systems

Vincent Rivasseau, Robert Seiringer, Jan Philip Solovej,

Thomas Spencer

180

5 A1‐Algebraic Topology

over a Field

Fabien Morel

180

6

Intuitionistic Fuzzy

Information Aggregation

Zeshui Xu, Xiaoqiang Cai

180

7

The Portuguese

Language in the Digital

Age


180

8

Coulomb Frames in the

Normal Bundle of

Surfaces in Euclidean

Spaces

Steffen Fröhlich

180

9

Geometric Aspects of

Functional Analysis

Bo'az Klartag, Shahar Mendelson, Vitali

D. Milman

181

0

Fluctuations in Markov

Processes

Tomasz Komorowski, Claudio Landim, Stefano Olla

181

1

Stochastic Analysis and

Related Topics

Laurent Decreusefond, Jamal Najim

181

2

Recent Advances in

Algorithmic

Differentiation

Shaun Forth, Paul Hovland, Eric Phipps, Jean Utke,

Andrea Walther

181

3

The Bulgarian Language

in the Digital Age


181

4

The Icelandic Language

in the Digital Age


181

5

A Primer on Scientific

Programming with

Python

Hans Petter Langtangen

181

6

Algebraic Operads Jean‐Louis Loday, Bruno Vallette

181

7

The Slovak Language in

the Digital Age


181

8

The Hungarian Language

in the Digital Age


181

9

The Irish Language in the

Digital Age


182

0

The Danish Language in

the Digital Age


182

1

The Slovene Language in

the Digital Age


182

2

The Catalan Language in

the Digital Age


182

3

The Maltese Language in

the Digital Age


182

4

The English Language in

the Digital Age


182

5

The Romanian Language

in the Digital Age


182

6

The Czech Language in

the Digital Age


182

7

The Serbian Language in

the Digital Age


182

8

The Lithuanian Language

in the Digital Age


182

9

The French Language in

the Digital Age


183

0

The Italian Language in

the Digital Age


183

1

The Estonian Language

in the Digital Age


183

2

The Basque Language in

the Digital Age


183

3

The Galician Language

in the Digital Age


183

4

The Polish Language in

the Digital Age


183

5

The Swedish Language

in the Digital Age


183

6

The Spanish Language in

the Digital Age


183

7

The Latvian Language in

the Digital Age


183

8

The Croatian Language

in the Digital Age


183

9 q ‐Fractional Calculus

and Equations

Mahmoud H. Annaby, Zeinab S. Mansour

184

0

Gems of Geometry John Barnes

184

1

Prime Divisors and

Noncommutative

Valuation Theory

Hidetoshi Marubayashi, Fred Van Oystaeyen

184

2

Analytically Tractable

Stochastic Stock Price

Models

Archil Gulisashvili

184

3

The Norwegian


Age


184

4

The Norwegian


Age


184

5

Diffeomorphisms of

Elliptic 3‐ Manifolds

Sungbok Hong, John Kalliongis, Darryl McCullough, J.

Hyam Rubinstein

184

6

Nonlinear Flow

Phenomena and

Homotopy Analysis

Kuppalapalle Vajravelu, Robert A. Gorder

184

7

Exploring Research

Frontiers in

Contemporary Statistics

and Econometrics

Ingrid Van Keilegom, Paul W. Wilson

184

8

Frontiers in Statistical

Quality Control 10 Hans‐Joachim Lenz, Wolfgang Schmid, Peter‐Theodor

Wilrich

184

9 Black‐Box Models of

Computation in

Cryptology

Tibor Jager

185

0

Trivariate Local

Lagrange Interpolation

and Macro Elements of

Arbitrary Smoothness

Michael A. Matt

185

1

Adaptive Hierarchical

Isogeometric Finite

Element Methods

Anh‐Vu Vuong

185

2 Lp‐Theory of Cylindrical

Boundary Value

Problems

Tobias Nau

185

3

A Course in Complex

Analysis

Wolfgang Fischer, Ingo Lieb

185

4

Referees in Sports

Contests

Cedric Duvinage

185

5

Advances in

Mathematical Economics

Volume 16

Shigeo Kusuoka, Toru Maruyama

185

6

Teaching and Learning

of

Akio Kawauchi, Tomoko Yanagimoto

Knot Theory in School

Mathematics

185

7

Statistical Signal

Processing

Debasis Kundu, Swagata Nandi

185

8

Multiple Decrement

Models in Insurance

Shailaja Deshmukh

185

9 The Borel‐Cantelli

Lemma

Tapas Kumar Chandra

186

0

Modeling of

Physiological Flows

Davide Ambrosi, Alfio Quarteroni, Gianluigi Rozza

186

1

Curves and Surfaces Marco Abate, Francesca Tovena

186

2

The Mathematical

Legacy of Leon

Ehrenpreis

Irene Sabadini, Daniele C Struppa

186

3

Mathematical and

Statistical Methods for

Actuarial Sciences and

Finance

Cira Perna, Marilena Sibillo

186

4

Logic: A Brief Course Daniele Mundici

186

5

Probabilità, Statistica e

Simulazione

Alberto Rotondi, Paolo Pedroni, Antonio Pievatolo

186

6

Appunti sulle equazioni

differenziali ordinarie

Antonio Ambrosetti

186

7

Algebra for Symbolic

Computation

Antonio Machì

186

8

TransMath Peregrina Quintela, Ana Belén Fernández, Adela

Martínez, Guadalupe Parente, María Teresa Sánchez

186

9

Solving Numerical

PDEs: Problems,

Applications, Exercises

Luca Formaggia, Fausto Saleri, Alessandro Veneziani

187

0

Groups Antonio Machì

187

1

Imagine Math Michele Emmer

187

2

Introduction to Modeling

Biological Cellular

Control Systems

Weijiu Liu

187

3

Financial Mathematics Andrea Pascucci, Wolfgang J. Runggaldier

187

4

New Challenges for

Cancer Systems

Biomedicine

Alberto d’Onofrio, Paola Cerrai, Alberto Gandolfi

187

5

Dalla geometria di

Euclide alla geometria

dell’Universo

Ferdinando Arzarello, Cristiano Dané, Laura Lovera,

Miranda Mosca, Nicoletta Nolli, Antonella Ronco

187

6

Campionamento da

popolazioni finite

Pier Luigi Conti, Daniela Marella

187

7

Non solo calcoli Vinicio Villani, Claudio Bernardi, Sergio Zoccante,

Roberto Porcaro

187

8

Giochi e percorsi

matematici

Emanuele Delucchi, Giovanni Gaiffi, Ludovico Pernazza

187

9

Calcolo Scientifico Alfio Quarteroni, Fausto Saleri, Paola Gervasio

188

0

Modellistica Numerica

per Problemi

Differenziali

Alfio Quarteroni

188

1

Selected Aspects of

Fractional Brownian

Motion

Ivan Nourdin

188

2

Colloquium De Giorgi

2009

Umberto Zannier

188

3

Topics in Modern

Regularity Theory

Giuseppe Mingione

188

4

Configuration Spaces A. Bjorner, F. Cohen, C. Concini, C. Procesi, M. Salvetti

188

5

An Introduction to the

Regularity Theory for

Elliptic Systems,

Harmonic Maps and

Minimal Graphs

Mariano Giaquinta, Luca Martinazzi

188

6

Numerical Methods with

Worked Examples:

Matlab Edition

C. Woodford, C. Phillips

188

7

Convexity and

Optimization in Banach

Spaces

Viorel Barbu, Teodor Precupanu

188

8

The Linear Algebra a

Beginning Graduate

Student Ought to Know

Jonathan S. Golan

188

9

Geostatistics Oslo 2012 Petter Abrahamsen, Ragnar Hauge, Odd Kolbjørnsen

189

0

Statistical Analysis of

Clinical Data on a Pocket

Calculator, Part 2

Ton J. Cleophas, Aeilko H. Zwinderman

189

1 Unbounded Self‐adjoint

Operators on Hilbert

Space

Konrad Schmüdgen

189

2

SPSS for Starters, Part 2 Ton J. Cleophas, Aeilko H. Zwinderman

189

3

Analytic Inequalities B.G. Pachpatte

189

4

Stochastic Differential

Games. Theory and

Applications

Kandethody M. Ramachandran, Chris P. Tsokos

189

5

Mathematics of

Approximation

Johan Villiers

189

6

Code Generation with

Templates

Jeroen Arnoldus, Mark van den Brand,

A. Serebrenik, J.J. Brunekreef

189

7

Instruction Sequences for

Computer Science

Jan A. Bergstra, Cornelis A. Middelburg

189

8

Relative Equilibria of the

Curved N‐Body Problem

Florin Diacu

189

9

Robotic Exploration of

the Solar System

Paolo Ulivi, David M. Harland

190

0

Observing the Messier

Objects with a Small

Philip Pugh

Telescope

190

1

Grappling with Gravity Robert W. Phillips

190

2

Guidebook to the

Constellations

Phil Simpson

190

3

Tracer Technology Octave Levenspiel

190

4

Advanced Quantum

Mechanics

Rainer Dick

190

5

Fundamental Aspects of

Plasma Chemical Physics

Mario Capitelli, Gianpiero Colonna, Antonio D'Angola

190

6

Cosmic Update Fred Adams, Thomas Buchert, Laura Mersini‐Houghton

190

7

The Chemical Cosmos Steve Miller

190

8

At Home in Space Ben Evans

190

9

Daylight Science and

Daylighting Technology

Richard Kittler, Miroslav Kocifaj, Stanislav Darula

191

0

Matter, Dark Matter, and

Anti‐Matter

Alain Mazure, Vincent Le Brun

191

1 3,000 Deep‐Sky Objects Ted Aranda

191

2

U. S. Spacesuits Kenneth S. Thomas, Harold J. McMann

191

3

Interplanetary Outpost Erik Seedhouse

191

4

Fundamentals of Shallow

Water Acoustics

Boris Katsnelson, Valery Petnikov, James Lynch

191

5

Helium Cryogenics Steven W. Van Sciver

191

6

Vortex, Molecular Spin

and Nanovorticity

Percival McCormack

191

7

Control of Cell Fate in

the Circulatory and

Ventilatory Systems

Marc Thiriet

191

8

Astronauts For Hire Erik Seedhouse

191

9

The Physics of Music

and Color

Leon Gunther

192

0

Our Explosive Sun Pal Brekke

192

1

Hot Interstellar Matter in

Elliptical Galaxies Dong‐Woo Kim, Silvia Pellegrini

192

2

The Casual Sky

Observer's Guide

Rony De Laet

192

3

Deep Space Propulsion K. F. Long

192

4

Celestial Delights Francis Reddy

192

5

The Physics of

Invisibility

Martin Beech

192

6

Exoplanets Chris Kitchin

192

7

The Amateur

Astronomer's Guide to

the Deep‐Sky Catalogs

Jerry D. Cavin

192

8

The Astronomer Jules

Janssen

Françoise Launay

192

9

The Star Atlas

Companion

Philip M. Bagnall

193

0

How James Watt

Invented the Copier

René Schils

193

1

Optical Interferometry

for Biology and

Medicine

David D. Nolte

193

2

Star Maps Nick Kanas

193

3

Biomimetics in Materials

Science

Michael Nosonovsky, Pradeep K. Rohatgi

193

4

Sketching the Moon Richard Handy, Deirdre Kelleghan, Thomas McCague,

Erika Rix, Sally Russell

193

5

Emigrating Beyond Earth Cameron M Smith, Evan T. Davies

193

6

Dark Nebulae, Dark

Lanes, and Dust Belts

Antony Cooke

193

7

A Field Guide to

Deep‐Sky

Michael D. Inglis

Objects

193

8

Stardust, Supernovae and

the Molecules of Life

Richard N. Boyd

193

9

Grating Spectroscopes

and How to Use Them

Ken M. Harrison

194

0

The Quality of

Measurements

A.E. Fridman

194

1

Field Theoretic Method

in Phase Transformations

Alexander Umantsev

194

2

Planetary Nebulae and

How to Observe Them

Martin Griffiths

194

3 Metal‐Dielectric

Interfaces in Gigascale

Electronics

Ming He, Toh‐Ming Lu

194

4

Signaling at the Cell

Surface in the

Circulatory and

Ventilatory Systems

Marc Thiriet

194

5

Theory, Analysis and

Design of RF

Interferometric Sensors

Cam Nguyen, Seoktae Kim

194

6

Computational Modeling

of Biological Systems

Nikolay V Dokholyan

194

7

Molecular Theory of the

Living Cell

Sungchul Ji

194

8

Astronomy with a

Budget Telescope

Patrick Moore, John Watson

194

9

New Eyes on the

Universe

Stephen Webb

195

0

Eta Carinae and the

Supernova Impostors

Kris Davidson, Roberta M. Humphreys

195

1

Mars and How to

Observe It

Peter Grego

195

2

The Andromeda Galaxy

and the Rise of Modern

Astronomy

David Schultz

195

3

Weird Weather David A. J. Seargent

195

4

Social Foundations of

Human Space

Exploration

James A. Dator

195

5

Remote Sensing Siamak Khorram, Stacy A.C. Nelson, Frank H. Koch,

Cynthia F. van der Wiele

195

6

The Innovation Butterfly Edward G. Anderson Jr., Nitin R. Joglekar

195

7

Rocketing Into the Future Michel van Pelt

195

8 One‐Shot Color

Astronomical Imaging

L. A. Kennedy

195

9

The Plasma Environment

of Venus, Mars, and

Titan

Karoly Szego

196

0

On the Formation of the

Most Massive Stars in

the Galaxy

Roberto J. Galván‐Madrid

196

1

Space Pharmacology Virginia E. Wotring

196

2

Tragedy and Triumph in

Orbit

Ben Evans

196

3

Nonlinear Photonics and

Novel Optical

Phenomena

Zhigang Chen, Roberto Morandotti

196

4

The General Theory of

Relativity

Anadijiban Das, Andrew DeBenedictis

196

5

The Solar Dynamics

Observatory

Phillip Chamberlin, William Dean Pesnell, Barbara

Thompson

196

6

Doing the Impossible Arthur L. Slotkin

196

7

Stability and Transport in

Magnetic Confinement

Systems

Jan Weiland

196

8

Solar Flare Magnetic

Fields and Plasmas

Yuhong Fan, George Fisher

196

9

Light Pollution Bob Mizon

197

0

How to Observe the Sun

Safely

Lee Macdonald

197

1

Artificial Satellites and

How to Observe Them

Richard Schmude, Jr.

197

2

Observing and

Measuring Visual Double

Stars

R. W. Argyle

197

3

The Picture Book of

Quantum Mechanics

Siegmund Brandt, Hans Dieter Dahmen

197

4

In Search of William

Gascoigne

David Sellers

197

5

Power Scaling of

Enhancement Cavities

for Nonlinear Optics

Ioachim Pupeza

197

6

Plasma Astrophysics,

Part I

Boris V. Somov

197

7

Energy Storage and

Release through the Solar

Activity Cycle

Christophe Marqué, Alexander Nindos

197

8

Niels Bohr and

Complementarity

Arkady Plotnitsky

197

9

Schlieren and

Shadowgraph Methods in

Heat and Mass Transfer

Pradipta Kumar Panigrahi, Krishnamurthy Muralidhar

198

0

Astronomy and the

Climate Crisis

Antony Cooke

198

1

Imaging the Southern

Sky

Stephen Chadwick, Ian Cooper

198

2

Bioinspiration Xiang Yang Liu

198

3

Newton's Gravity Douglas W. MacDougal

198

4

The Hatfield Lunar Atlas Anthony Cook

198

5

Climate Change

Modeling Methodology

Philip J. Rasch

198

6

Fundamentals of Cosmic

Particle Physics

Maxim Khlopov

198

7

Black Hole Astrophysics David L. Meier

198

8

Terahertz Techniques Erik Bründermann, Heinz‐Wilhelm Hübers, Maurice

FitzGerald Kimmitt

198

9

Modern Theories of

Many‐ Particle Systems

in Condensed Matter

Physics

Daniel C. Cabra, Andreas Honecker, Pierre Pujol

199

0

Handbook of Particle

Detection and Imaging

Claus Grupen, Irène Buvat

199

1

Scale Invariance Annick Lesne, Michel Lagües

199

2

Symmetries and Group

Theory in Particle

Physics

Giovanni Costa, Gianluigi Fogli

199

3

Light Scattering

Reviews, Vol. 6

Alexander A. Kokhanovsky

199

4

Mechanics Masud Chaichian, Ioan Merches, Anca Tureanu

199

5

Complex Systems Albert C. J. Luo, Jian‐Qiao Sun

199

6

The Rudolf Mössbauer

Story

Michael Kalvius, Paul Kienle

199

7

Unifying Themes in

Complex Systems VII Ali A. Minai, Dan Braha, Yaneer Bar‐ Yam

199

8

A Trajectory Description

of Quantum Processes. I.

Fundamentals

Ángel S. Sanz, Salvador Miret‐Artés

199

9

Digital Sonar Design in

Underwater Acoustics

Qihu Li

200

0

Red Giants as Probes of

the Structure and

Evolution of the Milky

Way

Andrea Miglio, Josefina Montalbán, Arlette Noels

200

1

A Primer for Chiral

Perturbation Theory

Stefan Scherer, Matthias R. Schindler

200

2

Advances in Soft Matter

Mechanics

Shaofan Li, Bohua Sun

200

3

Springer Handbook of

Lasers and Optics

Frank Träger

200

4

Electroweak and Strong

Interactions

Florian Scheck

200

5 Fowler‐Nordheim Field

Emission

Sitangshu Bhattacharya, Kamakhya Prasad Ghatak

200

6

Fibre Optic

Communication

Herbert Venghaus, Norbert Grote

200

7

Quantum Mechanics Daniel Bes

200

8

Density Matrix Theory

and Applications

Karl Blum

200

9 Laser‐Induced

Breakdown Spectroscopy

Reinhard Noll

201

0

Disorder and

Strain‐Induced

Complexity in Functional

Materials

Tomoyuki Kakeshita, Takashi Fukuda, Avadh Saxena,

Antoni Planes

201

1

Measurement

Uncertainties

S. V. Gupta

201

2

Probability in Physics Yemima Ben‐Menahem, Meir Hemmo

201

3

Ion Beam Therapy Ute Linz

201

4

General and Statistical

Thermodynamics Raza Tahir‐Kheli

201

5

Observational

Astrophysics

Pierre Léna, Daniel Rouan, François Lebrun, François

Mignard, Didier Pelat

201

6

Strongly Correlated

Systems

Adolfo Avella, Ferdinando Mancini

201

7 The BCS‐BEC Crossover

and the Unitary Fermi

Gas

Wilhelm Zwerger

201

8

Dwarf Galaxies: Keys to

Galaxy Formation and

Evolution

Polychronis Papaderos, Simone Recchi, Gerhard Hensler

201

9

Particle Accelerators,

Colliders, and the Story

of High Energy Physics

Raghavan Jayakumar

202

0

Star Clusters in the Era

of Large Surveys

André Moitinho, João Alves

202

1

Handbook of Spectral

Lines in Diamond

Bernhard Dischler

202

2

Protein Folding and

Misfolding

Heinz Fabian, Dieter Naumann

202

3

Heterogeneous

Ferroelectric Solid

Solutions

Vitaly Topolov

202

4

Chemical Evolution of

Galaxies

Francesca Matteucci

202

5

Young Sun, Early Earth

and the Origins of Life

Muriel Gargaud, Hervé Martin, Purificación

López‐García, Thierry Montmerle, Robert Pascal

202

6

Unconventional

Superconductors

Iman Askerzade

202

7

The

Schrödinger‐Virasoro

Algebra

Jérémie Unterberger, Claude Roger

202

8

How Likely is

Extraterrestrial Life?

J. Woods Halley

202

9

Nonlinear Optics and

Solid‐ State Lasers

Jianquan Yao, Yuyue Wang

203

0

The Square Kilometre

Array: Paving the way

for the new

Domingos Barbosa, Sonia Anton, Leonid Gurvits,

Dalmiro Maia

21st century radio

astronomy paradigm

203

1

New Eyes on the Sun John Wilkinson

203

2

Nonlinear Waves and

Solitons on Contours and

Closed Surfaces

Andrei Ludu

203

3

Shock Waves Science

and Technology Library,

Vol. 6

F. Zhang

203

4

Magnetism Carmen‐Gabriela Stefanita

203

5

Graphene

Nanoelectronics

Hassan Raza

203

6

Models of Science

Dynamics

Andrea Scharnhorst, Katy Börner, Peter Besselaar

203

7

Optical Properties of

Nanostructured Metallic

Systems

Sergio G. Rodrigo

203

8

Chips 2020 Bernd Hoefflinger

203

9

From the Web to the

Grid and Beyond

René Brun, Federico Carminati, Giuliana Galli Carminati

204

0

The Classical Theory of

Fields

Carl S. Helrich

204

1

Optimised Projections for

the Ab Initio Simulation

of Large and Strongly

Correlated Systems

David D. O'Regan

204

2

The Arrows of Time Laura Mersini‐Houghton, Rudy Vaas

204

3

Charm Production in

Deep Inelastic Scattering

Sebastian Klein

204

4

Semiconductor Research Amalia Patane, Naci Balkan

204

5

Open Quantum Systems ´Angel Rivas, Susana F. Huelga

204

6

Femtosecond Laser

Micromachining

Roberto Osellame, Giulio Cerullo, Roberta Ramponi

204

7

Next Generation of

Photovoltaics

Ana Belén Cristóbal López, Antonio Martí Vega,

Antonio Luque López

204

8

Mass Metrology S. V. Gupta

204

9

Bell's Theorem and

Quantum Realism

Douglas L. Hemmick, Asif M. Shakur

205

0

The Universe as

Automaton

Klaus Mainzer, Leon Chua

205

1

Theory of Nuclear

Fission

Hans J. Krappe, Krzysztof Pomorski

205

2 Fundamentals of Time‐ Dependent Density

Functional Theory

Miguel A.L. Marques, Neepa T. Maitra, Fernando M.S.

Nogueira, E.K.U. Gross, Angel Rubio

205

3 GaN and ZnO‐based

Materials and Devices

Stephen Pearton

205

4

Basics of Laser Physics Karl F. Renk

205

5 D‐Brane Koji Hashimoto

205

6

Waves and Structures in

Nonlinear Nondispersive

Media

S. N. Gurbatov, O. V. Rudenko, A. I. Saichev

205

7

Hyperbolic Chaos Sergey P. Kuznetsov

205

8

An Invitation to

Quantum Field Theory Luis Alvarez‐Gaumé, Miguel A. Vázquez‐ Mozo

205

9

Photons in Natural and

Life Sciences Hans‐Joachim Lewerenz

206

0

Extreme States of Matter

in Strong Interaction

Physics

Helmut Satz

206

1

A Concise Introduction

to the Statistical Physics

of Complex Systems

Eric Bertin

206

2

The Formation and Early

Evolution of Stars

Norbert S. Schulz

206

3

Formation and

Cooperative Behaviour

of Protein Complexes on

the Cell Membrane

Ksenia Guseva

206

4 Social Self‐Organization Dirk Helbing

206

5

Lectures on LHC Physics Tilman Plehn

206

6

Studying Atomic

Dynamics with Coherent

X‐rays

Michael Leitner

206

7

Magnetic Particle

Imaging

Thorsten M. Buzug, Jörn Borgert

206

8

Nanophotonic

Fabrication

Takashi Yatsui

206

9

Exciton Polaritons in

Microcavities

Vladislav Timofeev, Daniele Sanvitto

207

0

Nuclear Physics with

Polarized Particles

Hans Paetz gen. Schieck

207

1

From the Universe to the

Elementary Particles

Ulrich Ellwanger

207

2

Quantum Triangulations Mauro Carfora, Annalisa Marzuoli

207

3

3+1 Formalism in

General Relativity

Eric Gourgoulhon

207

4

Semiclassical Approach

to Mesoscopic Systems

Daniel Waltner

207

5 GaN‐Based Laser Diodes Wolfgang G. Scheibenzuber

207

6

Study of the Inclusive

Beauty Production at

CMS and Construction

and Commissioning of

the CMS

Lea Caminada

Pixel Barrel Detector

207

7

Dijet Angular

Distributions in

Proton‐Proton Collisions

Nele Boelaert

207

8 Non‐Centrosymmetric

Superconductors

Ernst Bauer, Manfred Sigrist

207

9

Homogeneous Catalysis

with Metal Complexes

Gheorghe Duca

208

0

Clusters in Nuclei, Vol.2 Christian Beck

208

1

Handbook of Theoretical

Atomic Physics

Miron Amusia, Larissa Chernysheva, Victor Yarzhemsky

208

2

Biomedical Signals and

Sensors I

Eugenijus Kaniusas

208

3

High Temperature

Phenomena in Shock

Waves

Raymond Brun

208

4

Biophysics Roland Glaser

208

5 Thermo‐Gas Dynamics

of Hydrogen Combustion

and Explosion

Boris E. Gelfand, Mikhail V. Silnikov, Sergey P.

Medvedev, Sergey V. Khomik

208

6

Biomimetics Bharat Bhushan

208

7

Atomic Processes in

Basic and Applied

Physics

Viacheslav Shevelko, Hiro Tawara

208

8

The Physics of

Ferromagnetism

Terunobu Miyazaki, Hanmin Jin

208

9 Spin Squeezing and Non‐ linear Atom

Interferometry with

Bose‐Einstein

Condensates

Christan Groß

209

0

Exploring Macroscopic

Quantum Mechanics in

Optomechanical Devices

Haixing Miao

209

1

Plasma Turbulence in the

Solar System

Yasuhito Narita

209

2

Strings and Fundamental

Physics

Marco Baumgartl, Ilka Brunner, Michael Haack

209

3

Complex Hamiltonian

Dynamics

Tassos Bountis, Haris Skokos

209

4

Renormalization Group

and Effective Field

Theory Approaches to

Many‐Body Systems

Achim Schwenk, Janos Polonyi

209

5

Optical Coherence

Tomography Rui Bernardes, José Cunha‐Vaz

209

6

Mathematical SETI Claudio Maccone

209

7

Semiconductor Modeling

Techniques

Naci Balkan, Marie Xavier

209

8

Nanodust in the Solar

System: Discoveries and

Interpretations

Ingrid Mann, Nicole Meyer‐Vernet, Andrzej Czechowski

209

9

From the Atomic Bomb

to the Landau Institute

Isaak M. Khalatnikov

210

0

Fifty Years of Quasars Mauro D'Onofrio, Paola Marziani, Jack

W. Sulentic

210

1

Taking the Back off the

Watch

Thomas Gold

210

2

On Gauge Fixing

Aspects of the Infrared

Behavior of Yang‐ Mills

Green Functions

Markus Q. Huber

210

3

Conformal Invariance: an

Introduction to Loops,

Interfaces and Stochastic

Loewner Evolution

Malte Henkel, Dragi Karevski

210

4

Classical Field Theory Florian Scheck

210

5

Plasmonics Stefan Enoch, Nicolas Bonod

210

6

Pseudochaotic Kicked

Oscillators

John H. Lowenstein

210

7

Atomic Scale

Interconnection

Machines

Christian Joachim

210

8

Raman Imaging Arnaud Zoubir

210

9

The Geometry of Special

Relativity ‐ a Concise

Course

Norbert Dragon

211

0

Semiconductor Optics Claus F. Klingshirn

211

1

The Synthesis of the

Elements

Giora Shaviv

211

2

Radiation Protection at

Light Water Reactors

Robert Prince

211

3

The Emerging Domain of

Cooperating Objects

Pedro José Marrón, Daniel Minder, Stamatis Karnouskos

211

4 High‐Temperature

Superconductors

Ajay Kumar Saxena

211

5

Informational Limits in

Optical Polarimetry and

Vectorial Imaging

Matthew R. Foreman

211

6

Isotope

Low‐Dimensional

Structures

Vladimir G. Plekhanov

211

7

First Principles

Modelling of Shape

Memory Alloys

Oliver Kastner

211

8

Statistical Physics Josef Honerkamp

211

9

Chalcogenides Alexander V. Kolobov, Junji Tominaga

212

0

Progress in Ultrafast

Intense Laser Science

VIII

Kaoru Yamanouchi, Mauro Nisoli, Wendell T. Hill

212

1

The Mie Theory Wolfram Hergert, Thomas Wriedt

212

2 Isotope‐Based Quantum

Information

Vladimir G. Plekhanov

212

3 Self‐Evolvable Systems Octavian Iordache

212

4

Multiphoton Processes

and Attosecond Physics

Kaoru Yamanouchi, Midorikawa Katsumi

212

5

Progress in Turbulence

and Wind Energy IV

Martin Oberlack, Joachim Peinke, Alessandro Talamelli,

Luciano Castillo, Michael Hölling

212

6

Why Society is a

Complex Matter

Philip Ball

212

7

Structured Light Fields Mike Wördemann

212

8

Applications of Chaos

and Nonlinear Dynamics

in Science and

Engineering ‐ Vol. 2

Santo Banerjee, Lamberto Rondoni, Mala Mitra

212

9

Simulations of Dark

Energy Cosmologies

Elise Jennings

213

0

Fundamentals of

Quantum Physics

Pedro Pereyra

213

1

Scanning SQUID

Microscope for Studying

Vortex Matter in Type‐II Superconductors

Amit Finkler

213

2

Ten Physical

Applications of Spectral

Zeta Functions

Emilio Elizalde

213

3

The Sun: New

Challenges

Vladimir N. Obridko, Katya Georgieva, Yury A.

Nagovitsyn

213

4

An Introduction to

Kinetic Monte Carlo

Simulations of Surface

Reactions

A.P.J. Jansen

213

5

Continuum Physics Peter Hertel

213

6

Natural Fabrications William Seager

213

7

Collisional Narrowing

and Dynamical

Decoupling in a Dense

Ensemble of Cold

Yoav Sagi

Atoms

213

8

Cooperative Optical

Non‐ Linearity in a

Blockaded Rydberg

Ensemble

Jonathan D. Pritchard

213

9

Optical Cooling Using

the Dipole Force

André Xuereb

214

0

Dictionary of Minor

Planet Names

Lutz D. Schmadel

214

1

Cosmic Ray Diffusion in

the Galaxy and Diffuse

Gamma Emission

Daniele Gaggero

214

2 A Search for Ultra‐High

Energy Neutrinos and

Cosmic‐ Rays with

ANITA‐2

Matthew Joseph Mottram

214

3

Photomodulated Optical

Reflectance

Janusz Bogdanowicz

214

4

Evolutionary Games in

Complex Topologies

Julia Poncela Casasnovas

214

5

Atmospheric Physics Ulrich Schumann

214

6

Stellar Structure and

Evolution

Rudolf Kippenhahn, Alfred Weigert, Achim Weiss

214

7

Quantum Chemistry of

Solids

Robert A. Evarestov

214

8

Einstein's Relativity Fred I Cooperstock, Steven Tieu

214

9

The Dual Nature of Life Gennadiy Zhegunov

215

0 Multi‐scale Dynamical

Processes in Space and

Astrophysical Plasmas

Manfred P. Leubner, Zoltán Vörös

215

1

Total Addiction Kate Russo

215

2 Self‐Organized Arrays of

Gold Nanoparticles

Luca Anghinolfi

215

3

Mesoscopic Quantum

Hall Effect

Ivan Levkivskyi

215

4 Coarse‐Grained

Modelling of DNA and

DNA Self‐Assembly

Thomas E. Ouldridge

215

5

Measurement of the

Inclusive Jet Cross

Section with the ATLAS

Detector at the Large

Hadron Collider

Caterina Doglioni

215

6

Z Boson Transverse

Momentum Distribution,

and ZZ and WZ

Production

Mika Vesterinen

215

7 An Introduction to Non‐ Abelian Discrete

Symmetries for Particle

Physicists

Hajime Ishimori, Tatsuo Kobayashi, Hiroshi Ohki,

Hiroshi Okada, Yusuke Shimizu, Morimitsu Tanimoto

215

8 From the PS to the LHC ‐ 50 Years of Nobel

Memories in

High‐Energy Physics

Luis Alvarez‐Gaumé, Michelangelo Mangano,

Emmanuel Tsesmelis

215

9

Nonlinear Optics in the

Filamentation Regime

Carsten Brée

216

0

Geometrical

Charged‐Particle Optics

Harald Rose

216

1

Georges Lemaître: Life,

Science and Legacy

Rodney D. Holder, Simon Mitton

216

2

Quantum Mechanics of

Molecular Structures

Kaoru Yamanouchi

216

3

Dispersion Forces II Stefan Yoshi Buhmann

216

4

Computational Methods

for Physicists

Simon Sirca, Martin Horvat

216

5

Dispersion Forces I Stefan Yoshi Buhmann

216

6

Shock Wave

Compression of

Condensed Matter

Jerry W. Forbes

216

7

The Adventurous Life of

Friedrich Georg

Houtermans, Physicist

(1903‐1966)

Edoardo Amaldi

216

8

Topological Insulators Shun‐Qing Shen

216

9

Friction Material

Composites

K. L. Sundarkrishnaa

217

0

Instruments and Methods

for the Radio Detection

of High Energy Cosmic

Rays

Frank G. Schröder

217

1

Morphogenetic

Engineering

René Doursat, Hiroki Sayama, Olivier Michel

217

2

Design and Realization

of Novel GaAs Based

Laser Concepts

Tim David Germann

217

3

Phosphate Phosphors for

Solid‐State Lighting

Kartik N. Shinde, S.J. Dhoble, H.C. Swart, Kyeongsoon

Park

217

4

Microstructure and

Properties of High‐ Temperature

Superconductors

I. A. Parinov

217

5

Analytic Tools for

Feynman Integrals

Vladimir A. Smirnov

217

6

Effective Theories in

Physics

James D. Wells

217

7

Quantum

Opto‐Mechanics with

Micromirrors

Simon Gröblacher

217

8

Colloidal Dispersions

Under Slit‐Pore

Confinement

Yan Zeng

217

9

Computer Simulation

Study of Collective

Phenomena in Dense

Suspensions of Red

Blood Cells under Shear

Timm Krüger

218

0

Magnetism and

Superconductivity in

Iron‐ based

Superconductors as

Franziska Hammerath

Probed by Nuclear

Magnetic Resonance

218

1

Magnetoelectric

Response in

Low‐Dimensional

Frustrated Spin Systems

Shinichiro Seki

218

2

From Special Relativity

to Feynman Diagrams

Riccardo D'Auria, Mario Trigiante

218

3

Fisica del Plasma Claudio Chiuderi, Marco Velli

218

4

L’enigma dei raggi

cosmici

Alessandro Angelis

218

5

Elementi di management

dei programmi spaziali

Marcello Spagnulo

218

6

Solved Problems in

Quantum and Statistical

Mechanics

Michele Cini, Francesco Fucito, Mauro Sbragaglia

218

7

Probabilità in Fisica Guido Boffetta, Angelo Vulpiani

218

8

We are the Martians Giovanni F Bignami

218

9

Lezioni di Cosmologia

Teorica

Maurizio Gasperini

219

0

Note di fotonica Vittorio Degiorgio, Ilaria Cristiani

219

1

Arminio Nobile e la

misura del cielo

Massimo Capaccioli, Silvia Galano

219

2

Eclissi! Marco Bastoni

219

3

Particelle e interazioni

fondamentali

Sylvie Braibant, Giorgio Giacomelli, Maurizio Spurio

219

4

Coherent States and

Applications in

Mathematical Physics

Monique Combescure, Didier Robert

219

5

Intelligent Textiles and

Clothing for Ballistic and

NBC

Paul Kiekens, Sundaresan Jayaraman

Protection

219

6

Detection of

Non‐Amplified Genomic

DNA

Giuseppe Spoto, Roberto Corradini

219

7

The Spiral Galaxy M33 P. Hodge

219

8

Econodynamics Vladimir N. Pokrovskii

219

9

Applied Photometry,

Radiometry, and

Measurements of Optical

Losses

Michael Bukshtab

220

0

Biomimetic Membranes

for Sensor and

Separation

Claus Hélix‐Nielsen

Applications

220

1

Fundamental Questions

of Practical Cosmology

Yurij Baryshev, Pekka Teerikorpi

220

2

Particles and

Fundamental Interactions


220

3

Physics of Transitional

Shear Flows

Andrey V. Boiko, Alexander V. Dovgal, Genrih R. Grek,

Victor V. Kozlov

220

4

Mechanical Behaviour of

Materials

Dominique François, André Pineau, André Zaoui

220

5

Radiation Damage in

Biomolecular Systems Gustavo García Gómez‐Tejedor, Martina Christina Fuss

220

6

Acoustical Imaging Andrzej Nowicki, Jerzy Litniewski, Tamara Kujawska

220

7

Electromagnetic

Processing of Materials

Shigeo Asai

220

8

A Brief History of Radio

Astronomy in the USSR

S. Y. Braude, A. E. Salomonovich, V. A. Samanian, I. S.

Shklovskii, R. L. Sorochenko, V. S. Troitskii, K. I.

Kellermann, B. A. Dubinskii, N. L. Kaidanovskii, N. S.

Kardashev, M. M. Kobrin, A. D. Kuzmin, A. P.

Molchanov, Yu. N. Pariiskii, O. N. Rzhiga

220

9

Thermodynamics for

Chemists, Physicists and

Robert Hołyst, Andrzej Poniewierski

Engineers

221

0

Convergence of

Terahertz Sciences in

Biomedical Systems

Gun‐Sik Park, Yong Hyup Kim, Haewook Han, Joon

Koo Han, Jaewook Ahn, Joo‐ Hiuk Son, Woong‐Yang

Park, Young Uk Jeong

221

1 Flux‐Corrected Transport Dmitri Kuzmin, Rainald Löhner, Stefan Turek

221

2

Nanodevices and

Nanomaterials for

Ecological Security

Yuri N. Shunin, Arnold E. Kiv

221

3

Particles and

Fundamental

Interactions:

Supplements, Problems

and Solutions


221

3

Hydrodynamic Instability

and Transition to

Turbulence

Akiva M. Yaglom

221

3

Thin Liquid Films Ralf Blossey

221

3

Nonlinear Optics and

Laser Emission through

Random Media

Viola Folli

221

3

Physics of Collisional

Plasmas

Michel Moisan, Jacques Pelletier

221

3

Laser Diode Beam

Basics, Manipulations

and Characterizations

Haiyin Sun

221

3

EXA 2011 Paul Bühler, Olaf Hartmann, Johann Marton, Ken

Suzuki, Eberhard Widmann, Johann Zmeskal

221

3

Advances in Mechanisms

Design

Jaroslav Beran, Martin Bílek, Monika Hejnova, Petr

Zabka

221

3

From Ultra Rays to

Astroparticles

Brigitte Falkenburg, Wolfgang Rhode

221

3

Complexity in Chemistry

and Beyond: Interplay

Theory and Experiment

Craig Hill, Djamaladdin G. Musaev

221

3

Uniting Electron

Crystallography and

Powder Diffraction

Ute Kolb, Kenneth Shankland, Louisa Meshi, Anatoly

Avilov, William I.F David

url: s no book title authorallduniv.ac.in › ckfinder › userfiles › files ›...

Documents