Centrum Wiskunde & Informatica

<!DOCTYPE html> <html lang="en"> <head> <title> Centrum Wiskunde & Informatica </title> <meta http-equiv="X-UA-Compatible" content="IE=edge"/> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/> <meta name="viewport" content="width=device-width, initial-scale=1.0"/> <link rel="repository" href="https://ir.cwi.nl/"/> <link rel="me" href="https://ir.cwi.nl/search/"/> <link rel="view" href="https://ir.cwi.nl/search"/> <link rel="shortcut icon" type="image/x-icon" href="/static/img/favicon.ico"/> <link rel="stylesheet" type="text/css" href="/static/css/bundle-1.css"/> <script type="text/javascript" src="/static/js/bundle-1.js"></script>   <script type="text/javascript" src="https://www.gstatic.com/charts/loader.js"></script> <script type="text/javascript"> google.charts.load('current', {'packages':['corechart', 'charteditor']}); function drawChart(){$(document).trigger('google_charts_ready');}; google.charts.setOnLoadCallback( drawChart ); </script> <style type="text/css"> .google-visualization-controls-rangefilter-thumblabel {display:none} .google-visualization-controls-slider-thumb, .google-visualization-controls-slider-handle, .google-visualization-controls-slider-horizontal { background-color:#EEEEEE; border:1px solid #CCCCCC; } .google-visualization-controls-slider-thumb { border:1px solid:#BBBBBB; color:#BBBBBB; } .date-facet-control {text-align:center;margin:4px} .date-facet-fields {text-align:center} .startYear, .endYear {padding:2px;width:60px;font-size:10px;text-align:center} .highlight-snippet em {text-decoration:underline} .highlight-snippet i {color:#AAA;} </style> <script type="text/javascript" src="/static/js/search-1.js"></script> <script id="initial-query" type="application/json"> {"debug": {"setup_took": 0.0004074573516845703}, "query": {"filters": {"options": [{"field_id": "all", "title": "All Fields"}, {"field_id": "title", "title": "Title"}, {"field_id": "author", "title": "Author"}, {"field_id": "promotor", "title": "Promotor"}, {"field_id": "editor", "title": "Editor"}, {"field_id": "affiliation", "title": "Affiliation"}, {"field_id": "series", "title": "Series"}, {"field_id": "journal", "title": "Journal"}, {"field_id": "project", "title": "Project"}], "values": [{"field_id": "all", "query": ""}]}, "facets": [{"title": "Type", "field_id": "type", "api_only": false, "users_only": false, "type": "default", "partOf_start": 0, "max_terms": 100, "max_display_terms": 3, "sort_by": "count", "sort_order": "descending", "filters": []}, {"title": "Visible", "field_id": "public", "api_only": false, "users_only": false, "type": "boolean", "partOf_start": 0, "max_terms": 100, "max_display_terms": 5, "sort_by": "term", "sort_order": "descending", "filters": []}, {"title": "Open Access", "field_id": "open_access", "api_only": false, "users_only": false, "type": "boolean", "partOf_start": 0, "max_terms": 100, "max_display_terms": 5, "sort_by": "term", "sort_order": "descending", "filters": []}, {"title": "PDF Attached", "field_id": "has_pdf", "api_only": false, "users_only": false, "type": "boolean", "partOf_start": 0, "max_terms": 10, "max_display_terms": 10, "sort_by": "count", "sort_order": "descending", "filters": []}, {"title": "Year", "field_id": "issued_date", "api_only": false, "users_only": false, "type": "year", "partOf_start": 0, "max_terms": 100, "max_display_terms": 25, "sort_by": "count", "sort_order": "descending", "filters": []}, {"title": "Research Group", "field_id": "affiliation_label_partOf", "api_only": false, "users_only": false, "type": "partOf", "partOf_start": 0, "max_terms": 100, "max_display_terms": 3, "sort_by": "count", "sort_order": "descending", "filters": []}, {"title": "Project", "field_id": "host_project_label", "api_only": false, "users_only": false, "type": "default", "partOf_start": 0, "max_terms": 80, "max_display_terms": 3, "sort_by": "count", "sort_order": "descending", "filters": []}, {"title": "Keyword", "field_id": "subject_keyword_label", "api_only": false, "users_only": false, "type": "default", "partOf_start": 0, "max_terms": 100, "max_display_terms": 3, "sort_by": "count", "sort_order": "descending", "filters": []}], "sortings": [{"title": "Year (descending)", "id": "year_desc", "field": [{"field_id": "issued_date", "order": "descending"}]}, {"title": "Year (ascending)", "id": "year_asc", "field": [{"field_id": "issued_date", "order": "ascending"}]}, {"title": "Title", "id": "title", "field": [{"field_id": "title_label", "order": "ascending"}]}, {"title": "Score / Year", "id": "score", "field": [{"field_id": "_score", "order": "descending"}, {"field_id": "issued_date", "order": "descending"}]}], "sort": "auto"}, "citation": {"formats": [{"title": "BibTex", "id": "bibtex"}, {"title": "Endnote", "id": "endnote"}, {"title": "RIS", "id": "ris"}, {"title": "CSL", "id": "csl"}, {"title": "DOIs only", "id": "dois only"}], "styles": [{"title": "AAA", "id": "aaa"}, {"title": "APA", "id": "apa"}, {"title": "Cell", "id": "cell"}, {"title": "Chicago", "id": "chicago"}, {"title": "Harvard", "id": "harvard"}, {"title": "IEEE", "id": "ieee"}, {"title": "MLA", "id": "mla"}, {"title": "Nature", "id": "nature"}, {"title": "Vancouver", "id": "vancouver"}, {"title": "American-Institute-of-Physics", "id": "american-institute-of-physics"}, {"title": "Council-of-Science-Editors", "id": "council-of-science-editors"}]}} </script> <script id="page-template" type="text/x-hogan-template"> <div id="search-query"> </div> <div class="row-fluid"> <div class="span2" id="search-facets"> </div> <div class="span10"> <div class="row-fluid" id="search-hits"> </div> <div class="row-fluid"> <div class="span7 offset2" id="paging"> </div> <div class="span3"> <div class="pull-right" id="citations"> </div> </div> </div> </div> </div> </script> <script id="citations-template" type="text/x-hogan-template"> <div style="margin-top:20px"> <div id="citation-menu" class="btngroup dropup"> <a id="citation-menu-button" class="btn dropdown-toggle" data-toggle="dropdown"> Export <strong class="total-citations-count">{{total}}</strong> Citations <span class="icon-chevron-up"></span> </a> <ul class="dropdown-menu"> {{#styles}} <li> <a href="#" class="citation-button" data-citation-format="csl" data-citation-style="{{id}}">{{title}} Style</a> </li> {{/styles}} <li class="divider"/> {{#formats}} <li> <a href="#" class="citation-button" data-citation-format="{{id}}">{{title}} Format</a> </li> {{/formats}} <li class="divider"/> {{#other}} <li> <a href="#" class="citation-button" data-citation-format="{{id}}">{{title}}</a> </li> {{/other}} </ul> </div> </div> </script> <script id="paging-template" type="text/x-hogan-template"> <div class="pagination" style="text-align:center"> <ul> {{#previous}} <li class="{{#disabled}}disabled{{/disabled}}"> <a href="#" data-from="{{from}}" class="paging-link">Prev</a> </li> {{/previous}} {{#steps}} <li class="{{#selected}}active{{/selected}}"> <a href="#" data-from="{{from}}" class="paging-link">{{label}}</a> </li> {{/steps}} {{#next}} <li class="{{#disabled}}disabled{{/disabled}}"> <a href="#" data-from="{{from}}" class="paging-link">Next</a> </li> {{/next}} </ul> </div> </script> <script id="search-hits-list-template" type="text/x-hogan-template"> <ul class="unstyled" id="search-hits-list"> </ul> </script> <script id="search-hit-template" type="text/x-hogan-template"> <div class="row-fluid underlined"> <div class="span1"> {{#cover_image}} <img class="cover-thumb" alt="cover thumbnail" src="{{url}}/cover/thumb_64.jpg"/> {{/cover_image}} </div> <div class="span9"> <h4 style="margin-bottom:0"> <a href="{{url}}"> {{#public}} {{title}}{{#sub_title}} <i>« {{sub_title}} »</i>{{/sub_title}} {{/public}} {{^public}} <i style="color:#666666">({{title}}{{#sub_title}} «{{sub_title}}»{{/sub_title}})</i> {{/public}} </a> <small style="white-space:nowrap;">{{type}}</small> </h4> {{#citation}} <div>{{citation}}</div> {{/citation}} <p class="author-list" style="margin-top:4px"> {{#author}} {{^first}} {{#last}}<span>and </span>{{/last}} {{^last}}<span>, </span>{{/last}} {{/first}} <span> {{#url}} <a href="{{url}}">{{label}}</a> {{/url}} {{^url}}{{label}}{{/url}} </span> {{/author}} </p> {{#highlight.length}} <p class="search-highlight"> {{#highlight}} <span class="highlight-snippet">{{{.}}}<span class="icon-ellipsis-horizontal"/></span> {{/highlight}} </p> {{/highlight.length}} </div> <div class="span2"> <div>{{issued_label}}</div> {{^public}} <div> {{#private}} <strong>private{{#state}}, {{state}}{{/state}}</strong> {{/private}} {{^private}}{{#state}}<strong>{{state}}</strong>{{/state}}{{/private}} </div> {{/public}} {{#open_access}}<img src="/static/img/oalogo.png"/>{{/open_access}} {{#owned}}<div style="margin-top:4px"><a href="{{url}}/owner?chrome=no" class="btn btn-small" onClick="return iframe_modal(this)"><i class="icon-pencil"></i> Edit Publication</a></div>{{/owned}} </div> </div> </script> <script id="query-facet-list-template" type="text/x-hogan-template"> <ul class="unstyled" id="query-facet-list"> </ul> </script> <script id="query-facet-template" type="text/x-hogan-template"> <div class="clearfix"> <legend class="facet-legend">{{title}}</legend> <ul class="facet-terms unstyled"> </ul> {{#more_terms}} <a href="#" class="more-link"><span class="icon-caret-right"/> show all</a> {{/more_terms}} </div> </script> <script id="query-year-facet-template" type="text/x-hogan-template"> <div class="clearfix"> <legend>{{title}}</legend> <div class="date-facet"> <div id="{{dashboard_id}}"> <div class="date-facet-graph" id="{{graph_id}}"> </div> <div class="date-facet-fields"> <strong> <span class="startYear"/> / <span class="endYear"/> </strong> </div> <div class="date-facet-control" id="{{control_id}}"> </div> </div> </div> </div> </script> <script id="query-facet-term-template" type="text/x-hogan-template"> <li class="clearfix"> {{#selected}} <a href="#" class="facet-term-link" style="font-weight:bold" data-term="{{term}}"> <span class="icon-check"/> {{label}} <small style="color:#BBB">({{count}})</small> </a> {{/selected}} {{^selected}} <a href="#" class="facet-term-link" data-term="{{term}}"> <span class="icon-check-empty"/> {{label}} <small style="color:#BBB">({{count}})</small> </a> {{/selected}} {{#children}} <a href="#" data-term="{{term}}" class="more-parts-link pull-right"> <span class="icon-caret-right"/> <small style="color:#BBB">({{child_parts}})</small> </a> {{/children}} </li> </script> <script id="query-template" type="text/x-hogan-template"> <div class="row-fluid"> <div class="span7 offset2"> <div class="row-fluid"> <div id="query-filters" class="row-fluid"/> </div> </div> </div> <div class="row-fluid underlined" style="margin-top:0.5em"> <div id="query-facets" class="span7 offset2"/> <div class="span3"> <div class="pull-right"> <span> <strong class="total-result-count">{{total}}</strong> results, sorted by </span> <div id="sorting-choice" class="btn-group drop-left"> <a id="sorting-button" class="btn dropdown-toggle btn-small" data-toggle="dropdown" href="#"> {{sel_sort}} <span class="icon-chevron-down"></span> </a> <ul class="dropdown-menu"> {{#sortings}} <li> <a href="#" data-sort-id="{{id}}" class="sort-button">{{title}}</a> </li> {{/sortings}} </ul> </div> </div> </div> </div> </script> <script id="query-facet-bar-template" type="text/x-hogan-template"> <div class="facet-button" style="margin-right:0.5em;float:left;margin-bottom:0.5em" data-facet="{{facet}}"> <div class="btn-group"> {{^year_range}} <a href="#" class="btn btn-mini more-link" data-facet="{{facet}}"> <span class="icon-filter"/> {{title}}{{#bar_label}}: {{bar_label}}{{/bar_label}} {{^bar_label}}({{count}}){{/bar_label}} </a> {{/year_range}} {{#year_range}} <a href="#" class="btn btn-mini disabled" data-facet="{{facet}}"> <span class="icon-filter"/> {{title}} ({{year_range}}) </a> {{/year_range}} <a href="#" class="btn btn-mini remove-facet-button" data-facet="{{facet}}"><span class="icon-remove"/></a> </div> </div> </script> <script id="query-filter-list-template" type="text/x-hogan-template"> <div> <ul id="query-filter-list" class="unstyled" style="margin-bottom:0"> </ul> <div class="row-fluid"> <div class="span4"> {{#suggest}} <small> Did you mean {{#first}}"<a href="#" class="suggest-button" data-suggest="{{first}}"><i>{{first}}</i></a>"{{/first}}{{^second}}?{{/second}} {{#second}} or "<a href="#" class="suggest-button" data-suggest="{{second}}"><i>{{second}}</i></a>"?{{/second}} </small> {{/suggest}} </div> <div class="span2 offset4"> <div class="pull-right"> <button class="btn" style="width:100px" id="add-filter-button"> <span class="icon-plus"/> Add Filter </button> </div> </div> </div> </div> </script> <script id="query-filter-template" type="text/x-hogan-template"> <div class="row-fluid"> <div class="span10" id="filter-queries"> <div class="input-append pull-right"> {{#query_url}} <div style="border:1px #CCCCCC solid;border-radius: 4px 0 0 4px;border-right:0;float:left;line-height:20px;min-width:412px" class="filter-lookup-query-id"> <div class="btn-group"> <a style="font-size:14px;margin:2px 0px 2px 2px" href="{{query_url}}" class="btn btn-mini">{{query_label}}</a> <a style="line-height:20px;font-size:14px;margin:2px 2px 2px -1px" class="btn btn-mini remove-query-url-button"> <span class="icon-remove"></span> </a> </div> </div> {{/query_url}} {{^query_url}} {{#lookup_url}} <input type="text" class="filter-lookup-query" style="width:400px" class="input-large" autocomplete="off" name="{{id}}" value="{{query}}"/> {{/lookup_url}} {{^lookup_url}} <input type="text" class="filter-query" style="width:400px" class="input-large" name="{{id}}" value="{{query}}"/> {{/lookup_url}} {{/query_url}} {{#last}} <button class="btn filter-search-button" style="width:100px"> <span class="icon-search"/> Search </button> {{/last}} {{^last}} <button class="btn remove-filter-button" style="width:100px"> <span class="icon-minus"/> Remove </button> {{/last}} </div> </div> <div class="span2"> <select class="filter-field-select" style="width:100%"> {{#field_select}} {{#selected}} <option value="{{id}}" selected="selected">{{title}}</option> {{/selected}} {{^selected}} <option value="{{id}}">{{title}}</option> {{/selected}} {{/field_select}} </select> </div> </div> </script> </head> <body> <div id="wrap"> <header> <div class="navbar" style="margin-bottom:0"> <div class="navbar-inner"> <div class="container"> <a class="brand" style="padding:10px;width:200px" href="https://ir.cwi.nl/"> <img alt="university website" style="width:100%" src="https://ir.cwi.nl/cwi.png"/> </a> <a class="hidden" href="https://ir.cwi.nl/year">Publications by Year</a> <ul class="nav"> </ul> <ul class="nav pull-right"> <li id="fat-menu" class="dropdown"> <a class="dropdown-toggle" href="https://ir.cwi.nl/login?next=/search"> <span class="icon-signin"></span> sign in </a> </li> </ul> </div> </div> </div> </header> <div id="breadcrumb" class="row-fluid"> <div class="span12"> </div> </div> <div class="row-fluid"> <div id="main-left" class="span1"> </div> <div id="main" class="span10"> <div id="content"> <div id="search-page"> </div> </div> </div> <div id="main-right" class="span1"> </div> </div> </div> <footer class="footer row-fluid"> <div class="span10 offset1"> <div class="row-fluid"> <div class="span3"> <a> <img alt="university website" src="https://ir.cwi.nl//cwi.png"/> </a> <ul class="unstyled"> </ul> </div> <div class="span3"> <ul class="unstyled"> <li> <div> <h4>Address</h4> <ul class="unstyled" style="margin-left:0"> <li> <div class="lead" style="margin:4px"> <a href="http://www.cwi.nl"> Centrum Wiskunde & Informatica </a> </div> </li> <li> <div class="lead" style="margin:4px"> <a href="http://www.cwi.nl"> Science Park 123 | 1098 XG Amsterdam | the Netherlands </a> </div> </li> </ul> </div> </li> </ul> </div> <div class="span3"> <ul class="unstyled"> <li> <div> <h4>CWI researchers</h4> <ul class="unstyled" style="margin-left:0"> <li> <div class="lead" style="margin:4px"> <a href="/page/1"> <span class="icon-file"></span> Register Your Work </a> </div> </li> </ul> </div> </li> <li> <div> <h4>Questions or comments?</h4> <ul class="unstyled" style="margin-left:0"> <li> <div class="lead" style="margin:4px"> <a href="mailto:repository@cwi.nl"> <span class="icon-envelope"></span> repository@cwi.nl </a> </div> </li> </ul> </div> </li> </ul> </div> </div> </div> <div class="span1"> <a href="http://www.artudis.com" class="pull-right" style="margin: 170px 20px 10px 10px"> <img src="/static/img/logo/artudis_small.png" width="100" alt="artudis website"/> </a> </div> </footer> <div id="modal-workflow-editor" class="modal hide fade"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-hidden="true">×</button> <h3 id="modal-workflow-header">Workflow</h3> </div> <div id="modal-workflow-form"></div> </div> <div id="modal-iframe" style="width:800px" class="modal hide fade"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-hidden="true">×</button> <h3 id="modal-iframe-header">Workflow</h3> </div> <div> <iframe id="modal-iframe-body" src="" style="width:100%;height:500px" frameborder="0" ></iframe> </div> </div> <div id="add-content-modal" class="modal hide fade"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-hidden="true">×</button> <h3 id="modal-edit-header">Add Content</h3> </div> <div class="modal-body"> <div class="btn-group btn-group-vertical" style="width:100%;max-height:600px;overflow:auto"> <br/> <a class="btn btn-large" style="margin:auto;width:300px" href="https://ir.cwi.nl/user/add">User</a> <a class="btn btn-large" style="margin:auto;width:300px" href="https://ir.cwi.nl/pub/add">Publication</a> <a class="btn btn-large" style="margin:auto;width:300px" href="https://ir.cwi.nl/ppl/add">Person</a> <a class="btn btn-large" style="margin:auto;width:300px" href="https://ir.cwi.nl/org/add">Organisation</a> <a class="btn btn-large" style="margin:auto;width:300px" href="https://ir.cwi.nl/col/add">Collection</a> </div> </div> <div class="modal-footer"> <a href="#" class="btn btn-primary" data-dismiss="modal">Close</a> </div> </div> </body> </html>

CINXE.COM

Centrum Wiskunde & Informatica