Dissertations / Theses on the topic 'Library; SSC'

Thesis (M.A.)--Kutztown University of Pennsylvania, 2000.
Source: Masters Abstracts International, Volume: 45-06, page: 2822. Typescript. Abstract precedes thesis as preliminary leaves I-V. Includes bibliographical references (leaves 104-106).

Thesis (M. Ed. )--Kutztown University of Pennsylvania, 2004.
Source: Masters Abstracts International, Volume: 45-06, page: 2810. Typescript. Abstract precedes thesis as 1 preliminary leaf ( iii ). Includes bibliographical references (leaves 35-37 ).

Thesis (M.P.A.)--Kutztown University of Pennsylvania, 2001.
Source: Masters Abstracts International, Volume: 45-06, page: 2941. Typescript. Abstract precedes thesis as preliminary leaves. Includes bibliographical references (leaves 64-69).

A tese se originou de uma necessidade particular de garantir espaço para a leitura na escola, uma vez que essa competência é uma ferramenta que oferece ao aluno a possibilidade de transitar por diversas áreas do conhecimento com mais facilidade. Uma escola-residência serviu de contexto para o desenvolvimento de práticas de mediação de leitura aplicadas na oficina Clube de Leitores. Por meio de trocas de impressões e experiências, os alunos percebem a língua portuguesa em uma de suas maiores manifestações: a literatura. No desenvolvimento da pesquisa, verificou-se a progressão em leitura de um grupo de estudantes e como o contato com o texto contribuiu para o aprimoramento do discurso oral e escrito. O trabalho apresenta reflexões a respeito do ensino de língua materna sob a ótica dos gêneros textuais e mostra, ainda, a formação do leitor na escola com base nas orientações curriculares nacionais. Expõe-se a metodologia utilizada no Programa de Leitura da Escola Sesc de Ensino Médio, enfatizando o papel da biblioteca e sua atuação. Observados tais aspectos, propõe-se que outras instituições de ensino sigam passos semelhantes e aproveitem as sugestões citadas para promover a leitura na escola e desfrutar dos benefícios linguísticos que a prática proporciona
The thesis was brought to light due to a particular necessity of guaranteeing enough space for reading at school, since this competence is a tool which offers the students the possibility of transiting through diverse areas of knowledge in a much easier way. A residential school was used in this context to the development of mediating reading practices applied in the Clube de Leitores workshop. By the exchange of impressions and experiences, the students perceive the Portuguese language in one of its biggest manifestations: the literature. During the research development, it was observed the reading progress of a group of students and how the contact with the text contributed to the improvement of oral and written discourses. The present work sets forth reflections regarding mother tongue teaching under the scope of textual genres. In addition to that, it also shows the training of readers based on the national curricular orientations. The methodology used in the Reading Program of Escola Sesc de Ensino Médio is exposed, emphasizing the role of the library and its performance. Taking these aspects into consideration, it is proposed that other educational institutions follow in its footsteps and make the most of the suggestions mentioned with the purpose of promoting reading at schools and profiting from the linguistic benefits that practice provides

