Please wait ... |

Jump to content
Change search PrimeFaces.cw("InputText","widget_formSmash_searchField",{id:"formSmash:searchField",widgetVar:"widget_formSmash_searchField"}); Search $(function(){PrimeFaces.cw("DefaultCommand","widget_formSmash_j_idt1678",{id:"formSmash:j_idt1678",widgetVar:"widget_formSmash_j_idt1678",target:"formSmash:searchButton",scope:"formSmash:simpleSearch"});}); Search PrimeFaces.cw("CommandButton","widget_formSmash_searchButton",{id:"formSmash:searchButton",widgetVar:"widget_formSmash_searchButton"});
Only documents with full text in DiVA
PrimeFaces.cw("Fieldset","widget_formSmash_search",{id:"formSmash:search",widgetVar:"widget_formSmash_search",toggleable:true,collapsed:true,toggleSpeed:500,behaviors:{toggle:function(ext) {PrimeFaces.ab({s:"formSmash:search",e:"toggle",f:"formSmash",p:"formSmash:search"},ext);}}});
PrimeFaces.cw("InputText","widget_formSmash_upper_j_idt1209",{id:"formSmash:upper:j_idt1209",widgetVar:"widget_formSmash_upper_j_idt1209"}); More stylesPrimeFaces.cw("InputText","widget_formSmash_upper_j_idt1219",{id:"formSmash:upper:j_idt1219",widgetVar:"widget_formSmash_upper_j_idt1219"}); More languagesCreate PrimeFaces.cw("CommandButton","widget_formSmash_upper_j_idt1228",{id:"formSmash:upper:j_idt1228",widgetVar:"widget_formSmash_upper_j_idt1228"}); Close PrimeFaces.cw("CommandButton","widget_formSmash_upper_j_idt1229",{id:"formSmash:upper:j_idt1229",widgetVar:"widget_formSmash_upper_j_idt1229"});
$(function(){PrimeFaces.cw("Dialog","citationDialog",{id:"formSmash:upper:j_idt1198",widgetVar:"citationDialog",width:"800",height:"600"});});
5 10 20 50 100 250 $(function(){PrimeFaces.cw("SelectOneMenu","widget_formSmash_j_idt1241",{id:"formSmash:j_idt1241",widgetVar:"widget_formSmash_j_idt1241",behaviors:{change:function(ext) {PrimeFaces.ab({s:"formSmash:j_idt1241",e:"change",f:"formSmash",p:"formSmash:j_idt1241"},ext);}}});});
Standard (Relevance) Author A-Ö Author Ö-A Title A-Ö Title Ö-A Publication type A-Ö Publication type Ö-A Issued (Oldest first) Issued (Newest first) Created (Oldest first) Created (Newest first) Last updated (Oldest first) Last updated (Newest first) Disputation date (earliest first) Disputation date (latest first) $(function(){PrimeFaces.cw("SelectOneMenu","widget_formSmash_j_idt1251",{id:"formSmash:j_idt1251",widgetVar:"widget_formSmash_j_idt1251",behaviors:{change:function(ext) {PrimeFaces.ab({s:"formSmash:j_idt1251",e:"change",f:"formSmash",p:"formSmash:j_idt1251"},ext);}}});});
Standard (Relevance) Author A-Ö Author Ö-A Title A-Ö Title Ö-A Publication type A-Ö Publication type Ö-A Issued (Oldest first) Issued (Newest first) Created (Oldest first) Created (Newest first) Last updated (Oldest first) Last updated (Newest first) Disputation date (earliest first) Disputation date (latest first) $(function(){PrimeFaces.cw("SelectOneMenu","widget_formSmash_j_idt1254",{id:"formSmash:j_idt1254",widgetVar:"widget_formSmash_j_idt1254",behaviors:{change:function(ext) {PrimeFaces.ab({s:"formSmash:j_idt1254",e:"change",f:"formSmash",p:"formSmash:j_idt1254"},ext);}}});});
all on this page PrimeFaces.cw("CommandButton","widget_formSmash_j_idt1262",{id:"formSmash:j_idt1262",widgetVar:"widget_formSmash_j_idt1262"}); 250 onwards PrimeFaces.cw("CommandButton","widget_formSmash_j_idt1263",{id:"formSmash:j_idt1263",widgetVar:"widget_formSmash_j_idt1263"});
Clear selection PrimeFaces.cw("CommandButton","widget_formSmash_j_idt1265",{id:"formSmash:j_idt1265",widgetVar:"widget_formSmash_j_idt1265"});
$(function(){PrimeFaces.cw("OverlayPanel","widget_formSmash_j_idt1268",{id:"formSmash:j_idt1268",widgetVar:"widget_formSmash_j_idt1268",target:"formSmash:selectHelpLink",showEffect:"blind",hideEffect:"fade",showCloseIcon:true});});
$(function(){PrimeFaces.cw("DataList","widget_formSmash_items_resultList",{id:"formSmash:items:resultList",widgetVar:"widget_formSmash_items_resultList"});});
PrimeFaces.cw("InputText","widget_formSmash_lower_j_idt1632",{id:"formSmash:lower:j_idt1632",widgetVar:"widget_formSmash_lower_j_idt1632"}); More stylesPrimeFaces.cw("InputText","widget_formSmash_lower_j_idt1642",{id:"formSmash:lower:j_idt1642",widgetVar:"widget_formSmash_lower_j_idt1642"}); More languagesCreate PrimeFaces.cw("CommandButton","widget_formSmash_lower_j_idt1651",{id:"formSmash:lower:j_idt1651",widgetVar:"widget_formSmash_lower_j_idt1651"}); Close PrimeFaces.cw("CommandButton","widget_formSmash_lower_j_idt1652",{id:"formSmash:lower:j_idt1652",widgetVar:"widget_formSmash_lower_j_idt1652"});
$(function(){PrimeFaces.cw("Dialog","citationDialog",{id:"formSmash:lower:j_idt1621",widgetVar:"citationDialog",width:"800",height:"600"});});

