Filters








2,866 Hits in 4.0 sec

CTRL: A Conditional Transformer Language Model for Controllable Generation [article]

Nitish Shirish Keskar, Bryan McCann, Lav R. Varshney, Caiming Xiong, Richard Socher
2019 arXiv   pre-print
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

Erin Walker, Nikol Rummel, Kenneth R. Koedinger
2009 User modeling and user-adapted interaction  
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

Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong
2011 Theoretical Computer Science  
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

Defeng Sun, Haoyi Jin, Jun Zhang, Xiaodong Tan
2018 Cancer Cell International  
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]

Zhengyuan Liu, Nancy F. Chen
2021 arXiv   pre-print
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]

Levi Lúcio, Salman Rahman, Chih-Hong Cheng, Alistair Mavin
2017 Lecture Notes in Computer Science  
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

JinUk Cho, MinSu Jeong, JinYeong Bak, Yun-Gyung Cheong
2022 Proceedings of the ACM Web Conference 2022  
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

Chérif P. Sahyoun, John W. Belliveau, Isabelle Soulières, Shira Schwartz, Maria Mody
2010 Neuropsychologia  
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]

Samuel Gehman, Suchin Gururangan, Maarten Sap, Yejin Choi, Noah A. Smith
2020 arXiv   pre-print
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

Asieh Salehi Fathabadi, Mohammadsadegh Dalvandi, Michael Butler, Bashir M. Al-Hashimi
2019 IEEE Embedded Systems Letters  
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]

Benjamin Schiller and Johannes Daxenberger and Iryna Gurevych
2020 arXiv   pre-print
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

Hans Obrist, Sonya Dyer, Caroline Turner, Erika Tan, Ken Lum, Patrick Flores, Kelly Baum, Saskia Sassen, Marian Pastor, Roces Lee, Weng Choy, Thomas Berghuis (+10 others)
2008 unpublished
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

Frederico Alvares, Gwenael Delaval, Eric Rutten, Lionel Seinturier
2017 2017 IEEE International Conference on Autonomic Computing (ICAC)  
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]

Wilson Ifill, Steve Schneider, Helen Treharne
2006 Lecture Notes in Computer Science  
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]

Jia Zeng, Stephen A. Edwards
2005 Lecture Notes in Computer Science  
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