Buscar

Mostrando ítems 1-10 de 561

Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology

Rosenblueth, David A.

Combined Methodology for Theoretical Computing

Universidade de São Paulo (USP); Universidade Estadual Paulista (Unesp) (Ieee, 2016-01-01)

Theoretical Computer Science area (TCS) stands out by being an important study field, and it is composed by Formal Languages and Automata Theory (FLA), Computer Science Theory (CST), and Theory of Compilers (TC). This area ...

Verificação formal de protocolos de trocas justas utilizando o metodo de espaços de fitasFormal verification of fair exchange protocols using the strand spaces method

Piva, Fabio Rogério, 1982- ([s.n.], 2009)

Combined methodology for theoretical computing

Universidade de São Paulo (USP); Universidade Estadual Paulista (Unesp) (2016-11-28)

Comparison of Nonmesonic Hypernuclear Decay Rates Computed in Laboratory and Center-of-Mass Coordinates

Universidade Estadual Paulista (Unesp) (Amer Inst Physics, 2014-01-01)

In this work we compute the one-nucleon-induced nonmesonic hypernuclear decay rates of He-5(Lambda), C-12(Lambda) and C-13(Lambda) using a formalism based on the independent particle shell model in terms of laboratory ...

Teste de conformidade em contexto guiado por casos de teste do componenteComformance testing in context guided by component's test cases

Soares Junior, Jurandy Martins ([s.n.], 2006)

Relationship between high-quality journals and conferences in computer vision

Eckmann, M; Rocha, A; Wainer, J (SpringerDordrechtHolanda, 2012)

A note about the usage of the computational simulation in the undergraduate courses in the programs of electrical and biomedical engineering

Autor desconocido (Institute of Electrical and Electronics Engineers Inc., 2017-08)

Computational simulation has played a relevant role in basics sciences as physics, also in applied sciences and engineering. Despite of the fact that the simulation topics might be relevant, most of them are not explicitly ...

Computer Aided Verification : 32nd International Conference, CAV 2020 Los Angeles, CA, USA, July 21–24, 2020 Proceedings, Part I

Lahiri, Shuvendu K.; Wang, Chao

It was our privilege to serve as the program chairs for CAV 2020, the 32nd International Conference on Computer-Aided Verification. CAV 2020 was held as a virtual conference during July 21–24, 2020. The tutorial day was ...

Método para projeto de software usando o paradigma orientado a notificações – PON

Wiecheteck, Luciana Vilas Boas (Universidade Tecnológica Federal do ParanáCuritibaPrograma de Pós-Graduação em Engenharia Elétrica e Informática Industrial, 2011-08-31)

This research proposes a method for software modeling that uses the Notification Oriented Paradigm (NOP). NOP has already been consolidated in terms of programming but did not possess a formalized method for software ...

1
2
3
4
. . .
57