Results 61 to 70 of about 293,299 (301)

Superposition as a logical glue

, 2010
The typical mathematical language systematically exploits notational and logical abuses whose resolution requires not just the knowledge of domain specific notation and conventions, but not trivial skills in the given mathematical discipline.
Alexandre Riazanov, Alexandre Riazanov, Anatoli Degtyarev, Andrea Asperti, Andrea Asperti, Andrea Asperti, Christoph Benzmüller, Donald Knuth, Enrico Tassi, Geoff Sutcliffe, Gilles Dowek, Harald Ganzinger, Jia Meng, Jia Meng, Joe Hurd, John Harrison, Larry Wos, Lawrence C. Paulson, Leo Bachmair, Marc Bezem, Matthieu Sozeau, Nachum Dershowitz, Nachum Dershowitz, Peter Graf, Robert Nieuwenhuis, Tom Hirschowitz, W. McCune, Wolfgang Ahrendt   +27 more
core   +4 more sources

Advancing Research on Biomaterials and Biological Materials with Scanning Electron Microscopy under Environmental and Low Vacuum Conditions

Advanced Engineering Materials, EarlyView.
Herein, environmental scanning electron microscopy (ESEM) is discussed as a powerful extension of conventional SEM for life sciences. By combining high‐resolution imaging with variable pressure and humidity, ESEM allows the analysis of untreated biological materials, supports in situ monitoring of hydration‐driven changes, and advances the functional ...
Jendrian Riedel, Lea Dierker, Antoine Eyram Kwame, Kim Nora Wagner, Jonas J. Unterholzner, Jan‐Henning Dirks, Dorothea Brüggemann   +6 more
wiley   +1 more source

Smart Library Automation: Integrating Classification Tree-Based cataloging with XAMPP Server Environment

ABUAD Journal of Engineering Research and Development
Various sectors, including libraries, have experienced a revolution due to the swift progress of technology. This involves introducing automation and monitoring systems for more efficient operations.
Nora Godwin Teneke, Joshua Garba Etemi, Yamlach Shedrack Kamak, Rosemary Ngozi Ariwa   +3 more
doaj   +1 more source

Development and construction of China [PDF]

, 2008
Libraries in China's higher education institutions have been developing in keeping pace with the flourishing development of China's higher education.
DAI Longji, Dai Longji (E-mail: dailj@lib.pku.edu.cn), SONG Jiao, SONG Xue, YAN Jinwei, ZHANG Yan, ZHENG Lan   +6 more
core  

NFDI MatWerk Ontology (MWO): A BFO‐Compliant Ontology for Research Data Management in Materials Science and Engineering

Advanced Engineering Materials, EarlyView.
This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi, Ebrahim Norouzi, Kostiantyn Hubaiev, Jörg Waitelonis, Harald Sack   +4 more
wiley   +1 more source

Appunti di informatica per le biblioteche [PDF]

, 2011
This text is an overview about library automation. It starts with information retrieval, metadata, MARC, XML and other useful definition of standards and formats.
Frigimelica, Giovanna, Marchitelli, Andrea   +1 more
core  

Nanoindentation Criteria for Combinatorial Thin Film Libraries

Advanced Engineering Materials, EarlyView.
Thin‐film material libraries are compositional spreads used for screening composition‐structure‐property relationships. Nanoindentation is often used to characterize mechanical behavior across these systems, however variations in methodology are widespread.
Andre Bohn, Adie Alwen, Andrea M. Hodge
wiley   +1 more source

The Software Problem in Library Automation

Türk Kütüphaneciliği, 1998
Software selection in library automation occurs as a problem in our cuntry. Organizations and their personnal have to prepare themselves on this issue before software selection.
Sacit Arslantekin
doaj  

Journey from Library Management System (LMS) to KOHA by Government College University Libraries, Lahore

Pakistan Journal of Information Management & Libraries, 2016
Libraries around the world are using the technology in best possible ways to satisfy their users through efficient and effective library services.
Muhammad Tufail Khan, Aneela Zahid, Muhammad Rafiq   +2 more
doaj   +1 more source

Automating Idaho's Libraries

Resource Sharing & Information Networks, 1994
The history of library automation in Idaho is illustrative of the course of library automation throughout the United States. Idaho's effort to automate its libraries is the story of cooperative ventures designed to help libraries work together to further their own interests.
openaire   +2 more sources