Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Natural Language Processing for systems engineering: Automatic generation of Systems Modelling Language diagramsZhong, Shaohong ; Scarinci, Andrea ; Cicirello, AliceKnowledge-based systems, 2023-01, Vol.259, p.110071, Article 110071 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
2 |
Material Type: Artigo
|
Automatic code generation from unified modelling language sequence diagramsKundu, Debasish ; Samanta, Debasis ; Mall, RajibIET software, 2013-02, Vol.7 (1), p.12-28 [Periódico revisado por pares]Stevenage: The Institution of Engineering and TechnologyTexto completo disponível |
|
3 |
Material Type: Artigo
|
FIRE6: Feynman Integral REduction with modular arithmeticSmirnov, A.V. ; Chukharev, F.S.Computer physics communications, 2020-02, Vol.247, p.106877, Article 106877 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
4 |
Material Type: Artigo
|
Generalised primal-dual grids for unstructured co-volume schemesEngwirda, DarrenJournal of computational physics, 2018-12, Vol.375, p.155-176 [Periódico revisado por pares]Goddard Space Flight Center: Elsevier IncTexto completo disponível |
|
5 |
Material Type: Artigo
|
FeynCalc 9.3: New features and improvementsShtabovenko, Vladyslav ; Mertig, Rolf ; Orellana, FrederikComputer physics communications, 2020-11, Vol.256, p.107478, Article 107478 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
6 |
Material Type: Artigo
|
Empirically Evaluating the Effect of the Physics of Notations on Model ConstructionEl-Attar, MohamedIEEE transactions on software engineering, 2022-07, Vol.48 (7), p.2455-2475 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
7 |
Material Type: Artigo
|
ggtern : Ternary Diagrams Using ggplot2Hamilton, Nicholas E. ; Ferry, MichaelJournal of statistical software, 2018-12, Vol.87 (Code Snippet 3), p.1-17 [Periódico revisado por pares]Foundation for Open Access StatisticsTexto completo disponível |
|
8 |
Material Type: Artigo
|
Formal Verification of Integer Multiplier Circuits Using Binary Decision DiagramsKumar, Jitendra ; Miyasaka, Yukio ; Srivastava, Asutosh ; Fujita, MasahiroIEEE transactions on computer-aided design of integrated circuits and systems, 2023-04, Vol.42 (4), p.1365-1378 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
9 |
Material Type: Artigo
|
Rethinking the Ranks of Visual ChannelsMcColeman, Caitlyn M. ; Yang, Fumeng ; Brady, Timothy F. ; Franconeri, StevenIEEE transactions on visualization and computer graphics, 2022-01, Vol.28 (1), p.707-717 [Periódico revisado por pares]United States: IEEETexto completo disponível |
|
10 |
Material Type: Artigo
|
Integral reduction with Kira 2.0 and finite field methodsKlappert, Jonas ; Lange, Fabian ; Maierhöfer, Philipp ; Usovitsch, JohannComputer physics communications, 2021-09, Vol.266, p.108024, Article 108024 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |