919 resultados para Visualization Using Computer Algebra Tools


Relevância:

100.00% 100.00%

Publicador:

Resumo:

In recent years, there is a visible trend for products/services which demand seamless integration of cellular networks, WLANs and WPANs. This is a strong indication for the inclusion of high speed short range wireless technology in future applications. In this context UWB radio has a significant role to play as an extension/complement to existing cellular/access technology. In the present work, three major types of ultra wide band planar antennas are investigated: Monopole and Slot. Three novel compact UWB antennas, suitable for poratble applications, are designed and characterized, namely 1) Ground modified monopole 2) Serrated monopole 3) Triangular slot The performance of these designs have been studied using standard simulation tools used in industry/academia and they have been experimentally verified. Antenna design guidelines are also deduced by accounting the resonances in each structure. In addition to having compact sized, high efficiency and broad bandwidth antennas, one of the major criterion in the design of impulse-UWB systems have been the transmission of narrow band pulses with minimum distortion. The key challenge is not only to design a broad band antenna with constant and stable gain but to maintain a flat group delay or linear phase response in the frequency domain or excellent transient response in time domain. One of the major contributions of the thesis lies in the analysis of the frequency and timedomain response of the designed UWB antennas to confirm their suitability for portable pulsed-UWB systems. Techniques to avoid narrowband interference by engraving narrow slot resonators on the antenna is also proposed and their effect on a nano-second pulse have been investigated

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Anticipating the increase in video information in future, archiving of news is an important activity in the visual media industry. When the volume of archives increases, it will be difficult for journalists to find the appropriate content using current search tools. This paper provides the details of the study we conducted about the news extraction systems used in different news channels in Kerala. Semantic web technologies can be used effectively since news archiving share many of the characteristics and problems of WWW. Since visual news archives of different media resources follow different metadata standards, interoperability between the resources is also an issue. World Wide Web Consortium has proposed a draft for an ontology framework for media resource which addresses the intercompatiblity issues. In this paper, the w3c proposed framework and its drawbacks is also discussed

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The Bieberbach conjecture about the coefficients of univalent functions of the unit disk was formulated by Ludwig Bieberbach in 1916 [Bieberbach1916]. The conjecture states that the coefficients of univalent functions are majorized by those of the Koebe function which maps the unit disk onto a radially slit plane. The Bieberbach conjecture was quite a difficult problem, and it was surprisingly proved by Louis de Branges in 1984 [deBranges1985] when some experts were rather trying to disprove it. It turned out that an inequality of Askey and Gasper [AskeyGasper1976] about certain hypergeometric functions played a crucial role in de Branges' proof. In this article I describe the historical development of the conjecture and the main ideas that led to the proof. The proof of Lenard Weinstein (1991) [Weinstein1991] follows, and it is shown how the two proofs are interrelated. Both proofs depend on polynomial systems that are directly related with the Koebe function. At this point algorithms of computer algebra come into the play, and computer demonstrations are given that show how important parts of the proofs can be automated.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This article surveys the classical orthogonal polynomial systems of the Hahn class, which are solutions of second-order differential, difference or q-difference equations. Orthogonal families satisfy three-term recurrence equations. Example applications of an algorithm to determine whether a three-term recurrence equation has solutions in the Hahn class - implemented in the computer algebra system Maple - are given. Modifications of these families, in particular associated orthogonal systems, satisfy fourth-order operator equations. A factorization of these equations leads to a solution basis.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The object of research presented here is Vessiot's theory of partial differential equations: for a given differential equation one constructs a distribution both tangential to the differential equation and contained within the contact distribution of the jet bundle. Then within it, one seeks n-dimensional subdistributions which are transversal to the base manifold, the integral distributions. These consist of integral elements, and these again shall be adapted so that they make a subdistribution which closes under the Lie-bracket. This then is called a flat Vessiot connection. Solutions to the differential equation may be regarded as integral manifolds of these distributions. In the first part of the thesis, I give a survey of the present state of the formal theory of partial differential equations: one regards differential equations as fibred submanifolds in a suitable jet bundle and considers formal integrability and the stronger notion of involutivity of differential equations for analyzing their solvability. An arbitrary system may (locally) be represented in reduced Cartan normal form. This leads to a natural description of its geometric symbol. The Vessiot distribution now can be split into the direct sum of the symbol and a horizontal complement (which is not unique). The n-dimensional subdistributions which close under the Lie bracket and are transversal to the base manifold are the sought tangential approximations for the solutions of the differential equation. It is now possible to show their existence by analyzing the structure equations. Vessiot's theory is now based on a rigorous foundation. Furthermore, the relation between Vessiot's approach and the crucial notions of the formal theory (like formal integrability and involutivity of differential equations) is clarified. The possible obstructions to involution of a differential equation are deduced explicitly. In the second part of the thesis it is shown that Vessiot's approach for the construction of the wanted distributions step by step succeeds if, and only if, the given system is involutive. Firstly, an existence theorem for integral distributions is proven. Then an existence theorem for flat Vessiot connections is shown. The differential-geometric structure of the basic systems is analyzed and simplified, as compared to those of other approaches, in particular the structure equations which are considered for the proofs of the existence theorems: here, they are a set of linear equations and an involutive system of differential equations. The definition of integral elements given here links Vessiot theory and the dual Cartan-Kähler theory of exterior systems. The analysis of the structure equations not only yields theoretical insight but also produces an algorithm which can be used to derive the coefficients of the vector fields, which span the integral distributions, explicitly. Therefore implementing the algorithm in the computer algebra system MuPAD now is possible.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Die q-Analysis ist eine spezielle Diskretisierung der Analysis auf einem Gitter, welches eine geometrische Folge darstellt, und findet insbesondere in der Quantenphysik eine breite Anwendung, ist aber auch in der Theorie der q-orthogonalen Polynome und speziellen Funktionen von großer Bedeutung. Die betrachteten mathematischen Objekte aus der q-Welt weisen meist eine recht komplizierte Struktur auf und es liegt daher nahe, sie mit Computeralgebrasystemen zu behandeln. In der vorliegenden Dissertation werden Algorithmen für q-holonome Funktionen und q-hypergeometrische Reihen vorgestellt. Alle Algorithmen sind in dem Maple-Package qFPS, welches integraler Bestandteil der Arbeit ist, implementiert. Nachdem in den ersten beiden Kapiteln Grundlagen geschaffen werden, werden im dritten Kapitel Algorithmen präsentiert, mit denen man zu einer q-holonomen Funktion q-holonome Rekursionsgleichungen durch Kenntnis derer q-Shifts aufstellen kann. Operationen mit q-holonomen Rekursionen werden ebenfalls behandelt. Im vierten Kapitel werden effiziente Methoden zur Bestimmung polynomialer, rationaler und q-hypergeometrischer Lösungen von q-holonomen Rekursionen beschrieben. Das fünfte Kapitel beschäftigt sich mit q-hypergeometrischen Potenzreihen bzgl. spezieller Polynombasen. Wir formulieren einen neuen Algorithmus, der zu einer q-holonomen Rekursionsgleichung einer q-hypergeometrischen Reihe mit nichttrivialem Entwicklungspunkt die entsprechende q-holonome Rekursionsgleichung für die Koeffizienten ermittelt. Ferner können wir einen neuen Algorithmus angeben, der umgekehrt zu einer q-holonomen Rekursionsgleichung für die Koeffizienten eine q-holonome Rekursionsgleichung der Reihe bestimmt und der nützlich ist, um q-holonome Rekursionen für bestimmte verallgemeinerte q-hypergeometrische Funktionen aufzustellen. Mit Formulierung des q-Taylorsatzes haben wir schließlich alle Zutaten zusammen, um das Hauptergebnis dieser Arbeit, das q-Analogon des FPS-Algorithmus zu erhalten. Wolfram Koepfs FPS-Algorithmus aus dem Jahre 1992 bestimmt zu einer gegebenen holonomen Funktion die entsprechende hypergeometrische Reihe. Wir erweitern den Algorithmus dahingehend, dass sogar Linearkombinationen q-hypergeometrischer Potenzreihen bestimmt werden können. ________________________________________________________________________________________________________________

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Sei $N/K$ eine galoissche Zahlkörpererweiterung mit Galoisgruppe $G$, so dass es in $N$ eine Stelle mit voller Zerlegungsgruppe gibt. Die vorliegende Arbeit beschäftigt sich mit Algorithmen, die für das gegebene Fallbeispiel $N/K$, die äquivariante Tamagawazahlvermutung von Burns und Flach für das Paar $(h^0(Spec(N), \mathbb{Z}[G]))$ (numerisch) verifizieren. Grob gesprochen stellt die äquivariante Tamagawazahlvermutung (im Folgenden ETNC) in diesem Spezialfall einen Zusammenhang her zwischen Werten von Artinschen $L$-Reihen zu den absolut irreduziblen Charakteren von $G$ und einer Eulercharakteristik, die man in diesem Fall mit Hilfe einer sogenannten Tatesequenz konstruieren kann. Unter den Voraussetzungen 1. es gibt eine Stelle $v$ von $N$ mit voller Zerlegungsgruppe, 2. jeder irreduzible Charakter $\chi$ von $G$ erfüllt eine der folgenden Bedingungen 2a) $\chi$ ist abelsch, 2b) $\chi(G) \subset \mathbb{Q}$ und $\chi$ ist eine ganzzahlige Linearkombination von induzierten trivialen Charakteren; wird ein Algorithmus entwickelt, der ETNC für jedes Fallbeispiel $N/\mathbb{Q}$ vollständig beweist. Voraussetzung 1. erlaubt es eine Idee von Chinburg ([Chi89]) umzusetzen zur algorithmischen Berechnung von Tatesequenzen. Dabei war es u.a. auch notwendig lokale Fundamentalklassen zu berechnen. Im höchsten zahm verzweigten Fall haben wir hierfür einen Algorithmus entwickelt, der ebenfalls auf den Ideen von Chinburg ([Chi85]) beruht, die auf Arbeiten von Serre [Ser] zurück gehen. Für nicht zahm verzweigte Erweiterungen benutzen wir den von Debeerst ([Deb11]) entwickelten Algorithmus, der ebenfalls auf Serre's Arbeiten beruht. Voraussetzung 2. wird benötigt, um Quotienten aus den $L$-Werten und Regulatoren exakt zu berechnen. Dies gelingt, da wir im Fall von abelschen Charakteren auf die Theorie der zyklotomischen Einheiten zurückgreifen können und im Fall (b) auf die analytische Klassenzahlformel von Zwischenkörpern. Ohne die Voraussetzung 2. liefern die Algorithmen für jedes Fallbeispiel $N/K$ immer noch eine numerische Verifikation bis auf Rechengenauigkeit. Den Algorithmus zur numerischen Verifikation haben wir für $A_4$-Erweiterungen über $\mathbb{Q}$ in das Computeralgebrasystem MAGMA implementiert und für 27 Erweiterungen die äquivariante Tamagawazahlvermutung numerisch verifiziert.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

