Kirjojen hintavertailu. Mukana 11 342 296 kirjaa ja 12 kauppaa.
Kirja.info

Kirjahaku

Etsi kirjoja tekijän nimen, kirjan nimen tai ISBN:n perusteella.

1000 tulosta hakusanalla Maria Pinto

Ciments biocéramiques

Ciments biocéramiques

Glória Maria de França; Abimael Esdras Carvalho de Moura Lira; Daniel Pinto de Oliveira

Editions Notre Savoir
2021
pokkari
Le traitement endodontique conventionnel vise fournir les conditions permettant l'organisme de gu rir la maladie pulpaire et permettre la dent affect e de retrouver ses fonctions esth tiques et fonctionnelles. Toutefois, lorsque cela n'est pas possible, en raison du maintien de bact ries persistantes l'int rieur du canal radiculaire, un retraitement endodontique est effectu . Un autre artifice pour l'entretien de l' l ment dentaire est la chirurgie paraendodontique, couramment pratiqu e lorsque tous les autres traitements pr c dents ont chou et, pour cela, il est n cessaire de choisir un bon mat riau pour sceller la cavit de la r tropr paration. L'objectif de cette tude tait de pr senter, par une revue de la litt rature, les ciments bioc ramiques disponibles sur le march (iRoot BP(R), EndoSequence(R), MTA Repair HP Angelus(R), TotalFill BC sealer(R) et RetroMTA(R)), et de d montrer leurs applications cliniques en tant que mat riaux de remplissage et de scellement p riapical. Une enqu te bibliographique a t men e dans la base de donn es Pubmed o 26 des 30 articles trouv s ont t s lectionn s. Il est conclu que les bioc ramiques peuvent tre utilis es comme mat riau de remplissage parce qu'elles ont un bon coulement en raison de la faible viscosit de la
Vertaile hintoja
Cementi bioceramici

Cementi bioceramici

Glória Maria de França; Abimael Esdras Carvalho de Moura Lira; Daniel Pinto de Oliveira

Edizioni Sapienza
2021
pokkari
Il trattamento endodontico convenzionale mira a fornire le condizioni affinch il corpo guarisca la malattia della polpa e permetta al dente colpito di ristabilire le sue funzioni estetiche e funzionali. Tuttavia, quando questo non possibile, a causa del mantenimento di batteri persistenti all'interno del canale radicolare, si esegue il ritiro endodontico. Un altro artificio per il mantenimento dell'elemento dentale la chirurgia paraendodontica, comunemente eseguita quando tutti gli altri trattamenti precedenti sono falliti e, per questo, necessaria la scelta di un buon materiale per sigillare la cavit del retropreparato. Lo scopo di questo studio era di presentare, attraverso una revisione della letteratura, i cementi bioceramici disponibili sul mercato (iRoot BP(R), EndoSequence(R), MTA Repair HP Angelus(R), TotalFill BC sealer(R) e RetroMTA(R)), e di dimostrare le loro applicazioni cliniche come riempitivi e sigillanti periapicali. Un'indagine bibliografica stata condotta nel database Pubmed dove sono stati selezionati 26 dei 30 articoli trovati. Si conclude che la bioceramica pu essere utilizzata come materiale di riempimento perch ha un buon flusso a causa della bassa viscosit del
Vertaile hintoja
Cementy bioceramiczne

Cementy bioceramiczne

Glória Maria de França; Abimael Esdras Carvalho de Moura Lira; Daniel Pinto de Oliveira

