Database Systems for Advanced Applications

Database Systems for Advanced Applications
Author: Sang-goo Lee
Publisher: Springer
Total Pages: 615
Release: 2012-04-05
Genre: Computers
ISBN: 3642290388

This two volume set LNCS 7238 and LNCS 7239 constitutes the refereed proceedings of the 17th International Conference on Database Systems for Advanced Applications, DASFAA 2012, held in Busan, South Korea, in April 2012. The 44 revised full papers and 8 short papers presented together with 2 invited keynote papers, 8 industrial papers, 8 demo presentations, 4 tutorials and 1 panel paper were carefully reviewed and selected from a total of 159 submissions. The topics covered are query processing and optimization, data semantics, XML and semi-structured data, data mining and knowledge discovery, privacy and anonymity, data management in the Web, graphs and data mining applications, temporal and spatial data, top-k and skyline query processing, information retrieval and recommendation, indexing and search systems, cloud computing and scalability, memory-based query processing, semantic and decision support systems, social data, data mining.

Discovery Science

Discovery Science
Author: Klaus P. Jantke
Publisher: Springer
Total Pages: 510
Release: 2003-06-30
Genre: Computers
ISBN: 3540456503

These are the conference proceedings of the 4th International Conference on Discovery Science (DS 2001). Although discovery is naturally ubiquitous in s- ence, and scientific discovery itself has been subject to scientific investigation for centuries, the term Discovery Science is comparably new. It came up in conn- tion with the Japanese Discovery Science project (cf. Arikawa's invited lecture on The Discovery Science Project in Japan in the present volume) some time during the last few years. Setsuo Arikawa is the father in spirit of the Discovery Science conference series. He led the above mentioned project, and he is currently serving as the chairman of the international steering committee for the Discovery Science c- ference series. The other members of this board are currently (in alphabetical order) Klaus P. Jantke, Masahiko Sato, Ayumi Shinohara, Carl H. Smith, and Thomas Zeugmann. Colleagues and friends from all over the world took the opportunity of me- ing for this conference to celebrate Arikawa's 60th birthday and to pay tribute to his manifold contributions to science, in general, and to Learning Theory and Discovery Science, in particular. Algorithmic Learning Theory (ALT, for short) is another conference series initiated by Setsuo Arikawa in Japan in 1990. In 1994, it amalgamated with the conference series on Analogical and Inductive Inference (AII), when ALT was held outside of Japan for the first time.

Compiler Construction

Compiler Construction
Author: David A. Watt
Publisher: Springer
Total Pages: 309
Release: 2003-06-29
Genre: Computers
ISBN: 3540464239

ETAPS2000 was the third instance of the EuropeanJoint Conferenceson Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ?ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.

ACM 77

ACM 77
Author: ACM.
Publisher:
Total Pages: 503
Release: 1977
Genre:
ISBN:

Financial Cryptography and Data Security

Financial Cryptography and Data Security
Author: Angelos D. Keromytis
Publisher: Springer
Total Pages: 426
Release: 2012-08-14
Genre: Computers
ISBN: 3642329462

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Financial Cryptography and Data Security (FC 2012), held in Kralendijk, Bonaire, February 27–March 1, 2012. The 29 revised full papers presented were carefully selected and reviewed from 88 submissions. The papers cover all aspects of securing transactions and systems, including information assurance in the context of finance and commerce.

Engineering for HCI

Engineering for HCI
Author: Claus Unger
Publisher: Springer
Total Pages: 373
Release: 2016-01-09
Genre: Computers
ISBN: 0387349073

The volume contains all papers presented at the Working Conference on Engineering for Human-Computer Interaction (EHCI'95), grouped into the topic areas Formal Methods, Tools, Multimedia, Architecture, CSCW, and Design. It includes transcripts of all discussions among the presenters and the conference participants. It further contains the results of several mini-workshops held during the conference on topics like the Human Context, How to make Formal Methods Useful, Rapid Implementation and Development, Usability Testing, CSCW Mini Scenarios.

Impossible Engineering

Impossible Engineering
Author: Chandra Mukerji
Publisher: Princeton University Press
Total Pages: 328
Release: 2021-11-09
Genre: Technology & Engineering
ISBN: 1400833140

The Canal du Midi, which threads through southwestern France and links the Atlantic to the Mediterranean, was an astonishing feat of seventeenth-century engineering--in fact, it was technically impossible according to the standards of its day. Impossible Engineering takes an insightful and entertaining look at the mystery of its success as well as the canal's surprising political significance. The waterway was a marvel that connected modern state power to human control of nature just as surely as it linked the ocean to the sea. The Canal du Midi is typically characterized as the achievement of Pierre-Paul Riquet, a tax farmer and entrepreneur for the canal. Yet Chandra Mukerji argues that it was a product of collective intelligence, depending on peasant women and artisans--unrecognized heirs to Roman traditions of engineering--who came to labor on the waterway in collaboration with military and academic supervisors. Ironically, while Louis XIV and his treasury minister Jean-Baptiste Colbert used propaganda to present France as a new Rome, the Canal du Midi was being constructed with unrecognized classical methods. Still, the result was politically potent. As Mukerji shows, the project took land and power from local nobles, using water itself as a silent agent of the state to disrupt traditions of local life that had served regional elites. Impossible Engineering opens a surprising window into the world of seventeenth-century France and illuminates a singular work of engineering undertaken to empower the state through technical conquest of nature.