I have added support for predicate dispatching, a powerful generalization of other dispatching mechanisms, to the Common Lisp Object System (CLOS). To demonstrate its utility, I used predicate dispatching to enhance Weyl, a computer algebra system which doubles as a CLOS library. My result is Dispatching-Enhanced Weyl (DEW), a computer algebra system that I have demonstrated to be well suited for both users and programmers.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Introducción: El éxito de la artroplastia total de cadera depende de la orientación del componente acetabular; como alternativa para su corrección se han generado diferentes herramientas quirúrgicas, una de ella se asienta en los sistemas de cirugía asistidos por computador, el cual corrige y perfecciona la orientación de la copa acetabular. Objetivo: Comparar la inclinación y la anteversión de la copa acetabular implantadas por técnica convencional versus la realizada por cirugía asistida por computador Materiales y Métodos: Estudio descriptivo de comparación de dos cohortes de pacientes. Se evaluaron pacientes sometidos a reemplazo total de cadera en hospital Santa Clara desde Enero del 2009 a Diciembre del 2009 determinando el ángulo de inclinación acetabular y la anteversión acetabular, según las medidas establecidas en radiografía convencional postoperatoria. Resultados: No se encontraron diferencias estadísticamente significativas en la comparación de las puntuaciones promedio en anteversión e inclinación acetabular cuando se realiza cirugía tradicional o con la tecnología de navegación por computador. Conclusiones: El uso de navegadores por computador en la cirugía de reemplazo de cadera es especialmente útil para ortopedistas en entrenamiento y para aquellas situaciones donde la posición de los componentes acetabulares pueda garantizar buen resultado a largo plazo

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Introducción: El cáncer de mama es una patología muy frecuente y los tratamientos, como la quimioterapia, afectan las experiencias de vida y el psiquismo de la mujer. Los estudios en que se trate de entender la experiencia de la quimioterapia son escasos en Colombia. Objetivos: entender las consecuencias del tratamiento con quimioterapia en las experiencias de vida de la mujer con cáncer en el aspecto psicosocial para mejorar los elementos psicoterapéuticos y las decisiones médicas. Metodología: Se utilizó un método cualitativo-interpretativo utilizando las herramientas analíticas de la teoría fundamentada y teniendo como marco de referencia el modelo ecológico de Bronfrenbrenner. Resultados: Se desarrollaron las siguientes categorías como explicación del fenómeno: 1. Experiencias de cambio en la corporalidad y reacciones emocionales 2. Significados del tratamiento, nuevas creencias y nuevos objetivos vitales 3. Experiencias con la familia y la comunidad 4. Experiencias con otros pacientes y el equipo médico. Conclusiones: Este estudio muestra que la mujer sometida a tratamiento con quimioterapia tiene cambios en su psiquismo y sus relaciones interpersonales. Las mujeres terminan aceptado los cambios en su vida pero admiten la necesidad de acompañamiento psicológico durante el proceso para evitar sufrimientos innecesarios.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Este estudio de caso busca realizar una descripción de la participación política de los jóvenes durante la campaña de Barack Obama a la presidencia, mediante el uso de herramientas de marketing online, identificando las herramientas de marketing y posteriormente, haciendo un exámen de cómo los jóvenes se apropiaron de las mismas para participar activamente. Así mismo, se plantea un modelo de análisis que permite comprender el proceso antes y durante el proceso participativo, con el fin de plasmar gráficamente las variables incluidas en el mismo.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Maximizing Accessibility in Software - by Denis's Angels

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Poster describing the text tutorial on accessibility, created by Denis's Angels for INFO2009.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Background: The tight junction (TJ) is one of the most important structures established during merozoite invasion of host cells and a large amount of proteins stored in Toxoplasma and Plasmodium parasites’ apical organelles are involved in forming the TJ. Plasmodium falciparum and Toxoplasma gondii apical membrane antigen 1 (AMA-1) and rhoptry neck proteins (RONs) are the two main TJ components. It has been shown that RON4 plays an essential role during merozoite and sporozoite invasion to target cells. This study has focused on characterizing a novel Plasmodium vivax rhoptry protein, RON4, which is homologous to PfRON4 and PkRON4. Methods: The ron4 gene was re-annotated in the P. vivax genome using various bioinformatics tools and taking PfRON4 and PkRON4 amino acid sequences as templates. Gene synteny, as well as identity and similarity values between open reading frames (ORFs) belonging to the three species were assessed. The gene transcription of pvron4, and the expression and localization of the encoded protein were also determined in the VCG-1 strain by molecular and immunological studies. Nucleotide and amino acid sequences obtained for pvron4 in VCG-1 were compared to those from strains coming from different geographical areas. Results: PvRON4 is a 733 amino acid long protein, which is encoded by three exons, having similar transcription and translation patterns to those reported for its homologue, PfRON4. Sequencing PvRON4 from the VCG-1 strain and comparing it to P. vivax strains from different geographical locations has shown two conserved regions separated by a low complexity variable region, possibly acting as a “smokescreen”. PvRON4 contains a predicted signal sequence, a coiled-coil α-helical motif, two tandem repeats and six conserved cysteines towards the carboxyterminus and is a soluble protein lacking predicted transmembranal domains or a GPI anchor. Indirect immunofluorescence assays have shown that PvRON4 is expressed at the apical end of schizonts and co-localizes at the rhoptry neck with PvRON2.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

