default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDProceedings of the IEEE, Volume 94
Volume 94, Number 1, 2006
- Yiyan Wu, Shuji Hirakawa, Ulrich H. Reimers, Jerry Whitaker:
Overview of Digital Television Development Worldwide. 8-21 - Graham A. Jones, James M. Defilippis, Hans Hoffmann, Edmund A. Williams:
Digital Television Station and Network Implementation. 22-36 - Mark S. Richer, Glenn A. Reitmeier, Tom Gurley, Graham A. Jones, Jerry Whitaker, Robert Rast:
The ATSC Digital Television System. 37-43 - Wayne Bretl, William R. Meintel, Gary J. Sgrignoli, Xianbin Wang
, S. Merrill Weiss, Khalil Salehian:
ATSC RF, Modulation, and Transmission. 44-59 - Grant A. Davidson, Michael A. Isnardi, Louis D. Fielder, Matthew S. Goldman, Craig C. Todd:
ATSC Video and Audio Coding. 60-76 - Bernard J. Lechner, Richard Chernock, Mark K. Eyer, Adam Goldberg, Matthew S. Goldman:
The ATSC Transport Layer, Including Program and System Information Protocol (PSIP). 77-101 - Regis J. Crinon, Dinkar Bhat, David Catapano, Gomer Thomas, James T. van Loo, Gun Bang:
Data Broadcasting and Interactive Television. 102-118 - John G. N. Henderson, Wayne E. Bretl, Michael S. Deiss, Adam Goldberg, Brian Markwalter, Max Muterspaugh, Azzédine Touzni:
ATSC DTV Receiver Implementation. 119-147 - Paul J. Hearty:
Carriage of Digital Video and Other Services by Cable in North America. 148-157 - Stephen P. Dulac, John P. Godwin:
Satellite Direct-to-Home. 158-172 - Ulrich H. Reimers:
DVB-The Family of International Standards for Digital Video Broadcasting. 173-182 - Uwe Ladebusch, Claudia A. Liss:
Terrestrial DVB (DVB-T): A Broadcast Technology for Stationary Portable and Mobile Use. 183-193 - Gerard Faria, Jukka A. Henriksson, Erik Stare, Pekka Talmola:
DVB-H: Digital Broadcast Services to Handheld Devices. 194-209 - Alberto Morello, Vittoria Mignone:
DVB-S2: The Second Generation Standard for Satellite Broad-Band Services. 210-227 - Albert J. Stienstra:
Technologies for DVB Services on the Internet. 228-236 - Jon Piesing:
The DVB Multimedia Home Platform (MHP) and Related Specifications. 237-247 - Hiroshi Asami, Makoto Sasaki:
Outline of ISDB Systems. 248-250 - Masayuki Takada, Masafumi Saito:
Transmission System for ISDB-T. 251-256 - Tamotsu Ikeda:
Transmission System for ISDB-TSB (Digital Terrestrial Sound Broadcasting). 257-260 - Michihiro Uehara:
Application of MPEG-2 Systems to Terrestrial ISDB (ISDB-T). 261-268 - Kazuhiko Shibuya:
Broadcast-Wave Relay Technology for Digital Terrestrial Television Broadcasting. 269-273 - Nobuo Itoh, Kenichi Tsuchida:
HDTV Mobile Reception in Automobiles. 274-280 - Atsushi Koike, Shuichi Matsumoto, Hideki Kokubun:
Personal Mobile DTV Cellular Phone Terminal Developed for Digital Terrestrial Broadcasting With Internet Services. 281-288 - Hisakazu Katoh:
Transmission System for ISDB-S. 289-295 - Hisakazu Katoh, Keiichi Umezu, Kazufumi Tsuchiya:
Uplink Facilities Based on ISDB-S. 296-302 - Satoshi Tagiri, Yoshiki Yamamoto, Asashi Shimodaira:
ISDB-C: Cable Television Transmission for Digital Broadcasting in Japan. 303-311 - Akihiro Hori, Yoshiharu Dewa:
Japanese Datacasting Coding Scheme BML. 312-317 - Toshiro Yoshimura:
Conditional Access System for Digital Broadcasting in Japan. 318-322 - Masaru Sakurai:
Digital Television Receiver for ISDB. 323-326 - Shuji Hirakawa, Nobuyasu Sato, Hideo Kikuchi:
Broadcasting Satellite Services for Mobile Reception. 327-332 - James E. Brittain:
Electrical Engineering Hall of Fame: William L. R. Emmet. 333-336
Volume 94, Number 2, 2006
- Christophe De Cannière, Alex Biryukov, Bart Preneel:
An introduction to Block Cipher Cryptanalysis. 346-356 - Ross J. Anderson, Mike Bond, Jolyon Clulow, Sergei P. Skorobogatov:
Cryptographic Processors-A Survey. 357-369 - Hagai Bar-El, Hamid Choukri, David Naccache, Michael Tunstall, Claire Whelan:
The Sorcerer's Apprentice Guide to Fault Attacks. 370-382 - François-Xavier Standaert, Eric Peeters, Gaël Rouvroy, Jean-Jacques Quisquater:
An Overview of Power Analysis Attacks Against Field Programmable Gate Arrays. 383-394 - Alessandro Cilardo, Luigi Coppolino, Nicola Mazzocca, Luigi Romano:
Elliptic Curve Cryptography Engineering. 395-406 - Shuo Chen, Jun Xu, Zbigniew T. Kalbarczyk, Ravishankar K. Iyer:
Security Vulnerabilities: From Analysis to Detection and Masking Techniques. 407-418 - Joseph Zambreno, Daniel Honbo, Alok N. Choudhary, Rahul Simha, Bhagirath Narahari:
High-Performance Software Protection Using Reconfigurable Architectures. 419-431 - Yves Deswarte, David Powell:
Internet Security: An Intrusion-Tolerance Approach. 432-441 - Hao Yang, Fabio Ricciato, Songwu Lu, Lixia Zhang:
Securing a Wireless World. 442-454 - Minho Shin, Justin Ma, Arunesh Mishra, William A. Arbaugh:
Wireless Network Security and Interworking. 455-466 - Mario Cagalj, Srdjan Capkun, Jean-Pierre Hubaux:
Key Agreement in Peer-to-Peer Wireless Networks. 467-478 - Mary Ann Hoffman:
Found in the Archives: The IRE President's Book. 479-482
Volume 94, Number 3, 2006
- Fumio Okano, Jun Arai, Kohji Mitani, Makoto Okui:
Real-Time Integral Imaging Based on Extremely High Resolution Video System. 490-501 - Jung-Young Son, Bahram Javidi, Kae-Dal Kwack:
Methods for Displaying Three-Dimensional Images. 502-523 - Christoph Fehn, René de la Barré, Siegmund Pastoor:
Interactive 3-DTV-Concepts and Key Technologies. 524-538 - Adrian R. L. Travis, Christian N. Moller, C. M. G. Lee:
Flat Projection for 3-D. 539-549 - Seokwon Yeom, Inkyu Moon, Bahram Javidi:
Real-Time 3-D Sensing, Visualization and Recognition of Dynamic Biological Microorganisms. 550-566 - J. G. Eden:
Information Display Early in the 21st Century: Overview of Selected Emissive Display Technologies. 567-574 - Lyndon Hill, Adrian Jacobs:
3-D Liquid Crystal Displays and Their Applications. 575-590 - Adrian Stern, Bahram Javidi:
Three-Dimensional Image Sensing, Visualization, and Processing Using Integral Imaging. 591-607 - Kazuyoshi Itoh, Wataru Watanabe, Hidenobu Arimoto, Keisuke Isobe:
Coherence-Based 3-D and Spectral Imaging and Laser-Scanning Microscopy. 608-628 - Rieko Otsuka, Takeshi Hoshino, Youichi Horry:
Transpost: 360 deg-Viewable Three-Dimensional Display System. 629-635 - Yann Frauel, Thomas J. Naughton, Osamu Matoba, Enrique Tajahuerce-Romera, Bahram Javidi:
Three-Dimensional Imaging and Processing Using Computational Holographic Imaging. 636-653 - Yasuhiro Takaki:
High-Density Directional Display for Generating Natural Three-Dimensional Images. 654-663 - James E. Brittain:
Electrical Engineering Hall of Fame: Jonathan Zenneck. 664-666
Volume 94, Number 4, 2006
- Peter J. Hunter:
Modeling Human Physiology: The IUPS/EMBS Physiome Project. 678-691 - Johannes H. G. M. van Beek:
Channeling the Data Flood: Handling Large-Scale Biomolecular Measurements in Silico. 692-709 - Philippe Tracqui:
Mechanical Instabilities as a Central Issue for InSilico Analysis of Cell Dynamics. 710-724 - Marco Viceconti, Debora Testi, Fulvia Taddei, Saulo Martelli, Gordon Clapworthy, Serge L. Van Sint Jan:
Biomechanics Modeling of the Musculoskeletal Apparatus: Status and Key Issues. 725-739 - S. R. Thomas, Anita T. Layton, Harold E. Layton, L. C. Moore:
Kidney Modeling: Status and Perspectives. 740-752 - Anne V. Clough, Said H. Audi, Robert C. Molthen, Gary S. Krenz:
Lung Circulation Modeling: Status and Prospect. 753-768 - Roy C. P. Kerckhoffs, Sarah N. Healy, Taras P. Usyk, Andrew D. McCulloch:
Computational Methods for Cardiac Electromechanics. 769-783 - Piotr Suffczynski, Fabrice Wendling, Jean-Jacques Bellanger, Fernando H. Lopes da Silva:
Some Insights Into Computational Models of (Patho)physiological Brain Activity. 784-804 - Alberto Porta, Giuseppe Baselli, Sergio Cerutti:
Implicit and Explicit Model-Based Signal Processing for the Analysis of Short-Term Cardiovascular Interactions. 805-818 - James B. Bassingthwaighte, Howard Jay Chizeck, Les E. Atlas:
Strategies and Tactics in Multiscale Modeling of Cell-to-Organ Systems. 819-831 - Hana El-Samad, Stephen Prajna, Antonis Papachristodoulou, John Doyle, Mustafa Khammash:
Advanced Methods and Algorithms for Biological Networks Analysis. 832-853 - James E. Brittain:
Electrical Engineering Hall of Fame: Cummings C. Chesney. 854-856
Volume 94, Number 5, 2006
- Andreas Gladisch, Ralf-Peter Braun, Dirk Breuer, Armin Ehrhardt, Hans-Martin Foisel, Monika Jaeger, Ralph Leppla, Malte Schneiders, Sascha Vorbeck, Werner Weiershausen, Fritz-Joachim Westphal:
Evolution of Terrestrial Optical System and Core Network Architecture. 869-891 - Gee-Kung Chang, Jianjun Yu, Yong-Kee Yeo, Arshad Chowdhury, Zhensheng Jia:
Enabling Technologies for Next-Generation Optical Packet-Switching Networks. 892-910 - Ton Koonen:
Fiber to the Home/Fiber to the Premises: What, Where, and When? 911-934 - Gabriel Charlet, Sébastien Bigo:
Upgrading WDM Submarine Systems to 40-Gbit/s Channel Bitrate. 935-951 - Peter J. Winzer, René-Jean Essiambre:
Advanced Optical Modulation Formats. 952-985 - André Scavennec, Olivier Leclerc:
Toward High-Speed 40-Gbit/s Transponders. 986-996 - Henri Benisty, Jean-Michel Lourtioz, Alexei Chelnokov, S. Combrie, X. Checoury:
Recent Advances Toward Optical Devices in Semiconductor-Based Photonic Crystals. 997-1023 - Shu Namiki, Koji Seo, Naoki Tsukiji, Shigeru Shikii:
Challenges of Raman Amplification. 1024-1035 - James E. Brittain:
Electrical Engineering Hall of Fame: George W. Pierce. 1036-1038
Volume 94, Number 6, 2006
- Resve A. Saleh, Steven J. E. Wilton, Shahriar Mirabbasi, Alan J. Hu, Mark R. Greenstreet, Guy Lemieux, Partha Pratim Pande, Cristian Grecu, André Ivanov:
System-on-Chip: Reuse and Integration. 1050-1069 - Jan M. Rabaey, Fernando De Bernardinis, Ali M. Niknejad, Borivoje Nikolic, Alberto L. Sangiovanni-Vincentelli:
L. Embedding Mixed-Signal Design in Systems-on-Chip. 1070-1088 - Alain J. Martin, Mika Nyström:
Asynchronous Techniques for System-on-Chip Design. 1089-1120 - Theo A. C. M. Claasen:
An Industry Perspective on Current and Future State of the Art in System-on-Chip (SoC) Technology. 1121-1137 - David F. Lemmerhirt, Kensall D. Wise:
Chip-Scale Integration of Data-Gathering Microsystems. 1138-1159 - Oliver Brand:
Microsensor Integration Into Systems-on-Chip. 1160-1176 - Ben W. Cook, Steven Lanzisera, Kristofer S. J. Pister:
SoC Issues for RF Smart Dust. 1177-1196 - Kamran Eshraghian:
SoC Emerging Technologies. 1197-1213 - Robert S. Patti:
Three-Dimensional Integrated Circuits and the Future of System-on-Chip Designs. 1214-1224 - Konrad Walus, Graham A. Jullien:
Design Tools for an Emerging SoC Technology: Quantum-Dot Cellular Automata. 1225-1244 - James E. Brittain:
Electrical Engineering Hall of Fame: Robert A. Millikan. 1245-1247
Volume 94, Number 7, 2006
- M. Bernardine Dias, Robert Zlot, Nidhi Kalra, Anthony Stentz:
Market-Based Multirobot Coordination: A Survey and Analysis. 1257-1270 - Alessandro Farinelli, Luca Iocchi, Daniele Nardi, Vittorio A. Ziparo:
Assignment of Dynamically Perceived Tasks by Token Passing in Multirobot Systems. 1271-1288 - Lynne E. Parker, Fang Tang:
Building Multirobot Coalitions Through Automated Task Solution Synthesis. 1289-1305 - Randal W. Beard, Timothy W. McLain, Derek B. Nelson, Derek B. Kingston, David Johanson:
Decentralized Cooperative Aerial Surveillance Using Fixed-Wing Miniature UAVs. 1306-1324 - Dieter Fox, Jonathan Ko, Kurt Konolige, Benson Limketkai, Dirk Schulz, Benjamin Stewart:
Distributed Multirobot Exploration and Mapping. 1325-1339 - Francesco Amigoni, Simone Gasparini, Maria L. Gini:
Building Segment-Based Maps Without Pose Information. 1340-1359 - Andrew Howard, Gaurav S. Sukhatme, Maja J. Mataric:
Multirobot Simultaneous Localization and Mapping Using Manifold Representations. 1360-1369 - Enrico Pagello, Antonio D'Angelo, Emanuele Menegatti:
Cooperation Issues and Distributed Sensing for Multirobot Systems. 1370-1383 - Andreas Birk, Stefano Carpin:
Merging Occupancy Grid Maps From Multiple Robots. 1384-1397 - James Bruce, Manuela M. Veloso:
Safe Multirobot Navigation Within Dynamics Constraints. 1398-1411 - Eiji Uchibe, Minoru Asada:
Incremental Coevolution With Competitive and Cooperative Tasks in a Multirobot Environment. 1412-1424 - Brennan Sellner, Frederik W. Heger, Laura M. Hiatt, Reid G. Simmons, Sanjiv Singh:
Coordinated Multiagent Teams and Sliding Autonomy for Large-Scale Assembly. 1425-1444 - Tucker R. Balch, Frank Dellaert, Adam Feldman, Andrew Guillory, Charles Lee Isbell Jr., Zia Khan, Stephen C. Pratt, Andrew N. Stein, Hank Wilde:
How Multirobot Systems Research will Accelerate our Understanding of Social Animal Behavior. 1445-1463 - James E. Brittain:
Electrical Engineering Hall of Fame: Peder O. Pedersen. 1464-1466
Volume 94, Number 8, 2006
- Ravi Mahajan, Chia-Pin Chiu, Greg Chrysler:
Cooling a Microprocessor Chip. 1476-1486 - Massoud Pedram, Shahin Nazarian:
Thermal Modeling, Analysis, and Management in VLSI Circuits: Principles and Methods. 1487-1501 - Jeng-Liang Tsai, Charlie Chung-Ping Chen, Guoqiang Chen, Brent Goplen, Haifeng Qian, Yong Zhan, Sung-Mo Kang, Martin D. F. Wong, Sachin S. Sapatnekar:
Temperature-Aware Placement for SOCs. 1502-1518 - Josep Altet, Wilfrid Claeys, Stefan Dilhaire, Antonio Rubio:
Dynamic Surface Temperature Measurements in ICs. 1519-1533 - Suresh V. Garimella, Vishal Singhal, Dong Liu:
On-Chip Thermal Management With Microchannel Heat Sinks and Integrated Micropumps. 1534-1548 - Avram Bar-Cohen, Mehmet Arik, M. Ohadi:
Direct Liquid Cooling of High Flux Micro and Nano Electronic Components. 1549-1570 - Ravi S. Prasher:
Thermal Interface Materials: Historical Perspective, Status, and Future Directions. 1571-1586 - Eric Pop, Sanjiv Sinha, Kenneth E. Goodson:
Heat Generation and Transport in Nanometer-Scale Transistors. 1587-1601 - Jeff Sharp, Jim Bierschenk, Hylan B. Lyon:
Overview of Solid-State Thermoelectric Refrigerators and Possible Applications to On-Chip Thermal Management. 1602-1612 - Ali Shakouri:
Nanoscale Thermal Transport and Microrefrigerators on a Chip. 1613-1638 - James E. Brittain:
Electrical Engineering Hall of Fame: Harris J. Ryan. 1639-1642
Volume 94, Number 9, 2006
- Russell H. Taylor:
A Perspective on Medical Robotics. 1652-1664 - Jocelyne Troccaz, Michael Baumann, Peter J. Berkelman, Philippe Cinquin, Vincent Daanen, Antoine Leroy, Maud Marchal, Yohan Payan, Emmanuel Promayon, Sandrine Voros, Stéphane Bart, Michel Bolla, Emmanuel Chartier-Kastler, Jean-Luc Descotes, Andrée Dusserre, Jean-Yves Giraud, Jean-Alexandre Long, Ronan Moalic, Pierre Mozer:
Medical Image Computing and Computer-Aided Medical Interventions Applied to Soft Tissues: Work in Progress in Urology. 1665-1677 - Hervé Delingette, Xavier Pennec, Luc Soler, Jacques Marescaux, Nicholas Ayache:
Computational Models for Image-Guided Robot-Assisted and Simulated Medical Interventions. 1678-1688 - Branislav Jaramaz, Mahmoud A. Hafez, Anthony M. DiGioia:
Computer-Assisted Orthopaedic Surgery. 1689-1695 - Brian L. Davies, Matjaz Jakopec, Simon J. Harris, Ferdinando Rodriguez y Baena, Adrian R. W. Barrett, A. Evangelidis, P. Gomes, Johan Henckel, Justin Cobb:
Active-Constraint Robotics for Surgery. 1696-1704 - Cameron N. Riviere, Jacques Gangloff, Michel de Mathelin:
Robotic Compensation of Biological Motion to Enhance Surgical Accuracy. 1705-1716 - William S. Harwin, James L. Patton, V. Reggie Edgerton:
Challenges and Opportunities for Robot-Mediated Neurorehabilitation. 1717-1726 - Hermano Igo Krebs, Neville Hogan:
Therapeutic Robotics: A Technology Push. 1727-1738 - Bambi R. Brewer, Roberta L. Klatzky, Yoky Matsuoka:
Visual-Feedback Distortion in a Robotic Rehabilitation Environment. 1739-1751 - Silvestro Micera, Maria Chiara Carrozza, Lucia Beccai, Fabrizio Vecchi, Paolo Dario:
Hybrid Bionic Systems for the Replacement of Hand Function. 1752-1762 - Yulun Wang, Steven E. Butner, Ara Darzi:
The Developing Market for Medical Robotics. 1763-1771 - James E. Brittain:
Electrical Engineering Hall of Fame: Arthur E. Kennelly. 1772-1775
Volume 94, Number 10, 2006
- Christian Solli, Anders Hammer Stromman, Edgar G. Hertwich:
Fission or Fossil: Life Cycle Assessment of Hydrogen Production. 1785-1794 - Sally M. Benson, Terry Surles:
Carbon Dioxide Capture and Storage: An Overview With Emphasis on Capture and Storage in Deep Geological Formations. 1795-1805 - Soumik Banerjee, Sohail Murad, Ishwar K. Puri:
Hydrogen Storage in Carbon Nanostructures: Possibilities and Challenges for Fundamental Molecular Simulations. 1806-1814 - John H. Scott:
The Development of Fuel Cell Technology for Electric Power Generation: From NASA's Manned Space Program to the "Hydrogen Economy". 1815-1825 - Ulf Bossel:
Does a Hydrogen Economy Make Sense? 1826-1837 - Sonia Yeh, Daniel H. Loughlin, Carol Shay, Cynthia Gage:
An Integrated Assessment of the Impacts of Hydrogen Economy on Transportation, Energy Use, and Air Emissions. 1838-1851 - Clinton J. Andrews:
Formulating and Implementing Public Policy for New Energy Carriers. 1852-1863 - Frank A. Felder, Attila Hajos:
Using Restructured Electricity Markets in the Hydrogen Transition: The PJM Case. 1864-1879 - Roland L. Trope, E. Michael Power:
Training the Spyglass: Law in Anticipation of the Hydrogen Economy. 1880-1895 - Mary Ann Hoffman:
The United Engineering Building: A Vision of Andrew Carnegie. 1896-1901
Volume 94, Number 11, 2006
- Michael D. Garris, Elham Tabassi, Charles L. Wilson:
NIST Fingerprint Evaluations and Developments. 1915-1926 - John Daugman:
Probing the Uniqueness and Randomness of IrisCodes: Results From 200 Billion Iris Pair Comparisons. 1927-1935 - James R. Matey, Oleg Naroditsky, Keith Hanna, Raymond J. Kolczynski, Dominick J. LoIacono, Shakuntala Mangru, Michael Tinker, Thomas M. Zappia, Wenyi Y. Zhao:
Iris on the Move: Acquisition of Images for Iris Recognition in Less Constrained Environments. 1936-1947 - Pawan Sinha, Benjamin J. Balas, Yuri Ostrovsky, Richard Russell:
Face Recognition by Humans: Nineteen Results All Computer Vision Researchers Should Know About. 1948-1962 - Bhagavatula V. K. Vijaya Kumar, Marios Savvides, Chunyan Xie:
Correlation Pattern Recognition for Face Recognition. 1963-1976 - Sami Romdhani, Jeffrey Ho, Thomas Vetter, David J. Kriegman:
Face Recognition Using 3-D Models: Pose and Illumination. 1977-1999 - Kevin W. Bowyer, Kyong I. Chang, Patrick J. Flynn, Xin Chen:
Face Recognition Using 2-D, 3-D, and Infrared: Is Multimodal Better Than Multisample? 2000-2012 - Mark S. Nixon, John N. Carter:
Automatic Recognition by Gait. 2013-2024 - Petar S. Aleksic, Aggelos K. Katsaggelos:
Audio-Visual Biometrics. 2025-2044
Volume 94, Number 12, 2006
- Jim Esch:
Prolog to Wafer Direct Bonding: From Advance Substrate Engineering to Future Applications in Micro/Nanoelectronics. 2058-2059 - Silke H. Christiansen, Rajendra Singh, Ulrich Gosele:
Wafer Direct Bonding: From Advanced Substrate Engineering to Future Applications in Micro/Nanoelectronics. 2060-2106 - Howard Falk:
Prolog to Substrate Noise Coupling in SoC Design: Modeling, Avoidance, and Validation. 2107-2108 - Ali Afzali-Kusha, Makoto Nagata, Nishath K. Verghese, David J. Allstot:
Substrate Noise Coupling in SoC Design: Modeling, Avoidance, and Validation. 2109-2138 - Jim Esch:
Prolog to A Survey on Mix Networks and Their Secure Applications. 2139-2141 - Krishna Sampigethaya, Radha Poovendran:
A Survey on Mix Networks and Their Secure Applications. 2142-2181 - Jaap Dijk, Bob van Loon:
Scanning Our Past From the Netherlands: The Electrocardiogram Centennial: Willem Einthoven (1860-1927). 2182-2185
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-07-14 00:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
