990 resultados para Technical abstract bulletin


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Engineering education quality embraces the activities through which a technical institution satisfies itself that the quality of education it provides and standards it has set are appropriate and are being maintained. There is a need to develop a standardised approach to most aspects of quality assurance for engineering programmes which is sufficiently well defined to be accepted for all assessments.We have designed a Technical Educational Quality Assurance and Assessment (TEQ-AA) System, which makes use of the information on the web and analyzes the standards of the institution. With the standards as anchors for definition, the institution is clearer about its present in order to plan better for its future and enhancing the level of educational quality.The system has been tested and implemented on the technical educational Institutions in the Karnataka State which usually host their web pages for commercially advertising their technical education programs and their Institution objectives, policies, etc., for commercialization and for better reach-out to the students and faculty. This helps in assisting the students in selecting an institution for study and to assist in employment.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We propose a new abstract domain for static analysis of executable code. Concrete states are abstracted using circular linear progressions (CLPs). CLPs model computations using a finite word length as is seen in any real life processor. The finite abstraction allows handling overflow scenarios in a natural and straight-forward manner. Abstract transfer functions have been defined for a wide range of operations which makes this domain easily applicable for analyzing code for a wide range of ISAs. CLPs combine the scalability of interval domains with the discreteness of linear congruence domains. We also present a novel, lightweight method to track linear equality relations between static objects that is used by the analysis to improve precision. The analysis is efficient, the total space and time overhead being quadratic in the number of static objects being tracked.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The Indian Ocean earthquake of 26 December 2004 led to significant ground deformation in the Andaman and Nicobar region, accounting for ~800 km of the rupture. Part of this article deals with coseismic changes along these islands, observable from coastal morphology, biological indicators, and Global Positioning System (GPS) data. Our studies indicate that the islands south of 10° N latitude coseismically subsided by 1–1.5 m, both on their eastern and western margins, whereas those to the north showed a mixed response. The western margin of the Middle Andaman emerged by >1 m, and the eastern margin submerged by the same amount. In the North Andaman, both western and eastern margins emerged by >1 m. We also assess the pattern of long-term deformation (uplift/subsidence) and attempt to reconstruct earthquake/tsunami history, with the available data. Geological evidence for past submergence includes dead mangrove vegetation dating to 740 ± 100 yr B.P., near Port Blair and peat layers at 2–4 m and 10–15 m depths observed in core samples from nearby locations. Preliminary paleoseismological/tsunami evidence from the Andaman and Nicobar region and from the east coast of India, suggest at least one predecessor for the 2004 earthquake 900–1000 years ago. The history of earthquakes, although incomplete at this stage, seems to imply that the 2004-type earthquakes are infrequent and follow variable intervals

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The characteristic function for a contraction is a classical complete unitary invariant devised by Sz.-Nagy and Foias. Just as a contraction is related to the Szego kernel k(S)(z, w) = ( 1 - z(w)over bar)- 1 for |z|, |w| < 1, by means of (1/k(S))( T, T *) = 0, we consider an arbitrary open connected domain Omega in C(n), a kernel k on Omega so that 1/k is a polynomial and a tuple T = (T(1), T(2), ... , T(n)) of commuting bounded operators on a complex separable Hilbert spaceHsuch that (1/k)( T, T *) >= 0. Under some standard assumptions on k, it turns out that whether a characteristic function can be associated with T or not depends not only on T, but also on the kernel k. We give a necessary and sufficient condition. When this condition is satisfied, a functional model can be constructed. Moreover, the characteristic function then is a complete unitary invariant for a suitable class of tuples T.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this paper we approach the problem of computing the characteristic polynomial of a matrix from the combinatorial viewpoint. We present several combinatorial characterizations of the coefficients of the characteristic polynomial, in terms of walks and closed walks of different kinds in the underlying graph. We develop algorithms based on these characterizations, and show that they tally with well-known algorithms arrived at independently from considerations in linear algebra.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Electrochemical capacitors are potential devices that could help bringing about major advances in future energy storage. They are lightweight and their manufacture and disposal has no detrimental effects on the environment. A comprehensive description of fundamental science of electrochemical capacitors is presented. Similarities and differences between electrochemical capacitors and secondary batteries for electrical energy storage are highlighted and various types of electrochemical capacitors are discussed with special reference to lead-carbon hybrid ultracapacitors. Some envisaged applications of electrochemical capacitors are described along with the technical challenges and prognosis for future markets. (C) 2012 Published by Elsevier Ltd.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We propose a new approach for producing precise constrained slices of programs in a language such as C. We build upon a previous approach for this problem, which is based on term-rewriting, which primarily targets loop-free fragments and is fully precise in this setting. We incorporate abstract interpretation into term-rewriting, using a given arbitrary abstract lattice, resulting in a novel technique for slicing loops whose precision is linked to the power of the given abstract lattice. We address pointers in a first-class manner, including when they are used within loops to traverse and update recursive data structures. Finally, we illustrate the comparative precision of our slices over those of previous approaches using representative examples.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Resumen: La fundación de la ciudad de La Plata tiene por lo menos una doble significación. En primer lugar puso fin a décadas de desencuentros entre las autoridades nacionales y provinciales por la llamada “cuestión capital” que tuvo su primer hito en la federalización de la ciudad de Buenos Aires en 1880. En segundo lugar La Plata era una ciudad nueva, pensada y diseñada para superar los problemas que asolaban a las ciudades viejas. Uno de estos problemas que recibió particular atención por parte de los “fundadores” fue el suministro de agua e instalaciones sanitarias. No obstante su resolución planteaba serios problemas técnicos y un elevado coste económico. Estos primeros años de vida platense estuvieron marcados por el auge de la llamada higiene social fundada por las transformaciones producidas por la revolución pasteuriana y la resignificación ideológica de las causas sociales que originan la enfermedad. En este sentido, la higiene social retoma el viejo cuerpo programático de la higiene pública: agua, recolección de residuos, pavimentos (causas directas) pero agrega otros ligados a las "causas indirectas": salarios, alojamientos, condiciones de trabajo de los obreros. Nosotros analizaremos cómo los profesionales responsables de la administración de la ciudad de La Plata entendieron y enfrentaron el problema del suministro de agua potable en un núcleo urbano que experimentaba un formidable crecimiento demográfico.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Resumen: Mientras que las principales figuras de la historia de la economía la concibieron como una ciencia inseparable de la filosofía y de otras ciencias humanas, en las últimas décadas se ha producido un movimiento hacia la transformación de la economía en una disciplina esencialmente técnica, con áreas de investigación estrechamente especializadas. Si bien es cierto que la especialización ha permitido realizar un gran progreso en la ciencia económica, los hechos que han ocurrido en los últimos años relacionados con la crisis financiera, sustentan los argumentos de quienes plantean la necesidad de desarrollar foros de interacción interdisciplinaria y aspirar a una visión más amplia de la economía como ciencia.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Resumen: El conocimiento técnico parece estar sobrevalorado. Esta situación puede provenir de una consideración aislada de aquel tipo de conocimiento. Una correcta integración de los saberes, incluida la técnica, tiende a un desarrollo más armónico de los fines del ser humano.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Resumen: En el presente trabajo se examina la eficiencia técnica de las universidades argentinas de gestión estatal utilizando una metodología no paramétrica. A través del Análisis Envolvente de Datos se caracteriza a cada universidad mediante una única puntuación de eficiencia técnica relativa, lo que permite estimar las mejoras necesarias por comparación con un grupo de referencia. Se considera el modelo básico con orientación al producto, cuyos resultados muestran que las universidades tienen en promedio entre un 23,2% y un 23,9% de ineficiencia. Estos resultados son de utilidad para el diseño de políticas universitarias.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Resumen: La milenaria Ley judía en su devenir y completitud a través del análisis y respuesta a los coyunturales problemas del acontecer histórico en sus diversas circunstancias, aborda también y en profundidad desde sus comienzos lo denominado actualmente como bioética. Este trabajo expone y examina en particular las modernas técnicas de reproducción asistida, y los fundamentos de la Ley por la cual las más importantes autoridades legislativas del judaísmo determinan según el caso el deber, permisión o prohibición de su implementación más la problemática y los desafíos en esta área de competencia. Esto último aplicable también a la sociedad en general transmitiendo el mensaje de la no reducción de la reproducción humana a una mera cuestión de posibilidad técnica o en función de los deseos o sentimientos del ser humano, sino concibiéndola como una cuestión de suma responsabilidad y compromiso no sólo en relación a los agentes partícipes sino también respecto de su descendencia.