Li, Shuguang; Li, Mingsong; Khan, Muhammad Ijaz Algorithms for two-agent unbounded serial-batch scheduling with makespan and maximum lateness objectives. (English) Zbl 07798676 Netw. Heterog. Media 18, No. 4, 1678-1691 (2023). MSC: 68M20 PDFBibTeX XMLCite \textit{S. Li} et al., Netw. Heterog. Media 18, No. 4, 1678--1691 (2023; Zbl 07798676) Full Text: DOI
Asahiro, Yuichi; Yamashita, Masafumi Compatibility of convergence algorithms for autonomous mobile robots (extended abstract). (English) Zbl 07786519 Rajsbaum, Sergio (ed.) et al., Structural information and communication complexity. 30th international colloquium, SIROCCO 2023, Alcalá de Henares, Spain, June 6–9, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13892, 149-164 (2023). MSC: 68Mxx 68Q11 68R10 PDFBibTeX XMLCite \textit{Y. Asahiro} and \textit{M. Yamashita}, Lect. Notes Comput. Sci. 13892, 149--164 (2023; Zbl 07786519) Full Text: DOI
Janßen, Anja; Neblung, Sebastian; Stoev, Stilian Tail-dependence, exceedance sets, and metric embeddings. (English) Zbl 07784963 Extremes 26, No. 4, 747-785 (2023). MSC: 60G70 51K05 60E05 68R12 68Q25 PDFBibTeX XMLCite \textit{A. Janßen} et al., Extremes 26, No. 4, 747--785 (2023; Zbl 07784963) Full Text: DOI arXiv OA License
Monti, Angelo; Sinaimeri, Blerina On star-multi-interval pairwise compatibility graphs. (English) Zbl 07770298 Lin, Chun-Cheng (ed.) et al., WALCOM: algorithms and computation. 17th international conference and workshops, WALCOM 2023, Hsinchu, Taiwan, March 22–24, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13973, 267-278 (2023). MSC: 68Wxx PDFBibTeX XMLCite \textit{A. Monti} and \textit{B. Sinaimeri}, Lect. Notes Comput. Sci. 13973, 267--278 (2023; Zbl 07770298) Full Text: DOI arXiv
Neres, Fernando; Bedregal, Benjamín; Santiago, Regivan On a new contrapositivisation technique for fuzzy implications constructed from quasi-overlap and quasi-grouping functions. (English) Zbl 07766525 Int. J. Approx. Reasoning 162, Article ID 109012, 33 p. (2023). MSC: 68T37 PDFBibTeX XMLCite \textit{F. Neres} et al., Int. J. Approx. Reasoning 162, Article ID 109012, 33 p. (2023; Zbl 07766525) Full Text: DOI
Jeyasothy, Adulam; Laugel, Thibault; Lesot, Marie-Jeanne; Marsala, Christophe; Detyniecki, Marcin A general framework for personalising post hoc explanations through user knowledge integration. (English) Zbl 07734004 Int. J. Approx. Reasoning 160, Article ID 108944, 16 p. (2023). MSC: 68T37 PDFBibTeX XMLCite \textit{A. Jeyasothy} et al., Int. J. Approx. Reasoning 160, Article ID 108944, 16 p. (2023; Zbl 07734004) Full Text: DOI
Aichholzer, Oswin; Knorr, Kristin; Mulzer, Wolfgang; El Maalouly, Nicolas; Obenaus, Johannes; Paul, Rosna; Reddy, Meghana M.; Vogtenhuber, Birgit; Weinberger, Alexandra Compatible spanning trees in simple drawings of \(K_n\). (English) Zbl 07727749 Angelini, Patrizio (ed.) et al., Graph drawing and network visualization. 30th international symposium, GD 2022, Tokyo, Japan, September 13–16, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13764, 16-24 (2023). MSC: 68R10 68U05 PDFBibTeX XMLCite \textit{O. Aichholzer} et al., Lect. Notes Comput. Sci. 13764, 16--24 (2023; Zbl 07727749) Full Text: DOI arXiv
Ning, Luyuan; Qiao, Lijie; Cai, Zhenwei; Liu, Yingzheng; Wang, Weizhe Elasticity-mechanics-informed generative adversarial networks for predicting the thermal strain of thermal barrier coatings penetrated by CaO-MgO-\(\mathrm{Al_2O}_3\)-\(\mathrm{SiO}_2\). (English) Zbl 1516.74034 Eur. J. Mech., A, Solids 100, Article ID 105027, 13 p. (2023). MSC: 74F05 74B05 74S99 68T05 PDFBibTeX XMLCite \textit{L. Ning} et al., Eur. J. Mech., A, Solids 100, Article ID 105027, 13 p. (2023; Zbl 1516.74034) Full Text: DOI
Rajati, Mohammad Reza; Mendel, Jerry M. Uncertain knowledge representation and reasoning with linguistic belief structures. (English) Zbl 07800133 Inf. Sci. 585, 471-497 (2022). MSC: 68T37 68T30 PDFBibTeX XMLCite \textit{M. R. Rajati} and \textit{J. M. Mendel}, Inf. Sci. 585, 471--497 (2022; Zbl 07800133) Full Text: DOI
Aichholzer, Oswin; Obmann, Julia; Paták, Pavel; Perz, Daniel; Tkadlec, Josef; Vogtenhuber, Birgit Disjoint compatibility via graph classes. (English) Zbl 07682398 Bekos, Michael A. (ed.) et al., Graph-theoretic concepts in computer science. 48th international workshop, WG 2022, Tübingen, Germany, June 22–24, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13453, 16-28 (2022). MSC: 68R10 PDFBibTeX XMLCite \textit{O. Aichholzer} et al., Lect. Notes Comput. Sci. 13453, 16--28 (2022; Zbl 07682398) Full Text: DOI
Geleßus, David; Leuschel, Michael Making ProB compatible with SWI-prolog. (English) Zbl 07595338 Theory Pract. Log. Program. 22, No. 5, 755-769 (2022). MSC: 68N17 PDFBibTeX XMLCite \textit{D. Geleßus} and \textit{M. Leuschel}, Theory Pract. Log. Program. 22, No. 5, 755--769 (2022; Zbl 07595338) Full Text: DOI arXiv
Hakim, Sheikh Azizul; Papan, Bishal Basak; Rahman, Md. Saidur New results on pairwise compatibility graphs. (English) Zbl 07581522 Inf. Process. Lett. 178, Article ID 106284, 7 p. (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{S. A. Hakim} et al., Inf. Process. Lett. 178, Article ID 106284, 7 p. (2022; Zbl 07581522) Full Text: DOI arXiv
Kobayashi, Yusuke; Okamoto, Yoshio; Otachi, Yota; Uno, Yushi Linear-time recognition of double-threshold graphs. (English) Zbl 07495638 Algorithmica 84, No. 4, 1163-1181 (2022). MSC: 68Wxx 05Cxx PDFBibTeX XMLCite \textit{Y. Kobayashi} et al., Algorithmica 84, No. 4, 1163--1181 (2022; Zbl 07495638) Full Text: DOI
Casanova, Arianna; Kohlas, Juerg; Zaffalon, Marco Information algebras in the theory of imprecise probabilities. (English) Zbl 07478957 Int. J. Approx. Reasoning 142, 383-416 (2022). MSC: 68T37 PDFBibTeX XMLCite \textit{A. Casanova} et al., Int. J. Approx. Reasoning 142, 383--416 (2022; Zbl 07478957) Full Text: DOI arXiv
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; Lanese, Ivan; Tuosto, Emilio Composition and decomposition of multiparty sessions. (English) Zbl 1462.68120 J. Log. Algebr. Methods Program. 119, Article ID 100620, 35 p. (2021). Reviewer: T. C. Mohan (Chennai) MSC: 68Q85 68M14 PDFBibTeX XMLCite \textit{F. Barbanera} et al., J. Log. Algebr. Methods Program. 119, Article ID 100620, 35 p. (2021; Zbl 1462.68120) Full Text: DOI Link
Echenique, Federico; Prasad, Siddharth Incentive compatible active learning. (English) Zbl 07650415 Vidick, Thomas (ed.), 11th innovations in theoretical computer science conference, ITCS 2020, Seattle, Washington, USA, January 12–14, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 151, Article 67, 20 p. (2020). MSC: 68Qxx PDFBibTeX XMLCite \textit{F. Echenique} and \textit{S. Prasad}, LIPIcs -- Leibniz Int. Proc. Inform. 151, Article 67, 20 p. (2020; Zbl 07650415) Full Text: DOI arXiv
Kobayashi, Yusuke; Okamoto, Yoshio; Otachi, Yota; Uno, Yushi Linear-time recognition of double-threshold graphs. (English) Zbl 07636213 Adler, Isolde (ed.) et al., Graph-theoretic concepts in computer science. 46th international workshop, WG 2020, Leeds, UK, June 24–26, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12301, 286-297 (2020). MSC: 68R10 PDFBibTeX XMLCite \textit{Y. Kobayashi} et al., Lect. Notes Comput. Sci. 12301, 286--297 (2020; Zbl 07636213) Full Text: DOI arXiv
Horne, Ross Session subtyping and multiparty compatibility using circular sequents. (English) Zbl 07559468 Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 12, 22 p. (2020). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Horne}, LIPIcs -- Leibniz Int. Proc. Inform. 171, Article 12, 22 p. (2020; Zbl 07559468) Full Text: DOI
Azam, Naveed Ahmed; Shurbevski, Aleksandar; Nagamochi, Hiroshi On the enumeration of minimal non-pairwise compatibility graphs. (English) Zbl 07336119 Kim, Donghyun (ed.) et al., Computing and combinatorics. 26th international conference, COCOON 2020, Atlanta, GA, USA, August 29–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12273, 372-383 (2020). MSC: 68Rxx PDFBibTeX XMLCite \textit{N. A. Azam} et al., Lect. Notes Comput. Sci. 12273, 372--383 (2020; Zbl 07336119) Full Text: DOI
He, Yingying; Zhang, Yu; Cheng, Linhai; Lv, Yuejin Interval rough number covering rough set model. (Chinese. English summary) Zbl 1463.03030 Fuzzy Syst. Math. 34, No. 3, 79-88 (2020). MSC: 03E72 68T37 PDFBibTeX XMLCite \textit{Y. He} et al., Fuzzy Syst. Math. 34, No. 3, 79--88 (2020; Zbl 1463.03030)
Sun, Jian; Xu, Dachuan; Han, Deren; Hou, Wenjing; Zhang, Xiaoyan Randomized mechanism design for decentralized network scheduling. (English) Zbl 1455.90081 Optim. Methods Softw. 35, No. 4, 722-740 (2020). MSC: 90B36 90B10 68M20 PDFBibTeX XMLCite \textit{J. Sun} et al., Optim. Methods Softw. 35, No. 4, 722--740 (2020; Zbl 1455.90081) Full Text: DOI
Ruan, Xiaogang; Zhang, Jingjing; Zhu, Xiaoqing; Zhou, Jing Simultaneous localization and mapping data association based on maximum expectation clustering for Gaussian mixture model. (Chinese. English summary) Zbl 1463.68120 Control Theory Appl. 37, No. 2, 265-274 (2020). MSC: 68T40 62H30 PDFBibTeX XMLCite \textit{X. Ruan} et al., Control Theory Appl. 37, No. 2, 265--274 (2020; Zbl 1463.68120) Full Text: DOI
Xiao, Mingyu; Nagamochi, Hiroshi Characterizing star-PCGs. (English) Zbl 1479.05340 Algorithmica 82, No. 10, 3066-3090 (2020). MSC: 05C85 68R10 05C12 05C22 68Q17 PDFBibTeX XMLCite \textit{M. Xiao} and \textit{H. Nagamochi}, Algorithmica 82, No. 10, 3066--3090 (2020; Zbl 1479.05340) Full Text: DOI arXiv
Shyamalkumar, Nariankadu D.; Tao, Siyang On tail dependence matrices. The realization problem for parametric families. (English) Zbl 1445.62127 Extremes 23, No. 2, 245-285 (2020). Reviewer: Denis Sidorov (Irkutsk) MSC: 62H20 62H05 60G70 68Q17 62-08 PDFBibTeX XMLCite \textit{N. D. Shyamalkumar} and \textit{S. Tao}, Extremes 23, No. 2, 245--285 (2020; Zbl 1445.62127) Full Text: DOI arXiv
Miranda, Enrique; Zaffalon, Marco Compatibility, desirability, and the running intersection property. (English) Zbl 1433.68455 Artif. Intell. 283, Article ID 103274, 33 p. (2020). MSC: 68T37 62H22 PDFBibTeX XMLCite \textit{E. Miranda} and \textit{M. Zaffalon}, Artif. Intell. 283, Article ID 103274, 33 p. (2020; Zbl 1433.68455) Full Text: DOI
Gégény, Dávid; Piller, Imre; Radeleczki, Sándor; Veres, Laura Approximations induced by tolerance relations. (English) Zbl 1527.68223 Mihálydeák, Tamás (ed.) et al., Rough sets. International joint conference, IJCRS 2019, Debrecen, Hungary, June 17–21, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11499, 265-279 (2019). MSC: 68T37 06B99 68T30 PDFBibTeX XMLCite \textit{D. Gégény} et al., Lect. Notes Comput. Sci. 11499, 265--279 (2019; Zbl 1527.68223) Full Text: DOI
Järvinen, Jouni; Kovács, László; Radeleczki, Sándor Rough sets defined by multiple relations. (English) Zbl 1527.68226 Mihálydeák, Tamás (ed.) et al., Rough sets. International joint conference, IJCRS 2019, Debrecen, Hungary, June 17–21, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11499, 40-51 (2019). MSC: 68T37 PDFBibTeX XMLCite \textit{J. Järvinen} et al., Lect. Notes Comput. Sci. 11499, 40--51 (2019; Zbl 1527.68226) Full Text: DOI
Chevrou, Florent; Hurault, Aurélie; Quéinnec, Philippe A modular framework for verifying versatile distributed systems. (English) Zbl 1435.68191 J. Log. Algebr. Methods Program. 108, 24-46 (2019). MSC: 68Q60 68M14 PDFBibTeX XMLCite \textit{F. Chevrou} et al., J. Log. Algebr. Methods Program. 108, 24--46 (2019; Zbl 1435.68191) Full Text: DOI Link
Fernández-Baca, David; Liu, Lei Tree compatibility, incomplete directed perfect phylogeny, and dynamic graph connectivity: an experimental study. (English) Zbl 1461.68150 Algorithms (Basel) 12, No. 3, Paper No. 53, 24 p. (2019). MSC: 68R10 05C40 68W40 92-08 92D15 PDFBibTeX XMLCite \textit{D. Fernández-Baca} and \textit{L. Liu}, Algorithms (Basel) 12, No. 3, Paper No. 53, 24 p. (2019; Zbl 1461.68150) Full Text: DOI
Goldberg, Noam; Karhi, Shlomo Online packing of arbitrary sized items into designated and multipurpose bins. (English) Zbl 1430.90375 Eur. J. Oper. Res. 279, No. 1, 54-67 (2019). MSC: 90B80 90C27 68W27 90C10 PDFBibTeX XMLCite \textit{N. Goldberg} and \textit{S. Karhi}, Eur. J. Oper. Res. 279, No. 1, 54--67 (2019; Zbl 1430.90375) Full Text: DOI
Xiao, Mingyu; Nagamochi, Hiroshi Characterizing star-PCGs. (English) Zbl 1459.05317 Wang, Lusheng (ed.) et al., Computing and combinatorics. 24th international conference, COCOON 2018, Qing Dao, China, July 2–4, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10976, 504-515 (2018). MSC: 05C85 68Q25 PDFBibTeX XMLCite \textit{M. Xiao} and \textit{H. Nagamochi}, Lect. Notes Comput. Sci. 10976, 504--515 (2018; Zbl 1459.05317) Full Text: DOI arXiv
Hennicker, Rolf; Bidoit, Michel Compatibility properties of synchronously and asynchronously communicating components. (English) Zbl 1464.68030 Log. Methods Comput. Sci. 14, No. 1, Paper No. 1, 31 p. (2018). MSC: 68M14 68Q60 68Q85 PDFBibTeX XMLCite \textit{R. Hennicker} and \textit{M. Bidoit}, Log. Methods Comput. Sci. 14, No. 1, Paper No. 1, 31 p. (2018; Zbl 1464.68030) Full Text: DOI arXiv
Jain, Kamal; Mai, Tung; Vazirani, Vijay V. A performance-based scheme for pricing resources in the cloud. (English) Zbl 1405.91205 Devanur, Nikhil R. (ed.) et al., Web and internet economics. 13th international conference, WINE 2017, Bangalore, India, December 17–20, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-71923-8/pbk; 978-3-319-71924-5/ebook). Lecture Notes in Computer Science 10660, 281-293 (2017). MSC: 91B24 68M11 91-04 PDFBibTeX XMLCite \textit{K. Jain} et al., Lect. Notes Comput. Sci. 10660, 281--293 (2017; Zbl 1405.91205) Full Text: DOI arXiv
Wang, Qian; Tian, Ji; Fu, Ruyan; Yao, Xiangjuan Online algorithms for scheduling on batch processing machines with interval graph compatibilities between jobs. (English) Zbl 1380.90133 Theor. Comput. Sci. 700, 37-44 (2017). MSC: 90B35 68W27 PDFBibTeX XMLCite \textit{Q. Wang} et al., Theor. Comput. Sci. 700, 37--44 (2017; Zbl 1380.90133) Full Text: DOI
Shabir, Muhammad; Shaheen, Tanzeela A new methodology for fuzzification of rough sets based on \(\alpha\)-indiscernibility. (English) Zbl 1393.03038 Fuzzy Sets Syst. 312, 1-16 (2017). MSC: 03E72 68T37 PDFBibTeX XMLCite \textit{M. Shabir} and \textit{T. Shaheen}, Fuzzy Sets Syst. 312, 1--16 (2017; Zbl 1393.03038) Full Text: DOI
Shakiba, Ali; Hooshmandasl, Mohammadreza; Davvaz, Bijan; Shahzadeh Fazeli, Seyed Abolfazl S-approximation spaces: a fuzzy approach. (English) Zbl 1368.68299 Iran. J. Fuzzy Syst. 14, No. 2, 127-154 (2017). MSC: 68T37 PDFBibTeX XMLCite \textit{A. Shakiba} et al., Iran. J. Fuzzy Syst. 14, No. 2, 127--154 (2017; Zbl 1368.68299) Full Text: Link
Ahmed, Shareef; Rahman, Md. Saidur Multi-interval pairwise compatibility graphs (extended abstract). (English) Zbl 1485.68170 Gopal, T. V. (ed.) et al., Theory and applications of models of computation. 14th annual conference, TAMC 2017, Bern, Switzerland, April 20–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10185, 71-84 (2017). MSC: 68R10 05C62 92D15 PDFBibTeX XMLCite \textit{S. Ahmed} and \textit{Md. S. Rahman}, Lect. Notes Comput. Sci. 10185, 71--84 (2017; Zbl 1485.68170) Full Text: DOI
Gao, Yulong; Dai, Li; Xia, Yuanqing; Liu, Yuwei Distributed model predictive control for consensus of nonlinear second-order multi-agent systems. (English) Zbl 1359.93018 Int. J. Robust Nonlinear Control 27, No. 5, 830-842 (2017). MSC: 93A14 93C10 68T42 93C15 PDFBibTeX XMLCite \textit{Y. Gao} et al., Int. J. Robust Nonlinear Control 27, No. 5, 830--842 (2017; Zbl 1359.93018) Full Text: DOI
Zhang, Ren; Preneel, Bart Publish or perish: a backward-compatible defense against selfish mining in bitcoin. (English) Zbl 1383.94051 Handschuh, Helena (ed.), Topics in cryptology – CT-RSA 2017. The cryptographers’ track at the RSA conference 2017, San Francisco, CA, USA, February 14–17, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-52152-7/pbk; 978-3-319-52153-4/ebook). Lecture Notes in Computer Science 10159, 277-292 (2017). MSC: 94A60 68P25 PDFBibTeX XMLCite \textit{R. Zhang} and \textit{B. Preneel}, Lect. Notes Comput. Sci. 10159, 277--292 (2017; Zbl 1383.94051) Full Text: DOI
Durnev, V. G.; Zetkina, O. V.; Zetkina, A. I. On equations and inequalities in words and word lengths. (Russian. English summary) Zbl 1441.68199 Chebyshevskiĭ Sb. 17, No. 2(58), 137-145 (2016). MSC: 68R15 03D35 20M05 PDFBibTeX XMLCite \textit{V. G. Durnev} et al., Chebyshevskiĭ Sb. 17, No. 2(58), 137--145 (2016; Zbl 1441.68199) Full Text: DOI MNR
Jansson, Jesper; Shen, Chuanqi; Sung, Wing-Kin Improved algorithms for constructing consensus trees. (English) Zbl 1423.68573 J. ACM 63, No. 3, Article No. 28, 24 p. (2016). MSC: 68W05 05C05 68W40 92D15 PDFBibTeX XMLCite \textit{J. Jansson} et al., J. ACM 63, No. 3, Article No. 28, 24 p. (2016; Zbl 1423.68573) Full Text: DOI
Shakiba, Ali; Hooshmandasl, Mohammad Reza; Davvaz, Bijan; Fazeli, Seyed Abolfazl Shahzadeh An intuitionistic fuzzy approach to S-approximation spaces. (English) Zbl 1361.68265 J. Intell. Fuzzy Syst. 30, No. 6, 3385-3397 (2016). MSC: 68T37 PDFBibTeX XMLCite \textit{A. Shakiba} et al., J. Intell. Fuzzy Syst. 30, No. 6, 3385--3397 (2016; Zbl 1361.68265) Full Text: DOI
Chevrou, Florent; Hurault, Aurélie; Quéinnec, Philippe On the diversity of asynchronous communication. (English) Zbl 1345.68022 Formal Asp. Comput. 28, No. 5, 847-879 (2016). MSC: 68M14 68Q60 PDFBibTeX XMLCite \textit{F. Chevrou} et al., Formal Asp. Comput. 28, No. 5, 847--879 (2016; Zbl 1345.68022) Full Text: DOI HAL
Calamoneri, Tiziana; Sinaimeri, Blerina Pairwise compatibility graphs: a survey. (English) Zbl 1342.05058 SIAM Rev. 58, No. 3, 445-460 (2016). MSC: 05C22 05C90 68R01 68R10 05-02 PDFBibTeX XMLCite \textit{T. Calamoneri} and \textit{B. Sinaimeri}, SIAM Rev. 58, No. 3, 445--460 (2016; Zbl 1342.05058) Full Text: DOI Link
Shakiba, Ali; Hooshmandasl, Mohammad R. S-approximation spaces: a three-way decision approach. (English) Zbl 1335.68273 Fundam. Inform. 139, No. 3, 307-328 (2015). MSC: 68T37 PDFBibTeX XMLCite \textit{A. Shakiba} and \textit{M. R. Hooshmandasl}, Fundam. Inform. 139, No. 3, 307--328 (2015; Zbl 1335.68273) Full Text: DOI
Ghosh, Satrajit; Kate, Aniket Post-quantum forward-secure onion routing (future anonymity in today’s budget). (English) Zbl 1459.68009 Malkin, Tal (ed.) et al., Applied cryptography and network security. 13th international conference, ACNS 2015, New York, NY, USA, June 2–5, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9092, 263-286 (2015). MSC: 68M10 68M12 94A60 PDFBibTeX XMLCite \textit{S. Ghosh} and \textit{A. Kate}, Lect. Notes Comput. Sci. 9092, 263--286 (2015; Zbl 1459.68009) Full Text: DOI
Kaptsov, O. V. Local algebraic analysis of differential systems. (English. Russian original) Zbl 1329.35025 Theor. Math. Phys. 183, No. 3, 740-755 (2015); translation from Teor. Mat. Fiz. 183, No. 3, 342-358 (2015). MSC: 35A30 35L05 35Q55 13P10 68W30 PDFBibTeX XMLCite \textit{O. V. Kaptsov}, Theor. Math. Phys. 183, No. 3, 740--755 (2015; Zbl 1329.35025); translation from Teor. Mat. Fiz. 183, No. 3, 342--358 (2015) Full Text: DOI
Hartline, Jason D.; Kleinberg, Robert; Malekian, Azarakhsh Bayesian incentive compatibility via matchings. (English) Zbl 1318.91094 Games Econ. Behav. 92, 401-429 (2015). MSC: 91B26 68T42 PDFBibTeX XMLCite \textit{J. D. Hartline} et al., Games Econ. Behav. 92, 401--429 (2015; Zbl 1318.91094) Full Text: DOI
Li, Shisheng; Cheng, T. C. E.; Ng, C. T.; Yuan, Jinjiang Single-machine batch scheduling with job processing time compatibility. (English) Zbl 1310.90045 Theor. Comput. Sci. 583, 57-66 (2015). MSC: 90B35 68Q17 68W25 PDFBibTeX XMLCite \textit{S. Li} et al., Theor. Comput. Sci. 583, 57--66 (2015; Zbl 1310.90045) Full Text: DOI
Henzinger, Monika; Loitzenbauer, Veronika Truthful unit-demand auctions with budgets revisited. (English) Zbl 1319.91087 Theor. Comput. Sci. 573, 1-15 (2015). MSC: 91B26 68M11 68W20 PDFBibTeX XMLCite \textit{M. Henzinger} and \textit{V. Loitzenbauer}, Theor. Comput. Sci. 573, 1--15 (2015; Zbl 1319.91087) Full Text: DOI
Miranda, Miguel; Lynce, Inês; Manquinho, Vasco Inferring phylogenetic trees using pseudo-Boolean optimization. (English) Zbl 1338.68244 AI Commun. 27, No. 3, 229-243 (2014). MSC: 68T20 90C09 92D15 PDFBibTeX XMLCite \textit{M. Miranda} et al., AI Commun. 27, No. 3, 229--243 (2014; Zbl 1338.68244) Full Text: DOI
Wang, Peng; Ding, Baocang A synthesis approach of distributed model predictive control for homogeneous multi-agent system with collision avoidance. (English) Zbl 1317.93022 Int. J. Control 87, No. 1, 52-63 (2014). MSC: 93A14 93B40 68T42 93C55 PDFBibTeX XMLCite \textit{P. Wang} and \textit{B. Ding}, Int. J. Control 87, No. 1, 52--63 (2014; Zbl 1317.93022) Full Text: DOI
Robertz, Daniel Formal algorithmic elimination for PDEs. (English) Zbl 1339.35007 Lecture Notes in Mathematics 2121. Cham: Springer (ISBN 978-3-319-11444-6/pbk; 978-3-319-11445-3/ebook). viii, 283 p. (2014). Reviewer: Werner M. Seiler (Kassel) MSC: 35-02 12H05 13P10 16E05 16S36 35-04 68W30 PDFBibTeX XMLCite \textit{D. Robertz}, Formal algorithmic elimination for PDEs. Cham: Springer (2014; Zbl 1339.35007) Full Text: DOI
Malaschonok, Natasha Symbolic solving of partial differential equation systems and compatibility conditions. (English) Zbl 1350.35001 Serdica J. Comput. 7, No. 3, 199-214 (2013). MSC: 35-04 68W30 PDFBibTeX XMLCite \textit{N. Malaschonok}, Serdica J. Comput. 7, No. 3, 199--214 (2013; Zbl 1350.35001)
Zhou, Ligang; Tao, Zhifu; Chen, Hua You; Liu, Jinpei Some ICOWA operators and their applications to group decision making with interval fuzzy preference relations. (English) Zbl 1323.91030 Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 21, No. 4, 579-601 (2013). MSC: 91B06 68T37 PDFBibTeX XMLCite \textit{L. Zhou} et al., Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 21, No. 4, 579--601 (2013; Zbl 1323.91030) Full Text: DOI
Bateni, MohammadHossein; Haghpanah, Nima; Sivan, Balasubramanian; Zadimoghaddam, Morteza Revenue maximization with nonexcludable goods. (English) Zbl 1406.91136 Chen, Yiling (ed.) et al., Web and internet economics. 9th international conference, WINE 2013, Cambridge, MA, USA, December 11–14, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-45045-7/pbk). Lecture Notes in Computer Science 8289, 40-53 (2013). MSC: 91B18 91B26 91A43 05C90 68Q17 PDFBibTeX XMLCite \textit{M. Bateni} et al., Lect. Notes Comput. Sci. 8289, 40--53 (2013; Zbl 1406.91136) Full Text: DOI
Michaux, Jonathan; Najm, Elie; Fantechi, Alessandro Session types for safe web service orchestration. (English) Zbl 1283.68065 J. Log. Algebr. Program. 82, No. 8, 282-310 (2013). MSC: 68M11 PDFBibTeX XMLCite \textit{J. Michaux} et al., J. Log. Algebr. Program. 82, No. 8, 282--310 (2013; Zbl 1283.68065) Full Text: DOI
Gao, Honghao; Miao, Huaikou Research on the dynamic reconfiguration of Web application using two-phase compatibility verification. (English) Zbl 1312.68020 Int. J. Comput. Math. 90, No. 11, 2265-2278 (2013). MSC: 68M11 68N30 68Q45 PDFBibTeX XMLCite \textit{H. Gao} and \textit{H. Miao}, Int. J. Comput. Math. 90, No. 11, 2265--2278 (2013; Zbl 1312.68020) Full Text: DOI
Linz, Simone; John, Katherine St.; Semple, Charles Optimizing tree and character compatibility across several phylogenetic trees. (English) Zbl 1358.68140 Theor. Comput. Sci. 513, 129-136 (2013). MSC: 68Q25 05C05 68Q17 92D15 PDFBibTeX XMLCite \textit{S. Linz} et al., Theor. Comput. Sci. 513, 129--136 (2013; Zbl 1358.68140) Full Text: DOI
Carmona, Josep; Kleijn, Jetty Compatibility in a multi-component environment. (English) Zbl 1292.68107 Theor. Comput. Sci. 484, 1-15 (2013). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{J. Carmona} and \textit{J. Kleijn}, Theor. Comput. Sci. 484, 1--15 (2013; Zbl 1292.68107) Full Text: DOI
Durán, Francisco; Ouederni, Meriem; Salaün, Gwen A generic framework for \(n\)-protocol compatibility checking. (English) Zbl 1245.68028 Sci. Comput. Program. 77, No. 7-8, 870-886 (2012). MSC: 68M14 68N01 68Q85 PDFBibTeX XMLCite \textit{F. Durán} et al., Sci. Comput. Program. 77, No. 7--8, 870--886 (2012; Zbl 1245.68028) Full Text: DOI
Chen, Shaoshi; Feng, Ruyong; Fu, Guofeng; Li, Ziming On the structure of compatible rational functions. (English) Zbl 1323.68590 Leykin, Anton (ed.), Proceedings of the 36th international symposium on symbolic and algebraic computation, ISSAC 2011, San Jose, CA, USA, June 7–11, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0675-1). 91-98 (2011). MSC: 68W30 33F10 PDFBibTeX XMLCite \textit{S. Chen} et al., in: Proceedings of the 36th international symposium on symbolic and algebraic computation, ISSAC 2011, San Jose, CA, USA, June 7--11, 2011. New York, NY: Association for Computing Machinery (ACM). 91--98 (2011; Zbl 1323.68590) Full Text: DOI arXiv Link
Dobzinski, Shahar An impossibility result for truthful combinatorial auctions with submodular valuations. (English) Zbl 1288.91081 Proceedings of the 43rd annual ACM symposium on theory of computing, STOC ’11. San Jose, CA, USA, June 6–8, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0691-1). 139-148 (2011). MSC: 91B15 91B26 68Q25 68R05 PDFBibTeX XMLCite \textit{S. Dobzinski}, in: Proceedings of the 43rd annual ACM symposium on theory of computing, STOC '11. San Jose, CA, USA, June 6--8, 2011. New York, NY: Association for Computing Machinery (ACM). 139--148 (2011; Zbl 1288.91081) Full Text: DOI arXiv
Dobzinski, Shahar; Fu, Hu; Kleinberg, Robert D. Optimal auctions with correlated bidders are easy. (English) Zbl 1288.91102 Proceedings of the 43rd annual ACM symposium on theory of computing, STOC ’11. San Jose, CA, USA, June 6–8, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0691-1). 129-138 (2011). MSC: 91B26 68Q25 90C05 90C27 90C29 68W25 68R05 PDFBibTeX XMLCite \textit{S. Dobzinski} et al., in: Proceedings of the 43rd annual ACM symposium on theory of computing, STOC '11. San Jose, CA, USA, June 6--8, 2011. New York, NY: Association for Computing Machinery (ACM). 129--138 (2011; Zbl 1288.91102) Full Text: DOI arXiv
Simonin, G.; Darties, B.; Giroudeau, R.; König, J.-C. Isomorphic coupled-task scheduling problem with compatibility constraints on a single processor. (English) Zbl 1280.90072 J. Sched. 14, No. 5, 501-509 (2011). MSC: 90B35 68M20 90C60 68W25 PDFBibTeX XMLCite \textit{G. Simonin} et al., J. Sched. 14, No. 5, 501--509 (2011; Zbl 1280.90072) Full Text: DOI arXiv
Wong, Peter Y. H.; Gibbons, Jeremy Property specifications for workflow modelling. (English) Zbl 1216.68165 Sci. Comput. Program. 76, No. 10, 942-967 (2011). MSC: 68Q60 68N30 PDFBibTeX XMLCite \textit{P. Y. H. Wong} and \textit{J. Gibbons}, Sci. Comput. Program. 76, No. 10, 942--967 (2011; Zbl 1216.68165) Full Text: DOI
Bauer, Sebastian S.; Hennicker, Rolf; Wirsing, Martin Interface theories for concurrency and data. (English) Zbl 1216.68187 Theor. Comput. Sci. 412, No. 28, 3101-3121 (2011). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{S. S. Bauer} et al., Theor. Comput. Sci. 412, No. 28, 3101--3121 (2011; Zbl 1216.68187) Full Text: DOI
Hartline, Jason D.; Lucier, Brendan Bayesian algorithmic mechanism design. (English) Zbl 1293.91085 Proceedings of the 42nd annual ACM symposium on theory of computing, STOC ’10. Cambridge, MA, USA, June 5–8, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-817-9). 301-310 (2010). MSC: 91B26 68T42 68W25 PDFBibTeX XMLCite \textit{J. D. Hartline} and \textit{B. Lucier}, in: Proceedings of the 42nd annual ACM symposium on theory of computing, STOC '10. Cambridge, MA, USA, June 5--8, 2010. New York, NY: Association for Computing Machinery (ACM). 301--310 (2010; Zbl 1293.91085) Full Text: DOI arXiv
Yanhaona, Muhammad Nur; Bayzid, Md. Shamsuzzoha; Rahman, Md. Saidur Discovering pairwise compatibility graphs. (English) Zbl 1216.05138 Discrete Math. Algorithms Appl. 2, No. 4, 607-623 (2010). MSC: 05C78 05C90 68R05 68R10 PDFBibTeX XMLCite \textit{M. N. Yanhaona} et al., Discrete Math. Algorithms Appl. 2, No. 4, 607--623 (2010; Zbl 1216.05138) Full Text: DOI
Gromov, M. L.; Yevtushenko, N. V. Adaptive tests derivation for nondeterministic automata. (Russian. English summary) Zbl 1468.68114 Prikl. Diskretn. Mat. 2009, No. 4(6), 90-101 (2009). MSC: 68Q45 68Q85 PDFBibTeX XMLCite \textit{M. L. Gromov} and \textit{N. V. Yevtushenko}, Prikl. Diskretn. Mat. 2009, No. 4(6), 90--101 (2009; Zbl 1468.68114) Full Text: MNR
Durán, Francisco; Ouederni, Meriem; Salaün, Gwen Checking protocol compatibility using Maude. (English) Zbl 1364.68282 Salaün, Gwen (ed.) et al., Proceedings of the 8th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2009), Rhodes, Greece, July 11, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 255, 65-81 (2009). MSC: 68Q85 03B70 68Q42 68Q60 PDFBibTeX XMLCite \textit{F. Durán} et al., Electron. Notes Theor. Comput. Sci. 255, 65--81 (2009; Zbl 1364.68282) Full Text: Link
Genevès, Pierre; Layaïda, Nabil; Quint, Vincent Identifying query incompatibilities with evolving XML schemas. (English) Zbl 1302.68089 Proceedings of the 14th ACM SIGPLAN international conference on functional programming, ICFP ’09, Edinburgh, UK, August 31 – September 2, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-332-7). ACM SIGPLAN Notices 44, No. 9, 221-230 (2009). MSC: 68N30 68P05 PDFBibTeX XMLCite \textit{P. Genevès} et al., in: Proceedings of the 14th ACM SIGPLAN international conference on functional programming, ICFP '09, Edinburgh, UK, August 31 -- September 2, 2009. New York, NY: Association for Computing Machinery (ACM). 221--230 (2009; Zbl 1302.68089) Full Text: DOI Link
Brudaru, Octav; Popovici, Diana; Copaceanu, Cintia A hybrid genetic algorithm for balancing assembly lines with compatibility constraints. (English) Zbl 1240.68309 Sci. Stud. Res., Ser. Math. Inform. 19, No. 2, 119-132 (2009). MSC: 68T20 90-08 PDFBibTeX XMLCite \textit{O. Brudaru} et al., Sci. Stud. Res., Ser. Math. Inform. 19, No. 2, 119--132 (2009; Zbl 1240.68309)
Li, Jun; Zhang, Qiang Continuity of compatibility function based on \(t\)-operation. (English) Zbl 1191.68687 Cao, Bingyuan (ed.) et al., Fuzzy information and engineering. Vol. 2. Proceedings of the third international conference on fuzzy information and engineering (ICFIE 2009), Chongqing, China, September 26–29, 2009. Berlin: Springer (ISBN 978-3-642-03663-7/pbk; 978-3-642-03664-4/ebook). Advances in Intelligent and Soft Computing 62, 639-645 (2009). MSC: 68T37 03E72 PDFBibTeX XMLCite \textit{J. Li} and \textit{Q. Zhang}, Adv. Intell. Soft Comput. 62, 639--645 (2009; Zbl 1191.68687) Full Text: DOI
Yanhaona, Muhammad Nur; Hossain, K. S. M. Tozammel; Rahman, M. Saidur Pairwise compatibility graphs. (English) Zbl 1180.68204 J. Appl. Math. Comput. 30, No. 1-2, 479-503 (2009). MSC: 68R10 05C75 05C85 92D15 PDFBibTeX XMLCite \textit{M. N. Yanhaona} et al., J. Appl. Math. Comput. 30, No. 1--2, 479--503 (2009; Zbl 1180.68204) Full Text: DOI
Halava, Vesa; Harju, Tero; Kärki, Tomi The theorem of Fine and Wilf for relational periods. (English) Zbl 1166.68035 Theor. Inform. Appl. 43, No. 2, 209-220 (2009). MSC: 68R15 PDFBibTeX XMLCite \textit{V. Halava} et al., Theor. Inform. Appl. 43, No. 2, 209--220 (2009; Zbl 1166.68035) Full Text: DOI EuDML
Ghidini, Chiara; Giunchiglia, Fausto What is local models semantics? (English) Zbl 1178.68560 Bouquet, Paolo (ed.) et al., Perspective on contexts. Stanford, CA: CSLI Publications (ISBN 978-1-57586-538-6/pbk; 978-1-57586-537-9/hbk). CSLI Lecture Notes 180, 19-41 (2008). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{C. Ghidini} and \textit{F. Giunchiglia}, CSLI Lect. Notes 180, 19--41 (2008; Zbl 1178.68560)
Bruen, Trevor C.; Bryant, David A subdivision approach to maximum parsimony. (English) Zbl 1147.68603 Ann. Comb. 12, No. 1, 45-51 (2008). MSC: 68R10 68R05 68Q25 92D15 PDFBibTeX XMLCite \textit{T. C. Bruen} and \textit{D. Bryant}, Ann. Comb. 12, No. 1, 45--51 (2008; Zbl 1147.68603) Full Text: DOI
Bhaduri, Purandar; Ramesh, S. Interface synthesis and protocol conversion. (English) Zbl 1141.68036 Formal Asp. Comput. 20, No. 2, 205-224 (2008). MSC: 68Q45 PDFBibTeX XMLCite \textit{P. Bhaduri} and \textit{S. Ramesh}, Formal Asp. Comput. 20, No. 2, 205--224 (2008; Zbl 1141.68036) Full Text: DOI
Halava, Vesa; Harju, Tero; Kärki, Tomi Defect theorems with compatibility relations. (English) Zbl 1146.20036 Semigroup Forum 76, No. 1, 1-24 (2008). Reviewer: Francine Blanchet-Sadri (Greensboro) MSC: 20M05 20M35 68R15 PDFBibTeX XMLCite \textit{V. Halava} et al., Semigroup Forum 76, No. 1, 1--24 (2008; Zbl 1146.20036) Full Text: DOI
Wu, Dongrui; Mendel, Jerry M. A vector similarity measure for linguistic approximation: Interval type-2 and type-1 fuzzy sets. (English) Zbl 1126.68612 Inf. Sci. 178, No. 2, 381-402 (2008). MSC: 68T37 03E72 PDFBibTeX XMLCite \textit{D. Wu} and \textit{J. M. Mendel}, Inf. Sci. 178, No. 2, 381--402 (2008; Zbl 1126.68612) Full Text: DOI
Jiroušek, Radim A short note on Perez’s approximation by dependence structure simplification. (English) Zbl 1148.68494 Kybernetika 43, No. 5, 649-656 (2007). MSC: 68T30 62E17 PDFBibTeX XMLCite \textit{R. Jiroušek}, Kybernetika 43, No. 5, 649--656 (2007; Zbl 1148.68494) Full Text: EuDML Link
Blanchet-Sadri, F.; Anavekar, Arundhati R. Testing primitivity on partial words. (English) Zbl 1108.68093 Discrete Appl. Math. 155, No. 3, 279-287 (2007). MSC: 68R15 PDFBibTeX XMLCite \textit{F. Blanchet-Sadri} and \textit{A. R. Anavekar}, Discrete Appl. Math. 155, No. 3, 279--287 (2007; Zbl 1108.68093) Full Text: DOI Link
Dobzinski, Shahar; Nisan, Noam; Schapira, Michael Truthful randomized mechanisms for combinatorial auctions. (English) Zbl 1300.91033 Kleinberg, Jon M. (ed.), Proceedings of the 38th annual ACM symposium on theory of computing, STOC 2006. Seattle, WA, USA, May 21–23, 2006. New York, NY: ACM Press (ISBN 1-59593-134-1). 644-652 (2006). MSC: 91B26 91A46 68W25 PDFBibTeX XMLCite \textit{S. Dobzinski} et al., in: Proceedings of the 38th annual ACM symposium on theory of computing, STOC 2006. Seattle, WA, USA, May 21--23, 2006. New York, NY: ACM Press. 644--652 (2006; Zbl 1300.91033) Full Text: DOI Link
Liu, Fengshan; Shi, Xiquan; Lin, Zhongyan; Thompson, Andrew Affine transformation method in automatic image registration. (English) Zbl 1121.94008 Liu, Fengshan (ed.) et al., Advances in applied and computational mathematics. Selected papers based on the presentations at the applied mathematics summer workshop, Dover, DE, USA, August 18–20, 2005. New York, NY: Nova Science Publishers (ISBN 1-60021-358-8/hbk). 133-139 (2006). MSC: 94A08 68U10 94A12 PDFBibTeX XMLCite \textit{F. Liu} et al., in: Advances in applied and computational mathematics. Selected papers based on the presentations at the applied mathematics summer workshop, Dover, DE, USA, August 18--20, 2005. New York, NY: Nova Science Publishers. 133--139 (2006; Zbl 1121.94008)
Omel’chuk, Lyudmyla L. System of automation of proving theorems of the theory of metanominative data. (Ukrainian. English summary) Zbl 1126.68576 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2006, No. 2, 231-235 (2006). MSC: 68T15 68N30 68Q60 PDFBibTeX XMLCite \textit{L. L. Omel'chuk}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2006, No. 2, 231--235 (2006; Zbl 1126.68576)
Chen, Zhenbang; Wang, Ji; Dong, Wei; Qi, Zhichang An interface model for service-oriented software architecture. (Chinese. English summary) Zbl 1100.68551 J. Softw. 17, No. 6, 1459-1469 (2006). MSC: 68N99 PDFBibTeX XMLCite \textit{Z. Chen} et al., J. Softw. 17, No. 6, 1459--1469 (2006; Zbl 1100.68551)
Hu, Haiyang; Lü, Jian; Ma, Xiaoxing; Tao, Xianping Study on behavioral compatibility of components in software architecture using object-oriented paradigm. (Chinese. English summary) Zbl 1100.68537 J. Softw. 17, No. 6, 1276-1286 (2006). MSC: 68N19 68N99 PDFBibTeX XMLCite \textit{H. Hu} et al., J. Softw. 17, No. 6, 1276--1286 (2006; Zbl 1100.68537)
Hong, Tian; Pixi, Zhao; Xiukun, Wang CRST: A generalization of rough set theory. (English) Zbl 1134.68535 Ślȩzak, Dominik (ed.) et al., Rough sets, fuzzy sets, data mining, and granular computing. 10th international conference, RSFDGrC 2005, Regina, Canada, August 31 – September 3, 2005. Proceedings, Part I. Berlin: Springer (ISBN 3-540-28653-5/pbk). Lecture Notes in Computer Science 3641. Lecture Notes in Artificial Intelligence, 364-372 (2005). MSC: 68T37 PDFBibTeX XMLCite \textit{T. Hong} et al., Lect. Notes Comput. Sci. 3641, 364--372 (2005; Zbl 1134.68535) Full Text: DOI
Vantaggi, Barbara The role of coherence for handling probabilistic evaluations and independence. (English) Zbl 1084.60007 Soft Comput. 9, No. 8, 617-628 (2005). Reviewer: Wolfgang Näther (Freiberg) MSC: 60A99 68T99 PDFBibTeX XMLCite \textit{B. Vantaggi}, Soft Comput. 9, No. 8, 617--628 (2005; Zbl 1084.60007) Full Text: DOI
De Cock, M.; Cornelis, C.; Kerre, E. E. Elicitation of fuzzy association rules from positive and negative examples. (English) Zbl 1085.68169 Fuzzy Sets Syst. 149, No. 1, 73-85 (2005). MSC: 68T37 PDFBibTeX XMLCite \textit{M. De Cock} et al., Fuzzy Sets Syst. 149, No. 1, 73--85 (2005; Zbl 1085.68169) Full Text: DOI
Shneidman, Jeffrey; Parkes, David C. Specification faithfulness in networks with rational nodes. (English) Zbl 1322.91012 Proceedings of the 23rd annual ACM symposium on principles of distributed computing, PODC ’04, St. Johns, Newfoundland, Canada, July 25–28, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-802-4). 88-97 (2004). MSC: 91A40 68M12 68M14 68W15 91B26 PDFBibTeX XMLCite \textit{J. Shneidman} and \textit{D. C. Parkes}, in: Proceedings of the 23rd annual ACM symposium on principles of distributed computing, PODC '04, St. Johns, Newfoundland, Canada, July 25--28, 2004. New York, NY: Association for Computing Machinery (ACM). 88--97 (2004; Zbl 1322.91012) Full Text: DOI Link
Provijn, Dagmar; Meheus, Joke Direct dynamic proofs for classical compatibility. (English) Zbl 1083.03036 Log. Anal., Nouv. Sér. 47, No. 185-188, 305-317 (2004). MSC: 03B60 68T27 03B53 03B45 PDFBibTeX XMLCite \textit{D. Provijn} and \textit{J. Meheus}, Log. Anal., Nouv. Sér. 47, No. 185--188, 305--317 (2004; Zbl 1083.03036)
Bouraqadi, Noury Safe metaclass composition using mixin-based inheritance. (English) Zbl 1072.68518 Comput. Lang. Syst. Struct. 30, No. 1-2, 49-61 (2004). MSC: 68N15 PDFBibTeX XMLCite \textit{N. Bouraqadi}, Comput. Lang. Syst. Struct. 30, No. 1--2, 49--61 (2004; Zbl 1072.68518) Full Text: DOI
Lim, Jeonggeun; Lee, Chulhee; Sohn, Kwanghoon Motion/disparity-compensated multiview sequence coding. (English) Zbl 1090.68579 Circuits Syst. Signal Process. 23, No. 2, 123-141 (2004). MSC: 68T45 PDFBibTeX XMLCite \textit{J. Lim} et al., Circuits Syst. Signal Process. 23, No. 2, 123--141 (2004; Zbl 1090.68579) Full Text: DOI
Homma, K.; Noro, M.; Nagase, K.; Yamagajo, T.; Strazdins, P. E. Frequency interpolation methods for accelerating parallel EMC analysis. (English) Zbl 1103.68557 Information 6, No. 3, 315-326 (2003). MSC: 68Q10 PDFBibTeX XMLCite \textit{K. Homma} et al., Information 6, No. 3, 315--326 (2003; Zbl 1103.68557)
Jurca, Radu; Faltings, Boi Towards incentive-compatible reputation management. (English) Zbl 1035.68617 Falcone, Rino (ed.) et al., Trust, reputation, and security: Theories and practice. AAMAS 2002 international workshop, Bologna, Italy, July 15, 2002. Selected and invited papers. Berlin: Springer (ISBN 3-540-00988-4/pbk). Lect. Notes Comput. Sci. 2631, 138-147 (2003). MSC: 68U99 68T05 68P25 PDFBibTeX XMLCite \textit{R. Jurca} and \textit{B. Faltings}, Lect. Notes Comput. Sci. 2631, 138--147 (2003; Zbl 1035.68617) Full Text: Link
Kramosil, Ivan Belief functions generated by fuzzy and randomized compatibility relations. (English) Zbl 1038.68117 Fuzzy Sets Syst. 135, No. 3, 341-366 (2003). MSC: 68T37 PDFBibTeX XMLCite \textit{I. Kramosil}, Fuzzy Sets Syst. 135, No. 3, 341--366 (2003; Zbl 1038.68117) Full Text: DOI
Carmona, Josep; Cortadella, Jordi Input/output compatibility of reactive systems. (English) Zbl 1019.68616 Aagaard, Mark D. (ed.) et al., Formal methods in computer-aided design. 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2517, 360-377 (2002). MSC: 68U07 68Q85 PDFBibTeX XMLCite \textit{J. Carmona} and \textit{J. Cortadella}, Lect. Notes Comput. Sci. 2517, 360--377 (2002; Zbl 1019.68616) Full Text: Link
Ye, Xiuzi; Cai, Yi-Yu; Chui, Cheekong; Anderson, James H. Constructive modeling of \(G^{1}\) bifurcation. (English) Zbl 0998.68185 Comput. Aided Geom. Des. 19, No. 7, 513-531 (2002). MSC: 68U05 PDFBibTeX XMLCite \textit{X. Ye} et al., Comput. Aided Geom. Des. 19, No. 7, 513--531 (2002; Zbl 0998.68185) Full Text: DOI