Results 61 to 70 of about 56,491 (176)
How to Evaluate BDD Scenarios' Quality?
Brazilian Symposium on Software Engineering, 2019 A scenario from the Behavior-driven development (BDD) practice is a known format to represent acceptance tests in agile methodologies, communicating assumptions and expectations by expressing the details that result from the conversations between ...
Gabriel Oliveira +2 more
semanticscholar +1 more source
Flexible Boron-Doped Diamond (BDD) Electrodes for Plant Monitoring
Sensors, 2017 Detecting the bio-potential changes of plants would be useful for monitoring their growth and health in the field. A sensitive plant monitoring system with flexible boron-doped diamond (BDD) electrodes prepared from BDD powder and resin (Nafion or Vylon ...
Shoko Tago +5 more
doaj +1 more source
Decidability Results for the Boundedness Problem
, 2014 We prove decidability of the boundedness problem for monadic least fixed-point recursion based on positive monadic second-order (MSO) formulae over trees.
Blumensath, Achim +2 more
core +1 more source
Materials, 2019 The short service life of the Ti/BDD coated electrode is the main reason that limits its practical use. In this paper, the effect of structural change on the service life was studied using Ti/BDD coated electrodes prepared with the arc plasma chemical ...
Xin Lu +5 more
semanticscholar +1 more source
Lex-Partitioning: A New Option for BDD Search
, 2012 For the exploration of large state spaces, symbolic search using binary decision diagrams (BDDs) can save huge amounts of memory and computation time. State sets are represented and modified by accessing and manipulating their characteristic functions ...
Edelkamp, Stefan +2 more
core +2 more sources
, 2017 In this work, the disinfection of 100 mL of 106 CFU mL−1 Pseudomonas aeruginosa suspensions at pH 5.8 by electrochemical oxidation at 33.3 mA cm−2 is reported.
Carmina Bruguera-Casamada +3 more
semanticscholar +1 more source
On special partial types and weak canonical bases in simple theories
, 2013 We define a notion of a weak canonical base for a partial type. This notion is weaker than the usual canonical base for an amalgamation base. We prove that certain family of partial types have a weak canonical base. This family clearly contains the class
Shami, Ziv
core +1 more source
Body Dysmorphic Disorder in Patients With Cosmetic Surgery
Kaohsiung Journal of Medical Sciences, 2010 Body dysmorphic disorder (BDD) refers to a preoccupation with an imagined or grossly exaggerated minor physical defect. Those with BDD might seek medical help (cosmetic surgery) rather than attend a psychiatric clinic.
Chung-Sheng Lai +3 more
doaj +1 more source
Conformant Planning via Symbolic Model Checking
, 2011 We tackle the problem of planning in nondeterministic domains, by presenting a new approach to conformant planning. Conformant planning is the problem of finding a sequence of actions that is guaranteed to achieve the goal despite the nondeterminism of ...
Cimatti, A., Roveri, M.
core +1 more source
International Journal of Electrochemistry, 2012 Electrochemical detection of glucose was achieved at a glucose oxidase (GOx)-cobalt phthalocyanine (CoPc)-modified boron-doped diamond (BDD) electrode without any additional electron mediator in the electrolyte solution.
Takeshi Kondo +2 more
doaj +1 more source