57 results on '"José Antonio Hernández"'
Search Results
2. ModelMate: A recommender for textual modeling languages based on pre-trained language models.
3. Using Run-Time Information to Enhance Static Analysis of Machine Learning Code in Notebooks.
4. A Method for Counting Models on Cubic Boolean Formulas.
5. Word Embeddings for Model-Driven Engineering.
6. Automated Domain Modeling with Large Language Models: A Comparative Study.
7. ALPINE: An adaptive language-agnostic pruning method for language models for code.
8. On Inter-dataset Code Duplication and Data Leakage in Large Language Models.
9. Generating Structurally Realistic Models With Deep Autoregressive Networks.
10. AST-Probe: Recovering abstract syntax trees from hidden representations of pre-trained language models.
11. Machine learning methods for model classification: a comparative study.
12. Using the ModelSet dataset to support machine learning in model-driven engineering.
13. ModelSet: A labelled dataset of software models for machine learning.
14. A method for counting models on grid Boolean formulas.
15. An efficient and scalable search engine for models.
16. ModelSet: a dataset for machine learning in model-driven engineering.
17. Approximate the Clique-Width of a Graph Using Shortest Paths.
18. Towards the Characterization of Realistic Model Generators using Graph Neural Networks.
19. A Linear Time Algorithm for Counting #2SAT on Series-Parallel Formulas.
20. MAR: a structure-based search engine for models.
21. AST-Probe: Recovering abstract syntax trees from hidden representations of pre-trained language models.
22. Computing the Clique-Width on Series-Parallel Graphs.
23. Measurements in quantum programming language QML.
24. A bottom-up algorithm for solving ♯2SAT.
25. Model counting for #2SAT problem in outerplanar graphs.
26. A history and reversibility for quantum programming language QML.
27. A Hybrid Feature Extraction Method for Offline Handwritten Math Symbol Recognition.
28. Nonlinear Analysis of Rotational Springs to Model Semi-Rigid Frames.
29. Extending Extremal Polygonal Arrays for the Merrifield-Simmons Index.
30. A New Optimization Strategy for Solving the Fall-Off Boundary Value Problem in Pixel-Value Differencing Steganography.
31. MAR: A structure-based search engine for models.
32. An Optimization Approach to the TWPVD Method for Digital Image Steganography.
33. Computing the clique-width of cactus graphs.
34. The incremental satisfiability problem for a two conjunctive normal form.
35. A simplied feature vector obtained by wavelets method for fast and accurate recognition of handwritten characters off-line.
36. Computing the Clique-Width of Polygonal Tree Graphs.
37. Approximate the chromatic number of a graph using maximal independent sets.
38. Computational FEM Model, Phantom and Ex Vivo Swine Breast Validation of an Optimized Double-Slot Microcoaxial Antenna Designed for Minimally Invasive Breast Tumor Ablation: Theoretical and Experimental Comparison of Temperature, Size of Lesion, and SWR, Preliminary Data.
39. A Modification of the TPVD Algorithm for Data Embedding.
40. A Parametric Polynomial Deterministic Algorithm for #2SAT.
41. An algorithm to approximate the chromatic number of graphs.
42. Computing the Clique-width of Cactus Graphs.
43. The Incremental Satisfiability Problem for a Two Conjunctive Normal Form.
44. Low - exponential Algorithm for Counting the Number of Edge Cover on Simple Graphs.
45. Edge covering of acyclic graphs.
46. A GMP-FC++ Implementation of a Calculator for Exact Real Number Computation Based on LRT.
47. Un algoritmo para calcular #2SAT.
48. Development of an Interpreter for LRT using the Exact Real Number Paradigm.
49. Functional first order de definability of LRTp.
50. A Simulator for Teaching Automatas and Formal Languages - FLyA.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.