Results 31 to 40 of about 275,247 (311)

A Fast Counterexample Minimization Approach with Refutation Analysis and Incremental SAT [PDF]

, 2005
It is a hotly research topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. BFL algorithm is the most effective Counterexample minimization algorithm compared to all other approaches, but its run time overhead ...
Qin, Ying, Li, SiKun, SiKun Li, Shengyu Shen, Ying Qin, Shen, ShengYu   +5 more
core   +1 more source

Analysis of the impact of class ordering in class incremental image classification [PDF]

, 2023
openThe benefits of incremental learning make it desirable for many real-world applications. It enables efficient utilization of resources by eliminating the need to start training from scratch when the considered set of tasks is updated.
ABDELKARIM, MARWA MOHAMEDOSMAN HUSSEIN
core  

Seismic Reliability Analysis of Offshore Fixed Platforms Using Incremental Dynamic Analysis [PDF]

Civil Engineering Infrastructures Journal, 2018
It is generally accepted that performance-based design has to be reliability-based. Seismic performance evaluation is based on nonlinear dynamics and reliability theory taking into account uncertainties during analysis.
Mohammad Mohammadizadeh, Kazem Vahidi, Hamid Ronagh   +2 more
doaj   +1 more source

Adaptive Load Incremental Step in Large Increment Method for Elastoplastic Problems

Mathematics, 2023
As a force-based finite element method (FEM), large increment method (LIM) shows unique advantages in material nonlinearity problems. In LIM for material nonlinearity analysis, adaptive load incremental step is a fundamental step for its successful ...
Baorang Cui, Jingxiu Zhang, Yong Ma
doaj   +1 more source

Incremental Dynamic Analysis and Seismic Fragility Analysis of Reinforced Concrete Frame

Civil and Environmental Engineering, 2023
Due to technological developments in last decade, new methods of seismic evaluation are in use like simulation based, algorithm based, probabilistic, software based etc.
Awchat Ganesh, Patil Abhishek, More Ashish, Dhanjode Gopal   +3 more
doaj   +1 more source

Cost-effectiveness of Spironolactone for Adult Female Acne (SAFA): economic evaluation alongside a randomised controlled trial

BMJ Open, 2023
Objective This study aims to estimate the cost-effectiveness of oral spironolactone plus routine topical treatment compared with routine topical treatment alone for persistent acne in adult women from a British NHS perspective over 24 weeks.Design ...
Ingrid Muller, Miriam Santer, Beth Stuart, Paul Little, Matthew J Ridd, Karen Thomas, Nick Francis, Kim S Thomas, Gareth Griffiths, Natalia V Permyakova, Jacqui Nuttall, Irene Soulsby, Alison M Layton, Tracey H Sach, Sarah Pyne, Susanne Renz, Zina Eminton, Megan Lawrence   +17 more
doaj   +1 more source

Assessing Material Fragility using Nanoscale Incremental Dynamic Analysis

, 2021
A new methodology to assess material failure subjected to stochastic loads is proposed, titled Nanoscale Incremental Dynamic Analysis (NIDA), which is adopted from performance-based assessment in structural engineering.
Steven, Cranford
core   +1 more source

Mitigating saturation effects in rice nitrogen estimation using Dualex measurements and machine learning

Frontiers in Plant Science
Nitrogen is essential for rice growth and yield formation, but traditional methods for assessing nitrogen status are often labor-intensive and unreliable at high nitrogen levels due to saturation effects.
Peihua Shi, Yuan Wang, Congfei Yin, Kaiqing Fan, Yinfei Qian, Gui Chen   +5 more
doaj   +1 more source

Relation between Fish Habitat and the Periodicity of Incremental Lines in the Fossil Otoliths

Crystals, 2020
There are few research reports on the relationship between fish habitats and the periodicity of the fishes’ incremental lines of otolith fossils. The present study examines this relationship through histological and analytical studies on otolith fossils ...
Hiroyuki Mishima, Yasuo Kondo, Fumio Ohe, Yasuo Miake, Tohru Hayakawa   +4 more
doaj   +1 more source

Evaluation and Optimisation of Incremental Processors

, 2011
Baumann T, Buß O, Schlangen D. Evaluation and Optimisation of Incremental Processors. Dialogue and Discourse.
Schlangen, David, Schlangen, David ; https://orcid.org/, Buß, Okko, Baumann, Timo, Okko Buß, Timo Baumann   +4 more
core   +1 more source