نتایج جستجو برای: branch induction

تعداد نتایج: 277059  

2003
Reiner Hähnle Angela Wallenburg

Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we take the reverse viewpoint and show how the technique of partition testing can be used to improve a formal proof technique (induction for correctness of loops). We first compute a partition of the domain of the induct...

Journal: :ASME open journal of engineering 2022

Abstract Modern magnetic nanomaterials are increasingly embracing new technologies including smart coatings, intelligent lubricants, and functional working fluids in energy systems. Motivated by studying the manufacturing magnetofluid dynamics of electroconductive viscous nanofluids, this work, we analyzed magnetohydrodynamics (MHD) convection flow heat transfer an incompressible nanofluid cont...

Journal: :Mycologia 2008
Steven D Harris

The ability of rapidly growing hyphae to generate new polarity axes that result in the formation of a branch represents one of the most important yet least understood aspects of fungal cell biology. Branching is central to the development of mycelial colonies and also appears to play a key role in fungal interactions with other organisms. This review presents a description of the two major patt...

Journal: :European journal of cardio-thoracic surgery : official journal of the European Association for Cardio-thoracic Surgery 2013
Shinichi Toyooka Junichi Soh Kazuhiko Shien Seiichiro Sugimoto Masaomi Yamane Takahiro Oto Hiroshi Date Shinichiro Miyoshi

OBJECTIVES A sleeve lobectomy is a widely accepted procedure for enabling the pulmonary parenchyma to be spared. Induction chemoradiotherapy (CRT) followed by surgery is one treatment option for locally advanced non-small cell lung cancer (NSCLC), but CRT is considered to have a negative effect on subsequent surgery, especially for anastomotic healing. In this study, we describe our experience ...

2013
Ryan R. Curtin William B. March Parikshit Ram David V. Anderson Alexander G. Gray Charles Lee Isbell

Dual-tree algorithms are a widely used class of branch-and-bound algorithms. Unfortunately, developing dual-tree algorithms for use with different trees and problems is often complex and burdensome. We introduce a four-part logical split: the tree, the traversal, the point-to-point base case, and the pruning rule. We provide a meta-algorithm which allows development of dual-tree algorithms in a...

Journal: :British journal of anaesthesia 1992
M Orlowski B J Pollard

We have examined the effect of doxapram on neostigmine-evoked antagonism of vecuronium neuromuscular block in a double-blind study in anaesthetized patients. Neuromuscular transmission was measured with a Datex Relaxograph. The mean time to recovery of the first contraction of the train-of-four (T1) from 25% to 75% was significantly longer in the presence of doxapram (138 (SEM 21) s; n = 23) th...

2005
Anagha Kulkarni Ted Pedersen

In this paper, we apply an unsupervised word sense discrimination technique based on clustering similar contexts (Purandare and Pedersen, 2004) to the problems of name discrimination and email clustering. Names of people, places, and organizations are not always unique. This can create a problem when we refer to or seek out information about such entities. When this occurs in written text, we s...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید