87 resultados para Modulated logics


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Hydrogenated amorphous silicon (a‐Si:H) thin films have been obtained from pure SiH4 rf discharges by using the square wave modulation (SQWM) method. Film properties have been studied by means of spectroellipsometry, thermal desorption spectrometry, photothermal deflection spectroscopy and electrical conductivity measurements, as a function of the modulation frequency of the rf power amplitude (0.2-4000 Hz). The films deposited at frequencies about 1 kHz show the best structural and optoelectronic characteristics. Based upon the experimental results, a qualitative model is presented, which points up the importance of plasma negative ions in the deposition of a‐Si:H from SQWM rf discharges through their influence on powder particle formation.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Two graphs with adjacency matrices $\mathbf{A}$ and $\mathbf{B}$ are isomorphic if there exists a permutation matrix $\mathbf{P}$ for which the identity $\mathbf{P}^{\mathrm{T}} \mathbf{A} \mathbf{P} = \mathbf{B}$ holds. Multiplying through by $\mathbf{P}$ and relaxing the permutation matrix to a doubly stochastic matrix leads to the linear programming relaxation known as fractional isomorphism. We show that the levels of the Sherali--Adams (SA) hierarchy of linear programming relaxations applied to fractional isomorphism interleave in power with the levels of a well-known color-refinement heuristic for graph isomorphism called the Weisfeiler--Lehman algorithm, or, equivalently, with the levels of indistinguishability in a logic with counting quantifiers and a bounded number of variables. This tight connection has quite striking consequences. For example, it follows immediately from a deep result of Grohe in the context of logics with counting quantifiers that a fixed number of levels of SA suffice to determine isomorphism of planar and minor-free graphs. We also offer applications in both finite model theory and polyhedral combinatorics. First, we show that certain properties of graphs, such as that of having a flow circulation of a prescribed value, are definable in the infinitary logic with counting with a bounded number of variables. Second, we exploit a lower bound construction due to Cai, Fürer, and Immerman in the context of counting logics to give simple explicit instances that show that the SA relaxations of the vertex-cover and cut polytopes do not reach their integer hulls for up to $\Omega(n)$ levels, where $n$ is the number of vertices in the graph.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We have studied the effect of pressure on the structural and vibrational properties of lanthanum tritungstate La2(WO4)3. This compound crystallizes under ambient conditions in the modulated scheelite-type structure known as the α phase. We have performed x-ray diffraction and Raman scattering measurements up to a pressure of 20 GPa, as well as ab initio calculations within the framework of the density functional theory. Up to 5 GPa, the three methods provide a similar picture of the evolution under pressure of α-La2(WO4)3. At 5 GPa, we begin to observe some structural changes, and above 6 GPa we find that the x-ray patterns cannot be indexed as a single phase. However, we find that a mixture of two phases with C2/c symmetry accounts for all diffraction peaks. Our ab initio study confirms the existence of several C2/c structures, which are very close in energy in this compression range. According to our measurements, a state with medium-range order appears at pressures above 9 and 11 GPa, from x-ray diffraction and Raman experiments, respectively. Based upon our theoretical calculations we propose several high-pressure candidates with high cationic coordinations at these pressures. The compound evolves into a partially amorphous phase at pressures above 20 GPa.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The autophagic process is a lysosomal degradation pathway, which is activated during stress conditions, such as starvation or exercise. Regular exercise has beneficial effects on human health, including neuroprotection. However, the cellular mechanisms underlying these effects are incompletely understood. Endurance and a single bout of exercise induce autophagy not only in brain but also in peripheral tissues. However, little is known whether autophagy could be modulated in brain and peripheral tissues by long-term moderate exercise. Here, we examined the effects on macroautophagy process of long-term moderate treadmill training (36 weeks) in adult rats both in brain (hippocampus and cerebral cortex) and peripheral tissues (skeletal muscle, liver and heart). We assessed mTOR activation and the autophagic proteins Beclin 1, p62, LC3B (LC3B-II/LC3B-I ratio) and the lysosomal protein LAMP1, as well as the ubiquitinated proteins. Our results showed in the cortex of exercised rats an inactivation of mTOR, greater autophagy flux (increased LC3-II/LC3-I ratio and reduced p62) besides increased LAMP1. Related with these effects a reduction in the ubiquitinated proteins was observed. No significant changes in the autophagic pathway were found either in hippocampus or in skeletal and cardiac muscle by exercise. Only in the liver of exercised rats mTOR phosphorylation and p62 levels increased, which could be related with beneficial metabolic effects in this organ induced by exercise. Thus, our findings suggest that long-term moderate exercise induces autophagy specifically in the cortex

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The autophagic process is a lysosomal degradation pathway, which is activated during stress conditions, such as starvation or exercise. Regular exercise has beneficial effects on human health, including neuroprotection. However, the cellular mechanisms underlying these effects are incompletely understood. Endurance and a single bout of exercise induce autophagy not only in brain but also in peripheral tissues. However, little is known whether autophagy could be modulated in brain and peripheral tissues by long-term moderate exercise. Here, we examined the effects on macroautophagy process of long-term moderate treadmill training (36 weeks) in adult rats both in brain (hippocampus and cerebral cortex) and peripheral tissues (skeletal muscle, liver and heart). We assessed mTOR activation and the autophagic proteins Beclin 1, p62, LC3B (LC3B-II/LC3B-I ratio) and the lysosomal protein LAMP1, as well as the ubiquitinated proteins. Our results showed in the cortex of exercised rats an inactivation of mTOR, greater autophagy flux (increased LC3-II/LC3-I ratio and reduced p62) besides increased LAMP1. Related with these effects a reduction in the ubiquitinated proteins was observed. No significant changes in the autophagic pathway were found either in hippocampus or in skeletal and cardiac muscle by exercise. Only in the liver of exercised rats mTOR phosphorylation and p62 levels increased, which could be related with beneficial metabolic effects in this organ induced by exercise. Thus, our findings suggest that long-term moderate exercise induces autophagy specifically in the cortex

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Drought is the main constraint on wheat yield in Mediterranean conditions. The photosynthesis, chlorophyll fluorescence and plant growth parameters of durum wheat (Triticum turgidum, L. var. durum) were compared at three [CO2] (i.e., depleted 260 ppm, current 400ppm and elevated 700 ppm) in plants subjected to twowater regimes (i.e.,well-wateredWW, and mildwater stress by drought orwater deficit WS), during pre-anthesis, post-anthesis and the end of grain filling. We showed that [CO2] effects on plants are modulated by water availability. Plants at depleted [CO2] showed photosynthetic acclimation (i.e., up-regulation) and reduced plant biomass and Harvest Index, but depleted [CO2] combined with WS has a more negative impact on plants with decreases in C assimilation and biomass. Plants at elevated [CO2] had decreased plant growth and photosynthesis in response to a down-regulation mechanism resulting from a decrease in Rubisco and N content, but plants exposed to a combination of elevated [CO2] and WS were the most negatively affected (e.g., on plant biomass).

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Estudi elaborat a partir d’una estada a la University of Wales, Bangor, Regne Unit entre setembre i desembre del 2006. Els sons distractors augmenten el temps de reacció i el nombre de respostes incorrectes en una tasca de classificació visual, demostrant que hi ha distracció conductual durant la realització de la tasca visual. L’enregistrament concomitant de potencials evocats durant la distracció mostra un patró neuroelèctric característic, el potencial de distracció, que es caracteritza per una ona trifàsica. Darrerament, s’ha demostrat que factors “des de dalt” associats al muntatge experimental tindrien una gran influència en els efectes que els estímuls distractors tindrien en la tasca. Estudis recents mostrarien que aquesta resposta d’atenció exògena es pot modular per la càrrega en memòria de treball, reduint-ne la distracció amb la càrrega, fet que contradiu altres dades que mostraven l’efecte oposat. L’objectiu d’aquest estudi ha estat investigar en quines condicions la càrrega en memòria de treball pot exercir un efecte modulador en les respostes conductuals i cerebrals als sons novedosos distractors, i establir la dinàmica espacio-temporal d’aquesta modulació.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The aim of this article is to analyse those situations in which learning and socialisation take place within the context of the Common Foreign and Security Policy (CFSP), in particular, at the level of experts in the Council Working Groups. Learning can explain the institutional development of CFSP and changes in the foreign policies of the Member States. Some scope conditions for learning and channels of institutionalisation are identified. Socialisation, resulting from learning within a group, is perceived as a strategic action by reflective actors. National diplomats, once they arrive in Brussels, learn the new code of conduct of their Working Groups. They are embedded in two environments and faced with two logics: the European one in the Council and the national one in the Ministries of Foreign Affairs (MFA). The empirical evidence supports the argument that neither rational nor sociological approaches alone can account for these processes.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The appeal to ideas as causal variables and/or constitutive features of political processes increasingly characterises political analysis. Yet, perhaps because of the pace of this ideational intrusion, too often ideas have simply been grafted onto pre-existing explanatory theories at precisely the point at which they seem to get into difficulties, with little or no consideration either of the status of such ideational variables or of the character or consistency of the resulting theoretical hybrid. This is particularly problematic for ideas are far from innocent variables – and can rarely, if ever, be incorporated seamlessly within existing explanatory and/or constitutive theories without ontological and epistemological consequence. We contend that this tendency along with the limitations of the prevailing Humean conception of causality, and associated epistemological polemic between causal and constitutive logics, continue to plague almost all of the literature that strives to accord an explanatory role to ideas. In trying to move beyond the current vogue for epistemological polemic, we argue that the incommensurability thesis between causal and constitutive logics is only credible in the context of a narrow, Humean, conception of causation. If we reject this in favour of a more inclusive (and ontologically realist) understanding then it is perfectly possible to chart the causal significance of constitutive processes and reconstrue the explanatory role of ideas as causally constitutive.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The present project has performed the study and development of a new technique for the detection of gases with range resolution. This technique called FMCW-lidar is a technique that evolves from the FMCW-radar technique to be applied to lidar systems. Moreover, it takes advantage of the appearance of spectral absorption lines because of the interaction between light and gases to tune the light wavelength of a laser emitter with one of this spectral lines and then detects the backscattered light and analyzes it in order to obtain gas concentration measurements. The first part of the project consisted in the analysis of the WMS technique which is a technique for the in-situ measurement of gases. A complete theoretical analysis has been performed and some experiments have been carried out in order to test the technique and to validate its application to an FMCW-modulated system for the detection of gases. The second part of the project consisted in the analysis of the lidar FMCW technique for solid target detection and its extension to continuous media. The classical form of this technique has been analyzed for a distributed medium and a filtering effect has been found which prevents the accurate acquisition of the medium response. A modification of the technique has been proposed and a validation via simulations and some experiments has been carried on. After performing these tests, a novel system is proposed to be developed and tested in order to perform the indicated gas detection with range resolution.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

