Results 31 to 40 of about 7,772 (144)
Generalization Strategies for the Verification of Infinite State Systems [PDF]
, 2010 We present a method for the automated verification of temporal properties of infinite state systems. Our verification method is based on the specialization of constraint logic programs (CLP) and works in two phases: (1) in the first phase, a CLP ...
Fioravanti, Fabio +3 more
core +2 more sources
Chemistry – A European Journal, Volume 31, Issue 25, May 5, 2025.The in‐situ generation of Grignard‐type organocalcium reagents via the reduction of alkyl and aryl halides in THF and their immediate use for subsequent addition onto carbodiimides allows the synthesis of hitherto unknown amidinates of calcium. Abstract The in‐situ Grignard addition method adds intermediately prepared organo alkaline‐earth metal ...
Simon Sengupta +3 more
wiley +1 more source
Multidomain Secure Communication and Intelligent Traffic Detection Model in VANETs
International Journal of Intelligent Systems, Volume 2025, Issue 1, 2025.Vehicular ad‐hoc network (VANET) plays a vital role in the intelligent transportation system. It is crucial to ensure secure communication among entities in the VANET for realizing an efficient transportation system. In this scenario, the current communication scheme is vulnerable to the leakage of private information from entities.
Qikun Zhang +5 more
wiley +1 more source
Tag Replication and Status Bits Encoding for Enhancing Cache Metadata Reliability
Journal of Electrical and Computer Engineering, Volume 2025, Issue 1, 2025.On‐chip caches occupy a significant portion of modern processors, making them increasingly vulnerable to soft errors as technology scales. While data arrays often receive robust protection via error‐correcting codes (ECCs), metadata elements such as tag fields and status bits remain inadequately protected despite their critical role in ensuring memory ...
Abdulaziz Tabbakh, Andrea Tani
wiley +1 more source
Neonatal diabetes mellitus around the world: Update 2024
Journal of Diabetes Investigation, Volume 15, Issue 12, Page 1711-1724, December 2024.Between 2018 and early 2024, six brand new NDM‐genes have been discovered and 3 genes known to cause different diseases were identified as NDM‐genes. Currently NDM genes' list exceeds forty.This genetic heterogeneity translates into many different mechanism(s) of disease that are investigated with state‐of‐the‐art methodologies, such as induced ...
Fabrizio Barbetti +2 more
wiley +1 more source
Studio di 186 protesi valvolari di Medtronic Hall-TM impiantate su 171 pazienti dal 1980 al 1985 [PDF]
, 1986 no ...
TAZZIOLI, Giovanni
core
Medium access control in wireless network-on-chip: a context analysis [PDF]
, 2018 © 2018 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes,creating new ...
Abadal Cavallé, Sergi +4 more
core +2 more sources
ChemCatChem, Volume 16, Issue 21, November 11, 2024.Making dialkoxymethane ethers from CO2: Dialkoxymethane ethers are promising fuel additive candidates and bulk chemicals that can be readily prepared from CO2/H2 mixtures and alcohols/diols as the most green and attractive manner. By using either homogeneous or heterogeneous catalysis, these formaldehyde surrogates can be accessed with remarkable ...
Rosa Adam, Jose R. Cabrero‐Antonino
wiley +1 more source
A Simple Cache Emulator for Evaluating Cache Behavior for SMP Systems
Acta Polytechnica, 2006 Every modern CPU uses a complex memory hierarchy, which consists of multiple cache memory levels. It is very difficult to predict the behavior of this hierarchy for a given program (for details see [1, 2]).
I. Šimeček
doaj
L'impatto dell'infiltrazione neoplastica linfonodale mediastinica sulla sopravvivenza dei pazienti sottoposti a chirurgia per NSCLC [PDF]
, 2015 Abbiamo analizzato una coorte di pazienti sottoposti a resezione polmonare radicale (R0) per NSCLC con linfoadenopatia N2 per valutare l’impatto del Lymph Node Ratio (LNR)sull’outcome.
BORRELLI, ROBERTO
core