A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
CTRL: A Conditional Transformer Language Model for Controllable Generation
[article]
2019
arXiv
pre-print
Preserved Fulltext
Other Versions
We release CTRL, a 1.63 billion-parameter conditional transformer language model, trained to condition on control codes that govern style, content, and task-specific behavior. ...
Large-scale language models show promising text generation capabilities, but users cannot easily control particular aspects of the generated text. ...
Joshua Simmons, Denise Lo, and Sam Edwards for their help with open sourcing. ...
arXiv:1909.05858v2
fatcat:pwzkwseqazd5jlulonyxpz6lsm
CTRL: A research framework for providing adaptive collaborative learning support
2009
User modeling and user-adapted interaction
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
CTRL as a framework has yielded a full implementation of an adaptive support system and a controlled evaluation in the classroom. ...
The three conditions were then compared in a controlled classroom study, and the results helped us to contribute to learning sciences research in peer tutoring. ...
from CWCTC for their motivated involvement in the project. ...
doi:10.1007/s11257-009-9069-1
fatcat:j2h7o3eipvbx5pc2dzldmb62be
CTRL: Extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks
2011
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for genetic regulatory networks (Grns). ...
We illustrate the application of the Ctrl model checker by analyzing the Grn controlling the carbon starvation response of Escherichia coli. ...
in developing the translator from Ctrl to HmlR. ...
doi:10.1016/j.tcs.2010.05.009
fatcat:zl4lp5gicbevxpqwgcjcjbebl4
Integrated whole genome microarray analysis and immunohistochemical assay identifies COL11A1, GJB2 and CTRL as predictive biomarkers for pancreatic cancer
2018
Cancer Cell International
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
COL11A1, GJB2 and CTRL are novel predictive biomarkers for pancreatic cancer. ...
Further studies on molecular mechanism and novel predictive biomarkers for pancreatic cancer based on a large sample volume are required. ...
Datasets with sample volume < 30 samples were excluded to avoid the inclusion of unrepresentative data. (3) Published whole genome microarrays were included only for better quality control and repeatability ...
doi:10.1186/s12935-018-0669-x
pmid:30410422
pmcid:PMC6219000
fatcat:inrwedk7ybfg7msndsgrbochku
Controllable Neural Dialogue Summarization with Personal Named Entity Planning
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
In this paper, we propose a controllable neural generation framework that can flexibly guide dialogue summarization with personal named entity planning. ...
Experimental results show that our proposed framework generates fluent and factually consistent summaries under various planning controls using both objective metrics and human evaluations. ...
Acknowledgments This research was supported by funding from the Institute for Infocomm Research (I2R) under A*STAR ARES, Singapore. We thank Ai Ti Aw for the insightful discussions. ...
arXiv:2109.13070v1
fatcat:c2dhd7z3hva2dmzaqthu5s46o4
Just Formal Enough? Automated Analysis of EARS Requirements
[chapter]
2017
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In this paper we describe the EARS-CTRL tool for writing and analyzing EARS requirements for controllers. ...
well-formedness by construction of the requirements; secondly we have used a controller synthesis tool to check whether a set of EARS-CTRL requirements is realizable as an actual controller. ...
Acknowledgements this work was developed for the "IETS3" research project, funded by the German Federal Ministry of Education and Research under code 01IS15037A/B. ...
doi:10.1007/978-3-319-57288-8_31
fatcat:27ydaan4uvhltbpxymo6kh4rui
Genre-Controllable Story Generation via Supervised Contrastive Learning
2022
Proceedings of the ACM Web Conference 2022
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
While controllable text generation has received attention due to the recent advances in large-scale pre-trained language models, there is a lack of research that focuses on story-specific controllability ...
To address this, we present Story Control via Supervised Contrastive learning model (SCSC), to create a story conditioned on genre. ...
Recent success of controllable text generation [4, 7, 23] enables language models to generate text condition on a target "control code". ...
doi:10.1145/3485447.3512004
fatcat:g5nsebcuwnapfitjxzplkrbmge
Neuroimaging of the functional and structural networks underlying visuospatial vs. linguistic reasoning in high-functioning autism
2010
Neuropsychologia
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
processing, S, requiring language (i.e. semantic) processing, and V+S, a hybrid condition in which language use could facilitate visuospatial transformations. ...
We compared 12 children with high functioning autism (HFA) to 12 age-and IQ-matched typically developing controls (CTRL) on a pictorial reasoning paradigm under three conditions: V, requiring visuospatial ...
Glasser, Douglas Greve, Saad Jbabdi, David Salat, and Emi Takahashi for various aspects of analysis and interpretation. ...
doi:10.1016/j.neuropsychologia.2009.08.013
pmid:19698726
pmcid:PMC2795068
fatcat:eu3g5ymbtbafthf44y7r3u7cf4
RealToxicityPrompts: Evaluating Neural Toxic Degeneration in Language Models
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2020 pre-print arXiv:2009.11462v1 fatcat:ioyipmbqlfaj5c4stlo5r44fna
Pretrained neural language models (LMs) are prone to generating racist, sexist, or otherwise toxic language which hinders their safe deployment. ...
Our work provides a test bed for evaluating toxic generations by LMs and stresses the need for better data selection processes for pretraining. ...
CTRL: A conditional Transformer language model
for controllable generation.
Adam King. 2019. Talk to Transformer. Accessed 06-
02-2020. ...
arXiv:2009.11462v2
fatcat:sdzqn6oumjgwvheetr2jrgggqq
Verifying Cross-layer Interactions through Formal Model-based Assertion Generation
2019
IEEE Embedded Systems Letters
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Cross-layer runtime management (RTM) frameworks for embedded systems provide a set of standard APIs for communication between different system layers (i.e. ...
Our approach involves a formal model of the APIs, developed using the Event-B formal method which is automatically translated to a set of assertions and embedded in the existing implementation of APIs. ...
EVENT-B FORMAL METHOD Event-B is a formal modelling language for system level modelling based on set theory and first order predicate logic. ...
doi:10.1109/les.2019.2955316
fatcat:57ncegiszffbvawf4m3sdzsg54
Aspect-Controlled Neural Argument Generation
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In this work, we train a language model for argument generation that can be controlled on a fine-grained level to generate sentence-level arguments for a given topic, stance, and aspect. ...
We publish all datasets and code to fine-tune the language model. ...
Acknowledgements We thank Tilman Beck for his helpful comments and for providing the reference data for Section 5, Results and Analysis. ...
arXiv:2005.00084v1
fatcat:zdchczyirvcmve5dpt7ebfylvy
Ctrl+P Journal of Contemporary Art
2008
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
or under what conditions is such a language produced? ...
The model is always that model which creates a bridge. ...
How do we create a space for artistic expression? ...
fatcat:6fyoemmvk5hxfi3gewkp4nevi4
Language Support for Modular Autonomic Managers in Reconfigurable Software Components
2017
2017 IEEE International Conference on Autonomic Computing (ICAC)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
From the compilation point of view, we provide a systematical and generative approach to decompose control problems described in the architectural level while relying on mechanisms of modular Discrete ...
In this paper, we leverage the modularity capability to strengthen the Domain-Specific Language (DSL) Ctrl-F, targeted at the design of autonomic managers in componentbased systems. ...
Ctrl-F intermediate language: Heptagon/BZR In our generative programming framework for Ctrl-F, in order to support its reconfiguration behavior part, Heptagon/BZR [8] serves as a tool-equipped intermediate ...
doi:10.1109/icac.2017.48
dblp:conf/icac/AlvaresDRS17
fatcat:vwydehqpqzeifprq6d42lmtzfe
Augmenting B with Control Annotations
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Our tool is based on a model-text transformation strategy that uses the xUML meta-model to map to CSP and B constructs. ...
The tool generates machine readable CSP and B; we present a simple example to demonstrate the transformation strategy, and the analysis of the resulting specification. ...
The pattern for generating CSP and B then comprises a procedure that initiates a guided traversal of these meta-models, to access certain data, and the application of our transformation rules to obtain ...
doi:10.1007/11955757_6
fatcat:4m5tgiqfujcgjlr3j5w5xz2fya
Separate Compilation for Synchronous Modules
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. ...
We implemented our technique in a compiler for the Esterel language and present results that show the technique does not impose a substantial overhead. ...
For a predicate node, the possible conditions are related to the variable's value, which can be true, false, or unknown when the generated program runs. ...
doi:10.1007/11599555_15
fatcat:4mavr2ej3bbozam5qfrpvxi7ti
« Previous
Showing results 1 — 15 out of 2,866 results