Wydawnictwo Nasza Wiedza
2021
pokkari
Konwencjonalne leczenie endodontyczne ma na celu zapewnienie organizmowi warunk w do wygojenia choroby miazgi i umożliwienie przywr cenia choremu zębowi jego funkcji estetycznych i funkcjonalnych. Gdy jednak nie jest to możliwe, ze względu na utrzymywanie się przetrwalych bakterii wewnątrz kanalu korzeniowego, wykonuje się retreating endodontyczny. Inną sztuką slużącą utrzymaniu elementu zębowego jest chirurgia paraendodontyczna, powszechnie wykonywana, gdy wszystkie inne wcześniejsze zabiegi zawiodly i w tym celu konieczny jest wyb r dobrego materialu do uszczelnienia ubytku w retropreparacji. Celem niniejszej pracy bylo przedstawienie, poprzez przegląd piśmiennictwa, dostępnych na rynku cement w bioceramicznych (iRoot BP(R), EndoSequence(R), MTA Repair HP Angelus(R), TotalFill BC sealer(R) i RetroMTA(R)) oraz zaprezentowanie ich zastosowań klinicznych jako wypelniaczy i uszczelniaczy okolowierzcholkowych. Przeprowadzono kwerendę bibliograficzną w bazie Pubmed, z kt rej wybrano 26 z 30 odnalezionych artykul w. Stwierdzono, że bioceramika może byc stosowana jako material wypelniający, ponieważ charakteryzuje się dobrym przeplywem ze względu na niską lepkośc.
Vertaile hintoja
Anwendung Der Kartographie Von Sauve Umweltbildung Ströme

Anwendung Der Kartographie Von Sauve Umweltbildung Ströme

Walker Gomes de Albuquerque; Maria Do Socorro Duarte Pinto

Verlag Unser Wissen
2021
pokkari
Diese Studie zielte darauf ab, die Anwendung von Sauves Kartographie der Umweltbildungsstr me auf Gymnasiallehrer einer ffentlichen Schule in der Gemeinde Uirauna - PB zu demonstrieren. Die Studie verwendet als theoretische Annahmen, methodische Untersuchung der bibliographischen Forschung und Feldstudie, durch einen qualitativen und deskriptiven Ansatz, gekennzeichnet durch die Entwicklung und Kl rung von Ideen. Als Instrument zur Datenerhebung wurde ein Fragebogen, bestehend aus 16 Fragen, bei 25 Oberschullehrern der EEEFM Doutor Jose Duarte Filho in der Stadt Uirauna - PB angewendet. Die gewonnenen Daten wurden nach der Kartographie der Str mungen der Umwelterziehung von Sauv analysiert. Die Ergebnisse belegen, wie heterogen das Szenario der Umwelterziehung ist, was auf unterschiedliche Visionen und damit auch auf unterschiedliche Lehrmethoden in Bezug auf die Umwelt hinweist. Die Lehrmethodik, die von den Lehrern in den Disziplinen, die mit Umwelterziehung arbeiten, praktiziert wird, variiert je nach den Vorstellungen von Umwelt, die jeder von ihnen hat, was zeigt, dass der Lehrer nicht einer einzigen Str mung der Umwelterziehung folgt, sondern die bernahme dieser Str mungen ist.
Vertaile hintoja
Application of the Cartography of Sauve Environmental Education Currents

Application of the Cartography of Sauve Environmental Education Currents

Walker Gomes de Albuquerque; Maria Do Socorro Duarte Pinto

Our Knowledge Publishing
2021
pokkari
This study aimed to demonstrate the application of Sauve's cartography of environmental education currents to high school teachers of a public school in the municipality of Uirauna - PB. The study used as theoretical assumptions, methodological investigation of bibliographic research and field study, through a qualitative and descriptive approach, characterized by the development and clarification of ideas. As an instrument for data collection, a questionnaire consisting of 16 questions was applied to 25 high school teachers of the EEEFM Doutor Jose Duarte Filho in the city of Uirauna - PB. The obtained data were analyzed according to the cartography of currents of Environmental Education of Sauve. The results attested how the scenario of Environmental Education is heterogeneous, indicating different visions and, therefore, different teaching methods in relation to the environment. The teaching methodology practiced by teachers in the disciplines that work with Environmental Education varies according to the conceptions of environment that each one has, demonstrating that the teacher does not follow a single current of Environmental Education, being the adoption of these currents.
Vertaile hintoja
Application de la Cartographie Des Courants d'Éducation À l'Environnement Sauvés