La proteïna CK2 és una Ser/Thr fosfotransferasa evolutivament conservada. Està formada per dues subunitats diferents, α (catalítica) i β (reguladora), que s’associen en un complex heterotetramèric (α2β2). L’activitat d’aquest enzim està regulada per varis mecanismes que la modulen diferencialment en funció del substrat, entre ells, la localització subcel·lular de les diferents subunitats. A partir de plantes transgèniques que contenen les subunitats de CK2 fusionades a una proteïna fluorescent (GFP o YFP) hem establert línies cel·lulars que permetran analitzar, en treballs futurs, els canvis de localització subcel·lular de les subunitats de CK2 provocats per diferents estímuls. La CK2 intervé en un gran nombre de processos cel·lulars, entre d’altres, metabolisme, transport a nucli, control del cicle cel·lular i reparació del DNA. Amb la finalitat d’estudiar el paper de la CK2 en el desenvolupament de les plantes, membres del grup van generar un mutant dominant negatiu per transformació estable de plantes d’Arabidopsis thaliana. Estudis previs mostraven que la pèrdua d’activitat CK2 en aquestes plantes provocava una alteració de l’activitat mitòtica i un bloqueig del cicle cel·lular. Els resultats obtinguts en aquest treball indiquen que aquests fenotips podrien ser conseqüència de la implicació de la CK2 en processos d’estructuració de la cromatina.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

