7 resultados para FIRST-ORDER ABDUCTION
em Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco
Resumo:
In this work, a study of the nematic (N)-isotropic (I) phase transition has been made in a series of odd non-symmetric liquid crystal dimers, the alpha-(4-cyanobiphenyl-4'-yloxy)-omega-(1-pyrenimine-benzylidene-4'-oxy) alkanes, by means of accurate calorimetric and dielectric measurements. These materials are potential candidates to present the elusive biaxial nematic (N-B) phase, as they exhibit both molecular biaxiality and flexibility. According to the theory, the uniaxial nematic (N-U)-isotropic (I) phase transition is first-order in nature, whereas the N-B-I phase transition is second-order. Thus, a fine analysis of the critical behavior of the N-I phase transition would allow us to determine the presence or not of the biaxial nematic phase and understand how the molecular biaxiality and flexibility of these compounds influences the critical behavior of the N-I phase transition.
Resumo:
21 p.
Resumo:
2nd International Conference on Education and New Learning Technologies
Resumo:
18 p.
Resumo:
This paper investigates stability and asymptotic properties of the error with respect to its nominal version of a nonlinear time-varying perturbed functional differential system subject to point, finite-distributed, and Volterra-type distributed delays associated with linear dynamics together with a class of nonlinear delayed dynamics. The boundedness of the error and its asymptotic convergence to zero are investigated with the results being obtained based on the Hyers-Ulam-Rassias analysis.
Resumo:
[ES] Se trata de dar una interpretación a la posible relación entre la elección del prólogo como elemento representativo del arte trágico y ciertos aspectos bajo los que éste es criticado en « Ranas» (la "orthoepeia"). La autora sugiere que estamos ante un modo de llamar la atención sobre el carácter ficcional y analítico de la creación trágica, puesto de manifiesto a través de un elemento enmarcador de primer orden como era el prólogo para Aristófanes.
Resumo:
We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether or not the sentence is true on the structure. We present a proof system for certifying the falsity of QCSP instances and develop its basic theory; for instance, we provide an algorithmic interpretation of its behavior. Our proof system places the established Q-resolution proof system in a broader context, and also allows us to derive QCSP tractability results.