Application de la Cartographie Des Courants d'Éducation À l'Environnement Sauvés

Walker Gomes de Albuquerque; Maria Do Socorro Duarte Pinto

Editions Notre Savoir
2021
pokkari
Cette tude visait d montrer l'application de la cartographie des courants d' ducation environnementale de Sauv aux enseignants du secondaire d'une cole publique de la municipalit d'Uira na - PB. L' tude a utilis comme hypoth ses th oriques, l'investigation m thodologique de la recherche bibliographique et l' tude de terrain, travers une approche qualitative et descriptive, caract ris e par le d veloppement et la clarification des id es. Comme instrument de collecte de donn es, un questionnaire compos de 16 questions a t appliqu 25 enseignants du secondaire de l'EEEFM Doutor Jos Duarte Filho dans la ville d'Uira na - PB. Les donn es obtenues ont t analys es selon la cartographie des courants de l'Education l'Environnement de Sauv . Les r sultats ont attest de l'h t rog n it du sc nario de l' ducation environnementale, indiquant des visions diff rentes et, par cons quent, des m thodes d'enseignement diff rentes en ce qui concerne l'environnement. La m thodologie d'enseignement pratiqu e par les enseignants des disciplines qui travaillent avec l' ducation environnementale varie en fonction des conceptions de l'environnement que chacun a, ce qui montre que l'enseignant ne suit pas un seul courant d' ducation environnementale, tant l'adoption de ces courants.
Vertaile hintoja
Applicazione Della Cartografia Delle Correnti Di Educazione Ambientale Sauve

Applicazione Della Cartografia Delle Correnti Di Educazione Ambientale Sauve

Walker Gomes de Albuquerque; Maria Do Socorro Duarte Pinto

Edizioni Sapienza
2021
pokkari
Questo studio ha mirato a dimostrare l'applicazione della cartografia delle correnti di educazione ambientale di Sauve agli insegnanti delle scuole superiori di una scuola pubblica nel comune di Uirauna - PB. Lo studio ha utilizzato come presupposti teorici, l'indagine metodologica della ricerca bibliografica e lo studio sul campo, attraverso un approccio qualitativo e descrittivo, caratterizzato dallo sviluppo e dalla chiarificazione delle idee. Come strumento per la raccolta dei dati, un questionario composto da 16 domande stato applicato a 25 insegnanti di scuola superiore del EEEFM Doutor Jos Duarte Filho nella citt di Uirauna - PB. I dati ottenuti sono stati analizzati secondo la cartografia delle correnti di Educazione Ambientale di Sauve. I risultati hanno attestato come lo scenario dell'Educazione Ambientale sia eterogeneo, indicando diverse visioni e, quindi, diversi metodi di insegnamento in relazione all'ambiente. La metodologia di insegnamento praticata dagli insegnanti delle discipline che lavorano con l'Educazione Ambientale varia a seconda delle concezioni di ambiente che ognuno ha, dimostrando che l'insegnante non segue una sola corrente di Educazione Ambientale, essendo l'adozione di queste correnti.
Vertaile hintoja
Zastosowanie Kartografii Nurtów Edukacji Ekologicznej Sauve

Zastosowanie Kartografii Nurtów Edukacji Ekologicznej Sauve

Walker Gomes de Albuquerque; Maria Do Socorro Duarte Pinto

