Herbrand Theorems for Substructural Logics

Herbrand and Skolemization theorems are obtained for a broad family of first-order substructural logics. These logics typically lack equivalent prenex forms, a deduction theorem, and reductions of semantic consequence to satisfiability. The Herbrand and Skolemization theorems therefore take various forms, applying either to the left or right of the consequence relation, and to restricted classes of formulas.

Myth, Language, and Complex Ideologies

Ideologies use for their conservation and propagation persuasive methods of communication: rhetoric. Rhetoric is analyzed from the semiotic and logical-mathematical points of view. The following hypotheses are established: (1) language L is a self-explanatory system, mediated by a successive series of systems of cultural conventions, (2) connotative significances of an ideological advertising rhetoric must be known, and (3) the notion of ideological information is a neutral notion that does not imply the valuation of ideology or its conditions of veracity or falsification. Rhetorical figures like metonymy, metaphor, parable analogy, and allegory are defined as relations. Metaphor and parable are order relations. Operations of metonymic and metaphoric substitution are defined and several theorems derived from these operations have been deduced.

Generalized Convolution Transforms and Toeplitz Plus Hankel Integral Equations

Mathematics Subject Classification: 44A05, 44A35

Some Distortion Theorems for Starlike Harmonic Functions

MSC 2010: 30C55, 30C45

What can be learned from failed proofs of non-theorems?

This paper reports an investigation into the link between failed proofs and non-theorems. It seeks to answer the question of whether anything more can be learned from a failed proof attempt than can be discovered from a counter-example. We suggest that the branch of the proof in which failure occurs can be mapped back to the segments of code that are the culprit, helping to locate the error. This process of tracing provides finer grained isolation of the offending code fragments than is possible from the inspection of counter-examples. We also discuss ideas for how such a process could be automated.

Topological properties of the one dimensional exponential random geometric graph

In this article we study the one-dimensional random geometric (random interval) graph when the location of the nodes are independent and exponentially distributed. We derive exact results and limit theorems for the connectivity and other properties associated with this random graph. We show that the asymptotic properties of a graph with a truncated exponential distribution can be obtained using the exponential random geometric graph. © 2007 Wiley Periodicals, Inc. Random Struct. Alg., 2008.

Properties of Toeplitz operators on analytic function spaces : from function symbols to distributions

Toeplitz operators are among the most important classes of concrete operators with applications to several branches of pure and applied mathematics. This doctoral thesis deals with Toeplitz operators on analytic Bergman, Bloch and Fock spaces. Usually, a Toeplitz operator is a composition of multiplication by a function and a suitable projection. The present work deals with generalizing the notion to the case where the function is replaced by a distributional symbol. Fredholm theory for Toeplitz operators with matrix-valued symbols is also considered. The subject of this thesis belongs to the areas of complex analysis, functional analysis and operator theory. This work contains five research articles. The articles one, three and four deal with finding suitable distributional classes in Bergman, Fock and Bloch spaces, respectively. In each case the symbol class to be considered turns out to be a certain weighted Sobolev-type space of distributions. The Bergman space setting is the most straightforward. When dealing with Fock spaces, some difficulties arise due to unboundedness of the complex plane and the properties of the Gaussian measure in the definition. In the Bloch-type spaces an additional logarithmic weight must be introduced. Sufficient conditions for boundedness and compactness are derived. The article two contains a portion showing that under additional assumptions, the condition for Bergman spaces is also necessary. The fifth article deals with Fredholm theory for Toeplitz operators having matrix-valued symbols. The essential spectra and index theorems are obtained with the help of Hardy space factorization and the Berezin transform, for instance. The article two also has a part dealing with matrix-valued symbols in a non-reflexive Bergman space, in which case a condition on the oscillation of the symbol (a logarithmic VMO-condition) must be added.

Thermomechanical behaviour of pin joints subjected to sheet loads

