Results 91 to 100 of about 48,055 (261)

Some Results on the Intermediate Logics

Publications of the Research Institute for Mathematical Sciences, 1972
In ClOj, we developed the method of Kripke models and gave some applications of it to the study of the intermediate logics. We found that the use of Kripke models is very efficient, since in many cases the algebraic structure of Kripke models reflects well the properties of the logics characterized by them.
openaire   +3 more sources

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, Mario González‐Quintas, Mónica Fernández‐Arias, Jesús del Val, Félix Quintero, Rafael Comesaña, Fernando Lusquiños, Julian R. Jones, Juan Pou   +8 more
wiley   +1 more source

INTERMEDIATE LOGICS AND POLYHEDRA

, 2018
Polyhedra enjoy a peculiar property: every geometric shape with a certain ?regularity? ? in specific terms, certain classes of (closed) topological manifolds ? can be captured by a polyhedron via triangulation, that is, by subdividing the geometric shapes into appropriate ?triangles?, called simplices (which, in the 1- and 0-dimensional case, are ...
openaire   +1 more source

Nanobody‐Conjugated Theranostic Prodrug Targeting αvβ3 Integrin Enables Precision Cancer Therapy With Real‐Time Imaging

Advanced Healthcare Materials, EarlyView.
The image shows a schematic form a nanobody‐conjugated theranostic prodrug (NBD) platform targeting tumor‐associated αvβ3 integrin. The NBD system integrates selective nanobody‐mediated tumor recognition, glutathione‐responsive disulfide cleavage for doxorubicin release, and aza‐BODIPY‐based near‐infrared fluorescence for real‐time imaging.
Sanu Karan, Hyunseung Lee, Rema Naskar, Mi Young Cho, Hye Sun Park, Eun Hee Han, Soumyadip Hore, Sun Hee Cho, Truc Ngoc Kim Lam, Taewoong Son, Tae Jung Park, Inkyu Hwang, Jonathan L. Sessler, Kwan Soo Hong   +13 more
wiley   +1 more source

Respiratory Organ‐on‐a‐Chip for Disease Modeling: From Architecture to Functional Integration

Advanced Healthcare Materials, EarlyView.
Respiratory organ‐on‐a‐chip (ROC) models capture key mechanical and cellular cues of the human respiratory system, enabling quantitative dissection of disease mechanisms. This review links ROC architectures to disease modeling, functional integration, and commercialization, and proposes a decision framework that aligns model complexity with mechanistic
Jinzhuo Hu, Yongjie Tang, Sidi Liu, Tao Xu, Qian Liu   +4 more
wiley   +1 more source

Una coinstitución para la lógica de comportamiento abstracto

Revista Integración, 2014
Recientemente, la especificación de un problema en ciencias de la computación –un paso intermedio entre el problema dado y su aplicación como un sistema de software que garantiza su solución– utiliza el álgebra universal y la teoría de coálgebras para
Jaime Andrés Castaño Perea, Guillermo Ortiz Rico   +1 more
doaj  

Combining intermediate propositional logics with classical logic

, 2015
18 ...
openaire   +2 more sources

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, Zihao He, Qianqian Chen, Long Chen, Caiyi Wei, Zijin Zhou, Jianhao Lin, Hui Li, Dan Xing   +8 more
wiley   +1 more source

Directional Flow of Confined Polaritons in CrSBr

Advanced Materials, EarlyView.
CrSBr, a layered magnetic semiconductor, naturally channels self‐hybridized excitonpolaritons into highly directional flow. Its intrinsic optical anisotropy, high refractive index, and strong lightmatter coupling enable long‐range guided modes along the a‐axis, with propagation lengths set by their excitonphoton admixture.
Pratap Chandra Adak, Sichao Yu, Jaime Abad‐Arredondo, Biswajit Datta, Andy Cruz, Sorah Fischer, Kseniia Mosina, Zdeněk Sofer, Antonio I. Fernández‐Domínguez, Francisco J. Garcia‐Vidal, Vinod M. Menon   +10 more
wiley   +1 more source

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, Juan Ignacio Beltrán, Matilde Saura‐Múzquiz, Paolo Perna, M. Carmen Muñoz, Lucas Pérez, Maria Varela   +6 more
wiley   +1 more source