Wydawnictwo Nasza Wiedza
2021
pokkari
Badanie to mialo na celu wykazanie zastosowania kartografii Sauvego w edukacji ekologicznej nauczycieli szk l średnich w gminie Uirauna - PB. Jako zalożenia teoretyczne, badanie metodologiczne wykorzystano badania bibliograficzne i badania terenowe, poprzez podejście jakościowe i opisowe, charakteryzujące się rozwijaniem i wyjaśnianiem pomysl w. Jako narzędzie do zbierania danych, kwestionariusz skladający się z 16 pytań zostal zastosowany do 25 nauczycieli szk l średnich z EEEFM Doutor Jos Duarte Filho w mieście Uirauna - PB. Uzyskane dane zostaly przeanalizowane zgodnie z kartografią prąd w Edukacji Środowiskowej Sauve. Wyniki potwierdzily, że scenariusz Edukacji Ekologicznej jest niejednorodny, wskazując na r żne wizje, a co za tym idzie, r żne metody nauczania w odniesieniu do środowiska. Metodyka nauczania praktykowana przez nauczycieli w dyscyplinach zajmujących się edukacją środowiskową r żni się w zależności od koncepcji środowiska, jakie każdy z nich posiada, co pokazuje, że nauczyciel nie podąża za jednym nurtem edukacji środowiskowej, będąc adaptacją tych nurt w.
Vertaile hintoja
Rigorous Software Development

Rigorous Software Development

José Bacelar Almeida; Maria João Frade; Jorge Sousa Pinto; Simão Melo de Sousa

Springer London Ltd
2011
nidottu
The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software. Program Verification is the area of computer science that studies mathematical methods for checking that a program conforms to its specification. This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering. The idea of specifying the behaviour of individual software components by attaching contracts to them is now a widely followed approach in program development, which has given rise notably to the development of a number of behavioural interface specification languages and program verification tools. A foundation for the static verification of programs based on contract-annotated routines is laid out in the book. These can be independently verified, which provides a modular approach to the verification of software. The text assumes only basic knowledge of standard mathematical concepts that should be familiar to any computer science student. It includes a self-contained introduction to propositional logic and first-order reasoning with theories, followed by a study of program verification that combines theoretical and practical aspects - from a program logic (a variant of Hoare logic for programs containing user-provided annotations) to the use of a realistic tool for the verification of C programs (annotated using the ACSL specification language), through the generation of verification conditions and the static verification of runtime errors.
Vertaile hintoja
Rigorous Software Development

Rigorous Software Development

José Bacelar Almeida; Maria João Frade; Jorge Sousa Pinto; Simão Melo de Sousa

SPRINGER LONDON LTD
2025
nidottu
Software errors can lead to catastrophic consequences, from financial losses to threats to human safety. As a result, rigorous methods for software development and validation have become increasingly critical. Program verification, a key area of formal methods, provides mathematical tools and techniques to ensure that software behaves as intended. This book provides a comprehensive introduction to program verification, combining theoretical foundations with practical applications using real-world tools. It offers a self-contained overview of propositional logic and first-order reasoning with theories, followed by a study of Hoare-style program logic with annotations and the generation of verification conditions. The use of Frama-C’s WP plug-in for verifying C programs annotated with the ACSL specification language, including safety properties, is also covered. This revised and expanded second edition incorporates recent advances in formal methods and program verification, integrating new techniques, tools, and exercises to equip readers with the skills necessary for rigorous software development. Rigorous Software Development is ideal for computer science students, researchers in formal methods, and software engineers seeking a deeper understanding of program verification techniques and tools. It equips readers with the knowledge needed to apply rigorous methods in practice while providing a solid foundation for the evolving landscape of modern software engineering.
Vertaile hintoja
An Integrated Approach for Added-Value Products from Lignocellulosic Biorefineries

An Integrated Approach for Added-Value Products from Lignocellulosic Biorefineries

Alírio Egídio Rodrigues; Paula Cristina de Oliveira Rodrigues Pinto; Maria Filomena Barreiro; Carina Andreia Esteves da Costa; Maria Inês Ferreira da Mota; Isabel Fernandes

