Suchergebnisse - "Logical, boolean and switching functions"
-
1
Fault detection for interval type-2 fuzzy systems with sensor nonlinearities
ISSN: 0925-2312Veröffentlicht: Amsterdam Elsevier 05.12.2014Veröffentlicht in Neurocomputing (Amsterdam) (05.12.2014)Volltext
Journal Article -
2
Dynamical Simulation Priors for Human Motion Tracking
ISSN: 0162-8828, 1939-3539, 2160-9292, 1939-3539Veröffentlicht: Los Alamitos, CA IEEE 01.01.2013Veröffentlicht in IEEE transactions on pattern analysis and machine intelligence (01.01.2013)“… ; however, few can explicitly account for the physical plausibility of recovered motion. Here, we aim to recover physically plausible motion of a single articulated human subject …”
Volltext
Journal Article -
3
Estimating postprandial glucose fluxes using hierarchical Bayes modelling
ISSN: 0169-2607, 1872-7565, 1872-7565Veröffentlicht: Kidlington Elsevier Ireland Ltd 01.10.2012Veröffentlicht in Computer methods and programs in biomedicine (01.10.2012)“… The new method was contrasted with the maximum likelihood method using data collected in 18 subjects with type 2 diabetes who ingested a mixed meal containing [U-13C]glucose. Primed [6,6-2H2 …”
Volltext
Journal Article -
4
On contra-symmetry and MPT conditionality in fuzzy logic
ISSN: 0884-8173, 1098-111XVeröffentlicht: Hoboken Wiley Subscription Services, Inc., A Wiley Company 01.03.2005Veröffentlicht in International journal of intelligent systems (01.03.2005)“… (“Contrapositive symmetry of fuzzy implications.” Fuzzy Set Syst 1995;69:141–156) did begin with the subject in fuzzy logic, that is, with the verification of J(a, b) = J(N(b), N(a)) for all a, b in [0,1] and some strong‐negation function N …”
Volltext
Journal Article -
5
Light types for polynomial time computation in lambda-calculus
ISBN: 9780769521923, 0769521924ISSN: 1043-6871Veröffentlicht: Los Alamitos, Calif IEEE 2004Veröffentlicht in Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004 (2004)“… : subject reduction is satisfied and a well-typed term admits a polynomial bound on the reduction by any strategy …”
Volltext
Tagungsbericht -
6
Mining predecessor-successor rules from DAG data
ISSN: 0884-8173, 1098-111XVeröffentlicht: Hoboken Wiley Subscription Services, Inc., A Wiley Company 01.06.2006Veröffentlicht in International journal of intelligent systems (01.06.2006)“… Although a large amount of research has been devoted to this subject, none of it finds association rules from directed acyclic graph (DAG) data …”
Volltext
Journal Article -
7
The strength of replacement in weak arithmetic
ISBN: 9780769521923, 0769521924ISSN: 1043-6871Veröffentlicht: Los Alamitos, Calif IEEE 2004Veröffentlicht in Logic in Computer Science (LICS 2004): Proceedings, 19th Annual IEEE Symposium, Turku, Finland, 2004 (2004)“… (in which all non-sharply-bounded quantifiers are in front). Here we prove (sometimes subject to an assumption …”
Volltext
Tagungsbericht -
8
Exploring core based tree (CBT) in WDM networks
ISBN: 9780769521350, 0769521355ISSN: 1087-4089Veröffentlicht: Los Alamitos CA IEEE 2004Veröffentlicht in 7th International Symposium on Parallel Architectures, Algorithms and Networks, 2004. Proceedings (2004)“… We formally model the problem as a problem of finding k shortest lightpaths from sources to the core subject to the constraint of wavelength collision free …”
Volltext
Tagungsbericht -
9
Private Computations over the Integers
ISSN: 0097-5397, 1095-7111Veröffentlicht: Philadelphia, PA Society for Industrial and Applied Mathematics 01.04.1995Veröffentlicht in SIAM journal on computing (01.04.1995)“… The subject of this work is the possibility of private distributed computations of $n$-argument functions defined over the integers …”
Volltext
Journal Article

