Results 181 to 190 of about 685,157 (352)

Bounded saturation-based CTL model checking

open access: yes, 2013
Formal verification is becoming a fundamental step of safety-critical and model-based software development. As part of the verification process, model checking is one of the current advanced techniques to analyze the behavior of a system. Symbolic model checking is an efficient approach to handling even complex models with huge state spaces. Saturation
Vörös, András   +2 more
openaire   +1 more source

Intramolecular Down‐ and Up‐Conversion in Dimeric Tetracene Complexes Centered via Platinum(II) and Palladium(II)

open access: yesAdvanced Functional Materials, EarlyView.
Metal‐tetracene dimeric complexes are synthesized through the pyridyl coordination to either Pt(II) or Pd(II). Photophysical properties are systematically compared as a function of the metal using steady‐state and time‐resolved spectroscopy. The Pt(II) dimer exhibits efficient intramolecular singlet fission and subsequent intramolecular up‐conversion ...
Yifan Bo   +4 more
wiley   +1 more source

NanoMOF‐Based Multilevel Anti‐Counterfeiting by a Combination of Visible and Invisible Photoluminescence and Conductivity

open access: yesAdvanced Functional Materials, EarlyView.
This study presents novel anti‐counterfeiting tags with multilevel security features that utilize additional disguise features. They combine luminescent nanosized Ln‐MOFs with conductive polymers to multifunctional mixed‐matrix membranes and powder composites. The materials exhibit visible/NIR emission and matrix‐based conductivity even as black bodies.
Moritz Maxeiner   +9 more
wiley   +1 more source

Unlocking Ultra‐Long Cycle Stability of Li Metal Electrode by Separators Modified by Porous Red Phosphorus Nanosheets

open access: yesAdvanced Functional Materials, EarlyView.
Coating the standard polypropylene separator with a porous red phosphorous nanosheet greatly improves cycling performance in Li electrode cells. The phosphorus‐based surface chemistry deactivates electrolyte solvent decomposition and enhances the cleavage of F‐containing salt, resulting in an inorganic‐dominated electrolyte interphase (SEI) composition
Jiangpeng Wang   +9 more
wiley   +1 more source

Real-time bowel perfusion monitoring with FUJIFILM ELUXEO® VISION endoscopic imaging system in colorectal surgery. [PDF]

open access: yesSurg Endosc
Martucci J   +9 more
europepmc   +1 more source

Fractional Skyrmion Tubes in Chiral‐Interfaced 3D Magnetic Nanowires

open access: yesAdvanced Functional Materials, EarlyView.
In chiral 3D helical magnetic nanowires, the coupling between the geometric and magnetic chirality provides a way to create topological spin states like vortex tubes. Here, it is demonstrated how the breaking of this coupling in interfaced 3D nanowires of opposite chirality leads to even more complex topological spin states, such as fractional ...
John Fullerton   +11 more
wiley   +1 more source

Photoactivation of NV Centers in Diamond via Continuous Wave Laser Illumination of Shallow As‐Implanted Nitrogen

open access: yesAdvanced Functional Materials, EarlyView.
This study demonstrates an alternative method of creating charge‐stable negatively charged nitrogen vacancy (NV−) centers close to the diamond surface without high‐temperature annealing. By illuminating nitrogen‐implanted regions with a continuous‐wave 405 nm laser, NV− centers are induced, exhibiting electron spin coherence properties suitable for ...
Jens Fuhrmann   +4 more
wiley   +1 more source

Home - About - Disclaimer - Privacy