La présentation d'une demande d'Habilitation à Diriger des Recherches (HDR) constitue à mes yeux une étape importante dans un parcours de recherche afin d'effectuer un bilan du parcours effectué, de dresser un point d'étape sur les stratégies de recherche développées et de porter un regard sur les perspectives d'action de développement futures. C'est également l'occasion d'apprécier comment s'est bâti un cheminement au gré des rencontres, des opportunités mais aussi de mesurer l'évolution des champs d'attraction et d'intérêt du chercheur. Mon document n'est pas centré sur la présentation unique d'une nouvelle recherche, ni sur la défense d'une thèse ou encore sur un retour théorique ou conceptuel majeur. Je propose une synthèse des principales recherches, afin de donner au lecteur une vision panoramique et significative des travaux de recherche effectués depuis dix ans. Il s'agit donc d'une relecture critique effectuée avec la volonté de vérifier une cohérence d'ensemble et d'interroger la logique entre problématiques de recherche, champs théoriques mobilisés, positionnement épistémologique et méthodologiques de recherche. L'articulation de ma présentation autour de trois axes (les usages des technologies sous l'angle interdisciplinaire, les individus comme acteurs de l'appropriation, et l'intérêt opératoire de l'usage des Technologies d'Information et de Communication TIC dans les organisations), respecte la progression de mes travaux dans le temps, montrant l'évolution de mes intérêts, de mes réflexions et de mes analyses. Mes recherches m'ont d'abord permis de travailler sur les pratiques des dispositifs sociotechniques dans le travail et sur la formation du lien social au travers d'une communication médiatisée par des systèmes collaboratifs. Les résultats mis en évidence ont permis de : - de prendre en compte l'usager en tant qu'acteur de sa propre communication. - de souligner d'éventuels écarts par rapport à des prescriptions d'usages. - enfin, d'étudier les significations des usages pour une technologie employée dans un contexte donné De fait, mon entrée à L'école de Management de Grenoble a fait me focaliser sur des aspects de gestion de la communication des organisations (notamment via le projet Européen de recherche E-gap) : les aspects managériaux étant plus particulièrement au centre des préoccupations de l'Ecole et les Sciences de l'information et de la Communication étant une interdiscipline par définition. Ainsi, aborder le travail distant par le biais des concepts d'autonomie, de compétences ou de réseaux sociaux a permis de mettre en évidence des éléments clés dans la compréhension de la communication des organisations. Cet angle de recherche a souligné les aspects essentiels des relations interpersonnelles pour les échanges de connaissances et la capitalisation de celles-ci. Mon activité de recherche a donc été infléchie depuis 2001 par des conditions contingentes mais en cohérence avec les réflexions précédentes. Par la suite, la recherche de terrains nouveaux, la volonté de travailler en collaboration avec des chercheurs de différentes disciplines et surtout l'intérêt de poursuivre mes recherches dans l'optique de la communication des organisations en leur donnant une nouvelle perspective, m'ont conduite à travailler à développer une posture originale par rapport aux pratiques quotidiennes dans l'organisation, en spécifiant et en approfondissant le concept de bricolage présent dans les pratiques quotidiennes. Ainsi, dans la perspective d'une meilleure compréhension des usages des TIC, dans le monde professionnel (avec en point de mire le rapport avec l'efficacité de la communication dans les organisations), il m'a semblé intéressant et utile de travailler sur ce qui peut relever du quotidien, du banal, en me focalisant sur les façons, les manières, les agirs des individus (ou des groupes). L'idée fondamentale est d'observer, de comprendre et de valoriser des pratiques quotidiennes parfois cachées, différentes, implicites mais toujours porteuses de sens individuels et collectifs pour, ultérieurement, les faire mieux participer et de manière plus efficiente au projet collectif. Afin de reprendre ce cheminement, mon document d'habilitation à diriger des recherches est donc organisé en trois parties. Dans une première partie, je traite de la nécessité de travailler le concept d'usage de façon interdisciplinaire, c'est-à-dire en prenant en considération un point de vue communicationnel mais également managérial. Les résultats des travaux montrent toute la complexité de la mise en œuvre des usages dans les organisations. Ces dernières évoluent en fonction des mutations économiques, sociales et technologiques. De multiples critères sont à prendre en compte et la diversité des comportements et des réactions questionnent ainsi les approches autour des usages. Dans une deuxième partie, je traite du rôle de l'acteur dans la formation des usages. L'objet de recherche se situe ici autour du concept d'appropriation et de la difficulté à aboutir à une théorie qui essaie d'en définir les fondements. Mes travaux soulignent ici la transversalité des approches et des théories pour une compréhension plus fine. La troisième partie envisage les modes opératoires et méthodologiques. Là encore, la stratégie de transversalité des méthodes et des approches semble être celle qui apporte le plus de réponses à la compréhension et à la mise en œuvre efficace de l'appropriation des TIC dans les organisations. Chaque partie fait également l'objet d'une discussion dans laquelle je souligne les limites de l'ensemble de mes travaux et les prospectives éventuelles.