Refine search result

CiteExportLink to result list
http://umu.diva-portal.org/smash/resultList.jsf?query=&language=en&searchType=SIMPLE&noOfRows=50&sortOrder=author_sort_asc&sortOrder2=title_sort_asc&onlyFullText=false&sf=all&aq=%5B%5B%7B%22categoryId%22%3A%2211504%22%7D%5D%5D&aqe=%5B%5D&aq2=%5B%5B%5D%5D&af=%5B%5D $(function(){PrimeFaces.cw("InputTextarea","widget_formSmash_upper_j_idt1186_recordPermLink",{id:"formSmash:upper:j_idt1186:recordPermLink",widgetVar:"widget_formSmash_upper_j_idt1186_recordPermLink",autoResize:true});}); $(function(){PrimeFaces.cw("OverlayPanel","widget_formSmash_upper_j_idt1186_j_idt1188",{id:"formSmash:upper:j_idt1186:j_idt1188",widgetVar:"widget_formSmash_upper_j_idt1186_j_idt1188",target:"formSmash:upper:j_idt1186:permLink",showEffect:"blind",hideEffect:"fade",my:"right top",at:"right bottom",showCloseIcon:true});});

Permanent link

Cite

Citation styleapa ieee modern-language-association-8th-edition vancouver Other style $(function(){PrimeFaces.cw("SelectOneMenu","widget_formSmash_upper_j_idt1204",{id:"formSmash:upper:j_idt1204",widgetVar:"widget_formSmash_upper_j_idt1204",behaviors:{change:function(ext) {PrimeFaces.ab({s:"formSmash:upper:j_idt1204",e:"change",f:"formSmash",p:"formSmash:upper:j_idt1204",u:"formSmash:upper:otherStyle"},ext);}}});});

- apa
- ieee
- modern-language-association-8th-edition
- vancouver
- Other style

Languagede-DE en-GB en-US fi-FI nn-NO nn-NB sv-SE Other locale $(function(){PrimeFaces.cw("SelectOneMenu","widget_formSmash_upper_j_idt1215",{id:"formSmash:upper:j_idt1215",widgetVar:"widget_formSmash_upper_j_idt1215",behaviors:{change:function(ext) {PrimeFaces.ab({s:"formSmash:upper:j_idt1215",e:"change",f:"formSmash",p:"formSmash:upper:j_idt1215",u:"formSmash:upper:otherLanguage"},ext);}}});});

- de-DE
- en-GB
- en-US
- fi-FI
- nn-NO
- nn-NB
- sv-SE
- Other locale

Output formathtml text asciidoc rtf $(function(){PrimeFaces.cw("SelectOneMenu","widget_formSmash_upper_j_idt1225",{id:"formSmash:upper:j_idt1225",widgetVar:"widget_formSmash_upper_j_idt1225"});});

- html
- text
- asciidoc
- rtf

Rows per page

- 5
- 10
- 20
- 50
- 100
- 250

Sort

- Standard (Relevance)
- Author A-Ö
- Author Ö-A
- Title A-Ö
- Title Ö-A
- Publication type A-Ö
- Publication type Ö-A
- Issued (Oldest first)
- Issued (Newest first)
- Created (Oldest first)
- Created (Newest first)
- Last updated (Oldest first)
- Last updated (Newest first)
- Disputation date (earliest first)
- Disputation date (latest first)

- Standard (Relevance)
- Author A-Ö
- Author Ö-A
- Title A-Ö
- Title Ö-A
- Publication type A-Ö
- Publication type Ö-A
- Issued (Oldest first)
- Issued (Newest first)
- Created (Oldest first)
- Created (Newest first)
- Last updated (Oldest first)
- Last updated (Newest first)
- Disputation date (earliest first)
- Disputation date (latest first)

Select

The maximal number of hits you can export is 250. When you want to export more records please use the Create feeds function.

