972 resultados para Propositional calculus.


Relevância:

10.00% 10.00%

Publicador:

Resumo:

Exam questions and solutions in LaTex

Relevância:

10.00% 10.00%

Publicador:

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Debido a que el 12% de la población tendrá un cálculo en uréter hacia la mitad de su vida y a que las tasas de recurrencia en los que ya lo presentan son del 50% es necesario estudiar esta patología para aproximarse a un manejo adecuado en el servicio de urgencias. La literatura identifica un conjunto de factores que pueden contribuir a un cambio en el manejo médico. Objetivo: El objetivo de este estudio fue determinar los factores demográficos y clínicos asociados a manejo hospitalario en los pacientes con diagnóstico de cálculo ureteral menor de 10 mm. Métodos: Se diseñó un estudio de casos y controles no emparejados. Un caso fue definido como un paciente de 18 o más años con diagnóstico de urolitiasis con cálculo menor a 10 mm realizado por urotac que consultó (por primera vez para ese episodio) al servicio de urgencias de la Fundación Santa Fe de Bogotá entre el 1 de marzo de 2007 y 30 de abril de 2012. Se indagaron factores como edad, sexo, tamaño y localización del cálculo, respuesta a los analgésicos, evidencia de obstrucción e infección urinaria, además de otros antecedentes medicamentosos y clínicos. Se utilizó regresión logística no condicional bivariada y multivariada para evaluar la asociación entre tipo de manejo (hospitalario o ambulatorio) y las variables recolectadas, calculando odds ratio (OR) e intervalos de confianza al 95% (IC95%). Resultados: El riesgo de hospitalización se incrementó con: 1. La localización del cálculo en tercio superior o medio (OR=1.49; IC95%: 0.751-2.966) al comparar con el inferior, 2. El aumento del tamaño del cálculo (OR=1.49; IC95%: 0.751-2.966, por cada milímetro de incremento), y 3: Por la evidencia de obstrucción o infección urinaria y elevación de azoados. Por el contrario, hubo menos riesgo de hospitalización en aquellos pacientes con una respuesta analgésica apropiada en urgencias.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

El artículo presenta una aproximación analítica de la noción de seguridad humana, que no se encuentra inscrita dentro de los estudios tradicionales de seguridad y que se erige como un enfoque polémico en el debate académico y político en las últimas décadas.En este sentido, el artículo presenta, en una primera fase, el estado del arte del desarrollo histórico y conceptual de la seguridad humana, seguido de una interpretación basada en diversas visiones teóricas de las relaciones internacionales y paradigmas de la seguridad. En una segunda fase se analiza la praxis de esta nueva noción y sus implicaciones políticas, cifradas en una eventual condicionalidad de la cooperación internacional y en la legitimidad de la intervención humanitaria.La conclusión a la que llegan las autoras es que la seguridad humana se constituye en una noción ambivalente que transita entre los límites del cálculo estratégico y el supuesto altruismo implícito en los principios de política exterior.-----This Article exposes an analytical approach about Human Security concept which is not under traditional security studies framework. In consequence, It has been building up itself as a polemic issue area in academic and political debate during last decades.Firstly, the article focuses on Human Security conceptual construction based on some International Relations theoretical insights and security paradigms in order to demonstrate its ambiguity. The second part analyzes the modus operandi of this concept taking into consideration two of its main political implications: new possible requirements for international cooperation and humanitarian intervention.In conclusion, the two authors asserted that Human Security is an ambivalent concept linked with both, a classical strategically calculus as well as with a rationalist-altruist principles implicit in the foreign policy.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Esta tesis está dividida en dos partes: en la primera parte se presentan y estudian los procesos telegráficos, los procesos de Poisson con compensador telegráfico y los procesos telegráficos con saltos. El estudio presentado en esta primera parte incluye el cálculo de las distribuciones de cada proceso, las medias y varianzas, así como las funciones generadoras de momentos entre otras propiedades. Utilizando estas propiedades en la segunda parte se estudian los modelos de valoración de opciones basados en procesos telegráficos con saltos. En esta parte se da una descripción de cómo calcular las medidas neutrales al riesgo, se encuentra la condición de no arbitraje en este tipo de modelos y por último se calcula el precio de las opciones Europeas de compra y venta.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

El objetivo de este documento es recopilar algunos resultados clasicos sobre existencia y unicidad ´ de soluciones de ecuaciones diferenciales estocasticas (EDEs) con condici ´ on final (en ingl ´ es´ Backward stochastic differential equations) con particular enfasis en el caso de coeficientes mon ´ otonos, y su cone- ´ xion con soluciones de viscosidad de sistemas de ecuaciones diferenciales parciales (EDPs) parab ´ olicas ´ y el´ıpticas semilineales de segundo orden.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