La bibliothèque du couvent franciscain médiéval d'Assise a été inventorié par frère Jean de Iolo en 1381. Jean a aussi collé des étiquettes dans le plat postérieur de chaque manuscrit, portant l’indication du nom de l'auteur et de l'oeuvre ainsi que l’emplacement dans la bibliothèque. Dans l'inventaire du 1381 il décrit environ 700 livres, dont il s’est avéré l’existant d’environ 540, desquels la majorité est encore conservées dans la bibliothèque d'Assise. Des restants, une centaine, ont migré vers d'autres bibliothèques italiennes et étrangères. L'inventaire montre aussi que la collection de livres avait été divisée en deux bibliothèques, une nommé libraria publica, dans laquelle les livres ont été enchaînés aux bancs, une nommé libraria secreta, dans laquelle les livres étaient enfermés dans un armarium et disponibles au prêt.J'ai essayé d'étudier cette collection de livres d'un point de vue codicologique, que je pense jusqu'iciinexploré. Il n'était pas question d'étudier les manuscrits individuellement, peut-être le plus important pour leurs contenu ou leurs histoire, chose qui avait été faite dans le passé, mais de combiner les données tirées des manuscrits franciscains d'Assise connus, les saisir dans des bases des données et permettre aux données eux-mêmes d’apporter des informations.La première partie de ce travail se concentrera sur l'histoire de la bibliothèque médiévale, mais même dans ces paragraphes je fais souvent référence à des éléments codicologiques. La partie centrale cherche à mettre en évidence le caractère unique de la collection de la bibliothèque d’Assise, tels que Jean de Iolo l’a « photographié » en 1381.La dernière partie est plus spécifiquement de nature codicologique, dans laquelle j’ai mis en évidence les facteurs liés à la fabrication et à l'écriture des manuscrits
So far, the oldest description that we have of the Franciscan Library of Assisi is an inventory made in 1381 by the friar John of Iolo. Friar John also labelled the manuscripts with strips of paper put on the covers and bearing the name of the author, the title and a call number of the manuscript.The inventory describes about 700 manuscripts; so far 540 have been identified, the majority of which are preserved in the Assisi Library. Among the ones which are not in Assisi, about 100 have been found in libraries either in Italy and in other countries. From the inventory one can infer that the Library was divided in two: the libraria publica, where the books were chained to the benches; and the libraria secreta, where the books were closed in the armarium and the books were available to be borrowed.I aimed to study this book collection from a codicological point of view, which had not had been investigated until now.I preferred not to focus on each manuscript and its content. Rather, I aimed to look at the library as a whole; therefore I gathered the general data by taking them from the descriptions of the manuscripts and then I combined those data within a new database; by doing this I was able to draw out new information about the collection itself.The first section of this work is focused on the history of the library, where I often referred to codicological elements. The central section aims to evidence the wholeness of the Assisi library, the way it was « pictured » by John of Iolo in 1381.Finally, the third section clearly highlights the codicological aspect of this research; here I tried to underline all the factors related to the book making and the writing of the manuscripts
La biblioteca del convento francescano medievale di Assisi è stata inventariata da fr. Giovanni di Iolo nel 1381. Gianni ha anche preparato le etichette, con l’indicazione dell’autore e del titolo dell’opera e la lettera di collocazione, per il piatto posteriore di ogni manoscritto. Nell’inventario del 1381 descrive circa 700 libri, dei quali ne sono stati identificati circa 540, la maggior parte conservata ancora nella biblioteca di Assisi. Dei restanti, circa un centinaio, è migrato verso altre biblioteche italiane e straniere. L’inventario mostra anche che la collezione dei libri era stata divisa in due biblioteche, una denominata libraria publica, nella quale i libri erano incatenati ai plutei, un’altra denominata libraria secreta, nella quale i libri erano conservati in un armarium e disponibili per il prestito. Ho cercato di studiare questa collezione di libri da un punto di vista codicologico, prospettiva secondo me inesplorata. Non si è trattato di studiare solo alcuni manoscritti, i più importanti per il contenuto o la loro storia, cosa già fatta in passato, ma di raccogliere dati ottenuti da tutti i manoscritti francescani di Assisi identificati, inserirli in banche dati e permettere ai dati stessi di fornire informazioni.La prima parte di questo lavoro si concentrerà sulla storia della biblioteca medievale, ma anche in questi paragrafi si farà spesso riferimento a elementi codicologici. La parte centrale cercherà di mettere in evidenza il carattere unico della collezione della biblioteca di Assisi, come Giovanni di Iolo la “fotografò” nel 1381. L’ultima parte è di natura più specificamente codicologica, in questa io ho messo in evidenza i fattori legati alla fabbricazione e alla scritturare dei manoscritti

碩士
國立中央大學
電機工程研究所
89
In this thesis, we will construct an IEEE 1057-1994 mixed signal circuit test library for mixed-signal SOC; use Histogram and FFT to measure. We will use Texas Instruments (TI) TMS 320c62x EVM, DSP processor and evaluation kit as the test vehicle. The test results include the relation between SNR and Number of Sampling, sampling frequency number of sampling cycle, ENOB.

This thesis aims to present solutions to improve the performance of SQLite library on mobile systems. In particular, two approaches are presented to add lightweight locking mechanisms to the SQLite library and improve concurrency of the SQLite library on Android operating system. The impact on performance is discussed after each section. Many applications on the Android operating system rely on the SQLite library to store ordered data. However, due to heavy synchronization primitives used by the library, it becomes a performance bottleneck for applications which push large amount of data into the database. Related work in this area also points to SQLite database as one of the factors for limiting performance. With increasing network speeds, the storage system can become a performance bottleneck, as applications download larger amounts of data. The following work in this thesis addresses these issues by providing approaches to increase concurrency and add light-weight locking mechanisms. The factors determining the performance of Application Programming Interfaces provided by SQLite are first gathered from IO traces of common database operations. By analyzing these traces, opportunities for improvements are noticed. An alternative locking mechanism is added to the database file using byte-range locks for fine-grained locking. Its impact on performance is measured using SQLite benchmarks as well as real applications. A multi-threaded benchmark is designed to measure the performance of fine grained locking in multi-threaded applications using common database operations. Recent versions of SQLite use write ahead logs for journaling. We see that writes to this sequential log can occur concurrently, especially in flash drives. By adding a sequencing mechanism for the write ahead log, the writes can proceed simultaneously. The performance of this method is also analyzed using the synthetic benchmarks and multi-threaded benchmarks. By using these mechanisms, the library is observed to gain significant performance for concurrent writes.

