Leeuwen, Jan - Search - Anna’s Archive

Algorithms - ESA '94 [electronic resource] : Second Annual European Symposium Utrecht, The Netherlands, September 26-28, 1994 Proceedings Leeuwen, Jan Berlin, Heidelberg : Springer Berlin Heidelberg, Lecture notes in computer science ;, 855, 1994

This volume presents the proceedings of the Second Annual European Symposium on Algorithms (ESA '94), held near Utrecht, The Netherlands in September 1994. ESA is the premier European conference on algorithms.The 42 papers presented were selected from a total of 159 submissions and reflect many of the current directions in algorithm research. The volume is organized into chapters on automatic graph drawing and rendering, spanners and Steiner trees, efficient data structures and complexity analysis, graph algorithms, distributed algorithms, computational geometry and its applications, operations research and combinatorial optimization, parallel computation and interconnection networks, complexity theory, and text processingContent: Front Matter....Pages -Optimization algorithms for large networks....Pages 1-9Wanna buy an algorithm? Cheap! or: Algorithms for text searching which could have commercial value....Pages 10-11Planar drawings and angular resolution: Algorithms and bounds....Pages 12-23A better heuristic for orthogonal graph drawings....Pages 24-35Hamiltonian triangulations for fast rendering....Pages 36-47Efficient construction of a bounded degree spanner with low weight....Pages 48-59Approaching the 5/4 — approximation for rectilinear Steiner trees....Pages 60-71Membership in constant time and minimum space....Pages 72-81Faster searching in tries and quadtrees—An analysis of level compression....Pages 82-93The analysis of a hashing scheme by the diagonal poisson transform....Pages 94-105Some lower bounds for comparison-based algorithms....Pages 106-117An efficient algorithm for edge-ranking trees....Pages 118-129Edge-disjoint (s, t)-paths in undirected planar graphs in linear time....Pages 130-140A simple min cut algorithm....Pages 141-147Approximation algorithm on multi-way maxcut partitioning....Pages 148-158A linear-time algorithm for...

English [en] · PDF · 8.2MB · 1994 · 📗 Book (unknown) · zlib · Save

The Challenges Of Water Management And Governance In Cities Cornelis Johannes (Kees) van Leeuwen; Jan Hofman; Peter Driessen; Jos Frijns MDPI - Multidisciplinary Digital Publishing Institute, Erscheinungsort nicht ermittelbar, 2019

Global population growth is urban growth and, therefore, most of the water-related challenges and solutions reside in cities. Unless water management and water governance processes are significantly improved within the next decade or so, cities are likely to face serious and prolonged water insecurity, urban floods, and/or heat stress, which may result in social instability and, ultimately, massive migration. Aging water infrastructure, one of the most expensive infrastructures in cities, is a relevant challenge in order to address Sustainable Development Goal (SDG) 6: clean water and sanitation, SDG 11: sustainable cities and communities, and SDG 13: climate action. The choice of good governance arrangements has important consequences for economic performance, for the well-being of citizens, and for the quality of life in urban areas. The better governance arrangements work in coordinating policies across jurisdictions and policy fields, the better the outcomes. Rapidly-changing global conditions will make future water governance more complex than ever before in human history, and expectations are that water governance and water management will change more during the next 20 years compared to the past 100 years. In this Special Issue of Water, the focus will be on practical concepts and tools for water management and water governance, with a focus on cities

English [en] · PDF · 27.3MB · 2019 · 📘 Book (non-fiction) · 🚀/zlib · Save

nexusstc/A History of Market Performance: From Ancient Babylonia to the Modern World/104d8fbb9f305b97228518a0f7f7d0c1.epub

A History of Market Performance: From Ancient Babylonia to the Modern World (Routledge Explorations in Economic History) R.J. Van der Spek, Jan Luiten van Zanden, Bas van Leeuwen Routledge, Routledge Explorations in Economic History, 2019

This exciting new volume examines the development of market performance from Antiquity until the dawn of the Industrial Revolution. Efficient market structures are agreed by most economists to serve as evidence of economic prosperity, and to be prerequisites for further economic growth. However, this is the first study to examine market performance as a whole, over such a large time period. Presenting a hitherto unknown and inaccessible corpus of data from ancient Babylonia, this international set of contributors are for the first time able to offer an in-depth study of market performance over a period of 2,500 years. The contributions focus on the market of staple crops, as they were crucial goods in these societies. Over this entire period, all papers provide a similar conceptual and methodological framework resting on a common definition of market performance combined with qualitative and quantitative analyses resting on new and improved price data. In this way, the book is able to combine analysis of the Babylonian period with similar work on the Roman, Early-and Late Medieval and Early Modern period. Bringing together input from assyriologists, ancient historians, economic historians and economists, this volume will be crucial reading for all those with an interest in ancient history, economic history and economics.

English [en] · EPUB · 6.9MB · 2019 · 📘 Book (non-fiction) · 🚀/lgli/lgrs/nexusstc/zlib · Save

scihub/10.1007/978-3-662-25209-3.pdf

Parle {u2019}91 Parallel Architectures and Languages Europe Volume I: Parallel Architectures and Algorithms Eindhoven, The Netherlands, June 10{u2013}13, 1991 Proceedings Thomas Johnsson (auth.), Emile H. L. Aarts, Jan van Leeuwen, Martin Rem (eds.) Springer Berlin Heidelberg : Imprint : Springer, 10.1007/97, 1991

The innovative progress in the development oflarge-and small-scale parallel computing systems and their increasing availability have caused a sharp rise in interest in the scientific principles that underlie parallel computation and parallel programming. The biannual "Parallel Architectures and Languages Europe" (PARLE) conferences aim at presenting current research material on all aspects of the theory, design, and application of parallel computing systems and parallel processing. At the same time, the goal of the PARLE conferences is to provide a forum for researchers and practitioners to ex{u00AD} change ideas on recent developments and trends in the field of parallel com{u00AD} puting and parallel programming. The first ~wo conferences, PARLE '87 and PARLE '89, have succeeded in meeting this goal and made PARLE a conference that is recognized worldwide in the field of parallel computation. PARLE '91 again offers a wealth of high-quality research material for the benefit of the scientific community. Compared to its predecessors, the scope of PARLE '91 has been broadened so as to cover the area of parallel algo{u00AD} rithms and complexity, in addition to the central themes of parallel archi{u00AD} tectures and languages. The proceedings of the PARLE '91 conference contain the text of all con{u00AD} tributed papers that were selected for the programme and of the invited papers by leading experts in the field

English [en] · PDF · 90.6MB · 1991 · 📘 Book (non-fiction) · 🚀/lgli/scihub/zlib · Save

Your ad here.

upload/misc/ThoseBooks/No Category/No Category/Hierarchical Neural Networks for Image Interpretation (9783540407225, 2003)/Hierarchical-Neural-Networks-for-Image-Interpretation-Sven-Behnke(ThoseBooks).pdf

Hierarchical Neural Networks for Image Interpretation (Lecture Notes in Computer Science (2766)) Goos, Gerhard;Hartmanis, Juris;Van Leeuwen, Jan Springer Berlin Heidelberg : Imprint : Springer, Lecture notes in computer science, 1st ed. 2003, Berlin, Heidelberg, 2003

Human performance in visual perception by far exceeds the performance of contemporary computer vision systems. While humans are able to perceive their environment almost instantly and reliably under a wide range of conditions, computer vision systems work well only under controlled conditions in limited domains. This book sets out to reproduce the robustness and speed of human perception by proposing a hierarchical neural network architecture for iterative image interpretation. The proposed architecture can be trained using unsupervised and supervised learning techniques. Applications of the proposed architecture are illustrated using small networks. Furthermore, several larger networks were trained to perform various nontrivial computer vision tasks.

English [en] · PDF · 9.7MB · 2003 · 📘 Book (non-fiction) · 🚀/lgli/upload · Save

lgli/Cs_Computer science/CsLn_Lecture notes/G/Graph-Theoretic Concepts in Computer Science 14 conf., WG '88 (LNCS0344, Springer, 1989)(ISBN 3540507280)(T)(O)(466s).djvu

Graph-Theoretic Concepts in Computer Sciences: International Workshop Wg 88 Amsterdam, the Netherlands, June 15-17, 1988. Proceedings (Lecture Notes in Computer Science) Hans L. Bodlaender (auth.), J. van Leeuwen (eds.) Springer-Verlag Berlin Heidelberg, Lecture Notes in Computer Science, Lecture Notes in Computer Science 344, 1, 1989

This volume presents the proceedings of the 14th International Workshop on Graph-Theoretic Concepts in Computer Science (WG '88), held from June 15 to 17, 1988 in Amsterdam, The Netherlands. It contains 31 papers on new or current developments in the area of graph-based algorithms. The topics covered include e.g. structural graph theory, parallel graph algorithms, graph-based modeling (in database theory and VLSI), computational geometry and applied graph theory. The book contains the revised versions of all the papers presented at the workshop. The revisions are based on comments and suggestions received by the authors during and after the workshop. Erscheinungsdatum: 25.01.1989

English [en] · DJVU · 4.1MB · 1989 · 📘 Book (non-fiction) · 🚀/lgli/lgrs/nexusstc/zlib · Save

duxiu/initial_release/a_40261256.zip

Distributed Algorithms: 4th International Workshop, Bari, Italy, September 24-26, 1990. Proceedings. (lecture Notes In Computer Science) J. van Leeuwen, N Santoro, Università di Bari Istituto di scienze dell'informazione, International Workshop on Distributed Algorithms, Nicola Santoro, Jan van Leeuwen, International Workshop on Distributed Algorithms, WDAG 90, Jan van Leeuwen Springer Spektrum. in Springer-Verlag GmbH, 1990, 1990

\"This volume contains the proceedings of the 4th International Workshop on Distributed Algorithms, held near Bari, Italy, September 24-26, 1990. The workshop was a forum for researchers, students and other interested persons to discuss recent results and trends in the design and analysis of distributed algorithms for communication networks and decentralized systems. The volume includes all 28 papers presented at the workshop, covering current research in such aspects of distributed algorithm design as distributed combinatorial algorithms, distributed algorithms on graphs, distributed algorithms for new types of decentralized systems, distributed data structures, synchronization and load-balancing, distributed algorithms for control and communication, design and verification of network protocols, routing algorithms, fail-safe and fault-tolerant distributed algorithms, distributed database techniques, algorithms for transaction management and replica control, and other related topics.\"--PUBLISHER'S WEBSITEthis Volume Contains The Proceedings Of The 4th International Workshop On Distributed Algorithms, Held Near Bari, Italy, September 24-26, 1990. The Workshop Was A Forum For Researchers, Students And Other Interested Persons To Discuss Recent Results And Trends In The Design And Analysis Of Distributed Algorithms For Communication Networks And Decentralized Systems. The Volume Includes All 28 Papers Presented At The Workshop, Covering Current Research In Such Aspects Of Distributed Algorithm Design As Distributed Combinatorial Algorithms, Distributed Algorithms On Graphs, Distributed Algorithms For New Types Of Decentralized Systems, Distributed Data Structures, Synchronization And Load-balancing, Distributed Algorithms For Control And Communication, Design And Verification Of Network Protocols, Routing Algorithms, Fail-safe And Fault-tolerant Distributed Algorithms, Distributed Database Techniques, Algorithms For Transaction Management And Replica Control,...

English [en] · PDF · 164.8MB · 1990 · 📗 Book (unknown) · 🚀/duxiu/zlibzh · Save

ia/algorithmssoftwa0003ifip.pdf

Personal computers and intelligent systems : information processing 92 : proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992 Spain) Ifip World Computer Congress 1992 (Madrid, Robert Aiken, F. H. Vogt, IFIP World Computer Congress (12th 1992 Madrid, Spain), J. Van Leeuwen, R. Aiken North Holland, International Federation for Information Processing, Amsterdam u.a, 1992

3 volumes : 23 cm Vol. 2 edited by Robert M. Aiken; vol. 3 edited by Friedrich H. Vogt v. 1. Algorithms, software, architecture / edited by Jan van Leeuwen -- v. 2. Education and society / edited by Robert M. Aiken -- v. 3. Personal computers and intelligent systems / edited by Friedrich H. Vogt Includes bibliographical references and indexes

English [en] · PDF · 20.5MB · 1992 · 📗 Book (unknown) · 🚀/ia · Save

lgli/Kees van Leeuwen, Jan Hofman, Peter Driessen, Jos Frijns - The Challenges of Water Management and Governance in Cities (2019, MDPI).pdf

The Challenges of Water Management and Governance in Cities Cornelis Johannes (Kees) van Leeuwen; Jan Hofman; Peter Driessen; Jos Frijns MDPI - Multidisciplinary Digital Publishing Institute, Erscheinungsort nicht ermittelbar, 2019

This book is a printed edition of the Special Issue The Challenges of Water Management and Governance in Cities that was published in Water.

English [en] · PDF · 27.1MB · 2019 · 📘 Book (non-fiction) · 🚀/lgli/zlib · Save

Your ad here.

Automata, Languages and Programming [electronic resource] : Seventh Colloquium Noordwijkerhout, the Netherlands July 14-18, 1980 Bakker, Jaco, Leeuwen, Jan Berlin, Heidelberg : Springer Berlin Heidelberg, 1 edition, 1980

Content: Front Matter....Pages -How to get rid of pseudoterminals....Pages 1-11Test sets for homomorphism equivalence on context free languages....Pages 12-18Languages with homomorphic replacements....Pages 19-29Functions equivalent to integer multiplication....Pages 30-37Languages with reducing reflexive types....Pages 38-50Semantics of unbounded nondeterminism....Pages 51-63A shifting algorithm for min-max tree partitioning....Pages 64-75A characterisation of computable data types by means of a finite equational specification method....Pages 76-90A note on sweeping automata....Pages 91-97Border rank of a p?q?2 tensor and the optimal approximation of a pair of bilinear forms....Pages 98-108Derivations et reductions dans les grammaires algebrioues....Pages 109-118Semantic analysis of communicating sequential processes....Pages 119-133Dos systems and languages....Pages 134-141Algebraic implementation of abstract data types: concept, syntax, semantics and correctness....Pages 142-156Parameterized data types in algebraic specification languages....Pages 157-168Characterizing correctness properties of parallel programs using fixpoints....Pages 169-181Formal properties of one-visit and multi-pass attribute grammars (extended abstract)....Pages 182-194Cryptocomplexity and NP-completeness....Pages 195-207On the analysis of tree-matching algorithms....Pages 208-219Generating and searching sets induced by networks....Pages 221-233The complexity of the inequivalence problem for regular expressions with intersection....Pages 234-245An almost linear time algorithm for computing a dependency basis in a relational data base....Pages 246-256Bipolar synchronization systems....Pages 257-272Testing of properties of finite algebras....Pages 273-281A transaction model....Pages 282-298On observing nondeterminism and...

English [en] · PDF · 15.6MB · 1980 · 📗 Book (unknown) · zlib · Save

upload/newsarch_ebooks/2017/07/19/Handbook of Theoretical Computer Science. Volume A_ Algorithms and Complexity.pdf

Handbook of Theoretical Computer Science. Volume A: Algorithms and Complexity Jan van Leeuwen (ed.) Elsevier ; MIT Press, Elsevier Ltd., Cambridge, Massachusetts, 1990

Theoretical Computer Science provides the foundations for understanding and using the concepts and mechanisms of computing and information processing. This unique Handbook addresses the central areas of Theoretical Computer Science, providing professionals and students with a comprehensive overview of the main results and developments in this evolving field. It consists of 37 chapters written by leading American and European researchers, and is ideally suited for study and reference. The organization of each volume reflects the development of Theoretical Computer Science from its classical roots up to modern theoretical approaches to, for example, parallel and distributed computing. Extensive bibliographies and a subject index are included in each volume

English [en] · PDF · 10.6MB · 1990 · 📘 Book (non-fiction) · 🚀/lgli/lgrs/nexusstc/upload/zlib · Save

lgli/O:\new\kolx\90\Cs_Computer science\CsLn_Lecture notes\Computing and Combinatorics, 09 conf., COCOON 2003 (LNCS2697, Springer, 2003)(ISBN 3540405348)(O)(575s)_CsLn_.pdf

Computing And Combinatorics: 9th Annual International Conference, Cocoon 2003, Big Sky, Mt, Usa, July 25-28, 2003, Proceedings (lecture Notes In Computer Science) Goos, Gerhard; Hartmanis, Juris; Van Leeuwen, Jan Springer Berlin Heidelberg : Imprint: Springer, Springer Lecture notes in computer science 2697, 2003

This book constitutes the refereed proceedings of the 9th Annual International Computing and Combinatorics Conference, COCOON 2003, held in Big Sky, MT, USA in July 2003.The 52 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections on computational geometry, computational biology, computability and complexity theory, graph theory and graph algorithms, automata and Petri net theory, distributed computing, Web-based computing, scheduling, graph drawing, and fixed-parameter complexity theory.

English [en] · PDF · 4.0MB · 2003 · 📘 Book (non-fiction) · 🚀/lgli/lgrs/nexusstc/zlib · Save

upload/bibliotik/A/Alan Turing_ His Work and Impac - S. Barry Cooper.pdf

Alan Turing : His Work and Impact Cooper, S. Barry;Leeuwen, Jan;Turing, Alan Mathison Elsevier Science & Technology Books, 1, US, 2013

In this 2013 winner of the prestigious R.R. Hawkins Award from the Association of American Publishers, as well as the 2013 PROSE Awards for Mathematics and Best in Physical Sciences & Mathematics, also from the AAP, readers will find many of the most significant contributions from the four-volume set of the Collected Works of A. M. Turing . These contributions, together with commentaries from current experts in a wide spectrum of fields and backgrounds, provide insight on the significance and contemporary impact of Alan Turing's work. Offering a more modern perspective than anything currently available, Alan Turing: His Work and Impact gives wide coverage of the many ways in which Turing's scientific endeavors have impacted current research and understanding of the world. His pivotal writings on subjects including computing, artificial intelligence, cryptography, morphogenesis, and more display continued relevance and insight into today's scientific and technological landscape. This collection provides a great service to researchers, but is also an approachable entry point for readers with limited training in the science, but an urge to learn more about the details of Turing's work. 2013 winner of the prestigious R.R. Hawkins Award from the Association of American Publishers, as well as the 2013 PROSE Awards for Mathematics and Best in Physical Sciences & Mathematics, also from the AAP Named a 2013 Notable Computer Book in Computing Milieux by Computing Reviews Affordable, key collection of the most significant papers by A.M. Turing Commentary explaining the significance of each seminal paper by preeminent leaders in the field Additional resources available online

English [en] · PDF · 34.8MB · 2013 · 📘 Book (non-fiction) · 🚀/lgli/lgrs/nexusstc/upload/zlib · Save

lgli/G:/!genesis/_add/!woodhead/SD/9780444880741.CLEAR_SCAN.pdf

Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics Jan van Leeuwen (ed.) Elsevier ; MIT Press, Elsevier Ltd., Amsterdam, 1990

Theoretical computer science provides the foundations for understanding and exploiting the concepts and mechanisms in computing and information processing. This handbook will provide professionals and students with a comprehensive overview of the main results and developments in this rapidly evolving field. It consists of thirty-seven chapters in two volumes, all addressing core areas of theoretical computer science as it is practiced today. The material is written by leading American and European researchers, and each volume may be used independently.Volume A covers models of computation, complexity theory, data structures, and efficient computation in many recognized subdisciplines of theoretical computer science. Volume B presents a choice of material on the theory of automata and rewriting systems, the foundations of modem programming languages, logics for program specification and verification, and several chapters on the theoretic modeling of advanced information processing. The organization of each volume reflects the development of theoretical computer science from its classical roots to the modem theoretical approaches in parallel and distributed computing. Extensive bibliographies, a subject index, and list of contributors are included in each volume.

English [en] · PDF · 14.6MB · 1990 · 📘 Book (non-fiction) · 🚀/lgli/lgrs/nexusstc/zlib · Save

Your ad here.

lgli/D:/!genesis/library.nu/f4/_254524.f40903759e1c0dfe7b2fe524b7cffab5.pdf

Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics Jan van Leeuwen (ed.) Elsevier ; MIT Press, Elsevier Ltd., Amsterdam, 1990

Theoretical computer science provides the foundations for understanding and exploiting the concepts and mechanisms in computing and information processing. This handbook will provide professionals and students with a comprehensive overview of the main results and developments in this rapidly evolving field. It consists of thirty-seven chapters in two volumes, all addressing core areas of theoretical computer science as it is practiced today. The material is written by leading American and European researchers, and each volume may be used independently.Volume A covers models of computation, complexity theory, data structures, and efficient computation in many recognized subdisciplines of theoretical computer science. Volume B presents a choice of material on the theory of automata and rewriting systems, the foundations of modem programming languages, logics for program specification and verification, and several chapters on the theoretic modeling of advanced information processing. The organization of each volume reflects the development of theoretical computer science from its classical roots to the modem theoretical approaches in parallel and distributed computing. Extensive bibliographies, a subject index, and list of contributors are included in each volume.

English [en] · PDF · 66.6MB · 1990 · 📘 Book (non-fiction) · 🚀/lgli/lgrs/nexusstc/zlib · Save

ia/handbookoftheore0000unse_j2e5.pdf

Handbook of Theoretical Computer Science. Volume A: Algorithms and Complexity. Volume B: Formal Models and Semantics. Two-Volume Set Bozzano G Luisa Elsevier Science, Elsevier Ltd., Cambridge, Massachusetts, 1990

The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.

English [en] · PDF · 65.1MB · 1990 · 📗 Book (unknown) · 🚀/ia · Save

lgli/Cs_Computer science/CsLn_Lecture notes/P/PARLE '91.. Parallel Architectures and Languages Europe, Volume 1 (LNCS0505, Springer, 1991)(ISBN 3540541519)(T)(O)(439s)_CsLn_.djvu

PARLE '91. Parallel Architectures and Languages Europe: Volume I: Parallel Architectures and Algorithms. Eindhoven, The Netherlands, June 10-13, 1991. Proceedings (Lecture Notes in Computer Science) Thomas Johnsson (auth.), Emile H. L. Aarts, Jan van Leeuwen, Martin Rem (eds.) Springer-Verlag Berlin Heidelberg, Lecture Notes in Computer Science, Lecture Notes in Computer Science, 1, 1, 1991

The innovative progress in the development oflarge-and small-scale parallel computing systems and their increasing availability have caused a sharp rise in interest in the scientific principles that underlie parallel computation and parallel programming. The biannual "Parallel Architectures and Languages Europe" (PARLE) conferences aim at presenting current research material on all aspects of the theory, design, and application of parallel computing systems and parallel processing. At the same time, the goal of the PARLE conferences is to provide a forum for researchers and practitioners to ex{u00AD} change ideas on recent developments and trends in the field of parallel com{u00AD} puting and parallel programming. The first ~wo conferences, PARLE '87 and PARLE '89, have succeeded in meeting this goal and made PARLE a conference that is recognized worldwide in the field of parallel computation. PARLE '91 again offers a wealth of high-quality research material for the benefit of the scientific community. Compared to its predecessors, the scope of PARLE '91 has been broadened so as to cover the area of parallel algo{u00AD} rithms and complexity, in addition to the central themes of parallel archi{u00AD} tectures and languages. The proceedings of the PARLE '91 conference contain the text of all con{u00AD} tributed papers that were selected for the programme and of the invited papers by leading experts in the field

English [en] · DJVU · 5.5MB · 1991 · 📘 Book (non-fiction) · 🚀/lgli/lgrs/nexusstc/scihub/zlib · Save

ia/parle91parallela0000conf.pdf

PARLE '91. Parallel Architectures and Languages Europe: Volume I: Parallel Architectures and Algorithms. Eindhoven, The Netherlands, June 10-13, 1991. Proceedings (Lecture Notes in Computer Science) Conference on Parallel Architectures and Languages Europe (1991 Eindhoven, Netherlands), Netherlands) Conference on Parallel Architectures and Languages Europe (1991 : Eindhoven, E. H. L. Aarts, J. Van Leeuwen, M. Rem Springer Spektrum. in Springer-Verlag GmbH, Lecture notes in computer science -- 505-506., Berlin, New York, Germany, 1991

The Innovative Progress In The Development Of Large- And Small-scale Parallel Computing Systems And Their Increasing Availability Have Caused A Sharp Rise In Interest In The Scientific Principles That Underlie Parallel Computation And Parallel Programming. The Biannual Parallel Architectures And Languages Europe (parle) Conferences Aim At Presenting Current Research On All Aspects Of The Theory, Design And Application Of Parallel Computing Systems And Parallel Processing. Parle '91, The Third Conference In The Series, Again Offers A Wealth Of High-quality Research Material For The Benefit Of The Scientific Community. Compared To Its Predecessors, The Scope Of Parle '91 Has Been Broadened So As To Cover The Area Of Parallel Algorithms And Complexity, In Addition To The Central Themes Of Parallel Architectures And Languages. The Two-volume Proceedings Of The Parle '91 Conference Contain The Text Of All Contributed Papers That Were Selected For The Programme And Of The Invited Papers By Leading Experts In The Field.--publisher's Website. V. 1. Parallel Architectures And Algorithms -- V. 2. Parallel Languages. E.h.l. Aarts, J. Van Leeuwen, M. Rem (eds.) Includes Bibliographical References And Index.

English [en] · PDF · 24.9MB · 1991 · 📗 Book (unknown) · 🚀/ia · Save

ia/parle91parallela0506conf.pdf

PARLE '91. Parallel Architectures and Languages Europe: Volume I: Parallel Architectures and Algorithms. Eindhoven, The Netherlands, June 10-13, 1991. Proceedings (Lecture Notes in Computer Science) Conference on Parallel Architectures and Languages Europe (1991 Eindhoven, Netherlands), Netherlands) Conference on Parallel Architectures and Languages Europe (1991 : Eindhoven, E. H. L. Aarts, J. Van Leeuwen, M. Rem Springer Spektrum. in Springer-Verlag GmbH, Lecture notes in computer science -- 505-506., Berlin, New York, Germany, 1991

The Innovative Progress In The Development Of Large- And Small-scale Parallel Computing Systems And Their Increasing Availability Have Caused A Sharp Rise In Interest In The Scientific Principles That Underlie Parallel Computation And Parallel Programming. The Biannual Parallel Architectures And Languages Europe (parle) Conferences Aim At Presenting Current Research On All Aspects Of The Theory, Design And Application Of Parallel Computing Systems And Parallel Processing. Parle '91, The Third Conference In The Series, Again Offers A Wealth Of High-quality Research Material For The Benefit Of The Scientific Community. Compared To Its Predecessors, The Scope Of Parle '91 Has Been Broadened So As To Cover The Area Of Parallel Algorithms And Complexity, In Addition To The Central Themes Of Parallel Architectures And Languages. The Two-volume Proceedings Of The Parle '91 Conference Contain The Text Of All Contributed Papers That Were Selected For The Programme And Of The Invited Papers By Leading Experts In The Field.--publisher's Website. V. 1. Parallel Architectures And Algorithms -- V. 2. Parallel Languages. E.h.l. Aarts, J. Van Leeuwen, M. Rem (eds.) Includes Bibliographical References And Index.

English [en] · PDF · 27.2MB · 1991 · 📗 Book (unknown) · 🚀/ia · Save

Your ad here.

ia/authenticationin0000unse.pdf

Authentication in the visual arts : a multi-disciplinary symposium, Amsterdam, 12th March 1977 H. L. C Jaffé; Netherlands Ministerie van Cultuur, Recreatie en Maatschappelijk Werk B. M. Israël; B.M.Israel BV, Amsterdam, Netherlands, 1979

viii, 146 pages : 25 cm Includes bibliographical references and index

English [en] · PDF · 12.7MB · 1979 · 📗 Book (unknown) · 🚀/ia · Save

upload/degruyter/DeGruyter Partners/Amsterdam University Press [RETAIL]/10.1515_9789048534524.pdf

Rembrandt and his Circle: Insights and Discoveries (Amsterdam Studies in the Dutch Golden Age) Boudewijn Bakker; Martin Bijl; Angela Campbell; H. Perry Chapman; Dionysia Christoforou; Peter Van Der Coelen; Jacquelyn N Coutré; Lloyd DeWitt; Stephanie S Dickey; Stephanie Dickey; George Dietz; Margaret Holben Ellis; Ildikó Ember; Amy Golahny; Saira Haqqi; S.A.C. Dudok Van Heel; Erik Hinterding; C. Richard Johnson; Katja Kleinert; Michel Van Der Laar; Claudia Laurenze-Landsberg; Idelette Van Leeuwen; Jan L Leja; Jan van der Lubbe; Nadine M Orenstein; Jaco Rutgers; William A Sethares; Reba Snyder; Arie Wallert; Thijs Weststeijn; De Gruyter Amsterdam University Press, Amsterdam Studies in the Dutch Golden Age Ser, 1st ed, Grand Rapids, 2017

This collection brings together art historians, museum professionals, conservators, and conservation scientists whose work involves Rembrandt van Rijn and associated artists such as Gerrit Dou, Jan Lievens, and Ferdinand Bol. The range of subjects considered is wide: from the presentation of convincing evidence that Rembrandt and his contemporary Frans Hals rubbed elbows in the Amsterdam workshop of Hendrick Uylenburgh to critical reassessments of the role of printmaking in Rembrandt's studio, his competition with Lievens as a landscape painter, his reputation as a collector, and much more. Developed from a series of international conferences devoted to charting new directions in Rembrandt research, these essays illuminate the current state of Rembrandt studies and suggest avenues for future inquiry. "Skilfully chosen and edited by Stephanie Dickey, these papers were presented at the highly successful conferences on Rembrandt and his pupils held at Herstmonceaux Castle in recent years. This is cutting-edge Rembrandt scholarship full of valuable insights and new discoveries." -- Christopher Brown, Professor of Netherlandish Art, University of Oxford " This book] contains a wealth of fresh and lucidly argued insights, not only into Rembrandt's art, thinking and practice: notably, a significant place is reserved for such artists as Jan Lievens, Ferdinand Bol, Gerrit Dou, Johannes van Vliet and, unexpectedly, Frans Hals. In these thoughtful reflections on the artist and his milieu, the reader will find many generally accepted notions critically revised." - Eric Jan Sluijter, emeritus professor of Art History at the University of Amsterdam

English [en] · PDF · 10.0MB · 2017 · 📘 Book (non-fiction) · 🚀/lgli/lgrs/nexusstc/upload/zlib · Save

nexusstc/Rembrandt and his Circle: Insights and Discoveries/264165e338405bd6d363c0fe9e6c6541.pdf

Rembrandt and his Circle: Insights and Discoveries (Amsterdam Studies in the Dutch Golden Age) Boudewijn Bakker; Martin Bijl; Angela Campbell; H. Perry Chapman; Dionysia Christoforou; Peter Van Der Coelen; Jacquelyn N Coutré; Lloyd DeWitt; Stephanie S Dickey; Stephanie Dickey; George Dietz; Margaret Holben Ellis; Ildikó Ember; Amy Golahny; Saira Haqqi; S.A.C. Dudok Van Heel; Erik Hinterding; C. Richard Johnson; Katja Kleinert; Michel Van Der Laar; Claudia Laurenze-Landsberg; Idelette Van Leeuwen; Jan L Leja; Jan van der Lubbe; Nadine M Orenstein; Jaco Rutgers; William A Sethares; Reba Snyder; Arie Wallert; Thijs Weststeijn; De Gruyter Amsterdam University Press, Amsterdam Studies in the Dutch Golden Age Ser, 1st ed, Grand Rapids, 2017

This collection brings together art historians, museum professionals, conservators, and conservation scientists whose work involves Rembrandt van Rijn and associated artists such as Gerrit Dou, Jan Lievens, and Ferdinand Bol. The range of subjects considered is wide: from the presentation of convincing evidence that Rembrandt and his contemporary Frans Hals rubbed elbows in the Amsterdam workshop of Hendrick Uylenburgh to critical reassessments of the role of printmaking in Rembrandt's studio, his competition with Lievens as a landscape painter, his reputation as a collector, and much more. Developed from a series of international conferences devoted to charting new directions in Rembrandt research, these essays illuminate the current state of Rembrandt studies and suggest avenues for future inquiry. "Skilfully chosen and edited by Stephanie Dickey, these papers were presented at the highly successful conferences on Rembrandt and his pupils held at Herstmonceaux Castle in recent years. This is cutting-edge Rembrandt scholarship full of valuable insights and new discoveries." -- Christopher Brown, Professor of Netherlandish Art, University of Oxford " This book] contains a wealth of fresh and lucidly argued insights, not only into Rembrandt's art, thinking and practice: notably, a significant place is reserved for such artists as Jan Lievens, Ferdinand Bol, Gerrit Dou, Johannes van Vliet and, unexpectedly, Frans Hals. In these thoughtful reflections on the artist and his milieu, the reader will find many generally accepted notions critically revised." - Eric Jan Sluijter, emeritus professor of Art History at the University of Amsterdam

English [en] · PDF · 11.0MB · 2017 · 📘 Book (non-fiction) · 🚀/lgli/lgrs/nexusstc/zlib · Save

ia/graphtheoreticco0000inte_l3e2.pdf

Graph-Theoretic Concepts in Computer Sciences: International Workshop Wg 88 Amsterdam, the Netherlands, June 15-17, 1988. Proceedings (Lecture Notes in Computer Science) International Workshop WG (14th: 1988: Centre for Mathematics and Computer Science); Leeuwen, J. van (Jan); Mathematisch Centrum (Amsterdam, Netherlands) Springer Spektrum. in Springer-Verlag GmbH, Lecture notes in computer science, 344, Berlin, Heidelberg :, 1989

This volume presents the proceedings of the 14th International Workshop on Graph-Theoretic Concepts in Computer Science (WG '88), held from June 15 to 17, 1988 in Amsterdam, The Netherlands. It contains 31 papers on new or current developments in the area of graph-based algorithms. The topics covered include e.g. structural graph theory, parallel graph algorithms, graph-based modeling (in database theory and VLSI), computational geometry and applied graph theory. The book contains the revised versions of all the papers presented at the workshop. The revisions are based on comments and suggestions received by the authors during and after the workshop. Erscheinungsdatum: 25.01.1989

English [en] · PDF · 23.0MB · 1989 · 📗 Book (unknown) · 🚀/ia · Save

ia/algorithmssoftwa0002ifip.pdf

Algorithms, software, architecture : information processing 92: Vol. 1 : proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992 IFIP World Computer Congress (12th : 1992 : Madrid, Spain), Leeuwen, J. van (Jan); Aiken, Robert (Robert M.); Vogt, F. H. (Friedrich H.), 1943- Amsterdam ; New York : North-Holland, International Federation for Information Processing, Amsterdam u.a, 1992

3 volumes : 23 cm, Vol. 2 edited by Robert M. Aiken; vol. 3 edited by Friedrich H. Vogt, v. 1. Algorithms, software, architecture / edited by Jan van Leeuwen -- v. 2. Education and society / edited by Robert M. Aiken -- v. 3. Personal computers and intelligent systems / edited by Friedrich H. Vogt, Includes bibliographical references and indexes

English [en] · PDF · 40.4MB · 1992 · 📗 Book (unknown) · 🚀/ia/zlib · Save

Your ad here.

ia/handbookoftheore0000unse.pdf

Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics Thomas F. Cash; Thomas Pruzinsky Amsterdam ; New York: Elsevier ; Cambridge, Mass.: MIT Press, Handbook of theoretical computer science / ed. by Jan. van Leeuwen, vol. A, 1. ed., 2. impr, Amsterdam, 1992

this Handbook Will Provide Professionals And Students With A Comprehensive Overview Of The Main Results And Developments In This Rapidly Evolving Field.

English [en] · PDF · 46.5MB · 1992 · 📗 Book (unknown) · 🚀/ia · Save

lgli/Cs_Computer science/CsF_Formal methods/van Leeuwen J. (ed.) Handbook of theoretical computer science. Vol.A. Algorithms and complexity (Elsevier, 1990)(600dpi)(ISBN 0444880712)(T)(1011s)_CsF_.djvu

Handbook of Theoretical Computer Science. Volume A: Algorithms and Complexity Jan van Leeuwen (ed.) Elsevier ; MIT Press, Elsevier Ltd., Cambridge, Massachusetts, 1990

Theoretical Computer Science provides the foundations for understanding and using the concepts and mechanisms of computing and information processing. This unique Handbook addresses the central areas of Theoretical Computer Science, providing professionals and students with a comprehensive overview of the main results and developments in this evolving field. It consists of 37 chapters written by leading American and European researchers, and is ideally suited for study and reference. The organization of each volume reflects the development of Theoretical Computer Science from its classical roots up to modern theoretical approaches to, for example, parallel and distributed computing. Extensive bibliographies and a subject index are included in each volume

English [en] · DJVU · 12.8MB · 1990 · 📘 Book (non-fiction) · 🚀/lgli/lgrs/nexusstc/zlib · Save

ia/handbookoftheore0000unse_i3m8.pdf

Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics Thomas F. Cash; Thomas Pruzinsky Amsterdam ; New York: Elsevier ; Cambridge, Mass.: MIT Press, Handbook of theoretical computer science / ed. by Jan. van Leeuwen, vol. A, 1. ed., 2. impr, Amsterdam, 1992

this Handbook Will Provide Professionals And Students With A Comprehensive Overview Of The Main Results And Developments In This Rapidly Evolving Field.

English [en] · PDF · 55.7MB · 1992 · 📗 Book (unknown) · 🚀/ia · Save

lgrsnf/952.pdf

Fast Software Encryption: 7th International Workshop, FSE 2000, New York, NY, USA, April 10-12, 2000. Proceedings (Lecture Notes in Computer Science, 1978) Goos, Gerhard; Hartmanis, Juris; van Leeuwen, Jan; Schneier, Bruce Springer Berlin Heidelberg : Imprint: Springer, Lecture Notes in Computer Science, 1978, 1st ed. 2001, Berlin, Heidelberg, 2001

Since 1993, Cryptographic Algorithm Research Has Centered Around The Fast So- Ware Encryption (fse) Workshop. First Held At Cambridge University With 30 Attendees, It Has Grown Over The Years And Has Achieved Worldwide Recognition As A Premiere Conference. It Has Been Held In Belgium, Israel, France, Italy, And, Most Recently, New York. Fse 2000 Was The 7th International Workshop, Held In The United States For The Rst Time. Two Hundred Attendees Gathered At The Hilton New York On Sixth Avenue, To Hear 21 Papers Presented Over The Course Of Three Days: 10{12 April 2000. These Proceedings Constitute A Collection Of The Papers Presented During Those Days. Fse Concerns Itself With Research On Classical Encryption Algorithms And - Lated Primitives, Such As Hash Functions. This Branch Of Cryptography Has Never Been More In The Public Eye. Since 1997, Nist Has Been Shepherding The Adv- Ced Encryption Standard (aes) Process, Trying To Select A Replacement Algorithm For Des. The Rst Aes Conference, Held In California The Week Before Crypto 98, Had Over 250 Attendees. The Second Conference, Held In Rome Two Days Before Fse 99, Had Just Under 200 Attendees. The Third Aes Conference Was Held In Conjunction With Fse 2000, During The Two Days Following It, At The Same Hotel. Specific Stream-cipher Cryptanalysis -- New Ciphers -- Aes Cryptanalysis 1 -- Block-cipher Cryptanalysis 1 -- Power Analysis -- General Stream-cipher Crytanalysis -- Aes Cryptanalysis 2 -- Block-cipher Cryptanalysis 2 -- Theoretical Work. Bruce Schneier (ed.) Includes Bibliographical References And Index.

English [en] · PDF · 5.5MB · 2001 · 📘 Book (non-fiction) · 🚀/lgli/lgrs/scihub/zlib · Save

lgli/D:\HDD4\!genesis\SPR_NEW_2013-12\bok%3A978-3-540-48224-6.pdf

Automata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings Christos H. Papadimitriou (auth.), Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen (eds.) Springer-Verlag Berlin Heidelberg, Lecture Notes in Computer Science, Lecture Notes in Computer Science 2076, 1, 2001

This book constitutes the refereed proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP 2001, held in Crete, Greece in July 2001. The 80 revised papers presented together with two keynote contributions and four invited papers were carefully reviewed and selected from a total of 208 submissions. The papers are organized in topical sections on algebraic and circuit complexity, algorithm analysis, approximation and optimization, complexity, concurrency, efficient data structures, graph algorithms, language theory, codes and automata, model checking and protocol analysis, networks and routing, reasoning and verification, scheduling, secure computation, specification and deduction, and structural complexity.

English [en] · PDF · 10.7MB · 2001 · 📘 Book (non-fiction) · 🚀/lgli/lgrs/nexusstc/scihub/zlib · Save

Your ad here.

upload/wll/ENTER/Science/IT & AI/1 - More Books on IT/IT Science and Programming/Formal methods/van Leeuwen J. (ed.) Handbook of theoretical computer science. Vol.B. Formal models and semantics (Elsevier, 1990)(ISBN 0262220393)(T)(1264s)_Cs_.djvu

Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics Jan van Leeuwen (ed.) Elsevier ; MIT Press, Elsevier Ltd., Amsterdam, 1990

Theoretical computer science provides the foundations for understanding and exploiting the concepts and mechanisms in computing and information processing. This handbook will provide professionals and students with a comprehensive overview of the main results and developments in this rapidly evolving field. It consists of thirty-seven chapters in two volumes, all addressing core areas of theoretical computer science as it is practiced today. The material is written by leading American and European researchers, and each volume may be used independently.Volume A covers models of computation, complexity theory, data structures, and efficient computation in many recognized subdisciplines of theoretical computer science. Volume B presents a choice of material on the theory of automata and rewriting systems, the foundations of modem programming languages, logics for program specification and verification, and several chapters on the theoretic modeling of advanced information processing. The organization of each volume reflects the development of theoretical computer science from its classical roots to the modem theoretical approaches in parallel and distributed computing. Extensive bibliographies, a subject index, and list of contributors are included in each volume.

English [en] · DJVU · 9.8MB · 1990 · 📘 Book (non-fiction) · 🚀/lgli/lgrs/nexusstc/upload/zlib · Save

lgrsnf/977.pdf

Constraints in Computational Logics: Theory and Applications: International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures (Lecture Notes in Computer Science, 2002) Gerhard Goos; Juris Hartmanis; Jan van Leeuwen; Hubert Comon; Claude Marché; Ralf Treinen Springer Berlin Heidelberg : Imprint: Springer, Lecture notes in computer science, Vol. 2002, Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo, 2001

Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1980s and more recently for functional programming. The use of constraints in automated deduction is more recent and has proved to be very successful, moving the control from the meta-level to the constraints, which are now first-class objects. This monograph-like book presents six thoroughly reviewed and revised lectures given by leading researchers at the summer school organized by the ESPRIT CCL Working Group in Gif-sur-Yvette, France, in September 1999. The book offers coherently written chapters on constraints and constraint solving, constraint solving on terms, combining constraint solving, constraints and theorem proving, functional and constraint logic programming, and building industrial applications.

English [en] · PDF · 4.1MB · 2001 · 📘 Book (non-fiction) · 🚀/lgli/lgrs/scihub/zlib · Save

lgli/A:\Springer\bok%3A978-3-662-25209-3.pdf

PARLE '91. Parallel Architectures and Languages Europe: Volume I: Parallel Architectures and Algorithms. Eindhoven, The Netherlands, June 10-13, 1991. Proceedings (Lecture Notes in Computer Science) Thomas Johnsson (auth.), Emile H. L. Aarts, Jan van Leeuwen, Martin Rem (eds.) Springer-Verlag Berlin Heidelberg, Lecture Notes in Computer Science, Lecture Notes in Computer Science, 1, 1, 1991

The innovative progress in the development oflarge-and small-scale parallel computing systems and their increasing availability have caused a sharp rise in interest in the scientific principles that underlie parallel computation and parallel programming. The biannual "Parallel Architectures and Languages Europe" (PARLE) conferences aim at presenting current research material on all aspects of the theory, design, and application of parallel computing systems and parallel processing. At the same time, the goal of the PARLE conferences is to provide a forum for researchers and practitioners to ex{u00AD} change ideas on recent developments and trends in the field of parallel com{u00AD} puting and parallel programming. The first ~wo conferences, PARLE '87 and PARLE '89, have succeeded in meeting this goal and made PARLE a conference that is recognized worldwide in the field of parallel computation. PARLE '91 again offers a wealth of high-quality research material for the benefit of the scientific community. Compared to its predecessors, the scope of PARLE '91 has been broadened so as to cover the area of parallel algo{u00AD} rithms and complexity, in addition to the central themes of parallel archi{u00AD} tectures and languages. The proceedings of the PARLE '91 conference contain the text of all con{u00AD} tributed papers that were selected for the programme and of the invited papers by leading experts in the field

English [en] · PDF · 40.7MB · 1991 · 📘 Book (non-fiction) · 🚀/lgli/lgrs/nexusstc/scihub/zlib · Save

hathi/mdp/pairtree_root/39/07/60/01/09/56/65/39076001095665/39076001095665.zip

Handbook of theoretical computer science / editor, Jan van Leeuwen. Bozzano G Luisa Elsevier ; MIT Press, c1990., Amsterdam, New York, Cambridge, Mass, Netherlands, 1990

The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.

English [en] · ZIP · 1.8MB · 1990 · 📗 Book (unknown) · 🚀/hathi · Save

hathi/mdp/pairtree_root/39/07/60/01/09/56/57/39076001095657/39076001095657.zip

Handbook of theoretical computer science / editor, Jan van Leeuwen. Bozzano G Luisa Elsevier ; MIT Press, c1990., Amsterdam, New York, Cambridge, Mass, Netherlands, 1990

The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.

English [en] · ZIP · 1.5MB · 1990 · 📗 Book (unknown) · 🚀/hathi · Save

Your ad here.

upload/wll/ENTER/Science/IT & AI/1 - More Books on IT/IT Science and Programming/Formal methods/van Leeuwen J.(ed.) Handbook of theoretical computer science. Vol.A. Algorithms and complexity (Elsevier, 1990)(600dpi)(T)(ISBN 0444880712)(1010s).djvu

Handbook of Theoretical Computer Science. Volume A: Algorithms and Complexity. Volume B: Formal Models and Semantics. Two-Volume Set Jan van Leeuwen (ed.) Elsevier ; MIT Press, Handbook of theoretical computer science / ed. by Jan. van Leeuwen, / ed. by Jan van Leeuwen ; Vol. B, 1. ed., 2. impr, Amsterdam, 1992

The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.

English [en] · DJVU · 12.8MB · 1992 · 📘 Book (non-fiction) · 🚀/lgli/lgrs/upload/zlib · Save

❌ This file might have issues.

scihub/10.1007/3-540-44456-4.pdf

10.1007/3-540-44456-4.pdf Minoru Kuribayashi, Hatsukazu Tanaka (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Josef Pieprzyk, Jennifer Seberry, Eiji Okamoto (eds.) Springer Berlin Heidelberg, 1, 2000

PDF · 12.3MB · 2000 · 📘 Book (non-fiction) · 🚀/lgli/scihub · Save

ia/omslaginbeeldboe0000heij.pdf

Omslag in beeld : boeken, bladmuziek, brochures, toegepaste grafische kunst : 1890-1940 : collectie, Rob Aardse Jan Jaap Heij; Jan Storm van Leeuwen; Roel Meijer; Remco Meijer Assen: Drents Museum ; Amersfoort: Bekking & Blitz, Assen, Amersfoort, Netherlands, 2008

192 p. : 31 cm Includes bibliographical references

Dutch [nl] · PDF · 19.7MB · 2008 · 📗 Book (unknown) · 🚀/ia · Save

nexusstc/Law, Life and the Images of Man: Modes of Thought in Modern Legal Theory. Festschrift for Jan M. Broekman/ed52f17f1ac281d5a24adb36cd8bfd6c.pdf

Law, Life and the Images of Man. : Modes of Thought in Modern Legal Theory. Festschrift for Jan M. Broekman. Fleerackers, Frank; Leeuwen, Evert van; Roermund, Bert van Duncker und Humblot, 1st ed, Berlin, 1996

Jan M. Broekman is since 1996 Professor emeritus of Philosophy of Law and Legal Theory at the Catholic University of Leuven (Belgium) and of Philosophy and Medical Ethics at the Vrije Universiteit of Amsterdam (Netherlands). -- During a long and distinguished career he has won an international reputation for his work in the fields of legal anthropology, legal theory and the philosophy of law and medicine. He published widely in these fields and lectured throughout Europe, Latin America and the United States of America. This Festschrift reflects some important themes of his work, especially the ones concerning the intertwinement of legal, medical and moral discourse and its related aspects in technology, politics and anthropology. -- Due to their different fields of research, the authors approach their topic from their own scientific and cultural perspective. The contributions provide the reader with well-documented and skilled insights into specific questions in many countries like Germany, Brasil, Chile, Italy, Belgium and the United States of America. -- The composition of the colourful range of contributions is focussed on the core theme of both legal modernism and post-modernism: the tacit assumption of a discursive unity behind thinking, acting and talking. The mimetic representation of man and humanity in legal and medical discourse is built on this assumption. -- Fundamental questions belonging to the discursive unity are dealt with, for instance concerning language and reality; being and mimesis; norms, rights and facts. They are confronted with actual questions in health care (quality of life, autonomy, the elderly), in European politics and in economics. -- The contributions document the leading developments in today's legal, medical and philosophical debates. They will provide the reader with outstanding thoughts on the future orientation of law in society

English [en] · PDF · 65.1MB · 1996 · 📘 Book (non-fiction) · 🚀/lgli/lgrs/nexusstc · Save

ia/parallelcomputer0000unse_h5p4.pdf

Parallel computers and computations J. van Leeuwen; J. K Lenstra; Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands); Mathematisch Centrum (Amsterdam, Netherlands) Centre for Mathematics and Computer Science, CWI syllabus -- 9, Amsterdam, Netherlands, 1985

184p. ; 24 cm

English [en] · PDF · 9.1MB · 1985 · 📗 Book (unknown) · 🚀/ia · Save

Your ad here.

nexusstc/Data Assimilation Fundamentals : A Unified Formulation of the State and Parameter Estimation Problem/cef5d416c5e9ad31af34b924494dd058.epub

Data Assimilation Fundamentals: A Unified Formulation of the State and Parameter Estimation Problem (Springer Textbooks in Earth Sciences, Geography and Environment) Geir Evensen, Femke C. Vossepoel, Peter Jan van Leeuwen, Femke Vossepoel Springer International Publishing : Imprint: Springer, Springer textbooks in earth sciences, geography and environment, 1st ed. 2022, Cham :, 2022

Springer Textbooks in Earth Sciences, Geography and Environment Erscheinungsdatum: 23.04.2022

English [en] · EPUB · 46.6MB · 2022 · 📘 Book (non-fiction) · 🚀/lgli/lgrs/nexusstc/zlib · Save

lgli/M_Mathematics/MOc_Optimization and control/van Leeuwen E. Optimization and approximation on systems of geometric objects (CWI, diss., 2009)(ISBN 9789090243177)(O)(264s)_MOc_.pdf

Optimization and approximation on systems of geometric objects van Leeuwen E. CWI, CWI diss., diss., 2009

Optimization Problems and Systems of Geometric Objects......Page 11 Wireless Networks......Page 12 Wireless Network Planning......Page 13 Thesis Overview......Page 14 Published Papers......Page 17 I Foundations......Page 19 Classic Notions......Page 21 Asymptotic Approximation Schemes......Page 24 Intersection Graphs......Page 27 Interval Graphs and Generalizations......Page 28 Intersection Graphs of Higher Dimensional Objects......Page 30 Disk Graphs and Ball Graphs......Page 31 Models for Wireless Networks......Page 33 Relation to Other Graph Classes......Page 35 Relation to Planar Graphs......Page 36 Scalable and epsilon-Separated Objects......Page 39 Finite Representation......Page 43 Polynomial Representation and Separation......Page 44 From Representation to Separation......Page 45 From Separation to Representation......Page 47 II Approximation on Geometric Intersection Graphs......Page 51 Problems......Page 53 Previous Work......Page 54 Graph Decompositions......Page 59 Thickness......Page 63 Algorithms on Strong, Relaxed Tree Decompositions......Page 64 Maximum Independent Set and Minimum Vertex Cover......Page 65 Minimum Dominating Set......Page 66 Minimum Connected Dominating Set......Page 69 Unit Disk Graphs of Bounded Thickness......Page 72 The Density of Unit Disk Graphs......Page 77 Relation to Thickness......Page 78 Approximation Schemes......Page 80 Maximum Independent Set......Page 81 Minimum Vertex Cover......Page 84 Minimum Dominating Set......Page 87 Minimum Connected Dominating Set......Page 89 Generalizations......Page 92 Optimality......Page 94 Connected Dominating Set on Graphs Excluding a Minor......Page 98 The Ply of Disk Graphs......Page 101 Approximating Minimum Vertex Cover......Page 102 Properties of the size and sol-Functions......Page 103 Computing the size- and sol-Functions......Page 105 An eptas for Minimum Vertex Cover......Page 108 Approximating Maximum Independent Set......Page 109 Further Improvements......Page 114 Maximum Nr. of Disjoint Unit Disks Intersecting a Unit Square......Page 116 Domination on Geometric Intersection Graphs......Page 123 Small epsilon-Nets......Page 124 Generic Domination......Page 126 Homothetic Convex Polygons......Page 129 Regular Polygons......Page 133 More General Objects......Page 135 Disk Graphs of Bounded Ply......Page 136 Ply-Dependent Approximation Ratio......Page 137 A Constant Approximation Ratio......Page 139 A Better Constant......Page 148 Hardness of Approximation......Page 155 Intersection Graphs of Polygons......Page 156 Intersection Graphs of Fat Objects......Page 158 Intersection Graphs of Rectangles......Page 160 III Approximating Geometric Coverage Problems......Page 167 Problems......Page 169 Previous Work......Page 171 A ptas on Unit Squares......Page 175 Geometric Budgeted Maximum Coverage......Page 185 Optimality and Relation to Domination......Page 187 Hardness of Approximation......Page 188 Unique Coverage......Page 191 Approximation Algorithm on Unit Disks......Page 192 Budgets and Satisfactions......Page 195 Approximation Algorithm on Unit Squares......Page 197 Unique Coverage on Disks of Bounded Ply......Page 198 Properties of the cost- and sol-Functions......Page 199 Computing the cost- and sol-Functions......Page 202 The Approximation Algorithm......Page 204 Geometric Membership Set Cover......Page 206 Hardness of Approximation......Page 209 Conclusion......Page 217 Bibliography......Page 219 Author Index......Page 247 Index......Page 253 Samenvatting......Page 259 Summary......Page 261 Acknowledgments......Page 263

English [en] · PDF · 1.2MB · 2009 · 📘 Book (non-fiction) · 🚀/lgli/lgrs/nexusstc/zlib · Save

nexusstc/Data Assimilation Fundamentals : A Unified Formulation of the State and Parameter Estimation Problem/95c1586d7705cc4c94c065b283828966.pdf

Data Assimilation Fundamentals: A Unified Formulation of the State and Parameter Estimation Problem (Springer Textbooks in Earth Sciences, Geography and Environment) Geir Evensen, Femke C. Vossepoel, Peter Jan van Leeuwen, Femke Vossepoel Springer International Publishing : Imprint: Springer, Springer textbooks in earth sciences, geography and environment, 1st ed. 2022, Cham :, 2022

Springer Textbooks in Earth Sciences, Geography and Environment Erscheinungsdatum: 23.04.2022

English [en] · PDF · 11.8MB · 2022 · 📘 Book (non-fiction) · 🚀/lgli/lgrs/nexusstc/zlib · Save

lgli/73/Cs_Computer science/CsDi_Discrete math/Karpinski M., Leeuwen J.V. (eds.) Topics in the theory of computation (NHMS102, NH, 1985)(ISBN 0444876472)(T)(202s)_CsDi_.djvu

Topics in the theory of computation: selected papers of the International Conference on ’’Foundations of Computation Theory’’, FCT ’83, Borgholm, Sweden, August 21-27, 1983’ Marek Karpinski, J. Van Leeuwen (ed.) Elsevier Science Ltd, North-Holland Mathematics Studies 102 / Annals of Discrete Mathematics 24, 1985

This volume contains nine selected papers presented at the Borgholm conference. They were chosen on the basis of their immediate relevance to the most fundamental aspects of the theory of computation and the newest developments in this area. These papers, which have been extended and refereed, fall into eight categories: 1. Constructive Mathematics in Models of Computation and Programming; 2. Abstract Calculi and Denotational Semantics; 3. Theory of Machines, Computations and Languages; 4. Nondeterminism, Concurrency and Distributed Computing; 5. Abstract Algebras, Logics and Combinatorics in Computation Theory; 6. General Computability and Decidability; 7. Computational and Arithmetic Complexity; 8. Analysis of Algorithms and Feasible Computing.

English [en] · DJVU · 1.6MB · 1985 · 📘 Book (non-fiction) · 🚀/lgli/lgrs/nexusstc/zlib · Save

lgli/Cs_Computer science/CsB_Biography, history/Cooper S.B., van Leeuwen J. (eds.) Alan Turing. His work and impact (Elsevier, 2013)(ISBN 9780123869807)(C)(O)(937s)_Cs_.pdf

Alan Turing : His Work and Impact Cooper S.B., van Leeuwen J. (eds.) Elsevier Science & Technology Books, 1, US, 2013

__"The fact remains that everyone who taps at a keyboard, opening a spreadsheet or a word-processing program, is working on an incarnation of a Turing machine."-____TIME__ In this accessible new selection of writings by Information Age pioneer Alan Turing, readers will find many of the most significant contributions from the four-volume set of the __Collected Works of A. M. Turing__. These contributions, together with commentaries from current experts in a wide spectrum of fields and backgrounds, provide insight on the significance and contemporary impact of A.M. Turing's work. Offering a more modern perspective than anything currently available, __Alan Turing: His Work and Impact__ gives wide coverage of the many ways in which Turing's scientific endeavors have impacted current research and understanding of the world. His pivotal writings on subjects including computing, artificial intelligence, cryptography, morphogenesis, and more display continued relevance and insight into today's scientific and technological landscape. This collection provides a great service to researchers, but is also an approachable entry point for readers with limited training in the science, but an urge to learn more about the details of Turing's work. * Affordable, key collection of the most significant papers by A.M. Turing. * Commentary explaining the significance of each seminal paper by preeminent leaders in the field. * Additional resources available online.

English [en] · PDF · 29.0MB · 2013 · 📘 Book (non-fiction) · 🚀/lgli/lgrs/nexusstc/zlib · Save

Your ad here.

lgrsnf/4038.pdf

Theoretical computer science : exploring new frontiers of theoretical informatics : International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000 : proceedings Martí;n Abadi, Phillip Rogaway (auth.), Jan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito (eds.) Springer Berlin Heidelberg, Lecture notes in computer science -- 1872., New York, New York State, 2000

In 1996 the International Federation for Information Processing (IFIP) establ- hed its rst Technical Committee on foundations of computer science, TC1. The aim of IFIP TC1 is to support the development of theoretical computer science as a fundamental science and to promote the exploration of fundamental c- cepts, models, theories, and formal systems in order to understand laws, limits, and possibilities of information processing. This volume constitutes the proceedings of the rst IFIP International C- ference on Theoretical Computer Science (IFIP TCS 2000) { Exploring New Frontiers of Theoretical Informatics { organized by IFIP TC1, held at Tohoku University, Sendai, Japan in August 2000. The IFIP TCS 2000 technical program consists of invited talks, contributed talks, and a panel discussion. In conjunction with this program there are two special open lectures by Professors Jan van Leeuwen and Peter D. Mosses. The decision to hold this conference was made by IFIP TC1 in August 1998, and since then IFIP TCS 2000 has bene ted from the e orts of many people; in particular, the TC1 members and the members of the Steering Committee, the Program Committee, and the Organizing Committee of the conference. Our special thanks go to the Program Committee Co-chairs: Track (1): Jan van Leeuwen (U. Utrecht), Osamu Watanabe (Tokyo Inst. Tech.) Track (2): Masami Hagiya (U. Tokyo), Peter D. Mosses (U. Aarhus). Erscheinungsdatum: 26.07.2000

English [en] · PDF · 7.9MB · 2000 · 📘 Book (non-fiction) · 🚀/lgli/lgrs/scihub · Save

nexusstc/Topics in the theory of computation: selected papers of the International Conference on ’’Foundations of Computation Theory’’, FCT ’83, Borgholm, Sweden, August 21-27, 1983’/8d3c61601fd9a323f0137258c05c2b66.pdf

Topics in the theory of computation: selected papers of the International Conference on ’’Foundations of Computation Theory’’, FCT ’83, Borgholm, Sweden, August 21-27, 1983’ Marek Karpinski, J. Van Leeuwen (ed.) Elsevier Science Ltd, North-Holland Mathematics Studies 102 / Annals of Discrete Mathematics 24, 1985

This volume contains nine selected papers presented at the Borgholm conference. They were chosen on the basis of their immediate relevance to the most fundamental aspects of the theory of computation and the newest developments in this area. These papers, which have been extended and refereed, fall into eight categories: 1. Constructive Mathematics in Models of Computation and Programming; 2. Abstract Calculi and Denotational Semantics; 3. Theory of Machines, Computations and Languages; 4. Nondeterminism, Concurrency and Distributed Computing; 5. Abstract Algebras, Logics and Combinatorics in Computation Theory; 6. General Computability and Decidability; 7. Computational and Arithmetic Complexity; 8. Analysis of Algorithms and Feasible Computing.

English [en] · PDF · 3.3MB · 1985 · 📘 Book (non-fiction) · 🚀/lgli/lgrs/nexusstc/zlib · Save

lgli/G:/!upload/are/books/Topics in the Theory of Computation (North-Holland Mathematics Studies) (Marek Karpinski, J. Van Leeuwen) 0444876472.pdf

Topics in the theory of computation: selected papers of the International Conference on ’’Foundations of Computation Theory’’, FCT ’83, Borgholm, Sweden, August 21-27, 1983’ Marek Karpinski, J. Van Leeuwen (ed.) Elsevier Science Ltd, North-Holland Mathematics Studies 102 / Annals of Discrete Mathematics 24, 1985

This volume contains nine selected papers presented at the Borgholm conference. They were chosen on the basis of their immediate relevance to the most fundamental aspects of the theory of computation and the newest developments in this area. These papers, which have been extended and refereed, fall into eight categories: 1. Constructive Mathematics in Models of Computation and Programming; 2. Abstract Calculi and Denotational Semantics; 3. Theory of Machines, Computations and Languages; 4. Nondeterminism, Concurrency and Distributed Computing; 5. Abstract Algebras, Logics and Combinatorics in Computation Theory; 6. General Computability and Decidability; 7. Computational and Arithmetic Complexity; 8. Analysis of Algorithms and Feasible Computing.

English [en] · PDF · 9.4MB · 1985 · 📘 Book (non-fiction) · 🚀/lgli/lgrs/nexusstc/zlib · Save

lgli/Cs_Computer science/CsLn_Lecture notes/D/Distributed Algorithms 4 conf., WDAG '90 (LNCS0486, Springer, 1991)(ISBN 3540540997)(T)(O)(439s).djvu

Distributed Algorithms: 4th International Workshop, Bari, Italy, September 24-26, 1990. Proceedings. (lecture Notes In Computer Science) Amos Israeli, Marc Jalfon (auth.), Jan van Leeuwen, Nicola Santoro (eds.) Springer-Verlag Berlin Heidelberg, Lecture Notes in Computer Science, Lecture Notes in Computer Science 486, 1, 1991

This volume contains the proceedings of the 4th International Workshop on Distributed Algorithms, held near Bari, Italy, September 24-26, 1990. The workshop was a forum for researchers, students and other interested persons to discuss recent results and trends in the design and analysis of distributed algorithms for communication networks and decentralized systems. The volume includes all 28 papers presented at the workshop, covering current research in such aspects of distributed algorithm design as distributed combinatorial algorithms, distributed algorithms on graphs, distributed algorithms for new types of decentralized systems, distributed data structures, synchronization and load-balancing, distributed algorithms for control and communication, design and verification of network protocols, routing algorithms, fail-safe and fault-tolerant distributed algorithms, distributed database techniques, algorithms for transaction management and replica control, and other related topics. Erscheinungsdatum: 19.06.1991

English [en] · DJVU · 4.5MB · 1991 · 📘 Book (non-fiction) · 🚀/lgli/lgrs/nexusstc/zlib · Save

In this 2013 winner of the prestigious R.R. Hawkins Award from the Association of American Publishers, as well as the 2013 PROSE Awards for Mathematics and Best in Physical Sciences & Mathematics, also from the AAP, readers will find many of the most significant contributions from the four-volume set of the Collected Works of A. M. Turing . These contributions, together with commentaries from current experts in a wide spectrum of fields and backgrounds, provide insight on the significance and contemporary impact of Alan Turing's work. Offering a more modern perspective than anything currently available, Alan Turing: His Work and Impact gives wide coverage of the many ways in which Turing's scientific endeavors have impacted current research and understanding of the world. His pivotal writings on subjects including computing, artificial intelligence, cryptography, morphogenesis, and more display continued relevance and insight into today's scientific and technological landscape. This collection provides a great service to researchers, but is also an approachable entry point for readers with limited training in the science, but an urge to learn more about the details of Turing's work. 2013 winner of the prestigious R.R. Hawkins Award from the Association of American Publishers, as well as the 2013 PROSE Awards for Mathematics and Best in Physical Sciences & Mathematics, also from the AAP Named a 2013 Notable Computer Book in Computing Milieux by Computing Reviews Affordable, key collection of the most significant papers by A.M. Turing Commentary explaining the significance of each seminal paper by preeminent leaders in the field Additional resources available online

English [en] · MOBI · 15.5MB · 2013 · 📘 Book (non-fiction) · 🚀/zlib · Save

Your ad here.

upload/newsarch_ebooks_2025_10/2019/02/23/3540678239_Theoretical.pdf

Theoretical computer science : exploring new frontiers of theoretical informatics : International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000 : proceedings Martí;n Abadi, Phillip Rogaway (auth.), Jan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito (eds.) Springer-Verlag Berlin Heidelberg, Lecture Notes in Computer Science, Lecture Notes in Computer Science 1872, 1, 2000

In 1996 the International Federation for Information Processing (IFIP) establ- hed its rst Technical Committee on foundations of computer science, TC1. The aim of IFIP TC1 is to support the development of theoretical computer science as a fundamental science and to promote the exploration of fundamental c- cepts, models, theories, and formal systems in order to understand laws, limits, and possibilities of information processing. This volume constitutes the proceedings of the rst IFIP International C- ference on Theoretical Computer Science (IFIP TCS 2000) { Exploring New Frontiers of Theoretical Informatics { organized by IFIP TC1, held at Tohoku University, Sendai, Japan in August 2000. The IFIP TCS 2000 technical program consists of invited talks, contributed talks, and a panel discussion. In conjunction with this program there are two special open lectures by Professors Jan van Leeuwen and Peter D. Mosses. The decision to hold this conference was made by IFIP TC1 in August 1998, and since then IFIP TCS 2000 has bene ted from the e orts of many people; in particular, the TC1 members and the members of the Steering Committee, the Program Committee, and the Organizing Committee of the conference. Our special thanks go to the Program Committee Co-chairs: Track (1): Jan van Leeuwen (U. Utrecht), Osamu Watanabe (Tokyo Inst. Tech.) Track (2): Masami Hagiya (U. Tokyo), Peter D. Mosses (U. Aarhus). Erscheinungsdatum: 26.07.2000

English [en] · PDF · 8.7MB · 2000 · 📘 Book (non-fiction) · 🚀/lgli/lgrs/nexusstc/scihub/upload/zlib · Save