71 results on '"Mauricio Ayala-Rincón"'
Search Results
2. Equational Anti-unification over Absorption Theories.
3. Nominal AC-Matching.
4. Formalization of Algebraic Theorems in PVS (Invited Talk).
5. A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts.
6. Reconfigurable Heterogeneous Parallel Island Models.
7. Hall's Theorem for Enumerable Families of Finite Sets.
8. A Certified Algorithm for AC-Unification.
9. Heterogeneous Parallel Island Models.
10. Nominal Equational Problems.
11. Formal Verification of Termination Criteria for First-Order Recursive Functions.
12. An Investigation into General Nominal Equational Problems (Work in progress).
13. Parallel Social Spider Optimization Algorithms with Island Model for the Clustering Problem.
14. Behavior of Bioinspired Algorithms in Parallel Island Models.
15. A Study of the Impact of Formulation of Cost Function in Task Mapping Problem on NoCs.
16. Application of an Adaptive Genetic Algorithm for Task Mapping Optimisation on a Wormhole-based Real-time Network-on-Chip.
17. On Solving Nominal Disunification Constraints.
18. Parallel Island Model Genetic Algorithms applied in NP-Hard problems.
19. A Certified Functional Nominal C-Unification Algorithm.
20. The Computational Relevance of Formal Logic Through Formal Proofs.
21. A Grammar Compression Algorithm Based on Induced Suffix Sorting.
22. Fixed-Point Constraints for Nominal Equational Unification.
23. Parallel Multi-Island Genetic Algotirth for Sorting Unsigned Genomes by Reversals.
24. Formalization of the Undecidability of the Halting Problem for a Functional Language.
25. Variable neighborhood search for the large phylogeny problem using gene order data.
26. Parallel genetic algorithms with sharing of individuals for sorting unsigned genomes by reversals.
27. Nominal C-Unification.
28. On Solving Nominal Fixpoint Equations.
29. Nominal Narrowing.
30. Parallel memetic genetic algorithms for sorting unsigned genomes by translocations.
31. Computing translocation distance by a genetic algorithm.
32. Memetic and Opposition-Based Learning Genetic Algorithms for Sorting Unsigned Genomes by Translocations.
33. Metaconfluence of Calculi with Explicit Substitutions at a Distance.
34. Verification of Hardware Implementations through Correctness of their Recursive Definitions in PVS.
35. On the Computability of Relations on λ-Terms and Rice's Theorem - The Case of the Expansion Problem for Explicit Substitutions.
36. Memetic algorithm for sorting unsigned permutations by reversals.
37. Hardware-based parallel firefly algorithm for embedded applications.
38. Parallelization and virtualization of genetic algorithms for sorting permutations by reversals.
39. Opposition-based shuffled PSO with passive congregation applied to FM matching synthesis.
40. Hardware Particle Swarm Optimization Based on the Attractive-Repulsive Scheme for Embedded Applications.
41. Accelerating the Shuffled Frog Leaping algorithm by parallel implementations in FPGAs.
42. Comparison between two FPGA implementations of the Particle Swarm Optimization algorithm for high-performance embedded applications.
43. Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures.
44. Intersection Type Systems and Explicit Substitutions Calculi.
45. Verification of the Completeness of Unification Algorithms à la Robinson.
46. Hardware Architecture for Particle Swarm Optimization Using Floating-Point Arithmetic.
47. Principal Typings for Explicit Substitutions Calculi.
48. Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm.
49. Implementation, Simulation and Validation of Dispatching Algorithms for Elevator Systems.
50. Implementation of dispatching algorithms for elevator systems using reconfigurable architectures.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.