Dissertação de mestrado em Engenharia Informática
An essential component regarding the development of information systems is the compiler: a tool responsible for translating high-level language code, like C or Java, into machine code. The issue is, compilers are themselves big and complex programs, making them also vulnerable to failures that may be propagated to the compiled programs. To overcome those risks research on “certified compilers” has been made, and recently some proposals have appeared. That sort of compilers guarantees that the compilation process runs as specified. In this dissertation is studied the applicability of the certified compiler CompCert in cryptographic software development. The first point being addressed was the use of support libraries, such as big number libraries. As a matter of fact, such libraries are an essential requisite for the considered type of application, therefore the study of different options for using these libraries, always considering the impact in program’s performance and semantic preservation offered by the compiler. The second point being addressed was the use of SIMD extensions available on recent processors. Here the objective was to demonstrate how one could overcome the current CompCert’s limitations as to discuss other solutions.
Um componente essencial na produção de sistemas informáticos é o compilador: a ferramenta responsável por traduzir o código numa linguagem de alto nível como o C ou o Java em instruções do processador que serão efectivamente executadas. Mas os compiladores são eles próprios programas grandes e complexos, vulneráveis a falhas que se podem propagar de forma incontrolável por todos os programas por eles processados. Com o objectivo de ultrapassar esse risco surgiram recentemente as primeiras propostas de "compiladores certificados" onde se garante que o processo de compilação está conforme o especificado. Nesta dissertação é estudada a aplicabilidade do compilador certificado CompCert no desenvolvimento de software criptográfico. O primeiro aspecto abordado foi a utilização de bibliotecas de suporte, como as bibliotecas de números grandes. De facto, tais bibliotecas são um requisito essencial para tipo de aplicação considerado, estudando-se por isso diferentes alternativas para a utilização dessas bibliotecas, considerando quer o impacto na eficiência dos programas, quer as garantias de preservação semântica oferecidas pelo compilador. Um segundo aspecto abordado foi a utilização de extensões SIMD disponibilizadas pelos processadores mais recentes. Aqui o objectivo foi o de mostrar como é possível ultrapassar as limitações da versão actual do CompCert, assim como discutir soluções mais abrangentes ao problema.

碩士
國立交通大學
應用化學系分子科學碩博士班
99
The SCC-DFTB method is a powerful semi-empirical method of quantum chemistry, which is able to treat huge molecular systems. However, SCC-DFTB has certain limitations, which diminish its strength for particular chemical applications. The first limitation concerns the fact that accurate energies, equilibrium geometries, and vibrational frequencies cannot be obtained with the existing parameter sets simultaneously. In the current parameterization of SCC-DFTB, insufficient number of reference potential energy surfaces were used for determination of the parameters. The second limitation comes from the fact that the current SCC-DFTB parameter sets are available only for few selected elements. To overcome those limitations, numerous reference potential energy surfaces representing various bonding mechanisms between atoms are required in the parameterization process. For generating reference potential energy surfaces usable in a fast parameterization process, most of high-level accurate quantum chemical methods are too expensive to be employed. Therefore, we construct a collection of force-field like potential energy functions on the 4-th order Taylor approximation to expand those functions. Generated by accurate Coupled cluster calculations, our potential energy function not only provide us with accurate potential energy surfaces but also allow for substantial savings in the computational time. The final library of potential energy functions were determined for 74 common molecules containing the elements of the first, second, and third row of the periodic table of elements. The list of these molecules attempts to represent the most typical bonding situations between these elements. We conclude the derivation of the library of potential energy functions by presenting a verification algorithm designed to validate the accuracy of our library. In the fitting process, we are able to control the RMS error to be less than 10-4 a.u. in all the studied cases. We have also implemented each of potential energy function as an external program, which can be invoked from the Gaussian09 program, for performing geometry optimization and calculating vibrational frequencies. In all of studied cases, our library of potential energy functions can reproduce the equilibrium geometry and vibrational frequencies giving results almost identical with those from the CCSD(T)/cc-pVTZ calculation. For all the calculated vibrational frequencies, the error to CCSD(T) is smaller than 10 cm-1.