Results 111 to 120 of about 566,633 (340)
A Formal Specification Smart-Contract Language for Legally Binding Decentralized Autonomous Organizations [PDF]
Vimal Dwivedi +5 more
openalex +1 more source
Electroactive Metal–Organic Frameworks for Electrocatalysis
Electrocatalysis is crucial in sustainable energy conversion as it enables efficient chemical transformations. The review discusses how metal–organic frameworks can revolutionize this field by offering tailorable structures and active site tunability, enabling efficient and selective electrocatalytic processes.
Irena Senkovska +7 more
wiley +1 more source
In complex construction projects, technical specifications have to be reviewed in a short period of time. Even experienced engineers find it difficult to review every detail of technical specifications. In addition, it is not easy to transfer experienced
Jooyeup Lee, Wooyong Jung, Seungwon Baek
doaj +1 more source
Hybrid subnet-based node failure recovery formal procedure in wireless sensor and actor networks
An unattended deployment of wireless sensor and actor networks in a harsh and inhospitable environment may cause its failure by partitioning it into the disjoint segments.
Hamra Afzaal +2 more
doaj +1 more source
Herein presented supraparticles combine the nanoparticulate photocatalyst graphitic carbon nitride with the enzyme horseradish peroxidase, which is immobilized on silica nanoparticles. In an optimized compatibility range, both catalysts operate effectively within the hybrid supraparticles and catalyze a cascade reaction consisting of the photocatalytic
Bettina Herbig +11 more
wiley +1 more source
Rewriting as a Unified Specification Tool for Logic and Control: The ELAN Language. [PDF]
Peter Borovanský +2 more
openalex +1 more source
The Synonym management process in SAREL [PDF]
The specification phase is one of the most important and least supported parts of the software development process. The SAREL system has been conceived as a knowledge-based tool to improve the specification phase.
Castell Ariño, Núria +1 more
core +1 more source
Unleashing the Power of Machine Learning in Nanomedicine Formulation Development
A random forest machine learning model is able to make predictions on nanoparticle attributes of different nanomedicines (i.e. lipid nanoparticles, liposomes, or PLGA nanoparticles) based on microfluidic formulation parameters. Machine learning models are based on a database of nanoparticle formulations, and models are able to generate unique solutions
Thomas L. Moore +7 more
wiley +1 more source
Microplastics from Wearable Bioelectronic Devices: Sources, Risks, and Sustainable Solutions
Bioelectronic devices (e.g., e‐skins) heavily rely on polymers that at the end of their life cycle will generate microplastics. For research, a holistic approach to viewing the full impact of such devices cannot be overlooked. The potential for devices as sources for microplastics is raised, with mitigation strategies surrounding polysaccharide and ...
Conor S. Boland
wiley +1 more source
Integrative Approaches for DNA Sequence‐Controlled Functional Materials
DNA is emerging as a programmable building block for functional materials with applications in biomimicry, biochemical, and mechanical information processing. The integration of simulations, experiments, and machine learning is explored as a means to bridge DNA sequences with macroscopic material properties, highlighting current advances and providing ...
Aaron Gadzekpo +4 more
wiley +1 more source

