Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/journals/shonan-reports:"
download as .bib file
@article{DBLP:journals/shonan-reports/ArakawaMAW22,
author = {Yutaka Arakawa and
Wolfgang Minker and
Elisabeth Andr{\'{e}} and
Leo Wanner},
title = {Intelligent Interaction with Autonomous Assistants in the Wild {(NII}
Shonan Meeting 188)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2022},
year = {2022},
url = {https://shonan.nii.ac.jp/seminars/188/},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/shonan-reports/ArakawaMAW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/BraamGK22,
author = {Peter Braam and
Jeremy Gibbons and
Oleg Kiselyov},
title = {Programming Language Support for Emerging Memory Technologie {(NII}
Shonan Meeting 181)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2022},
year = {2022},
url = {https://shonan.nii.ac.jp/seminars/181/},
timestamp = {Thu, 05 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/BraamGK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/ChaplickILMR20,
author = {Steven Chaplick and
Takayuki Itoh and
Giuseppe Liotta and
Kwan{-}Liu Ma and
Ignaz Rutter},
title = {Trends and Perspectives for Graph Drawing and Network Visualization
{(NII} Shonan Meeting 171)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2020},
year = {2020},
url = {https://shonan.nii.ac.jp/seminars/171/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/ChaplickILMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/RaidouKBRF20,
author = {Renata Georgia Raidou and
Barbora Kozl{\'{\i}}kov{\'{a}} and
Johanna Beyer and
Timo Ropinski and
Issei Fujishiro},
title = {Formalizing Biological and Medical Visualization {(NII} Shonan Meeting
167)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2020},
year = {2020},
url = {https://shonan.nii.ac.jp/seminars/167/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/RaidouKBRF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/TeiPC20,
author = {Kenji Tei and
Nir Piterman and
Javier C{\'{a}}mara},
title = {The 3rd Controlled Adaptation of Self-adaptive Systems (CASaS) {(NII}
Shonan Meeting 153)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2020},
year = {2020},
url = {https://shonan.nii.ac.jp/seminars/153/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/TeiPC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/Amer-YahiaRCM19,
author = {Sihem Amer{-}Yahia and
Senjuti Basu Roy and
Lei Chen and
Atsuyuki Morishima},
title = {Human-in-the-loop Big Data and {AI:} Connecting Theories and Practices
for a Better Future of Work {(NII} Shonan Meeting 154)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2019},
year = {2019},
url = {https://shonan.nii.ac.jp/seminars/154/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/Amer-YahiaRCM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/BohmeCR19,
author = {Marcel B{\"{o}}hme and
Cristian Cadar and
Abhik Roychoudhury},
title = {Fuzzing and Symbolic Execution: Reflections, Challenges, and Opportunities
{(NII} Shonan Meeting 160)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2019},
year = {2019},
url = {https://shonan.nii.ac.jp/seminars/160/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/BohmeCR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/ChildsIKR19,
author = {Hank Childs and
Takayuki Itoh and
Michael Krone and
Guido Reina},
title = {The Moving Target of Visualization Software for an Ever More Complex
World {(NII} Shonan Meeting 145)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2019},
year = {2019},
url = {https://shonan.nii.ac.jp/seminars/145/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/ChildsIKR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/ChinEM19,
author = {Tat{-}Jun Chin and
Anders P. Eriksson and
Yasuyuki Matsushita},
title = {Optimization Methods in Geometric Vision {(NII} Shonan Meeting 140)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2019},
year = {2019},
url = {https://shonan.nii.ac.jp/seminars/140/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/ChinEM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/DoyaEH19,
author = {Kenji Doya and
Shimon Edelman and
Takashi Hashimoto},
title = {Language as Goal-Directed Sequential Behavior: Computational Theories,
Brain Mechanisms, Evolutionary Roots {(NII} Shonan Meeting 141)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2019},
year = {2019},
url = {https://shonan.nii.ac.jp/seminars/141/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/DoyaEH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/EndertFLL19,
author = {Alex Endert and
Jean{-}Daniel Fekete and
Bongshin Lee and
Shixia Liu},
title = {Interactive Visualization for Interpretable Machine Learning {\textasciitilde}
Beyond Visualization and Steering of the Parametric Space {(NII} Shonan
Meeting 161)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2019},
year = {2019},
url = {https://shonan.nii.ac.jp/seminars/161/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/EndertFLL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/EvenS19,
author = {Guy Even and
Gregory Schwartzman},
title = {Distributed Graph Algorithms {(NII} Shonan Meeting 162)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2019},
year = {2019},
url = {https://shonan.nii.ac.jp/seminars/162/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/EvenS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/FagesIKMS19,
author = {Fran{\c{c}}ois Fages and
Katsumi Inoue and
Heinz Koeppl and
Chris Myers and
Yoshihiro Shimizu},
title = {Formal methods for the synthesis of biomolecular circuits {(NII} Shonan
Meeting 157)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2019},
year = {2019},
url = {https://shonan.nii.ac.jp/seminars/157/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/FagesIKMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/GosslerLN19,
author = {Gregor G{\"{o}}ssler and
Stefan Leue and
Shin Nakajima},
title = {Causal Reasoning in Systems {(NII} Shonan Meeting 139)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2019},
year = {2019},
url = {https://shonan.nii.ac.jp/seminars/139/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/GosslerLN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/HallerSWA19,
author = {Philipp Haller and
Guido Salvaneschi and
Takuo Watanabe and
Gul Agha},
title = {Programming Languages for Distributed Systems {(NII} Shonan Meeting
149)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2019},
year = {2019},
url = {https://shonan.nii.ac.jp/seminars/149/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/HallerSWA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/HeyerIR19,
author = {Gerhard Heyer and
Mitsuyuki Inaba and
Martin Roth},
title = {Modelling Cultural Processes {(NII} Shonan Meeting 132)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2019},
year = {2019},
url = {https://shonan.nii.ac.jp/seminars/132/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/HeyerIR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/HirschfeldMG19,
author = {Robert Hirschfeld and
Hidehiko Masuhara and
Richard P. Gabriel},
title = {Self-supporting, Extensible Programming Languages and Environments
for Exploratory, Live Software Development {(NII} Shonan Meeting 147)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2019},
year = {2019},
url = {https://shonan.nii.ac.jp/seminars/147/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/HirschfeldMG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/JamoneOG19,
author = {Lorenzo Jamone and
Tetsuya Ogata and
Beata J. Grzyb},
title = {From natural to artificial embodied intelligence: is Deep Learning
the solution {(NII} Shonan Meeting 137)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2019},
year = {2019},
url = {https://shonan.nii.ac.jp/seminars/137/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/JamoneOG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/JansenST19,
author = {Bart M. P. Jansen and
Christian Schulz and
Hisao Tamaki},
title = {Parameterized Graph Algorithms {\&} Data Reduction: Theory Meets
Practice {(NII} Shonan Meeting 144)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2019},
year = {2019},
url = {https://shonan.nii.ac.jp/seminars/144/},
timestamp = {Thu, 17 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/shonan-reports/JansenST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/KapronKS19,
author = {Bruce M. Kapron and
Akitoshi Kawamura and
Florian Steinberg},
title = {Higher-order Complexity Theory and its Applications {(NII} Shonan
Meeting 151)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2019},
year = {2019},
url = {https://shonan.nii.ac.jp/seminars/151/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/KapronKS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/KhomhIM19,
author = {Foutse Khomh and
Fuyuki Ishikawa and
Hiroshi Maruyama},
title = {Software Engineering for Machine Learning Systems {(SEMLS)} {(NII}
Shonan Meeting 156)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2019},
year = {2019},
url = {https://shonan.nii.ac.jp/seminars/156/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/KhomhIM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/KiselyovLPW19,
author = {Oleg Kiselyov and
Sam Lindley and
Gordon D. Plotkin and
Nicolas Wu},
title = {Programming and Reasoning with Algebraic Effects and Effect Handlers
{(NII} Shonan Meeting 146)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2019},
year = {2019},
url = {https://shonan.nii.ac.jp/seminars/146/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/KiselyovLPW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/KiselyovMSJ19,
author = {Oleg Kiselyov and
Anil Madhavapeddy and
K. C. Sivaramakrishnan and
Suresh Jagannathan},
title = {Programming Language Support for Data-intensive Applications {(NII}
Shonan Meeting 143)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2019},
year = {2019},
url = {https://shonan.nii.ac.jp/seminars/143/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/KiselyovMSJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/McIntoshKN19,
author = {Shane McIntosh and
Yasutaka Kamei and
Meiyappan Nagappan},
title = {Release Engineering for Mobile Applications {(NII} Shonan Meeting
152)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2019},
year = {2019},
url = {https://shonan.nii.ac.jp/seminars/152/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/McIntoshKN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/MinkerYC19,
author = {Wolfgang Minker and
Keiichi Yasumoto and
Zoraida Callejas},
title = {Spoken Multimodal Dialogue Systems Technology for Pervasive Computing
{(NII} Shonan Meeting 163)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2019},
year = {2019},
url = {https://shonan.nii.ac.jp/seminars/163/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/MinkerYC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/SprangerTC19,
author = {Michael Spranger and
Tadahiro Taniguchi and
Angelo Cangelosi},
title = {Learning to Communicate: Challenges in Language Learning by AI, Robots
and Humans {(NII} Shonan Meeting 150)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2019},
year = {2019},
url = {https://shonan.nii.ac.jp/seminars/150/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/SprangerTC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/ThawonmasTY19,
author = {Ruck Thawonmas and
Julian Togelius and
Georgios N. Yannakakis},
title = {Artificial General Intelligence in Games: Where Play Meets Design
and User Experience {(NII} Shonan Meeting 130)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2019},
year = {2019},
url = {https://shonan.nii.ac.jp/seminars/130/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/ThawonmasTY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/YonedaBYI19,
author = {Tomohiro Yoneda and
Peter A. Beerel and
Alex Yakovlev and
Masashi Imai},
title = {Asynchronous Circuit Design and its Applications: Past, Present and
Future {(NII} Shonan Meeting 133)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2019},
year = {2019},
url = {https://shonan.nii.ac.jp/seminars/133/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/YonedaBYI19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/ArchambaultKM18,
author = {Daniel Archambault and
Karsten Klein and
Kazuo Misue},
title = {Reimagining the Mental Map and Drawing Stability {(NII} Shonan Meeting
2018-12)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2018},
year = {2018},
url = {https://shonan.nii.ac.jp/seminars/127/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/ArchambaultKM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/ArumaithuraiHS18,
author = {Mayutan Arumaithurai and
Toru Hasegawa and
Stephan Sigg},
title = {Resilient Machine-to-Machine communication {(NII} Shonan Meeting 2018-6)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2018},
year = {2018},
url = {https://shonan.nii.ac.jp/seminars/114/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/ArumaithuraiHS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/BennaceurGT18,
author = {Amel Bennaceur and
Carlo Ghezzi and
Kenji Tei},
title = {Modelling and Analysing Resilient Cyber-Physical Systems {(NII} Shonan
Meeting 2018-21)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2018},
year = {2018},
url = {https://shonan.nii.ac.jp/seminars/118/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/BennaceurGT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/BiboudisKO18,
author = {Aggelos Biboudis and
Oleg Kiselyov and
Martin Odersky},
title = {Functional Stream Libraries and Fusion: What's Next {(NII} Shonan
Meeting 2018-14)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2018},
year = {2018},
url = {https://shonan.nii.ac.jp/seminars/136/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/BiboudisKO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/DriemelHS18,
author = {Anne Driemel and
Rob J. Hyndman and
Galit Shmueli},
title = {Analysing Large Collections of Time Series {(NII} Shonan Meeting 2018-3)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2018},
year = {2018},
url = {https://shonan.nii.ac.jp/seminars/122/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/DriemelHS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/FosterS18,
author = {Nate Foster and
Motoyoshi Sekiya},
title = {Theory and Practice of Data Plane Programming {(NII} Shonan Meeting
2018-4)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2018},
year = {2018},
url = {https://shonan.nii.ac.jp/seminars/112/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/FosterS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/GhicaHS18,
author = {Dan R. Ghica and
Masahito Hasegawa and
Pawe{\l} Soboci{\'{n}}ski},
title = {Diagrammatic methods for linear and nonlinear systems {(NII} Shonan
Meeting 2018-18)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2018},
year = {2018},
url = {https://shonan.nii.ac.jp/seminars/109/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/GhicaHS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/GiacobazziPT18,
author = {Roberto Giacobazzi and
Dusko Pavlovic and
Tachio Terauchi},
title = {Intensional and extensional aspects of computation: From computability
and complexity to program analysis and security {(NII} Shonan Meeting
2018-1)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2018},
year = {2018},
url = {https://shonan.nii.ac.jp/seminars/115/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/GiacobazziPT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/GriewankWKR18,
author = {Andreas Griewank and
Andrea Walther and
Koichi Kubota and
Siegfried M. Rump},
title = {Piecewise smooth system and optimization with piecewise linearization
via algorithmic differentiation {(NII} Shonan Meeting 2018-9)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2018},
year = {2018},
url = {https://shonan.nii.ac.jp/seminars/125/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/GriewankWKR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/HurterCIMD18,
author = {Christophe Hurter and
Maxime Cordeil and
Takayuki Itoh and
Kwan{-}Liu Ma and
Tim Dwyer},
title = {Immersive Analytics for Network and Trail Sets Data Analysis {(NII}
Shonan Meeting 2018-20)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2018},
year = {2018},
url = {https://shonan.nii.ac.jp/seminars/131/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/HurterCIMD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/IshikawaRL18,
author = {Fuyuki Ishikawa and
Alexander B. Romanovsky and
Thierry Lecomte},
title = {Towards industrial application of advanced formal methods for cyber-physical
system engineering {(NII} Shonan Meeting 2018-16)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2018},
year = {2018},
url = {https://shonan.nii.ac.jp/seminars/121/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/IshikawaRL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/ItohKPS18,
author = {Yuta Itoh and
Kai Kunze and
Alexander Plopski and
Christian Sandor},
title = {Augmented Reality in Human-Computer Interaction {(NII} Shonan Meeting
2018-8)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2018},
year = {2018},
url = {https://shonan.nii.ac.jp/seminars/135/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/ItohKPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/KikuchiDG18,
author = {Hiroaki Kikuchi and
Josep Domingo{-}Ferrer and
S{\'{e}}bastien Gambs},
title = {Anonymization methods and inference attacks: theory and practice {(NII}
Shonan Meeting 2018-5)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2018},
year = {2018},
url = {https://shonan.nii.ac.jp/seminars/116/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/KikuchiDG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/KiselyovRNK18,
author = {Oleg Kiselyov and
Tiark Rompf and
Jennifer Neville and
Yukiyoshi Kameyama},
title = {Meta-Programming for Statistical Machine Learning {(NII} Shonan Meeting
2018-7)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2018},
year = {2018},
url = {https://shonan.nii.ac.jp/seminars/113/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/KiselyovRNK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/MachirajuRO18,
author = {Raghu Machiraju and
Jens Rittscher and
Motonori Ota},
title = {Workshop on Patient Similitude: Combining Histopathological Images
{\&} Multiple-Scale Molecular Phenotypes {(NII} Shonan Meeting
2018-17)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2018},
year = {2018},
url = {https://shonan.nii.ac.jp/seminars/128/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/MachirajuRO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/ODonoghueSB18,
author = {Se{\'{a}}n I. O'Donoghue and
Masakazu Sekijima and
Marc Baaden},
title = {Web Molecular Graphics: Emerging Technologies {\&} Standards {(NII}
Shonan Meeting 2018-19)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2018},
year = {2018},
url = {https://shonan.nii.ac.jp/seminars/142/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/ODonoghueSB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/RestFH18,
author = {Oskar van Rest and
George Fletcher and
Wook{-}Shin Han},
title = {Graph Database Systems: Bridging Theory, Practice, and Engineering
{(NII} Shonan Meeting 2018-10)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2018},
year = {2018},
url = {https://shonan.nii.ac.jp/seminars/138/},
timestamp = {Mon, 15 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/RestFH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/SmithFS18,
author = {Aaron Smith and
Chris Fensch and
Hiroshi Sasaki},
title = {Advances in Heterogeneous Computing from Hardware to Software {(NII}
Shonan Meeting 2018-11)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2018},
year = {2018},
url = {https://shonan.nii.ac.jp/seminars/134/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/SmithFS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/TingWK18,
author = {Kai Ming Ting and
Takashi Washio and
Ata Kab{\'{a}}n},
title = {Data Dependent Dissimilarity Measures {(NII} Shonan Meeting 2018-13)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2018},
year = {2018},
url = {https://shonan.nii.ac.jp/seminars/123/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/TingWK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/WuCKG18,
author = {Yingcai Wu and
Nan Cao and
Steffen Koch and
David Gotz},
title = {Visual Analytics: Towards Effective Human-Machine Intelligence {(NII}
Shonan Meeting 2018-2)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2018},
year = {2018},
url = {https://shonan.nii.ac.jp/seminars/120/},
timestamp = {Sat, 16 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/WuCKG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/YoshinoMA18,
author = {Koichiro Yoshino and
Wolfgang Minker and
Elisabeth Andr{\'{e}}},
title = {Multimodal Agents for Ageing and Multicultural Societies {(NII} Shonan
Meeting 2018-15)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2018},
year = {2018},
url = {https://shonan.nii.ac.jp/seminars/117/},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/shonan-reports/YoshinoMA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/AritaBN17,
author = {Masanori Arita and
Sebastian B{\"{o}}cker and
Steffen Neumann},
title = {Computational Metabolomics {(NII} Shonan Meeting 2017-3)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2017},
year = {2017},
url = {https://shonan.nii.ac.jp/seminars/093/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/AritaBN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/BravermanWY17,
author = {Vladimir Braverman and
David P. Woodruff and
Ke Yi},
title = {Processing Big Data Streams {(NII} Shonan Meeting 2017-7)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2017},
year = {2017},
url = {https://shonan.nii.ac.jp/seminars/087/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/BravermanWY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/BuchbinderDP17,
author = {Niv Buchbinder and
Nikhil R. Devanur and
Debmalya Panigrahi},
title = {Algorithms and Optimization under Uncertainty {(NII} Shonan Meeting
2017-5)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2017},
year = {2017},
url = {https://shonan.nii.ac.jp/seminars/094/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/BuchbinderDP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/ChangRR17,
author = {Bor{-}Yuh Evan Chang and
Xavier Rival and
Sukyoung Ryu},
title = {Memory Abstraction, Emerging Techniques and Applications {(NII} Shonan
Meeting 2017-12)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2017},
year = {2017},
url = {https://shonan.nii.ac.jp/seminars/108/},
timestamp = {Tue, 23 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/ChangRR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/ChenDF17,
author = {Yijia Chen and
Rodney G. Downey and
J{\"{o}}rg Flum},
title = {Logic and Computational Complexity {(NII} Shonan Meeting 2017-13)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2017},
year = {2017},
url = {https://shonan.nii.ac.jp/seminars/096/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/ChenDF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/DaynesFH17,
author = {Laurent Dayn{\`{e}}s and
George H. L. Fletcher and
Wook{-}Shin Han},
title = {Language integrated queries: towards standard logics for big data
analytics {(NII} Shonan Meeting 2017-6)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2017},
year = {2017},
url = {https://shonan.nii.ac.jp/seminars/098/},
timestamp = {Mon, 15 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/DaynesFH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/FitzgeraldMZ17,
author = {Brian Fitzgerald and
Audris Mockus and
Minghui Zhou},
title = {Towards Engineering Free/Libre OpenSource Software {(FLOSS)} Ecosystems
forImpact and Sustainability {(NII} Shonan Meeting 2017-8)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2017},
year = {2017},
url = {https://shonan.nii.ac.jp/seminars/099/},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/FitzgeraldMZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/GaboardiK17,
author = {Marco Gaboardi and
Shin{-}ya Katsumata},
title = {Semantics of Effects, Resources, and Applications {(NII} Shonan Meeting
2017-4)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2017},
year = {2017},
url = {https://shonan.nii.ac.jp/seminars/103/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/GaboardiK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/GarlanDT17,
author = {David Garlan and
Nicol{\'{a}}s D'Ippolito and
Kenji Tei},
title = {The 2nd Controlled Adaptation of Self-Adaptive Systems Workshop (CASaS2017)
{(NII} Shonan Meeting 2017-10)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2017},
year = {2017},
url = {https://shonan.nii.ac.jp/seminars/110/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/GarlanDT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/HuismanNT17,
author = {Marieke Huisman and
Thomas Noll and
Makoto Tatsuta},
title = {Analysis and Verification of Pointer Programs {(NII} Shonan Meeting
2017-14)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2017},
year = {2017},
url = {https://shonan.nii.ac.jp/seminars/100/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/HuismanNT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/IshikawaGF17,
author = {Fuyuki Ishikawa and
Peter Gorm Larsen and
John S. Fitzgerald},
title = {Model-Based Design for Smart Products and Systems: Advanced Capabilities
and Challenging Applications {(NII} Shonan Meeting 2017-18)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2017},
year = {2017},
url = {https://shonan.nii.ac.jp/seminars/124/},
timestamp = {Wed, 10 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/IshikawaGF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/KatohAN17,
author = {Naoki Katoh and
Hee{-}Kap Ahn and
Subhas C. Nandy},
title = {Geometric Graphs: Theory and Applications {(NII} Shonan Meeting 2017-16)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2017},
year = {2017},
url = {https://shonan.nii.ac.jp/seminars/106/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/KatohAN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/KatsumataPR17,
author = {Shin{-}ya Katsumata and
Damien Pous and
Jan Rutten},
title = {Enhanced coinduction {(NII} Shonan Meeting 2017-17)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2017},
year = {2017},
url = {https://shonan.nii.ac.jp/seminars/097/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/KatsumataPR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/MullerIL17,
author = {Hausi A. M{\"{u}}ller and
Fuyuki Ishikawa and
Marin Litoiu},
title = {Software Engineering and Networked Control for Smart Cyber Physical
Systems {(SENCPS)} {(NII} Shonan Meeting 2017-11)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2017},
year = {2017},
url = {https://shonan.nii.ac.jp/seminars/104/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/MullerIL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/SadakaneN17,
author = {Kunihiko Sadakane and
Gonzalo Navarro},
title = {Computation over Compressed Structured Data {(NII} Shonan Meeting
2017-15)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2017},
year = {2017},
url = {https://shonan.nii.ac.jp/seminars/126/},
timestamp = {Wed, 28 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/SadakaneN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/ShihabI17,
author = {Emad Shihab and
Akinori Ihara},
title = {Mining Software Repositories:Accomplishments, Challenges andFuture
Trends {(NII} Shonan Meeting 2017-2)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2017},
year = {2017},
url = {https://shonan.nii.ac.jp/seminars/095/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/ShihabI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/ThomsenMM17,
author = {Michael Kirkedal Thomsen and
Kazutaka Matsuda and
Mohammad Reza Mousavi},
title = {Reverse Execution in Testing {\textendash} Improving Security and
Reliability {(NII} Shonan Meeting 2017-9)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2017},
year = {2017},
url = {https://shonan.nii.ac.jp/seminars/102/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/ThomsenMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/WagnerMHC17,
author = {Markus Wagner and
Leandro L. Minku and
Ahmed E. Hassan and
John A. Clark},
title = {Data-Driven Search-Based Software Engineering {(NII} Shonan Meeting
2017-19)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2017},
year = {2017},
url = {https://shonan.nii.ac.jp/seminars/105/},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/shonan-reports/WagnerMHC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/YamashitaHWC17,
author = {Shigeru Yamashita and
Tsung{-}Yi Ho and
Robert Wille and
Krishnendu Chakrabarty},
title = {Microfluidic Biochips: Bridging Biochemistry with Computer Science
and Engineering {(NII} Shonan Meeting 2017-1)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2017},
year = {2017},
url = {https://shonan.nii.ac.jp/seminars/081/},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/YamashitaHWC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/AmeurNM16,
author = {Yamine A{\"{\i}}t Ameur and
Shin Nakajima and
Dominique M{\'{e}}ry},
title = {Implicit and explicit semantics integration in proof based developments
of discrete systems {(NII} Shonan Meeting 2016-16)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2016},
year = {2016},
url = {https://shonan.nii.ac.jp/seminars/090/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/AmeurNM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/AnjorinDWX16,
author = {Anthony Anjorin and
Zinovy Diskin and
Meng Wang and
Yingfei Xiong},
title = {Bidirectional Transformations, {(NII} Shonan Meeting 2016-13)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2016},
year = {2016},
url = {https://shonan.nii.ac.jp/seminars/091/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/AnjorinDWX16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/ChengOC16,
author = {Siu{-}Wing Cheng and
Yoshio Okamoto and
Otfried Cheong},
title = {Theory and Applications of Geometric Optimization {(NII} Shonan Meeting
2016-9)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2016},
year = {2016},
url = {https://shonan.nii.ac.jp/seminars/079/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/ChengOC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/FletcherTY16,
author = {George H. L. Fletcher and
Taro Takaguchi and
Yuichi Yoshida},
title = {Analytics on complex networks: scalable solutions for empirical questions
{(NII} Shonan Meeting 2016-1)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2016},
year = {2016},
url = {https://shonan.nii.ac.jp/seminars/072/},
timestamp = {Mon, 15 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/FletcherTY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/FukunagaRV16,
author = {Takuro Fukunaga and
R. Ravi and
L{\'{a}}szl{\'{o}} A. V{\'{e}}gh},
title = {Current Trends in Combinatorial Optimization {(NII} Shonan Meeting
2016-7)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2016},
year = {2016},
url = {https://shonan.nii.ac.jp/seminars/071/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/FukunagaRV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/HaiducKLM16,
author = {Sonia Haiduc and
Takashi Kobayashi and
Michele Lanza and
Andrian Marcus},
title = {Mining {\&} Modeling Unstructured Data in Software - Challenges
for the Future {(NII} Shonan Meeting 2016-3)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2016},
year = {2016},
url = {https://shonan.nii.ac.jp/seminars/084/},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/shonan-reports/HaiducKLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/HongT216,
author = {Seok{-}Hee Hong and
Takeshi Tokuyama},
title = {Algoritihmcs for Beyond Planar Graphs {(NII} Shonan Meeting 2016-17)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2016},
year = {2016},
url = {https://shonan.nii.ac.jp/seminars/089/},
timestamp = {Thu, 27 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/shonan-reports/HongT216.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/ItohKL16,
author = {Takayuki Itoh and
Karsten Klein and
Giuseppe Liotta},
title = {Dynamic Networks Visual Analytics: Approaches to facilitate visual
analysis of complex and dynamic network data {(NII} Shonan Meeting
2016-11)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2016},
year = {2016},
url = {https://shonan.nii.ac.jp/seminars/085/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/ItohKL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/ItohMSW16,
author = {Takayuki Itoh and
Kim Marriott and
Falk Schreiber and
Uwe W{\"{o}}ssner},
title = {Immersive Analytics: {A} new multidisciplinary initiative to explore
future interaction technologies for data analytics {(NII} Shonan Meeting
2016-2)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2016},
year = {2016},
url = {https://shonan.nii.ac.jp/seminars/074/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/ItohMSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/KannanMW16,
author = {Ravindran Kannan and
Michael W. Mahoney and
David P. Woodruff},
title = {Recent Advances in Randomized Numerical Linear Algebra {(NII} Shonan
Meeting 2016-10)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2016},
year = {2016},
url = {https://shonan.nii.ac.jp/seminars/080/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/KannanMW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/KobayashiOW16,
author = {Naoki Kobayashi and
Luke Ong and
Igor Walukiewicz},
title = {Higher-Order Model Checking {(NII} Shonan Meeting 2016-4)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2016},
year = {2016},
url = {https://shonan.nii.ac.jp/seminars/078/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/KobayashiOW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/MadriaHSP16,
author = {Sanjay Madria and
Takahiro Hara and
Cyrus Shahabi and
Calton Pu},
title = {Big Data: Challenges and Opportunities for Disaster Recovery {(NII}
Shonan Meeting 2016-6)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2016},
year = {2016},
url = {https://shonan.nii.ac.jp/seminars/082/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/MadriaHSP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/NakajimaTTY16,
author = {Shin Nakajima and
Jean{-}Pierre Talpin and
Masumi Toyoshima and
Huafeng Yu},
title = {Architecture-Centric Modeling, Analysis, and Veri cation of Cyber-Physical
Systems {(NII} Shonan Meeting 2016-5)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2016},
year = {2016},
url = {https://shonan.nii.ac.jp/seminars/073/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/NakajimaTTY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/SandorSS16,
author = {Christian Sandor and
Dieter Schmalstieg and
J. Edward Swan II},
title = {Perception in Augmented Reality {(NII} Shonan Meeting 2016-15)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2016},
year = {2016},
url = {https://shonan.nii.ac.jp/seminars/088/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/SandorSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/SchafferhansON16,
author = {Andrea Schafferhans and
Se{\'{a}}n I. O'Donoghue and
Haruki Nakamura},
title = {Web-based Molecular Graphics {(NII} Shonan Meeting 2016-12)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2016},
year = {2016},
url = {https://shonan.nii.ac.jp/seminars/086/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/SchafferhansON16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/TaniguchiUK16,
author = {Tadahiro Taniguchi and
Emre Ugur and
George Dimitri Konidaris},
title = {Cognitive Development and Symbol Emergence in Humans and Robots {(NII}
Shonan Meeting 2016-14)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2016},
year = {2016},
url = {https://shonan.nii.ac.jp/seminars/092/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/TaniguchiUK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/TeiDI16,
author = {Kenji Tei and
Nicol{\'{a}}s D'Ippolito and
Paola Inverardi},
title = {Controlled Adaptation of Self-adaptive Systems (CASaS) {(NII} Shonan
Meeting 2016-8)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2016},
year = {2016},
url = {https://shonan.nii.ac.jp/seminars/077/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/TeiDI16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/AmsalegHOZ15,
author = {Laurent Amsaleg and
Michael E. Houle and
Vincent Oria and
Arthur Zimek},
title = {Dimensionality and Scalability {II:} Hands-On Intrinsic Dimensionality
{(NII} Shonan Meeting 2015-9)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2015},
year = {2015},
url = {https://shonan.nii.ac.jp/seminars/061/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/AmsalegHOZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/ArthoJLN15,
author = {Cyrille Artho and
Einar Broch Johnsen and
Martin Leucker and
Keiko Nakata},
title = {Static analysis meets runtime verification {(NII} Shonan Meeting 2015-5)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2015},
year = {2015},
url = {https://shonan.nii.ac.jp/seminars/062/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/ArthoJLN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/BanchsSM15,
author = {Rafael E. Banchs and
Sakriani Sakti and
Etsuo Mizukami},
title = {The Future of Human-Robot Spoken Dialogue: from Information Services
to Virtual Assistants {(NII} Shonan Meeting 2015-7)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2015},
year = {2015},
url = {https://shonan.nii.ac.jp/seminars/059/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/BanchsSM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/Boyd-GraberDM15,
author = {Jordan L. Boyd{-}Graber and
Hal Daum{\'{e}} III and
Yusuke Miyao},
title = {Synchronous Machine Translation {(NII} Shonan Meeting 2015-10)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2015},
year = {2015},
url = {https://shonan.nii.ac.jp/seminars/068/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/Boyd-GraberDM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/GaboardiNT15,
author = {Marco Gaboardi and
Vivek Nigam and
Tachio Terauchi},
title = {Logic and Verification Methods in Security and Privacy {(NII} Shonan
Meeting 2015-16)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2015},
year = {2015},
url = {https://shonan.nii.ac.jp/seminars/069/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/GaboardiNT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/HongKM15,
author = {Seok{-}Hee Hong and
Koji Koyamada and
Kwan{-}Liu Ma},
title = {Big Data Visual Analytics {(NII} Shonan Meeting 2015-17)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2015},
year = {2015},
url = {https://shonan.nii.ac.jp/seminars/064/},
timestamp = {Thu, 27 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/shonan-reports/HongKM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/IgarashiMT15,
author = {Atsushi Igarashi and
Andrzej S. Murawski and
Nikos Tzevelekos},
title = {Semantics and Verification of Object-Oriented Languages {(NII} Shonan
Meeting 2015-13)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2015},
year = {2015},
url = {https://shonan.nii.ac.jp/seminars/063/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/IgarashiMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/IshiiST215,
author = {Daisuke Ishii and
Kohei Suenaga and
Walid Taha},
title = {Validated Numerics Meets Reachability Analysis for {CPS} Design {(NII}
Shonan Meeting 2015-14)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2015},
year = {2015},
url = {https://shonan.nii.ac.jp/seminars/076/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/IshiiST215.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/ItohKL15,
author = {Takayuki Itoh and
Karsten Klein and
Giuseppe Liotta},
title = {Big Graph Drawing: Metrics and Methods {(NII} Shonan Meeting 2015-1)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2015},
year = {2015},
url = {https://shonan.nii.ac.jp/seminars/054/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/ItohKL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/KinoshitaN15,
author = {Yoshiki Kinoshita and
Bengt Nordstr{\"{o}}m},
title = {Logical analysis of descriptions and their presentations - a computational
logic approach {(NII} Shonan Meeting 2015-2)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2015},
year = {2015},
url = {https://shonan.nii.ac.jp/seminars/042/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/KinoshitaN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/MarionMO15,
author = {Jean{-}Yves Marion and
Akira Mori and
Mizuhito Ogawa},
title = {Low level code analysis and applications to computer security {(NII}
Shonan Meeting 2015-4)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2015},
year = {2015},
url = {https://shonan.nii.ac.jp/seminars/065/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/MarionMO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/MaruyamaMF15,
author = {Hiroshi Maruyama and
G{\"{u}}nter M{\"{u}}llerr and
Kazuo Furuta},
title = {Systems Resilience {\textendash} Bridging the Gap Between Social and
Mathematical {(NII} Shonan Meeting 2015-3)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2015},
year = {2015},
url = {https://shonan.nii.ac.jp/seminars/060/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/MaruyamaMF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/MondadaNB15,
author = {Lorenza Mondada and
Aug Nishizawa and
Mayumi Bono},
title = {Instruction and instructed action: Embodied reciprocity in interaction
{(NII} Shonan Meeting 2015-6)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2015},
year = {2015},
url = {https://shonan.nii.ac.jp/seminars/067/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/MondadaNB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/NagappanHK15,
author = {Meiyappan Nagappan and
Ahmed E. Hassan and
Yasutaka Kamei},
title = {Mobile App Store Analytics {(NII} Shonan Meeting 2015-15)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2015},
year = {2015},
url = {https://shonan.nii.ac.jp/seminars/070/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/NagappanHK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/SiggI15,
author = {Stephan Sigg and
Sozo Inoue},
title = {Challenges for real-time human activity recognition {(NII} Shonan
Meeting 2015-12)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2015},
year = {2015},
url = {https://shonan.nii.ac.jp/seminars/066/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/SiggI15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/TamaiMN15,
author = {Tetsuo Tamai and
Hausi A. M{\"{u}}ller and
Bashar Nuseibeh},
title = {Engineering Adaptive Software Systems (EASSy) {(NII} Shonan Meeting
2015-11)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2015},
year = {2015},
url = {https://shonan.nii.ac.jp/seminars/052/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/TamaiMN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/VanderbauwhedeS15,
author = {Wim Vanderbauwhede and
Sven{-}Bodo Scholz and
Tetsuya Takemi},
title = {Putting Heterogeneous High-Performance Computing at the Fingertips
of Domain Experts {(NII} Shonan Meeting 2015-18)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2015},
year = {2015},
url = {https://shonan.nii.ac.jp/seminars/075/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/VanderbauwhedeS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/BaldiFP14,
author = {Pierre Baldi and
Kenji Fukumizu and
Tomaso A. Poggio},
title = {Deep Learning: Theory, Algorithms, and Applications {(NII} Shonan
Meeting 2014-5)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2014},
year = {2014},
url = {https://shonan.nii.ac.jp/seminars/040/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/BaldiFP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/BockerKML14,
author = {Sebastian B{\"{o}}cker and
Gunnar W. Klau and
Veli M{\"{a}}kinen and
Hon Wai Leong},
title = {Towards the ground truth: Exact algorithms for bioinformatics research
{(NII} Shonan Meeting 2014-2)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2014},
year = {2014},
url = {https://shonan.nii.ac.jp/seminars/045/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/BockerKML14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/BudneyBI14,
author = {Ryan Budney and
Benjamin A. Burton and
Kazuhiro Ichihara},
title = {Knot theory: Algorithms, complexity and computation {(NII} Shonan
Meeting 2014-4)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2014},
year = {2014},
url = {https://shonan.nii.ac.jp/seminars/043/},
timestamp = {Fri, 18 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/BudneyBI14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/CasteranGN14,
author = {Pierre Cast{\'{e}}ran and
Jacques Garrigue and
David Nowak},
title = {Summer School on {C}oq ({NII} Shonan Meeting 2014-9)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2014},
year = {2014},
url = {https://shonan.nii.ac.jp/seminars/041/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/CasteranGN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/DowneyMNW14,
author = {Rodney G. Downey and
Kenshi Miyabe and
Andr{\'{e}} Nies and
Osamu Watanabe},
title = {Algorithmic Randomness and Complexity {(NII} Shonan Meeting 2014-10)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2014},
year = {2014},
url = {https://shonan.nii.ac.jp/seminars/047/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/DowneyMNW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/GoebelMS14,
author = {Randy Goebel and
Yuji Matsumoto and
Ken Satoh},
title = {Towards Explanation Production Combining Natural Language Processing
and Logical Reasoning {(NII} Shonan Meeting 2014-15)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2014},
year = {2014},
url = {https://shonan.nii.ac.jp/seminars/057/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/GoebelMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/IgarashiTW14,
author = {Atsushi Igarashi and
Peter Thiemann and
Philip Wadler},
title = {Software Contracts for Communication, Monitoring, and Security {(NII}
Shonan Meeting 2014-6)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2014},
year = {2014},
url = {https://shonan.nii.ac.jp/seminars/050/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/IgarashiTW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/IshikawaR14,
author = {Fuyuki Ishikawa and
Alexander B. Romanovsky},
title = {Science and Practice of Engineering Trustworthy Cyber-Physical Systems
{(TCPS)} {(NII} Shonan Meeting 2014-14)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2014},
year = {2014},
url = {https://shonan.nii.ac.jp/seminars/055/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/IshikawaR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/KaufmanF14,
author = {Arie E. Kaufman and
Issei Fujishiro},
title = {Computer Visualization - Concepts and Challenges {(NII} Shonan Meeting
2014-1)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2014},
year = {2014},
url = {https://shonan.nii.ac.jp/seminars/046/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/KaufmanF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/KiselyovSK14,
author = {Oleg Kiselyov and
Jeremy G. Siek and
Yukiyoshi Kameyama},
title = {Staging and high-performance computing: theory and practice {(NII}
Shonan Meeting 2014-7)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2014},
year = {2014},
url = {https://shonan.nii.ac.jp/seminars/056/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/KiselyovSK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/LinPS14,
author = {Fang{-}Pang Lin and
Philip M. Papadopoulos and
Satoshi Sekiguchi},
title = {Water Disaster Management and Big Data {(NII} Shonan Meeting 2014-8)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2014},
year = {2014},
url = {https://shonan.nii.ac.jp/seminars/051/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/LinPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/McGregorPV14,
author = {Andrew McGregor and
Gopal Pandurangan and
Sergei Vassilvitskii},
title = {Algorithms for Large Scale Graphs {(NII} Shonan Meeting 2014-12)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2014},
year = {2014},
url = {https://shonan.nii.ac.jp/seminars/049/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/McGregorPV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/MeiNYM14,
author = {Hong Mei and
Frank Neumann and
Xin Yao and
Leandro L. Minku},
title = {Computational Intelligence for Software Engineering {(NII} Shonan
Meeting 2014-13)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2014},
year = {2014},
url = {https://shonan.nii.ac.jp/seminars/053/},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/shonan-reports/MeiNYM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/MillerTH14,
author = {Barton P. Miller and
Yoshio Tanaka and
Elisa Heymann},
title = {Grid and Cloud Security: {A} Confluence {(NII} Shonan Meeting 2014-3)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2014},
year = {2014},
url = {https://shonan.nii.ac.jp/seminars/044/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/MillerTH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/SakiyamaSV14,
author = {Kazuo Sakiyama and
Patrick Schaumont and
Ingrid Verbauwhede},
title = {Design Methods for Secure Hardware {(NII} Shonan Meeting 2014-11)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2014},
year = {2014},
url = {https://shonan.nii.ac.jp/seminars/028/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/SakiyamaSV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/TohdoDPS14,
author = {Tetsuya Tohdo and
Werner Damm and
Alexander Pretschner and
Jun Sun},
title = {Integration of Formal Methods and Testing for Model-based Systems
Engineering {(NII} Shonan Meeting 2014-16)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2014},
year = {2014},
url = {https://shonan.nii.ac.jp/seminars/048/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/TohdoDPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/BalkeHHL13,
author = {Wolf{-}Tilo Balke and
Seung{-}won Hwang and
Takahiro Hara and
Christoph Lofi},
title = {Intelligent Information Processing - Chances of Crowdsourcing {(NII}
Shonan Meeting 2013-15)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2013},
year = {2013},
url = {https://shonan.nii.ac.jp/seminars/034/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/BalkeHHL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/DaumeDK13,
author = {Hal Daum{\'{e}} III and
Kevin Duh and
Samir Khuller},
title = {Discrete Algorithms Meet Machine Learning {(NII} Shonan Meeting 2013-6)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2013},
year = {2013},
url = {https://shonan.nii.ac.jp/seminars/036/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/DaumeDK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/EchizenMST13,
author = {Isao Echizen and
G{\"{u}}nter M{\"{u}}ller and
Ry{\^{o}}ichi Sasaki and
A Min Tjoa},
title = {Privacy by Transparency for Data-Centric Services {(NII} Shonan Meeting
2013-5)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2013},
year = {2013},
url = {https://shonan.nii.ac.jp/seminars/032/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/EchizenMST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/GutinIT13,
author = {Gregory Z. Gutin and
Kazuo Iwama and
Dimitrios M. Thilikos},
title = {Parameterized Complexity and the Understanding, Design, and Analysis
of Heuristics {(NII} Shonan Meeting 2013-2)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2013},
year = {2013},
url = {https://shonan.nii.ac.jp/seminars/018/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/GutinIT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/HassanIXZ13,
author = {Ahmed E. Hassan and
Katsuro Inoue and
Tao Xie and
Dongmei Zhang},
title = {Software Analytics Principles and Practices {(NII} Shonan Meeting
2013-12)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2013},
year = {2013},
url = {https://shonan.nii.ac.jp/seminars/037/},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/shonan-reports/HassanIXZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/HasuoNU13,
author = {Ichiro Hasuo and
Keiko Nakata and
Tarmo Uustalu},
title = {Coinduction for Computation Structures and Programming Languages {(NII}
Shonan Meeting 2013-11)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2013},
year = {2013},
url = {https://shonan.nii.ac.jp/seminars/026/},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/shonan-reports/HasuoNU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/HonidenHMMY13,
author = {Shinichi Honiden and
Zhenjiang Hu and
Hausi A. M{\"{u}}ller and
John Mylopoulos and
Yijun Yu},
title = {Engineering Adaptive Software Systems (EASSy) {(NII} Shonan Meeting
2013-7)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2013},
year = {2013},
url = {https://shonan.nii.ac.jp/seminars/027/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/HonidenHMMY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/HouleOZ13,
author = {Michael E. Houle and
Vincent Oria and
Arthur Zimek},
title = {Dimensionality and Scalability {(NII} Shonan Meeting 2013-4)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2013},
year = {2013},
url = {https://shonan.nii.ac.jp/seminars/024/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/HouleOZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/InamuraAV13,
author = {Tetsunari Inamura and
Tamim Asfour and
Sethu Vijayakumar},
title = {Cognitive Social Robotics: Intelligence based on Embodied Experience
and Social Interaction {(NII} Shonan Meeting 2013-14)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2013},
year = {2013},
url = {https://shonan.nii.ac.jp/seminars/038/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/InamuraAV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/KawamuraMN13,
author = {Akitoshi Kawamura and
Jean{-}Yves Marion and
David Nowak},
title = {Implicit Computational Complexity and Applications: Resource Control,
Security, Real-Number Computation {(NII} Shonan Meeting 2013-13)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2013},
year = {2013},
url = {https://shonan.nii.ac.jp/seminars/033/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/KawamuraMN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/LeavensSY13,
author = {Gary T. Leavens and
Peter H. Schmitt and
Jooyong Yi},
title = {The Java Modeling Language {(JML)} {(NII} Shonan Meeting 2013-3)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2013},
year = {2013},
url = {https://shonan.nii.ac.jp/seminars/016/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/LeavensSY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/MondadaBN13,
author = {Lorenza Mondada and
Mayumi Bono and
Aug Nishizaka},
title = {Multi-activity in Interaction: {A} Multimodal Perspective on the Complaexity
of Human Action {(NII} Shonan Meeting 2013-1)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2013},
year = {2013},
url = {https://shonan.nii.ac.jp/seminars/030/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/MondadaBN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/NakazawaRSS13,
author = {Atsushi Nakazawa and
James M. Rehg and
Yoichi Sato and
Akihiro Sugimoto},
title = {First International Symposium on Computer Behavioral Science {(NII}
Shonan Meeting 2013-9)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2013},
year = {2013},
url = {https://shonan.nii.ac.jp/seminars/039/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/NakazawaRSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/SadakaneS13,
author = {Kunihiko Sadakane and
Wing{-}Kin Sung},
title = {Compact Data structures for Big Data {(NII} Shonan Meeting 2013-10)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2013},
year = {2013},
url = {https://shonan.nii.ac.jp/seminars/029/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/SadakaneS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/YonedaCXK13,
author = {Tomohiro Yoneda and
Jos{\'{e}} Flich Cardo and
Jiang Xu and
Michihiro Koibuchi},
title = {Many-cores and On-chip Interconnects {(NII} Shonan Meeting 2013-8)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2013},
year = {2013},
url = {https://shonan.nii.ac.jp/seminars/031/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/YonedaCXK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/AthanasHS12,
author = {Peter M. Athanas and
Brad L. Hutchings and
Kentaro Sano},
title = {The {NII} Shonan Configurable Computing Workshop {(NII} Shonan Meeting
2012-11)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2012},
year = {2012},
url = {https://shonan.nii.ac.jp/seminars/025/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/AthanasHS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/BandaraHY12,
author = {Arosha K. Bandara and
Shinichi Honiden and
Yijun Yu},
title = {Engineering Autonomic Systems (EASy) {(NII} Shonan Meeting 2012-3)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2012},
year = {2012},
url = {https://shonan.nii.ac.jp/seminars/004/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/BandaraHY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/BelkinDKS12,
author = {Nicholas J. Belkin and
Susan T. Dumais and
Noriko Kando and
Mark Sanderson},
title = {Whole-Session Evaluation of Interactive Information Retrieval Systems
{(NII} Shonan Meeting 2012-7)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2012},
year = {2012},
url = {https://shonan.nii.ac.jp/seminars/020/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/BelkinDKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/BoujemaaHS12,
author = {Nozha Boujemaa and
Alexander G. Hauptmann and
Shin'ichi Satoh},
title = {The Future of Multimedia Analysis and Mining {(NII} Shonan Meeting
2012-9)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2012},
year = {2012},
url = {https://shonan.nii.ac.jp/seminars/002/},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/shonan-reports/BoujemaaHS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/CodognetUH12,
author = {Philippe Codognet and
Kazunori Ueda and
Hiroshi Hosobe},
title = {Parallel Methods for Constraint Solving and Combinatorial Optimization
{(NII} Shonan Meeting 2012-5)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2012},
year = {2012},
url = {https://shonan.nii.ac.jp/seminars/014/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/CodognetUH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/CormodeMY12,
author = {Graham Cormode and
S. Muthukrishnan and
Ke Yi},
title = {Large-Scale Distributed Computation {(NII} Shonan Meeting 2012-1)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2012},
year = {2012},
url = {https://shonan.nii.ac.jp/seminars/011/},
timestamp = {Fri, 07 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/shonan-reports/CormodeMY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/DongMM12,
author = {Jin Song Dong and
Annabelle McIver and
Carroll Morgan},
title = {Quantitative methods in security and safety critical applications
{(NII} Shonan Meeting 2012-10)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2012},
year = {2012},
url = {https://shonan.nii.ac.jp/seminars/017/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/DongMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/HasuoKU12,
author = {Ichiro Hasuo and
Takuro Kutsuna and
Toshimitsu Ushio},
title = {Hybrid Systems: Theory and Practice, Seriously {(NII} Shonan Meeting
2012-2)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2012},
year = {2012},
url = {https://shonan.nii.ac.jp/seminars/023/},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/shonan-reports/HasuoKU12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/KiselyovSK12,
author = {Oleg Kiselyov and
Chung{-}chieh Shan and
Yukiyoshi Kameyama},
title = {Bridging the theory of staged programming languages and the practice
of high-performance computing {(NII} Shonan Meeting 2012-4)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2012},
year = {2012},
url = {https://shonan.nii.ac.jp/seminars/019/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/KiselyovSK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/MillerTH12,
author = {Barton P. Miller and
Yoshio Tanaka and
Elisa Heymann},
title = {Grid and Cloud Security: {A} Confluence {(NII} Shonan Meeting 2012-8)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2012},
year = {2012},
url = {https://shonan.nii.ac.jp/seminars/015/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/MillerTH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/TaoCUO312,
author = {Yu{-}Hui Tao and
Nagul Cooharojananone and
Shiro Uesugi and
Hitoshi Okada},
title = {A Meeting of IT-enabled Services (ITeS) {(NII} Shonan Meeting 2012-6)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2012},
year = {2012},
url = {https://shonan.nii.ac.jp/seminars/021/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/TaoCUO312.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/WolfsonSWGT12,
author = {Ouri Wolfson and
Monika Sester and
Stephan Winter and
Glenn Geers and
Masaaki Tanizaki},
title = {Social Issues in Computational Transportation Science {(NII} Shonan
Meeting 2012-12)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2012},
year = {2012},
url = {https://shonan.nii.ac.jp/seminars/022/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/WolfsonSWGT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/DybjerKM11,
author = {Peter Dybjer and
Yoshiki Kinoshita and
Shin{-}Cheng Mu},
title = {Agda Implementors Meeting {(NII} Shonan Meeting 2011-2)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2011},
year = {2011},
url = {https://shonan.nii.ac.jp/seminars/008/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/DybjerKM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/HorimotoIR11,
author = {Katsuhisa Horimoto and
Katsumi Inoue and
Oliver Ray},
title = {International Symposium on Symbolic Systems Biology {(NII} Shonan
Meeting 2011-7)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2011},
year = {2011},
url = {https://shonan.nii.ac.jp/seminars/010/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/HorimotoIR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/IwataK11,
author = {Satoru Iwata and
Ken{-}ichi Kawarabayashi},
title = {Graph Algorithm and Combinatorial Optimization {(NII} Shonan Meeting
2011-1)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2011},
year = {2011},
url = {https://shonan.nii.ac.jp/seminars/001/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/IwataK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/KobayashiOH11,
author = {Naoki Kobayashi and
Luke Ong and
David Van Horn},
title = {Automated Techniques for Higher-Order Program Verification {(NII}
Shonan Meeting 2011-5)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2011},
year = {2011},
url = {https://shonan.nii.ac.jp/seminars/005/},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/KobayashiOH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/KurohashiYIR11,
author = {Sadao Kurohashi and
Akihiro Yamamoto and
Kentaro Inui and
Sebastian Riedel},
title = {Knowledge-leveraged Computational Thinking through Natural Language
Processing and Statistical Logic {(NII} Shonan Meeting 2011-4)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2011},
year = {2011},
url = {https://shonan.nii.ac.jp/seminars/012/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/KurohashiYIR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/MilburnSTN11,
author = {Gerard J. Milburn and
J{\"{o}}rg Schmiedmayer and
Yasuhiro Tokura and
Kae Nemoto},
title = {Hybrid Quantum Devices {(NII} Shonan Meeting 2011-6)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2011},
year = {2011},
url = {https://shonan.nii.ac.jp/seminars/006/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/MilburnSTN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/MuMW11,
author = {Shin{-}Cheng Mu and
Conor McBride and
Stephanie Weirich},
title = {Dependently Typed Programming {(NII} Shonan Meeting 2011-3)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2011},
year = {2011},
url = {https://shonan.nii.ac.jp/seminars/007/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/MuMW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-31 00:05 CEST from data curated 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
