Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
An extended framework for specifying and reasoning about proof systemsNigam, Vivek ; Pimentel, Elaine ; Reis, GiselleJournal of logic and computation, 2016-04, Vol.26 (2), p.539-576 [Periódico revisado por pares]Texto completo disponível |
|
2 |
Material Type: Artigo
|
Correction to "Linear mixed function-on-function regression models," by Wei Wang; 70, xxx-xxx, December 2014Biometrics, 2014-12, Vol.70 (4), p.1062-1062 [Periódico revisado por pares]United States: Blackwell Publishing LtdTexto completo disponível |
|
3 |
Material Type: Artigo
|
Prediction of global buckling loads of doubly symmetric pultruded FRP columns subjected to concentric compressionZhan, Yang ; Wu, GangZeitschrift für angewandte Mathematik und Mechanik, 2019-06, Vol.99 (6), p.n/a [Periódico revisado por pares]Weinheim: Wiley Subscription Services, IncTexto completo disponível |
|
4 |
Material Type: Artigo
|
Algorithmic Study of the Characteristics of Electrocardiograph Signals in Patients with Coronary Heart DiseaseLi, Honger ; Zhao, Lixia Ramirez, Gustavo ; Gustavo RamirezScientific programming, 2021-09, Vol.2021, p.1-10 [Periódico revisado por pares]New York: HindawiTexto completo disponível |
|
5 |
Material Type: Artigo
|
Editorial: The Role of Information Systems in Enabling Open InnovationWhelan, Eoin ; Conboy, Kieran ; Crowston, Kevin ; Morgan, Lorraine ; Rossi, MattiJournal of the Association for Information Systems, 2014-11, Vol.15 (11), p.XX-XXX [Periódico revisado por pares]Atlanta: Association for Information SystemsTexto completo disponível |
|
6 |
Material Type: Artigo
|
Least-Squares Independent Component AnalysisSuzuki, Taiji ; Sugiyama, MasashiNeural computation, 2011-01, Vol.23 (1), p.284-301 [Periódico revisado por pares]One Rogers Street, Cambridge, MA 02142-1209, USA: MIT PressTexto completo disponível |
|
7 |
Material Type: Artigo
|
Sumterms, Summands, Sumtuples, and Sums and the Meta-Arithmetic of SummationBergstra, JanScientific annals of computer science, 2020-01, Vol.30 (2), p.167-203 [Periódico revisado por pares]Iasi: Alexandru Ioan Cuza University of IasiTexto completo disponível |
|
8 |
Material Type: Artigo
|
A Modified Decomposition Algorithm for Maximum Weight Bipartite Matching and Its Experimental EvaluationDas, ShibsankarScientific annals of computer science, 2020-01, Vol.30 (1), p.39-67 [Periódico revisado por pares]Alexandru Ioan Cuza University of IasiTexto completo disponível |
|
9 |
Material Type: Artigo
|
A Complete Axiomatisation for Probabilistic Trace EquivalenceTimmers, Ferry ; Groote, Jan FrisoScientific annals of computer science, 2020-01, Vol.30 (1), p.69-104 [Periódico revisado por pares]Iasi: Alexandru Ioan Cuza University of IasiTexto completo disponível |
|
10 |
Material Type: Artigo
|
Most General Algebraic Specifications for an Abstract Datatype of Rational NumbersBergstra, Jan AScientific annals of computer science, 2020-01, Vol.30 (1), p.1-24 [Periódico revisado por pares]Iasi: Alexandru Ioan Cuza University of IasiTexto completo disponível |