Results 21 to 30 of about 6,021,580 (294)

Parfait-ML-1.0.0.zip

, 2022
Parfait-ML is a search-based software testing and statistical debugging tool to configure ML libraries fairly and detect fairness bugs in the configuration space of ML algorithms.
Saeid Tizpaz-Niari (11372094)
core   +1 more source

Early detection of diabetic foot ulcer using IoT and ML [PDF]

MATEC Web of Conferences
This study explores the critical realm of Diabetic Foot Ulcers (DFUs) and proposes an innovative approach for early detection using Internet of Things (IoT) and Machine Learning (ML).
Berugu Sanjana, Bajjuri Nagaraju, Reddy M. Shiva, Ramya T.   +3 more
doaj   +1 more source

ponder-lab/ML: 0.6.0

, 2023
What's Changed <ul> <li>Adding log for the dataflow sources by @tatianacv in <a href="https://github.com/ponder-lab/ML/pull/37">https://github.com/ponder-lab/ML/pull/37</a></li> <li>Use parallel testing by @khatchad in
Tatiana Castro-Vélez, Sifis Lagouvardos, Manu Sridharan, Julian Dolby, Raffi Khatchadourian, shinnar   +5 more
core   +1 more source

The future of Artificial Intelligence in Cybersecurity: A Comprehensive Survey [PDF]

EAI Endorsed Transactions on Creative Technologies, 2021
AI in Cybersecurity Market scheme helps organizations in observance, detecting, reporting, and countering cyber threats to keep up information confidentiality.
Feng Tao, Muhammad Akhtar, Zhang Jiayuan
doaj   +1 more source

ACL2(ml):machine-learning for ACL2 [PDF]

, 2014
ACL2(ml) is an extension for the Emacs interface of ACL2. This tool uses machine-learning to help the ACL2 user during the proof-development. Namely, ACL2(ml) gives hints to the user in the form of families of similar theorems, and generates auxiliary ...
Heras, Jónathan, Jónathan Heras, Komendantskaya, Ekaterina, Ekaterina Komendantskaya   +3 more
core   +1 more source

The optimal placement model for electric vehicle charging stations using bayesian networks [PDF]

MATEC Web of Conferences
As costs rise and fossil fuels have harmful environ- mental effects more and more people choose electric cars or electric cars this change shows how electric cars are becoming more and more popular in the transportation industry as their fleet grows it ...
Sai Siddarth Reddy M., Sai Venkata Nitin B., Narayana Garlapati   +2 more
doaj   +1 more source

slickml/slick-ml: Version 0.2.1

, 2022
What's Changed Fixed Bumped version and updated CHANGELOG by @amirhessam88 in https://github.com/slickml/slick-ml/pull/178 Fixed badges in API docs by @amirhessam88 in https://github.com/slickml/slick-ml/pull/174 Added Rolled out basic CLI ...
Eitan Lees, Chad Crawford, Trace Smith, Amirhessam Tahmassebi   +3 more
core   +1 more source

Automated Cyberbullying Activity Detection using Machine Learning Algorithm [PDF]

E3S Web of Conferences, 2023
Cyberbullying is the use of technology to harass, intimidate, or harm another person by making hurtful comments, sending threatening messages to humiliate someone in social media.
Yoganand Bharadwaj Vedadri, Likhitha Vasamsetti, Vardhini Vootnoori, Uma Sree Asritha Adari, Dhyani Saurabh, Lakshmi Kanth M.   +5 more
doaj   +1 more source

Functional programming languages for verification tools: a comparison of Standard ML and Haskell [PDF]

, 2005
We compare Haskell with Standard ML as programming languages for verification tools based on our experience developing the verification platform Truth in Haskell and the Edinburgh Concurrency Workbench (CWB) in Standard ML.
Weber, Michael, Stevens, Perdita, Noll, Thomas, Leucker, Martin   +3 more
core   +1 more source

slickml/slick-ml: Version 0.2.0

, 2022
What's Changed Fixed XGBoostHyperOptimizer refactor by @amirhessam88 in https://github.com/slickml/slick-ml/pull/169 Added Rolled out type checking with mypy by @amirhessam88 in https://github.com/slickml/slick-ml/pull/171 Rolled out more flake8 ...
Eitan Lees, Chad Crawford, Trace Smith, Amirhessam Tahmassebi   +3 more
core   +1 more source