Dissertations / Theses on the topic 'CSPs'
To see the other types of publications on this topic, follow the link: CSPs.
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'CSPs.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Nguyen, Van-Hau. "SAT Encodings of Finite CSPs." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2015. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-162186.
Full textAbstract:
Boolean satisfiability (SAT) is the problem of determining whether there exists an assignment of the Boolean variables to the truth values such that a given Boolean formula evaluates to true. SAT was the first example of an NP-complete problem. Only two decades ago SAT was mainly considered as of a theoretical interest.
Nowadays, the picture is very different. SAT solving becomes mature and is a successful approach for tackling a large number of applications, ranging from artificial intelligence to industrial hardware design and verification. SAT solving consists of encodings and solvers. In order to benefit from the tremendous advances in the development of solvers, one must first encode the original problems into SAT instances.
These encodings should not only be easily generated, but should also be efficiently processed by SAT solvers. Furthermore, an increasing number of practical applications in computer science can be expressed as constraint satisfaction problems (CSPs). However, encoding a CSP to SAT is currently regarded as more of an art than a science, and choosing an appropriate encoding is considered as important as choosing an algorithm. Moreover, it is much easier and more efficient to benefit from highly optimized state-of-the-art SAT solvers than to develop specialized tools from scratch. Hence, finding appropriate SAT encodings of CSPs is one of the most fascinating challenges for solving problems by SAT.
This thesis studies SAT encodings of CSPs and aims at:
1) conducting a comprehensively profound study of SAT encodings of CSPs by separately investigating encodings of CSP domains and constraints;
2) proposing new SAT encodings of CSP domains;
3) proposing new SAT encoding of the at-most-one constraint, which is essential for encoding CSP variables; 4) introducing the redundant encoding and the hybrid encoding that aim to benefit from both two efficient and common SAT encodings (i.e., the sparse and order encodings) by using the channeling constraint (a term used in Constraint Programming) for SAT; and
5) revealing interesting guidelines on how to choose an appropriate SAT encoding in the way that one can exploit the availability of many efficient SAT solvers to solve CSPs efficiently and effectively.
Experiments show that the proposed encodings and guidelines improve the state-of-the-art SAT encodings of CSPs.
2
Katsirelos, George. "A framework for experiments in CSPs." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp05/MQ62966.pdf.
Full text
3
Giovanelli, Francesco. "Model Agnostic solution of CSPs with Deep Learning." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2019. http://amslaurea.unibo.it/18633/.
Full textAbstract:
Negli ultimi anni, le tecniche di Deep Learning sono state notevolmente migliorate, permettendo di affrontare con successo numerosi problemi. Il Deep Learning ha un approccio sub-simbolico ai problemi, perciò non si rende necessario descrivere esplicitamente informazioni sulla struttura del problema per fare sì che questo possa essere affrontato con successo; l'idea è quindi di utilizzare reti neurali di Deep Learning per affrontare problemi con vincoli (CSPs), senza dover fare affidamento su conoscenza esplicita riguardo ai vincoli dei problemi. Chiamiamo questo approccio Model Agnostic; esso può rivelarsi molto utile se usato sui CSP, dal momento che è spesso difficile esprimerne tutti i dettagli: potrebbero esistere vincoli, o preferenze, che non sono menzionati esplicitamente, e che sono intuibili solamente dall'analisi di soluzioni precedenti del problema. In questi casi, un modello di Deep Learning in grado di apprendere la struttura del CSP potrebbe avere applicazioni pratiche rilevanti.
In particolar modo, in questa tesi si è indagato sul fatto che una Deep Neural Network possa essere capace di risolvere il rompicapo delle 8 regine. Sono state create due diverse reti neurali, una rete Generatore e una rete Discriminatore, che hanno dovuto apprendere differenti caratteristiche del problema. La rete Generatore è stata addestrata per produrre un singolo assegnamento, in modo che questo sia globalmente consistente; la rete Discriminatore è stata invece addestrata a distinguere tra soluzioni ammissibili e non ammissibili, con l'idea che possa essere utilizzata come controllore dell'euristica.
Infine, sono state combinate le due reti in un unico modello, chiamato Generative Adversarial Network (GAN), in modo che esse possano scambiarsi conoscenza riguardo al problema, con l'obiettivo di migliorare le prestazioni di entrambe.
4
Kuivinen, Fredrik. "Algorithms and Hardness Results for Some Valued CSPs." Doctoral thesis, Linköpings universitet, TCSLAB - Laboratoriet för teoretisk datalogi, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-51687.
Full textAbstract:
In the Constraint Satisfaction Problem (CSP) one is supposed to find an assignment to a set of variables so that a set of given constraints are satisfied. Many problems, both practical and theoretical, can be modelled as CSPs. As these problems are computationally hard it is interesting to investigate what kind of restrictions of the problems implies computational tractability. In this thesis the computational complexity of restrictions of two optimisation problems which are related to the CSP is studied. In optimisation problems one can also relax the requirements and ask for an approximatively good solution, instead of requiring the optimal one. The first problem we investigate is Maximum Solution (Max Sol) where one is looking for a solution which satisfies all constraints and also maximises a linear bjective function. The Maximum Solution problem is a generalisation of the well-known integer linear programming problem. In the case when the constraints are equations over an abelian group we obtain tight inapproximability results. We also study Max Sol for so-called maximal constraint languages and a partial classification theorem is obtained in this case. Finally, Max Sol over the boolean domain is studied in a setting where each variable only occurs a bounded number of times. The second problem is the Maximum Constraint Satisfaction Problem (Max CSP). In this problem one is looking for an assignment which maximises the number of satisfied constraints. We first show that if the constraints are known to give rise to an NP-hard CSP, then one cannot get arbitrarily good approximate solutions in polynomial time, unless P = NP. We use this result to show a similar hardness result for the case when only one constraint relation is used. We also study the submodular function minimisation problem (SFM) on certain finite lattices. There is a strong link between Max CSP and SFM; new tractability results for SFM implies new tractability results for Max CSP. It is conjectured that SFM is the only reason for Max CSP to be tractable, but no one has yet managed to prove this. We obtain new tractability results for SFM on diamonds and evidence which supports the hypothesis that all modular lattices are tractable.I ett villkorsprogrammeringsproblem är uppgiften att tilldela värden till variabler så att en given mängd villkor blir uppfyllda. Många praktiska problem, så som schemaläggning och planering, kan formuleras som villkorsprogrammeringsproblem och det är därför önskvärt att ha effektiva algoritmer för att hitta lösningar till denna typ av problem. De generella varianterna av dessa problem är NP-svåra att lösa. Detta innebär att det antagligen inte finns effektiva algoritmer för problemen (om inte P = NP vilket anses vara mycket osannolikt). Av denna anledning förenklar vi problemet genom att studera restriktioner av det och ibland nöjer vi oss med approximativa lösningar. I den här avhandlingen studeras två varianter av villkorsprogrammeringsproblemet där man inte bara ska hitta en lösning utan hitta en så bra lösning som möjligt. I den första varianten är målet att hitta en tilldelning där samtliga villkor uppfylls och att en viktad summa av variablerna maximeras. Detta problem kan ses som en generalisering av det välkända linjära heltalsprogrammeringsproblemet. I den andra varianten är målet att hitta en tilldelning som uppfyller så många villkor som möjligt. Då det gäller den första varianten, då man ska hitta en lösning som uppfyller samtliga villkor som också maximerar summan av variablerna, presenteras nya resultat för ett antal specialfall. De så kallade maximala villkorsmängderna studeras och komplexiteten för ett antal av dessa bestäms. Vi studerar också en variant av problemet över den Boolska domänen då antal variabelförekomster är begränsat. I detta fall ger vi en partiell klassifikation över vilka villkorsmängder som är hanterbara och vilka som inte kan lösas effektivt. För den andra varianten, då man ska uppfylla så många villkor som möjligt, presenteras några nya effektiva algoritmer för vissa restriktioner. I dessa algoritmer löses det mer generella problemet av minimering av submodulära funktioner över vissa ändliga latticar. Vi bevisar också ett resultat som beskriver exakt när det finns effektiva algoritmer då man endast har tillgång till en typ av villkor.
5
Eriksson, Leif. "Solving Temporal CSPs via Enumeration and SAT Compilation." Thesis, Linköpings universitet, Institutionen för datavetenskap, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-162482.
Full textAbstract:
The constraint satisfaction problem (CSP) is a powerful framework used in theoretical computer science for formulating a multitude of problems. The CSP over a constraint language Γ (CSP(Γ)) is the decision problem of verifying whether a set of constraints based on the relations in Γ admits a satisfying assignment or not. Temporal CSPs are a special subclass of CSPs frequently encountered in AI. Here, the relations are first-order definable in the structure (Q;<), i.e the rationals with the usual order. These problems have previously often been solved by either enumeration or SAT compilation. We study a restriction of temporal CSPs where the constraint language is limited to logical disjunctions of <-, =-, ≠- and ≤-relations, and were each constraint contains at most k such basic relations (CSP({<,=,≠,≤}∨k)). Every temporal CSP with a finite constraint language Γ is polynomial-time reducible to CSP({<,=,≠,≤}∨k) where k is only dependent on Γ. As this reduction does not increase the number of variables, the time complexity of CSP(Γ) is never worse than that of CSP({<,=,≠,≤}∨k). This makes the complexity of CSP({<,=,≠,≤}∨k) interesting to study. We develop algorithms combining enumeration and SAT compilation to solve CSP({<,=,≠,≤}∨k), and study the asymptotic behaviour of these algorithms for different classes. Our results show that all finite constraint languages Γ first order definable over (Q;<) are solvable in O*(((1/(eln(2))-ϵk)n)^n) time for some ϵk>0 dependent on Γ. This is strictly better than O*((n/(eln(2)))^n), i.e. O*((0.5307n)^n), achieved by enumeration algorithms. Some examples of upper bounds on time complexity achieved in the thesis are CSP({<}∨2) in O*((0.1839n)^n) time, CSP({<,=,≤}∨2) in O*((0.2654n)^n) time, CSP({<,=,≠}∨3) in O*((0.4725n)^n) time and CSP({<,=,≠,≤}∨3) in O*((0.5067n)^n) time. For CSP({<}∨2) this should be compared to the bound O*((0.3679n)^n), from previously known enumeration algorithms.
6
Stockman, Peter. "Upper Bounds on the Time Complexity of Temporal CSPs." Thesis, Linköpings universitet, Institutionen för datavetenskap, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-129778.
Full textAbstract:
The temporal constraint satisfaction problem (CSP) offers a formalized way to reason about in which order tasks should be accomplished. Using this we can model a wide set of specific problems from scheduling to AI. In this thesis we present two algorithms, Algorithm A and Algorithm B, to solve temporal CSPs focused on improving the worst case time complexity. The first algorithm solves temporal CSPs by an exhaustive search of all weak orderings. The time complexity is in
7
Batnini, Heikel. "Contraintes globales et heuristiques de recherche pour les CSPs continus." Phd thesis, Université de Nice Sophia-Antipolis, 2005. http://tel.archives-ouvertes.fr/tel-00091375.
Full textAbstract:
Les systèmes de contraintes de distance euclidienne apparaissent dans de nombreux domaines d'applications, comme en robotique, en biochimiemoléculaire ou en CAO. Les techniques issues de la programmation par contraintes permettent de résoudre ces problèmes en combinant une technique de bissection avec des méthodes de réduction des domaines (consistances locales ou partielles). Or, ces consistances sont des méthodes systématiques qui ne prennent pas en compte les propriétés spécifiques des contraintes.
Nous présentons dans cette thèse deux approches pour la conception d'une contrainte globale pour la résolution de systèmes de contraintes de distance. La première approche est basée sur l'inférence de contraintes
redondantes directement issues de propriétés géométriques du système.
La deuxième approche est basée sur l'introduction d'un algorithme de filtrage global dédié aux systèmes d'équations de distance.
Ces travaux ont débouché sur la conception d'une
technique de décomposition de domaines qui exploite la structure particulière des contraintes de distance. Enfin, nous présentons une généralisation de cette heuristique de recherche à des contraintes numériques quelconques.
8
Chakchouk, Fadoua. "Contribution à la robustesse dans les CSPs distribués par réplication locale." Thesis, Valenciennes, 2018. http://www.theses.fr/2018VALE0039/document.
Full textAbstract:
Nous visons à garantir la résolution d’un DisCSP en présence d’un ou plusieurs agents défaillants. Les méthodes traitant la tolérance aux fautes au sein des SMAs visent la continuité du fonctionnement du système. Mais, aucune de ces méthodes n’est appliquée pour résoudre un DisCSP. La défaillance d’un agent au cours de la résolution d’un DisCSP engendre la perte d’une partie du DisCSP global, d’où l’obtention d’un résultat erroné. Donc pour obtenir les résultats attendus, il faut garantir la résolution du CSP local de l’agent défaillant. Nous proposons de répliquer les CSPs locaux des agents défaillants au sein des agents non défaillants. Cette réplication permet la résolution du CSP local de l’agent défaillant par un autre agent. Cette résolution est effectuée en fusionnant les réplicats de CSPs des agents défaillants avec les CSPs des autres agents. Cette fusion permet la conservation de la modélisation initiale du DisCSP. L’algorithme de distribution des réplicats proposé garantit que les CSPs des agents défaillants ne soient pas répliqués au sein du même agent. De cette façon, le problème conserve son aspect distribuéWe aim to ensure a DisCSP resolution in presence of failed agents. Methods handling fault tolerance in MASs aim to ensure the continuity of the system operation. But, none of these methods are applied to solve a DisCSP. The failure of an agent generates the loss of a part of the DisCSP providing wrong results. Therefore, to obtain expected results, it is necessary to ensure the resolution of the failed agent local CSP.We propose to replicate the local CSPs of the failed agents within active agents. This replication allows local CSP resolution of the failed agent by another agent. The resolution is done by merging the replicates of failed agents CSPs with the CSPs of other agents. This technique conserve the initial DisCSP modeling. The proposed replicates distribution algorithm ensures that the CSPs of failed agents are not replicated within the same agent. In this way, the problem keeps its distributed aspect
9
Dickinson, Joanne Helen. "Characterisation of the major cold shock protein genes (csps) of Yersinia enterocolitica." Thesis, University of Nottingham, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.395713.
Full text
10
Nguyen, Van-Hau [Verfasser], Steffen [Akademischer Betreuer] Hölldobler, and Pedro [Akademischer Betreuer] Barahona. "SAT Encodings of Finite CSPs / Van-Hau Nguyen. Gutachter: Steffen Hölldobler ; Pedro Barahona." Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2015. http://d-nb.info/106951814X/34.
Full text
11
Pereira, Fernanda Maria Vieira. "Adaptação cultural e validação da Compliance with Standard Precautions Scale (CSPS) para enfermeiros brasileiros." Universidade de São Paulo, 2015. http://www.teses.usp.br/teses/disponiveis/83/83131/tde-07012016-142215/.
Full textAbstract:
Introdução: As precauções-padrão (PP) constituem um conjunto de medidas que têm como finalidade minimizar o risco de transmissão ocupacional de patógenos, sendo indispensável sua utilização por profissionais de saúde, sobretudo pelos enfermeiros. No entanto, a não adesão às PP constitui problemática amplamente discutida em todo o mundo. Embora haja diversos estudos brasileiros que visem avaliar a adesão às PP , ainda tem-se observado grande fragilidade no processo de construção e de validação dos instrumentos utilizados para avaliação deste construto. Objetivo: Realizar a adaptação cultural e validação da Compliance with Standard Precautions Scale (CSPS) para enfermeiros brasileiros. Metodologia: Trata-se de um estudo metodológico para a adaptação e validação da CSPS. Essa escala é composta por 20 itens com quatro opções de respostas, e destina-se a avaliar a adesão às PP. O processo de adaptação consistiu em Tradução, Consenso entre Juízes, Retrotradução e Validação Semântica. A primeira etapa foi a tradução do idioma original para o português do Brasil. Após foi realizado um comitê composto por sete juízes, a versão de consenso obtida na etapa anterior foi traduzida novamente para o idioma de origem. Foram avaliadas as propriedades psicométricas do instrumento, considerando-se as validades de face e de conteúdo, a validade de construto e a confiabilidade. A versão para o Português do Brasil da CSPS (CSPS-PB) foi aplicada em uma amostra de 300 enfermeiros que atuam na assistência a pacientes em um hospital localizado na cidade de São Paulo/SP. A confiabilidade foi avaliada por meio da consistência interna (alfa de Cronbach) e teste reteste (coeficiente de correlação intraclasse - ICC). Para a validação de construto, foi utilizada a comparação entre grupos diferentes, análise fatorial exploratória e análise fatorial confirmatória, segundo o Modelo de Equações Estruturais (SEM). Utilizou-se o software IBM® SPSS, 19.0. Para a análise fatorial confirmatória foi utilizado o módulo específico Analysis of Moment Structures (IBM® SPSS AMOS). Para a análise paralela utilizou-se o programa RanEigen Syntax. O nível de significância adotado foi ? = 0,05. Todos os aspectos éticos foram contemplados. Resultados: A tradução realizada por tradutores juramentados garantiu qualidade a esse processo. A validação de face e de conteúdo possibilitou a realização de modificações pertinentes e imperativas a fim de atender aos critérios de equivalências conceituais, idiomáticas, culturais e semânticas. Obteve-se ?=0,61 na avaliação da consistência interna, indicando confiabilidade satisfatória. O ICC indicou uma correlação de 0,87 quase perfeita para o teste reteste duas semanas após a primeira abordagem, conferindo estabilidade satisfatória. A validade de construto mostrou que a CSPS-PB foi capaz de discriminar as médias de adesão às PP entre grupos distintos referente à idade (F=5,15 p<=0,01), ao tempo de experiência clínica (F = 8,9 p<= 0,000) e a ter recebido treinamento (t = 2,48 p<=0,01). Na análise fatorial confirmatória, o modelo foi subidentificado. A análise fatorial exploratória indicou que todos os itens apresentaram cargas fatoriais adequadas (>=0,30), sendo identificados quatro fatores pela análise paralela. O total de variância explicada foi de 35,48%. Conclusão: A CSPS-PB, trata-se de um instrumento adequado, confiável e válido para medir a adesão às PP entre enfermeiros brasileirosIntroduction: Standard precautions (SP) are a set of measures that aim to minimize the risk of occupational transmission of pathogens, being essential their use by health professionals, especially nurses. However, the non-adhesion to SP is a widely discussed problem. Although there are several Brazilian studies aimed at evaluating adhesion to SP, a great weakness in the construction and validation process of the instruments used to assess this construct was observed. Objective: To conduct the cultural adaptation and validation of the Compliance with Standard Precautions Scale (CSPS) for Brazilian nurses. Methodology: This is a methodological study to adapt and validate the CSPS. This scale consists of 20 items with four response options to evaluate adhesion to standard precautions. The adaptation process consisted of Translation, Consensus among Judges, Back-translation and Semantic Validation. The first step was the translation of the original language to Brazilian Portuguese. After that, a committee composed of seven judges analyzed the translation; the consensus version obtained in the previous step was translated back into the original language. The psychometric properties of the instrument were evaluated considering the validity of face and content, construct validity and reliability. The version for Brazilian Portuguese of CSPS (CSPS-PB) was applied to a sample of 300 nurses who work in the care of patients in a hospital located in city of São Paulo. Reliability was evaluated by internal consistency (Cronbach\'s alpha) and test retest (intraclass correlation coefficient-ICC). For construct validation, it was used comparisons among different groups, exploratory factor analysis and confirmatory factor analysis, according to the Structural Equation Model (SEM). IBM® SPSS 19.0 was used. For the confirmatory factor analysis, it was used the specific module Analysis of Moment Structures (IBM® SPSS AMOS). For parallel analysis, it was used the RanEigen Syntax program. The significance level was ?=0.05. All ethical aspects were included. Results: The translation conducted by sworn translators assured quality to this process. Validation of face and content made possible the performance of relevant and imperative modifications in order to meet the criteria of conceptual, idiomatic, cultural and semantic equivalence. The evaluation of internal consistency obtained ?=0.61, indicating satisfactory reliability. The ICC indicated a near-perfect correlation of 0.87 for the test-retest two weeks after the first approach, giving satisfactory stability. Construct validity showed that the CSPS-PB was able to discriminate the average of adhesion to PP among different groups related to age (F=5.15 p<=0.01), to the time of clinical experience (F=8.9 p<=0.000) and to have received training (t=2.48 p<=0.01). In confirmatory factor analysis, the model was under identified. Exploratory factor analysis indicated that all items had adequate factor loadings (>=0.30), being identified four factors by parallel analysis. The total variance explained was 35.48%. Conclusion: CSPS-PB is an appropriate instrument, reliable and valid to measure adhesion to PP among Brazilian nurses
12
Cabusas, Maria Elena Ybarbia III. "Chiral Separations on HPLC Derivatized Polysaccharide CSPs: Temperature, Mobile Phase and Chiral Recognition Mechanism Studies." Diss., Virginia Tech, 1998. http://hdl.handle.net/10919/30426.
Full textAbstract:
Direct chiral separations of the non-steroidal drugs of 2-methylarylpropionic acids (profens) on the chiral stationary phases (CSPs) of amylose tris(3,5-dimethylphenyl-carbamate), Chiralpak AD, and cellulose tris(3,5-dimethylphenylcarbamate), Chiralcel OD, were investigated. Chiralpak AD and Chiralcel OD are CSPs coated on silica gel and have the same type of constituents. However, they have different higher order structures arising from their different arrangements of the glucose units, i.e., the former has an a-(1,4)-D-glucose linkage and the latter has a b-(1,4)-D-glucose linkage. The orders of optimum enantioselectivity of racemic acids were reversed on the two CSPs which demonstrated that the enantioseparating abilities of these CSPs are complementary. This phenomenon also confirmed that the chiral recognition abilities of both CSPs were dependent on their higher order structures.
Mechanisms for retention and chiral recognition for the separation of racemic 2-methylarylpropionic acids on Chiralpak AD and Chiralcel OD were explored. In depth studies of the dependence of retention and enantioselectivity on temperature and mobile phase compositions were made. The thermodynamic parameters, the differences in free energy, enthalpy, and entropy of association between enantiomers and the CSP were evaluated.
The results indicated that the retention of racemic acids on both CSPs is mainly dependent on the hydrogen bonding interaction between the acid proton of the carboxyl moiety of the analyte and the carbonyl oxygen of the carbamate moiety of the CSP. The chiral recognition mechanism for Chiralpak AD involves: (1) the formation of transient diastereomeric analyte-CSP complexes through hydrogen bonding interactions between the carboxyl and the carbamate moieties of the acid and CSP, respectively; (2) stabilization of these complexes by insertion of the aromatic portion of the analytes into the chiral cavities of the CSP, as well as pi-pi, dipole-dipole, and additional hydrogen bonding interactions between analyte and CSP; and (3) chiral discrimination between enantiomer analytes arising from the additional hydrogen bond between analyte and CSP.
For Chiralcel OD, the chiral recognition mechanisms involve: (1) the formation of transient diastereomeric analyte-CSP complexes through hydrogen bonding interactions between the carboxyl and the carbamate moieties of the acid and CSP, respectively; (2) stabilization of these complexes by insertion of the aromatic portion of the analytes into the chiral cavities of the CSP, as well as pi-pi and dipole-dipole interactions between analyte and CSP; and (3) chiral discrimination due to: (a) the difference in the steric fit of enantiomers into the chiral cavity of the CSP (entropy controlled); and (b) dipole-dipole or p-p interactions between enantiomer analytes and CSP (enthalpy controlled).
Chromatographic and quantitative thermodynamic data showed that there are at least two different chiral recognition mechanisms for Chiralcel OD. One mechanism was characterized by negative values for the enthalpy and entropy differences of the association between enantiomers and CSP that classifies the enantioseparation to be enthalpy controlled. This behavior was exhibited by racemic 2-methylarylpropionic acids with fused rings that were favorably separated at low temperatures. The other mechanism was associated with positive values for the enthalpy and entropy differences of the association between enantiomers and CSP, and the enantioseparation is said to be entropy controlled. The analytes with "free" phenyl moieties favored high temperatures for their enantioseparations.
Both studies on the effects of temperature and mobile phase composition also indicated that the higher order structures of CSPs influence their chiral recognition abilities.Ph. D.
13
Harris, Spencer. "An analysis of the significance of sub-regional partnerships in the community sport policy process." Thesis, Loughborough University, 2014. https://dspace.lboro.ac.uk/2134/14010.
Full textAbstract:
Community sport policy is characterised as complex and multi-faceted partly due to the number of agencies involved. This thesis explores the community sport policy process in England, specifically the significance of the relationship between CSPs and NGBs in the community sport policy process. The four key objectives of this study are (i) to analyse the significance of the relationship between CSPs and NGBs with regard to the national community sport policy process; (ii) to analyse the significance of the relationship between CSPs and NGBs in local-level policy making and policy implementation; (iii) to identify CSP and NGB attitudes and perceptions toward the community sport policy process; and as the study focuses on the meso-level of analysis, (iv) to evaluate the explanatory value of selected meso-level theories of the policy process in developing a better understanding of the community sport policy process. This study uses a mixed method comprising a questionnaire and semi-structured interviews. Initially, a quantitative questionnaire was used to gather information regarding CSPs and NGBs and support the selection of CSP cases. From this CSP-based case studies were developed involving semi-structured interviews with CSP, NGB and local authority representatives. The study draws attention to the hierarchical nature of the community sport policy process, the implications for collaboration, the mediating role of CSPs in national and local policy settings, and the associated challenges that agents face in implementing community sport policy. The study emphasises the value of theoretical pluralism in analysing the community sport field, particularly the combined used of meso-level frameworks such as the Advocacy Coalition Framework and the Policy Networks Approach with micro-level considerations from implementation theory and the partnership literature. It concludes that empirically, it is only by giving policy agents a voice that we can develop a more accurate understanding of the policy process and that practically only by harnessing the commitment and energy of the grassroots can we step toward a more effective policy community.
14
Saïdi, Mohamed Réda. "Etude de la symétrie et de la dominance dans les réseaux de contraintes au sens CSPs [Constraint satisfaction problems] à domaines finis discrets." Aix-Marseille 1, 2007. http://www.theses.fr/2007AIX11010.
Full textAbstract:
En théorie, la résolution de CSPs est un problème NP-complet. L'élimination de la symétrie permet de diminuer cette complexité dans la pratique. Dans le cadre de cette thèse, nous avons étudié en première partie la symétrie locale ainsi que la dominance dans les CSPs à contraintes de différence. Nous avons donné une condition suffisante pour tester la symétrie et la dominance entre deux valeurs d'un même domaine. En deuxième partie, nous nous sommes intéressés au cas plus général des CSPs binaires quelconques, en proposant la méthode de résolution LSBDS qui exploite la symétrie locale détecté par SAUCY. En troisième et dernière partie de cette thèse, nous avons proposé une nouvelle approche incomplète pour le test d'inconsistance de CSP binaire. Cette approche est basée sur les notions de la dominance et de la coloration de la microstructure. Cette technique est aussi une contribution pour un challenge encore très peu étudié : preuve d'inconsistance par des méthodes incomplètes
15
Foret, Sylvain, and sylvain foret@anu edu au. "Function and Evolution of Putative Odorant Carriers in the Honey Bee (Apis mellifera)." The Australian National University. Research School of Biological Sciences, 2007. http://thesis.anu.edu.au./public/adt-ANU20070613.144745.
Full textAbstract:
The remarkable olfactory power of insect species is thought to be generated by a combinatorial action of G-protein-coupled olfactory receptors (ORs) and olfactory carriers. Two such carrier gene families are found in insects: the odorant binding proteins (OBPs) and the chemosensory proteins (CSPs). In olfactory sensilla, OBPs and CSPs are believed to deliver hydrophobic air-borne molecules to ORs, but their expression in non-olfactory tissues suggests that they also may function as general carriers in other developmental and physiological processes.
¶
Bioinformatics and experimental approaches were used to characterise the OBP and CSP gene families in a highly social insect, the western honey bee (Apis mellifera). Comparison with other insects reveals that the honey bee has the smallest set of these genes, consisting of only 21 OBPs and 6 CSPs. These numbers stand in stark contrast to the 66 OBPs and 7 CSPs in the mosquito Anopheles gambiae and the 46 OBPs and 20 CSPs in the beetle Tribolium castaneum. The genes belonging to both families are often organised in clusters, and evolve by lineage specic expansions. Positive selection has been found to play a role in generating a greater sequence diversication in the OBP family in contrast to the CSP gene family that is more conserved, especially in the binding pocket. Expression proling under a wide range of conditions shows that, in the honey, bee only a minority of these genes are antenna-specic. The remaining genes are expressed either ubiquitously, or are tightly regulated in specialized tissues or during development. These findings support the view that OBPs and CSPs are not restricted to olfaction, and are likely to be involved in broader physiological functions.
¶
Finally, the detailed expression study and the functional characterization of a member of the CSP family, uth (unable-to-hatch), is reported. This gene is expressed in a maternal-zygotic fashion, and is restricted to the egg and embryo. Blocking the zygotic expression of uth with double-stranded RNA causes abnormalities in all body parts where this gene is highly expressed.
The treated embryos are `unable-to-hatch' and cannot progress to the larval stages. Our ndings reveal a novel, essential role for this gene family and suggest that uth is an ectodermal gene involved in embryonic cuticle formation.
16
Simões, Ricardo Manuel Carreira de Avelar. "Challenges and success factors on the implementation of a shared services center." Master's thesis, Instituto Superior de Economia e Gestão, 2019. http://hdl.handle.net/10400.5/19827.
Full textAbstract:
Mestrado em Ciências EmpresariaisEste estudo é focado na implementação de um CSP numa organização multinacional em Portugal, tendo por objectivo analisar aprofundadamente os desafios trazidos pela mudança de processo numa implementação deste tipo. Num nível mais profundo, como esses desafios afectaram a organização, como o CSP se tornou um caso de sucesso para a organização, apontando os factores por detrás desse sucesso, e discutindo como a equipa reagiu a todos os processos de mudança. Com o propósito de alcançar resultados válidos e detalhados, este trabalho baseia-se no estudo de caso dessa mesma empresa, onde diversos dados foram recolhidos durante os primeiros dois anos de implementação do centro, através de observação directa, participação activa, e através da realização de cinco entrevistas a membros da organização em vários departamentos. Através da análise de todos os dados recolhidos ao longo destes dois anos, as conclusões retiradas deste estudo são que as principais razões para estabelecer um CSP em Portugal não foram apenas redução de custos, mas também o elevado nível de educação, apesar de terem surgido alguns desafios durante o percurso, nomeadamente relacionados com idiomas e comunicação. Para além disso, existe concordância no facto de que os principais factores para o sucesso da implementação do CSP se prende com a elevada qualidade da formação, e com a elevada capacidade das pessoas se adaptarem à mudança.
This study focus on the implementation of a SSC for a Multinational organization in Portugal, aiming to deeply analyze the challenges brought by the changing process of such implementation. On a deeper level, how they affected the organization, how the SSC became a success case for the organization, by naming the factors behind such success, and by discussing how the team reacted to all the change processes. In order to achieve valid and detailed results, this work is based on a case study of that same company, where several data was collected during the first two years of the implementation of the center, through direct observation, active participation, and by conducting five interviews to members of the organization in several departments. By analyzing all the data collected along these two years, the conclusions drawn from this case study are that the main reasons for establishing a SSC in Portugal were not only cost reduction, but also the high level of education, even though there were a few challenges down the road, namely addressed with language and communication. In addition, it was agreed that the main factors for the success of the SSC implementation is related to the high quality training, and people being able to adapt and embrace change.
info:eu-repo/semantics/publishedVersion
17
Ishtaiwi, Abdelraouf. "Towards Effective Parameter-Free Clause Weighting Local Search for SAT." Thesis, Griffith University, 2008. http://hdl.handle.net/10072/366980.
Full textAbstract:
Recent research has shown that it is often preferable to encode real-world problems as propositional satisfiability (SAT) problems, and then solve them using general purpose SAT solvers. However, most SAT solvers require the tuning of parameters in order to obtain optimum performance. Tuning these parameters usually takes a considerable amount of time, and even to achieve average performance can require many runs with many different parameter settings. In this thesis we investigate various ways to improve the overall performance of local search solvers via new techniques that do not employ parameters and therefore take considerably less time for experimentation...Thesis (PhD Doctorate)
Doctor of Philosophy (PhD)
Institute for Integrated and Intelligent Systems
Faculty of Engineering and Information Technology
Full Text
18
McGibbon, Louise Claire. "The RNA interactome of cold shock proteins, CspA and CspE, in Salmonella typhimurium." Thesis, University of Edinburgh, 2013. http://hdl.handle.net/1842/17851.
Full textAbstract:
RNA-dependent control of gene expression is crucial for bacterial adaptation to environmental stresses, such as fluctuations in ambient temperature. In the enteric pathogen Salmonella Typhimurium, a drastic downshift in temperature immediately triggers the “cold shock response” in which selective expression of cold shock proteins (CSPs) aids acclimatisation. The major cold shock protein, CspA, and some of its homologues function as RNA chaperones and play critical roles in destabilising aberrant RNA secondary structures that form at reduced temperatures. However, the precise roles and targets of this protein family remain unclear. With the aim of generating a genome-wide map of protein-RNA interactions, in vivo UV cross-linking and analysis of cDNA (CRAC) was performed. This novel, high-throughput technique allows identification of all RNA targets for a particular protein, which in this case was the cold-induced protein CspA, and constitutively expressed CspE. CRAC results reveal a remarkable number and diversity in the RNA targets of these CSPs. For example, CspA targets approximately 25% of the RNA encoded by the Salmonella genome. CspA and CspE were shown to target mRNAs encoding proteins involved in metabolism, stress, cell division and RNA turnover, as well as a number of mRNAs that are cold shock-inducible. Bioinformatic analyses have shown that mainly protein coding regions are targeted and, interestingly, 5’ untranslated regions (UTR) and small RNAs, which often play roles as regulators of translational control. There also appears to be a reproducible pattern of repeated binding along mRNA transcripts, suggesting a role for these Csps in maintaining mRNAs in a linear conformation, which is required for efficient translation. To validate targets, phenotypic analyses were performed, including growth studies during amino acid starvation, and the response to heat shock and UV DNA damage. These experiments confirmed involvement of the paralogues, and further bioinformatic analysis revealed that these proteins were targeting key regulatory regions on some specific targets. A more in-depth analysis was carried out on one target – the general stress response sigma factor RpoS (σS) and a model of CspA paralogue involvement in regulating the mRNA of this target is presented. Overall, the in vivo data from this study suggests that these cold shock proteins are crucial for modulating key cellular processes beyond that which their name implies.
19
Climent, Aunés Laura Isabel. "Robustness and stability in dynamic constraint satisfaction problems." Doctoral thesis, Universitat Politècnica de València, 2014. http://hdl.handle.net/10251/34785.
Full textAbstract:
Constraint programming is a paradigm wherein relations between variables are stated in the form of constraints. It is well-known that many real life problems can be modeled as Constraint Satisfaction Problems (CSPs). Much effort has been spent to increase the efficiency of algorithms for solving CSPs. However, many of these techniques assume that the set of variables, domains and constraints involved in the CSP are known and fixed when the problem is modeled. This is a strong limitation because many problems come from uncertain and dynamic environments, where both the original problem may evolve because of the environment, the user or other agents. In such situations, a solution that holds for the original problem can become invalid after changes.
There are two main approaches for dealing with these situations: reactive and proactive approaches. Using reactive approaches entails re-solving the CSP after each solution loss, which is a time consuming. That is a clear disadvantage, especially when we deal with short-term changes, where solution loss is frequent. In addition, in many applications, such as on-line planning and scheduling, the delivery time of a new solution may be too long for actions to be taken on time, so a solution loss can produce several negative effects in the modeled problem. For a task assignment production system with several machines, it could cause the shutdown of the production system, the breakage of machines, the loss of the material/object in production, etc. In a transport timetabling problem, the solution loss, due to some disruption at a point, may produce a delay that propagates through the entire schedule. In addition, all the negative effects stated above will probably entail an economic loss.
In this thesis we develop several proactive approaches. Proactive approaches use knowledge about possible future changes in order to avoid or minimize their effects. These approaches are applied before the changes occur. Thus, our approaches search for robust solutions, which have a high probability to remain valid after changes. Furthermore, some of our approaches also consider that the solutions can be easily adapted when they did not resist the changes in the original problem. Thus, these approaches search for stable solutions, which have an alternative solution that is similar to the previous one and therefore can be used in case of a value breakage.
In this context, sometimes there exists knowledge about the uncertain and dynamic environment. However in many cases, this information is unknown or hard to obtain. For this reason, for the majority of our approaches (specifically 3 of the 4 developed approaches), the only assumptions made about changes are those inherent in the structure of problems with ordered domains. Given this framework and therefore the existence of a significant order over domain values, it is reasonable to assume that the original bounds of the solution space may undergo restrictive or relaxed modifications. Note that the possibility of solution loss only exists when changes over the original bounds of the solution space are restrictive. Therefore, the main objective for searching robust solutions in this framework is to find solutions located as far away as possible from the bounds of the solution space. In order to meet this criterion, we propose several approaches that can be divided in enumeration-based techniques and a search algorithm.Climent Aunés, LI. (2013). Robustness and stability in dynamic constraint satisfaction problems [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/34785
TESIS
20
Antipova, Anna. "Relatipoship between the reactivities of different classes of nucleophiles towards Csp2 and Csp3 electrophilic centers." Diss., Ludwig-Maximilians-Universität München, 2015. http://nbn-resolving.de/urn:nbn:de:bvb:19-184399.
Full text
21
Antipova, Anna [Verfasser], and Herbert [Akademischer Betreuer] Mayr. "Relationship between the reactivities of different classes of nucleophiles towards Csp2 and Csp3 electrophilic centers / Anna Antipova. Betreuer: Herbert Mayr." München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2015. http://d-nb.info/1074358775/34.
Full text
22
Adams, Chloe M. "Towards a Structural Understanding of Spore Germination in Clostridium Difficile." ScholarWorks @ UVM, 2015. http://scholarworks.uvm.edu/graddis/287.
Full textAbstract:
Clostridium difficile is a Gram-positive bacterium that causes a toxin-mediated disease, typically in individuals whose normal intestinal flora has been compromised by antibiotic therapy. C. difficile is naturally resistant to many antibiotics and produces spores that can withstand harsh environmental conditions and many disinfectants, making the infection difficult to clear and easy to spread. The infection begins when spores from the environment are ingested and germinate upon exposure to taurocholate and glycine in the digestive tract. This germination process is required to initiate infection and thus represents a good target for the development of novel therapeutics. Although spore germination is necessary for disease transmission, the molecular mechanisms regulating this process are poorly understood. Germination relies on sensing a germinant and triggering degradation of the cortex layer of the spore, which is important for spore resistance. Once the cortex is degraded, the spore can undergo outgrowth to a vegetative cell and secrete toxins to cause disease symptoms.
There are several discrete steps to the proteolytic cascade that ultimately lead to cortex hydrolysis. First, the pseudoprotease CspC acts as a germinant receptor for the bile salt taurocholate; CspC then relays this signal to the subtilisin-like serine protease, CspB. CspB is required for efficient cleavage and activation of the cortex hydrolase. SleC. Upon proteolytic activation of SleC, cortex hydrolysis can proceed, which allows subsequent outgrowth.
To better understand the mechanistic basis of the germination process, we solved the 1.6 Å structure of the required germination protease, CspB, from C. perfringens (a related pathogen). This structure revealed that CspB is comprised of three domains: an associated prodomain, a subtilase domain, and a jellyroll domain. Our work significantly advanced our understanding of the proteolytic cascade that leads to germination; in particular the structure and function of the CspB protease, and the role of its three domains. We have described the four domains of the cortex hydrolase, SleC, and how they contribute to the activity of SleC. We have recently obtained diffraction-quality crystals of the pseudoprotease, CspC, from an organism more closely related to C. difficile, C. bifermentans. Our latest work, focusing on the germination receptor, CspC, has brought us closer to a three-dimensional structure of this protein, which will likely reveal how it binds ligands and functions in germination.
23
Wrench, Karen Lee. "CSP-i : an implementation of CSP." Thesis, Rhodes University, 1987. http://hdl.handle.net/10962/d1003124.
Full textAbstract:
CSP (Communicating Sequential Processes) is a notation proposed by Hoare, for expressing process communication and synchronization. Although this notation has been widely acclaimed, Hoare himself never implemented it as a computer language. He did however produce the necessary correctness proofs and subsequently the notation has been adopted (in various guises) by the designers of other concurrent languages such as Ada and occam. Only two attempts have been made at a direct and precise implementation of CSP. With closer scrutiny, even these implementations are found to deviate from the specifications expounded by Hoare, and in so doing restrict the original proposal. This thesis comprises two main sections. The first of these includes a brief look at the primitives of concurrent programming, followed by a comparative study of the existing adaptations of CSP and other message passing languages. The latter section is devoted to a description of the author's attempt at an original implementation of the notation. The result of this attempt is the creation of the CSP-i language and a suitable environment for executing CSP-i programs on an IBM PC. The CSP-i implementation is comparable with other concurrent systems presently available. In some aspects, the primitives featured in CSP-i provide the user with a more efficient and concise notation for expressing concurrent algorithms than several other message-based languages, notably occam.KMBT_363
Adobe Acrobat 9.53 Paper Capture Plug-in
24
Stephen, John. "Management of civil society organisations (CSOs) : A case study of selected CSOs in Tanzania." Thesis, Blekinge Tekniska Högskola, Sektionen för management, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-1144.
Full textAbstract:
Recent research findings have revealed that CSOs play very important hands on role to bring about social and economic change to developing countries like Tanzania. The CSOs are very diverse and unique in terms of set up, mission and mandate, there is therefore no single model on how should CSOs perform their functions in Tanzania. However, there are common held approaches that apply to effective management practices and so bring about good outcomes to the neediest people in Tanzania. This study has evidenced CSOs having a pivotal role to beef up service provision by the government and private sectors to spearhead socioeconomic development by explaining roles CSOs have been having in bringing such developments in Tanzania. This study has confirmed findings from previous studies that number, roles and diversity of CSOs increased significantly from 1980s to 1990s, and consequently involvement of CSOs in service provision has increased dramatically in recent years. Among the CSOs under this study, the ones which have been on board for more than five years have been seen to operate in coordinated multiple fields compared to the CSOs which have been on board for less than five years which operate in fewer fields. This study has evidenced increased annual budgets over time among the studied CSOs in Tanzania and this is an indication that CSOs’ performance capacity to manage projects and finances has improved over time. The current increased performance capacity of CSOs addresses the raised critique regarding managerial competence of CSOs in developing countries like Tanzania. The need for CSOs addressing issues in line with priority areas which are highlighted in the Tanzania’s National Strategy for Growth and Poverty Reduction (NSGRP) for rapid socioeconomic development of Tanzania has come out clearly from the findings of this study. This study recommends a more comprehensive study of CSOs to capture more issues and cover bigger geographical areas than what was done by this study.. This will help identify more areas which need improvement in future to strengthen the CSO sector and benefit ultimate project beneficiaries in Tanzania.+255 754 203386 +255 22 2421019
25
Vajar, Beeta. "Mobile CSP||B." Thesis, University of Surrey, 2009. http://epubs.surrey.ac.uk/843387/.
Full textAbstract:
Formal methods are mathematically based languages for producing verifiable, consistent and more reliable formal specifications which leads to the construction of trustworthy and maintainable computer programs. Most formal methods can be classified as state-based or event-based formal methods. State-based formal methods, such as the B-Method, are capable of describing data aspects of the system but they are not able to describe behavioural aspects or concurrency. On the other hand, by using event-based formal methods, such as CSP, we are not able to describe data aspects of the system which results in difficulty to describe systems which contain state transitions. Over the years, the idea of combining state and event based formal methods has been proposed in order to design systems in which both data and behavioural aspects are described. The idea of creating a combination of state and event based formal methods which is able to describe mobility and dynamic patterns has also been raised in formal method integration. This additional functionality is suitable for modelling agent systems or peer-to-peer networks where consideration of mobility is important. CSP || B is a combination of CSP and B in which CSP processes are used as control executives for B machines. This architecture enables a B machine and its controller to interact and communicate with each other while working in parallel. The architecture has focused on sequential CSP processes as dedicated controllers for B machines. This thesis introduces Mobile CSP || B, a formal framework based on CSP || B which enables us to specify and verify concurrent systems with mobile architecture as well as the previous static architecture. In Mobile CSP || B, a parallel combination of CSP processes act as the controller for the B machines and these B machines can be transferred between CSP processes during the system execution.
26
Gardner, William Bennett. "CSP++, an object-oriented application framework for software synthesis from CSP specifications." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape3/PQDD_0013/NQ53041.pdf.
Full text
27
Silveira, Victor Natanael Schwetter. "Maturidade em Gestão de Pessoas e Práticas de Treinamento, Desenvolvimento e Educação: Uma Análise a partir do People Capability Maturity Model (P-CMM)." Universidade Federal de Minas Gerais, 2007. http://hdl.handle.net/1843/CSPO-724K4B.
Full textAbstract:
O objetivo dessa pesquisa é investigar o relacionamento entre os construtos maturidade e práticas de treinamento, desenvolvimento e educação, buscando compreender a força e a direção de tal relacionamento, a partir do mapeamento dos processos relacionados à gestão de pessoas e práticas de treinamento, desenvolvimento e educação de organizações atuantes em diferentes segmentos da economia brasileira. Foram estudadas empresas nacionais e estrangeiras, atuantes no Brasil, pertencentes a diversos setores econômicos, totalizando 241 respondentes válidos na amostra. Foi utilizado um survey eletrônico, realizado no período de 22 novembro de 2006 a 22 de janeiro de 2007, para a coleta de dados. Para a avaliação dos níveis de maturidade dos processos de gestão de pessoas nas organizações foi utilizado o modelo People Capability Maturity Model (P-CMM) de Curtis, Hefley e Miller (2001; 2002). Para avaliar as práticas de treinamento, desenvolvimento e educação foi utilizado um conjunto de variáveis e indicadores de mensuração, obtido do corpo teórico adotado. Os dados coletados foram submetidos a tratamento estatístico que envolveu técnicas estatísticas descritivas e análise multivariada. Como metodologia de mensuração e análise das relações entre os construtos, foi utilizada a estimação de parâmetros pelo método PLS (Partial Least Squares), em função da característica formativa dos construtos e da flexibilidade do método em termos do tamanho de amostra e da distribuição amostral dos dados. Como resultados, o trabalho identificou relações significativas entre os dois construtos avaliados e apontou, mediante a exploração de sua composição estrutural, recomendações relevantes para ajustamento do modelo P-CMM, assim como, para o enriquecimento e evolução das práticas de treinamento, desenvolvimento e educação nas organizações. Finalmente, este trabalho identificou o nível de maturidade em gestão de pessoas das organizações pesquisadas e apontou pontos para avaliação, orientação e melhoria contínua das práticas de gestão de pessoas nas organizações.
28
Stivanin, Guilherme Augusto. "Análise comparativa da utilização da Arbitrage Pricing Theory na determinação do retorno e da volatilidade de ativos financeiros." Universidade Federal de Minas Gerais, 2006. http://hdl.handle.net/1843/CSPO-6VLE9Q.
Full textAbstract:
Desde o trabalho inicial de Markowitz (1952), a administração de ativos financeiros tem sido tratada a partir da combinação do binômio risco/retorno. Dentre os modelos que visam explicar o comportamento dos preços das ações dois têm se destacado: o Capital Asset Pricing Model (CAPM) e a Arbitrage Pricing Theory (APT). Ambos os modelos têm como variável dependente o retorno dos ativos e foram exaustivamente aplicados às mais diversas realidades nas últimas quatro décadas. A outra variável presente no modelo de Markowitz - o risco, medido pela volatilidade dos retornos, tem sido objeto de maior interesse de pesquisadores em um período mais recente, motivado pelo aumento da volatilidade das variáveis financeiras a partir da década de 70, com o colapso de Bretton Woods e os choques do petróleo. Poucos trabalhos têm buscado definir quais fatores de natureza econômica ou financeira exercem influência sobre a volatilidade dos preços das ações. O objetivo geral desta pesquisa foi testar a aplicabilidade da APT a papéis de empresas brasileiras negociadas nos mercados americano e brasileiro tendo como variável dependente a volatilidade e efetuar uma análise comparativa da utilização do modelo para as séries de volatilidade e de retorno. Para o teste da APT, foram selecionadas 22 variáveis, sendo 13 relativas à economia brasileira e 9 à economia norte-americana. Para se verificar a aplicabilidade das variáveis aos tipos de papéis analisados, foram efetuados testes de cointegração para se comprovar a existência, ou não, de uma tendência estocástica nas séries. A metodologia utilizada para a APT foi o procedimento de dois estágios desenvolvido por Fama e Macbeth (1973): regressão em séries temporais para a obtenção dos coeficientes de sensibilidade dos fatores (betas) e regressão cross-sectional para a obtenção dos prêmios de risco. Verificou-se que a formulação teórica da APT é passível de ser utilizada para definir os determinantes dos movimentos na volatilidade dos ativos financeiros, com a ressalva de que os resultados tendem a ser inferiores aos obtidos quando se tem como variável dependente os retornos dos ativos. Analisando os resultados obtidos e a magnitude da diferença entre tais resultados, conclui-se que, apesar do resultado inferior, a aplicação da APT na definição dos determinantes dos movimentos na volatilidade dos ativos financeiros é uma possibilidade a ser amplamente considerada na pesquisa sobre o tema.
29
Oliveira, Marcos Paulo Valadares de. "Análise estrutural de construtos e relações entre maturidade e desempenho logístico." Universidade Federal de Minas Gerais, 2006. http://hdl.handle.net/1843/CSPO-6VZF5W.
Full textAbstract:
Constitui objetivo deste trabalho, a partir do mapeamento dos processos de planejamento logístico e do desempenho da função logística de empresas atuantes em diferentes setores da economia brasileira, investigar o relacionamento entre os construtos maturidade e desempenho, buscando precisar a força e a direção de tal relacionamento. Foram estudadas empresas brasileiras atuantes em diversos setores, totalizando 479 respondentes válidos na amostra. Por meio de um survey eletrônico, realizado em janeiro e fevereiro de 2006, o modelo de McCormack et al. (2003) foi utilizado para a avaliação dos níveis de maturidade dos processos de planejamento logístico. Para avaliar o desempenho logístico, um conjunto de variáveis classificadas de acordo com as áreas do modelo SCOR e o modelo de Moberg et al. (2004) foram utilizados. Como metodologia de mensuração e análise das relações entre os construtos, adotaram-se o teste de correlação de Spearman e a estimação de parâmetros pelo método PLS (Partial Least Squares), em função da característica formativa dos construtos e da flexibilidade do método em termos do tamanho de amostra e da distribuição amostral dos dados. Como resultados, o trabalho identificou relações significativas entre os dois construtos avaliados e apontou, mediante a exploração de sua composição estrutural, importantes recomendações para o enriquecimento e evolução dos modelos utilizados
30
Carvalho, Debora Nacif de. "Gestão e sustentabilidade: um estudo multicasos em ONGs ambientalistas em Minas Gerais." Universidade Federal de Minas Gerais, 2006. http://hdl.handle.net/1843/CSPO-6VDHWP.
Full textAbstract:
$a As organizações do Terceiro Setor têm adquirido importante papel na sociedade, tanto na prestação de serviços quanto no controle e mobilização social. Em conseqüência, novas exigências lhes têm sido impostas. Os desafios que têm de enfrentar, tornam-se mais difíceis e demandam cada vez mais efetividade e sucesso. Paradoxalmente, para um setor que surge com tão elevadas expectativas a respeito de suas qualidades e de seu potencial de atuação, o terceiro setor brasileiro parece mal equipado para assumir este papel, apresentando baixa capacidade de continuidade e sustentabilidade, o que resulta no enfraquecimento de todo o setor. Diante deste cenário, o presente estudo procurou descrever e analisar as ações de gestão de três organizações do Terceiro Setor que atuam na área ambiental sob a ótica da sustentabilidade. Realizou-se uma pesquisa descritiva-qualitativa, em que foram analisados documentos e realizadas 36 entrevistas semi-estruturadas. Os dados apontam que, embora sejam entidades de grande importância em sua área de atuação, as organizações pesquisadas possuem falhas em sua gestão. A perspectiva da sustentabilidade enfoca o relacionamento entre as várias dimensões da organização, considerando a influência mútua entre elas. Sendo assim, a sustentabilidade das organizações depende de decisões integradas, que considerem a interdependência entre as ações de gestão da entidade. Além disso, a sustentabilidade deve ser tratada como um processo, uma busca contínua por recursos, pessoas, informação e mobilização, de modo a assegurar o fortalecimento e o desenvolvimento da organização.
31
Ferreira, Romero Machado. "Relacionamento entre estruturas de capitais e de ativos: estudos de setores específicos na economia brasileira." Universidade Federal de Minas Gerais, 2006. http://hdl.handle.net/1843/CSPO-6W3E8V.
Full textAbstract:
Este trabalho buscou analisar como as empresas brasileiras se comportam em relação às suas estruturas de financiamento quando de grandes movimentos de investimento. Além disso, foi objetivo expresso do mesmo buscar respostas a aspectos mais específicos, como: De que modo se comportou a estrutura de capital no momento de grandes investimentos e em períodos subseqüentes? Ademais, este comportamento seguiu o que era esperado à luz das teorias até hoje desenvolvidas? Para tanto, o estudo iniciou-se com a pesquisa da literatura sobre estrutura de capital. Na parte empírica, por meio dos balanços divulgados pelas empresas presentes na Bovespa, foram identificados os setores que apresentaram no mínimo oito empresas que aumentaram seu ativo permanente em 75% ou mais ao longo de doze meses e mensurado a evolução da estrutura de capital das empresas destes setores. O período selecionado para a pesquisa foi de 1996 a 2005 e a análise estatística foi realizada por meio de testes não-paramétricos de Mann-Whitney. Com base nos resultados estatísticos, é possível concluir que mesmo com um forte aumento na estrutura de ativos, a estrutura de capital das empresas do setor elétrico é afetada apenas no médio e longo prazo. Com relação ao setor de telecomunicações, a estrutura de financiamento das suas empresas não é afetada no espaço de tempo de até dois anos após um grande movimento de investimento. Por fim, foram analisadas algumas "histórias" específicas de empresas alocadas nos setores pesquisados, as quais indicaram que as especificidades das mesmas exercem papel muito importante na adoção de estruturas de capital, sendo superiores até mesmo a efeitos gerados por características dos setores
32
Monteiro, Plinio Rafael Reis. "Personalidade, compra compulsiva, hábitos e inovação em moda: uma aplicação do modelo 3M de motivação e personalidade." Universidade Federal de Minas Gerais, 2006. http://hdl.handle.net/1843/CSPO-6W2FGN.
Full textAbstract:
Nas últimas décadas, a relação entre personalidade e consumo não vinha sendo plena investigada na disciplina Comportamento do Consumidor, pois estudos clássicos pareciam indicar que a personalidade não influencia diretamente o consumo. No entanto, na pesquisa realizada para a elaboração do Modelo Metateórico de Motivação e Personalidade, também conhecido como Modelo 3M, Mowen (2000) obteve fortes evidências de que a personalidade pode, sim, ser usada para prever tendências duradouras de comportamento, particularmente comportamentos de consumo. Tomando essa teoria como quadro de referência, esta dissertação buscou avaliar em que medida a estrutura hieráquica de traços de personalidade do modelo proposto por Mowen e Spears (1999) explica comportamentos de compra compulsiva, inovação em moda e hábitos de moda em jovens. Para tal, realizou-se uma pesquisa descritiva por meio de um levantamento com 863 estudantes universitários da Região Metropolitana de Belo Horizonte. Os resultados indicam que que as medidas dos construtos 3M apresentam níveis satisfatórios de confiabilidade e validade, embora sejam passíveis de aperfeiçoamentos. Além disso, identificou-se que mulheres parecem ter maiores tendências à compra compulsiva, inovação em moda e hábitos de moda quando comparadas aos homens. Por fim, atesta-se que ao menos no contexto da pesquisa realizada, o modelo Metateórico de Motivação e Personalidade consegue explicar elevado percentual de variância dos construtos compra compulsiva, inovação em moda e hábitos em moda.
33
Didonet, Simone Regina. "Orientação para o Mercado e Eficiência: Aplicações ao Segmento Supermercadista." Universidade Federal de Minas Gerais, 2007. http://hdl.handle.net/1843/CSPO-72NJ3P.
Full textAbstract:
A discussão da presente tese centra-se em dois aspectos: propor a eficiência como uma medida alternativa de desempenho na relação com a orientação para o mercado; e explorar ações específicas da orientação para o mercado na relação com a eficiência. Neste contexto, verifica-se qual é a influência de cada um dos elementos constitutivos de tal prática nos níveis de eficiência dos supermercados localizados em Belo Horizonte, estado de Minas Gerais. Sem ignorar o entorno competitivo das empresas, optou-se também por verificar o impacto da turbulência de mercado, da intensidade competitiva e da turbulência tecnológica nos ditos níveis de eficiência, na presença dos fatores de orientação para o mercado. A abordagem teórica trata dos aspectos concernentes aos três construtos em análise: orientação para o mercado, ambiente competitivo e eficiência. A pesquisa é conclusiva descritiva e a metodologia é orientada para a análise quantitativa dos dados. A partir de um questionário aplicado aos gerentes dos supermercados, a análise envolveu a utilização de técnicas estatísticas uni e multivariadas, e da técnica DEA (Data Envelopment Analysis), esta última para obter os níveis de eficiência das empresas. Um modelo de Regressão Tobit é empregado para verificar quais são os fatores da orientação para o mercado e do ambiente competitivo que influenciam a eficiência. Os resultados mostram que não o construto como um todo, mas, sim, ações específicas de geração de inteligência, de disseminação de inteligência e de implementação de resposta influenciam positivamente os níveis de eficiência, o que não aconteceu com a concepção de resposta, que mostrou influência negativa. Quanto às variáveis ambientais, a intensidade competitiva revelou influência positiva nos níveis de eficiência, a turbulência de mercado influiu negativamente e a turbulência tecnológica não se mostrou significativa na relação. Os resultados também confirmam a eficiência como uma medida adequada na relação com a orientação para o mercado. Mostra-se, assim, que é possível estabelecer a conversação entre dois pólos teóricos aparentemente divergentes: um representado pela orientação para o mercado e sua perspectiva comportamentalista ou filosófica e o outro representado pela eficiência, de natureza essencialmente técnica.
34
Rocha, Flavio Dias. "A Estrutura de Financiamento das Empresas Brasileiras de Capital Aberto: Uma Avaliação Empírica de Novas Proposições Teóricas." Universidade Federal de Minas Gerais, 2007. http://hdl.handle.net/1843/CSPO-6ZQH86.
Full textAbstract:
O presente trabalho busca analisar a relação entre a estrutura de capital, a valores contábil e de mercado, e vários dos seus determinantes, com base em um modelo dinâmico de trade-off proposto por Flannery e Rangan (2006), o qual possibilita à empresa ajustar, se quiser, parte do gap existente entre a sua estrutura atual e a estrutura ótima a cada período. Para isso, foi avaliada uma amostra de 72 empresas brasileiras de capital aberto, entre os anos de 2000 e 2005, a partir de um modelo de regressão de dados em painel dinâmico, utilizando-se a técnica de mínimos quadrados de dois estágios (2SLS), com o uso de variáveis instrumentais e correção para heterocedasticidade. As variáveis de análise baseiam-se nas quatro principais teorias sobre a decisão de estrutura de capital: trade-off (estático e dinâmico), pecking order, momento de mercado e inércia gerencial. Os resultados para o prazo de um ano sugerem uma grande relevância dos atributos de lucratividade, tangibilidade e oportunidades de investimento com VPL positivo. Além disso, revelam que a empresa ajusta em torno de 40% a 50% do gap para o endividamento ótimo e 40% dos efeitos do desempenho acionário. Entretanto, a tendência de realização de ajustes não persiste no longo prazo, sugerindo uma possível má especificação dos modelos de trade-off no Brasil
35
Ferreira, Bruno Perez. "Análise do risco de não superação da meta atuarial em fundos de previdência." Universidade Federal de Minas Gerais, 2006. http://hdl.handle.net/1843/CSPO-6WQDRJ.
Full textAbstract:
O modelo de reforma previdenciária do setor público brasileiro, em relação ao financiamento dos compromissos dos Regimes Próprios de Previdência Social, definiu como estratégia a constituição de fundos de investimento. A política de investimentos de tais instituições financeiras deve obedecer à Resolução nº 3.244 de 2004 do Conselho Monetário Nacional. Tais determinações visam proteger os investimentos previdenciários de riscos presentes no mercado financeiro, que podem acarretar em perdas e situações em que os resultados dos investimentos não superam o desempenho mínimo, determinado pela meta atuarial. Neste sentido, verificou-se o risco de perdas financeiras e de desempenhos diários inferiores à referida meta em fundos de previdência por meio de dados relativos ao Fundo de Previdência do Estado de Minas Gerais - FUNPEMG e por Simulações de Monte Carlo baseadas em investimentos que atendem à resolução citada. Para efetuar a aferição dos riscos nos investimentos previdenciários foram utilizadas as técnicas Value-at-Risk, Expected Shortfall e Divergência não Planejada sobre as rentabilidades diárias apuradas por meio da curva de vencimento e da marcação a mercado dos investimentos do fundo de previdência pesquisado e pela simulação baseada em índices referenciais das tipologias de investimento regulamentadas para fundos de previdência. Os resultados para o desempenho segundo a marcação a mercado dos investimentos do FUNPEMG demonstraram cerca 1% de probabilidade de perdas médias de R$12.212,66 ao dia e que 27% das rentabilidades foram inferiores à meta atuarial. Já conforme a marcação na curva de vencimento, verificou-se 1% de probabilidade de perdas médias de R$988,33 ao dia e que 21% dos retornos não superaram a referida meta. Tais resultados foram decorrentes do risco de redução na taxa de juros, de variações em índices de inflação, perdas em fundos de renda fixa e, além disto, verificou-se a distinção da exposição a perdas aferida entre as rentabilidades segundo a curva de vencimento e a marcação a mercado. A Simulação de Monte Carlo avaliou que aproximadamente 50% dos resultados de investimentos adequados às determinações legais de fundos previdenciários não superaram a rentabilidade mínima. Estas simulações destacaram como investimentos em fundos de renda variável podem agregar volatilidade ao desempenho da carteira e que alocações em títulos relacionados à variação cambial acarretaram em perdas para os fundos previdenciários. Diante de tais aspectos, constatou-se como a análise de riscos contribui para a consolidação da política de investimentos de fundos de previdência, de maneira a proporcionar mais segurança aos recursos destinados ao pagamento de aposentadorias e outros compromissos previdenciários.
36
Scherer, Flavia Luciane. "Negócios Internacionais: A consolidação de empresas brasileiras de construção pesada em mercados externos." Universidade Federal de Minas Gerais, 2007. http://hdl.handle.net/1843/CSPO-72THCC.
Full textAbstract:
A agilidade dos processos de comunicação, o acesso a informações relativas a mercados internacionais e os incentivos governamentais, dentre outros fatores, auxiliaram muitas empresas na ampliação de seus negócios para além das fronteiras domésticas. É no cenário de crescente internacionalização dos negócios que se insere a temática central desta tese, que foi desenvolvida com o propósito principal de descrever e analisar, sob a perspectiva da gestão estratégica, como ocorreu a consolidação, no mercado externo, de empresas que atuam no setor de construção pesada. Tendo a abordagem de configuração como influência primária, estudou-se a consolidação sob uma perspectiva de múltiplas lentes, cada qual adicionando conteúdo à sua descrição e análise. Foram definidos quatro níveis de entendimento, que se encontram em contínuo interjogo de forças: macrocontexto, ambiente institucional, indústria e firma. Em relação ao tipo de pesquisa desenvolvido, os procedimentos foram classificados como pesquisa conclusiva descritiva. A ida ao campo foi realizada sob uma orientação, primordialmente, qualitativa. Foi realizado um estudo de casos múltiplos em quatro empresas brasileiras de grande porte que atuam no setor de construção pesada: Andrade Gutierrez, Norberto Odebrecht, Mendes Júnior e Queiroz Galvão. As unidades de observação compreenderam profissionais de alta direção com experiência e conhecimento na área de internacionalização, totalizando treze entrevistados. Para o tratamento dos dados, optou-se pela utilização da análise de conteúdo, por entender-se que é um método apropriado quando o fenômeno a ser observado é a comunicação. Os resultados mostraram que no nível do macrocontexto as influências econômicas foram consideradas as mais importantes à operação internacional em três das quatro empresas estudadas. Em relação ao ambiente institucional, evidenciou-se que as empresas sentem o forte impacto das instituições, em especial do Estado, dos sindicatos e da cultura local e apresentam respostas estratégicas diferenciadas entre empresas e dentro de cada empresa, dependendo do aspecto ao qual se referem. Em relação aos processos isomórficos, identificou-se que eles ocorrem e representam, de modo geral, a tentativa de "fazer parte do clube". Em termos de concorrência, observou-se a presença de uma dinâmica de via dupla: empresas são concorrentes e, simultaneamente, parceiras de negócios. No nível da empresa, os achados apontaram para distintas configurações nos processos de gestão. Foi percebida congruência entre a imagem projetada e as ações empreendidas pelas empresas. A análise dos processos de internacionalização não evidenciou expressivas diferenças. A ida para mercados externos ocorreu, prioritariamente, como estratégia diante da escassez de obras no Brasil. Quanto à consolidação, identificou-se um continuum de diferentes níveis de internacionalização. As análises mostraram que a consolidação ultrapassa os aspectos de orientação em relação ao mercado, se internacional ou global, por exemplo. Entende-se que uma empresa pode atuar em uma base de país-a-país e estar consolidada. A consolidação em mercados externos é esperada em condições nas quais a empresa dê respostas adequadas aos três problemas do ciclo adaptativo, observando a rede de influências entre eles. Outro condicionante da consolidação é encontrado na ocorrência de respostas apropriadas às demandas institucionais. O terceiro condicionante refere-se à adequação à dinâmica competitiva, com o domínio das estruturas competitivas da indústria, bem como com a adaptação aos requisitos mínimos para "fazer parte do clube". No tocante às contribuições da tese, acredita-se que elas transitam em torno da possibilidade de se discutir e entender aspectos atinentes à consolidação de empresas em mercados externos, especialmente daquelas que se situam no segmento de prestação de serviços com bens tangíveis. Outra contribuição está em estudar empresas maduras na atuação internacional, trazendo ao debate questões que vão além dos aspectos relativos à escolha de países e à forma de entrad
a em mercados internacionais.
37
Onoyama, Silvia Satiko. "Integração multifuncional no desenvolvimento de produtos: estudo de múltiplos casos em indústrias de laticínios mineiras." Universidade Federal de Minas Gerais, 2006. http://hdl.handle.net/1843/CSPO-6W3ES3.
Full textAbstract:
The innovation of products is gaining attention in managerial and academic atmosphere. The high technological turbulence in the market imposes the development of new products and the constant improvement of the current ones, to assist the consumers' needs in a more efficient way. However, the exercise of the innovation is covered by environment complexity, that includes the consumers' volatile needs, the progress of the technology and the dynamism of the legislation, among other factors. These uncertainties lead to dependencies between and among different functional areas and require inputs and cooperation from different departments, such as Marketing, Production, Research and Development and Quality Control, to accomplish the congruency of innovation management. Under those conditions, this study intended to analyze the multifunctional integration during the development of products in the dairy industry. This study used the multiple cases methodology in four dairy industries located in Minas Gerais State. The data were collected by internal documents analysis and semi-structured interviews with professionals of Marketing, Research and Development, Production and Quality Control departments; and were analyzed by content technique. The obtained results show that, even with the development of already existent products in the market, there is integration among the functional areas. The research detected, that the integration level in Alpha, Beta and Gama companies is reasonable, but there is an agreement that the process can be improved. In Zeta company, the level is considered low, because the integration doesnt involve the Marketing department and the process of the development of new product still needs interventions to professionalize. However, the positive perception of the integration struggles with the limitation of the measurement of integrations efficiency. The companies don't measure the work of each department relating them with the success of the product. It was perceived during the interviews that the product performance measurements orientate the projects of new products, but the companies dont reflect the contribution of each department for the success or failure of the project. For the interviewed people, the integration causes the spread of the information, avoiding rework and releasing mistakes, but these assistances arent considered as indicator of the team performance.A inovação de produtos vem ganhando atenção no tanto ambiente gerencial quanto acadêmico. A elevada turbulência tecnológica presente no mercado impõe o constante aperfeiçoamento dos produtos atuais e o desenvolvimento de novos, para atender às necessidades dos consumidores de forma mais eficiente. Entretanto, o exercício da inovação reveste-se de ampla complexidade, que engloba as necessidades voláteis dos consumidores, o avanço da tecnologia e o dinamismo da legislação, dentre outros fatores. Essas incertezas causam dependência entre as áreas da organização, pois requerem inputs e cooperação entre os agentes dos diversos departamentos funcionais, como Marketing, Produção, Pesquisa e Desenvolvimento (P&D) e Controle de Qualidade, no intuito de alcançar a congruência da gestão da inovação. Sob essas condições, este estudo pretendeu analisar a integração interfuncional no desenvolvimento de produtos em empresas de laticínio de grande porte. Procedeu-se a um estudo de múltiplos casos em quatro indústrias de laticínios mineiras. Os dados foram coletados por análise de documentos internos e entrevistas semi-estruturadas com os profissionais dos departamentos de Marketing, Pesquisa e Desenvolvimento, Produção e Controle de Qualidade, sendo trabalhados a partir da técnica de análise de conteúdo. Os resultados obtidos mostram que, mesmo com o desenvolvimento de produtos já existentes no mercado, presencia-se a uma integração entre as áreas funcionais de forma distinta daquela preconizado por alguns autores. Detectou-se, pela percepção dos entrevistados, que o nível de integração nas empresas Alfa, Beta e Gama é razoável, mas há uma concordância de que o processo deve ser aprimorado. Na Zeta, o nível ainda é considerado baixo, pois não envolve o departamento de Marketing e o processo ainda necessita de intervenções para sua profissionalização. Entretanto, a percepção positiva da integração debate-se com a limitação da mensuração da eficiência do processo integrativo. As empresas não mensuram as ações de cada departamento relacionando-as com o desempenho do produto. No entendimento dos entrevistados, os indicadores do produto norteiam os projetos desenvolvidos, mas não há uma reflexão sobre a contribuição de cada departamento para o sucesso ou fracasso do projeto. Para eles, com a integração houve a disseminação das informações, evitando retrabalho e erros de lançamento, mas isso não é considerado como indicador de desempenho da equipe.
38
Guerra, Herbert Newton Mota. "As Universidades Federais em Minas Gerais: uma análise de seus indicadores de desempenho." Universidade Federal de Minas Gerais, 2006. http://hdl.handle.net/1843/CSPO-6VLFRA.
Full textAbstract:
Este trabalho foi elaborado com o objetivo de analisar indicadores de desempenho e variáveis financeiras e operacionais das onze Universidades Federais localizadas no estado de Minas Gerais: Universidade Federal de Minas Gerais, Universidade Federal de Viçosa, Universidade Federal de Lavras, Universidade Federal de São João del Rei, Universidade Federal de Juiz de Fora, Universidade Federal de Itajubá, Universidade Federal de Uberlândia, Universidade Federal de Ouro Preto, Universidade Federal de Alfenas, Universidade Federal do Triângulo Mineiro e Universidade Federal dos Vales do Jequitinhonha e Mucuri. Caracteriza-se como descritivo, com uma abordagem qualitativa / quantitativa. Analisou-se a evolução dos recursos disponibilizados às Universidades Federais mineiras durante o período de 1995 a 2004, constatando-se uma diminuição contínua quando considerados os períodos trianuais, com valores corrigidos pelo IGP-DI. Foram ainda analisadas as evoluções dos indicadores de desempenho apresentados pelas Universidades Federais mineiras ao Tribunal de Contas da União entre 2002 e 2004. Também, compararam-se as médias das Universidades Federais mineiras com as das Universidades Federais brasileiras. Além dessas análises, foram realizadas entrevistas com os gestores de 7 Universidades Federais mineiras. Finalmente foi realizado um survey, incluindo questões referentes às variáveis de aprimoramento do sistema universitário federal, do qual obtiveram-se 118 respostas.
39
Freitas, Marco Antonio Costa de. "Estratégias empresariais do setor varejista de produtos farmacêuticos de Belo Horizonte." Universidade Federal de Minas Gerais, 2006. http://hdl.handle.net/1843/CSPO-6VZQTU.
Full textAbstract:
O varejo está mundialmente ganhando importância como atividade econômica pelas dimensões que este negócio vem tomando em termos de volume de faturamento, número de unidades, pessoas empregadas e consumidores atendidos. Ressalta-se que a maior empresa do mundo em faturamento no início do século XXI é uma empresa de varejo: a americana Wamart. No Brasil o varejo farmacêutico está passando por grandes transformações em velocidades muito superiores às velocidades das mudanças do passado. A crescente concentração do setor com o aumento do tamanho das redes e as novas modalidades de negócios como as empresas de venda por telemarketing ou o incipiente (ainda) negócios de venda por internet vêm revolucionando o setor.
Este trabalho procurou conhecer e analisar o setor varejista de produtos farmacêuticos de Belo Horizonte em suas questões de atuação estratégica e tipos de organizações que foram predominantes a partir do ano de fundação do Conselho de Farmácia de Minas Gerais em 1960, se estendendo até o ano de 2005. Procurou-se entender como os ambientes diversos forçaram mudanças adaptativas ou inovadoras das empresas que atuaram ou ainda atuam no mercado varejista de produtos farmacêuticos de Belo Horizonte através dos anos em consideração, selecionando ou não as empresas que continuariam existindo. O trabalho traz também um perfil histórico da evolução do setor durante as quatro últimas décadas do século XX até os primeiros cinco anos deste século.
40
Lima, Marcelo Simao. "Os impactos da implementação de sistemas de gestão integrada nas relações de poder: um estudo de caso no setor alimentício." Universidade Federal de Minas Gerais, 2006. http://hdl.handle.net/1843/CSPO-6VZEFC.
Full textAbstract:
Os sistemas ERP - Enterprise Resources Planning -, amplamente utilizados por empresas nacionais e internacionais, têm-se destacado dentre as soluções disponibilizadas pela Tecnologia da Informação - TI - como uma das mais eficazes no sentido de integrar os processos de negócios das empresas, e de fornecer informações gerenciais completas, confiáveis e em tempo real. Porém, a implantação de um sistema ERP traz profundas mudanças organizacionais, sendo uma das mais relevantes, embora, paradoxalmente, menos estudadas, o impacto nas relações de poder proporcionados pela implementação desses sistemas. Este estudo identifica e analisa mudanças nas relações de poder de uma empresa do setor de alimentos decorrentes da implementação de um sistema ERP de origem alemã. A sustentação teórica apóia-se em concepções presentes em estudos sobre poder e suas relações, definidas no universo dos paradigmas das ciências sociais que fundamentam a teoria organizacional. Faz-se necessário também um entendimento dos sistemas ERP, considerando aspectos como definição, origem, evolução, principais vantagens e desvantagens, processo de implementação e mudanças organizacionais decorrentes desse processo. Na pesquisa, classificada como qualitativa, utilizou-se o método do estudo de caso. Os resultados alcançados permitiram identificar e avaliar os impactos nas relações de poder na empresa, os quais se deveram à implementação do sistema ERP, sendo observada uma redistribuição do poder na organização, que afetou o equilíbrio das relações de poder identificado anteriormente à implementação do novo sistema.
41
Curi, Walter Romano. "A percepção dos clientes quanto à qualidade dos sites na Internet: aplicação e validação do modelo WebQual." Universidade Federal de Minas Gerais, 2006. http://hdl.handle.net/1843/CSPO-6W3F84.
Full textAbstract:
A Tecnologia da Informação trouxe muitas mudanças em relação à maneira como as empresas interagem com seus consumidores. Nesse processo, a Internet emergiu como um importante componente das estratégias de negócios. O progressivo aumento do número de brasileiros conectados à rede e o crescente faturamento do e-commerce no país evidenciam a necessidade por parte das organizações aprimorarem o desenvolvimento de sua atuação on-line. No campo do comportamento do consumidor, identificar a percepção dos clientes quanto à qualidade dos serviços oferecidos na Internet tornou-se objeto de estudo de diversos autores. Especificamente quanto à mensuração da qualidade dos web sites e à conseqüente intenção dos clientes de retornarem a eles, Loiacono (2000) desenvolveu o modelo WebQual. A presente pesquisa busca validar este modelo em um contexto brasileiro, a partir da mensuração da percepção de usuários de um portal regional. Buscou-se identificar quais são os principais fatores presentes no site que motivam um consumidor a visitá-lo novamente. Os resultados obtidos por meio deste levantamento possibilitaram a sugestão de ajustes no modelo WebQual para sua aplicação em uma realidade brasileira, bem como orientaram pesquisadores e executivos quanto aos critérios mais relevantes para os consumidores na avaliação de um web site.
42
Goecking, Otto Herman Pedreira. "Comparação de teorias da ação para explicar intenções comportamentais e comportamentos reais correspondentes." Universidade Federal de Minas Gerais, 2006. http://hdl.handle.net/1843/CSPO-6VZGGP.
Full textAbstract:
Esta dissertação compara três teorias da ação: Teoria do Comportamento Planejado (TPB), Teoria do Comportamento Orientado por Meta (MGB) e o Modelo Estendido da Teoria do Comportamento Orientado por Meta (EMGB), para examinar sua capacidade de explicar a intenção de fazer dieta e exercícios físicos e prever o comportamento real correspondente. Trata-se da replicação de uma pesquisa feita por Perugini e Conner (2000) com uma amostra de 104 estudantes para examinar a relação entre comportamentos e metas, comparando as três teorias citadas anteriormente. Os resultados de Perugini e Conner (2000) indicaram que o modelo do Comportamento Orientado por Metas (MGB) e sua extensão (EMGB) mostraram-se superiores à Teoria do Comportamento Planejado (TPB). No entanto, a replicação da pesquisa nesta dissertação indicou que os três modelos teóricos apresentam resultados muito semelhantes na previsão dos comportamentos de consumo estudados. Na verdade, a Teoria do Comportamento Planejado parece explicar um percentual maior da variância do comportamento real auto-relatado.
43
Toma, Livia Sayuri Jacob. "Recrutamento e seleção no contexto da gestão de recursos humanos: um estudo em organizações de Minas Gerais." Universidade Federal de Minas Gerais, 2006. http://hdl.handle.net/1843/CSPO-6VYGEE.
Full textAbstract:
O objetivo deste trabalho foi o de descrever e analisar as práticas de recrutamento e seleção dentro do contexto da gestão de Recursos Humanos a partir da experiência de organizações de grande porte de Minas Gerais. Apesar de um predominante discurso de que as empresas nunca dependeram tanto das pessoas e de que a gestão de Recursos Humanos vem crescentemente ganhando importância graças ao cenário cada vez mais competitivo, observa-se que há uma carência de pesquisas de gestão de RH no Brasil, o que dificulta a avaliação de como suas práticas evoluem ao longo do tempo (CURADO, 2001). Considerando-se a importância desses estudos no contexto da gestão de Recursos Humanos, a presente pesquisa procurou resgatar essa discussão, a partir da análise de algumas práticas de RH. Esta dissertação está estruturada inicialmente em uma discussão teórica que procurou situar as atividades de recrutamento e seleção na gestão de Recursos Humanos. Em seguida são apresentados os procedimentos metodológicos adotados e os resultados que a pesquisa permitiu encontrar. Posteriormente, é feita uma análise destes resultados, que possibilitou a elaboração das considerações finais. O marco teórico do trabalho foi focado na temática gestão de Recursos Humanos, num sentido amplo. Na primeira parte, buscou-se descrever o contexto da gestão de RH, considerando alguns fatores ambientais que influenciam e/ou determinam este contexto. A segunda parte aborda a concepção atual de gestão de RH, fazendo uma breve descrição de seu contexto ambiental. Posteriormente, trata-se da gestão de Recursos Humanos fazendo um apanhado das práticas e das ações de RH, comparando-o com os dados demonstrados por pesquisadores sobre a realidade das organizações. A quarta parte traz um levantamento daquilo que os principais pesquisadores e profissionais da área apontam como as grandes tendências em gestão de Recursos Humanos. Em relação aos procedimentos metodológicos utilizados, optou-se pela estratégia qualitativa do estudo de casos e os instrumentos para coleta de dados foram entrevistas semi-estruturadas e análise de documentos e registros das empresas. Para a escolha das organizações pesquisadas, inicialmente tomou-se como base o Guia da Revista EXAME "As melhores empresas para você trabalhar" dos anos de 2000 a 2004. A amostra intencional para o desenvolvimento da pesquisa consistiu de quatro empresas de grande porte que possuíam uma área estruturada de Recursos Humanos e mais uma quinta empresa, que é uma terceirizada de uma das quatro constantes do Guia. Os resultados mostraram que a maioria das empresas pesquisadas realiza as atividades de recrutamento e seleção internamente, alocando pessoal próprio para tal, apesar da constatação, através da literatura sobre a área, de que haveria uma grande tendência à terceirização dos processos de RH, principalmente em recrutamento e seleção. Pôde-se observar, ainda, que as atividades de recrutamento e seleção não parecem seguir alguma lógica ou um planejamento dentro da gestão de Recursos Humanos.
44
Freitas, Maria Nivalda de Carvalho. "A Inserção de pessoas com deficiência em empresas brasileiras: um estudo sobre as relações entre concepções de deficiência, condições de trabalho e qualidade de vida no trabalho." Universidade Federal de Minas Gerais, 2007. http://hdl.handle.net/1843/CSPO-72UKVU.
Full textAbstract:
Esta pesquisa, de natureza teórico-empírica, teve por objetivo investigar as relações entre a forma como a deficiência é vista pelos gerentes e pessoas responsáveis pela inserção de pessoas com deficiências nas empresas, as ações de adequação das condições e práticas de trabalho e a qualidade de vida no trabalho por parte das pessoas com deficiência. Mediante uma análise histórica, elaborou-se uma tipificação das principais concepções de deficiência que existiram ao longo do tempo, as quais permitiram a caracterização de padrões de percepção da deficiência e das possibilidades de trabalho das pessoas com deficiência. Foram analisadas, em uma perspectiva sociológica, e caracterizadas as condições sociais e materiais necessárias à inserção de pessoas com deficiência que não as colocassem em desvantagem em relação às demais. Adotou-se o modelo de qualidade de vida no trabalho elaborado por Walton (1973) para analisar a satisfação das pessoas com deficiência em relação a aspectos considerados relevantes para sua inserção no trabalho. Foram construídos e validados inventários de concepções de deficiência e de ações de adequação das condições e práticas de trabalho, além de ter sido feita adaptação e validação do questionário de qualidade de vida no trabalho para atender aos objetivos da pesquisa. A investigação empírica utilizou-se de metodologia quantitativa e qualitativa, tendo sido realizado um survey do qual participaram 18 empresas nacionais e um estudo de caso em uma grande instituição de serviços e intermediação financeira do País com mais de mil funcionários portadores de deficiência. Os resultados confirmaram o pressuposto teórico de coexistência de múltiplas concepções de deficiência e indicaram que as empresas têm priorizado as modificações nas condições de trabalho mais do que as ações de sensibilização e práticas de Recursos Humanos que assegurem a inserção. Os dados sobre qualidade de vida no trabalho decorrentes do estudo de caso indicaram satisfação das pessoas com deficiência em relação à maioria dos fatores pesquisados, no entanto, cerca de trinta por cento dessas pessoas estavam insatisfeitas em relação aos fatores relacionados a remuneração e oportunidade de crescimento profissional. Além disso, foram constatadas relações significativas entre alguns fatores dos construtos concepções de deficiência e ações de adequação das condições e práticas de trabalho, indicando a importância de ações de sensibilização, adaptações das condições de trabalho e práticas de Recursos Humanos no processo de inserção e gestão da diversidade em empresas. Não foram constatadas diferenças significativas quanto aos segmentos empresariais que fizeram parte da pesquisa. Além disso, foram verificadas implicações desses mesmos construtos na satisfação das pessoas com deficiência em relação aos aspectos associados ao construto qualidade de vida no trabalho analisados. Também foi constatada a potencialidade do modelo heurístico proposto e dos instrumentos de análise utilizados para a pesquisa da inserção e gestão do trabalho de pessoas com deficiência nas organizações.
45
Albino, Jose Coelho de Andrade. "Uma questão de estilo: Compreendendo a articulação entre ação e estruturas na constituição de estratégia em empresas do campo da moda." Universidade Federal de Minas Gerais, 2007. http://hdl.handle.net/1843/CSPO-72ZL2J.
Full textAbstract:
The aim of this research is to create an explanatory theory about the articulation between action and structures in the process of strategy constitution in the fashion field. This study reflects an ontological concern. It focuses on extending current theoretical patterns in the field of strategy, and intend to obtain analytic generalizion. A triangulation of methods was used: incorporated multiple cases, extend case method, grounded theory, ethnography, and laddering method. The Strategy as Practice approach was used as sensitizing concept. This approach is supported by Giddenss structuration theory and Bourdieus practice theory. The
multiple dimensions of the analysis were taken into account, and emphasis was given to the importance of studying the individuals, their interactions, their tools and routines used for that matter. Peoples performance and praxis when interacting strategically, and the companys
performance were also taken into consideration. This research was aimed at reuniting content and process horizontally, and at integrating macro and micro approaches vertically. There was also a historical, longitudinal, and processual approach involving follow up events in real
time. The companies and designers taking part in this study were: Gabriela Demarco Elvira Matilde company; Ronaldo Fraga; Tereza Santos Patachou and Tereza Santos company; Renato Loureiro; Martielo Toledo; Victor Dzenk; Luis Cláudio da Silva Apartamento 3
company; Ronieri Ferreira Patogê company. The outcome shows the concept of style as a core competence, which results from the temporary synthesis of several processes, such as knowledge management, network management, branding, innovation, and organizational
learning. It also includes mobilization and usage of resources, which should be seen as economic, social, cultural and symbolic capital. In the process of constituting the enterprises strategy in the fashion field, identity, strategy, and position co-produce each other, resulting in
the positionment the enterprise in the fashion field. In this theoretical context, strategy should be seen as a result of an emergent process of undertaking position, objectified by a managerial style. As a solution to a commitment between field and habitus, the strategy produces an
intentional and innovative (or not) action in a given situation. Companys identities are path dependent and the consistency its actions in a long term strengthens (or not) its position in relation to its competitors.Esta pesquisa objetiva contribuir para a criação de um modelo explicativo da forma como se articulam ação e estruturas no processo de constituição de estratégia em empresas do campo da moda. Como o estudo reflete uma preocupação de caráter mais ontológico; visa contribuir para a extensão dos modelos teóricos existentes no campo da estratégia, assim como tem-se a pretensão de que o estudo permita generalização analítica, adotou-se como estratégia metodológica a triangulação dos métodos: estudo de casos múltiplos incorporados, extended case method, grounded theory, etnografia e laddering method. Como conceitos sensibilizantes, foram utilizadas a abordagem da Estratégia como Prática, que tem como sustentação a teoria da estruturação de Giddens e a teoria da prática de Bourdieu. Ao considerar múltiplas dimensões de análise, enfatizou-se a importância de se estudar os indivíduos e suas interações, assim como as rotinas/ferramentas utilizadas nessas interações. Preocupou-se com a performance das pessoas e sua praxis em interações estratégicas ao mesmo tempo em que não ignorou a performance da firma. Procurou-se unir, horizontalmente, conteúdo e processo enquanto, verticalmente, integrou-se abordagens macro e micro. Assumiu-se, também, uma abordagem histórica, longitudinal e processual, envolvendo o acompanhamento de acontecimentos em tempo real. As empresas e estilistas mineiros estudados foram: Gabriela Demarco - grife Elvira Matilde; Ronaldo Fraga, Tereza Santos - grifes Patachou e Tereza Santos, Renato Loureiro, Martielo Toledo, Victor Dzenk, Luis Cláudio da Silva - grife Apartamento 03 e Ronieri Ferreira - grife Patogê. Como resultado, apresenta-se o conceito de estilo como uma core competence que resulta da síntese (provisória) dos processos de gestão de conhecimento, relacionamentos, branding, inovação, aprendizagem organizacional, assim como da mobilização e utilização de recursos, sendo estes compreendidos como capital econômico, social, cultural e simbólico. No processo de constituição da estratégia de empresas do campo da moda, postula-se que o estilo funciona como um elemento de articulação entre identidade, estratégia e posição, ou seja, identidade e estratégia se co-produzem por meio do estilo, resultando no posicionamento da empresa no campo da moda. Neste contexto teórico, estratégia passa a ser vista como o resultado de um processo emergente de tomada de posição, que é objetivado por meio de um estilo gerencial. Enquanto solução de compromisso entre um habitus e um campo, a estratégia produz uma ação intencional (inovadora ou não) em uma dada situação. A consistência desse agir ao longo da trajetória da firma confere-lhe identidade (múltiplas e em fluxo), fortalecendo ( ou não) sua posição em relação à dos concorrentes.
46
FARIAS, Adalberto Cajueiro de. "Abstraction of infinite and communicating CSPZ processes." Universidade Federal de Pernambuco, 2009. https://repositorio.ufpe.br/handle/123456789/1364.
Full textAbstract:
Made available in DSpace on 2014-06-12T15:49:26Z (GMT). No. of bitstreams: 1
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2009Esta tese trata de um problema muito comum em verificação formal: explosão de estados. O problema desabilita a verificação automática de propriedades através da verificação de modelos. Isto é superado pelo uso de abstração de dados, em que o espaço de estados de umsistema é reduzido usandoumprincípio simples: descartando detalhes de tal forma que o espaço de estados torna-se finito exibindo ainda propriedades desejáveis. Isso habilita o uso de verificacao de modelos, já que o modelo mais simples (abstrato) pode ser usado no lugar do modelo original (concreto). Entretanto, abstrações podem perder propriedades já que o nível de precisão é degradado, para algumas propriedades. Abstrair tipos de dados é, normalmente, uma tarefa não-trivial e requer uma profunda experiência: o usuário deve prover domínios abstratos, uma relacao matemática entre os estados (concreto e abstrato), uma inicialização abstrata, e uma versão abstrata para cada operação. A abordagem proposta nesta tese transfere a maior parte dessa experiência para um procedimento sistemático que calcula relações de abstração. Essas relações são a base para as relações matemáticas entre os estados, como também suas imagens determinam os domínios abstratos (os valores de dados mínimos para preservar propriedades). Também propomos meta-modelos para estabelecer como o sistema abstrato é inicializado e como operações são tornadas fechadas sob os domínios abstratos. Isso elimina o conhecimento requerido do usuário para fornecer as versões abstratas para a inicialização e operações. Os meta-modelos garantem a correspondência entre os sistemas concreto e abstrato. Assim, nós derivamos especificações abstratasa partir de concretas de tal formaque a especificação concreta é mais determinística que a abstrata por construção. Esta é a idéia por trás da teoria sobrejacente de nossa abordagem de abstração de dados: refinamento de dados. A notação adotada é CSPZ uma integração formal das linguagens de especificação CSP e Z. Uma especificação CSPZ tem duas partes: uma parte comportamental (CSP) e outra de dados (Z). O procedimento de cálculo foca na parte de Z, mas os resultados são usados na especificação CSPZ por completo; isso segue da independência de dados da parte de CSP (os dados não podem afetar seu comportamento). Ao final, a verificação automática é obtida pela conversão da especificação CSPZ em CSP puro e em seguida pelo reuso do verificador de modelos padrão de CSP. Nossa abordagem compreende as seguintes tarefas: nós extraímos a parte de Z de uma especificação CSPZ (puramente sintática), calculamos as relações de abstração (através de uma análise sistemática de predicados com uso de ferramenta de suporte), construímos as relações matemáticas entre os estados, os esquemas abstratos (definidos por meta-modelos), e realizamos um pós-processamento na especificação abstrata. A última tarefa pode resultar em alguns ajustes nas relações de abstração. A novidade prática e maior contribuição de nossa abordagem é o cálculo sistemático das das relações de abstração, que são os elementos chave de todas abordagens de abstração de dados que estudamos ao longo dos últimos anos. O refinamento de dados entre o sistema produzido por nossa abordagem e o original (concreto) é a segunda contribuição deste trabalho. O procedimento sistemático é na verdade uma técnica de análise de predicado que usa as restrições sobre os dados para determinar seus valores mínimos que são suficientes para preservar o comportamento do sistema. Isso evita a execução (concreta ou simbólica) do sistema analisado. Os passos produzem mapeamentos que revelam alguns elementos cruciais: o espaço de estados abstrato e as relações matemáticas entre ele e o espaço de estados concreto. Essas relações são usadas para construir o sistema abstrato seguindo o formato estabelecido pelos meta-modelos. As limitações de nossa abordagem são também discutidas. Nós aplicamos a abordagem a alguns exemplos também analisados por outras técnicas da literatura. Discutimos também sobre trabalhos relacionados procurando destacar vantagens, desvantagens e aspectos complementares. Finalmente, apresentamos nossas conclusões e futuras direções para este trabalho
47
Urbaneja, M. A., R. P. Kudritzki, and Joachim Puls. "Clumping in the winds of O-type CSPNs." Universität Potsdam, 2007. http://opus.kobv.de/ubp/volltexte/2008/1780/.
Full textAbstract:
Recent studies of massive O-type stars present clear evidences of inhomogeneous and clumped winds. O-type (H-rich) central stars of planetary nebulae (CSPNs) are in some ways the low mass–low luminosity analogous of those massive stars. In this contribution, we present preliminary results of our on-going multi-wavelength (FUV, UV and optical) study of the winds of Galactic CSPNs. Particular emphasis will be given to the clumping factors derived by means of optical lines (Hα and Heii 4686) and “classic” FUV (and UV) lines.
48
Reyner, Jacqueline Louise. "Characterisation of the CspA paralogues of Salmonella Typhimurium." Thesis, University of Edinburgh, 2010. http://hdl.handle.net/1842/4651.
Full textAbstract:
In cold temperatures, the survival of Salmonella enterica serovar Typhimurium (S. Typhimurium) requires the action of cold shock protein A (CspA) paralogues. These are thought to melt misfolded ribonucleic acids, facilitating their translation at low temperatures. However, through phenotypic analysis of our SL1344 csp null mutant (lacking all CspA paralogues), it has been shown that CspA paralogues function during other environmental stresses, outwith temperature reduction, and play an essential role in colony formation of an SL1344 rpoS mutant at 37°C. The general stress σ subunit, RpoS, plays an important role in adapting cells to a number of stresses including oxidative stress, temperature changes, low pH and stationary phase. Under such conditions, RpoS acts as an ‘emergency co-ordinator’, subsequently inducing the transcription of necessary stress response genes. In Escherichia coli, RpoS is regulated posttranscriptionally by at least three small RNAs (sRNAs): OxyS, DsrA and RprA; that require interactions with the Sm-like RNA chaperone, Hfq. In S. Typhimurium, the stability of the RpoS protein itself is regulated by ClpXP, an ATP-dependent protease responsible for RpoS degradation, and a specific recognition factor that targets RpoS to this protease, MviA. The present study has shown that the CspA paralogues of S. Typhimurium are involved in the expression of RpoS and aims to elucidate the role of these proteins in RpoS production. Comparative phenotypic tests were carried out in strains carrying mutations in rpoS, hfq and the csp genes to gain insight into the interactions of Hfq and CspA paralogues, with respect to RpoS expression. Both significant phenotypic overlaps, such as peroxide sensitivity, and phenotypes unique to certain mutant strains, such as cold acclimation in the csp null strain, were observed. CspA paralogues and Hfq are functionally distinct, not only in their involvement in RpoS expression, but also in RpoS-independent processes, such as cold acclimation, motility and to some extent, growth at 37°C. The roles of Hfq and the CspA paralogues, in RpoS expression, were also assessed at the molecular level. A combination of qRT-PCR analysis, transcriptional fusions and immunoblotting (with anti-σ antibodies) has shown that DsrA and RprA are not essential for RpoS expression in S. Typhimurium, during stationary phase or exponential cold shock, and do not require Hfq under these conditions. Contrary to reports in E. coli, DsrA is not induced upon cold shock in SL1344. Northern blots have shown that neither Hfq nor the CspA paralogues are involved in regulating rpoS transcription during either stationary phase at 37°C or cold shock in exponential phase. Immunoblotting and translational fusions have identified different pathways for the regulation of RpoS during stationary phase at 37°C and cold shock in exponential phase. Hfq is involved during the former condition only, whilst CspA paralogues are involved in both. Protein stability experiments have shown that the CspA paralogues do not play a major role in stabilising RpoS protein against degradation. Together, these results have pointed to a role for both the CspA paralogues and Hfq in facilitating the efficient translation of rpoS mRNA. An SL1344 csp null rpoS mutant is unable to form colonies on LB agar at 37°C, a phenomenon found when introducing combinations of mutations to SL1344 for phenotypic assessment. A conditional rpoS mutant revealed that the SL1344 csp null rpoS strain is viable but non-culturable. From the csp gene family, only cspA and cspB were able to restore colony forming ability to the rpoS mutant. Further complementation experiments pointed to faulty cell division, due to abnormal RNase E activity, as the cause.
49
Mokhtari, Naïma. "Fonctionnalisation de liaisons Csp3-H en milieu superacide." Thesis, Poitiers, 2015. http://www.theses.fr/2015POIT2308.
Full textAbstract:
L’un des principaux challenges actuels en synthèse organique est la fonctionnalisation de liaisons Csp3-H. Les difficultés rencontrées pour effectuer ce type de réactions résident notamment dans le caractère inerte de la liaison carbone-hydrogène et le contrôle des sites d’activations sur des molécules élaborées.Bien que l’utilisation de composés fluorés en chimie médicinale soit en pleine croissance, très peu de méthodes de fluoration directe de liaison Csp3-H de dérivés azotés existent.Cette étude visait à utiliser l’activation superélectrophile en milieu superacide pour fonctionnaliser des liaisons Csp3-H non activées de molécules organiques azotées. Par cette méthode, des substrats aliphatiques azotés ont pu être fluorés, hydroxylés ou arylés après formation d’intermédiaires réactionnels de type ammonium-carbénium. L’exploration d’une telle méthode pour la fonctionnalisation directe de composés élaborés a également été étudiéeThe quest for Csp3-H functionalization grows exponentially, due to its atom economy process, low reactivity and challenging activation. In addition, the major role that plays fluorine chemistry in pharmaceutical sciences makes the direct Csp3-H fluorination an innovative and elegant process to form new fluorinated molecules.The difficulties associated with the functionalization of Csp3-H bonds is based on the particular inert character of the carbon-hydrogen bond and on the control of activation sites. When activation/functionalization procedures are now commonly used, few methods are currently available to selectively activate and fluorinate nitrogen containing componds.The strong acidity of the superacid results in the formation of polyprotoned species, which can act as Csp3-H bonds activators. In this context, this study showed that the use of polycationic superelectrophilic species in superacid, allows for ionizing unactivated Csp3-H bonds and subsequent fluorination (or hydroxylation or arylation) of polyfunctional nitrogen containing molecules
50
MOTA, Alexandre Cabral. "Model checking CSPZ: Techniques to overcome state explosion." Universidade Federal de Pernambuco, 2001. https://repositorio.ufpe.br/handle/123456789/1909.
Full textAbstract:
Made available in DSpace on 2014-06-12T15:53:07Z (GMT). No. of bitstreams: 2
arquivo4927_1.pdf: 1466209 bytes, checksum: 2dd8cd7b46b828a5aa1d2a3f50a6ebef (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2001Conselho Nacional de Desenvolvimento Científico e Tecnológico
Cabral Mota, Alexandre; Cezar Alves Sampaio, Augusto. Model checking CSPZ: Techniques to overcome state explosion. 2001. Tese (Doutorado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2001.