Results 41 to 50 of about 133,715 (328)

Optimizing Abstract Abstract Machines [PDF]

, 2013
The technique of abstracting abstract machines (AAM) provides a systematic approach for deriving computable approximations of evaluators that are easily proved sound.
Johnson, J. Ian, Labich, Nicholas, Might, Matthew, Van Horn, David   +3 more
core   +2 more sources

Formulation and characterization of cleaner one-part novel fly ash/lime-based alkali-activated material

Journal of Materials Research and Technology, 2023
With the advanced development in sustainable cementitious materials, cleaner one-part alkali-activated materials (AAM) have shown a significant effect on increasing compressive strength and reduction in CO2 emissions.
Sohaib Nazar, Jian Yang, Muhammad Ashraf, Fahid Aslam, Muhammad Faisal Javed, Sayed M. Eldin, Jianhe Xie   +6 more
doaj   +1 more source

Scale Normalization for the Distance Maps AAM

, 2006
International audienceThe Active Apearence Models (AAM) are often used in Man-Machine Interaction for their ability to align the faces. We propose a new normalization method for AAM based on distance map in order to strengthen their robustness to ...
Giri, Denis, Le Gallou, Sylvain, Rosenwald, Maxime, Seguier, Renaud, Villeneuve, Benjamin   +4 more
core   +2 more sources

Illumination-invariant face recognition from a single image across extreme pose using a dual dimension AAM ensemble in the thermal infrared spectrum [PDF]

IEEE International Joint Conference on Neural Network, 2013
Over the course of the last decade, infrared (IR) and particularly thermal IR imaging based face recognition has emerged as a promising complement to conventional, visible spectrum based approaches which continue to struggle when applied in practice ...
R. S. Ghiass, Ognjen Arandjelovic, A. Bendada, X. Maldague   +3 more
semanticscholar   +1 more source

Ten-Year Effectiveness and Safety of Trabecular Micro-Bypass Stent Implantation with Cataract Surgery in Patients with Glaucoma or Ocular Hypertension

Ophthalmology and Therapy
Introduction This study evaluated 10-year results of implanting one iStent trabecular micro-bypass stent during cataract surgery in eyes with open-angle glaucoma (OAG) or ocular hypertension.
Tobias H. Neuhann, Raphael T. Neuhann, Dana M. Hornbeak   +2 more
doaj   +1 more source

Physical, Mechanical and Microstructure Properties of Metakaolin based Porous Alkali Activated Materials as an Adsorbent for Cu(II) Ion Removal [PDF]

Archives of Metallurgy and Materials
This study investigates the physical, mechanical, and microstructure properties of metakaolin-based porous alkali activated materials (AAM) at different surfactant concentrations as an adsorbent for Cu(II) ion removal.
W.M. Wan Ibrahim, M.M. Al Bakri Abdullah, A. Romisuhani, I. Masdiyana   +3 more
doaj   +1 more source

Language Identification Using Visual Features [PDF]

, 2012
Automatic visual language identification (VLID) is the technology of using information derived from the visual appearance and movement of the speech articulators to iden- tify the language being spoken, without the use of any audio information.
Cox, S, Newman, J
core   +1 more source

Unusual Swelling Behavior of Hydrogels Modified with Spiropyran as Appendage or Crosslinker

Advanced Functional Materials, EarlyView.
Not so innocent after all—spiropyran crosslinkers in methylenebisacrylamide‐crosslinked poly(acrylamide‐co‐acrylic acid) hydrogels increase crosslinking density, but also, counterintuitively, increase swelling. Charge complexation, cooperative chemo‐mechanical effects, and aggregation may explain these observations.
Michael M. Lerch, Ankita Shastri, Thomas B. H. Schroeder, Amos Meeks, Shucong Li, Anna V. Shneidman, Michael Aizenberg, Joanna Aizenberg   +7 more
wiley   +1 more source

Co-movements Of Business Cycles In The Maghreb: Does Trade Matter? [PDF]

, 2010
Over the past two decades, the Maghreb Countries have initiated a liberalization process characterized by increasing trade flows and they have strengthened economic and financial linkages between their economies.
Belhadj, Aam, Eggoh, Jude
core   +1 more source

Annealed and Mean-Field formulations of Disease Dynamics on Static and Adaptive Networks

, 2010
We use the annealed formulation of complex networks to study the dynamical behavior of disease spreading on both static and adaptive networked systems. This unifying approach relies on the annealed adjacency matrix, representing one network ensemble, and
Gomez-Gardenes, Jesus, Guerra, Beniamino
core   +1 more source