Báo cáo toán học: "A Mathematical Bibliography of Signed and Gain Graphs and Allied Areas Compiled by Thomas Zaslavsky Manuscript prepared with Marge Pratt" pdf
Báo cáo toán học: "A new proof of the Szegö limit theorem and new results for Toeplitz operators with discontinuous symbol " pptx
Ngày tải lên: 05/08/2014, 09:46
Báo cáo toán học: " A phenomenological model of seizure initiation suggests network structure may explain seizure frequency in idiopathic generalised epilepsy" potx
... circled and the number of graphs within the group is indicated. The remaining 71 graphs are shown as black dots. (b): Example graphs to illustrate the groups identified in (a). Groups of graphs ... frequency of oscillation and the parameter λ determines the possible attractors of the system. The first two terms on the right-hand side of Equation 1 describe a subcritical Ho...
Ngày tải lên: 20/06/2014, 20:20
Báo cáo toán học: " A comparative study of some methods for color medical images segmentation" pptx
... pix- els of a hexagon h to represent the pseudo-center of the gravity of h, denoted by g(h). The dominant color of a hexagon is denoted by c(h) and it represe nts the mean color v ector of the ... advantage of using hexagons instead of pixels as elementary piece of information is that the amount of memory space associated to the graph vertices is reduced. Denoting by...
Ngày tải lên: 20/06/2014, 21:20
Báo cáo toán học: "A new property of the determinant of a perturbation of a weak contraction. (Russian) " ppsx
Ngày tải lên: 05/08/2014, 15:20
Báo cáo toán học: "A complete treatment of low-energy scattering in one dimension " ppsx
Ngày tải lên: 05/08/2014, 15:21
Báo cáo toán học: "A cohomological characterization of finite-dimensional C*-algebras " docx
Ngày tải lên: 05/08/2014, 15:21
Báo cáo khoa học: "A Uniform Treatment of Pragmatic Inferences in Simple and Complex Utterances and Sequences of Utterances" pot
... Lisp with Screamer. This algorithm computes uni- formly pragmatic inferences that are associated with simple and complex utterances and sequences of ut- terances, and allows cancellations of ... 1985. A theory of scalar impli- cature. Technical Report MS-CIS-85-56, Depart- ment of Computer and Information Science, Uni- versity of Pennsylvania. Also published by...
Ngày tải lên: 08/03/2014, 07:20
Báo cáo khoa học: "A Computational Treatment of Korean Temporal Markers, OE and DONGAN" pptx
... is a member of y of type inter. By definition, λxλy. (beg•y ≤ x ≤ end•y) (λxλy. x ⊂ «t » y): inter→inter→p It denotes that x of type inter is included by y of the same type. By definition, ... of both dico and of rules. Since the nuclear sentence of (11) is not modified by quantification, and since it concerns a single event of activity, it receives a se...
Ngày tải lên: 31/03/2014, 03:20
Báo cáo khoa học: "A logical treatment of semi-free word order and bounded discontinuous" pot
... capitals with superscript i denote elements of the i-types with index i. Capital Greek letters denote the class of descriptions of the i-types and lowercase Greek letters denote descriptions of ... Partial Proof Theory We use a partial Hilbert-style proof theory consisting of one rule of inference and many axioms and axiom schema. Space prevents us from presenting...
Ngày tải lên: 01/04/2014, 00:20