Search results for "MUS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
89	Mick McGee	Master usability scaling: magnitude estimation and master scaling applied to usability measurement.	CHI	2004	DBLP DOI BibTeX RDF	usability, scale, universal, definition, master
71	Renato Bruni	On exact selection of minimally unsatisfiable subformulae.	Ann. Math. Artif. Intell.	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.	FroCoS	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.	Formal Aspects Comput.	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.	ASIAN	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?	CADE	2009	DBLP DOI BibTeX RDF
54	Santiago Macho González, Pedro Meseguer	Boosting MUS Extraction.	SARA	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.	ICSE	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.	DS-RT	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.	Constraints An Int. J.	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.	IPDPS	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.	RE	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.	COMPSAC	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.	Int. J. Math. Oper. Res.	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.	CoRR	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.	Int. J. Math. Oper. Res.	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.	VTC2023-Spring	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.	EACL (System Demonstrations)	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.	SP	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.	Expert Syst. Appl.	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.	Semantic Web	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.	PeerJ Comput. Sci.	2022	DBLP DOI BibTeX RDF
32	Saad Islam, Koksal Mus, Richa Singh 0003, Patrick Schaumont, Berk Sunar	Signature Correction Attack on Dilithium Signature Scheme.	CoRR	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.	IACR Cryptol. ePrint Arch.	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.	PIMRC	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.	VTC Spring	2022	DBLP DOI BibTeX RDF
32	Mus'Ab Abdurrahman, Dwi Anto, Muharman Lubis	Analysis of Fintech Use at Early Working Age in Indonesia.	ICIBE	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.	WiMob	2022	DBLP DOI BibTeX RDF
32	Saad Islam, Koksal Mus, Richa Singh 0003, Patrick Schaumont, Berk Sunar	Signature Correction Attack on Dilithium Signature Scheme.	EuroS&P	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.	ICPS	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.	LOD	2021	DBLP DOI BibTeX RDF
32	Koksal Mus, Saad Islam, Berk Sunar	QuantumHammer: A Practical Hybrid Attack on the LUOV Signature Scheme.	IACR Cryptol. ePrint Arch.	2020	DBLP BibTeX RDF
32	Koksal Mus, Saad Islam, Berk Sunar	QuantumHammer: A Practical Hybrid Attack on the LUOV Signature Scheme.	CCS	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.	LOD (1)	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.	CERC	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.	Computación y Sistemas	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.	ICSET	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.	ICPS	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.	LOD	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.	ICPS	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.	CASE	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.	ICEMT	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.	NEWCAS	2017	DBLP DOI BibTeX RDF
32	Koksal Mus, Mehmet Sabir Kiraz, Murat Cenk, Isa Sertkaya	Estonian Voting Verification Mechanism Revisited.	CoRR	2016	DBLP BibTeX RDF
32	Mus'ab Shaharom, Steve Collins	An integrating wide dynamic range nMOS pixel with a logarithmic reference voltage generator.	ISCAS	2016	DBLP DOI BibTeX RDF
32	Koksal Mus	On verifiable internet voting systems (Doğrulanabilir internet oylama sistemleri hakkında)		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.	IECON	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.	IEEE Trans. Medical Imaging	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.	IEEE Trans. Medical Imaging	2013	DBLP DOI BibTeX RDF
32	Mus Chairil Samani, Poline Bala, Jamilah Maliki, Roger W. Harris	Bario Community Radio: Engaging people making news.	CITA	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.	IEEE Trans. Medical Imaging	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.	ECML/PKDD (2)	2012	DBLP DOI BibTeX RDF
32	Tao Tan, Bram Platel, Roel Mus, Nico Karssemeijer	Detection of breast cancer in automated 3D breast ultrasound.	Medical Imaging: Computer-Aided Diagnosis	2012	DBLP DOI BibTeX RDF
32	Mus'ab Husaini, Andrea Ko, Dilek Tapucu, Yücel Saygin	Ontology Supported Policy Modeling in Opinion Mining Process.	OTM Workshops	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.	Medical Imaging: Computer-Aided Diagnosis	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.	Medical Imaging: Computer-Aided Diagnosis	2010	DBLP DOI BibTeX RDF
32	Anne O. Mus	Inversion of Many-to-one Mappings Using Self-Organising Maps.	ICONIP (2)	2010	DBLP DOI BibTeX RDF
32	Mus Ahmet, Louise Corti	Sounding It Out: Sharing and Disseminating Audio-Visual Data.	IASSIST Conference	2008	DBLP BibTeX RDF
30	K. Subramani 0001	Optimal Length Resolution Refutations of Difference Constraint Systems.	J. Autom. Reason.	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.	Mobility Conference	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.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
30	Dongsheng Ma 0001, J. Wang, Minkyu Song	Adaptive On-Chip Power Supply With Robust One-Cycle Control Technique.	IEEE Trans. Very Large Scale Integr. Syst.	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.	IEEE Trans. Ind. Informatics	2008	DBLP DOI BibTeX RDF
30	Mark H. Liffiton, Karem A. Sakallah	Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints.	J. Autom. Reason.	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.	FCCM	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.	SIES	2008	DBLP DOI BibTeX RDF
30	Mark H. Liffiton, Karem A. Sakallah	Searching for Autarkies to Trim Unsatisfiable Clause Sets.	SAT	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.	ISCAS	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.	ISCAS	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.	ISCAS	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.	CSSE (4)	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.	EUC (1)	2008	DBLP DOI BibTeX RDF
30	Kensuke Kawakami, Koji Shigemoto, Koji Nakano	Redundant Radix-2r Number System for Accelerating Arithmetic Operations on the FPGAs.	PDCAT	2008	DBLP DOI BibTeX RDF
30	Rio Miyazaki, Minoru Watanabe, Fuminori Kobayashi	A multi-context holographic memory recording system for Optically Reconfigurable Gate Arrays.	IPDPS	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.	IEEE Trans. Wirel. Commun.	2006	DBLP DOI BibTeX RDF
30	Zaher S. Andraus, Mark H. Liffiton, Karem A. Sakallah	Refinement strategies for verification methods based on datapath abstraction.	ASP-DAC	2006	DBLP DOI BibTeX RDF
30	Allam Appa Rao, Bhremeramba, G. R. Sridhar	Mathematical Analysis of Diabetes Related Proteins Having High Sequence Complexity.	ICTAI	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.	CCECE	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.	Australian Software Engineering Conference	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.	NETWORKING	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.	Mobile Data Management	2003	DBLP DOI BibTeX RDF
30	Pengyu Hong, Zhen Wen, Thomas S. Huang, Heung-Yeung Shum	Real-Time Speech-Driven 3D Face Animation.	3DPVT	2002	DBLP DOI BibTeX RDF
30	Renato Bruni, Antonio Sassano	Finding Minimal Unsatisfiable Subformulae in Satisfiability Instances.	CP	2000	DBLP DOI BibTeX RDF
28	Philippe Besnard, Éric Grégoire, Sébastien Ramon	A Default Logic Patch for Default Logic.	ECSQARU	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.	CP	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.	J. Sci. Comput.	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.	DAC	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.	ARVLSI	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.	IEEE Trans. Geosci. Remote. Sens.	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.	Nucleic Acids Res.	2023	DBLP DOI BibTeX RDF
25	Isabelle Kuhlmann, Andreas Niskanen, Matti Järvisalo	Computing MUS-Based Inconsistency Measures.	JELIA	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.	CoRR	2022	DBLP DOI BibTeX RDF
25	Linus Witschen, Tobias Wiersema, Matthias Artmann, Marco Platzner	MUSCAT: MUS-based Circuit Approximation Technique.	DATE	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.	IEEE Trans. Reliab.	2020	DBLP DOI BibTeX RDF
25	Tania Di Mascio, Laura Tarantino, Federica Caruso	Towards a Gamified Musical Skill Learning Model (MuS-LM): Structural Aspects.	MIS4TEL	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.	ISPRS Int. J. Geo Inf.	2019	DBLP DOI BibTeX RDF
25	Jie Luo 0004, Shaofan Liu	Accelerating MUS enumeration by inconsistency graph partitioning.	Sci. China Inf. Sci.	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.	Comput. Intell.	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.	MLCSB	2018	DBLP DOI BibTeX RDF
25	Roxane Koitz-Hristov, Franz Wotawa	On the Superiority of Conflict-Driven Search in MUS Enumeration.	DX	2018	DBLP BibTeX RDF