@article{journals/tcs/Seki12, added-at = {2012-02-07T00:00:00.000+0100}, author = {Seki, Shinnosuke}, biburl = {http://www.bibsonomy.org/bibtex/2a661966dda8e557f2b7ae712151c038e/dblp}, ee = {http://dx.doi.org/10.1016/j.tcs.2011.10.017}, interhash = {c1aae6089bea9edf1f17e3c60964e0e9}, intrahash = {a661966dda8e557f2b7ae712151c038e}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, pages = {116-120}, title = {Absoluteness of subword inequality is undecidable.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs418.html#Seki12}, volume = 418, year = 2012 } @inproceedings{conf/itc/KimishimaMSTNSHON10, added-at = {2012-02-06T00:00:00.000+0100}, author = {Kimishima, M. and Mizuno, S. and Seki, T. and Takeuti, H. and Nagami, H. and Shirasu, H. and Haraguti, Y. and Okayasu, J. and Nakanishi, M.}, biburl = {http://www.bibsonomy.org/bibtex/27eb1f3a65a874b481806c8b36b669882/dblp}, booktitle = {ITC}, crossref = {conf/itc/2010}, editor = {Press, Ron and Volkerink, Erik H.}, ee = {http://dx.doi.org/10.1109/TEST.2010.5699232}, interhash = {65a2ac0c9bc7503f947e13c18622a9f5}, intrahash = {7eb1f3a65a874b481806c8b36b669882}, isbn = {978-1-4244-7206-2}, keywords = {dblp}, pages = {315-324}, publisher = {IEEE}, title = {A high density small size RF test module for high throughput multiple resource testing.}, url = {http://dblp.uni-trier.de/db/conf/itc/itc2010.html#KimishimaMSTNSHON10}, year = 2010 } @inproceedings{conf/ngmast/KodamaKS10, added-at = {2012-02-02T00:00:00.000+0100}, author = {Kodama, Toshio and Kunii, Tosiyasu L. and Seki, Yoichi}, biburl = {http://www.bibsonomy.org/bibtex/24ebfe0817ce5d548052390a4bd69d496/dblp}, booktitle = {NGMAST}, crossref = {conf/ngmast/2010}, ee = {http://doi.ieeecomputersociety.org/10.1109/NGMAST.2010.14}, interhash = {429e21ad574665fbca75f4b438de2f17}, intrahash = {4ebfe0817ce5d548052390a4bd69d496}, keywords = {dblp}, pages = {7-12}, publisher = {IEEE}, title = {A Continuous Quantity Factor in the Condition Formula Search.}, url = {http://dblp.uni-trier.de/db/conf/ngmast/ngmast2010.html#KodamaKS10}, year = 2010 } @inproceedings{conf/pimrc/TakyuSYFUWK11, added-at = {2012-02-02T00:00:00.000+0100}, author = {Takyu, Osamu and Seki, Yohsuke and Yamasaki, Takeo and Fujii, Takeo and Umeda, Yohtaro and Wang, Xiaoqiu and Konishi, Satoshi}, biburl = {http://www.bibsonomy.org/bibtex/2ea77b195751c75a617af2d3646069e5f/dblp}, booktitle = {PIMRC}, crossref = {conf/pimrc/2011}, editor = {Pahlavan, Kaveh and Valaee, Shahrokh and Sousa, Elvino Silveira}, ee = {http://dx.doi.org/10.1109/PIMRC.2011.6139943}, interhash = {ed2fcebc32e2702cac79a54efa61ca03}, intrahash = {ea77b195751c75a617af2d3646069e5f}, isbn = {978-1-4577-1346-0}, keywords = {dblp}, pages = {2364-2368}, publisher = {IEEE}, title = {Fundamental study on adaptive ACK link control for downloading based on TCP connection in mobile wireless communication.}, url = {http://dblp.uni-trier.de/db/conf/pimrc/pimrc2011.html#TakyuSYFUWK11}, year = 2011 } @inproceedings{conf/ccs/MejiaKS11, added-at = {2012-01-21T00:00:00.000+0100}, author = {Mejia, Ramon Francisco Pacquiao and Kaji, Yuichi and Seki, Hiroyuki}, biburl = {http://www.bibsonomy.org/bibtex/20a9ba8b5321fc1fb54c51f6d8911d276/dblp}, booktitle = {ACM Conference on Computer and Communications Security}, crossref = {conf/ccs/2011}, editor = {Chen, Yan and Danezis, George and Shmatikov, Vitaly}, ee = {http://doi.acm.org/10.1145/2093476.2093501}, interhash = {fb835d40a40ba2e7452ee1d464890c75}, intrahash = {0a9ba8b5321fc1fb54c51f6d8911d276}, isbn = {978-1-4503-0948-6}, keywords = {dblp}, pages = {817-820}, publisher = {ACM}, title = {Poster: trans-organizational role-based access control.}, url = {http://dblp.uni-trier.de/db/conf/ccs/ccs2011.html#MejiaKS11}, year = 2011 } @inproceedings{conf/grc/SekiM11, added-at = {2012-01-20T00:00:00.000+0100}, author = {Seki, Hirosato and Mizumoto, Masaharu}, biburl = {http://www.bibsonomy.org/bibtex/2385c9424a07a84955a9f2ac2de1e2291/dblp}, booktitle = {GrC}, crossref = {conf/grc/2011}, editor = {Hong, Tzung-Pei and Kudo, Yasuo and Kudo, Mineichi and Lin, Tsau Young and Chien, Been-Chian and Wang, Shyue-Liang and Inuiguchi, Masahiro and Liu, Guilong}, ee = {http://dx.doi.org/10.1109/GRC.2011.6122660}, interhash = {fa0bc8b58a2f24b768de8c4ffc3265cc}, intrahash = {385c9424a07a84955a9f2ac2de1e2291}, isbn = {978-1-4577-0372-0}, keywords = {dblp}, pages = {576-581}, publisher = {IEEE}, title = {Type-2 fuzzy functional inference method: Design and properties.}, url = {http://dblp.uni-trier.de/db/conf/grc/grc2011.html#SekiM11}, year = 2011 } @inproceedings{conf/sofsem/KariKS12, added-at = {2012-01-17T00:00:00.000+0100}, author = {Kari, Lila and Kopecki, Steffen and Seki, Shinnosuke}, biburl = {http://www.bibsonomy.org/bibtex/2bae5db53bcf4cd2e20e275590f239386/dblp}, booktitle = {SOFSEM}, crossref = {conf/sofsem/2012}, editor = {Bieliková, Mária and Friedrich, Gerhard and Gottlob, Georg and Katzenbeisser, Stefan and Turán, György}, ee = {http://dx.doi.org/10.1007/978-3-642-27660-6_28}, interhash = {61130fe3e22b54123e165c67dee87308}, intrahash = {bae5db53bcf4cd2e20e275590f239386}, isbn = {978-3-642-27659-0}, keywords = {dblp}, pages = {337-348}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Iterated Hairpin Completions of Non-crossing Words.}, url = {http://dblp.uni-trier.de/db/conf/sofsem/sofsem2012.html#KariKS12}, volume = 7147, year = 2012 } @article{journals/ieicet/HiragaSNU12, added-at = {2012-01-13T00:00:00.000+0100}, author = {Hiraga, Ken and Seki, Tomohiro and Nishimori, Kentaro and Uehara, Kazuhiro}, biburl = {http://www.bibsonomy.org/bibtex/2a6d6555dc1d645ab75317ad010165677/dblp}, ee = {http://search.ieice.org/bin/summary.php?id=e95-b_1_87}, interhash = {96d340913d25d0488ff9cca46f30e23b}, intrahash = {a6d6555dc1d645ab75317ad010165677}, journal = {IEICE Transactions}, keywords = {dblp}, number = 1, pages = {87-96}, title = {Effectiveness of Short-Range MIMO Using Dual-Polarized Antenna.}, url = {http://dblp.uni-trier.de/db/journals/ieicet/ieicet95b.html#HiragaSNU12}, volume = {95-B}, year = 2012 } @inproceedings{conf/icip/MakiSWC11, added-at = {2012-01-05T00:00:00.000+0100}, author = {Maki, Atsuto and Seki, Akihito and Watanabe, Tomoki and Cipolla, Roberto}, biburl = {http://www.bibsonomy.org/bibtex/2f61fbc45236444c07b79e1b52cc1947e/dblp}, booktitle = {ICIP}, crossref = {conf/icip/2011}, editor = {Macq, Benoît and Schelkens, Peter}, ee = {http://dx.doi.org/10.1109/ICIP.2011.6115837}, interhash = {427f9470ddd9fa07621c7477d5583728}, intrahash = {f61fbc45236444c07b79e1b52cc1947e}, isbn = {978-1-4577-1304-0}, keywords = {dblp}, pages = {1889-1892}, publisher = {IEEE}, title = {Co-occurrence flow for pedestrian detection.}, url = {http://dblp.uni-trier.de/db/conf/icip/icip2011.html#MakiSWC11}, year = 2011 } @article{journals/ijfcs/KariS11, added-at = {2011-12-23T00:00:00.000+0100}, author = {Kari, Lila and Seki, Shinnosuke}, biburl = {http://www.bibsonomy.org/bibtex/235b9844404650f09f51dd702cf922b12/dblp}, ee = {http://dx.doi.org/10.1142/S0129054111008945}, interhash = {b341c8fa6bf1e1a4eab815a0408d097a}, intrahash = {35b9844404650f09f51dd702cf922b12}, journal = {Int. J. Found. Comput. Sci.}, keywords = {dblp}, number = 7, pages = {1655-1668}, title = {Schema for Parallel Insertion and Deletion: Revisited.}, url = {http://dblp.uni-trier.de/db/journals/ijfcs/ijfcs22.html#KariS11}, volume = 22, year = 2011 } @inproceedings{conf/sdm/AndoSSTH11, added-at = {2011-12-23T00:00:00.000+0100}, author = {Ando, Shin and Suzuki, Einoshin and Seki, Yoichi and Thanongphongphan, Theerasak and Hoshino, Daisuke}, biburl = {http://www.bibsonomy.org/bibtex/232cd9d4e5e085048c9521fdd707011b3/dblp}, booktitle = {SDM}, crossref = {conf/sdm/2011}, ee = {http://siam.omnibooksonline.com/2011datamining/data/papers/055.pdf#page=1}, interhash = {000fafe4d91ea08569776f8bcdc219e6}, intrahash = {32cd9d4e5e085048c9521fdd707011b3}, isbn = {978-0-898719-92-5}, keywords = {dblp}, pages = {1-12}, publisher = {SIAM / Omnipress}, title = {ACE: Anomaly Clustering Ensemble for Multi-perspective Anomaly Detection in Robot Behaviors.}, url = {http://dblp.uni-trier.de/db/conf/sdm/sdm2011.html#AndoSSTH11}, year = 2011 } @inproceedings{conf/acl/SekiNKAK93, added-at = {2011-12-23T00:00:00.000+0100}, author = {Seki, Hiroyuki and Nakanishi, Ryuichi and Kaji, Yuichi and Ando, Sachiko and Kasami, Tadao}, biburl = {http://www.bibsonomy.org/bibtex/230b3af273f24ba04e69ce19e4568934f/dblp}, booktitle = {ACL}, crossref = {conf/acl/1993}, editor = {Schubert, Lenhart K.}, ee = {http://aclweb.org/anthology-new/P/P93/}, interhash = {4a5745e42cf6df9efd2a0f2d523aab42}, intrahash = {30b3af273f24ba04e69ce19e4568934f}, keywords = {dblp}, pages = {130-139}, publisher = {ACL}, title = {Parallel Multiple Context-Free Grammars, Finite-State Translation Systems, and Polynomial-Time Recognizable Subclasses of Lexical-Functional Grammars.}, url = {http://dblp.uni-trier.de/db/conf/acl/acl93.html#SekiNKAK93}, year = 1993 } @inproceedings{conf/ccs/NittaTS01, added-at = {2011-12-23T00:00:00.000+0100}, author = {Nitta, Naoya and Takata, Yoshiaki and Seki, Hiroyuki}, biburl = {http://www.bibsonomy.org/bibtex/25de6967fcfc839517859b5a2dbfe73e6/dblp}, booktitle = {ACM Conference on Computer and Communications Security}, crossref = {conf/ccs/2001}, editor = {Reiter, Michael K. and Samarati, Pierangela}, ee = {http://doi.acm.org/10.1145/501983.501994}, interhash = {5de5f7be288de14357703b7f750d3a8b}, intrahash = {5de6967fcfc839517859b5a2dbfe73e6}, isbn = {1-58113-385-5}, keywords = {dblp}, pages = {68-77}, publisher = {ACM}, title = {An efficient security verification method for programs with stack inspection.}, url = {http://dblp.uni-trier.de/db/conf/ccs/ccs2001.html#NittaTS01}, year = 2001 } @inproceedings{conf/icc/Aissa-El-BeyKST11, added-at = {2011-12-21T00:00:00.000+0100}, author = {Aïssa-El-Bey, Abdeldjalil and Kimura, Dai and Seki, Hiroyuki and Taniguchi, Tomohiko}, biburl = {http://www.bibsonomy.org/bibtex/275890119b5ee1939eee45a2350691194/dblp}, booktitle = {ICC}, crossref = {conf/icc/2011}, ee = {http://dx.doi.org/10.1109/icc.2011.5962968}, interhash = {974178f92f494f10ab4f58cd7204e53d}, intrahash = {75890119b5ee1939eee45a2350691194}, isbn = {978-1-61284-232-5}, keywords = {dblp}, pages = {1-5}, publisher = {IEEE}, title = {Blind and Semi-Blind Sparse Channel Identification in MIMO OFDM Systems.}, url = {http://dblp.uni-trier.de/db/conf/icc/icc2011.html#Aissa-El-BeyKST11}, year = 2011 } @inproceedings{conf/iros/HoshinoSO11, added-at = {2011-12-15T00:00:00.000+0100}, author = {Hoshino, Satoshi and Seki, Hiroya and Ota, Jun}, biburl = {http://www.bibsonomy.org/bibtex/2add0c0ea004900f18d537c254809d3c7/dblp}, booktitle = {IROS}, crossref = {conf/iros/2011}, ee = {http://dx.doi.org/10.1109/IROS.2011.6094528}, interhash = {369a03521a1e23052d26e199b7ad3455}, intrahash = {add0c0ea004900f18d537c254809d3c7}, isbn = {978-1-61284-454-1}, keywords = {dblp}, pages = {2314-2320}, publisher = {IEEE}, title = {Optimal maintenance strategy in fault-tolerant multi-robot systems.}, url = {http://dblp.uni-trier.de/db/conf/iros/iros2011.html#HoshinoSO11}, year = 2011 } @inproceedings{conf/cscl/YamaguchiISKDTSTY07, added-at = {2011-12-13T00:00:00.000+0100}, author = {Yamaguchi, Etsuji and Inagaki, Shigenori and Sugimoto, Masanori and Kusunoki, Fusako and Deguchi, Akiko and Takeuchi, Yuichiro and Seki, Takao and Tachibana, Sanae and Yamamoto, Tomokazu}, biburl = {http://www.bibsonomy.org/bibtex/22c1d59d8db50635dce2556da67d6b033/dblp}, booktitle = {CSCL}, crossref = {conf/cscl/2007}, editor = {Chinn, Clark A. and Erkens, Gijsbert and Puntambekar, Sadhana}, ee = {http://dl.acm.org/citation.cfm?id=1599745}, interhash = {9f7aa258e196b817c064a889081bdd39}, intrahash = {2c1d59d8db50635dce2556da67d6b033}, isbn = {978-0-6151-5436-7}, keywords = {dblp}, pages = {795-797}, publisher = {International Society of the Learning Sciences / ACM DL}, title = {Fostering students' participation in face-to-face interactions and deepening their understanding by integrating personal and shared spaces.}, url = {http://dblp.uni-trier.de/db/conf/cscl/cscl2007.html#YamaguchiISKDTSTY07}, year = 2007 } @article{journals/eccc/ChenDSS10, added-at = {2011-12-07T00:00:00.000+0100}, author = {Chen, Ho-Lin and Doty, David and Seki, Shinnosuke and Soloveichik, David}, biburl = {http://www.bibsonomy.org/bibtex/291c79119cb326442bed1c8d0e25421a2/dblp}, ee = {http://eccc.hpi-web.de/report/2010/195}, interhash = {6154472e5fe5daa771af5adca7cb6d0f}, intrahash = {91c79119cb326442bed1c8d0e25421a2}, journal = {Electronic Colloquium on Computational Complexity (ECCC)}, keywords = {dblp}, pages = 195, title = {Parallelism, Program Size, Time, and Temperature in Self-Assembly.}, url = {http://dblp.uni-trier.de/db/journals/eccc/eccc17.html#ChenDSS10}, volume = 17, year = 2010 } @article{journals/eccc/BryansCDKS10, added-at = {2011-12-07T00:00:00.000+0100}, author = {Bryans, Nathaniel and Chiniforooshan, Ehsan and Doty, David and Kari, Lila and Seki, Shinnosuke}, biburl = {http://www.bibsonomy.org/bibtex/281f4b2df5f619254b46dd09a354983d2/dblp}, ee = {http://eccc.hpi-web.de/report/2010/131}, interhash = {e8e44481367e973be2efc35353a08cbc}, intrahash = {81f4b2df5f619254b46dd09a354983d2}, journal = {Electronic Colloquium on Computational Complexity (ECCC)}, keywords = {dblp}, pages = 131, title = {The Power of Nondeterminism in Self-Assembly.}, url = {http://dblp.uni-trier.de/db/journals/eccc/eccc17.html#BryansCDKS10}, volume = 17, year = 2010 } @article{journals/corr/abs-1003-3275, added-at = {2011-12-05T00:00:00.000+0100}, author = {Chiniforooshan, Ehsan and Doty, David and Kari, Lila and Seki, Shinnosuke}, biburl = {http://www.bibsonomy.org/bibtex/26fa1b75ac0b502a7322cf22011526ade/dblp}, ee = {http://arxiv.org/abs/1003.3275}, interhash = {3a95e4cbccae51d974f74bb2c46a3aea}, intrahash = {6fa1b75ac0b502a7322cf22011526ade}, journal = {CoRR}, keywords = {dblp}, title = {Scalable, Time-Responsive, Digital, Energy-Efficient Molecular Circuits using DNA Strand Displacement}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1003.html#abs-1003-3275}, volume = {abs/1003.3275}, year = 2010 } @article{journals/corr/abs-1002-4084, added-at = {2011-12-05T00:00:00.000+0100}, author = {Kari, Lila and Masson, Benoît and Seki, Shinnosuke}, biburl = {http://www.bibsonomy.org/bibtex/214efea086d82874877b7713265ae0c63/dblp}, ee = {http://arxiv.org/abs/1002.4084}, interhash = {2507af9d2425a5c10b996b0c173c1cc8}, intrahash = {14efea086d82874877b7713265ae0c63}, journal = {CoRR}, keywords = {dblp}, title = {Properties of Pseudo-Primitive Words and their Applications}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1002.html#abs-1002-4084}, volume = {abs/1002.4084}, year = 2010 }