En este documento se quiere demostrar que una teoría que pretenda fundamentar la política social que no permita las comparaciones interpersonales es inadecuada. Por esta razón, el punto de partida es una crítica a la economía normativa neoclásica. Esta crítica consiste, en últimas, en una crítica al concepto de bienestar de los utilitaristas. Se plantea que el bienestar entendido como utilidad excluye información relevante para juzgar el bienestar de las personas, y se propone que el concepto de bienestar del profesor Amartya Sen es adecuado como base de una teoría para la política social.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Este texto representa el esfuerzo combinado de dos lógicos, dos filósofos y un lingüista. Esta empresa fue inspirada por la convicción de los autores de que la lógica y el lenguaje son inseparables, en particular en lo que respecta al análisis del significado. Una región interdisciplinaria emerge entre los límites de la filosofía, la lógica y la lingüística. Lógica, lenguaje y significado: lógica intensional y gramática lógica es una introducción a este campo, el cual aplica los sistemas lógico-formales al estudio del significado del lenguaje natural. El libro comienza con una introducción de los distintos principios de la semántica intensional y luego presenta varias lógicas intensionales, tales como la lógica proposicional modal, la lógica de predicados modal y la lógica temporal. También introduce la teoría de tipos, la lambda-abstracción y la sintaxis categorial.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

