|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 48 occurrences of 46 keywords
|
|
|
Results
Found 532 publication records. Showing 517 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
89 | Mick McGee |
Master usability scaling: magnitude estimation and master scaling applied to usability measurement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2004 Conference on Human Factors in Computing Systems, CHI 2004, Vienna, Austria, April 24 - 29, 2004, pp. 335-342, 2004, ACM, 1-58113-702-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
usability, scale, universal, definition, master |
71 | Renato Bruni |
On exact selection of minimally unsatisfiable subformulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 43(1), pp. 35-50, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
infeasibility analysis, MUS selection, (Un)Satisfiability |
69 | Cédric Piette, Youssef Hamadi, Lakhdar Sais |
Efficient Combination of Decision Procedures for MUS Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings, pp. 335-349, 2009, Springer, 978-3-642-04221-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
69 | José Juan Pazos-Arias, Jorge García Duque |
SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 13(1), pp. 50-91, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Incremental specification, Unspecification, Formal verification, Temporal logic, Formal description techniques, Functional requirements |
59 | Sudeshna Dasgupta, Vijay Chandru |
Minimal Unsatisfiable Sets: Classification and Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computer Science - ASIAN 2004, Higher-Level Decision Making, 9th Asian Computing Science Conference, Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand, December 8-10, 2004, Proceedings, pp. 330-342, 2004, Springer, 3-540-24087-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Minimal Unsatisfiable Sets, satisfiability, propositional logic, Boolean formulas |
54 | Éric Grégoire, Bertrand Mazure, Cédric Piette |
Does This Set of Clauses Overlap with at Least One MUS? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings, pp. 100-115, 2009, Springer, 978-3-642-02958-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
54 | Santiago Macho González, Pedro Meseguer |
Boosting MUS Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SARA ![In: Abstraction, Reformulation, and Approximation, 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings, pp. 285-299, 2007, Springer, 978-3-540-73579-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
54 | Ana Belén Barragáns-Martínez, José Juan Pazos-Arias |
chi-SCTL/MUS: A Formal Methodology to Evolve Multi-Perspective Software Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom, pp. 72-74, 2004, IEEE Computer Society, 0-7695-2163-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Requirements Refinement, Unspecification, Specification Evolution, Multi-Perspective Environment, Viewpoints, Inconsistency |
44 | Yutaka Ishibashi, Youichi Kurokawa, Shinji Sugawara |
Error Control Based on Importance in a Remote Haptic Calligraphy System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DS-RT ![In: 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 27-29 October 2008, Vancouver, BC, Canada, Proceedings, pp. 269-274, 2008, IEEE Computer Society, 978-0-7695-3425-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
43 | Mark H. Liffiton, Maher N. Mneimneh, Inês Lynce, Zaher S. Andraus, João Marques-Silva 0001, Karem A. Sakallah |
A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 14(4), pp. 415-442, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Infeasibility, Minimal unsatisfiable subformula, MUS, Smallest minimal unsatisfiable subformula, SMUS, SAT, Boolean satisfiability |
39 | Mao Nakajima, Daisaku Seto, Minoru Watanabe |
A 937.5 ns multi-context holographic configuration with a 30.75 mus retention time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 22nd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2008, Miami, Florida USA, April 14-18, 2008, pp. 1-6, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Jorge García Duque, José Juan Pazos-Arias, Ana Belén Barragáns-Martínez |
An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 9-13 September 2002, Essen, Germany, pp. 282-288, 2002, IEEE Computer Society, 0-7695-1465-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
39 | Ana Fernández Vilas, José Juan Pazos-Arias, Rebeca P. Díaz Redondo, Ana Belén Barragáns-Martínez |
Formalizing Incremental Design in Real-time Area: SCTL/MUS-T. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings, pp. 659-666, 2002, IEEE Computer Society, 0-7695-1727-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Ibrahim Yusuf, Muhammad Sagir Aliyu, Mus'abu Musa |
Mean time to failure modelling and sensitivity analysis of mixed standby serial systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Oper. Res. ![In: Int. J. Math. Oper. Res. 27(2), pp. 267-289, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
32 | Fahim Dalvi, Nadir Durrani, Hassan Sajjad 0001, Tamim Jaban, Mus'ab Husaini, Ummar Abbas |
NxPlain: Web-based Tool for Discovery of Latent Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.03019, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Ibrahim Yusuf, Mus'abu Musa, Abdullahi Sanusi |
Performance modelling and enhancement of solar water pumping system using Gumbel-Hougaard family copula. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Oper. Res. ![In: Int. J. Math. Oper. Res. 26(2), pp. 200-230, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Mus'ab Yüksel, Raphael T. L. Rolny, Marc Kuhn, Michael Kuhn 0008 |
SDR-based Demonstration System and Applicability of SNR Aggregation for Multistage Distributed Cooperative Communication in MANETs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC2023-Spring ![In: 97th IEEE Vehicular Technology Conference, VTC Spring 2023, Florence, Italy, June 20-23, 2023, pp. 1-7, 2023, IEEE, 979-8-3503-1114-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Fahim Dalvi, Nadir Durrani, Hassan Sajjad 0001, Tamim Jaban, Mus'ab Husaini, Ummar Abbas |
NxPlain: A Web-based Tool for Discovery of Latent Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EACL (System Demonstrations) ![In: Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics. EACL 2023 - System Demonstrations, Dubrovnik, Croatia, May 2-4, 2023, pp. 75-83, 2023, Association for Computational Linguistics, 978-1-959429-45-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Koksal Mus, Yarkin Doröz, M. Caner Tol, Kristi Rahman, Berk Sunar |
Jolt: Recovering TLS Signing Keys via Rowhammer Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SP ![In: 44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023, pp. 1719-1736, 2023, IEEE, 978-1-6654-9336-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Sergi Mus León, Beatriz Otero Calviño, Leonardo Alvarado Vivas, Ramon Canal Corretger, Otilio Rojas Ulacio |
Small-layered Feed-Forward and Convolutional neural networks for efficient P wave earthquake detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 206, pp. 117749, November 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Houcemeddine Turki, Mohamed Ali Hadj Taieb, Thomas Shafee, Tiago Lubiana, Dariusz Jemielniak, Mohamed Ben Aouicha, José Emilio Labra Gayo, Eric A. Youngstrom, Mus'ab Banat, Diptanshu Das, Daniel Mietchen |
Representing COVID-19 information in collaborative knowledge graphs: The case of Wikidata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantic Web ![In: Semantic Web 13(2), pp. 233-264, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Houcemeddine Turki, Dariusz Jemielniak, Mohamed Ali Hadj Taieb, José Emilio Labra Gayo, Mohamed Ben Aouicha, Mus'ab Banat, Thomas Shafee, Eric Prud'hommeaux, Tiago Lubiana, Diptanshu Das, Daniel Mietchen |
Using logical constraints to validate statistical information about disease outbreaks in collaborative knowledge graphs: the case of COVID-19 epidemiology in Wikidata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PeerJ Comput. Sci. ![In: PeerJ Comput. Sci. 8, pp. e1085, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Saad Islam, Koksal Mus, Richa Singh 0003, Patrick Schaumont, Berk Sunar |
Signature Correction Attack on Dilithium Signature Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.00637, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Koksal Mus, Yarkin Doröz, M. Caner Tol, Kristi Rahman, Berk Sunar |
Jolt: Recovering TLS Signing Keys via Rowhammer Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2022, pp. 1669, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
32 | Mus'ab Yüksel, Raphael T. L. Rolny, Marc Kuhn, Michael Kuhn 0008 |
Distributed Cooperative Transmission in MANETs with Multiple Timing and Carrier Frequency Offsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PIMRC ![In: 2022 IEEE 33rd Annual International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), Kyoto, Japan, September 12-15, 2022, pp. 951-956, 2022, IEEE, 978-1-6654-8053-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Mus'ab Yüksel, Raphael T. L. Rolny, Marc Kuhn, Michael Kuhn 0008 |
Applicability of Space-Time Block Codes for Distributed Cooperative Broadcasting in MANETs with High Node Mobility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Spring ![In: 95th IEEE Vehicular Technology Conference, VTC Spring 2022, Helsinki, Finland, June 19-22, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8243-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Mus'Ab Abdurrahman, Dwi Anto, Muharman Lubis |
Analysis of Fintech Use at Early Working Age in Indonesia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIBE ![In: Proceedings of the 8th International Conference on Industrial and Business Engineering, ICIBE 2022, Macau, SAR, China, September 27-29, 2022, pp. 400-405, 2022, ACM, 978-1-4503-9758-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Mus'ab Yüksel, Raphael T. L. Rolny, Marc Kuhn, Michael Kuhn 0008 |
Multi-Carrier (OFDM) Cooperative Transmission in MANETs with Multiple Carrier Frequency Offsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WiMob ![In: 18th International Conference on Wireless and Mobile Computing, Networking and Communications, WiMob 2022, Thessaloniki, Greece, October 10-12, 2022, pp. 211-216, 2022, IEEE, 978-1-6654-6975-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Saad Islam, Koksal Mus, Richa Singh 0003, Patrick Schaumont, Berk Sunar |
Signature Correction Attack on Dilithium Signature Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroS&P ![In: 7th IEEE European Symposium on Security and Privacy, EuroS&P 2022, Genoa, Italy, June 6-10, 2022, pp. 647-663, 2022, IEEE, 978-1-6654-1614-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Fadi Assad, Sergey Konstantinov, Mus'ab H. Ahmad, Emma J. Rushforth, Robert Harrison |
Utilising Web-based Digital Twin to Promote Assembly Line Sustainability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPS ![In: 4th IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2021, Victoria, BC, Canada, May 10-12, 2021, pp. 381-386, 2021, IEEE, 978-1-7281-6207-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Leonel Cruz, Rubén Tous, Beatriz Otero, Leonardo Alvarado, Sergi Mus, Otilio Rojas |
Epicentral Region Estimation Using Convolutional Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOD ![In: Machine Learning, Optimization, and Data Science - 7th International Conference, LOD 2021, Grasmere, UK, October 4-8, 2021, Revised Selected Papers, Part I, pp. 541-552, 2021, Springer, 978-3-030-95466-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Koksal Mus, Saad Islam, Berk Sunar |
QuantumHammer: A Practical Hybrid Attack on the LUOV Signature Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2020, pp. 971, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
32 | Koksal Mus, Saad Islam, Berk Sunar |
QuantumHammer: A Practical Hybrid Attack on the LUOV Signature Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, USA, November 9-13, 2020, pp. 1071-1084, 2020, ACM, 978-1-4503-7089-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Norma Gutiérrez, Eva Rodríguez, Sergi Mus, Beatriz Otero, Ramon Canal |
Privacy Preserving Deep Learning Framework in Fog Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOD (1) ![In: Machine Learning, Optimization, and Data Science - 6th International Conference, LOD 2020, Siena, Italy, July 19-23, 2020, Revised Selected Papers, Part I, pp. 504-515, 2020, Springer, 978-3-030-64582-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Mus'ab Yüksel, Milenko Starcik, Florian Hofmann, Raphael Rolny, Marc Kuhn, Michael Kuhn 0008 |
SDR Demonstration System for the Investigation of Cooperative Communication and the Scaling Behaviour of MANETs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CERC ![In: Proceedings of the 6th Collaborative European Research Conference (CERC 2020), Belfast, Northern-Ireland, UK, September 10-11, 2020., pp. 46-63, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
32 | Otilio Rojas, Beatriz Otero, Leonardo Alvarado, Sergi Mus, Rubén Tous |
Artificial Neural Networks as Emerging Tools for Earthquake Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computación y Sistemas ![In: Computación y Sistemas 23(2), pp. 335-350, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Shahida Sulaiman, Nurul Huda Ab. Aziz, Shakirah Arina Mohamad Adzmi, Nurhasnatul Aida Suhizlizani Ihsan, Nurul Izwani Jaidi, Azam Firdaus Ahmad Yaziz, Muhammed Iqbal Rosli, Haslinda Abu Bakar, Mus Irwan Misroom |
Museum Informatics: A Case Study on Augmented Reality at Tanjung Balau Fishermen Museum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSET ![In: 9th IEEE International Conference on System Engineering and Technology, ICSET 2019, Shah Alam, Malaysia, October 7, 2019, pp. 79-83, 2019, IEEE, 978-1-7281-0758-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Mohammad Jbair, Bilal Ahmad, Mus'ab H. Ahmad, Daniel Alexandre Vera, Robert Harrison, Tony Ridler |
Automatic PLC Code Generation Based on Virtual Engineering Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPS ![In: IEEE International Conference on Industrial Cyber Physical Systems, ICPS 2019, Taipei, Taiwan, May 6-9, 2019, pp. 675-680, 2019, IEEE, 978-1-5386-8500-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Sergi Mus, Norma Gutiérrez, Rubén Tous, Beatriz Otero, Leonel Cruz, David Llácer, Leonardo Alvarado, Otilio Rojas |
Long Short-Term Memory Networks for Earthquake Detection in Venezuelan Regions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOD ![In: Machine Learning, Optimization, and Data Science - 5th International Conference, LOD 2019, Siena, Italy, September 10-13, 2019, Proceedings, pp. 751-754, 2019, Springer, 978-3-030-37598-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Mohammad Jbair, Bilal Ahmad, Mus'ab H. Ahmad, Robert Harrison |
Industrial cyber physical systems: A survey for control-engineering tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPS ![In: IEEE Industrial Cyber-Physical Systems, ICPS 2018, Saint Petersburg, Russia, May 15-18, 2018, pp. 270-276, 2018, IEEE, 978-1-5386-6531-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
32 | Fadi Assad, Emma Rushforth, Mus'ab H. Ahmad, Bilal Ahmad, Robert Harrison |
An Approach of Optimising S-curve Trajectory for a Better Energy Consumption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASE ![In: 14th IEEE International Conference on Automation Science and Engineering, CASE 2018, Munich, Germany, August 20-24, 2018, pp. 98-103, 2018, IEEE, 978-1-5386-3593-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
32 | Mus Aidah, Hajra Rasmita Ngemba, Syaiful Hendra |
A study of barriers to e-commerce adoption among small medium enterprises in Indonesia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEMT ![In: Proceedings of the 2017 International Conference on Education and Multimedia Technology, ICEMT '17, Singapore, Singapore, July 9-11, 2017, pp. 75-80, 2017, ACM, 978-1-4503-5293-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
32 | Mus'ab Shaharom, Steve Collins |
A method for determining the response of adaptive multiple reset wide dynamic range pixels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NEWCAS ![In: 15th IEEE International New Circuits and Systems Conference, NEWCAS 2017, Strasbourg, France, June 25-28, 2017, pp. 349-352, 2017, IEEE, 978-1-5090-4991-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
32 | Koksal Mus, Mehmet Sabir Kiraz, Murat Cenk, Isa Sertkaya |
Estonian Voting Verification Mechanism Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1612.00668, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
32 | Mus'ab Shaharom, Steve Collins |
An integrating wide dynamic range nMOS pixel with a logarithmic reference voltage generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: IEEE International Symposium on Circuits and Systems, ISCAS 2016, Montréal, QC, Canada, May 22-25, 2016, pp. 1918-1921, 2016, IEEE, 978-1-4799-5341-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
32 | Koksal Mus |
On verifiable internet voting systems (Doğrulanabilir internet oylama sistemleri hakkında) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
32 | Mus'ab H. Ahmad, Bilal Ahmad, Daniel Alexandre Vera, Robert Harrison |
An innovative energy predictive process planning tool for assembly automation systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IECON ![In: IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society, Yokohama, Japan, November 9-12, 2015, pp. 5184-5190, 2015, IEEE, 978-1-4799-1762-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
32 | Bram Platel, Roel Mus, Tessa Welte, Nico Karssemeijer, Ritse Mann |
Automated Characterization of Breast Lesions Imaged With an Ultrafast DCE-MR Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Medical Imaging ![In: IEEE Trans. Medical Imaging 33(2), pp. 225-232, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Tao Tan, Bram Platel, Roel Mus, László K. Tabár, Ritse M. Mann, Nico Karssemeijer |
Computer-Aided Detection of Cancer in Automated 3-D Breast Ultrasound. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Medical Imaging ![In: IEEE Trans. Medical Imaging 32(9), pp. 1698-1706, September 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Mus Chairil Samani, Poline Bala, Jamilah Maliki, Roger W. Harris |
Bario Community Radio: Engaging people making news. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CITA ![In: 8th International Conference on Information Technology in Asia, CITA 2013, Kota Samarahan, Malaysia, July 1-4, 2013, pp. 1-6, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Tao Tan, Bram Platel, Henkjan J. Huisman, Clara I. Sánchez, Roel Mus, Nico Karssemeijer |
Computer-Aided Lesion Diagnosis in Automated 3-D Breast Ultrasound Using Coronal Spiculation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Medical Imaging ![In: IEEE Trans. Medical Imaging 31(5), pp. 1034-1042, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
32 | Mus'ab Husaini, Ahmet Koçyigit, Dilek Tapucu, Berrin A. Yanikoglu, Yücel Saygin |
An Aspect-Lexicon Creation and Evaluation Tool for Sentiment Analysis Researchers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML/PKDD (2) ![In: Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2012, Bristol, UK, September 24-28, 2012. Proceedings, Part II, pp. 804-807, 2012, Springer, 978-3-642-33485-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
32 | Tao Tan, Bram Platel, Roel Mus, Nico Karssemeijer |
Detection of breast cancer in automated 3D breast ultrasound. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Computer-Aided Diagnosis ![In: Medical Imaging 2012: Computer-Aided Diagnosis, San Diego, California, United States, 4-9 February 2012, pp. 831505, 2012, SPIE, 9780819489647. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
32 | Mus'ab Husaini, Andrea Ko, Dilek Tapucu, Yücel Saygin |
Ontology Supported Policy Modeling in Opinion Mining Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On the Move to Meaningful Internet Systems: OTM 2012 Workshops, Confederated International Workshops: OTM Academy, Industry Case Studies Program, EI2N, INBAST, META4eS, OnToContent, ORM, SeDeS, SINCOM, and SOMOCO 2012, Rome, Italy, September 10-14, 2012. Proceedings, pp. 252-261, 2012, Springer, 978-3-642-33617-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
32 | Tao Tan, Henkjan J. Huisman, Bram Platel, André Grivegnée, Roel Mus, Nico Karssemeijer |
Classification of breast lesions in automated 3D breast ultrasound. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Computer-Aided Diagnosis ![In: Medical Imaging 2011: Computer-Aided Diagnosis, Lake Buena Vista (Orlando), Florida, United States, 12-17 February 2011, pp. 79630X, 2011, SPIE, 9780819485052. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
32 | Aliaksei Makarau, Henkjan J. Huisman, Roel Mus, Miranda Zijp, Nico Karssemeijer |
Breast MRI intensity non-uniformity correction using mean-shift. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Computer-Aided Diagnosis ![In: Medical Imaging 2010: Computer-Aided Diagnosis, San Diego, California, United States, 13-18 February 2010, pp. 76242D, 2010, SPIE, 9780819480255. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Anne O. Mus |
Inversion of Many-to-one Mappings Using Self-Organising Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP (2) ![In: Neural Information Processing. Models and Applications - 17th International Conference, ICONIP 2010, Sydney, Australia, November 22-25, 2010, Proceedings, Part II, pp. 447-453, 2010, Springer, 978-3-642-17533-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Mus Ahmet, Louise Corti |
Sounding It Out: Sharing and Disseminating Audio-Visual Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IASSIST Conference ![In: IASSIST 2008 - Technology of Data: Collection, Communication, Access and Preservation, Stanford, CA, USA, May 28-30, 2008, 2008, IASSIST. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
30 | K. Subramani 0001 |
Optimal Length Resolution Refutations of Difference Constraint Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 43(2), pp. 121-137, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Difference constraint systems, Resolution refutation, Optimal length, Minimum unsatisfiable subset, Fourier-Motzkin elimination |
30 | Chiu-Ching Tuan, Chi-Fu Hung, Yen-Heng Lin |
An information relevancy-oriented cache replacement policy in PCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobility Conference ![In: Proceedings of the 6th International Conference on Mobile Technology, Applications, and Systems, Mobility Conference 2009, Nice, France, September 2-4, 2009, 2009, ACM, 978-1-60558-536-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
location dependent information services, proxy server, pre-fetching |
30 | Jyu-Yuan Lai, Chih-Tsun Huang |
Elixir: High-Throughput Cost-Effective Dual-Field Processors and the Design Framework for Elliptic Curve Cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 16(11), pp. 1567-1580, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Dongsheng Ma 0001, J. Wang, Minkyu Song |
Adaptive On-Chip Power Supply With Robust One-Cycle Control Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 16(9), pp. 1240-1243, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Paolo Ferrari, Alessandra Flammini, Daniele Marioli, Andrea Taroni |
A Distributed Instrument for Performance Analysis of Real-Time Ethernet Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Informatics ![In: IEEE Trans. Ind. Informatics 4(1), pp. 16-25, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Mark H. Liffiton, Karem A. Sakallah |
Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 40(1), pp. 1-33, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Minimal unsatifiable subset, CAMUS, Constraint satisfaction |
30 | Kimmo U. Järvinen, Jorma O. Skyttä |
High-Speed Elliptic Curve Cryptography Accelerator for Koblitz Curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: 16th IEEE International Symposium on Field-Programmable Custom Computing Machines, FCCM 2008, 14-15 April 2008, Stanford, Palo Alto, California, USA, pp. 109-118, 2008, IEEE Computer Society, 978-0-7695-3307-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Hankook Jang, Sang-Hwa Chung, Dae-Hyun Yoo |
Implementation of an efficient RDMA mechanism tightly coupled with a TCP/IP offload engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIES ![In: IEEE Third International Symposium on Industrial Embedded Systems, SIES 2008, Montpellier / La Grande Motte, France, June 11-13, 2008, pp. 82-88, 2008, IEEE, 978-1-4244-1994-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Mark H. Liffiton, Karem A. Sakallah |
Searching for Autarkies to Trim Unsatisfiable Clause Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2008, 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings, pp. 182-195, 2008, Springer, 978-3-540-79718-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Guilherme Bontorin, Colin Lopez, Yannick Bornat, Noëlle Lewis, Sylvie Renaud, Mathieu C. Garenne, Gwendal Le Masson |
A real-time setup for multisite signal recording and processing in living neural networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2008), 18-21 May 2008, Sheraton Seattle Hotel, Seattle, Washington, USA, pp. 2953-2956, 2008, IEEE, 978-1-4244-1683-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Inshad Chowdhury, Dongsheng Ma |
An integrated reconfigurable switched-capacitor DC-DC converter with a dual-loop adaptive gain-pulse control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2008), 18-21 May 2008, Sheraton Seattle Hotel, Seattle, Washington, USA, pp. 2610-2613, 2008, IEEE, 978-1-4244-1683-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Liangguo Shen, Zushu Yan, Xing Zhang 0002, Yuanfu Zhao |
A capacitor-less low-dropout regulator for SoC with bi-directional asymmetric buffer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2008), 18-21 May 2008, Sheraton Seattle Hotel, Seattle, Washington, USA, pp. 2677-2680, 2008, IEEE, 978-1-4244-1683-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Chi-Chun Lo, Ding-Yuan Cheng, Chi-Hua Chen |
A Semantic Web Methodology for Situation-Aware Curative Food Service Recommendation System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (4) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 4: Embedded Programming / Database Technology / Neural Networks and Applications / Other Applications, December 12-14, 2008, Wuhan, China, pp. 444-447, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Koji Shigemoto, Kensuke Kawakami, Koji Nakano |
Accelerating Montgomery Modulo Multiplication for Redundant Radix-64k Number System on the FPGA Using Dual-Port Block RAMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUC (1) ![In: 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), Shanghai, China, December 17-20, 2008, Volume I, pp. 44-51, 2008, IEEE Computer Society, 978-0-7695-3492-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Kensuke Kawakami, Koji Shigemoto, Koji Nakano |
Redundant Radix-2r Number System for Accelerating Arithmetic Operations on the FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCAT ![In: Ninth International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2008, Dunedin, Otago, New Zealand, 1-4 December 2008, pp. 370-377, 2008, IEEE Computer Society, 978-0-7695-3443-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Rio Miyazaki, Minoru Watanabe, Fuminori Kobayashi |
A multi-context holographic memory recording system for Optically Reconfigurable Gate Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), Proceedings, 26-30 March 2007, Long Beach, California, USA, pp. 1-7, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Zhijun Wang 0001, Mohan Kumar, Sajal K. Das 0001, Huaping Shen |
Dynamic cache consistency schemes for wireless cellular networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 5(2), pp. 366-376, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Zaher S. Andraus, Mark H. Liffiton, Karem A. Sakallah |
Refinement strategies for verification methods based on datapath abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, Yokohama, Japan, January 24-27, 2006, pp. 19-24, 2006, IEEE, 0-7803-9451-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Allam Appa Rao, Bhremeramba, G. R. Sridhar |
Mathematical Analysis of Diabetes Related Proteins Having High Sequence Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 13-15 November 2006, Arlington, VA, USA, pp. 810-821, 2006, IEEE Computer Society, 0-7695-2728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
sequence complexity, Comparative genomics, compositional analysis |
30 | Philippe Le-Huy, Sylvain Guerette, Louis-A. Dessaint, Hoang Le-Huy |
Real-Time Simulation of Power Electronics in Power Systems using an FPGA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2006, May 7-10, 2006, Ottawa Congress Centre, Ottawa, Canada, pp. 873-877, 2006, IEEE, 1-4244-0038-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Ana Belén Barragáns-Martínez, José Juan Pazos-Arias, Ana Fernández Vilas |
Merging Requirements Views with Incompleteness and Inconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 16th Australian Software Engineering Conference (ASWEC 2005), 31 March - 1 April 2005, Brisbane, Australia, pp. 58-67, 2005, IEEE Computer Society, 0-7695-2257-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Requirements Specification, Merging, Viewpoints, Inconsistency, Incompleteness |
30 | Huaping Shen, Sajal K. Das 0001, Mohan Kumar, Zhijun Wang 0001 |
Cooperative Caching with Optimal Radius in Hybrid Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NETWORKING ![In: NETWORKING 2004, Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communication, Third International IFIP-TC6 Networking Conference, Athens, Greece, May 9-14, 2004, Proceedings, pp. 841-853, 2004, Springer, 3-540-21959-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Zhijun Wang 0001, Mohan Kumar, Sajal K. Das 0001, Huaping Shen |
Investigation of Cache Maintenance Strategies for Multi-cell Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile Data Management ![In: Mobile Data Management, 4th International Conference, MDM 2003, Melbourne, Australia, January 21-24, 2003, Proceedings, pp. 29-44, 2003, Springer, 3-540-00393-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Pengyu Hong, Zhen Wen, Thomas S. Huang, Heung-Yeung Shum |
Real-Time Speech-Driven 3D Face Animation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
3DPVT ![In: 1st International Symposium on 3D Data Processing Visualization and Transmission (3DPVT 2002), 19-21 June 2002, Padova, Italy, pp. 713-716, 2002, IEEE Computer Society, 0-7695-1521-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Renato Bruni, Antonio Sassano |
Finding Minimal Unsatisfiable Subformulae in Satisfiability Instances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings, pp. 495-499, 2000, Springer, 3-540-41053-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Philippe Besnard, Éric Grégoire, Sébastien Ramon |
A Default Logic Patch for Default Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings, pp. 578-589, 2009, Springer, 978-3-642-02905-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
logic-based fusion, inconsistency tolerance, MUS, Minimally Unsatisfiable Subformulas, Default logic |
28 | Éric Grégoire, Bertrand Mazure, Cédric Piette |
MUST: Provide a Finer-Grained Explanation of Unsatisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings, pp. 317-331, 2007, Springer, 978-3-540-74969-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
unsatisfiability, MUC, MUS, MUST, CSP, explanation, constraint networks |
27 | Songming Hou, Xu-Dong Liu |
Solutions of Multi-dimensional Hyperbolic Systems of Conservation Laws by Square Entropy Condition Satisfying Discontinuous Galerkin Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 31(1-2), pp. 127-151, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Ams(mus) Subject Classification Primary 65M10, Secondary 65M05 |
27 | Yoonna Oh, Maher N. Mneimneh, Zaher S. Andraus, Karem A. Sakallah, Igor L. Markov |
AMUSE: a minimally-unsatisfiable subformula extractor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004, pp. 518-523, 2004, ACM, 1-58113-828-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
minimally-unsatisfiable subformula (MUS), diagnosis, conjunctive normal form (CNF), boolean satisfiability (SAT) |
27 | Gert Cauwenberghs |
Bit-serial bidirectional A/D/A conversio. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARVLSI ![In: 16th Conference on Advanced Research in VLSI (ARVLSI '95), March 27-29, 1995, Chapel Hill, North Carolina, USA, pp. 108-120, 1995, IEEE Computer Society, 0-8186-7047-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
digital-analogue conversion, bidirectional bit-serial convertor, algorithmic DAC conversion, successive approximation ADC, D/A conversion, fault-tolerant VLSI architecture, matched monotonic characteristics, 200 muW, 20 mus, VLSI, CMOS integrated circuits, analogue-digital conversion, integrated circuit reliability, A/D conversion, 2 micron, CMOS process |
25 | Dong Liang 0008, Jing-Wei Zhang, Ying-Peng Tang, Sheng-Jun Huang |
MUS-CDB: Mixed Uncertainty Sampling With Class Distribution Balancing for Active Annotation in Aerial Object Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Geosci. Remote. Sens. ![In: IEEE Trans. Geosci. Remote. Sens. 61, pp. 1-13, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Ping Wang, Sainan Zhang, Guoyou He, Meiyu Du, Changlu Qi, Ruyue Liu, Siyuan Zhang, Liang Cheng 0006, Lei Shi, Xue Zhang |
microbioTA: an atlas of the microbiome in multiple disease tissues of Homo sapiens and Mus musculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 51(D1), pp. 1345-1352, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Isabelle Kuhlmann, Andreas Niskanen, Matti Järvisalo |
Computing MUS-Based Inconsistency Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings, pp. 745-755, 2023, Springer, 978-3-031-43618-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Dong Liang, Jing-Wei Zhang, Ying-Peng Tang, Sheng-Jun Huang |
MUS-CDB: Mixed Uncertainty Sampling with Class Distribution Balancing for Active Annotation in Aerial Object Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.02804, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Linus Witschen, Tobias Wiersema, Matthias Artmann, Marco Platzner |
MUSCAT: MUS-based Circuit Approximation Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2022 Design, Automation & Test in Europe Conference & Exhibition, DATE 2022, Antwerp, Belgium, March 14-23, 2022, pp. 172-177, 2022, IEEE, 978-3-9819263-6-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Gomaa Ahmed Hamoud, Sherif O. Faried |
Spare Assessment of Distribution Power Transformers Considering the Issues of Redundancy and MUS Capability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 69(3), pp. 925-936, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Tania Di Mascio, Laura Tarantino, Federica Caruso |
Towards a Gamified Musical Skill Learning Model (MuS-LM): Structural Aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIS4TEL ![In: Methodologies and Intelligent Systems for Technology Enhanced Learning, 10th International Conference, MIS4TEL 2020, L'Aquila, Italy, 17-19 June, 2020, pp. 226-238, 2020, Springer, 978-3-030-52537-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Ali Ihsan Durmaz, Erdinç Örsan Ünal, Cevdet Coskun Aydin |
Automatic Pipeline Route Design with Multi-Criteria Evaluation Based on Least-Cost Path Analysis and Line-Based Cartographic Simplification: A Case Study of the Mus Project in Turkey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPRS Int. J. Geo Inf. ![In: ISPRS Int. J. Geo Inf. 8(4), pp. 173, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Jie Luo 0004, Shaofan Liu |
Accelerating MUS enumeration by inconsistency graph partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Inf. Sci. ![In: Sci. China Inf. Sci. 62(11), pp. 212104:1-212104:11, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | P. Lingden, Abeer Alsadoon, P. W. C. Prasad, Omar Hisham Alsadoon, Rasha Subhi Ali, Vinh Tran Quoc Nguyen |
A novel modified undersampling (MUS) technique for software defect prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Intell. ![In: Comput. Intell. 35(4), pp. 1003-1020, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Soledad Berríos, Julio López Fenner, Aude Maignan |
Random Chromatin Neighborhoods in 2n=40 Mus m. domesticus Meiotic Cells: P-Percolation and Image Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MLCSB ![In: Molecular Logic and Computational Synthetic Biology - First International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, Revised Selected Papers, pp. 142-156, 2018, Springer, 978-3-030-19431-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Roxane Koitz-Hristov, Franz Wotawa |
On the Superiority of Conflict-Driven Search in MUS Enumeration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DX ![In: Proceedings of the 29th International Workshop on Principles of Diagnosis co-located with 10th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS 2018), Warsaw, Poland, 27-30 August, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
Displaying result #1 - #100 of 517 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ >>] |
|