El concepto de legalización fue desarrollado recientemente por el neoliberalismo institucional como una forma especial de institucionalización de las relaciones internacionales. Los autores neoliberales caracterizan la legalización a partir de las categorías utilizadas por H. L. A. Hart para distinguir el derecho de otros mecanismos de control social, como el poder y la moral. En Hart, estas categorías responden a una finalidad normativa: reconstruir teóricamente el derecho como un sistema independiente de la voluntad y de las convicciones de quienes lo interpretan y aplican. Sin embargo, esta separación entre lenguaje y práctica jurídica desconoce importantes contribuciones de la tradición analítica en filosofía del lenguaje, en cuanto a la relación entre lenguaje y realidad. En particular, termina reduciendo el derecho a simples formas y textos vacíos, y con ello desconoce que a través de las prácticas jurídicas se va dando significado a los textos normativos.Adoptar esta visión del derecho al estudio de las relaciones internacionales tiene, al menos, una consecuencia metodológica: el simple análisis formal del texto de los tratados no permite comprender el efecto del derecho internacional en el comportamiento de los Estados. Para entender las relaciones entre el derecho internacional y el comportamiento estatal es necesario describir la manera como se construye el significado de los textos a través de la práctica jurídica de los Estados. En tal sentido, resultaría útil redefinir la agenda de investigación neoliberal en relación con la legalización y enfocarse en la forma como los Estados y los tribunales internacionales construyen el significado de los tratados y demás normas internacionales.-----The concept of legalization was recently developed by neoliberal institutionalism as a special kind of institutionalization of international politics. Neoliberals built the concept of legalization using the analytical tools developed by H. L. A. Hart to distinguish law from other mechanisms of social control, like power and morals. Within Hart’s theory, such tools have a normative function: theoretically rebuilding law as a system of rules that is independent from the will and the beliefs of those who interpret and apply legal rules. However, Hart’s resulting separation of legal texts from legal practice obscures important contributions that the analytical tradition in philosophy of language has made to the understanding of the relation between language and reality. Specifically, such a separation reduces law to simple forms and texts disregarding the extent to which legal practice gives meaning to legal texts.Adapting Hart’s conception of law to International Relations has at least one important methodological consequence: the formal analysis of treaties cannot explain the influence of international law over state behavior. To understand the influence of international law on state behavior, one must previously describe the relation between legal practice and the meaning of legal texts. Thus, a redefinition of neoliberal research agenda on legalization should focus on the way States and international courts construct the meaning of treaties and other international norms.