202 results on '"Silva, Joao"'
Search Results
2. Logic-Based Explainability in Machine Learning
3. Certified Logic-Based Explainable AI – The Case of Monotonic Classifiers
4. Kombiniertes Ausdauer- und Krafttraining zur Leistungssteigerung im Fußball
5. Feature Necessity & Relevancy in ML Classifier Explanations
6. EMPILHADEIRA AUTOMÁTICA
7. Game Theory for Cooperation in Multi-Access Edge Computing
8. O CUIDADO DE ENFERMAGEM PRESTADO AO ADOLESCENTE NA ESTRATÉGIA DE SAÚDE DA FAMÍLIA: REVISÃO BIBLIOGRÁFICA
9. Regional Stability of Nonlinear Sampled-Data Controlled Systems Under Actuator Saturation: A Quasi-LPV Approach
10. Epilepsia e saúde pública: Desafios durante a pandemia da COVID-19 no Brasil
11. Encoding Health Records into Pathway Representations for Deep Learning
12. Chapter 8 - Rivers from the Western Amazon
13. Social Determinant Trends of COVID-19: An Analysis Using Knowledge Graphs from Published Evidence and Online Trends
14. Chapter 4. Conflict-Driven Clause Learning SAT Solvers
15. List of contributors
16. EFEITOS ERGOGÊNICOS E TERAPÊUTICOS DO USO DA CREATINA:UMA REVISÃO DE LITERATURA
17. Simple Valuation of Compounded Deferred Tax Assets Using a Binomial Algorithm
18. Cannabinoids and psychosis: current challenges of mechanistic toxicology
19. SAT-Based Rigorous Explanations for Decision Lists
20. Assessing Progress in SAT Solvers Through the Lens of Incremental SAT
21. From Contrastive to Abductive Explanations and Back Again
22. Valuation of Deferred Tax Assets Using a Closed Form Solution
23. Exploring the Social Drivers of Health During a Pandemic: Leveraging Knowledge Graphs and Population Trends in COVID-19
24. PRODUÇÃO DE AIPIM EM SOLOS TURFOSOS DE ITAJAÍ: UMA POTENCIAL INDICAÇÃO GEOGRÁFICA E DISCUSSÃO
25. Interferon-Gamma in Trypanosoma cruzi Infections
26. Adsorption of Triclosan on Sensors Based on PAH/PAZO Thin-Films: The Effect of pH
27. Towards Formal Fairness in Machine Learning
28. Reasoning About Strong Inconsistency in ASP
29. FORMAÇÃO COM TENDAS INVERTIDAS NO ESTÁGIO MÉDICO EM UNIDADE DE SAÚDE DA FAMÍLIA
30. Fatigue Monitoring
31. Extreme Design: Preparing for a Different Future
32. Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference
33. Extração de polissacarídeos em parede celular da Aloe Vera Barbadensis Miller (Babosa)
34. Assessing Heuristic Machine Learning Explanations with Model Counting
35. Structure for Knowledge Acquisition, Use, Learning and Collaboration Inter Agents over Internet Infrastructure Domains
36. On Computing the Union of MUSes
37. Computing Shortest Resolution Proofs
38. Game Theory for Cooperation in Multi-Access Edge Computing
39. DRMaxSAT with MaxHS: First Contact
40. Concurrent Aerobic and Strength Training for Performance in Soccer
41. Differences and Implications of Animal Models for the Study of Alzheimer's Disease
42. A SAT-Based Approach to Learn Explainable Decision Sets
43. Propositional SAT Solving
44. Computing with SAT Oracles: Past, Present and Future
45. PySAT: A Python Toolkit for Prototyping with SAT Oracles
46. Flexible Work Cell Simulator Using Digital Twin Methodology for Highly Complex Systems in Industry 4.0
47. Chapter 2 - Genetic modification of plants to increase the saccharification of lignocellulose
48. Improving MCS Enumeration via Caching
49. Horn Maximum Satisfiability: Reductions, Algorithms and Applications
50. An Achilles’ Heel of Term-Resolution
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.