Springer Nature Switzerland AG
2019
nidottu
This book offers the state of the art on the progress and accomplishments of 25 years of research at the Associate Laboratory LSRE-LCM - Laboratory of Separation and Reaction Engineering - Laboratory of Catalysis and Materials on lignin conversion to value-added products and their downstream separation. The first valorisation pathway presented for lignin is its partial depolymerisation by oxidation for the production of low molecular weight phenolic compounds, such as vanillin and syringaldehyde, and the second one is the lignin application as macromonomer for polyurethane synthesis. In this book, the authors present the integration of these two valorisation pathways as an exclusive vision of LSRE-LCM resulting from hands-on experience on reaction and separation processes: the integrated process for lignin valorisation. In this perspective, the lignin is oxidized to simultaneously produce syringaldehyde and vanillin, and the obtained by-products to produce a polyolfor lignin-based polyurethanes, completing the lignin value chain. On the perspective of pulp mill-related biorefineries, a valorisation route for eucalyptus bark is also presented, focusing on LSRE-LCM experience on extraction and separation of bioactive polyphenols, giving some insights about further integration of extracted bark on biorefining operations.
Vertaile hintoja
An Integrated Approach for Added-Value Products from Lignocellulosic Biorefineries

An Integrated Approach for Added-Value Products from Lignocellulosic Biorefineries

Alírio Egídio Rodrigues; Paula Cristina de Oliveira Rodrigues Pinto; Maria Filomena Barreiro; Carina Andreia Esteves da Costa; Maria Inês Ferreira da Mota; Isabel Fernandes

Springer International Publishing AG
2018
sidottu
This book offers the state of the art on the progress and accomplishments of 25 years of research at the Associate Laboratory LSRE-LCM - Laboratory of Separation and Reaction Engineering - Laboratory of Catalysis and Materials on lignin conversion to value-added products and their downstream separation. The first valorisation pathway presented for lignin is its partial depolymerisation by oxidation for the production of low molecular weight phenolic compounds, such as vanillin and syringaldehyde, and the second one is the lignin application as macromonomer for polyurethane synthesis. In this book, the authors present the integration of these two valorisation pathways as an exclusive vision of LSRE-LCM resulting from hands-on experience on reaction and separation processes: the integrated process for lignin valorisation. In this perspective, the lignin is oxidized to simultaneously produce syringaldehyde and vanillin, and the obtained by-products to produce a polyolfor lignin-based polyurethanes, completing the lignin value chain. On the perspective of pulp mill-related biorefineries, a valorisation route for eucalyptus bark is also presented, focusing on LSRE-LCM experience on extraction and separation of bioactive polyphenols, giving some insights about further integration of extracted bark on biorefining operations.
Vertaile hintoja
Desenvolvimento pessoal e sexual dos estudantes de enfermagem

Desenvolvimento pessoal e sexual dos estudantes de enfermagem

Anabela Tavares Antunes Almeida; Maria Beatriz Antunes de Almeida; Magda Susana Pinto Dos Santos Guerra

Novas Edicoes Academicas
2022
pokkari
Os jovens estudantes de enfermagem t m efectivamente um papel como futuros educadores de sa de a diversas dimens es e tamb m na rea da sexualidade humana. Nesse sentido, importante que a escola lhes ofere a um contexto de desenvolvimento pessoal integral para que vivam de forma saud vel a sua pr pria sexualidade e com base nas suas aprendizagens se apropriarem de conhecimentos, capacidades e habilidades para agirem como educadores de sa de sexual. O estudo das vari veis de contexto escolar em que se movimentam os estudantes de enfermagem pode permitir identificar algumas reas de aprendizagem comuns a diferentes escolas, que visam oferecer contributos espec ficos para a capacita o dos estudantes de enfermagem na rea da sexualidade humana. As escolas de enfermagem sensibilizam os seus estudantes para uma s rie de princ pios b sicos que paulatinamente se foram tornando caracter sticos desta profiss o.
Vertaile hintoja
1...45678...50