La Facultat de Ciències de la Salut i de la Vida ha utilitzat des de 2004 la metodologia d'aprenentatge basat en problemes (en endavant ABP) com a mètode docent en els seus estudis de Biologia. En aquest període hem après algunes de les claus de l'aplicació del mètode en els nostres estudis. En primer lloc, cal disposar d'elements formatius que afavoreixin la formació dels tutors que participin en el projecte. Per assolir aquest objectiu hem dissenyat un portal on els nostres professors poden disposar de materials útils per a la seva activitat, així com de documents que permetin entendre millor el que suposa l'ABP. En segon lloc, el projecte tenia l'objectiu de dissenyar i avaluar activitats que permetessin integrar les pràctiques de laboratori en la lògica de la resolució de problemes pròpia de l'ABP. En aquest sentit vam dissenyar dues activitats en el tercer curs de la llicenciatura que anomenaren aprenentatge basat en el laboratori (ABL). Per aquest motiu es van dissenyar problemes que tinguessin una primera part de resolució a l'aula en grup de tutoria i una segona que obligués els estudiants a realitzar experiments de laboratori dirigits a entendre i resoldre les qüestions plantejades al grup de tutoria. L'ABL-1 fou un projecte de biologia cel·lular i destinat a aprofundir en els mecanismes implicats en els fenòmens de diferenciació dels miòcits. L'ABL-2 era un projecte conjunt dels professors de Fisiologia vegetal, Bioestadística i Microbiologia. En aquest cas es desitjava que els estudiants plantegessin la resolució a un problema que suposava la manipulació genètica de cèl·lules vegetals per fer possible que produïssin una substància específica, l'escopolamina. Finalment els estudiants havien d'escriure un article original com a projecte final de cada ABL. Els resultats dels dos anys d'experimentació han esta altament satisfactoris, d'acord amb les enquestes completades per alumnes i professors.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In 1975 the Kribi region (Southern Cameroon) became host of the rubber plantation HEVECAM, the third largest employer in Cameroon. The establishment of the plantation has been preceded by the expropriation of customary land and by the destruction of the rainforest used by local populations. As a result, conflicts – mostly latent – pitting neighbouring Bulu communities against the plantation have occurred, especially during the last few years. Drawing on fieldwork data as well as on anthropological, economic and historical materials, I try to explore a new way of looking at such environmental conflicts by arguing that they reflect the struggle between two distinct institutional logics with different impacts on the environment, i.e. the logic of property versus the one of possession. In short, the logic of possession corresponds to a multi-functional community-based forest management, while the logic of property gave birth to the commercial monoculture model, the highest stage of the transformation of an ecosystem in order to match the requirements of property. It is argued that the conflict between the logic of possession and the logic of property is at the heart of many cases of “environmentalisms of the poor” that arise in reaction to “development”.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Aquest projecte abasta el disseny i el desenvolupament d’un model prototípic de Metodologia per a la Valoració de l’Aprenentatge Ambiental, a la qual anomenem “MEVA-Ambiental”. Per a fer possible aquesta fita ens hem basat en fonaments ontològics i constructivistes per representar i analitzar el coneixement a fi de poder quantificar l’Increment de Coneixement (IC). Per nosaltres l’IC esdevé un indicador socio-educatiu que ens servirà per a determinar l’efectivitat dels tallers d’educació ambiental en percentatge. En procedir d’aquesta manera, les qualificacions resultats poden es poden prendre com punt de partida per a desenvolupar estudis en el temps i comprendre com “s’ancora” el nou coneixement a l’estructura cognitiva dels aprenents. Més enllà del plantejament teòric de mètode, també proveïm la solució tècnica que mostra com n’és de funcional i d’aplicable la part empírica metodològica. A aquesta solució que hem anomenat “MEVA-Tool”, és una eina virtual que automatitza la recollida i tractament de dades amb una estructura dinàmica basada en “qüestionaris web” que han d’emplenar els estudiants, una “base de dades” que acumula la informació i en permet un filtratge selectiu, i més “Llibre Excel” que en fa el tractament informatiu, la representació gràfica dels resultats, l’anàlisi i conclusions.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Projecte de recerca elaborat a partir d’una estada a la Università degli studi di Siena, Italy , entre 2007 i 2009. El projecte ha consistit en un estudi de la formalització lògica del raonament en presència de vaguetat amb els mètodes de la Lògica Algebraica i de la Teoria de la Prova. S'ha treballat fonamental en quatre direccions complementàries. En primer lloc, s'ha proposat un nou plantejament, més abstracte que el paradigma dominant fins ara, per l'estudi dels sistemes de lògica borrosa. Fins ara en l'estudi d'aquests sistemes l'atenció havia recaigut essencialment en l'obtenció de semàntiques basades en tnormes contínues (o almenys contínues per l'esquerra). En primer nivell de major abstracció hem estudiat les propietats de completesa de les lògiques borroses (tant proposicionals com de primer ordre) respecte de semàntiques definides sobre qualsevol cadena de valors de veritat, no necessàriament només sobre l'interval unitat dels nombres reals. A continuació, en un nivell encara més abstracte, s’ha pres l'anomenada jerarquia de Leibniz de la Lògica Algebraica Abstracta que classifica tots els sistemes lògics amb un bon comportament algebraic i s'ha expandit a una nova jerarquia (que anomenem implicacional) que permet definir noves classes de lògiques borroses que contenen quasi totes les conegudes fins ara. En segon lloc, s’ha continuat una línia d'investigació iniciada els darrers anys consistent en l'estudi de la veritat parcial com a noció sintàctica (és a dir, com a constants de veritat explícites en els sistemes de prova de les lògiques borroses). Per primer cop, s’ha considerat la semàntica racional per les lògiques proposicionals i la semàntica real i racional per les lògiques de primer ordre expandides amb constants. En tercer lloc, s’ha tractat el problema més fonamental del significat i la utilitat de les lògiques borroses com a modelitzadores de (part de) els fenòmens de la vaguetat en un darrer article de caràcter més filosòfic i divulgatiu, i en un altre més tècnic en què defensem la necessitat i presentem l'estat de l'art de l'estudi de les estructures algèbriques associades a les lògiques borroses. Finalment, s’ha dedicat la darrera part del projecte a l'estudi de la complexitat aritmètica de les lògiques borroses de primer ordre.