Buscar
Mostrando ítems 11-20 de 101890
Specification Patterns: Formal and Easy
(World Scientific, 2015-05)
Property specification is still one of the most challenging tasks for transference of software verification technology. The use of patterns has been proposed in order to hide the complicated handling of formal languages ...
Installation art and site specific works: art as opposition
(PPGAV-UFRGS, 2017)
A sex-specific linkage map of the white shrimp penaeus (litopenaeus) vannamei based on aflp markers
(www.elsevier.com/locate/aqua-online, 2010)
Enhancing the international study of positive youth development: Process, specificity, and the sample case of character virtues
(Univ Pittsburgh, USA, 2021)
This article focuses on the interplay of research and practice (researchpractice integration) in advancing international efforts to understand and enhance positive youth development (PYD). We discuss 3 facets of PYD ...
General framework for class-specific feature selection
(Elsevier Ltd., 2011)
The Einstein specific heat model for finite systems
(2016-06-01)
The theoretical model proposed by Einstein to describe the phononic specific heat of solids as a function of temperature consists of the very first application of the concept of energy quantization to describe the physical ...