Buscar
Mostrando ítems 1-10 de 23742
Abstracts
(Pontifícia Universidade Católica de São Paulo, 2005)
Automated abstractions for contract validation
(IEEE Computer Society, 2012-01)
Pre/postcondition-based specifications are commonplace in a variety of software engineering activities that range from requirements through to design and implementation. The fragmented nature of these specifications can ...
Abstract Mechanisms and Neural Computation
(Seoul National University. Institute for Cognitive Science, 2016-03)
A characterization of computation and computational explanation is important in accounting for the explanatory power of many models in cognitive neuroscience. Piccinini (2015) describes computational models as both abstract ...
Abstracts of graduate theses 1998Abstracts formandos 1998
(Universidade de São Paulo, Instituto de Geociências, 1998)
Architectonics, associativity and abstraction – 3AArchitectonics, associativity and abstraction – 3A
(Universidad de Valparaiso, 2023)
Rhetoric organization and coherence relations in the biology abstractOrganización retórica y relaciones de coherencia en el abstract de biología
(Instituto de Lingüística y Literatura. Facultad de Filosofía y Humanidades. Universidad Austral de Chile, 2018)
Higher-Order Interactions (Bipolar or not) in Abstract Argumentation: A State of the Art
(College Publications, 2021-07)
In Dungs seminal work, an argumentation framework was defined by a set of abstract arguments and a binary (and also abstract) relation between these arguments, called attack relation and expressing conflicts between ...
Improving lazy abstraction for SCR specifications through constraint relaxation
(John Wiley & Sons Ltd, 2018-03)
Formal requirements specifications, eg, software cost reduction (SCR) specifications, are challenging to analyse using automated techniques such as model checking. Since such specifications are meant to capture requirements, ...
Traditional or structured abstract, or how to persuade the readerResumen tradicional o resumen estructurado, o cómo persuadir al lector
(Instituto de Lingüística y Literatura. Facultad de Filosofía y Humanidades. Universidad Austral de Chile, 2018)