default search action
Search dblp for Publications
export results for "daf set"
@article{DBLP:journals/corr/abs-2406-08467, author = {Chloe Loughridge and Qinyi Sun and Seth Ahrenbach and Federico Cassano and Chuyue Sun and Ying Sheng and Anish Mudide and Md Rakib Hossain Misu and Nada Amin and Max Tegmark}, title = {DafnyBench: {A} Benchmark for Formal Software Verification}, journal = {CoRR}, volume = {abs/2406.08467}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2406.08467}, doi = {10.48550/ARXIV.2406.08467}, eprinttype = {arXiv}, eprint = {2406.08467}, timestamp = {Tue, 09 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2406-08467.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jifs/LiuLYZGS23, author = {Wei Liu and Qihan Liu and Guoju Ye and Dafang Zhao and Yating Guo and Fangfang Shi}, title = {An interval rough number variable precision rough sets model and its attribute reduction}, journal = {J. Intell. Fuzzy Syst.}, volume = {45}, number = {1}, pages = {229--238}, year = {2023}, url = {https://doi.org/10.3233/JIFS-222781}, doi = {10.3233/JIFS-222781}, timestamp = {Sat, 05 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jifs/LiuLYZGS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csee/SabariahEHFS23, author = {Mira Kania Sabariah and Veronikha Effendy and Jati H. Husen and Daffa Hilmy Fadhlurrohman and Rony Setyawansyah}, title = {Experiences With Gap-Bridging Software Engineering Industry-Academia Collaborative Education Program}, booktitle = {35th International Conference on Software Engineering Education and Training, CSEE{\&}T 2023, Tokyo, Japan, August 7-9, 2023}, pages = {168--172}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/CSEET58097.2023.00035}, doi = {10.1109/CSEET58097.2023.00035}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csee/SabariahEHFS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fss/ZhaoAYL22, author = {Dafang Zhao and Tianqing An and Guoju Ye and Wei Liu}, title = {Some generalizations of Opial type inequalities for interval-valued functions}, journal = {Fuzzy Sets Syst.}, volume = {436}, pages = {128--151}, year = {2022}, url = {https://doi.org/10.1016/j.fss.2021.03.017}, doi = {10.1016/J.FSS.2021.03.017}, timestamp = {Wed, 27 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fss/ZhaoAYL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/telsys/ZeeshanAFA22, author = {Muhammad Zeeshan and Mahnoor Ajmal and Muhammad Umar Farooq and Tabinda Ashraf}, title = {A novel minimal set decode-amplify-forward {(MS-DAF)} relaying scheme for {MIMO-NOMA}}, journal = {Telecommun. Syst.}, volume = {80}, number = {1}, pages = {141--152}, year = {2022}, url = {https://doi.org/10.1007/s11235-022-00894-2}, doi = {10.1007/S11235-022-00894-2}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/telsys/ZeeshanAFA22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijar/HuangLFGC21, author = {Bing Huang and Huaxiong Li and Guofu Feng and Chunxiang Guo and Dafeng Chen}, title = {Double-quantitative rough sets, optimal scale selection and reduction in multi-scale dominance {IF} decision tables}, journal = {Int. J. Approx. Reason.}, volume = {130}, pages = {170--191}, year = {2021}, url = {https://doi.org/10.1016/j.ijar.2020.12.001}, doi = {10.1016/J.IJAR.2020.12.001}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijar/HuangLFGC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ral/PhamSDRHTMMBMCP21, author = {Tu{-}Hoa Pham and William Seto and Shreyansh Daftry and Barry Ridge and Johanna Hansen and Tristan Thrush and Mark Van der Merwe and Gerard Maggiolino and Alexander Brinkman and John Mayo and Yang Cheng and Curtis Padgett and Eric A. Kulczycki and Renaud Detry}, title = {Rover Relocalization for Mars Sample Return by Virtual Template Synthesis and Matching}, journal = {{IEEE} Robotics Autom. Lett.}, volume = {6}, number = {2}, pages = {4009--4016}, year = {2021}, url = {https://doi.org/10.1109/LRA.2021.3067281}, doi = {10.1109/LRA.2021.3067281}, timestamp = {Thu, 16 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ral/PhamSDRHTMMBMCP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/soco/RoevaZ021, author = {Olympia Roeva and Dafina Zoteva and Oscar Castillo}, title = {Joint set-up of parameters in genetic algorithms and the artificial bee colony algorithm: an approach for cultivation process modelling}, journal = {Soft Comput.}, volume = {25}, number = {3}, pages = {2015--2038}, year = {2021}, url = {https://doi.org/10.1007/s00500-020-05272-1}, doi = {10.1007/S00500-020-05272-1}, timestamp = {Fri, 19 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/soco/RoevaZ021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/chi/BarbareschiRHSV21, author = {Giulia Barbareschi and Dafne Zuleima Morgado Ramirez and Catherine Holloway and Manohar Swaminathan and Aditya Vashistha and Edward Cutrell}, editor = {Yoshifumi Kitamura and Aaron Quigley and Katherine Isbister and Takeo Igarashi}, title = {Disability Design and Innovation in Low Resource Settings: Addressing Inequality Through {HCI}}, booktitle = {{CHI} '21: {CHI} Conference on Human Factors in Computing Systems, Virtual Event / Yokohama Japan, May 8-13, 2021, Extended Abstracts}, pages = {124:1--124:5}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3411763.3441340}, doi = {10.1145/3411763.3441340}, timestamp = {Thu, 17 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/chi/BarbareschiRHSV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icccm/MeiryaniHJP21, author = {Meiryani Meiryani and Setiani Putri Hendratno and Anita Juwita and Iqbal Dafi Putra}, title = {The Impacts of Information Technology on Accounting Systems}, booktitle = {{ICCCM} 2021: 9th International Conference on Computer and Communications Management, Singapore, July 16 - 18, 2021}, pages = {1--8}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3479162.3479163}, doi = {10.1145/3479162.3479163}, timestamp = {Fri, 03 Dec 2021 12:48:47 +0100}, biburl = {https://dblp.org/rec/conf/icccm/MeiryaniHJP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ner/ZandvoortDD21, author = {Coen S. Zandvoort and Andreas Daffertshofer and Nadia Dominici}, title = {Differential sets of cortical muscle synergy signatures during adult locomotion}, booktitle = {10th International {IEEE/EMBS} Conference on Neural Engineering, {NER} 2021, Virtual Event, Italy, May 4-6, 2021}, pages = {1070--1073}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/NER49283.2021.9441206}, doi = {10.1109/NER49283.2021.9441206}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ner/ZandvoortDD21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2103-03395, author = {Tu{-}Hoa Pham and William Seto and Shreyansh Daftry and Barry Ridge and Johanna Hansen and Tristan Thrush and Mark Van der Merwe and Gerard Maggiolino and Alexander Brinkman and John Mayo and Yang Cheng and Curtis Padgett and Eric A. Kulczycki and Renaud Detry}, title = {Rover Relocalization for Mars Sample Return by Virtual Template Synthesis and Matching}, journal = {CoRR}, volume = {abs/2103.03395}, year = {2021}, url = {https://arxiv.org/abs/2103.03395}, eprinttype = {arXiv}, eprint = {2103.03395}, timestamp = {Mon, 15 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2103-03395.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2103-09942, author = {Shreyansh Daftry and Barry Ridge and William Seto and Tu{-}Hoa Pham and Peter Ilhardt and Gerard Maggiolino and Mark Van der Merwe and Alexander Brinkman and John Mayo and Eric Kulczyski and Renaud Detry}, title = {Machine Vision based Sample-Tube Localization for Mars Sample Return}, journal = {CoRR}, volume = {abs/2103.09942}, year = {2021}, url = {https://arxiv.org/abs/2103.09942}, eprinttype = {arXiv}, eprint = {2103.09942}, timestamp = {Tue, 23 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2103-09942.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fss/ZhaoAYL20, author = {Dafang Zhao and Tianqing An and Guoju Ye and Wei Liu}, title = {Chebyshev type inequalities for interval-valued functions}, journal = {Fuzzy Sets Syst.}, volume = {396}, pages = {82--101}, year = {2020}, url = {https://doi.org/10.1016/j.fss.2019.10.006}, doi = {10.1016/J.FSS.2019.10.006}, timestamp = {Fri, 14 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fss/ZhaoAYL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/prl/DondiLS20, author = {Piercarlo Dondi and Luca Lombardi and Alessandra Setti}, title = {{DAFNE:} {A} dataset of fresco fragments for digital anastlylosis}, journal = {Pattern Recognit. Lett.}, volume = {138}, pages = {631--637}, year = {2020}, url = {https://doi.org/10.1016/j.patrec.2020.09.015}, doi = {10.1016/J.PATREC.2020.09.015}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/prl/DondiLS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/assets/RamirezBDSENSOM20, author = {Dafne Zuleima Morgado Ramirez and Giulia Barbareschi and Maggie Kate Donovan{-}Hall and Mohammad Sobuh and Nida' Elayyan and Brenda T. Nakandi and Robert Tamale Ssekitoleko and Joyce Olenja and Grace Nyachomba Magomere and Sibylle Daymond and Jake Honeywill and Ian Harris and Nancy N. Mbugua and Laurence P. J. Kenney and Catherine Holloway}, editor = {Tiago Jo{\~{a}}o Guerreiro and Hugo Nicolau and Karyn Moffatt}, title = {Disability design and innovation in computing research in low resource settings}, booktitle = {{ASSETS} '20: The 22nd International {ACM} {SIGACCESS} Conference on Computers and Accessibility, Virtual Event, Greece, October 26-28, 2020}, pages = {11:1--11:7}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3373625.3417301}, doi = {10.1145/3373625.3417301}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/assets/RamirezBDSENSOM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/igarss/YinCMLJL20, author = {Shuting Yin and Dafan Chen and Chengconghui Ma and Yanchao Lian and Licheng Jiao and Fang Liu}, title = {Weakly Supervised Land Cover Classification Method For Large-Scale Multi-Resolution Labeled Satellite Images Data Sets}, booktitle = {{IEEE} International Geoscience and Remote Sensing Symposium, {IGARSS} 2020, Waikoloa, HI, USA, September 26 - October 2, 2020}, pages = {7070--7073}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/IGARSS39084.2020.9547215}, doi = {10.1109/IGARSS39084.2020.9547215}, timestamp = {Sun, 03 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/igarss/YinCMLJL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bjet/SopherFK19, author = {Hadas Sopher and Dafna Fisher{-}Gewirtzman and Yehuda E. Kalay}, title = {Going immersive in a community of learners? Assessment of design processes in a multi-setting architecture studio}, journal = {Br. J. Educ. Technol.}, volume = {50}, number = {5}, pages = {2109--2128}, year = {2019}, url = {https://doi.org/10.1111/bjet.12857}, doi = {10.1111/BJET.12857}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bjet/SopherFK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/f1000research/AbdalrahmanMAAAOAEMD18, author = {Ihab B. Abdalrahman and Mohammed Elsanousi Huzaifa Mohammed and Abdelmohaymin A Abdalla and Sulaf Ibrahim Abdelaziz and Aboaagla Abdalbagi Ali and Dina Nader Mutwakel Osman and Ahmed Abdelmoniem Ahmed and Hagir Emad Elwasila and Romaisa Hashim Mokhtar Mohammed and Mohamed Dafaalla}, title = {Improving paper-based discharge process; a continuous full-cycle quality improvement project in low resource setting}, journal = {F1000Research}, volume = {7}, pages = {324}, year = {2018}, url = {https://doi.org/10.12688/f1000research.13359.1}, doi = {10.12688/F1000RESEARCH.13359.1}, timestamp = {Fri, 21 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/f1000research/AbdalrahmanMAAAOAEMD18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/intenv/DafoulasMAAC17, author = {Georgios A. Dafoulas and Cristiano Maia and Almaas Ali and Juan Carlos Augusto and Victor Lopez Cabrera}, title = {Understanding Collaboration in Global Software Engineering {(GSE)} Teams with the Use of Sensors: Introducing a Multi-sensor Setting for Observing Social and Human Aspects in Project Management}, booktitle = {2017 International Conference on Intelligent Environments, {IE} 2017, Seoul, Korea (South), August 21-25, 2017}, pages = {114--121}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/IE.2017.40}, doi = {10.1109/IE.2017.40}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/intenv/DafoulasMAAC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/setss/Leino17, author = {K. Rustan M. Leino}, editor = {Jonathan P. Bowen and Zhiming Liu and Zili Zhang}, title = {Modeling Concurrency in Dafny}, booktitle = {Engineering Trustworthy Software Systems - Third International School, {SETSS} 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures}, series = {Lecture Notes in Computer Science}, volume = {11174}, pages = {115--142}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-030-02928-9\_4}, doi = {10.1007/978-3-030-02928-9\_4}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/setss/Leino17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/intenv/DafoulasMLSSBCA16, author = {Georgios A. Dafoulas and Cristiano Maia and Martin J. Loomes and Fatma Cemile Ser{\c{c}}e and Kathleen M. Swigger and Robert P. Brazile and Victor Lopez Cabrera and Ferda Nur Alpaslan and Allen E. Milewski}, editor = {Paulo Novais and Shin'ichi Konomi}, title = {Creating Smarter Teaching and Training Environments: Innovative Set-Up for Collaborative Hybrid Learning}, booktitle = {Intelligent Environments 2016 - Workshop Proceedings of the 12th International Conference on Intelligent Environments, {IE} 2016, London, United Kingdom, September 14-16, 2016}, series = {Ambient Intelligence and Smart Environments}, volume = {21}, pages = {238--248}, publisher = {{IOS} Press}, year = {2016}, url = {https://doi.org/10.3233/978-1-61499-690-3-238}, doi = {10.3233/978-1-61499-690-3-238}, timestamp = {Thu, 14 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/intenv/DafoulasMLSSBCA16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wcsp/GuSSZWG14, author = {Bin Gu and Tiecheng Song and Dafei Sun and Lei Zhang and Ming Wu and Jie Guo}, title = {A set of closed form approximate formulae for optimal sensing duration of cognitive radio}, booktitle = {Sixth International Conference on Wireless Communications and Signal Processing, {WCSP} 2014, Hefei, China, October 23-25, 2014}, pages = {1--5}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/WCSP.2014.6992136}, doi = {10.1109/WCSP.2014.6992136}, timestamp = {Tue, 11 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wcsp/GuSSZWG14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cwsn/HeZXBQZ012, author = {Shiming He and Dafang Zhang and Kun Xie and Xia{-}an Bi and Hong Qiao and Ji Zhang and Bin Zeng}, editor = {Ruchuan Wang and Fu Xiao}, title = {A Candidate Forwarder Set Based Channel Assignment for Opportunistic Routing in Multi-radio Wireless Mesh Networks}, booktitle = {Advances in Wireless Sensor Networks - 6th China Conference, {CWSN} 2012, Huangshan, China, October 25-27, 2012, Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {334}, pages = {103--116}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-36252-1\_11}, doi = {10.1007/978-3-642-36252-1\_11}, timestamp = {Wed, 18 Sep 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cwsn/HeZXBQZ012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/euromed/Lancia10, author = {Ruggero Lancia}, editor = {Marinos Ioannides and Dieter W. Fellner and Andreas Georgopoulos and Diofantos G. Hadjimitsis}, title = {The {DAF} {DDI} Profile, a Metadata Set to Address Digital Curation and Preservation Issues in Cultural Heritage Institutions}, booktitle = {Digital Heritage - Third International Conference, EuroMed 2010, Lemessos, Cyprus, November 8-13, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6436}, pages = {291--305}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16873-4\_22}, doi = {10.1007/978-3-642-16873-4\_22}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/euromed/Lancia10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isecs/ChangqiongDHZ08, author = {Changqiong Shi and Dawei Wang and Hui Huang and Dafang Zhang}, editor = {Fei Yu and Qi Luo and Yongjun Chen and Zhigang Chen}, title = {Network Intrusion Rules Extraction Based on Rough Set and Niche Genetic Algorithm}, booktitle = {Proceedings of The International Symposium on Electronic Commerce and Security, {ISECS} 2008, August 3-5, 2008, Guangzhou, China}, pages = {476--481}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/ISECS.2008.172}, doi = {10.1109/ISECS.2008.172}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isecs/ChangqiongDHZ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.