| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910712150803321 |
|
|
Titolo |
Geochemical data for core and bottom-sediment samples collected in 2007 from Grand Lake O' the Cherokees, northeast Oklahoma |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Reston, Virginia, : U.S. Department of the Interior, U.S. Geological Survey |
|
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910903788103321 |
|
|
Autore |
Bhushan Bharat |
|
|
Titolo |
Introduction to Biomimetics and Bioinspiration : Materials and Surfaces for Green Science and Technology / / by Bharat Bhushan |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2024.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (789 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Biomaterials |
Nanotechnology |
Surfaces (Technology) |
Surfaces (Physics) |
Nanoparticles |
Sustainability |
Nanoengineering |
Surface patterning |
Surface and Interface and Thin Film |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Introduction -- Roughness-Induced Superliquiphilic/phobic Surfaces: Wetting States and Lessons from Nature -- Modeling of Contact Angle |
|
|
|
|
|
|
|
|
|
|
|
for a Liquid in Contact with a Rough Surface for Various Wetting Regimes -- Plant Leaf Surfaces in Living Nature -- Nanofabrication Techniques used for Superhydrophobic Surfaces -- Strategies for Micropatterned, Nanopatterned, and Hierarchically Structured Lotus-like Surfaces -- Fabrication and Characterization of Mechanically Durable Superhydrophobic Surfaces -- Strategies for Superliquiphobic/philic Surfaces -- Adaptable Fabrication Techniques for Mechanically Durable Superliquiphobic/philic Surfaces -- Fabrication and Characterization of Mechanically Durable Superliquiphobic Surfaces -- Shark-Skin Surface for Fluid-Drag Reduction in Turbulent Flow -- Gecko Adhesion -- Bio- and Inorganic Fouling -- Bioinspired Strategies for Water Collection and Water Purification -- Mosquitoes’ Locomotion and Painless Piercing. |
|
|
|
|
|
|
Sommario/riassunto |
|
This textbook provides a comprehensive overview of biomimetics and biologically inspired materials, capturing the essence of innovation that draws inspiration from nature. Featuring diverse examples of biomimetics, the book explores surfaces exhibiting characteristics such as roughness-induced super-phobicity/philicity, self-cleaning mechanisms, antifouling properties, low drag, reversible adhesion, high hardness, and mechanical toughness. It also covers phenomena like water harvesting, purification, insect locomotion, and piercing. The book emphasizes durable materials and surfaces with a strong focus on the Lotus Effect, superoleophobic/philic surfaces, anti-biofouling, water purification, oil-water separation, shark skin-inspired low-drag surfaces, gecko-inspired reversible adhesion, nanofabrication, water-harvesting, and mosquito-inspired painless piercing. This is the first textbook on biomimetics and bioinspired surfaces. It is tailored for undergraduate or graduate students of materials science, chemistry, physics, and biology, and serves as an excellent resource for a one-semester course in biomimetics/bioinspiration while also functioning as a valuable textbook for applied nanotechnology courses. Accessible to both novices and experts alike, as well as practitioners, solution seekers, and the intellectually curious, this book is poised to contribute to the advancement of biomimetics, fostering a deeper understanding of nature's design brilliance and its transformative potential in materials science. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910349315803321 |
|
|
Titolo |
Intelligent Computer Mathematics : 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings / / edited by Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2019.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 307 p. 540 illus., 70 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 11617 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Computer science |
Computer networks |
Artificial Intelligence |
Theory of Computation |
Computer Communication Networks |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Interaction with Formal Mathematical Documents in Isabelle/PIDE -- Beginners’ quest to formalize mathematics: A feasibility study in Isabelle 16 -- Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation -- A Tale of Two Set Theories -- Relational Data Across Mathematical Libraries -- Variadic Equational Matching -- Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition -- Towards Specifying Symbolic Computation -- Lemma Discovery for Induction - A survey -- Experiments on automatic inclusion of some non-degeneracy conditions among the hypotheses in locus equation computations -- Formalization of Dubé’s Degree Bounds for Gröbner Bases in Isabelle/HOL 155 -- Le Coq Library as a Theory Graph -- BNF-Style Notation as it is Actually Used -- MMTTeX: Connecting Content and Narration-Oriented Document Formats -- Diagram Combinators in MMT -- Inspection and selection of representations -- A plugin to |
|
|
|
|
|
|
|
|
|
|
|
export Coq libraries to XML.-Forms of Plagiarism in Digital Mathematical Libraries -- Integrating Semantic Mathematical Documents and Dynamic Notebooks -- Explorations into the Use of Word Embedding in Math Search and Math Semantics. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 12th International Conference on Intelligent Computer Mathematics, CICM 2019, held in Prague, Czech Republic, in July 2019. The 19 full papers presented were carefully reviewed and selected from a total of 41 submissions. The papers focus on digital and computational solutions which are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value. |
|
|
|
|
|
|
|
| |