1. On the complexity of variants of the <em>k</em> Best strings problem Berglund, Martin PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_0_j_idt1289",{id:"formSmash:items:resultList:0:j_idt1289",widgetVar:"widget_formSmash_items_resultList_0_j_idt1289",onLabel:"Berglund, Martin ",offLabel:"Berglund, Martin ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_0_j_idt1292",{id:"formSmash:items:resultList:0:j_idt1292",widgetVar:"widget_formSmash_items_resultList_0_j_idt1292",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Umeå University, Faculty of Science and Technology, Department of Computing Science.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:0:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Drewes, FrankUmeå University, Faculty of Science and Technology, Department of Computing Science.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:0:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); On the complexity of variants of the*k*Best strings problem2010In: Proceedings of the Prague stringology conference 2010, dblp , 2010, p. 76-88Conference paper (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_0_j_idt1327_0_j_idt1328",{id:"formSmash:items:resultList:0:j_idt1327:0:j_idt1328",widgetVar:"widget_formSmash_items_resultList_0_j_idt1327_0_j_idt1328",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); We investigate the problem of extracting the k best strings from a nondeterministic weighted automaton over a semiring S. This problem, which has been considered earlier in the literature, is more difficult than extracting the k best runs, since distinct runs may not correspond to distinct strings. Unsurprisingly, the computational complexity of the problem depends on the semiring S used. We study three different cases, namely the tropical and complex tropical semirings, and the semiring of positive real numbers. For the first case, we establish a polynomial algorithm. For the second and third cases, NP-completeness and undecidability results are shown.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:0:j_idt1327:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 2. A non-symmetric matrix with integer eigenvalues Bondesson, Lennart PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_1_j_idt1289",{id:"formSmash:items:resultList:1:j_idt1289",widgetVar:"widget_formSmash_items_resultList_1_j_idt1289",onLabel:"Bondesson, Lennart ",offLabel:"Bondesson, Lennart ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_1_j_idt1292",{id:"formSmash:items:resultList:1:j_idt1292",widgetVar:"widget_formSmash_items_resultList_1_j_idt1292",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Umeå University, Faculty of Science and Technology, Department of Mathematics and Mathematical Statistics.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:1:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Traat, ImbiInstitute of Mathematical Statistics , University of Tartu , 50409 Tartu, Estonia.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:1:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); A non-symmetric matrix with integer eigenvalues2007In: Linear and Multilinear Algebra, ISSN 0308-1087, 1563-5139, Vol. 55, no 3, p. 239-247Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_1_j_idt1327_0_j_idt1328",{id:"formSmash:items:resultList:1:j_idt1327:0:j_idt1328",widgetVar:"widget_formSmash_items_resultList_1_j_idt1327_0_j_idt1328",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); A nonsymmetric

