11 resultados para Deep Inference, Proof Theory, Teoria della Dimostrazione, Cut elimination, Gentzen Hauptsatz
em Universitat de Girona, Spain
Resumo:
Low concentrations of elements in geochemical analyses have the peculiarity of being compositional data and, for a given level of significance, are likely to be beyond the capabilities of laboratories to distinguish between minute concentrations and complete absence, thus preventing laboratories from reporting extremely low concentrations of the analyte. Instead, what is reported is the detection limit, which is the minimum concentration that conclusively differentiates between presence and absence of the element. A spatially distributed exhaustive sample is employed in this study to generate unbiased sub-samples, which are further censored to observe the effect that different detection limits and sample sizes have on the inference of population distributions starting from geochemical analyses having specimens below detection limit (nondetects). The isometric logratio transformation is used to convert the compositional data in the simplex to samples in real space, thus allowing the practitioner to properly borrow from the large source of statistical techniques valid only in real space. The bootstrap method is used to numerically investigate the reliability of inferring several distributional parameters employing different forms of imputation for the censored data. The case study illustrates that, in general, best results are obtained when imputations are made using the distribution best fitting the readings above detection limit and exposes the problems of other more widely used practices. When the sample is spatially correlated, it is necessary to combine the bootstrap with stochastic simulation
Resumo:
Bimodal dispersal probability distributions with characteristic distances differing by several orders of magnitude have been derived and favorably compared to observations by Nathan [Nature (London) 418, 409 (2002)]. For such bimodal kernels, we show that two-dimensional molecular dynamics computer simulations are unable to yield accurate front speeds. Analytically, the usual continuous-space random walks (CSRWs) are applied to two dimensions. We also introduce discrete-space random walks and use them to check the CSRW results (because of the inefficiency of the numerical simulations). The physical results reported are shown to predict front speeds high enough to possibly explain Reid's paradox of rapid tree migration. We also show that, for a time-ordered evolution equation, fronts are always slower in two dimensions than in one dimension and that this difference is important both for unimodal and for bimodal kernels
Resumo:
The performance of the SAOP potential for the calculation of NMR chemical shifts was evaluated. SAOP results show considerable improvement with respect to previous potentials, like VWN or BP86, at least for the carbon, nitrogen, oxygen, and fluorine chemical shifts. Furthermore, a few NMR calculations carried out on third period atoms (S, P, and Cl) improved when using the SAOP potential
Resumo:
The energy decomposition scheme proposed in a recent paper has been realized by performing numerical integrations. The sample calculations carried out for some simple molecules show excellent agreement with the chemical picture of molecules, indicating that such an energy decomposition analysis can be useful from the point of view of connecting quantum mechanics with the genuine chemical concepts
Resumo:
A conceptually new approach is introduced for the decomposition of the molecular energy calculated at the density functional theory level of theory into sum of one- and two-atomic energy components, and is realized in the "fuzzy atoms" framework. (Fuzzy atoms mean that the three-dimensional physical space is divided into atomic regions having no sharp boundaries but exhibiting a continuous transition from one to another.) The new scheme uses the new concept of "bond order density" to calculate the diatomic exchange energy components and gives them unexpectedly close to the values calculated by the exact (Hartree-Fock) exchange for the same Kohn-Sham orbitals
Resumo:
Es discuteixen breument algunes consideracions sobre l'aplicació de la Teoria dels Conjunts difusos a la Química quàntica. Es demostra aqui que molts conceptes químics associats a la teoria són adequats per ésser connectats amb l'estructura dels Conjunts difusos. També s'explica com algunes descripcions teoriques dels observables quàntics es potencien tractant-les amb les eines associades als esmentats Conjunts difusos. La funció densitat es pren com a exemple de l'ús de distribucions de possibilitat al mateix temps que les distribucions de probabilitat quàntiques
Resumo:
Es repassa la formulació de la Teoria de Pertorbacions en notació matricial i s'exposa una aplicació senzilla com és la solució del problema de la partícula sotmesa a un potencial d'atracció dins la caixa quàntica monodimensional
Resumo:
Summary of the course on Architectural History and Theory, EPS, UdG. This architectural history and theory program will study in roughly chronological order some of the major theories and theoreticians of architecture, from Vitruvius, through the Renaissance to the Enlightenment
Resumo:
Aquesta tesi té la intenció de realitzar una contribució metodològica en el camp de la direcció estratègica, per mitjà de tres objectius: la revisió del concepte de risc ex post o realitzat per l'àmbit de la direcció estratègica; la concreció d'aquest concepte en una mesura de risc vàlida; i l'exploració de les possibilitats i l'interès de la descomposició del risc en diferents determinants que puguin explicar-ne la seva naturalesa. El primer objectiu es du a terme prenent com a base el concepte intuïtiu de risc i revisant la literatura en els camps més afins, especialment en la teoria comportamental de la decisió i la direcció estratègica. L'anàlisi porta a formular el risc ex post d'una activitat com el grau en què no s'han assolit els objectius per a aquesta activitat. La concreció d'aquesta definició al camp de la direcció estratègica implica que els objectius han de portar a l'obtenció de l'avantatge competitiu sostenible, el que descobreix l'interès de realitzar la mesura del risc a curt termini, és a dir, estàticament, i a llarg termini, és a dir, dinàmicament, pel que es defineix una mesura de Risc Estàtic i una altra de Risc dinàmic, respectivament. En l'anàlisi apareixen quatre dimensions conceptuals bàsiques a incorporar en les mesures: sign dependence, relativa, longitudinal i path dependence. Addicionalment, la consideració de que els resultats puguin ser cardinals o ordinals justifica que es formulin les dues mesures anteriors per a resultats cardinals i, en segon lloc, per a resultats ordinals. Les mesures de risc que es proposen sintetitzen els resultats ex post obtinguts en una mesura de centralitat relativa dels resultats, el Risc Estàtic, i una mesura de la tendència temporal dels resultats, el Risc Dinàmic. Aquesta proposta contrasta amb el plantejament tradicional dels models esperança-variància. Les mesures desenvolupades s'avaluen amb un sistema de propietats conceptuals i tècniques que s'elaboren expressament en la tesi i que permeten demostrar el seu gra de validesa i el de les mesures existents en la literatura, destacant els problemes de validesa d'aquestes darreres. També es proporciona un exemple teòric il·lustratiu de les mesures proposades que dóna suport a l'avaluació realitzada amb el sistema de propietats. Una contribució destacada d'aquesta tesi és la demostració de que les mesures de risc proposades permeten la descomposició additiva del risc si els resultats o diferencials de resultats es descomponen additivament. Finalment, la tesi inclou una aplicació de les mesures de Risc Estàtic i Dinàmic cardinals, així com de la seva descomposició, a l'anàlisi de la rendibilitat del sector bancari espanyol, en el període 1987-1999. L'aplicació il·lustra la capacitat de les mesures proposades per a analitzar la manifestació de l'avantatge competitiu, la seva evolució i naturalesa econòmica. En les conclusions es formulen possibles línees d'investigació futures.
Resumo:
Catalan modern and contemporary philosophy has traditionally been little studied so strictly to historical and political reasons for more or less the same conviction that is compared with literature and even in historiography, it is a minor contribution. Some of the characters in the world of philosophy has been the Catalan Jaume Serra Hunter charismatic and versatile, whom history has done justice. Like many others, was persecuted in the Franco regime, declared outlawed and persecuted and exiled, first to France and then Mexico. This research aims to discover him and his huge role as a politician. But above all, I want to convey their deep love for culture and fierce defense that he did, especially Catalan, is following in philosophical discourse of his work. I figure Serra Hunter claim their struggle for cultural cohesion through its philosophy, making it reach everyone. I want to show how he worked in a time of crisis in society, culture and education, to overcome the crisis of philosophy as a guide. Serra Hunter lived a very difficult time for philosophy. But he wanted to bring all cultures. It is a philosophy that dealing with the issues may be even a sort of advanced in the world and some of the problems it has today. According to him, philosophy should be more human and more alive and present in all the different curriculum of any educational plan.
Resumo:
A lo largo de estos años de existencia del grupo de investigación se han ido desarrollando un volumen de casos donde se comenzó a evidenciar un hecho: niños y adolescentes llegaban derivados a la consulta por problemas de aprendizaje, pero éstos no siempre respondían a que tuvieran unos procesos cognitivos por debajo de la media. Por tanto, no se explicaba su bajo rendimiento escolar. Ante estos casos nos planteamos como intervenir en esta realidad educativa. Indagando descubrimos que la mayoría de estos también tenían problemas a nivel emocional. La pregunta inmediata que nos hicimos fue: podemos llegar a pensar que quizás los procesos emocionales influyen directamente en los procesos cognitivos? El estado emocional influye directamente en los procesos cognitivos?Los procesos cognitivos y emocionales son un todo inseparable? Estas dudas son las que me llevaron a proponer esta investigación: ver la relación que puede haber entre los procesos cognitivos y los procesos emocionales, evidentemente, siempre centrados desde el Modelo Humanista- Estratégico (modelo del grupo de investigación): a nivel cognitivo, Teoría PASS de la Inteligencia; a nivel emocional, la Teoría del Procesamiento Cerebral de las Emociones. Se plantea la tesis estructurada en dos partes: Parte teórica: explicación de la Unidad de Neuropsicopedagogía del Hospital Dr. Trueta de Girona (UNPP) donde se realiza la investigación, revisión teórica de procesamiento cognitivo, procesamiento emocional y su relación mutua. 2.- Parte práctica: objetivos, metodología, resultados, análisis- discusión, implicaciones educativas y conclusiones. El objetivo general es establecer una relación entre el procesamiento cognitivo y emocional a partir de la relación de los procesos cognitivos PASS con problemas emocionales en niños y niñas de entre 5 y 16 años. Para conseguirlo se pretende: 1. Establecer la relación entre procesamiento PASS y los efectos de la intervención emocional según el Modelo Humanista - Estratégico; 2. Analizar la relación entre procesamientos cognitivos PASS y los efectos de la intervención cognitiva según la Teoría PASS de la Inteligencia; 3.Comprobar si los procesos PASS varían en el transcurso de más de seis meses sin ningún tipo de intervención ni emocional ni cognitiva, 4. Comprobar si los resultados obtenidos en los tres primeros objetivos se diferencian entre ellos para determinar el componente emocional en los procesos cognitivos PASS, y 5. Establecer orientaciones prácticas para la intervención psicopedagògica considerando la relación de procesos emocionales, cognitivos y aprendizaje. Para poder llevar a cabo esta investigación, la metodologia utilizada es: una metodologia cuantitativa ya que se realiza una investigación experimental enmarcada como un diseño mixto 3x2 con el primer factor ínter sujeto y el segundo factor intra sujeto. Y por otra parte, una metodologia cualitativa. ya que en la primera muestra se realiza una intervención psicopedagógica en base emocional a cuarenta casos de la UNPP, y en la segunda muestra se realiza una intervención psicopedagògica en base cognitiva a treinta casos de la UNPP. Los resultados comparativos nos corraboran afirmativamente la hipotesis y objetivos, facilitando realizar un analisis-discusión muy interesante aportando las implicaciones educativas que acarrean, y por consiguiente llegando a las conclusiones. De entre éstas destacamos principalmente: 1. La intervención emocional es eficaz para mejorar el rendimiento cognitivo, si tenemos en cuenta que a pesar que no se ha realizado intervención cognitiva se ha producido una mejora en el rendimiento escolar. 2. La intervención cognitiva PASS es eficaz para la mejora del rendimiento cognitivo y la desaparación de las dificultades de aprendizaje cuando el origen de estas es cognitivo. 3. En las diferencias en planificación se observa que se ha producido un incremento mayor y sustancial en el grupo que ha recibido intervención emocional. 4. Y por consiguiente, podemos decir que la emoción se interrelaciona con la cognición a través del procesamiento cognitivo de planificación.