El objetivo de esta investigación diagnostica radica en explicar los efectos de la implementación de la Revolución Educativa en las instituciones de Educación Media Técnica en la Provincia Centro del Departamento de Boyacá. Es así que se pretende demostrar si los procesos de implementación de articulación de la Institución Educativa Francisco de Paula Santander y la Institución Técnica Nacionalizada con el SENA, responden o no a las necesidades de los estudiantes frente a la coyuntura Nacional y Regional actual. Para lograr dicho fin, fue imperativo abordar esta problemática desde los siguientes enfoques: descriptivo, explicativo, analítico y propositivo; adicionalmente se realizaron encuestas a estudiantes, profesores y directivos de las Instituciones Educativas, de igual manera se llevaron a cabo una serie de entrevistas al Director Regional del SENA y al Secretario de Educación Departamental, como actores fundamentales del proceso. Permitiendo así formular posibles soluciones que apoyen la consolidación del proceso de articulación.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A select-divide-and-conquer variational method to approximate configuration interaction (CI) is presented. Given an orthonormal set made up of occupied orbitals (Hartree-Fock or similar) and suitable correlation orbitals (natural or localized orbitals), a large N-electron target space S is split into subspaces S0,S1,S2,...,SR. S0, of dimension d0, contains all configurations K with attributes (energy contributions, etc.) above thresholds T0={T0egy, T0etc.}; the CI coefficients in S0 remain always free to vary. S1 accommodates KS with attributes above T1≤T0. An eigenproblem of dimension d0+d1 for S0+S 1 is solved first, after which the last d1 rows and columns are contracted into a single row and column, thus freezing the last d1 CI coefficients hereinafter. The process is repeated with successive Sj(j≥2) chosen so that corresponding CI matrices fit random access memory (RAM). Davidson's eigensolver is used R times. The final energy eigenvalue (lowest or excited one) is always above the corresponding exact eigenvalue in S. Threshold values {Tj;j=0, 1, 2,...,R} regulate accuracy; for large-dimensional S, high accuracy requires S 0+S1 to be solved outside RAM. From there on, however, usually a few Davidson iterations in RAM are needed for each step, so that Hamiltonian matrix-element evaluation becomes rate determining. One μhartree accuracy is achieved for an eigenproblem of order 24 × 106, involving 1.2 × 1012 nonzero matrix elements, and 8.4×109 Slater determinants

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The vibrational configuration interaction method used to obtain static vibrational (hyper)polarizabilities is extended to dynamic nonlinear optical properties in the infinite optical frequency approximation. Illustrative calculations are carried out on H2 O and N H3. The former molecule is weakly anharmonic while the latter contains a strongly anharmonic umbrella mode. The effect on vibrational (hyper)polarizabilities due to various truncations of the potential energy and property surfaces involved in the calculation are examined

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A variational approach for reliably calculating vibrational linear and nonlinear optical properties of molecules with large electrical and/or mechanical anharmonicity is introduced. This approach utilizes a self-consistent solution of the vibrational Schrödinger equation for the complete field-dependent potential-energy surface and, then, adds higher-level vibrational correlation corrections as desired. An initial application is made to static properties for three molecules of widely varying anharmonicity using the lowest-level vibrational correlation treatment (i.e., vibrational Møller-Plesset perturbation theory). Our results indicate when the conventional Bishop-Kirtman perturbation method can be expected to break down and when high-level vibrational correlation methods are likely to be required. Future improvements and extensions are discussed

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The level of ab initio theory which is necessary to compute reliable values for the static and dynamic (hyper)polarizabilities of three medium size π-conjugated organic nonlinear optical (NLO) molecules is investigated. With the employment of field-induced coordinates in combination with a finite field procedure, the calculations were made possible. It is stated that to obtain reasonable values for the various individual contributions to the (hyper)polarizability, it is necessary to include electron correlation. Based on the results, the convergence of the usual perturbation treatment for vibrational anharmonicity was examined

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Es defineix l'expansió general d'operadors com una combinació lineal de projectors i s'exposa la seva aplicació generalitzada al càlcul d'integrals moleculars. Com a exemple numèric, es fa l'aplicació al càlcul d'integrals de repulsió electrònica entre quatre funcions de tipus s centrades en punts diferents, i es mostren tant resultats del càlcul com la definició d'escalat respecte a un valor de referència, que facilitarà el procés d'optimització de l'expansió per uns paràmetres arbitraris. Es donen resultats ajustats al valor exacte

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Aquesta memòria està estructurada en sis capítols amb l'objectiu final de fonamentar i desenvolupar les eines matemàtiques necessàries per a la classificació de conjunts de subconjunts borrosos. El nucli teòric del treball el formen els capítols 3, 4 i 5; els dos primers són dos capítols de caire més general, i l'últim és una aplicació dels anteriors a la classificació dels països de la Unió Europea en funció de determinades característiques borroses. En el capítol 1 s'analitzen les diferents connectives borroses posant una especial atenció en aquells aspectes que en altres capítols tindran una aplicació específica. És per aquest motiu que s'estudien les ordenacions de famílies de t-normes, donada la seva importància en la transitivitat de les relacions borroses. La verificació del principi del terç exclòs és necessària per assegurar que un conjunt significatiu de mesures borroses generalitzades, introduïdes en el capítol 3, siguin reflexives. Estudiem per a quines t-normes es verifica aquesta propietat i introduïm un nou conjunt de t-normes que verifiquen aquest principi. En el capítol 2 es fa un recorregut general per les relacions borroses centrant-nos en l'estudi de la clausura transitiva per a qualsevol t-norma, el càlcul de la qual és en molts casos fonamental per portar a terme el procés de classificació. Al final del capítol s'exposa un procediment pràctic per al càlcul d'una relació borrosa amb l'ajuda d'experts i de sèries estadístiques. El capítol 3 és un monogràfic sobre mesures borroses. El primer objectiu és relacionar les mesures (o distàncies) usualment utilitzades en les aplicacions borroses amb les mesures conjuntistes crisp. Es tracta d'un enfocament diferent del tradicional enfocament geomètric. El principal resultat és la introducció d'una família parametritzada de mesures que verifiquen unes propietats de caràcter conjuntista prou satisfactòries. L'estudi de la verificació del principi del terç exclòs té aquí la seva aplicació sobre la reflexivitat d'aquestes mesures, que són estudiades amb una certa profunditat en alguns casos particulars. El capítol 4 és, d'entrada, un repàs dels principals resultats i mètodes borrosos per a la classificació dels elements d'un mateix conjunt de subconjunts borrosos. És aquí on s'apliquen els resultats sobre les ordenacions de les famílies de t-normes i t-conormes estudiades en el capítol 1. S'introdueix un nou mètode de clusterització, canviant la matriu de la relació borrosa cada vegada que s'obté un nou clúster. Aquest mètode permet homogeneïtzar la metodologia del càlcul de la relació borrosa amb el mètode de clusterització. El capítol 5 tracta sobre l'agrupació d'objectes de diferent naturalesa; és a dir, subconjunts borrosos que pertanyen a diferents conjunts. Aquesta teoria ja ha estat desenvolupada en el cas binari; aquí, el que es presenta és la seva generalització al cas n-ari. Més endavant s'estudien certs aspectes de les projeccions de la relació sobre un cert espai i el recíproc, l'estudi de cilindres de relacions predeterminades. Una aplicació sobre l'agrupació de les comarques gironines en funció de certes variables borroses es presenta al final del capítol. L'últim capítol és eminentment pràctic, ja que s'aplica allò estudiat principalment en els capítols 3 i 4 a la classificació dels països de la Unió Europea en funció de determinades característiques borroses. Per tal de fer previsions per a anys venidors s'han utilitzat sèries temporals i xarxes neuronals. S'han emprat diverses mesures i mètodes de clusterització per tal de poder comparar els diversos dendogrames que resulten del procés de clusterització. Finalment, als annexos es poden consultar les sèries estadístiques utilitzades, la seva extrapolació, els càlculs per a la construcció de les matrius de les relacions borroses, les matrius de mesura i les seves clausures.