A detailed study of bounded ACh-unification

Brandão, Guilherme Borges

A detailed study of bounded ACh-unification

में बचाया:

ग्रंथसूची विवरण
मुख्य लेखक:	Brandão, Guilherme Borges
प्रकाशन तिथि:	2024
स्वरूप:	Master thesis
भाषा:	eng
स्रोत:	Repositório Institucional da UnB
Download full:	http://repositorio.unb.br/handle/10482/49595
सारांश:	Dissertação (mestrado) — Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2024.

समान संसाधन: A detailed study of bounded ACh-unification

त्वरित देखें
Syntactic, commutative and associative anti-unification
त्वरित देखें
Um estudo em unificação e desunificação módulo
त्वरित देखें
A non-commutative model for AdS/CFT correspondence
त्वरित देखें
Anti-unification in absorptive theories
त्वरित देखें
Fixed-point constraints for nominal equational unification
त्वरित देखें
Empirical study of the relationship of architectural form details to the state of conservation of modern heritage through damage maps
त्वरित देखें
Comutatividade fraca por bijeção entre grupos abelianos
त्वरित देखें
Positive bound states for nonlinear Schrödinger equations in exterior domains
त्वरित देखें
Nominal anti-unification with atom-variables
त्वरित देखें
Unification modulo Presburger Arithmetic and other decidable theories
त्वरित देखें
Rhythmic control for functional electrical stimulation applications using detailed musculoskeletal models
त्वरित देखें
Learning and bounded rationality in banking crises
त्वरित देखें
Nonparametric intensity bounds for the delineation of spatial clusters
त्वरित देखें
Similaridade, docking e dinâmica molecular : combinação de estratégias na busca de novos inibidores da hAChE
त्वरित देखें
Estudos de estrutura eletrônica e análise multivariada de candidatos a inibidores da AChE
त्वरित देखें
Síntese e avaliação farmacológica de novos inibidores AChE planejados a partir do ácido anacárdico
त्वरित देखें
Bounding power: republican security theory from the polis to the global village
त्वरित देखें
Psychoactive substances use before suicide : detailed analysis of all cases that occurred in the Brazilian Federal District in a 10-years period
त्वरित देखें
Energy condition bounds in () theories for observational confrontation : an application to the Hu-Sawicki model
त्वरित देखें
Finite groups of bounded rank admitting an almost regular automorphism : a lie-theoretic approach
त्वरित देखें
Bounding box-free instance segmentation using semi-supervised iterative learning for vehicle detection
त्वरित देखें
Ground state sign-changing solutions and infinitely many solutions for fractional logarithmic Schrödinger equations in bounded domains
त्वरित देखें
Optimization methods on Riemannian manifolds with lower bound curvature: gradient for scalar and multi-objective functions and subgradient for scalar functions
त्वरित देखें
Rearrangements in thyroid hormone receptor charge clusters that stabilize bound 3,5',5-triiodo-l-thyronine and inhibit homodimer formation