Results 21 to 30 of about 1,161,624 (298)
Nature Communications, 2020 The identity of catalytic sites for H2O2 generation in carbon-based materials remains controversial with limited experimental evidence to date. Here, the authors decorate various target functional groups on carbon materials and quinone-enriched samples ...
Gao-Feng Han +11 more
doaj +1 more source
CoRR, 2018 We introduce the Delta-framework, LF-Delta, a dependent type theory based on the Edinburgh Logical Framework LF, extended with the strong proof-functional connectives, i.e. strong intersection, minimal relevant implication and strong union. Strong proof-functional connectives take into account the shape of logical proofs, thus reflecting polymorphic ...
Honsell, Furio +3 more
openaire +5 more sources
Behavioral and Brain Sciences, 2023 The authors rightly critique existing social sciences approaches. However, they are too quick to dismiss the criticism that their proposed paradigm is atheoretical. Social and cognitive theories are indeed incommensurate, often due to the lack of a unifying framework.
openaire +2 more sources
IEEE Access, 2021 Microservice-based systems promote agility and rapid business development. Some features, such as fast time-to-market, scalability and optimal response times, have encouraged stakeholders to get more involved in the development and implementation of ...
Gaston Marquez +4 more
doaj +1 more source
Mass-customisation and self-reflective frameworks: early developments in New Zealand [PDF]
Research in Learning Technology, 2012 Education has long been regarded as the foundation stone of national growth and international competitiveness. In the last three decades national educational reforms to improve access to higher education qualifications, individual higher education ...
John Clayton
doaj +1 more source
A framework for interoperability
Electronic Notes in Theoretical Computer Science, 2001 Practical implementations of high-level languages must provide access to libraries and system services that have APIs specified in a low-level language (usually C). An important characteristic of such mechanisms is the foreign-interface policy that defines how to bridge the semantic gap between the high-level language and C.
Kathleen Fisher +2 more
openaire +2 more sources
Hyperbranched Macromolecules: From Synthesis to Applications
Molecules, 2018 Hyperbranched macromolecules (HMs, also called hyperbranched polymers) are highly branched three-dimensional (3D) structures in which all bonds converge to a focal point or core, and which have a multiplicity of reactive chain-ends.
In-Yup Jeon +2 more
doaj +1 more source
Efficient Content-Based Image Retrieval System with Two-Tier Hybrid Frameworks
Applied Computer Systems, 2022 The Content Based Image Retrieval (CBIR) system is a framework for finding images from huge datasets that are similar to a given image. The main component of CBIR system is the strategy for retrieval of images.
Shaheen Fatima, Raibagkar R. L.
doaj +1 more source
The Coexistence Potential of Different Wildlife Conservation Frameworks in a Historical Perspective
Frontiers in Conservation Science, 2022 Wildlife management in contemporary society means balancing multiple demands in shared landscapes. Perhaps the greatest question facing today's policy makers and wildlife professionals is how to develop frameworks for coexistence between wildlife and the
Bjørn P. Kaltenborn +2 more
doaj +1 more source
Nature Communications, 2017 Porous organic networks are of great fundamental and technological interest. Here, the authors synthesize a three-dimensional porous organic network with high specific surface area via a solid-state explosive reaction of hexaethynyl triptycene single ...
Seo-Yoon Bae +10 more
doaj +1 more source