Results 101 to 110 of about 226,334 (282)

Finite-State Spell-Checking with Weighted Language and Error Models : Building and Evaluating Spell-Checkers with Wikipedia as Corpus [PDF]

, 2010
In this paper we present simple methods for construction and evaluation of finite-state spell-checking tools using an existing finite-state lexical automaton, freely available finite-state tools and Internet corpora acquired from projects such as ...
Pirinen, Tommi, Linden, Krister
core  

A Magneto‐Mechanically Activated Nerve Guidance Conduit Promotes Peripheral Nerve Regeneration via TIMP1‐Mediated Membrane Tension Transfer

Advanced Functional Materials, EarlyView.
This study presents a magneto‐mechanical strategy that incorporates FP@MSCs into an aligned PCL/GelMA nerve guidance conduit. Magnetic stimulation increases membrane tension in FP@MSCs, triggering cytoskeletal remodeling, Schwann cell‐like differentiation, and TIMP1 secretion. TIMP1 activates ITGB1/CD63–FAK signaling in NE‐4C cells, increasing membrane
Xinyu Zhu, Yumin Wu, Xiang Gao, Tianlu Wang, Wanting Jia, Xueying Mei, Huanzhong Ji, Zongxi Wu, Yujie Liang, Xiang Li, Kan Li, Jingyuan Li, Guangsen Zheng, Guiqing Liao, Siyong Gao   +14 more
wiley   +1 more source

Beyond Presumptions: Toward Mechanistic Clarity in Metal‐Free Carbon Catalysts for Electrochemical H2O2 Production via Data Science

Advanced Materials, EarlyView.
Metal‐free carbon catalysts enable the sustainable synthesis of hydrogen peroxide via two‐electron oxygen reduction; however, active site complexity continues to hinder reliable interpretation. This review critiques correlation‐based approaches and highlights the importance of orthogonal experimental designs, standardized catalyst passports ...
Dayu Zhu, Hsi‐wen Wu, Xiao Wang, Jie Zhang   +3 more
wiley   +1 more source

Organic Materials of Tomorrow: Horizons of Artificial Intelligence

Advanced Materials, EarlyView.
This review examines machine learning techniques accelerating the discovery of organic semiconductors by linking molecular structure to properties. Key methods include graph neural networks, generative models, and active learning. Applications to organic photovoltaics demonstrate practical impact.
Harold Mena, J. Terence Blaskovits, Kun‐Han Lin, Denis Andrienko   +3 more
wiley   +1 more source

Comparing BDD and SAT based techniques for model checking Chaum's Dining Cryptographers Protocol [PDF]

, 2006
We analyse different versions of the Dining Cryptographers protocol by means of automatic verification via model checking. Specifically we model the protocol in terms of a network of communicating automata and verify that the protocol meets the anonymity
Raimondi, F., Szreter, M., Lomuscio, A., Penczek, W., Niewiadomski, A., Kacprzak, M.   +5 more
core  

Measuring the Hall Effect in Hysteretic Materials

Advanced Materials, EarlyView.
The authors highlight common pitfalls in measuring the Hall effect: in hysteretic magnets, improper data processing can create signals that look exotic but are not real. This Perspective explains the origin of these artifacts and presents practical measurement strategies that help researchers identify reliable Hall responses in complex magnetic ...
Jaime M. Moya, Anthony Voyemant, Sudipta Chatterjee, Scott B. Lee, Grigorii Skorupskii, Connor J. Pollak, Leslie M. Schoop   +6 more
wiley   +1 more source

A Geometrically Transient Platform for Bioelectronic Implants

Advanced Materials, EarlyView.
Minimally invasive bioelectronic implants often compromise performance for smaller sizes. To resolve this optimization dilemma, a wireless bioelectronic implant with a transient geometry is introduced (MiFi). The origami‐inspired device miniaturizes up to sixfold for syringe insertion and autonomously unfolds post‐implantation.
Selin Olenik, John D. Goodwin, Atharv Naik, Philip Coatsworth, Ioi Chit Cheung, Farbod Amirghasemi, Anies Sohi, Ehsan Abedi, Tayeb Tadlaoui, Maral P. S. Mousavi, Andriy S. Kozlov, Victoria Salem, Andrew S. Cowburn, Firat Guder   +13 more
wiley   +1 more source

SPELL CHECKING AND ERROR CORRECTING SYSTEM FOR TEXT PARAGRAPHS WRITTEN IN PUNJABI OR HINDI LANGUAGEUSING HYBRID APPROACH

, 2016
Spell-checking is the process of detecting and correcting incorrectly spelled words in a text paragraph. Spell checking system first detects the incorrect words and then provide the best possible solution of corrected words.
Prof. Meenakshi Sharma, Amandeep Singh*
core   +1 more source

Soft Skins With Reversible Thickness Morphing: Materials, Mechanisms, and Applications

Advanced Materials, EarlyView.
Evolution of electronic skin (e‐skin) technologies toward adaptive, multifunctional soft skins. Phase I highlights early rigid and discrete sensory interfaces. Phase II shows the transition toward flexible, stretchable, and large‐area e‐skin. Phase III captures the emergence of computational e‐skin.
Oliver Ozioko, Chiamaka Akah, Ravinder Dahiya   +2 more
wiley   +1 more source

SMT-Based Bounded Model Checking for Embedded ANSI-C Software

, 2009
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structure during the translation. These limitations can be reduced by encoding word-
Cordeiro, Lucas, Fischer, Bernd, Lucas Cordeiro, Marques-Silva, Joao, Bernd Fischer, Joao Marques-silva   +5 more
core   +1 more source