Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019, held in London, UK, in September 2019, colocated with the 12th International Symposium on Frontiers on Combining Systems, FroCoS 2019. The 25 full papers presented were carefully reviewed and selected from 43 submissions.They present research on all aspects of the mechanization of tableaux-based reasoning and related methods, including theoretical foundations, implementation techniques, systems development and applications. The papers are organized in the following topical sections: tableau calculi, sequent calculi, semantics and combinatorial proofs, non-wellfounded proof systems, automated theorem provers, and logics for program or system verification.

Artificial intelligence. --- Computer science. --- Software engineering. --- Computer system performance. --- Artificial Intelligence. --- Mathematical Logic and Formal Languages. --- Math Applications in Computer Science. --- Software Engineering/Programming and Operating Systems. --- System Performance and Evaluation. --- Computer software engineering --- Engineering --- Informatics --- Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Automatic theorem proving --- Mathematical logic. --- Computer science—Mathematics. --- Computer system failures. --- Computer failures --- Computer malfunctions --- Computer systems --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Failures

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Welcome to the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2022). CPP covers the practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP 2022 will be held on 17-18 January 2022 in Philadelphia, Pennsylvania, United States. The conference is co-located with POPL 2022, and is sponsored by ACM SIGPLAN in cooperation with ACM SIGLOG.

Computer science --- Computer software --- Mathematics --- Verification

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Despite its limitation in terms of surface covered area, the PLD technique still gathers interest among researchers by offering endless possibilities for tuning thin film composition and enhancing their properties of interest due to: (i) the easiness of a stoichiometric transfer even for very complex target materials, (ii) high adherence of the deposited structures to the substrate, (iii) controlled degree of phase, crystallinity, and thickness of deposited coatings, (iv) versatility of the experimental set-up which allows for simultaneous ablation of multiple targets resulting in combinatorial maps or consecutive ablation of multiple targets producing multi-layered structures, and (v) adjustment of the number of laser pulses, resulting in either a spread of nanoparticles, islands of materials or a complete covering of a surface. Moreover, a variation of PLD, known as Matrix Assisted Pulsed Laser Evaporation, allows for deposition of organic materials, ranging from polymers to proteins and even living cells, otherwise difficult to transfer unaltered in the form of thin films by other techniques. Furthermore, the use of laser light as transfer agent ensures purity of films and pulse-to-pulse deposition allows for an unprecedented control of film thickness at the nm level. This Special Issue is a collection of state-of-the art research papers and reviews in which the topics of interest are devoted to thin film synthesis by PLD and MAPLE, for numerous research and industry field applications, such as bio-active coatings for medical implants and hard, protective coatings for cutting and drilling tools withstanding high friction and elevated temperatures, sensors, solar cells, lithography, magnetic devices, energy-storage and conversion devices, controlled drug delivery and in situ microstructuring for boosting of surface properties.

Technology: general issues --- thin films --- matrix-assisted pulsed laser evaporation --- shellac --- enteric coatings --- PLD --- ITO --- nanoimprint lithography --- coatings --- nanostructure --- iron oxide --- pulsed laser deposition --- aluminum nitride --- nanoindentation testing --- TEM imaging --- FTIR spectroscopy --- ellipsometry --- complex refractive index --- composite coatings --- MAPLE --- Lactoferrin --- macrophage interactions --- animal-origin calcium phosphate coatings --- natural hydroxyapatite --- doping --- high adherence --- pulsed laser deposition technique --- biomimetic applications --- target preparation --- room temperature ferromagnetism --- dilute magnetic semiconductor --- Indium oxide --- (InFe)2O3 --- PLD films --- energy storage --- thin-film electrodes --- thin-film solid electrolyte --- lithium microbatteries --- calcium phosphate-based coatings --- synthetic and natural hydroxyapatite --- in vivo testing --- biomedical applications --- n/a

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Despite its limitation in terms of surface covered area, the PLD technique still gathers interest among researchers by offering endless possibilities for tuning thin film composition and enhancing their properties of interest due to: (i) the easiness of a stoichiometric transfer even for very complex target materials, (ii) high adherence of the deposited structures to the substrate, (iii) controlled degree of phase, crystallinity, and thickness of deposited coatings, (iv) versatility of the experimental set-up which allows for simultaneous ablation of multiple targets resulting in combinatorial maps or consecutive ablation of multiple targets producing multi-layered structures, and (v) adjustment of the number of laser pulses, resulting in either a spread of nanoparticles, islands of materials or a complete covering of a surface. Moreover, a variation of PLD, known as Matrix Assisted Pulsed Laser Evaporation, allows for deposition of organic materials, ranging from polymers to proteins and even living cells, otherwise difficult to transfer unaltered in the form of thin films by other techniques. Furthermore, the use of laser light as transfer agent ensures purity of films and pulse-to-pulse deposition allows for an unprecedented control of film thickness at the nm level. This Special Issue is a collection of state-of-the art research papers and reviews in which the topics of interest are devoted to thin film synthesis by PLD and MAPLE, for numerous research and industry field applications, such as bio-active coatings for medical implants and hard, protective coatings for cutting and drilling tools withstanding high friction and elevated temperatures, sensors, solar cells, lithography, magnetic devices, energy-storage and conversion devices, controlled drug delivery and in situ microstructuring for boosting of surface properties.

Technology: general issues --- thin films --- matrix-assisted pulsed laser evaporation --- shellac --- enteric coatings --- PLD --- ITO --- nanoimprint lithography --- coatings --- nanostructure --- iron oxide --- pulsed laser deposition --- aluminum nitride --- nanoindentation testing --- TEM imaging --- FTIR spectroscopy --- ellipsometry --- complex refractive index --- composite coatings --- MAPLE --- Lactoferrin --- macrophage interactions --- animal-origin calcium phosphate coatings --- natural hydroxyapatite --- doping --- high adherence --- pulsed laser deposition technique --- biomimetic applications --- target preparation --- room temperature ferromagnetism --- dilute magnetic semiconductor --- Indium oxide --- (InFe)2O3 --- PLD films --- energy storage --- thin-film electrodes --- thin-film solid electrolyte --- lithium microbatteries --- calcium phosphate-based coatings --- synthetic and natural hydroxyapatite --- in vivo testing --- biomedical applications

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)