An important problem regarding pin joints in a thermal environment is addressed. The motivation emerges from structural safety requirements in nuclear and aerospace engineering. A two-dimensional model of a smooth, rigid misfit pin in a large isotropic sheet is considered as an abstraction. The sheet is subjected to a biaxial stress system and far-field unidirectional heat flow. The thermoelastic analysis is complex due to non-linear load-dependent contact and separation conditions at the pin-hole interface and the absence of existence and uniqueness theorems for the class of frictionless thermoelastic contact problems. Identification of relevant parameters and appropriate synthesis of thermal and mechanical variables enables the thermomechanical generalization of pin-joint behaviour. This paper then proceeds to explore the possibility of multiple solutions in such problems, especially interface contact configuration.

Evaluación de la producción de granos del gandul (Cajanus cajan) L. Millsp en suelos francos, en la zona del Pacífico de Managua

El presente trabajo se realizó en la Universidad Nacional Agraria (UNA), ubicada en el municipio de Managua, durante el período de agosto a marzo (1999-2000). Se evaluó el efecto de tres densidades de siembra del gandul (Cajanus cajan) (L). (Millsp) sobre la producción de granos. Para esto se utilizó un diseño en bloques completos al azar , con tres bloques y tres tratamientos . Las variables estudiadas fueron: Altura promedio de la planta (cm), Diámetro del tallo (cm), Número de vainas por planta, Número de granos por vainas, y Producción de granos en kg/ha. El análisis estadístico consistió, en análisis de varianza y separación de medias usando Duncan. En el cual se determinó que hubo efecto significativo al (P< 0.001) entre tratamiento para las variables Altura de la planta y Número de vainas por plantas y producción de granos, y significativo al (P< 0.05) entre bloques. La mayor producción de granos se obtuvo del (T3) con 3183.8 kg/ha, el que también resulto el de mejor rentabilidad económica.

Caracterizacion del comportamiento de la estomatitis vesicular en animales domesticos de pezuña hendida en la sexta region (Jinotega y Matagalpa) en el periodo 2008

El presente trabajo se realizó con el fin de contribuir al conocimiento dando a conocer la Caracterización del comportamiento de la estomatitis Vesicular en animales domésticos de pezuña hendida en la región VI (Jinotega y Matagalpa) en el periodo 2008, debido a su gran poder de difusión considerando que en Nicaragua no existe un programa de erradicación o control de la estomatitis vesicular, aunque los humanos también pueden contraer estomatitis vesicular. Se hizo necesario realizar un monitoreo de la enfermedad en esta región, determinar el tipo de cepa que es mas prevalente en la especie de pezuña hendida y el lugar anatómico que más afecta , se tomaron muestras en conjunto con técnicos del MAGFOR y fueron enviadas al Laboratorio de Diagnóstico de Enfermedades Vesiculares (LADIVES) ,localizado en Panamá, se llevó a cabo un análisis estadístico descriptivo, para este análisis se utilizó la información que se colectó en los casos atendidos entre el mes de Julio a Diciembre 2008 y la información retrospectiva de Enero a Junio, con apoyo de la base de datos de Enfermedades Vesiculares que lleva la oficina del Convenio Bilateral Antiaftosa (CAB) del MAGFOR Se elaboraron distribuciones de frecuencia, para las variables; diagnóstico, prevalencia, especie animal y región anatómica, lo que nos accedió informarnos sobre los valores concretos que adoptaron las variables a analizar y sobre el número(o porcentaje) de veces que se repite cada uno de esos valores y nos permitió construir los diagramas con los resultados, concluyendo que de un total de 132 muestras enviadas al laboratorio 82 resultaron positivas a Estomatitis Vesicular, 44 de ellas resultaron al serotipo New Jersey en la zona de Matagalpa y 33 en Jinotega, 5 resultaron positivas al serotipo Indian a en Matagalpa y en la región de Jinotega no se presentó ninguna positiva a este serotipo, la especie más afectada fue el bovino, de las 132 muestras enviadas 129 fueron tomadas en esta especie, siendo las pezuñas el lugar anatómico de mayor predilección para el virus, del total de muestras 91 se tomaran esta región, manifestándose con mayor frecuencia en épocas de lluvia sobre todo en los meses de mayo a octubre.

