Results 81 to 90 of about 28,834 (249)
Provably Correct Control-Flow Graphs from Java Programs with Exceptions [PDF]
, 2011 We present an algorithm to extract flow graphs from Java bytecode, focusing on exceptional control flows. We prove its correctness, meaning that the behaviour of the extracted control-flow graph is an over-approximation of the behaviour of the original ...
Amighi, Afshin +2 more
core +1 more source
Sawja: Static Analysis Workshop for Java [PDF]
, 2010 Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a realistic language such as Java.
A.P. Ershov +16 more
core +6 more sources
Evaluation of leptin treatment on maintenance of body weight loss in diet‐induced obese mice
Diabetes, Obesity and Metabolism, Volume 28, Issue 1, Page 401-416, January 2026.Abstract Aims To evaluate the therapeutic potential of leptin treatment for weight loss maintenance preclinically, through a systematic evaluation of leptin efficacy (a) following a period of weight loss stability (as in published clinical studies), and (b) across a range of circulating leptin concentrations achieved through a variety of different ...
Danna M. Breen +9 more
wiley +1 more source
Three Algorithms for Parallel Graph Summarization
Expert Systems, Volume 43, Issue 1, January 2026.ABSTRACT Most graph summarization algorithms are tailored to a specific graph summary model and were designed for one‐time computations only, that is, batch‐based computations. We developed a universal approach for parallel graph summarization and three algorithms to compute graph summaries—a batch‐based algorithm for static graphs, an incremental ...
Till Blume +3 more
wiley +1 more source
Theoretical Computer Science, 2003 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Perfluoroarene‐Based Tin Halide Perovskite Photovoltaics
Advanced Energy and Sustainability Research, Volume 6, Issue 12, December 2025.Herein, perfluoroarene cations, 2‐(perfluorophenyl)methylammonium (F‐BNA) and 1,4‐(perfluorophenyl)dimethylammonium (F‐PDMA), are applied to form layered Ruddlesden–Popper and Dion–Jacobson tin‐based perovskites. Following a detailed structural and optoelectronic characterization, a suitable solvent is identified and the perfluoroarenes are applied to ...
Mengqiong Zhu +17 more
wiley +1 more source
Psicologia: Reflexão e Crítica, 2006 We investigated the judgment of representation of reality (JRR), and the judgment of moral value (JVM) of 20 homicidal subjects (30 to 49) as to the reasons of the crime, at the time of the homicide and at the present moment.
Luciana Souza Borges +1 more
doaj
How Java increases flexibility & run-time efficiency of MPSoC systems [PDF]
, 2009 Embedded software has to meet multiple requirements: power efficiency, soft real-time performance, ... but also flexibility and adaptability to ever changing functional requirements.
Bertels, Peter, Stroobandt, Dirk
core +1 more source
European Journal of Immunology, Volume 55, Issue 12, December 2025.HLDA Workshops were established 40 years ago to develop a standardized CD molecule nomenclature for leukocyte cell‐surface molecules by comparing monoclonal antibodies (mAbs) produced by different laboratories and companies. The HLDA11 Workshop focused on validating G‐protein‐coupled receptors (GPCRs) targeting mAbs and assessing cell‐type‐specific ...
Javier Fernández‐Calles +9 more
wiley +1 more source
Advanced Energy Materials, Volume 15, Issue 41, November 4, 2025.Layered halide double perovskites have emerged as promising alternatives to toxic lead‐based low‐dimensional perovskite materials for more sustainable optoelectronics. Their molecular design and its impact on the material characteristics, as well as the resulting functionality, is reviewed while discussing challenges and opportunities for future ...
Maryam Ghasemi +4 more
wiley +1 more source