Results 1 to 10 of about 56,491 (176)

Generating Extended Resolution Proofs with a BDD-Based SAT Solver [PDF]

International Conference on Tools and Algorithms for Construction and Analysis of Systems, 2021
In 2006, Biere, Jussila, and Sinz made the key observation that the underlying logic behind algorithms for constructing Reduced, Ordered Binary Decision Diagrams (BDDs) can be encoded as steps in a proof in the extended resolution logical framework ...
R. Bryant, Marijn J. H. Heule
semanticscholar   +1 more source

Prácticas orientadas por pruebas para el desarrollo de software, una revisión sistemática

Revista de Iniciación Científica, 2022
En la actualidad, se busca que el proceso de desarrollo de software sea más rápido y efectivo. Las principales causas que impiden cumplir con este objetivo son los errores en las especificaciones de requisitos y la ausencia de pruebas acordes al producto
Raúl I. Ramírez B., Angela R. Pellecchia M., Ana G. Saa Morales, Analissa Santos Quiel, Holger De J. González M., Belén Bonilla-Morales   +5 more
doaj   +1 more source

Investigating the Causes of Body Dysmorphic Disorder in Women: Content Analysis [PDF]

Majallah-i dānishgāh-i ̒ulūm-i pizishkī-i Arāk, 2022
Background and Aim There is almost no accurate information about the causes of body dysmorphic disorder. Many patients with body dysmorphic disorder who apply for plastic surgery show a negative response to these treatments and sometimes the symptoms get
Ali Azam Rajabian, Mohammad Javad Asghari Ebrahimabad, Hamidreza Aghamohammadian Sharbaf, Seyed Kazem Rasoolzadeh Tabatabaei   +3 more
doaj  

Electrochemical Oxidation Treatment of Municipal Solid Waste Landfill Leachate Using Pt Nanoparticles Modified Boron-Doped Diamond Electrode

International Journal of Electrochemical Science, 2021
This study focused on treatment of municipal solid waste landfill leachate on boron-doped diamond (BDD) and Pt nanoparticles modified BDD (Pt NPs/BDD) by electrochemical oxidation process.
Yaguang Zhao, Xianying Zhao
doaj   +1 more source

Study of nitrate contaminants removal from groundwater on copper modified BDD electrode [PDF]

E3S Web of Conferences, 2020
The electrochemical nitrate reduction by using boron-doped diamond (BDD) and copper modified boron-doped diamond (Cu-BDD) electrodes was investigated at various potentials. Nitrate reduction efficiency and the products distribution was strongly dependent
Kuang Peijing, Cui Yubo, Feng Chuanping, Einaga Yasuaki   +3 more
doaj   +1 more source

Improved Decoding of Staircase Codes: The Soft-aided Bit-marking (SABM) Algorithm [PDF]

, 2019
Staircase codes (SCCs) are typically decoded using iterative bounded-distance decoding (BDD) and hard decisions. In this paper, a novel decoding algorithm is proposed, which partially uses soft information from the channel.
Alvarado, Alex, Cao, Zizheng, Chen, Bin, Deng, Xiong, Lei, Yi, Li, Jianqiang, Liga, Gabriele, Xu, Kun   +7 more
core   +6 more sources

Feasibility and acceptability of transcranial stimulation in obsessive–compulsive symptoms (FEATSOCS): study protocol for a randomised controlled trial of transcranial direct current stimulation (tDCS) in obsessive–compulsive disorder (OCD)

Pilot and Feasibility Studies, 2021
Background Obsessive–compulsive disorder (OCD) is a neuropsychiatric disorder which often proves refractory to current treatment approaches. Transcranial direct current stimulation (tDCS), a noninvasive form of neurostimulation, with potential for ...
Eduardo Cinosi, David Adam, Ibrahim Aslan, David Baldwin, Kieran Chillingsworth, Arun Enara, Tim Gale, Kabir Garg, Matthew Garner, Robert Gordon, Natalie Hall, Nathan T. M. Huneke, Sonay Kucukterzi-Ali, Joanne McCarthy, Daniel Meron, Deela Monji-Patel, Roisin Mooney, Trevor Robbins, Megan Smith, Nick Sireau, David Wellsted, Solange Wyatt, Naomi A. Fineberg   +22 more
doaj   +1 more source

Farm-level risk factors for digital dermatitis in dairy cows in mountainous regions

Journal of Dairy Science, 2023
: Reduction of risk factors for bovine digital dermatitis (BDD) is crucial in current disease control. However, risk factors that might arise especially in mountainous regions are unknown until now, and an adapted BDD control program is consequently ...
Jim Weber, Jens Becker, Claudia Syring, Maria Welham Ruiters, Iwan Locher, Magdalena Bayer, Gertraud Schüpbach-Regula, Adrian Steiner   +7 more
doaj   +1 more source

Implementación de autómatas celulares usando desarrollo dirigido por comportamiento

Informador Técnico, 2020
En este trabajo se presenta parte de la implementación de un autómata celular usando el desarrollo dirigido por comportamiento Behavior-Driven Development (BDD) como estrategia para la construcción de una herramienta que permita modelar la accesibilidad ...
Victor Vargas-Forero, Luz Muñoz-Ceballos, Ángel García-Baños   +2 more
doaj   +1 more source

Role of sp2 carbon in non-enzymatic electrochemical sensing of glucose using boron-doped diamond electrodes

Electrochemistry Communications, 2021
Boron-doped diamond (BDD) is of increasing interest for applications in electrochemical sensing. It is well known that the sp2 carbon content in BDD influences its electrochemical properties as electrode material.
Zhichao Liu, André F. Sartori, Josephus G. Buijnsters   +2 more
doaj   +1 more source