If you cancel the contract, we shall reimburse you for any payments we have received from you, including delivery charges except for the additional costs that result from choosing a different type of delivery other than the cheapest standard delivery we offer , without delay and no later than fourteen days from the date on which we receive notice of your cancellation of this contract. For the repayment, we use the same means of payment that you used in the original transaction, unless otherwise agreed with you; In no case will you be charged for the repayment fees.
We may refuse repayment until we have received the goods back or until you have provided proof that you have returned the goods, whichever is the earlier. You have no later than fourteen days from the date on which you inform us of the cancellation to send the goods back or present the goods to us. The deadline is met if you send the goods before the deadline of fourteen days. You are only responsible to pay for a possible loss in value of the goods when this loss of value is due to unnecessary handling during examination of the composition, characteristics and operation of the goods.
The right of cancellation does not apply to the delivery of goods that are not prefabricated and whose manufacturing was determined by an individual choice by the consumer or that are clearly tailored to the personal needs of the consumer e. T-shirts with your photo and your name , in the case of delivery of sealed goods which are not suitable for return for health or hygiene reasons, if their seal has been removed after delivery or if sound or video recordings or computer software are delivered in a sealed package, if the seal is removed after delivery.
Please avoid damage and contamination. If possible, send the goods back to us in their original packaging with all accessories and all packaging components. If necessary, use a protective outer packaging. If you no longer have the original packaging, please provide suitable packaging for sufficient protection against damage in transit in order to avoid claims for damages due to defective packaging.
Please call us before returning goods on 0 to inform us of the return. In this way, you enable us to assess the products as quickly as possible. Please note that the terms stated in the preceding paragraphs 2 and 3 are not a prerequisite for the effective exercise of the right of cancellation. However, they help us assert our own claims against the carrier or transport insurance. To keep this term punctual shipping is sufficient. This also applies to the later discovery of hidden defects.
Forum for Science, Industry and Business
In the event of a breach of the obligation to examine and to give notice of defects, the enforcement of the warranty claim is ruled out. In case of repair, we do not have to bear the increased costs incurred by the shipment of the goods to a place other than the place of delivery, provided that the shipment does not comply with the intended use of the goods.
For slight negligence we are liable for damages resulting from injury to life, body and health of persons. This limitation of liability also applies in favour of our assistants. Terms of Trade. State space axioms for T-systems : article : pp. Mattioli, Rossella; Haeberlen, Thomas. The connection of skew Boolean algebras and discriminator varieties to Church algebras : article : pp. Cvetko-Vah, Karin; Salibra, Antonino. Zimanyi, Esteban. Gallagher, Marcus.
Towards improved benchmarking of black-box optimization algorithms using clustering problems : article : 15 pp. Lengler, Johannes; Spooner, Nick. Mambrini, Andrea; Sudholt, Dirk. On the Easiest and Hardest Fitness Functions : article : pp. Beyer, Hans-Georg; Hellwig, Michael. Analysis of runtime of optimization algorithms for noisy functions over discrete codomains : article : pp.
Graf, Norbert. Lewenstein, Moshe; Munro, J. Ian; Raman, Venkatesh. Besnard, Philippe; Hunter, Anthony. Kerren, Andreas; Purchase, Helen C. Haunert, Jan-Henrik; Niedermann, Benjamin. Niedermann, Benjamin; Haunert, Jan-Henrik. Dagstuhl Manifesto : Future Internet : pp. Adaptive scheduling algorithm for media-optimized traffic management in software defined networks : article : pp. Network sparsification for Steiner problems on planar and bounded-genus graphs : preliminary version : Dagstuhl Seminars , , Timmermans, Veerle; Vredeveld, Tjark.
Ackerman, Eyal; Allen, Michelle M. The arctic rank of a Boolean matrix : article in "Journal of algebra" : pp. Beasley, LeRoy B. Composition in State-based Replicated Data Types : article. An upper bound for nonnegative rank : article : pp. Shitov, Yaroslav. A2, Purves, Ross S. Deriving movement properties and the effect of the environment from the Brownian bridge movement model in monkeys and birds : article : 11 pp.
Constructing a single cell in cylindrical algebraic decomposition : article : pp. Brown, Christopher W. Dagstuhl Manifesto : Publication Culture : pp. Mehlhorn, Kurt; Vardi, Moshe Y. Scalable Conferences : Adapting computing-research conferences to the growth of the field : article p.
A Cross-National Comparative Perspective
Vardi, Moshe Y.. Jarke, Matthias; Lyytinen, Kalle J.. Unifying and generalizing known lower bounds via geometric complexity theory. Grochow, Joshua A.. Doberkat, Ernst-Erich; Kurz, Alexander. From Branching to Linear Time, Coalgebraically : article pp. Cirstea, Corina. Coinductive Predicates and Final Sequences in a Fibration : article : pp. Reinel, Dirk. Dagstuhl : Dedicated to J. Traub and G. Wasilkowski on the occasion of their 80th and 60th birthdays : special issue : pp.
Document classification based on what is there and what should be there : article in "Digital Huminaties " : 5 pp. Estimating the Distinctiveness of Graphemes and Allographs in Palaeographic Classification : article in "Digital Humanities " : 8 pp. Ontologies in Biological Data Visualization : article : pp. Laskov, Pavel. Information-centric Networking : Baseline Scenarios draft-irtf-icnrg-scenarios Lieske, Christian. Backscatter from the data plane : Threats to stability and security in information-centric network infrastructure : article pp.
Interaction Beyond the Desktop : Special Issue : pp. Report from Dagstuhl: the liberation of mobile location data and its implications for privacy research : article : pp. Privacy through Uncertainty in Location-Based Services : article pp. Smooth Scan : robust access path selection without cardinality estimation : article. Hugues, Jerome; Sokolsky, Oleg. Bouts, Quirijn W.
Yannakakis, Georgios N. A comparison of methods for player clustering via behavioral telemetry : article in FDG , the 8th International Conference on the Foundations of Digital Games. Lucas, Simon M. Sifa, Rafet; Bauckhage, Christian. Computacion Efimera : identicando retos para la investigacion en videojuegos. Bienvenu, Laurent; Downey, Rod. A characterization of the single-crossing domain : article pp. A hardness result for core stability in additive hedonic games : article : pp.
Woeginger, Gerhard J.. From feature models to decision models and back again an analysis based on formal transformations : article in: SPLC '12 Proceedings of the 16th International Software Product Line Conference - Volume 1. Odor recognition in robotics applications by discriminative time-series modeling : article : pp. Strickert, Marc; Bunte, Kerstin. Lehmann, Dirk J. Visualization of processes in self-learning systems : article : pp. Keim, Daniel A. Hemel, Armijn; Koschke, Rainer.
Network Attack Detection and Defense : special issue : pp. Analogues of Chaitin's Omega in the computably enumerable sets : article : pp. Models run. Bencomo, Nelly ; France, Robert B. Abiteboul, Serge; Schwentick, Thomas. On the Separation Question for Tree Languages : article : pp. Computing with infinite data : topological and logical foundations Part 1 : special issue : pp.
Computing with infinite data : topological and logical foundations Part 2 : special issue : pp. A note on quantum related-key attacks : article : pp. Special issue on uncertainty modeling and analysis with intervals : foundations, tools, applications. Kreinovich, Vladik Y. Rooj, Iris van. Bourne, Philip E. Meadows, Alice; Neylon, Cameron. Dagstuhl Manifesto : Computer Science in Sports : pp. Lames, Martin; Spaniol, Otto. Hansen, Charles D. Dagstuhl Manifesto : Scientific Visualization : article : pp. Hagen, Hans. Grandine, Thomas A. Approximating Spanning Trees with Few Branches : article : pp.
Chimani, Markus; Spoerhase, Joachim. Peters, Gabriele. Agotnes, Thomas. The critical exponent is computable for automatic sequences : article : pp. Schaeffer, Luke; Shallit, Jeffrey O.. Thilikos, Dimitrios M. Parameterized complexity of firefighting : article : pp. Cops and invisible robbers : the cost of drunkenness : article pp.
Dagstuhl seminar on bidirectional transformations BX : article : pp. A systematic review and an expert survey on capabilities supporting multi product lines : article : pp. Dagstuhl Manifesto : Formal Methods - just a Euroscience? Approximating hitting sets of axis-parallel rectangles intersecting a monotone curve : article : pp. Chepoi, Victor; Felsner, Stefan. Boundary-labeling algorithms for panorama images : article : pp. Computing cartograms with optimal complexity : article in SoCG : pp.
Alam, Muhammad J. Vertex angle and crossing angle resolution of leveled tree drawings : pp. Kolaitis, Phokion G. Fast exact algorithm for L 2,1 -labeling of graphs : article : pp. A framework for evaluating quality-driven self-adaptive software systems : article. Villegas, Norha M. Barkow, Ingo; Block, William C. Block, William C. Research challenges in intervehicular communication : lessons of the Dagstuhl Seminar : article : pp. Bericht zur Herbstschule Information Retrieval : pp.
New algorithms for join and grouping operations operations : article pp. Graefe, Goetz.
Tractor pulling on data warehouses : article : DBTest ' Kersten, Martin L. Plan space analysis : an early warning system to detect plan regressions in cost-based optimizers : article : DBTest ' Waas, Florian M. Evolutionary algorithms and dynamic programming : article : pp.
Doerr, Benjamin; Eremeev, Anton V. On geometrically fast convergence to optimal dominated hypervolume of set-based multiobjective evolutionary algorithms : article in CEC , IEEE Congress on Evolutionary Computation : pp. The component model for elementary landscapes and partial neighborhoods : article : pp. Whitley, L. Darrell; Sutton, Andrew M. The unbiased black-box complexity of partition is polynomial : article : pp. Jansen, Thomas; Oliveto, Pietro S. Too fast unbiased black-box algorithms : article in GECCO '11 Proceedings of the 13th annual conference on Genetic and evolutionary computation : pp.
Computing the moments of k-bounded pseudo-Boolean functions over Hamming spheres of arbitrary radius in polynomial time : article : pp. Sutton, Andrew M. Darrell; Howe, Adele. Resilience Assessment and Evaluation of Computing Systems. Goubault-Larrecq, Jean; Keimel, Klaus. Exponentiable Streams and Prestreams : article pp. Goubault-Larrecq, Jean. Abramsky, Samson; Mislove, Michael W.. Pustejovsky, James; Moszkowicz, Jessica L..
Towards a Computational Transportation Science : article : pp. Towards a computational transportation science : article pp. Brandt, Felix; Zwicker, William S.. Furbach, Ulrich. Henrich, Andreas. Bry, Francois; Cap, Clemens H. Bodik, Rastislav; Jobstmann, Barbara. Probabilistic Logical Characterization : article : pp.
Synthesis for regular specifications over unbounded domains : article pp. Dagstuhl Manifesto : Evolving Critical Systems : pp. Hinchey, Michael G. Coyle, Lorcan; Hinchey, Michael G. Baer, Walter S. Dagstuhl Manifesto : Democracy in a Network Society : pp. Kutylowski, Miroslaw. Laidlaw, David H. McCormack, Jon; d'Inverno, Mark. Sadeghi, Ahmad-Reza; Naccache, David. Handbook of Semantic Web Technologies : Vol.
Harth, Andreas; Studer, Rudi. Scientific Visualization : Interactions, Features, Metaphors. Proceedings des gemeinsamen Workshops der Informatik-Graduiertenkollegs und Forschungskollegs : 8. Juni , Dagstuhl. Braun, Torsten. Research and development in geo-information generalisation and multiple representation : article.
Oosterom, Peter van. Preventing the Brainware Crisis : Dagstuhl Manifesto : pp. Diehl, Stephan; Fellows, Michael R. Rosamond, Frances A. Normative Multi-agent Systems : Special Issue : pp. Dagstuhl Manifesto : Perspectives in Grid Computing : pp. Schwiegelshohn, Uwe. Perspectives on grid computing : article : pp. Schwiegelshohn, Uwe; Badia, Rosa M. Naumann, Uwe; Schenk, Olaf. Ionescu, Sanda; Vardigan, Mary.
Chennai webcam chatrooms for girls
The brave new world of design requirements : article : pp. Dagstuhl Manifesto : High impact requirements for software intensive systems : article S. Koper, Rob. Fries, Tobias. Manifest : The role of law in an electronic world dominated by Web 2. Hoeren, Thomas; Vossen, Gottfried. Bordini, Rafael H. Bezivin, Jean; Paige, Richard F.
Probst, Christian W. Kudinov, Oleg V. Fast in-memory XPath search using compressed indexes : article. Dagstuhl perspectives workshop on end-to-end protocols for the future internet : article : 6 S. III-IV, Special issue on geometric modeling : Dagstuhl : S. Adjustable speed surface subdivision : article : S. Proceedings des gemeinsamen Workshops der Graduiertenkollegs : Mai , Dagstuhl. Barvinok, Alexander. Kaschek, Roland H. Sloman, Aaron.
Farzan, Arash; Munro, J. Bonifaci, Vincenzo; Marchetti-Spaccamela, Alberto. Baruah, Sanjoy K. EDF-schedulability of synchronous periodic task systems is coNP-hard : article : pp. Open problems in real-time scheduling : article : S. More effective crossover operators for the all-pairs shortest path problem : article : pp. Representation Invariant Genetic Operators : article : pp. Rowe, Jonathan E. Crossover can provably be useful in evolutionary computation : article : pp.
Stiller, Burkhard. Telecommunication economics : overview of the field, recommendations, and perspectives : article S. Research challenges for argumentation : article S. Challenges for recurrent neural network training : special issue pp. Database-backed program analysis for scalable error propagation : article in ICSE : pp. Xia, Lirong; Conitzer, Vincent. Incremental branching programs : article : S. LTL over description logic axioms : article in KR Proceedings of the eleventh international conference on principles of knowledge representation and reasoning : S.
LTL over description logic axioms : article in Proceedings ot the 21st international workshop on description logics : DL , Dresden, Germany, May 13 - 16, Konieczny, Sebastien; Pino Perez, Ramon. Confluence operators and their relationships : article : pp The common component modeling example : comparing software component models. Observing the English and Scottish e-elections : article : S. Jason Kitcat ; Ian Brown. Tagung Frontiers of Electronic Voting, Juli bis 3. August auf Schloss Dagstuhl : Veranstaltungsbesprechung : S. Reimer, Helmut. Feedback spillover and analogy-based expectations : A multi-game experiment : article pp.
Optimal allocation without transfer payments : article : pp. Chakravarty, Surajeet; Kaplan, Todd R.. Ontological spring III : 20 - 23 June : reasoning with biomedical information : training course in logic for biomedical research. Busemann, Stephan. Dagstuhl "zehn plus eins" : zehn Informatik-Graduiertenkollegs und ein Informatik-Forschungskolleg stellen sich vor : 4. ISBN: Link. Workshop report : information visualization : human-centered issues in visual representation, interaction, and evaluation : article S.
Kerren, Andreas; Stasko, John T. Information visualization : human-centered issues and perspectives. Munzner, Tamara. Hinze, Annika M. EVA : An event algebra supporting complex event specification : article pp. Sieber, Kurt. Accelerating relational clustering algorithms with sparse prototype representation : article : proceedings of the 6th international workshop on self-organizing maps : S. Topographic processing of relational data : article : proceedings of the 6th international workshop on self-organizing maps : S. Variational fluid flow measurements from image sequences : synopsis and perspectives : article pp.
Special issue on normative multiagent systems : second international workshop on normative multiagent systems : S. Cutting, Packing, Layout, and Space Allocation : special issue. Kendall, Graham; Daniels, Karen M. Challenges in mobile application development : Schwerpunktthema : S. Multiobjective optimization : interactive and evolutionary approaches - Berlin : Springer, Wooden geometric puzzles : design and hardness proofs : article : S.
Alt, Helmut; Bodlaender, Hans L. Negotiation, auctions, and market engineering : international seminar : Dagstuhl Castle, Germany, November 12 - 17, : revised selected papers. Gimpel, Henner; Jennings, Nicholas R. Proceedings of the international research training groups workshop : 6 - 8th November , Dagstuhl. Complexity of constraints : an overview of current research themes. Creignou, Nadia; Kolaitis, Phokion G. Universal algebra and hardness results for constraint satisfaction problems : article : pp. Larose, Benoit; Tesson, Pascal.
Festschrift for the 60th birthday of Henryk Wozniakowski : special issue : S. Hempelmann, Christian F. Computational structures for modelling space, time and causality : special issue : S. Frontiers of software clone management : article : S. Koschke, Rainer. The role of business processes in service-oriented architectures : special issue : S. Freitas, Leo; Woodcock, James C. Empirical software engineering issues : critical assessment and future directions : international workshop, Dagstuhl Castle, Germany, June , revised papers.
Basili, Victor R. Human motion : understanding, modelling, capture and animation. Program analysis and compilation, theory and practice : essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday. Reps, Thomas W. Towards affordance-based robot control : international seminar : Dagstuhl Castle, Germany, June 5 - 9, : revised papers.
Dynamically reconfigurable architectures : special issue. Atomicity : a unifying concept in computer science : papers form Dagstuhl seminar : special issue : S. Coleman, Joey W. UCS, UCS : Journal of universal computer science : Dietzfelbinger, Martin; Rowe, Jonathan E. Area aggregation in map generalisation by mixed-integer programming : article pp. Haunert, Jan-Henrik; Wolff, Alexander. Jan-Henrik Haunert ; Alexander Wolff. Bader, David A.. Ignoble trails : where crossover is provable harmful : article S. Neal Richter ; Alden H.
Wright ; John Paxton. Poli, Riccardo; Wright, Alden H. On complexity of optimal recombination for binary representations of solutions : article : S. Eremeev, Anton V.. Mapping non-conventional extensions of genetic programmingn : article pp. Zimand, Marius. Hummel, Hans G.
Reliable implementation of real number algorithms : theory and practice : international seminar, Dagstuhl Castle, Germany, January 8 - 13, , revised papers. Hertling, Peter; Hoffmann, Christoph M. Orientation calculi and route graphs : towards semantic representations for route descriptions : article : S.
Advances in XML information retrieval and evaluation : 4th international workshop of the initiative for the evaluation of XML retrieval, Dagstuhl Castle, Germany, November 28 - 30, : revised selected papers. Focused information access using XML element retrieval. Wagner, Dorothea; Wattenhofer, Roger. Thomas, Wolfgang. Eusgeld, Irene; Freiling, Felix C. Danezis, George; Diaz, Claudia. Text entry systems : mobility, accessibility, universality. MacKenzie, I. Scott; Tanaka-Ishii, Kumiko. Henderson, Thomas C.. Fages, Francois; Soliman, Sylvain. Belief Revision in Rational Agents : special issue : pp.
Delgrande, James P. Fixed-parameter tractability : special issue : S. Downey, Rodney Graham. A combinatorial characterization of the testable graph properties : it's all about regularity : conference article : S. Semantic grid : the convergence of technologies : special issue S. Sure, York; Roure, David De.
Data management in a connected world : essays dedicated to Hartmut Wedekind on the occasion of his 70th birthday. Federation over the web : international workshop, Dagstuhl Castle, Germany, May 1 - 6, : revised selected papers. Jantke, Klaus P. Dagstuhl meeting on nonmonotonic reasoning, answer set programming, and constraints : article : S.
Faber, Wolfgang. Annotating, extracting and reasoning about time and events : international seminar, Dagstuhl Castle, Germany, April 10 - 15, , revised papers. Power-aware computing systems : special issue : S. Dagstuhl seminar on disruption tolerant networking : journal article : S. Future digital library management systems : system architecture and information access : 8th international workshop of the DELOS network of excellence on digital libraries : Schloss Dagstuhl, Germany, March 29 - April 1, Ioannidis, Yannis E.
Getoor, Lise; Taskar, Ben. Stochastic Online Scheduling Revisited : article : S. Schulz, Andreas S.. Scheduling with step-improving processing times : article : S. Cheng, T. Expressive markets for donating to charities : article : pp. Conitzer, Vincent; Sandholm, Tuomas. Architecting systems with trustworthy components : international seminar, Dagstuhl Castle, Germany, December 12 - 17, : revised selected papers.
Advances in XML information retrieval : third international workshop of the initiative for the evaluation of XML retrieval, Dagstuhl Castle, Germany, December 6 - 8, : revised selected papers. Future generation grids : proceedings of the workshop on future generation grids : November 1 - 5, , Dagstuhl, Germany. Getov, Vladimir S. The semantic web in one day : journal article : S. The complexity of membership problems for circuits over sets of natural numbers : article : S.
Completeness in the Boolean hierarchy : exact-four-colorability, minimal graph uncolorability, and exact domatic number problems : a survey : article presented at the Dagstuhl Seminar : S. Algorithms and complexity for continous problems : special issue. Informatics and student assessment : concepts of empirical research and standardisation of measurement in the area of didactics of informatics : GI-Dagstuhl seminar, September 19 - 24, , Schloss Dagstuhl, Germany.
Magenheim, Johannes; Schubert, Sigrid. Spatial representation : discrete vs. Mrunalini, M. Suresh; Kanth, K. Realistic roofs over a rectilinear polygon : article pp. On the dilation spectrum of paths, cycles, and trees : article : pp. Converting to and from dilated integers : article : S. Rajeev, Raman; Wise, David S.. Dagstuhl seminar 'Integrative bioinformatics' : special issue.
Algorithmic methods for railway optimization : international Dagstuhl workshop railway optimization , Dagstuhl Castle, Germany, June 20 - 25, , Bergen, Norway, September 16 - 17, , revised selected papers. Geraets, Frank; Kroon, Leo G. Daniilidis, Kostas; Klette, Reinhard. Kotsis, Gabriele; Spaniol, Otto.
Montanari, Ugo. Selected papers from the Dagstuhl workshop on scheduling in computer and manufacturing systems : celebrating Ed Coffman's 70th birthday : special issue. Blazewicz, Jacek; Burke, Edmund K. Proceedings of the school of SegraVis research training network on foundations of visual modelling techniques : special issue : S. Heckel, Reiko. Heckel, Reiko; Hausmann, Jan Hendrik. Atomicity in system design and execution : special issue : proceedings of Dagstuhl-Seminar Burton, Jon; Jones, Clifford B. Weickert, Joachim; Hagen, Hans. Local pattern detection : international seminar, Dagstuhl Castle, Germany, April 12 - 16, : revised selected papers.
Brandes, Ulrik; Erlebach, Thomas. Wireless sensor networks and applications : special issue. Steinmetz, Ralf; Wehrle, Klaus. Intuitive human interfaces for organizing and accessing intellectual assets : international workshop, Dagstuhl Castle, Germany, March 1 - 5, : revised selected papers. Grieser, Gunter; Tanaka, Yuzuru. A taxonomy of model transformation : article : S. Mens, Tom; Gorp, Pieter van.
Special issue on language engineering for model-driven software development : S. Bezivin, Jean; Heckel, Reiko. On the unification power of models : article : S. Bezivin, Jean. Clarifying matters of meta- modeling : an author's reply : article S. Arnold, Dirk V. Lickteig, Thomas; Pardo, Luis Miguel. Innovating education with an educational modelling language : two case studies. Sloep, Peter B. Learning design : a handbook on modelling and delivering networked education and training.
Koper,Rob; Tattersall, Colin. Capturing the dual relationship between simulation models and their context : article : S. Traore, Mamadou K. Model-based testing of reactive systems : advanced lectures. Fuhr, Norbert; Lalmas, Mounia. Fekete, Sandor, P. Thiele, Lothar; Wilhelm, Reinhard. Cognitive vision systems : sampling the spectrum of approaches.
Christensen, Henrik I. Logic versus approximation : essays dedicated to Michael M. Richter on the occasion of his 65th birthday.
- Terms of Trade!
- Introduction to Health Careers.
- Generative Design in Minecraft : Chronicle Challenge.
- "Takeshi's Castle": Schadenfreude, Action, Dada?
- Chennai webcam chatrooms for girls!
- Should I Forgive? To Forgive or Not To Forgive - Finding Your Perfect Solution.
Lenski, Wolfgang. Dagstuhl seminar "Computational cartography and spatial modelling" : aktuelle Forschungsschwerpunkte : Artikel : S. Sester, Monika; Oosterom, Peter van. Coloring graphs from lists with bounded size of their union : result from Dagstuhl Seminar Daniel Kral ; Jiri Sgall. Coloring graphs from lists with bounded size of their union : result from Dagstuhl Seminar : article : S. Kral, Daniel; Sgall, Jiri.
Group coloring is Pi-P2-complete : result from Dagstuhl Seminar Daniel Kral. Kral, Daniel; Nejedly, Pavel. Scenarios : models, transformations and tools : international workshop, Dagstuhl Castle, Germany, September 7 - 12, : revised selected papers. Report on the Dagstuhl seminar data quality on the web : article : S. Dagstuhl seminar dynamically and partially reconfigurable architectures : dynamisch und partiell rekonfigurierbare Architekturen : article S. Embodied artificial intelligence : international seminar, Dagstuhl Castle, Germany, July 7 - 11, : revised selected papers.
Scientific visualization : the visual extraction of knowledge from data. Adaptivity in parallel scientific computing : special issue : S. Domain-specific program generation : international seminar, Dagstuhl Castle, Germany, March 23 - 28, : revised papers. Lengauer, Christian; Batory, Don S. Computing Maximally Separated Sets in the Plane : article : pp. Objects, agents, and features : international seminar, Dagstuhl Castle, Germany, February 16 - 21, : revised and invited papers. Special section on software architecture recovery : special issue.
Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19 - 24, , revised papers. Intelligent search on XML data : applications, languages, models, implementations, and benchmarks. Blanken, Henk M. Validation of stochastic systems : a guide to current research : Dagstuhl workshop, December 8 - 11, Baier, Christel; Haverkort, Boudewijn R. Group testing with DNA chips : article : generating designs and decoding experiments S. Alexander Schliep ; David C.
Torney ; Sven Rahmann. Towards systematic benchmarking in answer set programming : S. Anger, Christian; Schaub, Thorsten H. Wieland, Frederick; Pritchett, Amy R.. Special issue on grand challenges for modeling and simulation. Page, Ernest H. Performance analysis and grid computing : selected articles from the workshop on performance analysis and distributed computing, August 19 , , Dagstuhl, Germany.
The first summer school on ubiquitous and pervasive computing : special issue. The Stone Age of the Digital Arts : article : pp. Malina, Roger F.. Perspectives on aesthetic computing : article : S. Fishwick, Paul A. Fishwick, Paul A.. Boiten, Eerke A. Barthe, Gilles; Thiemann, Peter. Mathematics of program construction : 6th international conference, MPC , Dagstuhl Castle, Germany, July 8 - 10, , proceedings.
Gibbons, Jeremy ; Jeuring, Johan. Gorlatch, Sergei; Lengauer, Christian. Gorlatch, Sergei ; Lengauer, Christian. Convergence to perfect competition of a dynamic matching and bargaining market with two-sided incomplete information and exogenous exit rate : article : pp. Satterthwaite, Mark; Shneyerov, Artyom. Recent advances in scheduling in computer and manufacturing systems : special issue : S.
Blazewicz, Jacek; Ecker, Klaus H. Components of the fundamental category : article S. Cocompactness and quasi-uniformizability of completely metrizable spaces : article : S. Geometry, morphology, and computational imaging : 11th international workshop on theoretical foundations of computer vision, Dagstuhl Castle, Germany, April 7 - 12, , revised papers. Linear time algorithm for approximating a curve by a single-peaked curve : article : S.
Meta menu (EN)
Power from random strings : result from the collaboration at the Dagstuhl Seminar : article S. Open problems at the Dagstuhl seminar on algorithmic combinatorial game theory : appendix B : article : S. Demaine, Erik D. Doerr, Benjamin; Lorenz, Ulf. Fleischer, Rudolf H. The liar game over an arbitrary channel : article : S. Dumitriu, Ioana; Spencer, Joel H.. Stam, Jos; Loop, Charles. On the optimality of Valence-based connectivity coding : article : S. Gotsman, Craig; Rhyne, Theresa-Marie. Interpolating an unlimited number of curves meeting at extraordinary points on subdivision surfaces : article : S.
Nasri, Ahmad. Hoek, Wiebe van der; Wooldridge, Michael J.. Stoddard, Bill. Selected papers of the Dagstuhl seminar on computability and complexity in analysis : special issue. Kipp, Michael. Advances in plan-based control of robotics agents : international seminar, Dagstuhl Castle, Germany, October 21 - 26, , revised papers.
Joswig, Michael; Takayama, Nobuki. Rittberger, Marc; Herb, Marion. A modular calculus for the average cost of data structuring. Schellekens, Michel P.. Dependable type theory meets practical programming : special issue. Gene regulation and metabolism : postgenomic computational approaches. Combined correlated and importance sampling in direct light source computation and environment mapping : article : S. Software visualization in software maintenance, reverse engineering, and re-engineering : a research survey : article.
Software visualization : international seminar, Dagstuhl Castle, Germany, May 20 - 25, : revised papers. Diehl, Stephan. MacGregor, John D. Semantic foundations of proof-search : special issue : pp. Pym, David J.. Automata, logics, and infinite games : a guide to current research. Report from the Dagstuhl seminar on interoperabiblity of reengineering tools : article in ninth international workshop on program comprehension IWPC 01 : S. Lethbridge, Timothy C.. The Dagstuhl middle metamodel : a schema for reverse engineering : article in "ateM " : International on meta-models and schemas for reverse engineering, Victoria, Canada, : S.
Lethbridge, Timothy C. Semantics in databases : second international workshop, Dagstuhl Castle, Germany, January 7 - 12, , revised papers. Bertossi, Leopoldo ; Katona, Gyula O. Sensor based intelligent robots : international workshop, Dagstuhl Castle, Germany, October 15 - 20, , selected revised papers. Hager, Gregory D. Dagstuhl seminar on algorithms and complexity for continuous problems : September 24 - 29, , special issue. Pereverzev, Sergei V. Database schema evolution and meta-modeling : 9th international workshop on foundations of models and languages for data and objects, Schloss Dagstuhl, Germany, September 18 - 21,