springer berlin heidelberg jun 2001 (98 results)

Taschenbuch. Condition: Neu. Neuware -Es handelt sich um eine Monographie über die Akromegalie. Nach Abhandlung historischer Aspekte wird auf die Physiologie und die Pathophysiologie der Wachstumshormonsekretion des Menschen eingegangen. Es werden die diagnostischen Verfahren, die bei der Akromegalie zum Einsatz kommen (endokrinologische Funktionstests und bildgebende Technologien) diskutiert. Ein Teil ist der Klinik, ein weiterer Teil der prakt. Diagnostik gewidmet. Ein wesentlicher Teil beschäftigt sich mit den verschiedenen therapeutischen Verfahren, der transsphenoidalen Adenomresektion, der medikamentösen Therapie mit Dopaminagonisten und Somatostation-Analoga und radiotherapeutischen Verfahren.In einem weiteren Teil werden Kasuistiken präsentiert, wobei die Patienten selbst ihre Krankengeschichte darstellen. 124 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Second International Conference on Web-Age Information Management, WAIM 2001, held in Xi'an, China, in July 2001.The 21 revised full papers and 12 short papers presented together with 4 research experience papers were carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections on multimedia databases and high-dimensional indexing, information retrieval and text indexing, data mining, semistructured data management, data warehousing and federated databases, Web information management and e-commerce, spatio-temporal and high-dimensional information management, data mining and constraint management, data integration and filtering, and workflow and adaptive systems. 440 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The study of the eld of user modeling (UM) has resulted in signi cant amounts of theoretical work, as well as practical experience, in developing UM-based applications in traditional areas of human-computer interaction and tutoring systems. Further, it promises to have an enormous impact on recent developments in areas like information ltering, e-commerce, adaptive presentation techniques, and interface agents. A user model is an explicit representation of properties of a particular user, which allows the system to adapt diverse aspects of its performance to individual users needs. TechniquesforUMhavebeendevelopedandevaluatedbytheoreticiansand practitioners in a variety of elds, including arti cial intelligence, education, psychology, cognitive science, linguistics, and human-computer interaction. The International Conferences on User Modeling constitute the major forum for pres- tationanddiscussionofboththelatestdevelopmentsinacademicresearchonallaspects of user modeling and industrial experience in deploying adaptive systems in real-world applications. This volume contains the proceedings of the Eighth International C- ference on User Modeling (UM2001), held in Sonthofen, Germany. It follows UM99 (Banff,Canada),UM97(Sardinia,Italy),UM96(Hawaii,USA),UM94(Hyannis,USA), UM92(Dagstuhl,WestGermany),UM90(Hawaii,USA)andUM86(MariaLaach,West Germany). Until now, the proceedings of the conference have been published with university p- lishers.AfterdiscussionswithinUMInc.,itwasdecidedfromnowontopublishthep- ceedingsvolumewithoneofthemajorpublishingcompanies,toensurewideravailability of the volume in libraries and archives. After careful consideration Springer-Verlag was chosen. The UM2001 program includes tutorials, invited talks, technical paper and poster s- sions, a doctoral consortium, workshops, and system demonstrations. There were a total of 79 technical submissions from 20 countries. 340 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The main objective of this monograph is the study of a class of stochastic differential systems having unbounded coefficients, both in finite and in infinite dimension. We focus our attention on the regularity properties of the solutions and hence on the smoothing effect of the corresponding transition semigroups in the space of bounded and uniformly continuous functions. As an application of these results, we study the associated Kolmogorov equations, the large-time behaviour of the solutions and some stochastic optimal control problems together with the corresponding Hamilton- Jacobi-Bellman equations. In the literature there exists a large number of works (mostly in finite dimen sion) dealing with these arguments in the case of bounded Lipschitz-continuous coefficients and some of them concern the case of coefficients having linear growth. Few papers concern the case of non-Lipschitz coefficients, but they are mainly re lated to the study of the existence and the uniqueness of solutions for the stochastic system. Actually, the study of any further properties of those systems, such as their regularizing properties or their ergodicity, seems not to be developed widely enough. With these notes we try to cover this gap. 344 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Nowadays, the Internet is the most commonly used medium for the exchange of data in di erent forms. Presently, over 60 million machines have access to the Internet and to its resources. However, the Internet is also the largest distributed system o ering di erent computational services and possibilities not only for cluster computing. If the needs of modern mobile computing and multimedia systems are taken into account, it becomes clear that modern methods must ensure an e ective development and management of the Internet allowing each user fast access to this huge resource space. The Innovative Internet Computing Systems workshop is organized by the Gesellschaft fur Informatik(GI) in Germany. It intends to be an open me- ing point for scientists dealing with di erent aspects of this complex topic. In contrast to the Distributed Communities on the Web workshops, which can be 2 considered as the roots of I CS, special attention is given to fundamental - search works and the application of theoretical and formal results in practical implementations. 196 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -During the past several years, the world has entered the first phase of the Internet Revolution. Investors showed confidence and faith in the prospects of the Internet driven economy. In the US alone, some 30,000 dot com companies have sprung up to support electronic commerce with a wide variety of business models, technologies, and/or items or services to sell or even give away. Traditional businesses, so called brick and mortar, or offline, businesses, have started to respond to challenges by Internet based new competitors by augmenting their own businesses with Internet based, or online, businesses and/or filing lawsuits against them. The initial business to consumer orientation of electronic commerce is giving way to business to business commerce, with large corporations forming electronic exchanges or consortia to conduct commerce among members. Government, industry, and civic groups have started addressing social issues related to the Internet, such as taxation on electronic commerce, privacy, intellectual property rights, security, hacking, cyber crimes, digital divide, etc. Governments have started legitimizing electronic signatures and stepping up efforts to track down perpetrators of cyber crimes. The courts have started to wrestle with issues of privacy, intellectual property rights, crimes, and impediments to Internet driven economy. 492 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 8th Conference on Artificial Intelligence in Medicine in Europe, AIME 2001, held in Cascais, Portugal in July 2001. The 31 revised full papers presented together with 30 posters and two invited papers were carefully reviewed and selected from 79 submissions. Among the topics addressed in their context on medical information processing are knowledge management, machine learning, data mining, decision support systems, temporal reasoning, case-based reasoning, planning and scheduling, natural language processing, computer vision, image and signal interpretation, intelligent agents, telemedicine, careflow systems, and cognitive modeling. 488 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 8th European Workshop on Software Process Technology, EWSPT 2001, held in Witten, Germany, in June 2001.The 18 revised full papers presented were carefully reviewed and selected from 31 submissions. Among the areas addressed are process evolution, experiences, mobility and distribution, UML process patterns, and process improvement. 260 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Third International Conference on Scale-Space and Morphology in Computer Vision, Scale-Space 2001, held in Vancouver, Canada in July 2001.The 18 revised full papers presented together with 23 posters were carefully reviewed and selected from 60 submissions. The book addresses all current aspects of scale-space and morphology in the context of computer vision, in particular, vector distance functions, optic flow, image registration, curve evolution, morphological segmentation, scalar images, vector images, automatic scale selection, geometric diffusion, diffusion filtering, image filtering, inverse problems, active contours, etc. 452 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Building research grade multi-agent systems usually involves a broad variety of software infrastructure ingredients like planning, scheduling, coordination, communication, transport, simulation, and module integration technologies and as such constitutes a great challenge to the individual researcher active in the area.The book presents a collection of papers on approaches that will help make deployed and large scale multi-agent systems a reality. The first part focuses on available infrastructure and requirements for constructing research-grade agents and multi-agent systems. The second part deals with support in infrastructure and software development methods for multi-agent systems that can directly support coordination and management of large multi-agent communities; performance analysis and scalability techniques are needed to promote deployment of multi-agent systems to professionals in software engineering and information technology. 320 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thisvolumecontainstheproceedingsofthe4thInternationalConferenceonL- icalAspectsofComputationalLinguistics,heldJune27 29,2001inLeCroisic, France. TheLACLconferencesaimtoprovideaforumforthepresentationand discussionofcurrentresearchinalltheformalandlogicalaspectsofcompu- tionallinguistics. Theprogramcommitteeselected16papersfromsubmissionsofoverallhig h quality. Thepaperscoverawiderangeoftopics,includingcategorialgrammars, dependency grammars,formal languagetheory, grammaticalinference, hyp- intensionalsemantics,minimalism,andtype-logicalsemantics,byauthorsfrom Australia,Canada,Denmark,France,Germany,Italy,TheNetherlands,Poland, Spain,Sweden,UnitedKingdom,andUSA. M. Moortgat (Universiteit Utrecht), G. K. Pullum (University of Calif- nia, Santa Cruz), and M. Steedman (University of Edinburgh) presented - vitedtalks,on StructuralEquationsinLanguageLearning , OntheDisti- tion between Model-Theoretic and Generative-Enumerative Syntactic Fra- works ,and ReconcilingType-LogicalandCombinatoryExtensionsofCate- rialGrammar respectively. Wewouldliketothankallthepeoplewhomadethis4thLACLpossible:the programcommittee,theexternalreviewers,theorganizationcommittee,andthe LACLsponsors. April2001 PhilippedeGroote &GlynMorrill Organization ProgramCommittee W. Buszkowski(Poznan) M. Kanazawa(Tokyo) R. Crouch,(PaloAlto) G. Morrill,co-chair(Barcelona) A. Dikovsky(Nantes) R. Muskens(Tilburg) M. Dymetman(Grenoble) F. Pfenning(Pittsburgh) C. Gardent(Nancy) B. Rounds,(AnnArbor) Ph. deGroote,co-chair(Nancy) E. Stabler(LosAngeles) OrganizingCommittee B. Daille(Nantes) C. Piliere,publicitychair(Nancy) A. Dikovsky(Nantes) C. Retor e,chair(Rennes) A. Foret(Rennes) P. Sebillot(Rennes) E. Lebret(Rennes) AdditionalReferees J. -M. Andreoli T. HollowayKing J. Marciniec P. Blackburn M. Kandulski J. -Y. Marion C. Brun F. Lamarche G. Perrier TableofContents InvitedTalks StructuralEquationsinLanguageLearning . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 MichaelMoortgat OntheDistinctionbetweenModel-TheoreticandGenerative-Enumerat ive SyntacticFrameworks. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 Geo reyK. Pullum,BarbaraC. Scholz ContributedPapers AFormalDe nitionofBottom-UpEmbeddedPush-DownAutomataand TheirTabulationTechnique. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44 MiguelA. Alonso,EricdelaClergerie,ManuelVilares AnAlgebraicApproachtoFrenchSentenceStructure. . . . . . . . . . . . . . . . . . . 62 DanieleBargelli,JoachimLambek DeductiveParsingofVisualLanguages . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79 PaoloBottoni,BerndMeyer,KimMarriott,FrancescoParisiPresicce LambekGrammarsBasedonPregroups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95 WojciechBuszkowski AnAlgebraicAnalysisofCliticPronounsinItalian. . . . . . . . . . . . . . . . . . . . . 110 ClaudiaCasadio,JoachimLambek Consistent Identi cation in the Limit of Any of the Classes k-Valued Is NP-hard. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125 ChristopheCostaFlor encio PolarizedNon-projectiveDependencyGrammars. . . . . . . . . . . . . . . . . . . . . . . 139 AlexanderDikovsky OnMixingDeductionandSubstitutioninLambekCategorialGrammars. . 158 AnnieForet A Framework for the Hyperintensional Semantics of Natural Language withTwoImplementations. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175 ChrisFox,ShalomLappin ACharacterizationofMinimalistLanguages. . . . . . . . . . . . . . . . . . . . . . . . . . . 193 HenkHarkema VIII TableofContents PartofSpeechTaggingfromaLogicalPointofView. . . . . . . . . . . . . . . . . . . 212 Torbjorn Lager,JoakimNivre TransformingLinearContext FreeRewritingSystemsintoMinimalist Grammars . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 228 JensMichaelis RecognizingHeadMovement. . 324 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Recent research has repeatedly led to connections between important rigidity questions and bounded cohomology. However, the latter has remained by and large intractable. This monograph introduces the functorial study of the continuous bounded cohomology for topological groups, with coefficients in Banach modules. The powerful techniques of this more general theory have successfully solved a number of the original problems in bounded cohomology. As applications, one obtains, in particular, rigidity results for actions on the circle, for representations on complex hyperbolic spaces and on Teichmüller spaces. A special effort has been made to provide detailed proofs or references in quite some generality. 224 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A rich variety of real-life physical problems which are still poorly understood are of a nonlinear nature. Examples include turbulence, granular flows, detonations and flame propagation, fracture dynamics, and a wealth of new biological and chemical phenomena which are being discovered. Particularly interesting among the manifestations of nonlinearity are coherent structures. This book contains reviews and contributions reporting on the state of the art regarding the role of coherent structures and patterns in nonlinear science. 480 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The ever-expanding growth of Information Technology continues to place fresh demands on the management of data. Database researchers must respond to new challenges, particularly to the opportunities offered by the Internet for access to distributed, semi-structured and multimedia data sources. th This volume contains the proceedings of the 18 British National Conference on Databases (BNCOD 2001), held at the Rutherford Appleton Laboratory in July 2001. In recent years, interest in this conference series has extended well beyond the UK. In selecting just eleven of the submitted papers for presentation, the programme committee has included contributors from The Netherlands, Germany, Sweden, Canada and USA. In addition, two specially invited speakers address subjects of topical interest. Our first invited speaker is Professor Dr. Rudi Studer from the University of Karlsruhe. At AIFB, the Institute for Applied Informatics and Formal Description Methods, he and his colleagues are in the forefront of work on the Semantic Web. This aims to make information accessible to human and software agents on a semantic basis. The paper discusses the role that semantic structures, based on ontologies, play in establishing communication between different agents. The AIFB web site has been developed as a semantic portal to serve as a case study. 236 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 28th International Colloquium on Automata, Languages and Programming (ICALP 2001) was held July 8-12, 2001 in the Aldemar-Knossos Royal Village near Hersonissos on Crete, Greece. This volume contains all contributed papers presented at ICALP 2001, together with the invited lectures by Ahmed Bou- jani (Paris), Martin Gro e-Rhode (Berlin), Mogens Nielsen (Aarhus), and Ingo Wegener (Dortmund) and two of the keynote lectures, by Christos Papadimitriou and Boris Trakhtenbrot. For almost 30 years now, ICALP has been the main annual event of the European Association for Theoretical Computer Science (EATCS). The ICALP program currently consists of track A: Algorithms, Automata, Complexity, and Games and track B: Logic, Semantics, and Theory of Programming. In response to the Call for Papers, the program committee received 208 s- missions: 162 for track A, 46 for track B. The committee met on March 23/24, 2001 in Barcelona and selected 80 papers for inclusion into the scienti c program. 1104 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Driven by the requirements of a large number of practical and commercially - portant applications, the last decade has witnessed considerable advances in p- tern recognition. Better understanding of the design issues and new paradigms, such as the Support Vector Machine, have contributed to the development of - proved methods of pattern classi cation. However, while any performance gains are welcome, and often extremely signi cant from the practical point of view, it is increasingly more challenging to reach the point of perfection as de ned by the theoretical optimality of decision making in a given decision framework. The asymptoticity of gains that can be made for a single classi er is a re - tion of the fact that any particular design, regardless of how good it is, simply provides just one estimate of the optimal decision rule. This observation has motivated the recent interest in Multiple Classi er Systems , which aim to make use of several designs jointly to obtain a better estimate of the optimal decision boundary and thus improve the system performance. This volume contains the proceedings of the international workshop on Multiple Classi er Systems held at Robinson College, Cambridge, United Kingdom (July 2{4, 2001), which was organized to provide a forum for researchers in this subject area to exchange views and report their latest results. 476 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Advanced Course on Artificial Intelligence ACAI 2001 with the subtitle M ulti- Agent Systems and Their Applications , held in Prague, Czech Republic, was a joint event of ECCAI (the European Coordinating Committee for Artificial Intelligence) and AgentLink, the European Network of Excellence for Agent-Based Computing. Whereas ECCAI organizes two-week ACAI courses on different topics every second year, AgentLink s European Agent Systems Summer School (EASSS) has been an annual event since 1999. This year, both of these important events were merged together, giving weight to the fact that multi-agent systems currently represent one of the hottest topics in AI research. The name, ACAI 2001 Summer School, is intended to emphasize that this event continues the tradition of regular ECCAI activities (ACAI), as well as the EASSS summer schools of AgentLink. The Prague ACAI Summer School was proposed and initiated by both the Gerstner Laboratory, Czech Technical University, Prague (GL-CTU) and the Czech Society for Cybernetics and Informatics (CSKI), with the support of the Austrian Research Institute for Artificial Intelligence in Vienna (OFAI). Part of our motivation was catalyzed by experience gained in 1992 during the International Summer School Advanced Topics in Artificial Intelligence (see Springer s LNAI vol. 617) which was organized by the same Czech and Austrian bodies. One of the most important stimulating factors behind the organization of ACAI 2001 was the support provided by the European Commission to the Gerstner Laboratory within the frame of the MIRACLE Center of Excellence project (IST No. 452 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci cation and Description Language rst standardized by the world telecommunications body, the International Telecommunications Union (ITU), more than 20 years ago in 1976. While the original language and domain of application has evolved signi cantly, the foundations of SDL as a graphical, state-transition and process-communication language for real-time systems have remained. Today SDL has also grown to be one notation in the set of uni ed modelling languages recommended by the ITU (ASN.1, MSC, SDL, ODL, and TTCN) that can be used in methodology taking engineering of systems from requirements capture through to testing and operation. The SDL Forum is held every two years and has become the most imp- tant event in the calendar for anyone involved in SDL and related languages and technology. The SDL Forum Society that runs the Forum is a non-pro t organization whose aim it is to promote and develop these languages. 456 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The papers contained in this volume were presented at the 12th Annual S- posium on Combinatorial Pattern Matching, held July 1{4, 2001 at the Dan Panorama Hotel in Jerusalem, Israel. They were selected from 35 abstracts s- mitted inresponse to the call for papers. In addition,there were invited lectures by Aviezri Fraenkel (Weizmann Institute of Science), Zvi Galil (Columbia), Rao Kosaraju (Johns Hopkins University), and Uzi Vishkin(Technion and U. Ma- land). This year the call for papers invited short (poster) presentations. They also appear in the proceedings. Combinatorial Pattern Matching (CPM) addresses issues of searching and matching strings and more complicated patterns such as trees, regular expr- sions,graphs,pointsets, andarrays,invariousformats.Thegoalistoderiven- trivialcombinatorialproperties ofsuchstructures andtoexploitthese properties in order to achieve superior performance for the corresponding computational problems. On the other hand, an important aim is to analyze and pinpoint the properties and conditions under which searches can not be performed e ciently. Overthepastdecadeasteady owofhighqualityresearch onthissubject has changed a sparse set of isolated results into a full- edged area of algorithmics. This area is continuing to grow even further due to the increasing demand for speed and e ciency that stems from important applications such as the World Wide Web, computational biology, computer vision, and multimedia systems. These involverequirements forinformationretrieval inheterogeneous databases, data compression, and pattern recognition. The objective of the annual CPM gathering is to provide an international forum for the presentation of research results in combinatorial pattern matching and related applications. 284 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Meeting the needs of scientists - whether mathematicians, physicists, chemists or engineers --in terms of symbolic computation, this book allows them to quickly locate the method they require for the precise problem they are adressing. It requires no prior experience of symbolic computation, nor specialized mathematical knowledge, and provides quick access to the practical use of symbolic computation software. The organization of the book in mutually independent chapters, each focusing on a specific topic, allows the user to select what is of interest without necessarily reading everything and the whole is supplemented by a detailed table of contents and index, 496 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The importance of typed languages for building robust software systems is, by now, an undisputed fact. Years of research have led to languages with richly expressive, yet easy to use, type systems for high-level programming languages. Types provide not only a conceptual framework for language designers, but also a ord positive bene ts to the programmer, principally the ability to express and enforce levels of abstraction within a program. Early compilers for typed languages followed closely the methods used for their untyped counterparts. The role of types was limited to the earliest s- ges of compilation, and they were thereafter ignored during the remainder of the translation process. More recently, however, implementors have come to - cognize the importance of types during compilation and even for object code. Several advantages of types in compilation have been noted to date: { They support self-checking by the compiler. By tracking types during c- pilation it is possible for an internal type checker to detect translation errors at an early stage, greatly facilitating compiler development. { They support certi cation of object code. By extending types to the ge- rated object code, it becomes possible for a code user to ensure the basic integrity of that code by checking its type consistency before execution. { They support optimized data representations and calling conventions, even in the presence of modularity. By passing types at compile-, link-, and even run-time, it is possible to avoid compromises of data representation imposed by untyped compilation techniques. 224 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Ninth International Workshop on Foundations of Models and Languages for Data and Objects (FoMLaDO) took place in Dagstuhl Germany, Sept- ber 18{21, 2000. The topic of this workshop was Database schema Evolution and Meta-Modeling; this FoMLaDO Workshop was hence assigned the acronym DEMM 2000. These post-proceedings contain the revised versions of the accepted papers of the DEMM 2000 workshop. Twelve regular papers were accepted for inclusion in the proceedings. The papers address the following issues: { Consistency of evolving concurrent information systems { Adaptive speci cations of technical information systems { Change propagation in schema evolution of object-based systems { Evolving software of a schema evolution system { Logical characterization of schema evolution { Con ict management in integrated databases { Evolving relation schemas { Conceptual descriptions of adaptive information systems { OQL-extensions for metadata access { Metamodeling of schema evolution { Metrics for conceptual schema evolution { Incremental datawarehouse construction In addition to the regular papers, there is an invited paper by Can Turk er on schema evolution in SQL99 and (object-)relational databases. Acknowledgements: We wish to thank the program committee members for their work on reviewing the submitted papers. We also wish to thank all a- hors for submitting papers to this workshop. Moreover, all participants of the workshop are thanked for contributing to lively discussions. Thanks also to Elke Rundensteiner, who delivered an invited talk on the SERF-project concerning exible database transformations. 260 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ACISP2001,theSixthAustralasianConferenceonInformationSecurityandP- vacy,washeldinSydney,Australia. TheconferencewassponsoredbyInfor- tionandNetworkedSystemSecurityResearch(INSSR),MacquarieUniversity, theAustralianComputerSociety,andtheUniversityofWesternSydney. Iam gratefultoalltheseorganizationsfortheirsupportoftheconference. Theaimofthisconferencewastodrawtogetherresearchers,designers,and usersofinformationsecuritysystemsandtechnologies. Theconferenceprogram addressedarangeofaspectsfromsystemandnetworksecuritytosecureIntern et applicationstocryptographyandcryptanalysis. Thisyeartheprogramcomm- teeinvitedtwointernationalkeynotespeakersDr. YacovYacobifromMicrosoft Research (USA) and Dr. Cli ord Neumann from the University of Southern California(USA). Dr. Yacobi stalkaddressedtheissuesoftrust,privacy,and anti-piracyinelectroniccommerce. Dr. Neumann saddresswasconcernedwith authorizationpolicyissuesandtheirenforcementinapplications. Theconferencereceived91papersfromAmerica,Asia,Australia,and- rope. The program committee accepted 38 papers and these were presented insome9sessionscoveringsystemsecurity,networksecurity,trustandaccess control,Authentication,cryptography,cryptanalysis,DigitalSignatures,Elliptic CurveBasedTechniques,andSecretSharingandThresholdSchemes. Thisyear theacceptedpaperscamefromarangeofcountries,including7fromAustralia, 8fromKorea,7fromJapan,3fromUK,3fromGermany,3fromUSA,2from Singapore,2fromCanadaand1fromBelgium,Estonia,andTaiwan. Organizingaconferencesuchasthisoneisatime-consumingtaskandIwould liketothankallthepeoplewhoworkedhardtomakethisconferenceasuccess. Inparticular,IwouldliketothankProgramCo-chairYiMuforhistirelesswork andthemembersoftheprogramcommitteeforputtingtogetheranexcell ent program,andallthesessionchairsandspeakersfortheirtimeande ort. Special thanks to Yi Mu, Laura Olsen, Rajan Shankaran, and Michael Hitchens for theirhelpwithlocalorganizationdetails. Finally,Iwouldliketothankallthe authorswhosubmittedpapersandalltheparticipantsofACISP2001. Ihope thattheprofessionalcontactsmadeatthisconference,thepresentations,and theproceedingshaveo eredyouinsightsandideasthatyoucanapplytoyour owne ortsinsecurityandprivacy. July2001 VijayVaradharajan AUSTRALASIANCONFERENCEON INFORMATIONSECURITYANDPRIVACY ACISP2001 Sponsoredby MacquarieUniversity AustralianComputerSociety General Chair: VijayVaradharajan MacquarieUniversity,Australia Program Chairs: VijayVaradharajan MacquarieUniversity,Australia YiMu MacquarieUniversity,Australia Program Committee: RossAnderson CambridgeUniversity,UK ColinBoyd QueenslandUniversityofTechnology,Australia EdDawson QueenslandUniversityofTechnology,Australia YvoDesmedt FloridaStateUniversity,USA PaulEngland Microsoft YairFrankel ColumbiaUniversity,USA AjoyGhosh UNISYS,Australia DieterGollman Microsoft JohnGordon ConceptLabs,UK KwangjoKim ICU,Korea ChuchangLiu DSTO,Australia MasahiroMambo TohokuUniversity,Japan WenboMao Hewlett-PackardLab. ,UK ChrisMitchell LondonUniversity,UK EijiOkamoto UniversityofWisconsin,USA JoePato Hewlett-PackardLab. ,USA JosefPieprzyk MacquarieUniversity,Australia BartPreneel KatholiekeUniversity,Belgium SteveRoberts WithamPtyLtd,Australia QingSihan AcademyofScience,China ReiSafavi-Naini UniversityofWollongong,Australia JenniferSeberry UniversityofWollongong,Australia YuliangZheng MonashUniversity,Australia TableofContents AFewThoughtsonE-Commerce. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 YacovYacobi NewCBC-MACForgeryAttacks. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 KarlBrincat,ChrisJ. Mitchell CryptanalysisofaPublicKeyCryptosystemProposedatACISP2000. . . . 15 AmrYoussef,GuangGong ImprovedCryptanalysisoftheSelf-ShrinkingGenerator . . . . . . . . . . . . . . . . 21 ErikZenner,MatthiasKrause,StefanLucks AttacksBasedonSmallFactorsinVariousGroupStructures . . . . . . . . . . . . 36 ChrisPavlovski,ColinBoyd OnClassifyingConferenceKeyDistributionProtocols. . . . . . . . . . . . . . . . . . 51 Sha 540 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Books on a technical topic - like linear programming - without exercises ignore the principal beneficiary of the endeavor of writing a book, namely the student - who learns best by doing course. Books with exercises - if they are challenging or at least to some extent so exercises, of - need a solutions manual so that students can have recourse to it when they need it. Here we give solutions to all exercises and case studies of M. Padberg's Linear Optimization and Exten sions (second edition, Springer-Verlag, Berlin, 1999). In addition we have included several new exercises and taken the opportunity to correct and change some of the exercises of the book. Here and in the main text of the present volume the terms 'book', 'text' etc. designate the second edition of Padberg's LPbook and the page and formula references refer to that edition as well. All new and changed exercises are marked by a star \* in this volume. The changes that we have made in the original exercises are inconsequential for the main part of the original text where several ofthe exercises (especiallyin Chapter 9) are used on several occasions in the proof arguments. None of the exercises that are used in the estimations, etc. have been changed. 464 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The conference series Logical Aspects of Computational Linguistics (LACL) aims at providing a forum for the presentation and discussion of current research in all the formal and logical aspects of computational linguistics. The LACL initiative started with a workshop held in Nancy (France) in 1995. Selected papers from this event have appeared as a special issue of the Journal of Logic Language and Information, Volume 7(4), 1998. In 1996, LACL shifted to the format of an international conference. LACL'96 and '97 were both held in Nancy (France). The proceedings appeared as volumes 1328 and 1582 of the Springer Lecture Notes in Arti cial Intelligence. This volume contains selected papers of the third international conference on Logical Aspects of Computational Linguistics (LACL'98), held in Grenoble, France, from December 14 to 16, 1998. The conference was organized by the U- versity Pierre Mend es-France (Grenoble 2) together with LORIA (Laboratoire Lorrain d'Informatique et Applications, Nancy). On the basis of 33 submitted 4-page abstracts, the Program Committee selected 19 contributions for pres- tation. In addition to the selected papers, the program featured three invited talks, by Maarten de Rijke (ILLC, Amsterdam), Makoto Kanazawa (Chiba U- versity, Japan), and Fernando Pereira (AT&T Labs). After the conference, the contributors were invited to submit a full paper for the conference proceedings. 304 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Following the highly successful International Conference on Computer Vision - stems held in Las Palmas, Spain (ICVS'99), this second International Workshop on Computer Vision Systems, ICVS 2001 was held as an associated workshop of the International Conference on Computer Vision in Vancouver, Canada. The organization of ICVS'99 and ICVS 2001 was motivated by the fact that the - jority of computer vision conferences focus on component technologies. However, Computer Vision has reached a level of maturity that allows us not only to p- form research on individual methods and system components but also to build fully integrated computer vision systems of signi cant complexity. This opens a number of new problems related to system architecture, methods for system synthesis and veri cation, active vision systems, control of perception and - tion, knowledge and system representation, context modeling, cue integration, etc. By focusing on methods and concepts for the construction of fully integrated vision systems, ICVS aims to bring together researchers interested in computer vision systems. Similar to the previous event in Las Palmas, ICVS 2001 was organized as a single-track workshop consisting of high-quality, previously unpublished papers on new and original research on computer vision systems. All contributions were presented orally. A total of 32 papers were submitted and reviewed thoroughly by program committee members. Twenty of them have been selected for p- sentation. We would like to thank all members of the organizing and program committee for their help in putting together a high-quality workshop. 324 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This introduction to the discrete wavelet transform and its applications is based on a novel approach to discrete wavelets called lifting. After an elementary introduction, connections of filter theory are presented, and wavelet packet transforms are defined. The time-frequency plane is used for interpretation of signals, problems with finite length signals are detailed, and MATLAB is used for examples and implementation of transforms. 256 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Teilband 2 umfasst Straftatbestände, die erfahrungsgemäß nicht im Zentrum von Studium und Examen im Strafrecht stehen, aber dennoch nicht vernachlässigt werden dürfen. Die Darstellung stellt vielfältige Verbindungen zu den Kernbereichs-Tatbeständen her und ermöglicht so eine effiziente Verwertung vorhandener Strafrechtskenntnisse bei der Einarbeitung in den Randbereich. 476 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the 22nd International Conference on Application and Theory of Petri Nets. The aim of the Petri net conferences is to create a forum for discussing progress in the application and theory of Petri nets. Typically, the conferences have 100{150 participants { one third of these coming from industry while the rest are from universities and research institutions. The conferences always take place in the last week of June. This year the conference was organized jointly with the 2nd International Conference on Application of Concurrency to System Design (ICACSD 2001). The two conferences shared the invited lectures and the social program. The conference and a number of other activities are co-ordinated by a steering committee with the following members: G. Balbo (Italy), J. Billington (Aust- lia), G. De Michelis (Italy), C. Girault (France), K. Jensen (Denmark), S. - magai (Japan), T. Murata (USA), C.A. Petri (Germany; honorary member), W. Reisig (Germany), G. Rozenberg (The Netherlands; chairman), and M. Silva (Spain). Other activities before and during the 2001 conference included tool dem- strations, a meeting on XML Based Interchange Formats for Petri Nets', - tensive introductory tutorials, two advanced tutorials on Probabilistic Methods in Concurrency' and Model Checking', and two workshops on Synthesis of Concurrent Systems' and Concurrency in Dependable Computing'. The tu- rial notes and workshop proceedings are not published in these proceedings, but copies are available from the organizers. 420 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -TheJapanConferenceonDiscreteandComputationalGeometry(JCDCG)has beenheldannuallysince1997. Oneofthegoalsofthisconferenceseriesistobring togetherJapaneseresearchersfrombothacademiaandindustrywithresearchers inthese eldsfromabroadtosharetheirrecentresults. JCDCG2000washeld22 25November2000atTokaiUniversityinTokyo inconjunctionwiththecelebrationofWorldMathematicsYear2000. Atotalof 120participantsfrom20countriesattended. Thisvolumeconsistsofthepapers presentedatJCDCG2000,whichhavebeenrefereedandrevised. Somepapers whichappearinshortforminthisvolumealsoappearinfullerexpandedversions injournalsdedicatedtocomputationalgeometry. Theorganizersoftheconferencethanktheprincipalspeakersfortheir- terestandsupport:ImreBarany,ErikD. Demaine,GregN. Fredrickson,Gyula Karolyi,NaokiKatoh,DavidKirkpatrick,JosephO Rourke,JanosPach,Jozsef Solymosi,WilliamSteiger,JorgeUrrutia,andAllanWilks. Theythankthe- jorsponsorsfortheirgenerouscontribution:TheResearchInstituteofEdu- tionalDevelopmentofTokaiUniversity,theMinistryofEducationofJapan(for thegrant-in-aidtoA. Saito(A):10304008),andTokaiEducationInstruments Co. ,Ltd. April2001 TheEditors, JinAkiyama MikioKano MasatsuguUrabe OrganizingCommittee Chairs:JinAkiyamaandMikioKano Members: TetsuoAsano,DavidAvis,VasekChvatal,KiyoshiHosono,HiroshiImai, TakakoKodate,JosephO Rourke,ToshinoriSakai,XuehouTan,Morimasa Tsuchiya,MasatsuguUrabe,andJorgeUrrutia. TableofContents Papers DudeneyDissectionsofPolygonsandPolyhedrons-ASurvey-. . . . . . . . . . 1 J. AkiyamaandG. Nakamura UniversalMeasuringDeviceswithoutGradations. . . . . . . . . . . . . . . . . . . . . . . 31 J. Akiyama, H. Fukuda,G. Nakamura, T. Sakai, J. Urrutia, andC. Zamora-Cura ANoteonthePurelyRecursiveDissectionforaSequentially n-Divisible Square . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41 J. Akiyama, G. Nakamura, A. Nozaki, and K. Ozawa SequentiallyDivisibleDissectionsofSimplePolygons . . . . . . . . . . . . . . . . . . 53 J. Akiyama, T. Sakai, andJ. Urrutia PackingConvexPolygonsintoRectangulerBoxes . . . . . . . . . . . . . . . . . . . . . 67 H. AltandF. Hurtado OntheNumberofViewsofPolyhedralScenes . . . . . . . . . . . . . . . . . . . . . . . . 81 B. Aronov, H. Br onnimann,D. Halperin,andR. Schi enbauer ProblemsandResultsAroundtheErdos-Szek eresConvex PolygonTheorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91 I. Bar an y andG. Kar olyi OnFindingMaximum-CardinalitySymmetricSubsets . . . . . . . . . . . . . . . . . 106 P. Brass FoldingandUnfoldingLinkages,Paper,andPolyhedra . . . . . . . . . . . . . . . . . 113 E. D. Demaine OntheSkeletonoftheMetricPolytope . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125 A. Deza,K. Fukuda,D. Pasechnik, andM. Sato GeometricDissectionsThatSwingandTwist . . . . . . . . . . . . . . . . . . . . . . . . . 137 G. N. Frederickson OnConvexDecompositionsofPoints . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149 K. Hosono, D. Rappaport, andM. Urabe VolumeQueriesinPolyhedra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156 J. IaconoandS. Langerman VIII Table ofContents SumofEdgeLengthsofaGraphDrawnonaConvexPolygon . . . . . . . . . . 160 H. Ito,H. Uehara, andM. Yokoyama OnDoubleBoundGraphswithRespecttoGraphOperations . . . . . . . . . . . 167 S. Iwai,K. Ogawa,andM. Tsuchiya GeneralizedBalancedPartitionsofTwoSetsofPointsinthePlane . . . . . . 176 A. KanekoandM. Kano OnPathsinaCompleteBipartiteGeometricGraph . . . . . . . . . . . . . . . . . . . 187 A. KanekoandM. Kano ApproximatingUniformTriangularMeshesforSpheres . . . . . . . . . . . . . . . . . 192 N. Katoh,H. Kojima, andR. Taniguchi TheConstructionofDelaunayDiagramsbyLobReduction . . . . . . . . . . . . . 205 P. Kau mannand J. C. Spehner GeometricTransformationsinPlaneTriangulations . . . . . . . . . . . . . . . . . . . . 217 K. Kawarabayashi, A. Nakamoto, Y. Oda, andM. Watanabe 400 pp. Englisch.