*N*×*N*matrix with elements as certain simple functions of*N*distinct real or complex numbers*r*_{1},*r*_{2}, …,*r*is presented. The matrix is special due to its eigenvalues − the consecutive integers 0,1,2, …,_{N}*N*−1. Theorems are given establishing explicit expressions of the right and left eigenvectors and formulas for recursive calculation of the right eigenvectors. A special case of the matrix has appeared in sampling theory where its right eigenvectors, if properly normalized, give the inclusion probabilities of the conditional Poisson sampling design.PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:1:j_idt1327:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 3. Parallel Scientific Computing and Optimization Ciegis, Raimondas PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_2_j_idt1289",{id:"formSmash:items:resultList:2:j_idt1289",widgetVar:"widget_formSmash_items_resultList_2_j_idt1289",onLabel:"Ciegis, Raimondas ",offLabel:"Ciegis, Raimondas ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_2_j_idt1292",{id:"formSmash:items:resultList:2:j_idt1292",widgetVar:"widget_formSmash_items_resultList_2_j_idt1292",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Vilnius Gediminas Technical University, Lithuania.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:2:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Henty, DavidUniversity of Edingburg, UK.Kågström, BoUmeå University, Faculty of Science and Technology, Department of Computing Science. Umeå University, Faculty of Science and Technology, High Performance Computing Center North (HPC2N).Zilinskas, JuliusVilnius Gediminas Technical University, Lithuania.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:2:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Parallel Scientific Computing and Optimization: Advances with Applications2009Book (Other academic)4. An algebra of polyanalytic functions Daghighi, Abtin PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_3_j_idt1289",{id:"formSmash:items:resultList:3:j_idt1289",widgetVar:"widget_formSmash_items_resultList_3_j_idt1289",onLabel:"Daghighi, Abtin ",offLabel:"Daghighi, Abtin ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_3_j_idt1292",{id:"formSmash:items:resultList:3:j_idt1292",widgetVar:"widget_formSmash_items_resultList_3_j_idt1292",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Umeå University, Faculty of Science and Technology, Department of Mathematics and Mathematical Statistics.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:3:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Gauthier, Paul M.Université de Montréal, Montréal, Canada.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:3:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); An algebra of polyanalytic functions2021In: Colloquium Mathematicum, ISSN 0010-1354, E-ISSN 1730-6302, Vol. 165, no 2, p. 225-240Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_3_j_idt1327_0_j_idt1328",{id:"formSmash:items:resultList:3:j_idt1327:0:j_idt1328",widgetVar:"widget_formSmash_items_resultList_3_j_idt1327_0_j_idt1328",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); The most important uniform algebra is the family of continuous functions on a compact subset K of the complex plane C which are analytic on the interior int(K). For polyanalytic functions and compact sets K which are regular (i.e. K = int(K)), we introduce analogous spaces, which are Banach spaces with respect to the sup-norm, but are not closed with respect to the usual pointwise multiplication. We introduce a multiplication on these spaces and investigate the resulting algebras.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:3:j_idt1327:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 5. Structure preserving stratification of skew-symmetric matrix polynomials Dmytryshyn, Andrii PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_4_j_idt1289",{id:"formSmash:items:resultList:4:j_idt1289",widgetVar:"widget_formSmash_items_resultList_4_j_idt1289",onLabel:"Dmytryshyn, Andrii ",offLabel:"Dmytryshyn, Andrii ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Umeå University, Faculty of Science and Technology, Department of Computing Science.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:4:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:4:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Structure preserving stratification of skew-symmetric matrix polynomials2017In: Linear Algebra and its Applications, ISSN 0024-3795, E-ISSN 1873-1856, Vol. 532, p. 266-286Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_4_j_idt1327_0_j_idt1328",{id:"formSmash:items:resultList:4:j_idt1327:0:j_idt1328",widgetVar:"widget_formSmash_items_resultList_4_j_idt1327_0_j_idt1328",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); We study how elementary divisors and minimal indices of a skew-symmetric matrix polynomial of odd degree may change under small perturbations of the matrix coefficients. We investigate these changes qualitatively by constructing the stratifications (closure hierarchy graphs) of orbits and bundles for skew-symmetric linearizations. We also derive the necessary and sufficient conditions for the existence of a skew-symmetric matrix polynomial with prescribed degree, elementary divisors, and minimal indices.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:4:j_idt1327:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 6. Generic skew-symmetric matrix polynomials with fixed rank and fixed odd grade Dmytryshyn, Andrii PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_5_j_idt1289",{id:"formSmash:items:resultList:5:j_idt1289",widgetVar:"widget_formSmash_items_resultList_5_j_idt1289",onLabel:"Dmytryshyn, Andrii ",offLabel:"Dmytryshyn, Andrii ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_5_j_idt1292",{id:"formSmash:items:resultList:5:j_idt1292",widgetVar:"widget_formSmash_items_resultList_5_j_idt1292",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Umeå University, Faculty of Science and Technology, Department of Computing Science.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:5:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Dopico, FroilánUniversidad Carlos III de Madrid.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:5:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Generic skew-symmetric matrix polynomials with fixed rank and fixed odd grade2018In: Linear Algebra and its Applications, ISSN 0024-3795, E-ISSN 1873-1856, Vol. 536, p. 1-18Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_5_j_idt1327_0_j_idt1328",{id:"formSmash:items:resultList:5:j_idt1327:0:j_idt1328",widgetVar:"widget_formSmash_items_resultList_5_j_idt1327_0_j_idt1328",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); We show that the set of m×m complex skew-symmetric matrix polynomials of odd grade

*d*, i.e., of degree at most*d*, and (normal) rank at most 2*r*is the closure of the single set of matrix polynomials with the certain, explicitly described, complete eigenstructure. This complete eigenstructure corresponds to the most generic m×m complex skew-symmetric matrix polynomials of odd grade*d*and rank at most 2*r*. In particular, this result includes the case of skew-symmetric matrix pencils (d=1).PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:5:j_idt1327:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 7. Quantifiers and n-ary Binders: An OpenMath Standard Enhancement Proposal Hellström, Lars PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_6_j_idt1289",{id:"formSmash:items:resultList:6:j_idt1289",widgetVar:"widget_formSmash_items_resultList_6_j_idt1289",onLabel:"Hellström, Lars ",offLabel:"Hellström, Lars ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Umeå University, Faculty of Science and Technology, Department of Mathematics and Mathematical Statistics.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:6:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:6:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Quantifiers and n-ary Binders: An OpenMath Standard Enhancement Proposal2013In: CICM-WS-WiP 2013: Workshops and Work in Progress at CICM, 2013, article id 21Conference paper (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_6_j_idt1327_0_j_idt1328",{id:"formSmash:items:resultList:6:j_idt1327:0:j_idt1328",widgetVar:"widget_formSmash_items_resultList_6_j_idt1327_0_j_idt1328",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); It is proposed that the restriction in the OpenMath standard that an OMBIND element must have exactly three children should be lifted, to support more general binder symbols. The case of logics with generalised quantifiers is described in some detail, since these turn out to not have a natural encoding within OpenMath 2.0, because of precisely this restriction. That restricting quantifiers to a single body should have such consequences is not trivial, but follows from a theorem in the Logic branch of Philosophy.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:6:j_idt1327:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 8. The complete parsimony haplotype inference problem and algorithms based on integer programming, branch-and-bound and Boolean satisfiability Jäger, Gerold PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_7_j_idt1289",{id:"formSmash:items:resultList:7:j_idt1289",widgetVar:"widget_formSmash_items_resultList_7_j_idt1289",onLabel:"Jäger, Gerold ",offLabel:"Jäger, Gerold ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_7_j_idt1292",{id:"formSmash:items:resultList:7:j_idt1292",widgetVar:"widget_formSmash_items_resultList_7_j_idt1292",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:7:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Climer, SharleeZhang, WeixiongPrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:7:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); The complete parsimony haplotype inference problem and algorithms based on integer programming, branch-and-bound and Boolean satisfiability2016In: Journal of Discrete Algorithms, ISSN 1570-8667, E-ISSN 1570-8675, Vol. 37, p. 68-83Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_7_j_idt1327_0_j_idt1328",{id:"formSmash:items:resultList:7:j_idt1327:0:j_idt1328",widgetVar:"widget_formSmash_items_resultList_7_j_idt1327_0_j_idt1328",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Haplotype inference by pure parsimony (HIPP) is a well-known paradigm for haplotype inference. In order to assess the biological significance of this paradigm, we generalize the problem of HIPP to the problem of finding all optimal solutions, which we call CHIPP. We study intrinsic haplotype features, such as backbone haplotypes and fat genotypesas well as equal columns and decomposability. We explicitly exploit these features in three computational approaches that are based on integer linear programming, depth-first branch-and-bound, and Boolean satisfiability. Further we introduce two hybrid algorithms that draw upon the diverse strengths of the approaches. Our experimental analysis shows that our optimized algorithms are significantly superior to the baseline algorithms, often with orders of magnitude faster running time. Finally, our experiments provide some useful insights into the intrinsic features of this important problem.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:7:j_idt1327:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 9. A semantic approach to nonmonotonic reasoning Lindström, Sten PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_8_j_idt1289",{id:"formSmash:items:resultList:8:j_idt1289",widgetVar:"widget_formSmash_items_resultList_8_j_idt1289",onLabel:"Lindström, Sten ",offLabel:"Lindström, Sten ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Umeå University, Faculty of Arts, Department of historical, philosophical and religious studies.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:8:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:8:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); A semantic approach to nonmonotonic reasoning: inference operations and choice2022In: Theoria, ISSN 0040-5825, E-ISSN 1755-2567, Vol. 88, no 3, p. 494-528Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_8_j_idt1327_0_j_idt1328",{id:"formSmash:items:resultList:8:j_idt1327:0:j_idt1328",widgetVar:"widget_formSmash_items_resultList_8_j_idt1327_0_j_idt1328",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); This paper presents a uniform semantic treatment of nonmonotonic inference operations that allow for inferences from

*infinite*sets of premisses. The semantics is formulated in terms of*selection functions*and is a generalisation of the*preferential semantics*of Shoham, Kraus et al., and Makinson. A selection function picks out from a given set of possible states (worlds, situations, models) a subset consisting of those states that are, in some sense, the most preferred ones. A proposition α is a*nonmonotonic consequence*of a set of propositions Γ iff α holds in all the most preferred Γ-states. In the literature on revealed preference theory, there are a number of well-known theorems concerning the representability of selection functions, satisfying certain properties, in terms of underlying preference relations. Such theorems are utilised here to give corresponding representation theorems for nonmonotonic inference operations. At the end of the paper, the connection between nonmonotonic inference and belief revision, in the sense of Alchourrón, Gärdenfors, and Makinson, is explored. In this connection,*infinitary belief revision operations*, that allow for the revision of a theory with a possibly infinite set of propositions, are introduced and characterised axiomatically. Several semantic representation theorems are proved for operations of this kind.PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:8:j_idt1327:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Download full text (pdf)fulltext$(function(){PrimeFaces.cw("Tooltip","widget_formSmash_items_resultList_8_j_idt1552_0_j_idt1555",{id:"formSmash:items:resultList:8:j_idt1552:0:j_idt1555",widgetVar:"widget_formSmash_items_resultList_8_j_idt1552_0_j_idt1555",showEffect:"fade",hideEffect:"fade",target:"formSmash:items:resultList:8:j_idt1552:0:fullText"});}); 10. Introduction Lindström, Sten PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_9_j_idt1289",{id:"formSmash:items:resultList:9:j_idt1289",widgetVar:"widget_formSmash_items_resultList_9_j_idt1289",onLabel:"Lindström, Sten ",offLabel:"Lindström, Sten ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Umeå University, Faculty of Arts, Department of historical, philosophical and religious studies.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:9:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:9:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Introduction2012In: Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf / [ed] Dybjer, P.; Lindström, S.; Palmgren, E.; Sundholm, G., Dordrecht: Springer, 2012, p. vii-xivChapter in book (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_9_j_idt1327_0_j_idt1328",{id:"formSmash:items:resultList:9:j_idt1327:0:j_idt1328",widgetVar:"widget_formSmash_items_resultList_9_j_idt1327_0_j_idt1328",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and epistemological views that are reflected in this opposition. The dominant foundational framework for current mathematics is classical logic and set theory with the axiom of choice (ZFC). This framework is, however, laden with philosophical difficulties. One important alternative foundational programme that is actively pursued today is predicativistic constructivism based on Martin-Löf type theory. Associated philosophical foundations are meaning theories in the tradition of Wittgenstein, Dummett, Prawitz and Martin-Löf. What is the relation between proof-theoretical semantics in the tradition of Gentzen, Prawitz, and Martin-Löf and Wittgensteinian or other accounts of meaning-as-use? What can proof-theoretical analyses tell us about the scope and limits of constructive and predicative mathematics?

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:9:j_idt1327:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 11. Strong forms of stability from flag algebra calculations Pikhurko, Oleget al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_10_j_idt1292",{id:"formSmash:items:resultList:10:j_idt1292",widgetVar:"widget_formSmash_items_resultList_10_j_idt1292",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:10:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Sliačan, JakubUmeå University, Faculty of Science and Technology, Department of Mathematics and Mathematical Statistics.Tyros, KonstantinosPrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:10:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Strong forms of stability from flag algebra calculations2019In: Journal of combinatorial theory. Series B (Print), ISSN 0095-8956, E-ISSN 1096-0902, Vol. 135, p. 129-178Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_10_j_idt1327_0_j_idt1328",{id:"formSmash:items:resultList:10:j_idt1327:0:j_idt1328",widgetVar:"widget_formSmash_items_resultList_10_j_idt1327_0_j_idt1328",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Given a hereditary family g of admissible graphs and a function lambda(G) that linearly depends on the statistics of order-k subgraphs in a graph G, we consider the extremal problem of determining lambda(n, g), the maximum of lambda(G) over all admissible graphs G of order n. We call the problem perfectly B-stable for a graph B if there is a constant C such that every admissible graph G of order n >= C can be made into a blow-up of B by changing at most C(lambda(n, g) - lambda(G)) (n 2) adjacencies. As special cases, this property describes all almost extremal graphs of order n within o(n(2)) edges and shows that every extremal graph of order n >= C is a blow-up of B. We develop general methods for establishing stability-type results from flag algebra computations and apply them to concrete examples. In fact, one of our sufficient conditions for perfect stability is stated in a way that allows automatic verification by a computer. This gives a unifying way to obtain computer-assisted proofs of many new results.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:10:j_idt1327:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 12. The linear algebra mapping problem Psarras, Christos PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_11_j_idt1289",{id:"formSmash:items:resultList:11:j_idt1289",widgetVar:"widget_formSmash_items_resultList_11_j_idt1289",onLabel:"Psarras, Christos ",offLabel:"Psarras, Christos ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_11_j_idt1292",{id:"formSmash:items:resultList:11:j_idt1292",widgetVar:"widget_formSmash_items_resultList_11_j_idt1292",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); RWTH Aachen University, Aachen, Germany.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:11:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Barthels, HenrikRWTH Aachen University, Aachen, Germany.Bientinesi, PaoloUmeå University, Faculty of Science and Technology, Department of Computing Science. Umeå University, Faculty of Science and Technology, High Performance Computing Center North (HPC2N).PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:11:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); The linear algebra mapping problem: Current state of linear algebra languages and libraries2022In: ACM Transactions on Mathematical Software, ISSN 0098-3500, E-ISSN 1557-7295, Vol. 48, no 3, article id 3549935Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_11_j_idt1327_0_j_idt1328",{id:"formSmash:items:resultList:11:j_idt1327:0:j_idt1328",widgetVar:"widget_formSmash_items_resultList_11_j_idt1327_0_j_idt1328",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); We observe a disconnect between developers and end-users of linear algebra libraries. On the one hand, developers invest significant effort in creating sophisticated numerical kernels. On the other hand, end-users are progressively less likely to go through the time consuming process of directly using said kernels; instead, languages and libraries, which offer a higher level of abstraction, are becoming increasingly popular. These languages offer mechanisms that internally map the input program to lower level kernels. Unfortunately, our experience suggests that, in terms of performance, this translation is typically suboptimal.

In this paper, we define the problem of mapping a linear algebra expression to a set of available building blocks as the "Linear Algebra Mapping Problem"(LAMP); we discuss its NP-complete nature, and investigate how effectively a benchmark of test problems is solved by popular high-level programming languages and libraries. Specifically, we consider Matlab, Octave, Julia, R, Armadillo (C++), Eigen (C++), and NumPy (Python); the benchmark is meant to test both compiler optimizations, as well as linear algebra specific optimizations, such as the optimal parenthesization of matrix products. The aim of this study is to facilitate the development of languages and libraries that support linear algebra computations.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:11:j_idt1327:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 13. The Abel-Ruffini Theorem Sjöblom, Axel PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_12_j_idt1289",{id:"formSmash:items:resultList:12:j_idt1289",widgetVar:"widget_formSmash_items_resultList_12_j_idt1289",onLabel:"Sjöblom, Axel ",offLabel:"Sjöblom, Axel ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:12:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:12:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); The Abel-Ruffini Theorem: The insolvability of the general quintic equation by radicals2024Independent thesis Basic level (degree of Bachelor), 10 credits / 15 HE creditsStudent thesisAbstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_12_j_idt1327_0_j_idt1328",{id:"formSmash:items:resultList:12:j_idt1327:0:j_idt1328",widgetVar:"widget_formSmash_items_resultList_12_j_idt1327_0_j_idt1328",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); This thesis explores the topic of Galois theory at a relatively introductory level with the goal of proving the Abel Ruffini theorem. In the first part algebraic structures are considered: groups, ring, fields, etc. Following this, polynomial rings are introduced and the attention is then turned to finite field-extensions. In the final section of the main text solvable extensions are studied and the Abel-Ruffini theorem is proved. The discussion section gives a brief overview of analytic methods of solving polynomial-equations.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:12:j_idt1327:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Download full text (pdf)fulltext$(function(){PrimeFaces.cw("Tooltip","widget_formSmash_items_resultList_12_j_idt1552_0_j_idt1555",{id:"formSmash:items:resultList:12:j_idt1552:0:j_idt1555",widgetVar:"widget_formSmash_items_resultList_12_j_idt1552_0_j_idt1555",showEffect:"fade",hideEffect:"fade",target:"formSmash:items:resultList:12:j_idt1552:0:fullText"});}); 14. Exercising mathematical competence Säfström, Anna Ida PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_13_j_idt1289",{id:"formSmash:items:resultList:13:j_idt1289",widgetVar:"widget_formSmash_items_resultList_13_j_idt1289",onLabel:"Säfström, Anna Ida ",offLabel:"Säfström, Anna Ida ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Department of Mathematical Sciences, University of Gothenburg, Gothenburg, Sweden.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:13:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:13:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Exercising mathematical competence: practising representation theory and representing mathematical practice2013Doctoral thesis, comprehensive summary (Other academic)15. Tensor products of highest weight representations and skew-symmetric matrix equations A+B+C=0 Säfström, Anna Ida PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_14_j_idt1289",{id:"formSmash:items:resultList:14:j_idt1289",widgetVar:"widget_formSmash_items_resultList_14_j_idt1289",onLabel:"Säfström, Anna Ida ",offLabel:"Säfström, Anna Ida ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Institutionen för matematiska vetenskaper, Göteborgs universitet, Göteborg, Sverige.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:14:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:14:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Tensor products of highest weight representations and skew-symmetric matrix equations A+B+C=02010Licentiate thesis, monograph (Other academic)16. Streaming Low-Rank Matrix Approximation with an Application to Scientific Simulation Tropp, Joel A.et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_15_j_idt1292",{id:"formSmash:items:resultList:15:j_idt1292",widgetVar:"widget_formSmash_items_resultList_15_j_idt1292",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:15:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Yurtsever, AlpUdell, MadeleineCevher, VolkanPrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:15:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Streaming Low-Rank Matrix Approximation with an Application to Scientific Simulation2019In: SIAM Journal on Scientific Computing, ISSN 1064-8275, E-ISSN 1095-7197, Vol. 41, no 4, p. A2430-A2463Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_15_j_idt1327_0_j_idt1328",{id:"formSmash:items:resultList:15:j_idt1327:0:j_idt1328",widgetVar:"widget_formSmash_items_resultList_15_j_idt1327_0_j_idt1328",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); This paper argues that randomized linear sketching is a natural tool for on-the-fly compression of data matrices that arise from large-scale scientific simulations and data collection. The technical contribution consists in a new algorithm for constructing an accurate low-rank approximation of a matrix from streaming data. This method is accompanied by an a priori analysis that allows the user to set algorithm parameters with confidence and an a posteriori error estimator that allows the user to validate the quality of the reconstructed matrix. In comparison to previous techniques, the new method achieves smaller relative approximation errors and is less sensitive to parameter choices. As concrete applications, the paper outlines how the algorithm can be used to compress a Navier--Stokes simulation and a sea surface temperature dataset.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:15:j_idt1327:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 17. Hierarchically Organizing Data Using a Partial Least Squares Analysis (PLS-Trees) Trygg, Johan PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_16_j_idt1289",{id:"formSmash:items:resultList:16:j_idt1289",widgetVar:"widget_formSmash_items_resultList_16_j_idt1289",onLabel:"Trygg, Johan ",offLabel:"Trygg, Johan ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_16_j_idt1292",{id:"formSmash:items:resultList:16:j_idt1292",widgetVar:"widget_formSmash_items_resultList_16_j_idt1292",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Umeå University, Faculty of Science and Technology, Department of Chemistry.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:16:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Wold, SvanteUmeå University, Faculty of Science and Technology, Department of Chemistry. Umetrics AB.Eriksson, LennartUmetrics AB.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:16:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Hierarchically Organizing Data Using a Partial Least Squares Analysis (PLS-Trees)2009Patent (Other (popular science, discussion, etc.))Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_16_j_idt1327_0_j_idt1328",{id:"formSmash:items:resultList:16:j_idt1327:0:j_idt1328",widgetVar:"widget_formSmash_items_resultList_16_j_idt1327_0_j_idt1328",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); **Abstract:**A method and system for partitioning (clustering) large amounts of data in a relatively short processing time. The method involves providing a first data matrix and a second data matrix where each of the first and second data matrices includes one or more variables, and a plurality of data points. The method also involves determining a first score from the first data matrix using a partial least squares (PLS) analysis or orthogonal PLS (OPLS) analysis and partitioning the first and second data matrices (e.g., row-wise) into a first group and a second group based on the sorted first score, the variance of the first data matrix, and a variance of the first and second groups relative to the variances of the first and second data matrices.PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:16:j_idt1327:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 18. Extension of matrix pencil reduction to abelian categories Verdier, Olivier PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_17_j_idt1289",{id:"formSmash:items:resultList:17:j_idt1289",widgetVar:"widget_formSmash_items_resultList_17_j_idt1289",onLabel:"Verdier, Olivier ",offLabel:"Verdier, Olivier ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Umeå University, Faculty of Science and Technology, Department of Mathematics and Mathematical Statistics. Department of Computing, Mathematics and Physics, Western Norway University of Applied Sciences, Bergen, Norway.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:17:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:17:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Extension of matrix pencil reduction to abelian categories2018In: Journal of Algebra and its Applications, ISSN 0219-4988, E-ISSN 1793-6829, Vol. 17, no 4, article id 1850062Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_17_j_idt1327_0_j_idt1328",{id:"formSmash:items:resultList:17:j_idt1327:0:j_idt1328",widgetVar:"widget_formSmash_items_resultList_17_j_idt1327_0_j_idt1328",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Matrix pencils, or pairs of matrices, are used in a variety of applications. By the Kronecker decomposition theorem, they admit a normal form. This normal form consists of four parts, one part based on the Jordan canonical form, one part made of nilpotent matrices, and two other dual parts, which we call the observation and control part. The goal of this paper is to show that large portions of that decomposition are still valid for pairs of morphisms of modules or abelian groups, and more generally in any abelian category. In the vector space case, we recover the full Kronecker decomposition theorem. The main technique is that of reduction, which extends readily to the abelian category case. Reductions naturally arise in two flavors, which are dual to each other. There are a number of properties of those reductions which extend remarkably from the vector space case to abelian categories. First, both types of reduction commute. Second, at each step of the reduction, one can compute three sequences of invariant spaces (objects in the category), which generalize the Kronecker decomposition into nilpotent, observation and control blocks. These sequences indicate whether the system is reduced in one direction or the other. In the category of modules, there is also a relation between these sequences and the resolvent set of the pair of morphisms, which generalizes the regular pencil theorem. We also indicate how this allows to define invariant subspaces in the vector space case, and study the notion of strangeness as an example.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:17:j_idt1327:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500});

CiteExportLink to result list
http://umu.diva-portal.org/smash/resultList.jsf?query=&language=en&searchType=SIMPLE&noOfRows=50&sortOrder=author_sort_asc&sortOrder2=title_sort_asc&onlyFullText=false&sf=all&aq=%5B%5B%7B%22categoryId%22%3A%2211504%22%7D%5D%5D&aqe=%5B%5D&aq2=%5B%5B%5D%5D&af=%5B%5D $(function(){PrimeFaces.cw("InputTextarea","widget_formSmash_lower_j_idt1609_recordPermLink",{id:"formSmash:lower:j_idt1609:recordPermLink",widgetVar:"widget_formSmash_lower_j_idt1609_recordPermLink",autoResize:true});}); $(function(){PrimeFaces.cw("OverlayPanel","widget_formSmash_lower_j_idt1609_j_idt1611",{id:"formSmash:lower:j_idt1609:j_idt1611",widgetVar:"widget_formSmash_lower_j_idt1609_j_idt1611",target:"formSmash:lower:j_idt1609:permLink",showEffect:"blind",hideEffect:"fade",my:"right top",at:"right bottom",showCloseIcon:true});});

Permanent link

Cite

Citation styleapa ieee modern-language-association-8th-edition vancouver Other style $(function(){PrimeFaces.cw("SelectOneMenu","widget_formSmash_lower_j_idt1627",{id:"formSmash:lower:j_idt1627",widgetVar:"widget_formSmash_lower_j_idt1627",behaviors:{change:function(ext) {PrimeFaces.ab({s:"formSmash:lower:j_idt1627",e:"change",f:"formSmash",p:"formSmash:lower:j_idt1627",u:"formSmash:lower:otherStyle"},ext);}}});});

- apa
- ieee
- modern-language-association-8th-edition
- vancouver
- Other style

Languagede-DE en-GB en-US fi-FI nn-NO nn-NB sv-SE Other locale $(function(){PrimeFaces.cw("SelectOneMenu","widget_formSmash_lower_j_idt1638",{id:"formSmash:lower:j_idt1638",widgetVar:"widget_formSmash_lower_j_idt1638",behaviors:{change:function(ext) {PrimeFaces.ab({s:"formSmash:lower:j_idt1638",e:"change",f:"formSmash",p:"formSmash:lower:j_idt1638",u:"formSmash:lower:otherLanguage"},ext);}}});});

- de-DE
- en-GB
- en-US
- fi-FI
- nn-NO
- nn-NB
- sv-SE
- Other locale

Output formathtml text asciidoc rtf $(function(){PrimeFaces.cw("SelectOneMenu","widget_formSmash_lower_j_idt1648",{id:"formSmash:lower:j_idt1648",widgetVar:"widget_formSmash_lower_j_idt1648"});});

- html
- text
- asciidoc
- rtf