Axiometrics: Axioms of Information Retrieval Effectiveness Metrics
|
|
- Shawn George Reeves
- 5 years ago
- Views:
Transcription
1 Axiometrics: Axioms of Information Retrieval Effectiveness Metrics ABSTRACT Ey Maalena Department of Maths Computer Science University of Uine Uine, Italy There are literally ozens most likely more than one hunre) information retrieval effectiveness metrics, counting, but a common, general, formal unersting of their properties is still missing. In this paper we aim at improving extening the recently publishe work by Busin Mizzaro [6]. That paper proposes an axiomatic approach to Information Retrieval IR) effectiveness metrics, more in etail: i) it efines a framework base on the notions of measure, measurement, similarity; ii) it provies a general efinition of IR effectiveness metric; iii) it proposes a set of axioms that every effectiveness metric shoul satisfy. Here we buil on their work more specifically: we esign a ifferent improve set of axioms, we provie a efinition of some common metrics, we erive some theorems from the axioms.. INTRODUCTION In the Information Retrieval IR) fiel, accoring to survey in 26 [8], more than 5 effectiveness metrics are ientifie, taking into account only the system oriente ones. This is a rough unerestimate; as iscusse for example in [2], more than one hunre IR metrics exist, let alone useroriente ones or metrics for tasks somehow relate to IR, like filtering, clustering, recommenation, summarization, etc. Figure is a graphical representation of this. This large number is not balance by a complete unersting of the conceptual formal properties that any IR effectiveness metrics shoul satisfy, as iscusse also at the recent SWIRL meeting swirl2/). It is clear that a better unersting of the formal properties of effectiveness metrics woul have several avantages, for example it woul help to avoi wasting time in tuning retrieval systems accoring to the wrong metric. However, this is still lacking. Among some recent attempts to stuy the formal properties of IR metrics see next section), in this paper we focus specifically on the work by Busin Mizzaro [6]. The contribution of that paper is threefol: i) it efines a framework, groune on measurement theory, base on the notions of measure, measurement, similarity; ii) it provies a general efinition of IR effectiveness metric; iii) it proposes a set of axioms that every effectiveness metric shoul satisfy. Although that paper has the merit of proposing to groun on measurement theory to stuy IR metrics, it also has some limits. First, the analysis of the existing metrics in terms of the framework is very brief, concerns only four metrics. Therefore, although the framework Stefano Mizzaro Department of Maths Computer Science University of Uine Uine, Italy mizzaro@uniu.it has been proven aequate to express the axioms, its ability to take into account ifferent metrics has not really been teste. Secon, the axioms are a bit isorganize: they are not clearly categorize, some of them woul probably more justifiable as theorems than basic axioms. Thir, the usefulnes of the axioms, in terms of eriving theorems from them, is almost not teste, as only one theorem is quickly formalize. We try to overcome those limits in the present work This paper is structure as follows. In Section 2 we briefly recall the previous work on formal accounts of IR effectiveness metrics. In Section 3 we briefly summarize the framework notation propose in [6]. In Section 4 some metrics are efine within the framework, to emonstrate its expressiveness power. In Section 5, a set of axioms, ifferent from that propose in [6], is state the axioms are exploite to erive some theorems in Section 6. Conclusions future work are presente in Section RELATED WORK Although formal approaches in the IR fiel have mainly focusse on the retrieval process rather than on effectiveness metrics themselves see, e.g., [9, ]), some research specific to effectiveness metrics oes exist, it is briefly iscusse here. The first early attempts were mae by Swets [3], who liste some properties of IR effectiveness metrics, van Rijsbergen [5, Ch. 7], who followe an axiomatic approach. In [5], Bollmann iscusses the risk of obtaining inconsistent evaluations on a ocument collection on its subcollections. Two axioms on effectiveness metrics, name the Axiom of monotonicity the Archimeean axiom, are propose, their implications are presente as a theorem. These approaches are evelope on the basis of binary relevance either a ocument is relevant or it is not) binary retrieval either a ocument is retrieve or it is not). Here we o not make any assumption on the notions of relevance retrieval binary, ranke, continuous, etc.). Our approach is meant to be more general. Yao [7] focusses on the notion of user preferences to measure the relevance or usefulness) of ocuments. He aopts a framework where user jugements are escribe as a weak orer. On this basis he then proposes a new effectiveness metric that compares the relative orer of ocuments. The propose metric is prove to be appropriate through an axiomatic approach. More recently, Amigó et al. in [] focus their formal analysis on evaluation metrics for text clustering algorithms fin- 7
2 Figure : IR effectiveness metrics from [2]) ing four basic formal constraints. These constraints shoul be intuitive coul point out the limitations of each metric. Moreover, it shoul be possible to prove formally which constraint is satisfie by a metric or a metric family, not just empirically. They foun BCube metrics BCube precision Bcube recall) to be the only ones satisfying the four propose constraints. Amigó et al. in [3] iscuss, with a similar approach, a unifie comparative view of metrics for ocument filtering. They iscovere that no metric for ocument filtering can satisfy all esirable properties unless a smoothing process is performe. Finally, in an even more recent work [4], they start from a set of formal constraints to efine a general metric for ocument organization tasks, that inclue retrieval, clustering, filtering. Another attempt is by Moffat, that in [] lists seven properties of IR metrics: bouneness, monotonicity, convergence, top-weighteness, localization, completeness, realizability. Several metrics are then analyze to unerst whether they satisfy these properties. 3. THE AXIOMETRICS FRAMEWORK In the remainer of this paper, we buil on the framework recently propose in [6], base on the notions of measurement, measurement scale, similarity [6, 2, 4]. Due to space limitations, we can provie only a very short summary; the reaer is referre to [6] for further etails motivations. Given a query q, system user/assessor relevance measurements on a single ocument are enote by q, ) q, ), respectively; the notation is also extene in a straghtforwar way to set of ocuments D) queries Q); the scale of a measurement e.g., a binary relevance assessment ) is enote by scale) = R, N where R means relevant N nonrelevant). a notion of similarity between measurements is efine, enote as sim Q, D), Q, D)) Q,D or more briefly as sim Q,D, ) when Q D are common to both measurements as it is often the case). In this paper we aopt a ifferent approach from [6], we will not use the similarity of sets of queries Q) /or ocuments D): we will nee sim, ) only. In [6] a metric is then efine as a function that takes as arguments two measurements, a set of ocuments D, a set of queries Q, provies as output a numeric value usually in R). In mathematical notation, metric : D Q R. Componentwise, a metric can be ientifie on the basis of five components: scale), scale), a notion of similarity sim, how the values on single ocuments are average over the set D we enote the corresponing averaging function with avgd), how these averages are average over the set Q avgq). We can write: metric scale), scale), sim, avgd, avgq). ) This framework notation shoul be general enough to moel most if not all) effectiveness metrics, as we show next. 4. SOME METRICS In this section we efine the sim, avgd avgq functions for some common metrics to emonstrate that the framework notation shoul be general enough to moel most if not all) effectiveness metrics. Table presents tentative efinitions of some common metrics. The table shoul be unerstable, but we briefly iscuss some metrics. For instance, for both Precision Recall, scale) = scale) = R, N. Let Rel = { D ) = R} Ret = { D ) = R} be the sets of relevant retrieve ocuments, respectively. Similarity is see the table) if a ocument is both retrieve relevant otherwise., the avgd functions for Precision Recall are the arithmetic means over the sets Ret Rel, respectively, both the avgq functions are the arithmetic mean over the set Q. For MAP MAP-like metrics GMAP, logitap, yaap, etc.) we have two ifferent scales: scale) = R, N scale) = Rank. Similarity is more complex on a rank see the formula in the table), since to unerst the similarity of a ocument we nee to analize also other ocuments in the rank. Similarity can then be use to efine AP values then MAP is obtaine using as avgq the arithmetic mean of the AP values. GMAP is similar to MAP, the 8
3 Metric scale) scale) sim, ) avgd avgq Precision { P q = sim Ret, ) if ) = ) Ret R, N Recall otherwise R q = sim, ) P@n q = n MAP if ) = R R, N AP q = if ) = N MAP@n Rank ) = R AP q = ) > )) GMAP otherwise AP q = Rel Rel, ) n R-Prec R-Prec q = log AP) logitap AP q = Rel Rel, ) n Rel Rel ADM [, ] [, ] q, ) q, ) ADM q = D sim, ) Rel, ) sim, ) sim, ) sim, ) sim, ) sim, ) sim, ) i i D Table : Metrics on the basis of their components as per formula ). P q R q q R-Prec q AP q AP q AP q log AP q log AP +ɛ AP +ɛ ADM q only ifference being on avgq since in GMAP the geometric mean is use. GMAP can also be efine in an equivalent way as the average of logarithms, logitap efinition is similar. yaap shoul be similar as well). The table also inclues MAP@n, i.e., MAP compute averaging only the AP values of the relevant ocuments retrieve in the first n rank positions, consiering as the AP of ocuments retrieve after rank n this is the metric use in TREC-like settings). The last row efines ADM [7]. As it is iscusse at length in [6], besies allowing us to efine the metrics, the framework allows us to state the axioms in a way that is inepenent from the scales of the relevance measurements. 5. AXIOMS We now can list some axioms: they efine properties that, ceteris paribus, any effectiveness metric shoul satisfy. Axioms can also be interprete as a set of constraints on a search space. We formalize as axioms the properties of similarity between relevance measurements Subsection 5.), we then present some axioms that efine the relationships between similarity metrics Subsection 5.2), we then present metric-specific axioms Subsection 5.3). 5. Similarity The first axioms represent basic constraints on similarity, metrics are not involve yet. Axiom Similarity of ocuments). Let q be a query, two ocuments, a human relevance measurement a system relevance measurement such that q, ) = q, ) q, ) = q, ). sim, ) = sim, ). Axiom 2 Similarity of queries). Let q q be two queries, a ocument, a human relevance measurement a system relevance measurement such that q, ) = q, ) q, ) = q, ). sim, ) = sim, ). q, Axiom 3 Similarity of two systems). Let q be a query, a ocument, a human relevance measurement two system relevance measurements such that q, ) = q, ). 2) sim, ) = sim, ). 3) Let us remark that 3) oes not entail 2). Diagrams like those in Figure 2 can be helpful to intuitively unerst the situation: Figures 2a) 2b) represent the cases in which respectively overestimate unerestimate or vice-versa) by the same amount; then the similarity represente in the figure by the two arcs on the right) of the two systems is the same, but obviously 2) oes not hol. Conversely, as state by the axiom, when 2) hols then 3) hols as well Figures 2c) 2)). 5.2 From Similarity to Metric 5.2. Different systems The following axiom sets a constraint on the metric in one of the two last cases of Figure 2 Figures 2c) 2)). Axiom 4 Systems with equal effectiveness). Let q be a query, a ocument, a human relevance measurement two system relevance measurements such that q, ) = q, ). 9
4 a) Divergent b) Divergent c) Overestimate ) Unerestimate Figure 2: Two systems having equal similarity to a) Overestimate b) Unerestimate c) Divergent ) Divergent Figure 3: Two systems with ifferent similarity to We now turn to compare a system measurement for two ocuments. Let us assume, without loss of generality, that is more relevant than ) > )). We can consier two cases: metric, ) = metric, ). Remark. Note that by using, in this axiom, a conition like 2) not like 3) the first two cases of Figure 2 are rule out, inee in those cases we cannot state any constraint on the metric: a recall-oriente metric woul give a higher value to a system overestimating all the ocuments retrieving all ocuments means that recall is ), whereas a precision-oriente metric woul o the opposite. sim, ) > sim, ) see Figure 4a)); sim, ) < sim, ) Figure 4b)). In the first case we have a smaller error in the more relevant ocument a larger error in less relevant ocument. In such a case, no constraint can be state on the metric since, as it is often state, earlier rank positions are more important than later ones. Conversely, the secon case allows to state some axioms. We analyze it we start by observing that, since the system coul overestimate or unerestimate the ocuments, the case of Figure 4b) can be subivie into four cases: Axiom 5 Systems with ifferent effectiveness). Let q be a query, a ocument, a human relevance measurement two system relevance measurements such that sim, ) > sim, ) 4) sim, ) > sim, ). 5) overestimates both see Figure 5a)); unerestimates both Figure 5b)); metric, ) > metric, ). Different ocuments overestimates unerestimates Figure 5c)); Remark 2. Conition 4) means that is less wrong than. The combination of 4) 5) means that the two systems are wrong in the same irection: if overestimates unerestimates), then overestimates unerestimates) it even more. Figures 3a) 3b) show these two cases. Conition 4) rules out the other two situations, shown in Figures 3c) 3), in which no constraint on the metric can be state for the same reasons mentione in Remark. unerestimates overestimates Figure 5)). Only the first two cases allow to express some constraints on the metric, again for the same reason of Remark 2). We analyze the first two cases. Let us start by noting that: if overestimates then sim ), )) < sim ), )); 2 6)
5 a) Both overestimate b) Both unerestimate c) Divergent ) Divergent Figure 5: Four possible cases Figure 6: Critical situation The secon axiom concerns the case of Figure 5b). a) Best similarity top b) Best similarity bottom Axiom 7 Unerestimate ocuments). Let q be a query, two ocuments, a human relevance measurement a system relevance measurements such that Figure 4: Two ocuments with ifferent similarity ) > ), ) > ), if unerestimates then sim ), )) > sim ), )); 7) sim, ) < sim, ), if overestimates then sim ), )) > sim ), )); ) 7) 9) hol i.e., both are unerestimate), then 8) if unerestimates then metric, ) > metric, ). sim ), )) < sim ), )). 9) Remark 3. The conition ) rules out the critical case in which both ocuments are unerestimate but there is a swap as shown in Figure 6. In such a case, although the similarity is higher for, no constraint can be Axiom 6 Overestimate ocuments). Let q be a query, impose on the metric, again for the reason of Remark two ocument, a human relevance measurement about top rank positions. In Axiom 6, this aitional coni a system relevance measurements such that tion is not necessary, because if both ocuments are overestimate similarity is higher for the less relevant ocument, ) > ), then no swap is possible. sim, ) < sim, ) In the following we will nee to write that a metric value We can now state the following two axioms. The first concerns the case of Figure 5a). is more affecte by a ocument than by another ocument. Formally, we efine: 6) 8) hol i.e., both are overestimate), then Definition. We write that metric, ) > metric, ). =metric,) 2
6 if only if metric, ) metric, ) > q,d {} q,d metric, ) metric, ) q,d { } q,d to be rea as affects metric value more than ). Analogously, we will write metric,) we will also use,, with similar meanings. A similar notation hols for queries. Axiom 8 System relevance). Let q be a query, two ocuments, a human relevance measurement a system relevance measurement such that sim, ) = sim, ), ) > ), ) ). ) metric,). This means that if system relevance measures on two ocuments are equally correct, system relevance of is higher than system relevance of, then the effectiveness metric shoul be more affecte by than by provie that is not less relevant than ). As alreay mentione, it is usually state that early rank positions affect a metric value more than later rank positions. This can be erive as a corollary of the previous axiom that states a more general principle, inepenent of the scales) simply by taking scale) = Rank. A symmetric axiom can also be state on user relevance measurement: a metric shoul weigh more, be more affecte, by more relevant ocuments. This is perhaps less intuitive than the previous one, but it oes inee seem natural in this framework. Moreover, it is quite easy for an IRS to evaluate a non-relevant ocument as non-relevant, since the vast majority of ocuments in the atabase are non-relevant. Thus, an IRS stating that a non-relevant ocument is non-relevant is somehow oing an easy job, shoul not be reware too much for it. On the other h it shoul be reware when correctly ientifying a relevant ocument. This is generalize formalize as follows. Axiom 9 User relevance). Let q be a query, two ocuments, a human relevance measurement a system relevance measurement such that: sim, ) = sim, ), ) > ), ) ). 2) metric,). Remark 4. Conitions ) in Axiom 8 2) in Axiom 9 are neee to rule out the case in which the two axioms woul result inconsistent. Finally, the following axiom eals with the last case. Axiom Same relevance). Let q be a query, two ocuments, a human relevance measurement a system relevance measurement such that sim, ) = sim, ). If ) = ) ) = ) then metric,). 5.3 Metrics We now turn to the last set of axioms, that are specifically about metrics. The following axiom formalizes Swets s properties see Section 2). To simplify its formulation we enote by the theoretically worst performance, i.e., the relevance measure that gives the worst possible performance accoring to a given assessor relevance measure. Axiom Zero maximum). An effectiveness metric shoul have a true zero in a maximum value M. The theoretically worst best) performances shoul give M) as the metric value. As a normalization convention let M = such that metric, rangemetric) = [, ], metric, ) =, metric, ) =. Axiom 2 Document monotonicity). Let q be a query, D D two sets of ocuments such that D D =, a human relevance measurement two system relevance measurements such that: metric, ) > metric q,d =) >) q,d, ) 3) metric, ) > metric, ). 4) q,d =) q,d =) metric, ) > metric, ). 5) q,d D =) q,d D >) A similar axiom hols for queries, as follows. Axiom 3 Query monotonicity). Let Q Q be two query sets such that Q Q =, D a ocument set, a human relevance measurement two system relevance measurements such that: metric, ) > metric Q,D =) >) Q,D, ) metric, ) > Q,D =) =) metric, ). Q,D metric, ) > metric, ). Q Q,D =) Q Q,D >) These two last axioms can also be interprete as constraints on the avgd avgq functions, respectively. 6. THEOREMS In this section we emonstrate that the axioms can inee be use to erive further properties as theorems. For space limitations, we show only a few theorems in this section, we sketch only one proof; however, the general iea shoul be clear. We also omit several corollaries that, as alreay hinte above, can be erive for specific scales. In this axiom the equal = less than < signs have obviously to be paire in the appropriate way, row by row. We use this notation for the sake of brevity to avoi to state three ifferent very similar axioms. 22
7 Theorem Unbalance ocument). Let q be a query, D a ocument set, / D a ocument, a human relevance measurement two system relevance measurements such that metric, ) > metric, ) 6) q,d q,d metric, ) metric, ) 7) q,d {} q,d {} i.e., is more effective, accoring to the metric, than on D the situation is reverse on D {}). metric, ) < metric, ) 8) i.e., has to be less effective on q as well). Proof. Let us start by noting that 6) correspons to the first or thir row of) 3). Now, by way of contraiction let us assume that the conclusion 8) oes not hol, i.e., metric, ) metric, ). This correspons to 4), with D = {}, with either > or =. In both cases, Axiom 2 entails that metric q,d {}, ) > metric q,d {}, ) 5) with D = {}), which contraicts 7). A similar theorem, with similar proof omitte), hols for queries, as follows. Theorem 2 Unbalance query). Let Q be a query set, q / Q a query, D a ocument set, a human relevance measurement two system relevance measurements such that metric, ) > metric, ) Q,D Q,D metric, ) metric, ). Q {q},d Q {q},d metric q,d, ) < metric q,d, ). Theorem 3 Consistent subocument set). Let Q be a query set, D a ocument set, a human relevance measurement two system relevance measurements such that metric Q,D, ) > metric Q,D, ). S D metric, ) > metric, ) Q,S Q,S i.e., if is more effective than on D, it has to be more effective on a subset of D as well). Remark 5. Recursively applying this theorem we can erive that there is always at least one ocument in D that is consistent with D. A similar theorem hols for query sets as well. Theorem 4. Let Q be a query set, D a ocument set, a human relevance measurement two system relevance measurements such that q Q, D, metric, ) > metric metric Q,D, ) > metric Q,D, )., ). Theorem 5 Monotonicity of ocuments subsets). Let q be a query, D a ocument set, S a subset of D, a human relevance measurement a system relevance measurement such that S, D\S, D\S, metric, ) > ) metric, ) > q,s ) metric, ). metric, ). q,s { } Remark 6. A similar theorem can be state on queries. 7. CONCLUSIONS AND FUTURE WORK Builing on the framework base on measure, measurement, similarity propose in [6], we have efine some common metrics, propose some axioms erive some theorems on IR effectiveness metrics. More generally, when rea together with [6], the contribution of this paper is fivefol: i) the proposal of using measurement to moel in a uniform way both system output human relevance assessment, the analysis of the ifferent measurement scales use in IR; ii) the notions of similarity among ifferent measurement scales the consequent efinition of metric; iii) the efinitions of some metrics within the framework; iv) the axioms; v) the theorems. Several future evelopments can be imagine, as alreay liste in [6]. For example, ifferent measurement scales have been propose in the literature might be use; axioms for iversity, novelty, session metrics coul be ae, taken into account for specific tasks; so on. It is also possible that ifferent sets of axioms can be ientifie. In this paper we have shown a possible set, inee the axioms in [6] are completely ifferent from those propose here; we leave as future work a etaile comparison of the two sets. The question is left open whether there exist other ifferent sets, if they are equivalent or perhaps even contraictory, but we remark that the combination of this paper [6] emonstrates that the framework is expressive allows to formally reason on effectiveness metrics. Acknowlegments We thank Julio Gonzalo Enrique Amigó for long interesting iscussions, Evangelos Kanoulas Enrique Alfonseca for helping to frame the Axiometrics research project, Arjen e Vries for suggesting the name Axiometrics, organizers of participants to) SWIRL 22. This work has been partially supporte by a Google Research Awar. 8. REFERENCES [] Enrique Amigó, Julio Gonzalo, Javier Artiles, Felisa Verejo. A comparison of extrinsic clustering evaluation metrics base on formal constraints. Information Retrieval, 24):46 486, 29. [2] Enrique Amigó, Julio Gonzalo, Stefano Mizzaro. A general account of effectiveness metrics for information tasks: retrieval, filtering, clustering. In Proceeings of the 37th international ACM SIGIR conference on Research & evelopment in information retrieval, pages ACM, 24. [3] Enrique Amigó, Julio Gonzalo, Felisa Verejo. A comparison of evaluation metrics for ocument filtering. In CLEF, volume 694 of LNCS, pages Springer, 2. 23
8 [4] Enrique Amigó, Julio Gonzalo, Felisa Verejo. A general evaluation measure for ocument organization tasks. In Gareth J. F. Jones, Paraic Sherian, Diane Kelly, Maarten e Rijke, Tetsuya Sakai, eitors, SIGIR, pages ACM, 23. [5] P. Bollmann. Two axioms for evaluation measures in information retrieval. In SIGIR 84, pages , Swinton, UK, 984. British Computer Society. [6] Luca Busin Stefano Mizzaro. Axiometrics: An Axiomatic Approach to Information Retrieval Effectiveness Metrics. In ICTIR 23 Proceeings of the 4th International Conference on the Theory of Information Retrieval, 23. [7] V. Della Mea S. Mizzaro. Measuring retrieval effectiveness: A new proposal a first experimental valiation. Journal of the American Society for Information Science Technology, 556):53 543, 24. [8] G. Demartini S. Mizzaro. A Classification of IR Effectiveness Metrics. In ECIR 26, volume 3936 of LNCS, pages , 26. [9] Hui Fang, Tao Tao, ChengXiang Zhai. A formal stuy of information retrieval heuristics. In SIGIR 4, pages 49 56, New York, NY, USA, 24. ACM. [] Hui Fang ChengXiang Zhai. An exploration of axiomatic approaches to information retrieval. In SIGIR 5, pages , 25. [] Alistair Moffat. Seven numeric properties of effectiveness metrics. In AIRS 3, pages 2, 23. [2] Stanley Smith Stevens. On the theory of scales of measurement. Science, ):677 8, 946. [3] J. A. Swets. Information retrieval systems. Science, 4:245 25, 963. [4] Amos Tversky. Features of similarity. Psychological Review, 844), 977. [5] C. J. van Rijsbergen. Information Retrieval. Butterworths, 2n eition, 979. [6] Wikipeia. Measurement Wikipeia, the free encyclopeia [Last visit: August 23]. [7] Y. Y. Yao. Measuring retrieval effectiveness base on user preference of ocuments. Journal of the American Society for Information Science, 462):33 45,
The Axiometrics Project
The Axiometrics Project Eddy Maddalena and Stefano Mizzaro Department of Mathematics and Computer Science University of Udine Udine, Italy eddy.maddalena@uniud.it, mizzaro@uniud.it Abstract. The evaluation
More informationAxiometrics: Axioms of Information Retrieval Effectiveness Metrics
Proceeings of the Secon Australasian Web Conference (AWC 214), Aucklan, New Zealan Axiometrics: Axioms of Information Retrieval Effectiveness Metrics Ey Maalena Stefano Mizzaro Department of Maths an Computer
More information. Using a multinomial model gives us the following equation for P d. , with respect to same length term sequences.
S 63 Lecture 8 2/2/26 Lecturer Lillian Lee Scribes Peter Babinski, Davi Lin Basic Language Moeling Approach I. Special ase of LM-base Approach a. Recap of Formulas an Terms b. Fixing θ? c. About that Multinomial
More informationThe total derivative. Chapter Lagrangian and Eulerian approaches
Chapter 5 The total erivative 51 Lagrangian an Eulerian approaches The representation of a flui through scalar or vector fiels means that each physical quantity uner consieration is escribe as a function
More informationLinear First-Order Equations
5 Linear First-Orer Equations Linear first-orer ifferential equations make up another important class of ifferential equations that commonly arise in applications an are relatively easy to solve (in theory)
More information6 General properties of an autonomous system of two first order ODE
6 General properties of an autonomous system of two first orer ODE Here we embark on stuying the autonomous system of two first orer ifferential equations of the form ẋ 1 = f 1 (, x 2 ), ẋ 2 = f 2 (, x
More informationRobustness and Perturbations of Minimal Bases
Robustness an Perturbations of Minimal Bases Paul Van Dooren an Froilán M Dopico December 9, 2016 Abstract Polynomial minimal bases of rational vector subspaces are a classical concept that plays an important
More informationinflow outflow Part I. Regular tasks for MAE598/494 Task 1
MAE 494/598, Fall 2016 Project #1 (Regular tasks = 20 points) Har copy of report is ue at the start of class on the ue ate. The rules on collaboration will be release separately. Please always follow the
More informationThe Exact Form and General Integrating Factors
7 The Exact Form an General Integrating Factors In the previous chapters, we ve seen how separable an linear ifferential equations can be solve using methos for converting them to forms that can be easily
More informationSchrödinger s equation.
Physics 342 Lecture 5 Schröinger s Equation Lecture 5 Physics 342 Quantum Mechanics I Wenesay, February 3r, 2010 Toay we iscuss Schröinger s equation an show that it supports the basic interpretation of
More informationLower Bounds for the Smoothed Number of Pareto optimal Solutions
Lower Bouns for the Smoothe Number of Pareto optimal Solutions Tobias Brunsch an Heiko Röglin Department of Computer Science, University of Bonn, Germany brunsch@cs.uni-bonn.e, heiko@roeglin.org Abstract.
More informationOptimization of Geometries by Energy Minimization
Optimization of Geometries by Energy Minimization by Tracy P. Hamilton Department of Chemistry University of Alabama at Birmingham Birmingham, AL 3594-140 hamilton@uab.eu Copyright Tracy P. Hamilton, 1997.
More informationDiagonalization of Matrices Dr. E. Jacobs
Diagonalization of Matrices Dr. E. Jacobs One of the very interesting lessons in this course is how certain algebraic techniques can be use to solve ifferential equations. The purpose of these notes is
More informationComputing Exact Confidence Coefficients of Simultaneous Confidence Intervals for Multinomial Proportions and their Functions
Working Paper 2013:5 Department of Statistics Computing Exact Confience Coefficients of Simultaneous Confience Intervals for Multinomial Proportions an their Functions Shaobo Jin Working Paper 2013:5
More informationChapter 6: Energy-Momentum Tensors
49 Chapter 6: Energy-Momentum Tensors This chapter outlines the general theory of energy an momentum conservation in terms of energy-momentum tensors, then applies these ieas to the case of Bohm's moel.
More informationVectors in two dimensions
Vectors in two imensions Until now, we have been working in one imension only The main reason for this is to become familiar with the main physical ieas like Newton s secon law, without the aitional complication
More informationSurvey Sampling. 1 Design-based Inference. Kosuke Imai Department of Politics, Princeton University. February 19, 2013
Survey Sampling Kosuke Imai Department of Politics, Princeton University February 19, 2013 Survey sampling is one of the most commonly use ata collection methos for social scientists. We begin by escribing
More informationPerfect Matchings in Õ(n1.5 ) Time in Regular Bipartite Graphs
Perfect Matchings in Õ(n1.5 ) Time in Regular Bipartite Graphs Ashish Goel Michael Kapralov Sanjeev Khanna Abstract We consier the well-stuie problem of fining a perfect matching in -regular bipartite
More informationCalculus in the AP Physics C Course The Derivative
Limits an Derivatives Calculus in the AP Physics C Course The Derivative In physics, the ieas of the rate change of a quantity (along with the slope of a tangent line) an the area uner a curve are essential.
More informationInternational Journal of Pure and Applied Mathematics Volume 35 No , ON PYTHAGOREAN QUADRUPLES Edray Goins 1, Alain Togbé 2
International Journal of Pure an Applie Mathematics Volume 35 No. 3 007, 365-374 ON PYTHAGOREAN QUADRUPLES Eray Goins 1, Alain Togbé 1 Department of Mathematics Purue University 150 North University Street,
More informationLeast-Squares Regression on Sparse Spaces
Least-Squares Regression on Sparse Spaces Yuri Grinberg, Mahi Milani Far, Joelle Pineau School of Computer Science McGill University Montreal, Canaa {ygrinb,mmilan1,jpineau}@cs.mcgill.ca 1 Introuction
More informationA Second Time Dimension, Hidden in Plain Sight
A Secon Time Dimension, Hien in Plain Sight Brett A Collins. In this paper I postulate the existence of a secon time imension, making five imensions, three space imensions an two time imensions. I will
More informationA NONLINEAR SOURCE SEPARATION APPROACH FOR THE NICOLSKY-EISENMAN MODEL
6th European Signal Processing Conference EUSIPCO 28, Lausanne, Switzerlan, August 25-29, 28, copyright by EURASIP A NONLINEAR SOURCE SEPARATION APPROACH FOR THE NICOLSKY-EISENMAN MODEL Leonaro Tomazeli
More informationDiscrete Mathematics
Discrete Mathematics 309 (009) 86 869 Contents lists available at ScienceDirect Discrete Mathematics journal homepage: wwwelseviercom/locate/isc Profile vectors in the lattice of subspaces Dániel Gerbner
More informationCalculus of Variations
16.323 Lecture 5 Calculus of Variations Calculus of Variations Most books cover this material well, but Kirk Chapter 4 oes a particularly nice job. x(t) x* x*+ αδx (1) x*- αδx (1) αδx (1) αδx (1) t f t
More information3.7 Implicit Differentiation -- A Brief Introduction -- Student Notes
Fin these erivatives of these functions: y.7 Implicit Differentiation -- A Brief Introuction -- Stuent Notes tan y sin tan = sin y e = e = Write the inverses of these functions: y tan y sin How woul we
More informationAgmon Kolmogorov Inequalities on l 2 (Z d )
Journal of Mathematics Research; Vol. 6, No. ; 04 ISSN 96-9795 E-ISSN 96-9809 Publishe by Canaian Center of Science an Eucation Agmon Kolmogorov Inequalities on l (Z ) Arman Sahovic Mathematics Department,
More informationOn the enumeration of partitions with summands in arithmetic progression
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 8 (003), Pages 149 159 On the enumeration of partitions with summans in arithmetic progression M. A. Nyblom C. Evans Department of Mathematics an Statistics
More informationTransreal Limits and Elementary Functions
Transreal Limits an Elementary Functions Tiago S. os Reis, James A. D. W. Anerson Abstract We exten all elementary functions from the real to the transreal omain so that they are efine on ivision by zero.
More informationFLUCTUATIONS IN THE NUMBER OF POINTS ON SMOOTH PLANE CURVES OVER FINITE FIELDS. 1. Introduction
FLUCTUATIONS IN THE NUMBER OF POINTS ON SMOOTH PLANE CURVES OVER FINITE FIELDS ALINA BUCUR, CHANTAL DAVID, BROOKE FEIGON, MATILDE LALÍN 1 Introuction In this note, we stuy the fluctuations in the number
More informationThe canonical controllers and regular interconnection
Systems & Control Letters ( www.elsevier.com/locate/sysconle The canonical controllers an regular interconnection A.A. Julius a,, J.C. Willems b, M.N. Belur c, H.L. Trentelman a Department of Applie Mathematics,
More informationArmenian Transformation Equations For Relativity
Armenian Transformation Equations For Relativity Robert Nazaryan an Haik Nazaryan 00th Anniversary of the Special Relativity Theory This Research one in Armenia 968-988, Translate from the Armenian Manuscript
More informationA Sketch of Menshikov s Theorem
A Sketch of Menshikov s Theorem Thomas Bao March 14, 2010 Abstract Let Λ be an infinite, locally finite oriente multi-graph with C Λ finite an strongly connecte, an let p
More informationLectures - Week 10 Introduction to Ordinary Differential Equations (ODES) First Order Linear ODEs
Lectures - Week 10 Introuction to Orinary Differential Equations (ODES) First Orer Linear ODEs When stuying ODEs we are consiering functions of one inepenent variable, e.g., f(x), where x is the inepenent
More informationDiophantine Approximations: Examining the Farey Process and its Method on Producing Best Approximations
Diophantine Approximations: Examining the Farey Process an its Metho on Proucing Best Approximations Kelly Bowen Introuction When a person hears the phrase irrational number, one oes not think of anything
More informationAcute sets in Euclidean spaces
Acute sets in Eucliean spaces Viktor Harangi April, 011 Abstract A finite set H in R is calle an acute set if any angle etermine by three points of H is acute. We examine the maximal carinality α() of
More informationEuler equations for multiple integrals
Euler equations for multiple integrals January 22, 2013 Contents 1 Reminer of multivariable calculus 2 1.1 Vector ifferentiation......................... 2 1.2 Matrix ifferentiation........................
More informationSYNCHRONOUS SEQUENTIAL CIRCUITS
CHAPTER SYNCHRONOUS SEUENTIAL CIRCUITS Registers an counters, two very common synchronous sequential circuits, are introuce in this chapter. Register is a igital circuit for storing information. Contents
More informationMath 1B, lecture 8: Integration by parts
Math B, lecture 8: Integration by parts Nathan Pflueger 23 September 2 Introuction Integration by parts, similarly to integration by substitution, reverses a well-known technique of ifferentiation an explores
More informationPeriods of quadratic twists of elliptic curves
Perios of quaratic twists of elliptic curves Vivek Pal with an appenix by Amo Agashe Abstract In this paper we prove a relation between the perio of an elliptic curve an the perio of its real an imaginary
More informationSummary: Differentiation
Techniques of Differentiation. Inverse Trigonometric functions The basic formulas (available in MF5 are: Summary: Differentiation ( sin ( cos The basic formula can be generalize as follows: Note: ( sin
More informationTable of Common Derivatives By David Abraham
Prouct an Quotient Rules: Table of Common Derivatives By Davi Abraham [ f ( g( ] = [ f ( ] g( + f ( [ g( ] f ( = g( [ f ( ] g( g( f ( [ g( ] Trigonometric Functions: sin( = cos( cos( = sin( tan( = sec
More informationImplicit Differentiation
Implicit Differentiation Thus far, the functions we have been concerne with have been efine explicitly. A function is efine explicitly if the output is given irectly in terms of the input. For instance,
More informationLinear and quadratic approximation
Linear an quaratic approximation November 11, 2013 Definition: Suppose f is a function that is ifferentiable on an interval I containing the point a. The linear approximation to f at a is the linear function
More informationComputing Derivatives
Chapter 2 Computing Derivatives 2.1 Elementary erivative rules Motivating Questions In this section, we strive to unerstan the ieas generate by the following important questions: What are alternate notations
More informationA. Incorrect! The letter t does not appear in the expression of the given integral
AP Physics C - Problem Drill 1: The Funamental Theorem of Calculus Question No. 1 of 1 Instruction: (1) Rea the problem statement an answer choices carefully () Work the problems on paper as neee (3) Question
More information19 Eigenvalues, Eigenvectors, Ordinary Differential Equations, and Control
19 Eigenvalues, Eigenvectors, Orinary Differential Equations, an Control This section introuces eigenvalues an eigenvectors of a matrix, an iscusses the role of the eigenvalues in etermining the behavior
More informationSystems & Control Letters
Systems & ontrol Letters ( ) ontents lists available at ScienceDirect Systems & ontrol Letters journal homepage: www.elsevier.com/locate/sysconle A converse to the eterministic separation principle Jochen
More informationLecture 6: Calculus. In Song Kim. September 7, 2011
Lecture 6: Calculus In Song Kim September 7, 20 Introuction to Differential Calculus In our previous lecture we came up with several ways to analyze functions. We saw previously that the slope of a linear
More informationThe derivative of a function f(x) is another function, defined in terms of a limiting expression: f(x + δx) f(x)
Y. D. Chong (2016) MH2801: Complex Methos for the Sciences 1. Derivatives The erivative of a function f(x) is another function, efine in terms of a limiting expression: f (x) f (x) lim x δx 0 f(x + δx)
More informationPDE Notes, Lecture #11
PDE Notes, Lecture # from Professor Jalal Shatah s Lectures Febuary 9th, 2009 Sobolev Spaces Recall that for u L loc we can efine the weak erivative Du by Du, φ := udφ φ C0 If v L loc such that Du, φ =
More informationIntegration Review. May 11, 2013
Integration Review May 11, 2013 Goals: Review the funamental theorem of calculus. Review u-substitution. Review integration by parts. Do lots of integration eamples. 1 Funamental Theorem of Calculus In
More informationLevel Construction of Decision Trees in a Partition-based Framework for Classification
Level Construction of Decision Trees in a Partition-base Framework for Classification Y.Y. Yao, Y. Zhao an J.T. Yao Department of Computer Science, University of Regina Regina, Saskatchewan, Canaa S4S
More informationThis module is part of the. Memobust Handbook. on Methodology of Modern Business Statistics
This moule is part of the Memobust Hanbook on Methoology of Moern Business Statistics 26 March 2014 Metho: Balance Sampling for Multi-Way Stratification Contents General section... 3 1. Summary... 3 2.
More informationWitt#5: Around the integrality criterion 9.93 [version 1.1 (21 April 2013), not completed, not proofread]
Witt vectors. Part 1 Michiel Hazewinkel Sienotes by Darij Grinberg Witt#5: Aroun the integrality criterion 9.93 [version 1.1 21 April 2013, not complete, not proofrea In [1, section 9.93, Hazewinkel states
More informationMathcad Lecture #5 In-class Worksheet Plotting and Calculus
Mathca Lecture #5 In-class Worksheet Plotting an Calculus At the en of this lecture, you shoul be able to: graph expressions, functions, an matrices of ata format graphs with titles, legens, log scales,
More informationBohr Model of the Hydrogen Atom
Class 2 page 1 Bohr Moel of the Hyrogen Atom The Bohr Moel of the hyrogen atom assumes that the atom consists of one electron orbiting a positively charge nucleus. Although it oes NOT o a goo job of escribing
More information18 EVEN MORE CALCULUS
8 EVEN MORE CALCULUS Chapter 8 Even More Calculus Objectives After stuing this chapter you shoul be able to ifferentiate an integrate basic trigonometric functions; unerstan how to calculate rates of change;
More informationIterated Point-Line Configurations Grow Doubly-Exponentially
Iterate Point-Line Configurations Grow Doubly-Exponentially Joshua Cooper an Mark Walters July 9, 008 Abstract Begin with a set of four points in the real plane in general position. A to this collection
More informationd dx But have you ever seen a derivation of these results? We ll prove the first result below. cos h 1
Lecture 5 Some ifferentiation rules Trigonometric functions (Relevant section from Stewart, Seventh Eition: Section 3.3) You all know that sin = cos cos = sin. () But have you ever seen a erivation of
More informationNumerical Integrator. Graphics
1 Introuction CS229 Dynamics Hanout The question of the week is how owe write a ynamic simulator for particles, rigi boies, or an articulate character such as a human figure?" In their SIGGRPH course notes,
More informationA new proof of the sharpness of the phase transition for Bernoulli percolation on Z d
A new proof of the sharpness of the phase transition for Bernoulli percolation on Z Hugo Duminil-Copin an Vincent Tassion October 8, 205 Abstract We provie a new proof of the sharpness of the phase transition
More informationMath 342 Partial Differential Equations «Viktor Grigoryan
Math 342 Partial Differential Equations «Viktor Grigoryan 6 Wave equation: solution In this lecture we will solve the wave equation on the entire real line x R. This correspons to a string of infinite
More informationUNDERSTANDING INTEGRATION
UNDERSTANDING INTEGRATION Dear Reaer The concept of Integration, mathematically speaking, is the "Inverse" of the concept of result, the integration of, woul give us back the function f(). This, in a way,
More informationPermanent vs. Determinant
Permanent vs. Determinant Frank Ban Introuction A major problem in theoretical computer science is the Permanent vs. Determinant problem. It asks: given an n by n matrix of ineterminates A = (a i,j ) an
More informationCrowdsourced Judgement Elicitation with Endogenous Proficiency
Crowsource Jugement Elicitation with Enogenous Proficiency Anirban Dasgupta Arpita Ghosh Abstract Crowsourcing is now wiely use to replace jugement or evaluation by an expert authority with an aggregate
More information05 The Continuum Limit and the Wave Equation
Utah State University DigitalCommons@USU Founations of Wave Phenomena Physics, Department of 1-1-2004 05 The Continuum Limit an the Wave Equation Charles G. Torre Department of Physics, Utah State University,
More informationPolynomial Inclusion Functions
Polynomial Inclusion Functions E. e Weert, E. van Kampen, Q. P. Chu, an J. A. Muler Delft University of Technology, Faculty of Aerospace Engineering, Control an Simulation Division E.eWeert@TUDelft.nl
More informationarxiv: v1 [math.co] 29 May 2009
arxiv:0905.4913v1 [math.co] 29 May 2009 simple Havel-Hakimi type algorithm to realize graphical egree sequences of irecte graphs Péter L. Erős an István Miklós. Rényi Institute of Mathematics, Hungarian
More information2Algebraic ONLINE PAGE PROOFS. foundations
Algebraic founations. Kick off with CAS. Algebraic skills.3 Pascal s triangle an binomial expansions.4 The binomial theorem.5 Sets of real numbers.6 Surs.7 Review . Kick off with CAS Playing lotto Using
More informationWhat s in an Attribute? Consequences for the Least Common Subsumer
What s in an Attribute? Consequences for the Least Common Subsumer Ralf Küsters LuFG Theoretical Computer Science RWTH Aachen Ahornstraße 55 52074 Aachen Germany kuesters@informatik.rwth-aachen.e Alex
More informationThe Non-abelian Hodge Correspondence for Non-Compact Curves
1 Section 1 Setup The Non-abelian Hoge Corresponence for Non-Compact Curves Chris Elliott May 8, 2011 1 Setup In this talk I will escribe the non-abelian Hoge theory of a non-compact curve. This was worke
More informationUnit #6 - Families of Functions, Taylor Polynomials, l Hopital s Rule
Unit # - Families of Functions, Taylor Polynomials, l Hopital s Rule Some problems an solutions selecte or aapte from Hughes-Hallett Calculus. Critical Points. Consier the function f) = 54 +. b) a) Fin
More informationThree-Variable Bracket Polynomial for Two-Bridge Knots
Three-Variable Bracket Polynomial for Two-Brige Knots Matthew Overuin Research Experience for Unergrauates California State University, San Bernarino San Bernarino, CA 92407 August 23, 2013 Abstract In
More informationTwo formulas for the Euler ϕ-function
Two formulas for the Euler ϕ-function Robert Frieman A multiplication formula for ϕ(n) The first formula we want to prove is the following: Theorem 1. If n 1 an n 2 are relatively prime positive integers,
More informationMark J. Machina CARDINAL PROPERTIES OF "LOCAL UTILITY FUNCTIONS"
Mark J. Machina CARDINAL PROPERTIES OF "LOCAL UTILITY FUNCTIONS" This paper outlines the carinal properties of "local utility functions" of the type use by Allen [1985], Chew [1983], Chew an MacCrimmon
More information12.11 Laplace s Equation in Cylindrical and
SEC. 2. Laplace s Equation in Cylinrical an Spherical Coorinates. Potential 593 2. Laplace s Equation in Cylinrical an Spherical Coorinates. Potential One of the most important PDEs in physics an engineering
More informationConstruction of the Electronic Radial Wave Functions and Probability Distributions of Hydrogen-like Systems
Construction of the Electronic Raial Wave Functions an Probability Distributions of Hyrogen-like Systems Thomas S. Kuntzleman, Department of Chemistry Spring Arbor University, Spring Arbor MI 498 tkuntzle@arbor.eu
More informationUpper and Lower Bounds on ε-approximate Degree of AND n and OR n Using Chebyshev Polynomials
Upper an Lower Bouns on ε-approximate Degree of AND n an OR n Using Chebyshev Polynomials Mrinalkanti Ghosh, Rachit Nimavat December 11, 016 1 Introuction The notion of approximate egree was first introuce
More informationLATTICE-BASED D-OPTIMUM DESIGN FOR FOURIER REGRESSION
The Annals of Statistics 1997, Vol. 25, No. 6, 2313 2327 LATTICE-BASED D-OPTIMUM DESIGN FOR FOURIER REGRESSION By Eva Riccomagno, 1 Rainer Schwabe 2 an Henry P. Wynn 1 University of Warwick, Technische
More informationThermal conductivity of graded composites: Numerical simulations and an effective medium approximation
JOURNAL OF MATERIALS SCIENCE 34 (999)5497 5503 Thermal conuctivity of grae composites: Numerical simulations an an effective meium approximation P. M. HUI Department of Physics, The Chinese University
More informationCharacterizing Real-Valued Multivariate Complex Polynomials and Their Symmetric Tensor Representations
Characterizing Real-Value Multivariate Complex Polynomials an Their Symmetric Tensor Representations Bo JIANG Zhening LI Shuzhong ZHANG December 31, 2014 Abstract In this paper we stuy multivariate polynomial
More informationII. First variation of functionals
II. First variation of functionals The erivative of a function being zero is a necessary conition for the etremum of that function in orinary calculus. Let us now tackle the question of the equivalent
More informationTHE GENUINE OMEGA-REGULAR UNITARY DUAL OF THE METAPLECTIC GROUP
THE GENUINE OMEGA-REGULAR UNITARY DUAL OF THE METAPLECTIC GROUP ALESSANDRA PANTANO, ANNEGRET PAUL, AND SUSANA A. SALAMANCA-RIBA Abstract. We classify all genuine unitary representations of the metaplectic
More informationLecture 10 Notes, Electromagnetic Theory II Dr. Christopher S. Baird, faculty.uml.edu/cbaird University of Massachusetts Lowell
Lecture 10 Notes, Electromagnetic Theory II Dr. Christopher S. Bair, faculty.uml.eu/cbair University of Massachusetts Lowell 1. Pre-Einstein Relativity - Einstein i not invent the concept of relativity,
More informationOn the number of isolated eigenvalues of a pair of particles in a quantum wire
On the number of isolate eigenvalues of a pair of particles in a quantum wire arxiv:1812.11804v1 [math-ph] 31 Dec 2018 Joachim Kerner 1 Department of Mathematics an Computer Science FernUniversität in
More informationLower bounds on Locality Sensitive Hashing
Lower bouns on Locality Sensitive Hashing Rajeev Motwani Assaf Naor Rina Panigrahy Abstract Given a metric space (X, X ), c 1, r > 0, an p, q [0, 1], a istribution over mappings H : X N is calle a (r,
More informationMath 210 Midterm #1 Review
Math 20 Miterm # Review This ocument is intene to be a rough outline of what you are expecte to have learne an retaine from this course to be prepare for the first miterm. : Functions Definition: A function
More informationCalculus and optimization
Calculus an optimization These notes essentially correspon to mathematical appenix 2 in the text. 1 Functions of a single variable Now that we have e ne functions we turn our attention to calculus. A function
More informationTopic 7: Convergence of Random Variables
Topic 7: Convergence of Ranom Variables Course 003, 2016 Page 0 The Inference Problem So far, our starting point has been a given probability space (S, F, P). We now look at how to generate information
More informationOnline Appendix for Trade Policy under Monopolistic Competition with Firm Selection
Online Appenix for Trae Policy uner Monopolistic Competition with Firm Selection Kyle Bagwell Stanfor University an NBER Seung Hoon Lee Georgia Institute of Technology September 6, 2018 In this Online
More informationθ x = f ( x,t) could be written as
9. Higher orer PDEs as systems of first-orer PDEs. Hyperbolic systems. For PDEs, as for ODEs, we may reuce the orer by efining new epenent variables. For example, in the case of the wave equation, (1)
More informationHow to Minimize Maximum Regret in Repeated Decision-Making
How to Minimize Maximum Regret in Repeate Decision-Making Karl H. Schlag July 3 2003 Economics Department, European University Institute, Via ella Piazzuola 43, 033 Florence, Italy, Tel: 0039-0-4689, email:
More informationCascaded redundancy reduction
Network: Comput. Neural Syst. 9 (1998) 73 84. Printe in the UK PII: S0954-898X(98)88342-5 Cascae reunancy reuction Virginia R e Sa an Geoffrey E Hinton Department of Computer Science, University of Toronto,
More information3 The variational formulation of elliptic PDEs
Chapter 3 The variational formulation of elliptic PDEs We now begin the theoretical stuy of elliptic partial ifferential equations an bounary value problems. We will focus on one approach, which is calle
More informationMaster Thesis. Modeling and Verification of Extended Timed-Arc Petri Nets
Master Thesis Moeling an Verification of Extene Time-Arc Petri Nets Lasse Jacobsen, Morten Jacobsen & Mikael Harkjær Møller {lassejac, mortenja, mikaelhm}@cs.aau.k Department of Computer Science, Aalborg
More informationDerivatives and the Product Rule
Derivatives an the Prouct Rule James K. Peterson Department of Biological Sciences an Department of Mathematical Sciences Clemson University January 28, 2014 Outline Differentiability Simple Derivatives
More informationALGEBRAIC AND ANALYTIC PROPERTIES OF ARITHMETIC FUNCTIONS
ALGEBRAIC AND ANALYTIC PROPERTIES OF ARITHMETIC FUNCTIONS MARK SCHACHNER Abstract. When consiere as an algebraic space, the set of arithmetic functions equippe with the operations of pointwise aition an
More informationQuantum mechanical approaches to the virial
Quantum mechanical approaches to the virial S.LeBohec Department of Physics an Astronomy, University of Utah, Salt Lae City, UT 84112, USA Date: June 30 th 2015 In this note, we approach the virial from
More informationExperiment I Electric Force
Experiment I Electric Force Twenty-five hunre years ago, the Greek philosopher Thales foun that amber, the harene sap from a tree, attracte light objects when rubbe. Only twenty-four hunre years later,
More information