| Sample search results for: ab vattenburna utslaepp |
| 1 | 7N -glycansitesperSC 7N -glycan sites per SIgA | ||
|
Summary: ES/MS/MS Pool Glycans Release Glycans Hydrazinolysis PNGase F N or O links N links 2AB label Mass... Hydrazinolysis PNGase F N or O links N links 2AB label MassGU HPLC AU NP RP Mass Spec Fragmentation N- and O... -glycansitesperSIgA Predominantly small glycans with free GlcNAcs 2AB2AB ... |
|||
|
Source: Oxford Glycobiology Institute |
|||
|
Collection: Chemistry ; Biology and Medicine |
|||
| 2 | LOOKING FOR A COURSE TO FULFILL YOURLOOKING FOR A COURSE TO FULFILL YOURLOOKING FOR A COURSE TO FULFILL YOURLOOKING FOR A COURSE TO FULFILL YOUR SCIENCE REQUIREMENT?SCIENCE REQUIREMENT?SCIENCE REQUIREMENT?SCIENCE REQUIREMENT? | ||
|
Summary: no previous Science background. Actuarial Science 1021A/B* Astronomy 1021* Biology 1201A, 1202B, 1225* (Online... ), 1229F/G*, 1290B Calculus 1000A/B, 1100A/B, 1301A/B Chemistry 1027A/B*, 1100A/B Computer Science 1011A/B... *, ... |
|||
|
Source: Ma, Bin - Departments of Computer Science & Biochemistry, University of Western Ontario |
|||
|
Collection: Biotechnology ; Computer Technologies and Information Sciences |
|||
| 3 | Demandes de rectification ou d'information faire auprs de Pierre Brard avant le 7/01/2010 dernier dlai GRPE N tudiant CC CC2 | ||
|
Summary: Colle 3 MAT 20800960 12 12 9,00 15,00 12 0 11,667 11 11 13 MAT 20503737 abs abs abs abs abs 0 ##### ABS... ABS ABS MAT 20804774 abs 8,1 7,25 9,00 abs 0 ##### 11 8 ... |
|||
|
Source: Bérard, Pierre - Institut Fourier, Université Joseph Fourier Grenoble-I |
|||
|
Collection: Mathematics |
|||
| 4 | The ISCAS89 Benchmark for the Circuit :'s444' Technische Universit at Graz | ||
|
Summary: [ ab('SIG_ASSIGN_9504(1)') ] 2 [ ab('SIG_ASSIGN_1444(1)') ] 3 [ ab('SIG_ASSIGN_2935(3)') ] 4 [ ab... ('SIG_ASSIGN_763(1)') ] 5 [ ab('SIG_101_4375(1)') ] 6 [ ab('SIG_100_13031(1)') ] 7 [ ab('NOT_7109(1)') ] 8 [ ab... ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 5 | cs2me3 Verification Winter 2005 Verification | ||
|
Summary: . Loop invariant: (y + (a · b) = A · B) # b # 0 1 #12; We want to show: {B # 0}mult(A,B){y = AB} (1... + a(b - 1) = AB # (b - 1) # 0}b=b1;{y + ab = AB # b # 0} assignment 2 {(y + a) + a(b - 1) = AB # (b... - 1) # 0}y=y+a;{y + ... |
|||
|
Source: Soltys, Michael - Department of Computing and Software, McMaster University |
|||
|
Collection: Mathematics ; Computer Technologies and Information Sciences |
|||
| 6 | Problem Set 3 SOLUTIONS cs2me3 Winter 2004 1 fy + a(b 1) = AB ^ (b 1) 0gb=b-1;fy + ab = AB ^ b 0g assignment | ||
|
Summary: Problem Set 3 SOLUTIONS cs2me3 Winter 2004 Part B, Q1 1 fy + a(b 1) = AB ^ (b 1) #21; 0gb=b-1;fy... + ab = AB ^ b #21; 0g assignment 2 f(y + a) + a(b 1) = AB ^ (b 1) #21; 0gy=y+a;fy + a(b 1) = AB ^ (b 1... ) #21; 0g assignment ... |
|||
|
Source: Soltys, Michael - Department of Computing and Software, McMaster University |
|||
|
Collection: Mathematics ; Computer Technologies and Information Sciences |
|||
| 7 | 1 Types of reasonings Deduction, Abduction, Learning | ||
|
Summary: predicates: · Add additioner · Mult multiplier · In1 input 1 · In2 input 2 · Out output · Ab abnormal · Sum... are universally quantified. Behavior of an additioner · Add(x) ¬Ab(x) In1(x, u) In2(x, v) Sum(u, v, w) Out... (x, w) · Add(x) ¬Ab(x) In1(x, u) Out(x, w) Sum(u, v, w) In2(x, v) · Add(x) ... |
|||
|
Source: Pencolé, Yannick - Laboratoire d'Analyse et d'Architecture des Systèmes du CNRS |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 8 | KRR7: Diagnosis Yannick Pencole | ||
|
Summary: multiplier In1 input 1 In2 input 2 Out output Ab abnormal Sum sum Prod product #12;Knowledge representation... (x) ¬Ab(x) In1(x, u) In2(x, v) Sum(u, v, w) Out(x, w) Add(x) ¬Ab(x) In1(x, u) Out(x, w) Sum(u, v... , w) In2(x, v) Add(x) ¬Ab(x) Out(x, w) In1(x, u) Sum(u, v, w) In1(x, u) Behavior ... |
|||
|
Source: Pencolé, Yannick - Laboratoire d'Analyse et d'Architecture des Systèmes du CNRS |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 9 | The ISCAS89 Benchmark for the Circuit :'s641' Technische Universit at Graz | ||
|
Summary: 14375.9 14178 5382.67 13224 15668 Obtained Diagnoses (temporal instances): number component name 1 [ ab... ('SIG_343_22786(1)') ] 2 [ ab('SIG_ASSIGN_5748(2)') ] 3 [ ab('NOR_22798(1)') ] 4 [ ab('NOT_9770(1)') ] 5... [ ab('SIG_67_4364(2)') ] 6 [ ab('SIG_14_821(1)') ] 7 ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 10 | The ISCAS89 Benchmark for the Circuit :'s344' Technische Universit at Graz | ||
|
Summary: component name 1 [ ab('NOT_13039(1)') ] 2 [ ab('SIG_35_13043(1)') ] 3 [ ab('SIG_ASSIGN_13008(1)') ] 4 [ ab... ('SIG_14_2432(3)') ] 5 [ ab('SIG_12_2343(1)') ] 6 [ ab('SIG_134_14927(2)') ] 7 [ ab('SIG_13_1037(1)') ] 8... [ ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 11 | Double-stranded methylation patterns of a 104-bp L1 promoter in DNAs from fetal fibroblast passages 10, 14, 17, and 22 using barcoded hairpin- | ||
|
Summary: 11-03-06). FETAL FIBROBLASTS, PASSAGE 10 AB255 (98... GCTTAGTTTTTTTTTTTATTGCTTGCGTGGATTTTTTAGCTTAGTGAGGGTGGGCTTATAATGCGAAAAGTTTGGCTGAATTTTTTGCCGCGTGGTTTGTTATGAGTGTG- AB257 (100... --TATTGCTTGCGTGGATTTTTTAGCTTAGTGAGGGTGGGCTTATAATGCGAAAAGTTTGGCTGAATTTTTTGTTGCGTGGTTTGTTATGAGTTTA- AB258 (98 |
|||
|
Source: Laird, Charles - Department of Biology, University of Washington at Seattle |
|||
|
Collection: Biology and Medicine |
|||
| 12 | The ISCAS89 Benchmark for the Circuit :'s382' Technische Universit at Graz | ||
|
Summary: 23528.5 23559 29986.7 19559 25421 Obtained Diagnoses (temporal instances): number component name 1 [ ab... ('SIG_24_6846(1)') ] 2 [ ab('SIG_62_8037(2)') ] 3 [ ab('SIG_167_11755(1)') ] 4 [ ab('SIG_ASSIGN_7274... (2)') ] 5 [ ab('SIG_ASSIGN_11715(1)') ] 6 [ ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 13 | The ISCAS89 Benchmark for the Circuit :'s208' Technische Universit at Graz | ||
|
Summary: [ ab('SIG_110_10063(2)') ] 2 [ ab('AND_5571(1)') ] 3 [ ab('SIG_ASSIGN_5134(1)') ] 4 [ ab('SIG_70... _7464(1)') ] 5 [ ab('SIG_17_5165(1)') ] 6 [ ab('SIG_ASSIGN_541(1)') ] 7 [ ab('SIG_65_7351(1)') ] 8 [ ab('SIG_0... _8756(1)') ] ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 14 | The ISCAS89 Benchmark for the Circuit :'s344' Technische Universit at Graz | ||
|
Summary: 11934.4 11690 228038.0 10146 13367 Obtained Diagnoses (temporal instances): number component name 1 [ ab... ('SIG_ASSIGN_1022(1)') ] 2 [ ab('NOT_2339(2)') ] 3 [ ab('SIG_ASSIGN_3732(2)') ] 4 [ ab('SIG_35_13046(1)') ] 5 [ ab... ('AND_9292(1)') ] 6 [ ab('SIG_12_2343(1)') ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 15 | The ISCAS89 Benchmark for the Circuit :'s444' Technische Universit at Graz | ||
|
Summary: 1 [ ab('SIG_91_5412(1)') ] 2 [ ab('OR_11372(1)') ] 3 [ ab('SIG_12_2547(1)') ] 4 [ ab('OR_6423... (1)') ] 5 [ ab('SIG_156_8775(1)') ] 6 [ ab('SIG_63_5381(1)') ] 7 [ ab('OR_12775(1)') ] 8 [ ab... ('SIG_ASSIGN_2521(1)') ] 9 [ ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 16 | The ISCAS89 Benchmark for the Circuit :'s1494' Technische Universit at Graz | ||
|
Summary: ): number component name 1 [ ab('OR_42139(1)') ] 2 [ ab('SIG_ASSIGN_3609(2)') ] 3 [ ab('SIG_ASSIGN_26023... (1)') ] 4 [ ab('OR_38172(2)') ] 5 [ ab('SIG_ASSIGN_35491(1)') ] 6 [ ab('SIG_ASSIGN_27987(2)') ] 7 [ ab... ('SIG_599_43374(1)') ] 8 [ ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 17 | The ISCAS89 Benchmark for the Circuit :'s820' Technische Universit at Graz | ||
|
Summary: 10978.7 10689 278327.0 8846 14321 Obtained Diagnoses (temporal instances): number component name 1 [ ab... ('SIG_ASSIGN_13108(2)') ] 2 [ ab('SIG_ASSIGN_1863(1)') ] 3 [ ab('OR_10667(2)') ] 4 [ ab('OR_7739(1)') ] 5 [ ab... ('IF_480(1)') ] 6 [ ab('SIG_32_7742(1)') ] 7 [ ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 18 | The ISCAS89 Benchmark for the Circuit :'s510' Technische Universit at Graz | ||
|
Summary: name 1 [ ab('SIG_ASSIGN_998(2)') ] 2 [ ab('SIG_205_10812(1)') ] 3 [ ab('IF_478(1)') ] 4 [ ab... ('SIG_ASSIGN_4542(1)') ] 5 [ ab('OR_14708(1)') ] 6 [ ab('SIG_204_14696(1)') ] 7 [ ab('NOT_1020(2)') ] 8 [ ab... ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 19 | The ISCAS89 Benchmark for the Circuit :'s208 1' Technische Universit at Graz | ||
|
Summary: 1 [ ab('SIG_42_10857(2)') ] 2 [ ab('PROCESS_468(1)') ] 3 [ ab('SIG_98_9966(2)') ] 4 [ ab('NOT_9962... (2)') ] 5 [ ab('SIG_45_3688(2)') ] 6 [ ab('SIG_ASSIGN_5638(1)') ] 7 [ ab('SIG_103_8474(2)') ] 8 [ ab('SIG_69... _7485(1)') ] ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 20 | The ISCAS89 Benchmark for the Circuit :'s1488' Technische Universit at Graz | ||
|
Summary: ): number component name 1 [ ab('NOT_922(2)') ] 2 [ ab('SIG_128_5261(2)') ] 3 [ ab('SIG_ASSIGN_899(2)') ] 4... [ ab('AND_30463(2)') ] 5 [ ab('SIG_127_5752(2)') ] 6 [ ab('SIG_ASSIGN_723(1)') ] 7 [ ab... ('SIG_ASSIGN_5724(2)') ] 8 [ ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 21 | The ISCAS89 Benchmark for the Circuit :'s526n' Technische Universit at Graz | ||
|
Summary: component name 1 [ ab('SIG_33_1209(1)') ] 2 [ ab('OR_10154(1)') ] 3 [ ab('SIG_196_12142(1)') ] 4 [ ab('SIG_6... _4802(1)') ] 5 [ ab('OR_12741(1)') ] 6 [ ab('NOT_12138(1)') ] 7 [ ab('SIG_ASSIGN_14871(1)') ] 8 [ ab('NOT_3726... ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 22 | MasterControlAbs CircularShifterAbs | ||
|
Summary: |
|||
|
Source: Cunningham, Conrad - Department of Computer and Information Science, University of Mississippi |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 23 | The ISCAS89 Benchmark for the Circuit :'s1494' Technische Universit at Graz | ||
|
Summary: ): number component name 1 [ ab('OR_43480(2)') ] 2 [ ab('IF_484(1)') ] 3 [ ab('SIG_ASSIGN_4950(2)') ] 4 [ ab... ('AND_29410(2)') ] 5 [ ab('SIG_608_43468(2)') ] 6 [ ab('SIG_ASSIGN_5005(2)') ] 7 [ ab('SIG_ASSIGN_43415... (2)') ] 8 [ ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 24 | The ISCAS89 Benchmark for the Circuit :'s382' Technische Universit at Graz | ||
|
Summary: [ ab('NOT_14762(1)') ] 2 [ ab('NOT_7832(2)') ] 3 [ ab('NOT_17030(1)') ] 4 [ ab('SIG_ASSIGN_7045... (2)') ] 5 [ ab('SIG_ASSIGN_14731(1)') ] 6 [ ab('NOT_19406(1)') ] 7 [ ab('SIG_ASSIGN_16999(1)') ] 8 [ ab... ('IF_494(1)') ] 9 [ ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 25 | professorsinstallationer vid slu 2007 PROFESSORSINSTALLATIONER | ||
|
Summary: bevisligen minst en biologisk effekt: det smakar sött.Vattenburna smaker spelar en stor roll för olika |
|||
|
Source: Sveriges Lantbruksuniversitet (Swedish University of Agricultural Sciences) |
|||
|
Collection: Multidisciplinary Databases and Resources |
|||
| 26 | The ISCAS89 Benchmark for the Circuit :'s641' Technische Universit at Graz | ||
|
Summary: 27549.8 26720 330318.0 22217 33334 Obtained Diagnoses (temporal instances): number component name 1 [ ab... ('SIG_ASSIGN_7552(3)') ] 2 [ ab('SIG_136_6601(3)') ] 3 [ ab('NOT_9442(2)') ] 4 [ ab('SIG_7_653(2)') ] 5 [ ab... ('SIG_ASSIGN_8650(2)') ] 6 [ ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 27 | The ISCAS89 Benchmark for the Circuit :'s713' Technische Universit at Graz | ||
|
Summary: 7433.8 7477 16.538 6465 8317 Obtained Diagnoses (temporal instances): number component name 1 [ ab... ('SIG_40_24189(2)') ] 2 [ ab('AND_18860(2)') ] 3 [ ab('NOT_14697(1)') ] 4 [ ab('NOT_11583(2)') ] 5 [ ab... ('SIG_39_19172(1)') ] 6 [ ab('OR_23066(1)') ] 7 [ ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 28 | No method of ampliative inference respects conditionalization | ||
|
Summary: conditionalization, it is required that: (5) M(1, 2) is the conditionalization of M(1) on AB. Also, M(1, 2)(A) = .3... : (6) M(1, 3) is the conditionalization of M(1) on ¯AB. Also, M(1, 3)(A) = .3 and M(1, 3) = .8. Now let... ease, let: M(1)(AB) = ab, M(1)(A ¯B) = a¯b, M(1)( ... |
|||
|
Source: Osherson, Daniel - Department of Psychology, Princeton University |
|||
|
Collection: Biology and Medicine |
|||
| 29 | The ISCAS89 Benchmark for the Circuit :'s953' Technische Universit at Graz | ||
|
Summary: [ ab('NOT_22717(1)') ] 2 [ ab('SIG_ASSIGN_14882(2)') ] 3 [ ab('NOT_23341(1)') ] 4 [ ab('AND_14920... (2)') ] 5 [ ab('AND_14696(1)') ] 6 [ ab('SIG_ASSIGN_26024(1)') ] 7 [ ab('SIG_ASSIGN_22693(1)') ] 8 [ ab... ('NOT_15854(1)') ] ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 30 | The ISCAS89 Benchmark for the Circuit :'s208 1' Technische Universit at Graz | ||
|
Summary: 1 [ ab('NOT_9648(2)') ] 2 [ ab('NOT_8637(1)') ] 3 [ ab('SIG_105_8656(1)') ] 4 [ ab('SIG_40... _9652(2)') ] 5 [ ab('SIG_ASSIGN_5233(1)') ] 6 [ ab('OR_11645(2)') ] 7 [ ab('SIG_ASSIGN_11599(2)') ] 8 [ ab('SIG_3... _667(1)') ] 9 [ ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 31 | Euclid's Elements Proposition 36 | ||
|
Summary: , or in square only, rational, but those that are incommensurable with it irrational. For us, AB... will be the assigned straight line that we call rational. So if a line is commensurable to AB it is rational... and if a line is incommensurable to AB it is irrational. AB and BC are commensurable in square ... |
|||
|
Source: Junge, Marius - Department of Mathematics, University of Illinois at Urbana-Champaign |
|||
|
Collection: Mathematics |
|||
| 32 | The ISCAS89 Benchmark for the Circuit :'s386' Technische Universit at Graz | ||
|
Summary: name 1 [ ab('NOT_4921(2)') ] 2 [ ab('SIG_48_4719(1)') ] 3 [ ab('SIG_ASSIGN_4684(1)') ] 4 [ ab('NOT_1419... (2)') ] 5 [ ab('SIG_10_2144(3)') ] 6 [ ab('AND_5549(3)') ] 7 [ ab('IF_493(1)') ] 8 [ ab('OR_17001(1)') ] 9... [ ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 33 | The ISCAS89 Benchmark for the Circuit :'s1488' Technische Universit at Graz | ||
|
Summary: ): number component name 1 [ ab('SIG_177_41261(3)') ] 2 [ ab('SIG_135_6025(3)') ] 3 [ ab('SIG_139... _30384(1)') ] 4 [ ab('SIG_331_43603(3)') ] 5 [ ab('NOT_1072(1)') ] 6 [ ab('PROCESS_438(2)') ] 7 [ ab('OR_42667... (3)') ] 8 [ ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 34 | The ISCAS89 Benchmark for the Circuit :'s1238' Technische Universit at Graz | ||
|
Summary: component name 1 [ ab('OR_21713(2)') ] 2 [ ab('SIG_ASSIGN_21681(2)') ] 3 [ ab('SIG_26_2120(2)') ] 4 [ ab... ('SIG_ASSIGN_34924(1)') ] 5 [ ab('SIG_285_34951(1)') ] 6 [ ab('NOT_3444(2)') ] 7 [ ab('SIG_286_34966(1)') ] 8 [ ab... ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 35 | Copyright 2006 by the Genetics Society of America CORRIGENDUM | ||
|
Summary: 19 should read x9AB ¼ fð1 ÿ rÞxAB 1 r½x2 AB 1 xABxaB 1 xABxAb 1 1=2ðxABxab 1 xaBxAbÞg=C; x9aB ¼ fð1 ÿ... rÞð1 ÿ saÞxaB 1 r½ð1 ÿ saÞðx2 aB 1 xaBxabÞ 1 xABxaB 1 1=2ðxABxab 1 xaBxAbÞg=C; ... |
|||
|
Source: Laboratoire de Génétique et Evolution des Maladies Infectieuses (GEMI), UMR CNRS-IRD 2724 UR 165 |
|||
|
Collection: Biology and Medicine |
|||
| 36 | The ISCAS89 Benchmark for the Circuit :'s713' Technische Universit at Graz | ||
|
Summary: 6968.2 6970 64991.0 5371 8117 Obtained Diagnoses (temporal instances): number component name 1 [ ab... ('NOT_23252(2)') ] 2 [ ab('NOT_1834(2)') ] 3 [ ab('SIG_159_16850(2)') ] 4 [ ab('SIG_ASSIGN_23228(2)') ] 5 [ ab... ('NOT_7471(2)') ] 6 [ ab('SIG_ASSIGN_22001(2)') ] 7 ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 37 | The ISCAS89 Benchmark for the Circuit :'s1196' Technische Universit at Graz | ||
|
Summary: component name 1 [ ab('NOT_2768(2)') ] 2 [ ab('SIG_ASSIGN_30022(2)') ] 3 [ ab('SIG_ASSIGN_28911(2)') ] 4... [ ab('SIG_ASSIGN_32265(2)') ] 5 [ ab('SIG_62_3938(2)') ] 6 [ ab('NOT_3934(2)') ] 7 [ ab... ('SIG_ASSIGN_1777(2)') ] 8 [ ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 38 | The ISCAS89 Benchmark for the Circuit :'s713' Technische Universit at Graz | ||
|
Summary: 4277.1 4114 26449.6 3645 5700 Obtained Diagnoses (temporal instances): number component name 1 [ ab... ('NOT_6657(2)') ] 2 [ ab('SIG_ASSIGN_16826(2)') ] 3 [ ab('SIG_ASSIGN_7287(2)') ] 4 [ ab('SIG_157... _7315(2)') ] 5 [ ab('OR_23430(2)') ] 6 [ ab('AND_16862(2)') ] 7 [ ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 39 | The ISCAS89 Benchmark for the Circuit :'s386' Technische Universit at Graz | ||
|
Summary: 5676.3 5518 2784.32 4747 6772 Obtained Diagnoses (temporal instances): number component name 1 [ ab... ('SIG_ASSIGN_3963(3)') ] 2 [ ab('SIG_42_4101(3)') ] 3 [ ab('SIG_ASSIGN_4066(3)') ] 4 [ ab('NOT_3994(3)') ] 5 [ ab... ('SIG_ASSIGN_12306(3)') ] 6 [ ab('AND_13597(3)') ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 40 | The ISCAS89 Benchmark for the Circuit :'s641' Technische Universit at Graz | ||
|
Summary: 2904.2 2727 6734.94 2561 3628 Obtained Diagnoses (temporal instances): number component name 1 [ ab... ('NOT_1482(2)') ] 2 [ ab('SIG_356_20894(2)') ] 3 [ ab('SIG_ASSIGN_14122(2)') ] 4 [ ab('SIG_12_21248(2)') ] 5... [ ab('SIG_299_14749(2)') ] 6 [ ab('SIG_289_14370(2)') ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 41 | The ISCAS89 Benchmark for the Circuit :'s526n' Technische Universit at Graz | ||
|
Summary: [ ab('SIG_33_1211(1)') ] 2 [ ab('NOT_12139(1)') ] 3 [ ab('OR_10141(1)') ] 4 [ ab('SIG_197... _12159(1)') ] 5 [ ab('SIG_ASSIGN_1197(1)') ] 6 [ ab('SIG_ASSIGN_3712(2)') ] 7 [ ab('SIG_32_3068(2)') ] 8 [ ab... ('PROCESS_443(1)') ] ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 42 | The ISCAS89 Benchmark for the Circuit :'s382' Technische Universit at Graz | ||
|
Summary: 1222.1 1222 10.89 1140 1290 Obtained Diagnoses (temporal instances): number component name 1 [ ab... ('SIG_108_11440(1)') ] 2 [ ab('SIG_77_3860(2)') ] 3 [ ab('NOT_11421(1)') ] 4 [ ab('NOT_3488(2)') ] 5 [ ab... ('SIG_ASSIGN_685(1)') ] 6 [ ab('SIG_ASSIGN_3835(2)') ] 7 [ ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 43 | SISTEMI LINEARI In[7]:= a 0.003, 59.14 , 5.291, 6.13 ; | ||
|
Summary: .78 ; ab Join a 1 , b 1 , Join a 2 , b 2 ; MatrixForm a MatrixForm b MatrixForm x MatrixForm ab sys Dot a... .291 x1 6.13 x2 59.17, 46.78 Out[16]= x1 10., x2 1. In[17]:= ab1 ab 1 , ab 2 ab 1 ab 2 1 ab 1 1 ; Matrix... Form ... |
|||
|
Source: Demeio, Lucio - Dipartimento di Scienze Matematiche, Università Politecnica delle Marche |
|||
|
Collection: Mathematics |
|||
| 44 | The ISCAS89 Benchmark for the Circuit :'s1488' Technische Universit at Graz | ||
|
Summary: component name 1 [ ab('SIG_ASSIGN_30371(1)') ] 2 [ ab('SIG_4_8937(2)') ] 3 [ ab('OR_43057(2)') ] 4 [ ab... ('SIG_ASSIGN_723(1)') ] 5 [ ab('SIG_ASSIGN_4962(2)') ] 6 [ ab('NOT_5475(2)') ] 7 [ ab('SIG_10_1176(2)') ] 8 [ ab... ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 45 | The ISCAS89 Benchmark for the Circuit :'s349' Technische Universit at Graz | ||
|
Summary: component name 1 [ ab('SIG_123_13311(2)') ] 2 [ ab('OR_12831(2)') ] 3 [ ab('SIG_ASSIGN_2031(2)') ] 4 [ ab... ('NOT_3695(2)') ] 5 [ ab('IF_494(1)') ] 6 [ ab('SIG_11_763(2)') ] 7 [ ab('AND_7232(2)') ] 8 [ ab('OR_13323... (2)') ] ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 46 | The ISCAS89 Benchmark for the Circuit :'s1196' Technische Universit at Graz | ||
|
Summary: component name 1 [ ab('SIG_395_23603(2)') ] 2 [ ab('NOT_8874(2)') ] 3 [ ab('NOT_28769(1)') ] 4 [ ab... ('AND_33375(1)') ] 5 [ ab('SIG_ASSIGN_12674(2)') ] 6 [ ab('SIG_333_34274(1)') ] 7 [ ab('SIG_258_27584(1)') ] 8... [ ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 47 | The ISCAS89 Benchmark for the Circuit :'s1238' Technische Universit at Graz | ||
|
Summary: ): number component name 1 [ ab('SIG_ASSIGN_983(2)') ] 2 [ ab('SIG_262_22011(3)') ] 3 [ ab('AND_8975... (3)') ] 4 [ ab('AND_34806(2)') ] 5 [ ab('SIG_22_2068(3)') ] 6 [ ab('SIG_23_997(2)') ] 7 [ ab('SIG_60... _8964(3)') ] 8 [ ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 48 | The ISCAS89 Benchmark for the Circuit :'s953' Technische Universit at Graz | ||
|
Summary: [ ab('SIG_ASSIGN_5679(2)') ] 2 [ ab('SIG_ASSIGN_4690(2)') ] 3 [ ab('SIG_301_18371(2)') ] 4 [ ab... ('OR_11015(2)') ] 5 [ ab('PROCESS_437(2)') ] 6 [ ab('SIG_ASSIGN_18798(2)') ] 7 [ ab('SIG_ASSIGN_807(2)') ] 8... [ ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 49 | The ISCAS89 Benchmark for the Circuit :'s526n' Technische Universit at Graz | ||
|
Summary: 1 [ ab('OR_10156(1)') ] 2 [ ab('SIG_ASSIGN_1198(1)') ] 3 [ ab('SIG_73_3737(2)') ] 4 [ ab... ('SIG_ASSIGN_3043(2)') ] 5 [ ab('SIG_ASSIGN_8028(1)') ] 6 [ ab('SIG_205_14934(1)') ] 7 [ ab('SIG_33_1212(1)') ] 8... [ ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 50 | The ISCAS89 Benchmark for the Circuit :'s1196' Technische Universit at Graz | ||
|
Summary: ): number component name 1 [ ab('OR_23310(3)') ] 2 [ ab('AND_17667(3)') ] 3 [ ab('SIG_ASSIGN_32265(3)') ] 4... [ ab('SIG_ASSIGN_26520(3)') ] 5 [ ab('SIG_503_32308(3)') ] 6 [ ab('SIG_509_32292(3)') ] 7 [ ab... ('SIG_ASSIGN_1932(3)') ] 8 [ ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 51 | A Simple Proof of the Product Theorem for EP Matrices | ||
|
Summary: be EP matrices. Then the following are equivalent. (i) AB is EP. (ii) (AB)Ass= 0 and Bss(AB) = 0... . (iii)N(A) N(AB ) and R(AB ) R(B). (iv) N(AB ) = N(A) + N(B) and R(AB ) = R(A) \ R... (B). Proof (i) =) (ii) By (1), ... |
|||
|
Source: Koliha, Jerry J. - Department of Mathematics and Statistics, University of Melbourne |
|||
|
Collection: Mathematics |
|||
| 52 | A Simple Proof of the Product Theorem for EP Matrices | ||
|
Summary: be EP matrices. Then the following are equivalent. (i) AB is EP. (ii) (AB)A = 0 and B (AB) = 0. (iii) N... (A) N(AB) and R(AB) R(B). (iv) N(AB) = N(A) + N(B) and R(AB) = R(A) R(B). Proof (i) = (ii) By (1), AB... = ... |
|||
|
Source: Koliha, Jerry J. - Department of Mathematics and Statistics, University of Melbourne |
|||
|
Collection: Mathematics |
|||
| 53 | The ISCAS89 Benchmark for the Circuit :'s510' Technische Universit at Graz | ||
|
Summary: [ ab('SIG_94_13489(2)') ] 2 [ ab('SIG_189_9762(2)') ] 3 [ ab('SIG_ASSIGN_12223(2)') ] 4 [ ab('NOT_14694... (2)') ] 5 [ ab('SIG_4_6481(2)') ] 6 [ ab('SIG_119_14713(2)') ] 7 [ ab('IF_478(1)') ] 8 [ ab('SIG_ASSIGN_721... (2)') ] 9 ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 54 | MTH4107 Introduction to Probability 2010/11 Solutions to Exercise Sheet 3 | ||
|
Summary: ) For this question we need the inclusion-exclusion formula for two events (Proposition 5.6). P(AB) = P(A)+P(B)-P(AB... ) = 2/5+1/2-3/20 = 3/4 (c) Since B is the disjoint union of AB and Ac B, Axiom 3 gives P(B) = P(AB)+ P... (Ac B). Thus P(Ac B) = P(B)-P(AB) = 1/2-3/20 = 7/20 (d) B\A = Ac ... |
|||
|
Source: Jackson, Bill - School of Mathematical Sciences, Queen Mary, University of London |
|||
|
Collection: Mathematics |
|||
| 55 | Stability of small periodic waves for the nonlinear Schrodinger equation | ||
|
Summary: . This determines uniquely the expansion of P, k, # in powers of a and b. Setting W a,b (x) = e i# a,b x P a,b (k a,b... x) , x # R , (2.8) we obtain after straightforward calculations: # a,b = 1 4 (b 2 - a 2 ) +O(a 4 + b... 4 ) , k a,b = 1 - 3 4 (a 2 + b 2 ) +O(a 4 + ... |
|||
|
Source: Gallay, Thierry - Institut Fourier, Université Joseph Fourier Grenoble-I |
|||
|
Collection: Mathematics |
|||
| 56 | The ISCAS89 Benchmark for the Circuit :'s1238' Technische Universit at Graz | ||
|
Summary: component name 1 [ ab('SIG_156_7522(2)') ] 2 [ ab('NOT_4989(2)') ] 3 [ ab('SIG_ASSIGN_19420(2)') ] 4 [ ab... ('SIG_67_7265(2)') ] 5 [ ab('SIG_ASSIGN_5067(2)') ] 6 [ ab('SIG_68_2354(2)') ] 7 [ ab('SIG_48_1732(2)') ] 8... [ ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 57 | The ISCAS89 Benchmark for the Circuit :'s953' Technische Universit at Graz | ||
|
Summary: 35400.4 34932 8.0308e6 26975 43902 Obtained Diagnoses (temporal instances): number component name 1 [ ab... ('SIG_ASSIGN_5734(3)') ] 2 [ ab('SIG_24_1276(3)') ] 3 [ ab('OR_26715(3)') ] 4 [ ab('NOT_17916(3)') ] 5 [ ab... ('NAND_17932(3)') ] 6 [ ab('SIG_161_5761(3)') ] 7 ... |
|||
|
Source: Technische Universität Graz, Institute for Software Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 58 | Supplemental materials to "Reduced Rank Mixed Effects Models for | ||
|
Summary: standard results for multivari- ate normal distributions. The covariances between ab, ab and Y ab are cov(ab... , Y ab) = D,aT BT ab and cov(ab, Y ab) = VabT ,abBT ab. Since ... |
|||
|
Source: Huang, Jianhua - Department of Statistics, Texas A&M University; Zhou, Lan - Department of Statistics, Texas A&M University |
|||
|
Collection: Mathematics |
|||
| 59 | Four common Boolean operators This is a unary operator; the rest are binary operators. | ||
|
Summary: = 0 double-negation: a = a exclusive-or definition: ab = ab + ab commutative: ab = ba a + b = b + a ab... = ba associative: (ab)c = a(bc) (a + b) + c = a + (b + c) (ab)c = a(bc) distributive: a(b + c) = ... |
|||
|
Source: Estrada, Francisco - Thoora; Toronto, University of - Department of Computer Science, Dynamic Graphics Project |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 60 | Southwest Missouri State University Department of Residence Life and Services | ||
|
Summary: ., Springfield, MO 65807-1527 201A,B -- 202A,B 203 204A,B 205 206A,B 207 208A,B -- 209A,B 210 211A,B 212 213A,B... 214 215A,B -- 216A,B 217 218A,B 219 ... |
|||
|
Source: Rebaza, Jorge - Department of Mathematics, Missouri State University |
|||
|
Collection: Mathematics |
|||
| 61 | LLoosstt AAlluummnnii,, OOlldd TTiimmeerrss CCllaasssseess 11992266--11995599 | ||
|
Summary: Name Degree / Year Cooperman Harriet BED '27 Wolfe Joseph BBA '27 Hanache Jean BS '29 Reuben Victor AB... '29 Runnels Leona AB '29 Weisfeld Israel AB '29 1930's Last Name First Name Graduation Name Degree... / Year Conboy Robert AB '30 Forster William BBA '30 Hammond June AB '30 Lins ... |
|||
|
Source: Shyu, Mei-Ling - Department of Electrical and Computer Engineering, University of Miami |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 62 | v. de Chlonsv. de Chlons Arch. BourgesArch. Bourges | ||
|
Summary: Boulogne sgr de Montmorency Seigneur d'Harcourt Ab. LongpontAb. Longpont Ab. St-FaronAb. St-Faron Ab. St... -Médard de SoissonsAb. St-Médard de Soissons Ab. Bois-aux-DamesAb. Bois-aux-Dames Ab. du Lys ... |
|||
|
Source: Paris-Sud XI, Université de - Institut d'Optique, Laboratoire Charles-Fabry, Groupe d'Optique Atomique |
|||
|
Collection: Physics |
|||
| 63 | Prof. Jeremy Blanc Dr. Emilie Dufresne | ||
|
Summary: ) Ring und seien a,b,c A. 1. Zeigen Sie, dass a+b = a+c b = c. 2. Ist a·b = a·c b = c immer richtig? F... Nullring; (b) 0 = 1 in A; (c) A enth¨alt nur ein Element. Aufgabe 3 Seien A,B zwei Ringe und sei : A B... eine Abbildung, so dass (a+b) = (a)+(b) f¨ur alle ... |
|||
|
Source: Basel, Universität - Departement Mathematik |
|||
|
Collection: Mathematics |
|||
| 64 | Construire le milieu de [AB] au compas seul (sans rgle). On construit le point A', symtrique de A par rapport B. | ||
|
Summary: Construire le milieu de [AB] au compas seul (sans règle). 1ière étape. On construit le point A... cercle de centre A et de rayon AB et du cercle de centre A' et de rayon 2 AB. #12;3ième étape. On trace... le cercle de centre D et de rayon AB et le cercle de centre E et de rayon AB, ... |
|||
|
Source: Coulombel. Jean-François - Laboratoire Paul Painlevé, Université de Lille |
|||
|
Collection: Mathematics |
|||
| 65 | Seminartermine Experimentelle Medizin 25.10.2011 bis 20.03.2012 Zeit: 16:00 Uhr | ||
|
Summary: Referent/in 4 25.10.2011 AB Brüggemann Sabine AB Buechle Kerstin LS Häbe Sarah Elena Raum: 2.059 Institut... Medizin III, AG Mertens 08.11.2011 PV Meister Anne AB Messer Mirko LS Pelzer Christin AB Karl Hoffmann... Wiederherstellungschirurgie 06.12.2011 LS Riedesser Simon LS Steinmetz Julia LS Rausch ... |
|||
|
Source: Ulm, Universität - Institut für Datenbanken und Informationssysteme |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 66 | Intramolecular phase separation of copolymer "bottle brushes": Evidence against a sharp phase transition | ||
|
Summary: "=" Self-avoiding walks on a simple cubic lattice Partition sum: ZN(qAB) = walk qmAA+mBBq mAB AB... .3087 · Repulsive interaction factor qAB = e-AB/kBT : qAB q AB 0 qAB 0 AB >> · mAA, mBB and ... |
|||
|
Source: Hsu, Hsiao-Ping - Institut für Physik, Johannes Gutenberg Universität Mainz |
|||
|
Collection: Physics |
|||
| 67 | Esercizi reti combinatorie e sequenziali | ||
|
Summary: f = ABC + ABC + ABC + ABC = ABC + ABC + AB(C + C) distributiva = ABC + ABC + AB(1) complemento = ABC... + ABC + AB identità = ABC + ABC + AB + ABC idempotenza = ABC + AC(B + B) + AB distributiva = ABC + AC(1... ) + AB complemento = ABC + AC + AB ... |
|||
|
Source: Rossi, Francesca - Dipartimento di Matematica Pura e Applicata, Università degli Studi di Padova |
|||
|
Collection: Mathematics |
|||
| 68 | Characterizing Diagnoses' Johan de Kleer | ||
|
Summary: that AB(c) is a literal which holds when component c ECOMPS is behaving abnormally. (Some of the model... -based diagnosis literature uses --`OK(c) instead of AB(c) but this is just terminology and does not affect... , abnormality will mean something different. This is reflected in how AB is used in the sentences of SD |
|||
|
Source: Mackworth, Alan K. - Department of Computer Science, University of British Columbia; de Kleer, Johan - Palo Alto Research Center (PARC) |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 69 | Allozymes, gel electrophoresis and the "Find em and Grind em" era. Alcohol dehydrogenase in pollen of Asclepias syriaca (milkweed) | ||
|
Summary: -locusFrequency AB Ab aB ab Begin with complete linkage disequilbrium with just AB and ab combinations of alleles... of linkage diseq and we end up with equal freqs of AB Ab aB ab in ... |
|||
|
Source: Shore, Joel S. - Department of Biology, York University (Toronto) |
|||
|
Collection: Biology and Medicine |
|||
| 70 | Linkage and Tetrad Analysis | ||
|
Summary: A A a a A B a b A B a b A A a aB B b b B B b b B B b b Parental Ditype Nonparental Ditype Tetratype PD NPD... T The Three Kinds of Unordered Tetrads from a Aa Bb individual with parents AB & ab ascus >> plate #12;PD NPD... T A A a aB B b b A A a a B B b b A A a aB B b b No ... |
|||
|
Source: Doebley, John - Department of Medical Genetics, University of Wisconsin at Madison |
|||
|
Collection: Renewable Energy ; Biology and Medicine |
|||
| 71 | Ranking for Entry into Year 4 Honors Specialization (HSP) modules Calculation of the Weighted Average Honors Specialization | ||
|
Summary: the Basic Medical Sciences) Weighted Average* Biochemistry Biochemistry 2280A; Biology 2581B; Biology 2244A/B... or Stats 2244A/B; 1.0 course from Chemistry 2213A/B and 2223B, or Chemistry 2273A and 2283G; 1.0 course... from Biology 2382B, Biology 2290F/G, Chemistry 2211A/B, 2214A/B, ... |
|||
|
Source: Sinnamon, Gordon J. - Department of Mathematics, University of Western Ontario |
|||
|
Collection: Mathematics |
|||
| 72 | Math 510 Exam 2 Solutions Apr 16, 2007 | ||
|
Summary: on the last page of this exam, you will have to prove it. (a) If ABC then AB AC. Here is a sketch... of the proof: Assume AB AC. Create a point "to the left of" A. Use Axiom 14 to reach a contradiction... ), there exists D such that DAB. Theorem 4 applied to DAB and ABC says DAC. Since AB AB (by Axiom 10) ... |
|||
|
Source: Tuba, Imre - Department of Mathematics and Statistics, San Diego State University |
|||
|
Collection: Mathematics |
|||
| 73 | Summary and Outlook 7.1 Summary | ||
|
Summary: .1 Two prototypes For generic functions fab f (ab · x - ab), the quantities fab and xnfab are computed... as follows: fab = 1 (2)D/2(det(C))1/2 RD f (ab · x - ab) × exp - 1 2 (x - µ)T C-1 (x - µ) dx = 1 (2)D/2(det... (C))1/2 RD f (ab · x + ab · µ - ... |
|||
|
Source: Groningen, Rijksuniversiteit - Centre for Ecological and Evolutionary Studies, Department of Marine Benthic Ecology and Evolution, |
|||
|
Collection: Biology and Medicine ; Environmental Sciences and Ecology |
|||
| 74 | Economics Special Topics Courses for 2011-12 The Department of Economics is pleased to present the following courses as Special Topics for the | ||
|
Summary: -requisites Economics 2261A/B and Economics 2223A/B. This course is considered an essay course. Pre... -requisites: Economics 2261A/B, Economics 2223A/B Economics 3396B-001 The Economics of the Family This course studies... to the pre-requisites Economics 2261A/B, Economics ... |
|||
|
Source: Ma, Bin - Departments of Computer Science & Biochemistry, University of Western Ontario |
|||
|
Collection: Biotechnology ; Computer Technologies and Information Sciences |
|||
| 75 | unit = 1 unit = 1 unit = 1 unit = 1 unit = 1 unit = 1 | ||
|
Summary: A B C D AB CD B B B B A B C D A B C D A B C D A B C D A B C D A B C D AB CD A B C D A B C D AB CD A B... C D AB CD B B B B A B C D A B C D A B C D A B C D A B C D A B C D A B C D AB CD A B C D AB CD AB CD... A B C D A B C D A B C D A B C D A B C ... |
|||
|
Source: Suárez, Ascánder - Departamento de Computación y Tecnología de la Información, Universidad Simón Bolívar |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 76 | Satzung zur nderung von Fachstudien-und Prfungsordnungen in EinFach-und Zwei-Fach-Bachelorstudien-und Masterstudiengngen | ||
|
Summary: Erlangen-Nürnberg Vom 5. November 2010 Aufgrund von Art. 13 Abs. 1, Art. 43 Abs. 5, Art. 58 Abs. 1 und Art... . 61 Abs. 2 des Bayerischen Hochschulgesetzes (BayHSchG) erlässt die Universität Erlangen- Nürnberg... , Orientalistik und Sozialwissenschaften sowie Archäologische Wissenschaften werden in den ... |
|||
|
Source: Gugat, Martin - Mathematisches Institut, Friedrich-Alexander University Erlangen-Nürnberg |
|||
|
Collection: Mathematics |
|||
| 77 | Polynomial-based optical true-time delay devices with microelectromechanical mirror arrays | ||
|
Summary: as- sume the micromirror at that pixel is tipped to . Light is therefore reflected back into the AB... to the AB White cell. Similarly, if light is coming from mirror B, and the MEM pixel is tipped to , the beam... at least this minimum delay. We call AB the null cell, and the delay incurred in it is in effect subtracted |
|||
|
Source: Anderson, Betty Lise - Department of Electrical and Computer Engineering, Ohio State University |
|||
|
Collection: Engineering |
|||
| 78 | A Framework for 3D Object RecognitionA Framework for 3D Object Recognition using the Kernel Constrained Mutualusing the Kernel Constrained Mutual | ||
|
Summary: ;17 .?/.?/.?/.?/ &('()0&21)3&(()4'42)457698A@B857698A@B857698A@B857698A@B8DCCCCFEHG(GEHG(GEHG(GEHG(G 10()010()01PIQ)41PIQ... )457698A@B857698A@B857698A@B857698A@B8DCCCCSR2G(GR2G(GR2G(GR2G(G ... |
|||
|
Source: Fukui, Kazuhiro - Department of Computer Science, University of Tsukuba |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 79 | Evaluating Entity ResolutionEvaluating Entity Resolution ResultsResults | ||
|
Summary: Results R1 = a, b, c, d, efgh R2 = ab, cd, ef, gh G = ab, cd, efgh #12;5 5 Pairwise Recall R1 = a, b, c, d... , efgh R2 = ab, cd, ef, gh G = ab, cd, efgh #12;6 6 Pairwise Recall R1 = a, b, c, d, efgh R2 = ab, cd, ef... , gh G = ab, cd, efgh Pairs: ef, eg, eh, fg, fh, ... |
|||
|
Source: Chang, Edward Y. - Department of Electrical and Computer Engineering, University of California at Santa Barbara |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 80 | Two-photon interaction with one Coulomb Ladder diagram | ||
|
Summary: with one Coulomb is given by (leaving out the time integrals) rs|U (y) Cov|ab = - rs dz 2 d4 2 d3 2 d2 2 d1... ab (1) where I34(z) = 0 2k f34(k) z2 - k2 + i f34(k) = - e2 42r34 (1 - 3 · 4) sin(kr34) With sin... ), leaving out the z, integrals and the factor e2 /4 - rs|r s s |Hl|u s |Hl|t tu|1/r12|ab 2k (1 - z - r + ir |
|||
|
Source: Lindgren, Ingvar - Institutionen för fysik, Göteborgs Universitet |
|||
|
Collection: Physics |
|||
| 81 | Problem Set 3 Due: March 30 cs2me3 Winter 2004 Instructions | ||
|
Summary: contain the justi#12;cation. Here is an example segment of the proof: 1 fy + a(b 1) = AB ^ (b 1) #21; 0gb... =b-1;fy + ab = AB ^ b #21; 0g assignment 2 f(y + a) + a(b 1) = AB ^ (b 1) #21; 0gy=y+a;fy + a(b 1) = AB... ^ (b 1) ... |
|||
|
Source: Soltys, Michael - Department of Computing and Software, McMaster University |
|||
|
Collection: Mathematics ; Computer Technologies and Information Sciences |
|||
| 82 | A&A 446, 733738 (2006) DOI: 10.1051/0004-6361:20053757 | ||
|
Summary: On the dynamics of the AB Doradus system J. C. Guirado1, I. Martí-Vidal1, J. M. Marcaide1, L. M. Close2, J. C... ABSTRACT We present an astrometric analysis of the binary systems AB Dor A /AB Dor C and AB Dor Ba /AB Dor... and they constitute the quadruple AB ... |
|||
|
Source: Steward Observatory, Center for Astronomical Adaptive Optics |
|||
|
Collection: Physics |
|||
| 83 | HEURISTIC SEARCH FOR HAMILTON CYCLES | ||
|
Summary: the conven- tions mentioned above are used (labels of graphs are from 1]): 1. 108] (abc)3 = (ab)2c(ba)2c = e... , ((ab)2ac)2(ba)2bc(ba)5bc(ac)2(ba)5bc(ba)2bc(ab)2ac(ab)4ac(ab)5ac(ba)2bc (ba)2bc(ab)5ac(ab)2 2. 120B... ] (ab)5 = ... |
|||
|
Source: Mohar, Bojan - Department of Mathematics, University of Ljubljana & Simon Fraser University |
|||
|
Collection: Mathematics |
|||
| 84 | Biology 2250 Principles of Genetics | ||
|
Summary: they are on different chromosomes Independent Assortment F1 AaBb X AaBb F2 9 A-B- 3 A-bb 3 aaB- 1 aabb 4 phenotypes AABB... ab 1/4 AB AaBb 1/4 Ab Aabb 1/4 aB aaBb 1/4 ab aabb 4 phenotypes 4 genotypes Fig 6-6 Independent... Assortment Interchromosomal Recombination ... |
|||
|
Source: Innes, David J. - Department of Biology, Memorial University of Newfoundland |
|||
|
Collection: Environmental Sciences and Ecology |
|||
| 85 | 8. gyakorlat 1. Legyen X a [0, 1] intervallumon egyenletes eloszlasu. Mi lesz Y = | ||
|
Summary: -norm´alis lesz. Sz´amoljuk ki E-t, ´es D-t! 5. Egy csoportban a 30 di´ak k¨oz¨ul 4-nek van jelese matematik´ab... ´ol ´es fi- zik´ab´ol, 8-nak van jelese matematik´ab´ol ´es 4-ese fizik´ab´ol, 6-nak jelese matematik´ab... ´ol ´es k¨ozepese ... |
|||
|
Source: Katalin, Nagy - Institute of Mathematics, Budapest University of Technology and Economics |
|||
|
Collection: Mathematics |
|||
| 86 | Logic of Authentication 1. BAN Logic | ||
|
Summary: ] Message 1 A S : A, B, nA Message 2 S A : nA, B, kAB, kAB, AkBS kAS Message 3 A B : kAB, AkBS Message 4... B A : nBkAB Message 5 A B : nB 1kAB Nonces are random unpredictable values generated... ] Message 1 A S : A, B, nA Message 2 S A : nA, B, kAB, ... |
|||
|
Source: Sandhu, Ravi - Department of Information and Software Engineering, George Mason University |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 87 | THE IMPACT OF INTERREGIONAL AND INTRAREGIONAL TRANSPORTATION COSTS | ||
|
Summary: ) and between regions (AB, BA). The intraregional transportation costs are given by AA and BB , whereas... interregional ones are given by AB BA . We suppose that the intraregional transportation costs are more... then have the following inequality: .BA AB BB AA 2.3. Equilibrium The objective of this model |
|||
|
Source: Ecole Polytechnique, Centre de mathématiques |
|||
|
Collection: Mathematics |
|||
| 88 | Part Number Product Family Version Operating System Language Product Type Duration Prezzo in Euro 65083714AB02A00 Acrobat Professional 10 Macintosh Italian AOO License Perpetual 87,50 | ||
|
Summary: 65083714AB02A00 Acrobat Professional 10 Macintosh Italian AOO License Perpetual 87,50 65083715AB02A00... Acrobat Professional 10 Windows Italian AOO License Perpetual 87,50 65084271AB02A12 Acrobat Professional... ALL Multiple Platforms Italian New Upgrade Plan 12 Months 13,75 65084271AB02A15 Acrobat ... |
|||
|
Source: De Cindio, Fiorella - Dipartimento di Informatica Sistemistica e Comunicazione, Università degli studi di Milano |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 89 | Logic and Bayesian Networks Part 2: Logical Encoding of Bayesian Networks | ||
|
Summary: Encoding of Bayesian Networks 2/ 24 #12;Network Polynomial A B Pr(A, B) a b ab|a a b ab|a a b ab|a a b ab... |a a b abab|a a b abab|a a b abab|a f = abab|a + abab|a + abab|a + abab|a f (e = a) = (0)(1)ab|a + (0... )(1)ab|a + (1)(1)ab|a + ... |
|||
|
Source: |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 90 | The abelian case of a combinatorial conjecture of Dicks and Ivanov | ||
|
Summary: least) i times in the matrix Atr · B. We abbreviate A·1B as AB. We set (A, B) := |A| + |B| - 1 2 |AB... )| }; of course, if A·2B is empty, then |AB| = |A||B| |A||B| - (|A| - 2)(|B| - 2) = 2(A, B) + |AB| - 4 and (A, B... ) 2. Proof by induction on (|B|, |A|). ... |
|||
|
Source: Dicks, Warren - Departament de Matemàtiques, Universitat Autònoma de Barcelona |
|||
|
Collection: Mathematics |
|||
| 91 | Properties of the Transformation Semigroupof the Solitaire Stream | ||
|
Summary: # #, or only n # # in Z n , then denote Z AB n ={#, n # #, A, B}, Z A n ={#,n # #, n # # , A}, Z B n ={#, n... AB n , Z A n , Z B n as Z n . The following standard notation will be used throughout: #. #X# denotes... # #...##k # # ## B ##k # # ##...##n # ##> AB , where # #j# # # # # s #j# for j # #, k # # #, s #j # ## for j |
|||
|
Source: International Association for Cryptologic Research (IACR) - Cryptology ePrint Archive |
|||
|
Collection: Multidisciplinary Databases and Resources |
|||
| 92 | Re nements of the Peano kernel theorem Shayne Waldron | ||
|
Summary: de ned on a;b] f = kX j=0 Djf(a)( ?a)j j! + Z b a Dk+1f(t) ( ?t)k + k! dt; (1:1) where ( )k... +1 a;b]) . The rest of the paper is set out as follows. In Section 2, the general Peano kernel... of Peano kernels corresponding to the nested subspaces of (Ck+1 a;b]) (C a;b]) (C1 a;b]) (Ck ... |
|||
|
Source: Waldron, Shayne - Department of Mathematics, University of Auckland |
|||
|
Collection: Mathematics |
|||
| 93 | Cable, Terminal Block, Cable Connector Bulletin 1492 Pre-wired cables | ||
|
Summary: lengths of 0.5, 1.0, 2.5 and 5.0 m to fit a variety of applications. http://www.ab... .com/industrialcontrols/products/terminal_blocks_and_wiring/ wiring/digital_cables.html 1492 wiring system http://www.ab... ://mms.rockwellautomation.com/idc/groups/multi_media/documents/mul timedia/1492timesaver.wmv #12;2 of 2 Review the catalog of wiring systems. ... |
|||
|
Source: Allen, Gale - Department of Electrical and Computer Engineering and Technology, Minnesota State University Mankato |
|||
|
Collection: Multidisciplinary Databases and Resources ; Engineering |
|||
| 94 | M7: Exercise sheet 1 1. Prove directly from axioms (A1)(A9) that, for all a, b, c R, | ||
|
Summary: M7: Exercise sheet 1 1. Prove directly from axioms (A1)(A9) that, for all a, b, c R, (a) If ab... = 0 then either a = 0 or b = 0; (b) -(ab) = (-a)b = a(-b); (c) If a + c = b + c then a = b. (d) -(-a... R, a < 0 and b < 0 a + b < 0. (vi) a, b R, a < 0 and 0 < b ab ... |
|||
|
Source: Burstall, Fran E. - Department of Mathematical Sciences, University of Bath |
|||
|
Collection: Mathematics |
|||
| 95 | Journal of Pharmacological Sciences 2003 The Japanese Pharmacological Society | ||
|
Summary: January 8, 2003; Accepted February 3, 2003 Abstract. In Alzheimer's disease, fibrillar amyloid-b (Ab... ) peptides form senile plaques associated with microglia. However, the relationship between Ab peptides... and microglia is not fully understood. In this study, the incubation of Ab1-40 (Ab40) produced ... |
|||
|
Source: Durstewitz, Daniel - Research Group Computational Neuroscience, Central Institute of Mental Health, |
|||
|
Collection: Computer Technologies and Information Sciences ; Biology and Medicine |
|||
| 96 | MERIT INSTALLATIONMERIT INSTALLATION TargetTarget | ||
|
Summary: Magnet Support Beam Target Transporter Common Baseplate Magnet Support Beam AB/ATB-EA ML, le 30/03/07 1... ") to meet CERN facility constraintsy AB/ATB-EA ML, le 30/03/07 2 #12;MERIT INSTALLATIONMERIT INSTALLATION... Layout AB/ATB-EA ML, le 30/03/07 3 #12;MERIT INSTALLATIONMERIT INSTALLATION Cranes and shaft... ... |
|||
|
Source: McDonald, Kirk - Department of Physics, Princeton University |
|||
|
Collection: Physics |
|||
| 97 | MDP talk on "Strategic issues facing ABS and MD": My Name is Frank Masci from the Time Series Analysis Section of the! | ||
|
Summary: MDP talk on "Strategic issues facing ABS and MD": My Name is Frank Masci from the Time Series... Analysis Section of the! Methodology Division. I'll be talking about 2 strategic issues facing the ABS... to the ABS mission regarding: "becoming a! leading national statistical service" (or NSS for short): a lot |
|||
|
Source: Masci, Frank - Infrared Processing and Analysis Center, California Institute of Technology |
|||
|
Collection: Physics |
|||
| 98 | A Note on Matrix multiplication. For arbitrary matrices A and B of respective dimensions m n and n p, | ||
|
Summary: and n × p, C = AB is an m × p matrix whose (i, j)th element is cij = n l=1 ailblj. The product AB... a23 and B = b11 b12 b21 b22 b31 b32 . Then, C = AB = c11 c12 c21 c22 is a 2 × 2 matrix... product AB, we say that B is pre-multiplied by A, and A is post-multiplied by B. Provided all the matrices |
|||
|
Source: Ravishanker, Nalini - Department of Mathematics, University of Connecticut |
|||
|
Collection: Mathematics |
|||
| 99 | "A systematic Analysis of Equivalence in Multi-Stage Networks", M. Collier, Journal of Lightwave Technology, 2002. | ||
|
Summary: µµµ AB kT 1 )( -AB kT µ. µ k µµµ 1 )( -AB kT , kLP AB kT 1- µ k-1. µ... tramline µµµ µµ , µ. µ, ( ) nkforDPTDPT B k ABA k AB k <<= - 0 1 0 , DPk µ... (k)=k. Omega µ ( )k nkDP 1-= . lsb(k)=k. µ butterfly ... |
|||
|
Source: Dimakopoulos, Vassilios - Department of Computer Science, University of Ioannina |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 100 | COMP364 Lecture Notes January 28th Administrative Stuff | ||
|
Summary: definition for the formula `A&&B' is that: `A&&B' is true when both `A' is true and `B' is true." Everything... Lecture Notes January 28th , 2008 A B A&&B F F F F T F T F F T T T In order for `A&&B' to be true, both `A... ' and `B' must be true. Hence, if either `A' or `B' ... |
|||
|
Source: Perkins, Theodore J. - McGill Centre for Bioinformatics, McGill University |
|||
|
Collection: Biology and Medicine ; Computer Technologies and Information Sciences |
|||