نتایج جستجو برای: labelled and pre

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

Journal: :Annals of Mathematics and Artificial Intelligence 2009

Journal: :Journal of medical genetics 1984
J Burn C Dezateux C M Hall M Baraitser

Two sisters, the children of first cousin Pakistani Moslem parents, have unusual facies, tongue hamartomata, pre- and postaxial polydactyly, severe talipes, and mesomelic limb shortening associated with tibial dysplasia. Homozygosity for a recessive gene defect is probable. The phenotype resembles, but is distinct from, the orofaciodigital syndromes delineated to date. We suggest that this cond...

A Shafaati AA Behfar B Jannat H Komeilizadeh MR Oveisi N Sadeghi

Determination of trace elements in food is of great importance, as some of them have nutritional significance, whilst others are toxic. Long-term exposure to low levels of toxic metals could be important, especially in relation to children. Differential Pulse Anodic Stripping Voltammetry (DPASV) is applied to simultaneous determination of lead, cadmium, copper and zinc in dry ash infant formula...

Journal: :Clinical and Translational Imaging 2023

Abstract Pre-operative lymphatic mapping for sentinel node identification is essential accurate staging in patients with several solid cancers and important prognostic implications. 99m Tc-labelled colloid lymphoscintigraphy intraoperative lymph detection using a gamma probe represent well-established nuclear medicine technique detailed imaging method thanks to the advent of hybrid multi-modali...

2015
Roberta Calegari Enrico Denti Andrea Omicini

We present the first prototype of Labelled tuProlog, an extension of tuProlog exploiting labelled variables to enable a sort of multiparadigm / multi-language programming aimed at pervasive systems. 1 Context & Motivation To face the challenges of today pervasive system, which are inherently complex, distributed, situated [7] and intelligent, suitable models and technologies are required to eff...

Journal: :Journal of Pure and Applied Algebra 2024

We prove Steinebrunner's conjecture on the biequivalence between (colored) properads and labelled cospan categories. The main part of work is to establish a 1-categorical, strict version conjecture, showing that category equivalent categories via symmetric monoidal envelope functor.

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

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