Results 51 to 60 of about 77,874 (289)
Laser‐Assisted Processing and Modification of Bioactive Glasses: A Review
Advanced Healthcare Materials, EarlyView.Laser technologies provide powerful tools to process and transform bioactive glasses for advanced biomedical applications. This review discusses laser‐matter interaction mechanisms, laser surface engineering, and laser‐assisted fabrication of scaffolds and nanofibers.
Antonio Riveiro +8 more
wiley +1 more source
Solutions to Open Problems on Fuzzy Filters of -algebras [PDF]
International Journal of Computational Intelligence Systems, 2015 This paper focuses on the investigation of fuzzy filters of -algebras, an important and popular generic logical algebra. By studying the equivalent conditions of fuzzy fantastic filter and fuzzy normal filter of -algebras, the relation between these two ...
Wang Wei, Arsham Borumand Saeid
doaj +1 more source
Recovery operators, paraconsistency and duality [PDF]
, 2020 There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language ...
Carnielli, Walter A. +2 more
core
Recapitulating Endochondral Ossification for Bone Repair: From Development to Engineering Strategy
Advanced Healthcare Materials, EarlyView.This review summarizes the developmental basis of endochondral ossification (ECO) and its applications in bone tissue engineering (BTE). It first outlines the key biological processes and signaling pathways underlying ECO, then discusses biomaterial‐based engineering strategies derived from these principles, and finally highlights future directions for
Yiqi Su +8 more
wiley +1 more source
The use of fuzzy databases and knowledge bases for aiding engineering projects
Budownictwo i Architektura, 2013 The IT tools that are widely used for aiding information and decision-making tasks in engineering activities include classic database systems, and in the case of problems with poorly-recognised structure – systems with knowledge bases.
Janusz Szelka, Zbigniew Wrona
doaj +1 more source
, 2017 We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order ...
Bacon, Andrew, Russell, Jeffrey Sanford
core
Atomistic Mechanisms Triggered by Joule Heating Effects in Metallic Cu‐Bi Nanowires for Spintronics
Advanced Materials, EarlyView.Bi doped metallic Cu nanowires are promising for spintronics thanks to the stabilization of a giant spin Hall effect. However, heat resulting from current injection forces Bi to leave solution, forcing segregation into monoatomic decorations which evolve into coherent crystalline aggregates.
Alejandra Guedeja‐Marrón +6 more
wiley +1 more source
Termination of derivations for minimal tense logic
Lietuvos Matematikos Rinkinys, 2009 It is known that loop checking and backtracking are extensively used in various non-classical logics. An efficient loop checking is obtained using a technique based on histories.
Regimantas Pliuškevičius
doaj +1 more source
To What Type of Logic Does the "Tetralemma" Belong? [PDF]
, 2015 Although the so called tetralemma might seem to be incompatible with any recognized scheme of logical inference, its four alternatives arise naturally within the anhomomorphic logics which have been proposed in order to accommodate certain features of ...
Sorkin, Rafael D.
core
On Modal Logics of Partial Recursive Functions
, 2004 The classical propositional logic is known to be sound and complete with respect to the set semantics that interprets connectives as set operations. The paper extends propositional language by a new binary modality that corresponds to partial recursive ...
Naumov, Pavel
core +1 more source