Michiel Smid's Books

Algorithms and Data Structures

8th International Workshop, WADS 2003, Ottawa, Ontario, Canada, July 30 - August 1, 2003, Proceedings

By: Frank Dehne,Jörg Rüdiger Sack,Michiel Smid

Write a review Read reviews Take a Quiz Solve Book Puzzle

Algorithms and Data Structures

8th International Workshop, WADS 2003, Ottawa, Ontario, Canada, July 30 - August 1, 2003, Proceedings

By: Frank Dehne,Jörg Rüdiger Sack,Michiel Smid

The papers in this volume were presented at the 8th Workshop on Algorithms and Data Structures (WADS 2003). The workshop took place July 30–August 1, 2003, at Carleton University in Ottawa, Canada. The workshop alternates with the Scandinavian Workshop on Algorithm Theory (SWAT), continuing the tradition of SWAT and WADS starting with SWAT’88 and WADS’89. In response to the call for papers, 126 papers were submitted. From these submissions, the program committee selected 40 papers for presentation at the workshop. In addition, invited lectures were given by the following distinguished researchers: Gilles Brassard, Dorothea Wagner, Daniel Spielman, and Michael Fellows. Atthisyear’sworkshop,WingT.Yan(NelliganO’BrienPayneLLP,Ottawa) gave a special presentation on “Protecting Your Intellectual Property.” On July 29, Hans-Georg Zimmermann (Siemens AG, Munc ̈ hen) gave a seminar on “N- ral Networks in System Identi?cation and Forecasting: Principles, Techniques, and Applications,” and on August 2 there was a workshop on “Fixed Parameter Tractability” organized by Frank Dehne, Michael Fellows, Mike Langston, and Fran Rosamond. On behalf of the program committee, we would like to express our apprec- tion to the invited speakers and to all authors who submitted papers.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

533

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540405453

ISBN 13

9783540405450

Geometric and Algorithmic Aspects of Computer-Aided Design and Manufacturing

DIMACS Workshop Computer Aided Design and Manufacturing, October 7-9, 2003, Piscataway, New Jersey

By: Ravi Janardan,Michiel Smid,Debasish Dutta

Write a review Read reviews Take a Quiz Solve Book Puzzle

Geometric and Algorithmic Aspects of Computer-Aided Design and Manufacturing

DIMACS Workshop Computer Aided Design and Manufacturing, October 7-9, 2003, Piscataway, New Jersey

By: Ravi Janardan,Michiel Smid,Debasish Dutta

Computer-Aided Design and Manufacturing (CAD/CAM) is concerned with all aspects of the process of designing, prototyping, manufacturing, inspecting, and maintaining complex geometric objects under computer control. As such, there is a natural synergy between this field and Computational Geometry (CG), which involves the design, analysis, implementation, and testing of efficient algorithms and data representation techniques for geometric entities such as points, polygons, polyhedra, curves, and surfaces. The DIMACS Center (Piscataway, NJ) sponsored a workshop to further promote the interaction between these two fields. Attendees from academia, research laboratories, and industry took part in the invited talks, contributed presentations, and informal discussions. This volume is an outgrowth of that meeting.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

360

Publisher

American Mathematical Soc.

Published Date

ISBN 10

0821836285

ISBN 13

9780821836286

Geometric Spanner Networks

By: Giri Narasimhan,Michiel Smid

Write a review Read reviews Take a Quiz Solve Book Puzzle

Geometric Spanner Networks

By: Giri Narasimhan,Michiel Smid

Aimed at an audience of researchers and graduate students in computational geometry and algorithm design, this book uses the Geometric Spanner Network Problem to showcase a number of useful algorithmic techniques, data structure strategies, and geometric analysis techniques with many applications, practical and theoretical. The authors present rigorous descriptions of the main algorithms and their analyses for different variations of the Geometric Spanner Network Problem. Though the basic ideas behind most of these algorithms are intuitive, very few are easy to describe and analyze. For most of the algorithms, nontrivial data structures need to be designed, and nontrivial techniques need to be developed in order for analysis to take place. Still, there are several basic principles and results that are used throughout the book. One of the most important is the powerful well-separated pair decomposition. This decomposition is used as a starting point for several of the spanner constructions.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

483

Publisher

Cambridge University Press

Published Date

ISBN 10

1139461575

ISBN 13

9781139461573

Human Reasoning and Cognitive Science

By: Keith Stenning,Michiel van Lambalgen

Write a review Read reviews Take a Quiz Solve Book Puzzle

Human Reasoning and Cognitive Science

By: Keith Stenning,Michiel van Lambalgen

A new proposal for integrating the employment of formal and empirical methods in the study of human reasoning. In Human Reasoning and Cognitive Science, Keith Stenning and Michiel van Lambalgen—a cognitive scientist and a logician—argue for the indispensability of modern mathematical logic to the study of human reasoning. Logic and cognition were once closely connected, they write, but were “divorced” in the past century; the psychology of deduction went from being central to the cognitive revolution to being the subject of widespread skepticism about whether human reasoning really happens outside the academy. Stenning and van Lambalgen argue that logic and reasoning have been separated because of a series of unwarranted assumptions about logic. Stenning and van Lambalgen contend that psychology cannot ignore processes of interpretation in which people, wittingly or unwittingly, frame problems for subsequent reasoning. The authors employ a neurally implementable defeasible logic for modeling part of this framing process, and show how it can be used to guide the design of experiments and interpret results.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

422

Publisher

MIT Press

Published Date

ISBN 10

0262293536

ISBN 13

9780262293532

The Dawn of Dutch

Language contact in the Western Low Countries before 1200

By: Michiel de Vaan

Write a review Read reviews Take a Quiz Solve Book Puzzle

The Dawn of Dutch

Language contact in the Western Low Countries before 1200

By: Michiel de Vaan

The Low Countries are famous for their radically changing landscape over the last 1,000 years. Like the landscape, the linguistic situation has also undergone major changes. In Holland, an early form of Frisian was spoken until, very roughly, 1100, and in parts of North Holland it disappeared even later. The hunt for traces of Frisian or Ingvaeonic in the dialects of the western Low Countries has been going on for around 150 years, but a synthesis of the available evidence has never appeared. The main aim of this book is to fill that gap. It follows the lead of many recent studies on the nature and effects of language contact situations in the past. The topic is approached from two different angles: Dutch dialectology, in all its geographic and diachronic variation, and comparative Germanic linguistics. In the end, the minute details and the bigger picture merge into one possible account of the early and high medieval processes that determined the make-up of western Dutch.

Average ratings

N/A