Results 111 to 120 of about 61,671 (307)

An assertion language for constraint logic programs

, 2000
In an advanced program development environment, such as that discussed in the introduction of this book, several tools may coexist which handle both the program and information on the program in different ways.
Francisco Bueno, Hermenegildo, Manuel V., Bueno Carrillo, Francisco, Germán Puebla, Manuel Hermenegildo, Puebla Sánchez, Alvaro Germán   +5 more
core   +1 more source

A fuzzy decision support model for selecting and prioritising improvement initiatives in the context of operational excellence: Application to a mining company

Scientific African
In today's industrial environment, companies are constantly seeking to improve their operational performance and strengthen their competitiveness. However, selecting and prioritising improvement initiatives remains a complex task for decision-makers ...
Nidal Mansouri, Mhammed El Bakkali, Aziz Soulhi   +2 more
doaj   +1 more source

A Dual‐Bioresponsive and Programmable Microneedle Matrix as a Bioinspired Coupler for Orchestrating Diabetic Bone Regeneration

Advanced Materials, EarlyView.
This project developed a smart bandage‐like patch (a microneedle array) for repairing diabetic bone damage. It intelligently senses signals from infection and inflammation, then releases its medicines in a specific, timed sequence: first an antibacterial agent, then an anti‐inflammatory agent, and finally growth factors.
Yu Wang, Rui Chen, Yu Chen, Haowen Lu, Yuchen Qian, Zhiheng Gao, Zheming Shen, Xiaofei Zheng, Huilin Yang, Jun Zou, Yusen Qiao   +10 more
wiley   +1 more source

Energy Band Alignment and Electro‐Optical Behavior of Nearly Unstrained Monolayer MoS2 Heterostructures With GaN

Advanced Materials Interfaces, EarlyView.
Large size (∼100 µm) monolayer MoS2 grown by LPI‐CVD on n‐GaN exhibit a high n‐type doping, very low strain, and a type‐I band alignment at MoS2/GaN interface. Photocurrent measurements under illumination with photon energies from ∼2 to ∼5 eV show superior electro‐optical performances of these MoS2/n‐GaN heterojunctions as compared to Ni/n‐GaN devices ...
Salvatore Ethan Panasci, Emanuela Schilirò, Giuseppe Greco, Patrick Fiorenza, Fabrizio Roccaforte, Fiorenza Esposito, Igor Píš, Federica Bondino, Antonino Madonia, Marco Cannas, Simonpietro Agnello, Luca Seravalli, Filippo Giannazzo   +12 more
wiley   +1 more source

Implicational Logic, Relevance, and Refutability

, 2019
The goal of this paper is to analyse Implicational Relevance Logic from the point of view of refutability. We also correct an inaccuracy in our paper “The RM paraconsistent refutation system” (DOI: http://dx.doi.org/10.12775/LLP.2009.005)
Skura, Tomasz
core  

Interface‐Engineered Binary Framework Composites: Advancing Porous Materials for Precision Medicine

Advanced Materials Interfaces, EarlyView.
Binary framework composites integrate two complementary porous architectures into a unified platform, enabling multifunctional design, enhanced structural tunability, and improved physicochemical performance. By combining high surface area, ordered porosity, interfacial synergy, and versatile functionalization, these hybrid materials offer new ...
Navid Rabiee, Mohammad Rabiee, Mohammad Akrami‐Hasan‐Kohal, Sidi A. Bencherif   +3 more
wiley   +1 more source

A simulated study of implicit feedback models

, 2004
In this paper we report on a study of implicit feedback models for unobtrusively tracking the information needs of searchers. Such models use relevance information gathered from searcher interaction and can be a potential substitute for explicit ...
C. J. Van Rijsbergen, van Rijsbergen, CJ, van Rijsbergen, C.J., Ryen W. White, White, RW, Jose, JM, Ruthven, I, Ruthven, I., White, R.W., Jose, J.M., Joemon M. Jose, Ian Ruthven   +11 more
core   +1 more source

Relevant Logics

, 2019
Abstract Relevant logics aim to avoid the ‘paradoxes’ of the material and strict conditionals. Their most natural semantics, the Routley-Meyer semantics, is given in terms of impossible worlds. By placing certain further conditions on those worlds, we can obtain stronger relevant logics.
Francesco Berto, Mark Jago
openaire   +1 more source

An Injectable Electroactive Hydrogel Engineered for Stable Bioelectronic Interfaces

Advanced Materials Interfaces, EarlyView.
Injectable electroconductive hydrogels enable soft, conformal, and stable bioelectronic interfaces for electroceutical therapies. A catechol‐modified hyaluronic acid/alginate/edge‐functionalized graphene platform combines wet adhesion, shear‐thinning injectability, tissue‐matched mechanics, and electrochemical functionality.
Ying Zhou, Peng Zheng, Beverley Cheung, Chien Yu Huang, Greg Ryder, Jonathan R Clark, D S Abdullah Al Maruf, Yi‐Hui Wu, Ming‐Dou Ker, Xufeng Huang, Gordon G Wallace, Xiao Liu   +11 more
wiley   +1 more source

Enhancing Performance and Reliability of Hf1‐xZrxO2 Morphotropic Phase Boundary Films via Nanolaminate Structuring and Microwave Annealing

Advanced Materials Technologies, EarlyView.
Hf–Zr–O‐based morphotropic phase boundary (MPB) thin films often suffer from limited endurance and poor uniformity due to intrinsic phase instability. This work proposes a nanolaminate architecture that spatially separates competing phases, stabilizes phase formation, and suppresses wake‐up‐induced degradation.
Hojung Jang, Hyunsang Hwang
wiley   +1 more source