Results 51 to 60 of about 130,476 (191)
Clausal Resolution for Modal Logics of Confluence [PDF]
, 2014 We present a clausal resolution-based method for normal multimodal logics of confluence, whose Kripke semantics are based on frames characterised by appropriate instances of the Church-Rosser property. Here we restrict attention to eight families of such
Dixon, Clare +2 more
core +2 more sources
Nearly Hamilton cycles in sublinear expanders and applications
Journal of the London Mathematical Society, Volume 113, Issue 2, February 2026.Abstract We develop novel methods for constructing nearly Hamilton cycles in sublinear expanders with good regularity properties, as well as new techniques for finding such expanders in general graphs. These methods are of independent interest due to their potential for various applications to embedding problems in sparse graphs.
Shoham Letzter +2 more
wiley +1 more source
Energies, 2022 Post-Optimum Sensitivity Analysis (POSA) extends numerical design optimization to provide additional information on how the design and performance would change if various parameters and constraints were varied.
Michael K. McWilliam +3 more
doaj +1 more source
NaturWall©: facciate in legno multifunzionali per la riqualificazione del patrimonio edilizio / NaturWall©:multifunctional wood façade in existent building refurbishment [PDF]
, 2012 Naturwall© is a research conducted by Politecnico of Turin (DAD) (under supervision of Prof.G.Callegari) and a local PMI support (Natural House, Castellamonte), promoted by Giovanni Goria Foundation "Master dei Talenti" programme.
Spinelli, Antonio
core
VO2 Oscillator Circuits Optimized for Ultrafast, 100 MHz‐Range Operation
Advanced Electronic Materials, Volume 12, Issue 1, 7 January 2026.The present study demonstrates ultrasmall (≈30 nm) VO2 Mott memristor‐based oscillators which enter the >100 MHz frequency range via device scaling and optimization of the circuit layout for high frequency operation. Time‐resolved investigation of switching dynamics along with circuit‐level and physics‐based electrothermal simulations identify physical
Zsigmond Pollner +11 more
wiley +1 more source
Imidazolium‐Based Ionic Liquids as Antifungal and Antibiofilm Agents Against Candida tropicalis
ChemistrySelect, Volume 11, Issue 4, 28 January 2026.Candida sp. biofilms, particularly those formed on catheters, represent a major clinical challenge. This study evaluates ionic liquids using an experimental biofilm model, demonstrating significant antifungal activity and biofilm disruption, supporting their potential application as alternative strategies for device‐associated infection control ...
Giovanna de Jesus Agostinetto +4 more
wiley +1 more source
Skin Research and Technology, Volume 32, Issue 1, January 2026.ABSTRACT Background Myotonometry is a noninvasive method for assessing the mechanical properties of soft tissues, including muscles and skin. The L‐shaped probe, designed specifically for skin assessment, may be useful for evaluating caesarean section (C‐section) scars.
Monika Nosiadek +3 more
wiley +1 more source
Fast Construction on a Restricted Budget
Random Structures &Algorithms, Volume 67, Issue 4, December 2025.ABSTRACT We introduce a model of a controlled random graph process. In this model, the edges of the complete graph Kn$$ {K}_n $$ are ordered randomly and then revealed, one by one, to a player called Builder. He must decide, immediately and irrevocably, whether to purchase each observed edge.
Alan Frieze +2 more
wiley +1 more source
Journal of Cosmetic Dermatology, Volume 24, Issue 12, December 2025.ABSTRACT Objective To evaluate the efficacy of using a combination of intense pulsed light (IPL) with a 500–600 nm wavelength filter and postoperative radiotherapy to treat chest scars in young and middle‐aged men. Methods A prospective randomized controlled trial was conducted with 52 male patients.
Qiaoling Weng +5 more
wiley +1 more source