Results 41 to 50 of about 132,281 (338)
A Graph Rewriting Approach for Transformational Design of Digital Systems [PDF]
, 1996 Transformational design integrates design and verification. It combines “correctness by construction” and design creativity by the use of pre-proven behaviour preserving transformations as design steps.
Huijs, Corrie
core +6 more sources
Becoming Critical Mathematics Pedagogues: A Journey
Proceedings of the Annual Meeting of the Georgia Association of Mathematics Teacher Educators, 2008 This session will report the findings of a study that explored the beginning transformations in the pedagogical philosophies and practices of three mathematics teachers (middle, high school, and 2-year college) who completed a graduate-level mathematics ...
David Stinson
doaj +1 more source
Is there a text in my data? (Part 1): on counting words
Journal of Cultural Analytics, 2020 This essay is the first in a two-part series. This first installment invites readers to consider a few very basic questions: what does it mean to count words in a text? What happens to the text, and to our understanding of it, when we decompose it into a
Michael Gavin
doaj +1 more source
Table Transformers for imputing textual attributes
Pattern Recognition LettersMissing data in tabular dataset is a common issue as the performance of downstream tasks usually depends on the completeness of the training dataset. Previous missing data imputation methods focus on numeric and categorical columns, but we propose a novel end-to-end approach called Table Transformers for Imputing Textual Attributes (TTITA) based on the
Ting-Ruen Wei +4 more
openaire +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Surveillance imaging aims to detect tumour relapse before symptoms develop, but it's unclear whether earlier detection of relapse leads to better outcomes in children and young people (CYP) with medulloblastoma and ependymoma. This systematic review aims to identify relevant literature to determine the efficacy of surveillance magnetic ...
Lucy Shepherd +3 more
wiley +1 more source
Selçuk Üniversitesi Edebiyat Fakültesi DergisiThis article will apply the theoretical framework of intertextuality and hypertextuality to study appropriation mechanisms used in two absurdist tragicomedies: Guildenstern and Rosencrantz are dead (1966) by Tom Stoppard, and Ñaque, o de piojos y actores
Jorge Arroita
doaj +1 more source
Logging the Abbot: Reflection-Oriented XSLT Programming for Corpora Conversion and Verification
Journal of the Text Encoding Initiative, 2013 This article describes an XSLT-based logging framework developed for Abbot, a markup conversion and interoperability tool. Abbot logs structural and textual divergence from an XML source.
Brian L. Pytlik Zillig
doaj +1 more source
End-to-End Cross-Modality Retrieval with CCA Projections and Pairwise Ranking Loss
, 2018 Cross-modality retrieval encompasses retrieval tasks where the fetched items are of a different type than the search query, e.g., retrieving pictures relevant to a given text query.
Dorfer, Matthias +4 more
core +1 more source
FEBS Letters, EarlyView.Fluorescent probes allow dynamic visualization of phosphoinositides in living cells (left), whereas mass spectrometry provides high‐sensitivity, isomer‐resolved quantitation (right). Their synergistic use captures complementary aspects of lipid signaling. This review illustrates how these approaches reveal the spatiotemporal regulation and quantitative
Hiroaki Kajiho +3 more
wiley +1 more source
Mecanismos de identificación y nexuación compleja en la dinámica textual
Estudios de Lingüística, 1983 In front of the hypothesis of the subsidiarity, commonly accorded to the mechanisms of identification of reference under the label of substitutes (across transformations or without them), this research —to be continued— claims the primary role
Estanislao Ramón Trives
doaj +1 more source