Influence of heated catalyzer on thermal distribution of substrate in HWCVD system

Based on Stefan-Boltzman and Lambert theorems, the radiation energy distribution on substrate (REDS) from catalyzer with parallel filament geometry has been simulated by variation of filament and system layout in hot-wire chemical vapor deposition. The REDS uniformity is sensitive to the distance between filament and substrate d(f-s) when d(f-s) less than or equal to 4 cm. As d(f-s) > 4 cm, the REDS uniformity is independent of d(f-s) and is mainly determined by filament number and filament separation. Two-dimensional calculation shows that the REDS uniformity is limited by temperature decay at filament edges. The simulation data are in good agreement with experiments. (C) 2003 Elsevier Science B.V. All rights reserved.

Influence of heated catalyzer on thermal distribution of substrate in HWCVD system

Based on Stefan-Boltzman and Lambert theorems, the radiation energy distribution on substrate (REDS) from catalyzer with parallel filament geometry has been simulated by variation of filament and system layout in hot-wire chemical vapor deposition. The REDS uniformity is sensitive to the distance between filament and substrate d(f-s) when d(f-s) less than or equal to 4 cm. As d(f-s) > 4 cm, the REDS uniformity is independent of d(f-s) and is mainly determined by filament number and filament separation. Two-dimensional calculation shows that the REDS uniformity is limited by temperature decay at filament edges. The simulation data are in good agreement with experiments. (C) 2003 Elsevier Science B.V. All rights reserved.

Mind mapping: A tool to facilitate learning; why not give it a try?

Schools of nursing continuously strive to facilitate learning through student engagement and teaching strategies that encourage active learning. This paper reports on the successful use of mind mapping, an underutilised and underdeveloped strategy, to enhance teaching and learning in undergraduate nurse education (Spencer et al., 2013). Mind mapping or concept mapping has been defined in the literature as a visual representation of one’s thoughts and ideas (Abel and Freeze, 2006). It is characterised by colour, images and text in a graphical, nonlinear style. Mind maps promote the linking of concepts and capitalise on the brain’s natural aptitude for visual recognition to enhance learning and memory recall (Buzan, 2006). Traditional teaching strategies depend on linear processes, which in comparison lack engagement, associations and creativity (Spencer et al., 2013). Mind mapping was introduced to nursing students undertaking modules in ‘Dimensions of Care’ and ‘Care Delivery’ on year two of the nursing degree programme in Queen’s University Belfast. The aim of introducing mind mapping was to help students make the critical link between the pathophysiology of conditions studied and the provision of informed, safe and effective patient care, which had challenged previous student cohorts. Initially maps were instructor-made as described by Boley (2008), as a template for note taking during class and as a study aid. However, students rapidly embraced the strategy and started creating their own mind maps. Meaningful learning occurs when students engage with concepts and organise them independently in a way significant to them (Buzan, 2006). Students reported high levels of satisfaction to this teaching approach. This paper will present examples of the mind maps produced and explore how mind mapping can be further utilised within the undergraduate nursing curriculum.

Cálculo das variações fraccional generalizado

Nesta tese de doutoramento apresentamos um cálculo das variações fraccional generalizado. Consideramos problemas variacionais com derivadas e integrais fraccionais generalizados e estudamo-los usando métodos directos e indirectos. Em particular, obtemos condições necessárias de optimalidade de Euler-Lagrange para o problema fundamental e isoperimétrico, condições de transversalidade e teoremas de Noether. Demonstramos a existência de soluções, num espaço de funções apropriado, sob condições do tipo de Tonelli. Terminamos mostrando a existência de valores próprios, e correspondentes funções próprias ortogonais, para problemas de Sturm- Liouville.