Filters








320,971 Hits in 2.3 sec

Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms [chapter]

Nirvan Tyagi, Jayson Lynch, Erik D. Demaine
2016 Lecture Notes in Computer Science  
We introduce a new programming language for expressing reversibility, Energy-Efficient Language (Eel), geared toward algorithm design and implementation.  ...  Eel is the first language to take advantage of a partially reversible computation model, where programs can be composed of both reversible and irreversible operations.  ...  We thank Geronimo Mirano for useful discussion in differentiating and developing our language levels. We also thank Maria L. Messick and Licheng Rao for help in early programming of the Eel compiler.  ... 
doi:10.1007/978-3-319-40578-0_8 fatcat:qcb3adhs4zaabejfgu6aknad6m

Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms [article]

Nirvan Tyagi, Jayson Lynch, Erik D. Demaine
2016 arXiv   pre-print
We introduce a new programming language for expressing reversibility, Energy-Efficient Language (Eel), geared toward algorithm design and implementation.  ...  Eel is the first language to take advantage of a partially reversible computation model, where programs can be composed of both reversible and irreversible operations.  ...  We thank Geronimo Mirano for useful discussion in differentiating and developing our language levels. We also thank Maria L. Messick and Licheng Rao for help in early programming of the Eel compiler.  ... 
arXiv:1605.08475v1 fatcat:n4es5grnc5hvvptbu2vs2gmmye

Page 412 of Journal of Family Psychology Vol. 23, Issue 3 [page]

2009 Journal of Family Psychology  
Self-efficacy as a function of language brokering (LB) and parental support. the age of 3 engage in brokering (e.g., Tse, 1995).  ...  Assimilation pressure may be reflected in negative attitudes of Israelis toward parents who do not learn Hebrew or toward a general use of the Russian language in public.  ... 

A Meta-Model for Fact Extraction from Delphi Source Code

Jens Knodel, G. Calderon-Meza
2004 Electronical Notes in Theoretical Computer Science  
Fact extraction by parsing is often the first step when analyzing a software system in a reverse engineering context.  ...  In this work we will introduce a meta-model for the Delphi programming language.  ...  The DMM is a programming language independent meta-model that aims at facilitating the interoperability of reengineering tools because of its independence towards specific programming languages.  ... 
doi:10.1016/j.entcs.2004.01.007 fatcat:d6lgby3sf5bifi7oljehn7sexi

Toward a Curry-Howard Equivalence for Linear, Reversible Computation [chapter]

Kostia Chardonnet, Alexis Saurin, Benoît Valiron
2020 Lecture Notes in Computer Science  
In this paper, we present a linear and reversible language with inductive and coinductive types, together with a Curry-Howard correspondence with the logic : linear logic extended with least and greatest  ...  This work is a first step towards understanding purely quantum recursive types.  ...  This extended abstract aims at proposing a type system featuring inductive and coinductive types for a purely reversible language, first step towards a rich quantum type system.  ... 
doi:10.1007/978-3-030-52482-1_8 fatcat:t6un5bqp4zhtbpwcdr2c5orqxu

Identifying the causal link: Two approaches toward understanding the relationship between bilingualism and cognitive control

Ping Li, Angela Grant
2015 Cortex  
In this regard, Li et al. (2014) provided a detailed review of experience-dependent neuroplasticity as a function of second language learning, with respect to both anatomical/structural and functional  ...  Several recent studies have taken this approach toward bilingualism and second language acquisition; for example, Ljungberg, Hansson, Andrés, Josefsson and Nilsson (2013) analyzed data from 104 bilinguals  ... 
doi:10.1016/j.cortex.2015.07.013 pmid:26286036 fatcat:3uxrexihuzg4zimuzl7rszem3i

Dagstuhl seminar on bidirectional transformations (BX)

Zhenjiang Hu, Andy Schurr, Perdita Stevens, James F. Terwilliger
2011 SIGMOD record  
Reversible languages include explicit postcondition assertions, the ability to "un-call" a reversible procedure, and the possibility of clean and garbage-free computation of injective functions.  ...  Second, Robert Glück described reversible computing and reversible languages [18] .  ...  Reversible languages include explicit postcondition assertions, the ability to "un-call" a reversible procedure, and the possibility of clean and garbage-free computation of injective functions.  ... 
doi:10.1145/2007206.2007217 fatcat:voo4poxx7zaermnki2g3ieqj34

Abnormal asymmetry in language association cortex in autism

Martha R. Herbert, Gordon J. Harris, Kristen T. Adrien, David A. Ziegler, Nikos Makris, Dave N. Kennedy, Nicholas T. Lange, Chris F. Chabris, Anna Bakardjiev, James Hodgson, Masanori Takeoka, Helen Tager-Flusberg (+1 others)
2002 Annals of Neurology  
Autism is a neurodevelopmental disorder affecting cognitive, language, and social functioning.  ...  Boys with autism had significant asymmetry reversal in frontal language-related cortex: 27% larger on the right in autism and 17% larger on the left in controls.  ...  A. Allen, M. Dunn, D. Fein, C. Feinstein, P. A. Filipek, J. Flax, I. Rapin, R. Morris, and L. Waterhouse.  ... 
doi:10.1002/ana.10349 pmid:12402256 fatcat:4y7azlq3y5bxxdt2gem7fhpa5m

Page 455 of Sociology of Education Vol. 32, Issue 9 [page]

1959 Sociology of Education  
By Jack Robertson, 349 A Reverse Pattern of Integration. By Elaine M. Aber, 283 Arndt, C. O., Introduction: The Foreign Language Press and For- eign Language Teaching, 193 Arndt, C.  ...  Grant Youmans, 152 Bardis, Panos D., Influence of a Functional Marriage Course on Attitudes Toward Familism, 232 Bittle, William E., The Desegregated All-White Institution . .  ... 

Page 187 of The Modern Language Journal Vol. 40, Issue 4 [page]

1956 The Modern Language Journal  
Formal grammar is a means toward gaining functional grammar. It is not the only means, but in view of our time limitation it is one necessary means.  ...  Functional grammar is simply an habitual tendency, how- GRAMMAR IN THE AURAL-ORAL LANGUAGE COURSE 187 ever acquired, to express oneself in a certain form and to anticipate the same form from others.  ... 

Review on Reverse Engineering Techniques of Software Engineering

Upasana Choudhary, Maya Yadav
2015 International Journal of Computer Applications  
All related work of reverse engineering of XML and Natural language specification from UML is clear but a lot of work is to be done to solve real world problems satisfactorily.  ...  A brief review of reverse engineering shows that the transformation results of XML to UML are beneficial for developer. However it does not show changes as per the requirements view.  ...  In addition it also contains non-functional requirements. Non-functional requirements impose constraints on the design or implementation.  ... 
doi:10.5120/21133-4061 fatcat:qiqxfxbulrd4hkcpke3iwypipi

Teachers and Students in Charge [chapter]

Alex Gerdes, Bastiaan Heeren, Johan Jeuring
2012 Lecture Notes in Computer Science  
A teacher can adapt feedback by annotating model solutions. A student may use her own names for functions and variables, and may use different, but equivalent, language constructs.  ...  We are developing Ask-Elle, a programming tutor that supports students practising functional programming exercises in Haskell.  ...  We can use the approach described in this paper to develop similar programming tutors for other functional programming languages, such as Lisp or OCaml.  ... 
doi:10.1007/978-3-642-33263-0_31 fatcat:qak3ibfsvbczppudjfclbo4wem

How tapping affects talking: Reversals of action-language interaction effects [article]

Zubaida Shebani
2021 figshare.com  
A growing body of research shows that there is a close functional connection between motor and language systems of the human brain.  ...  A few studies have even managed to successfully reverse the sign of the effect between language and motor processes.  ...  Subjects read sentences describing towards or away actions and performed a motor movement either towards or way from themselves to press a button.  ... 
doi:10.6084/m9.figshare.14955219.v1 fatcat:6xkaqm6wszgl3muafsxlt2fidy

Page 314 of Dsh Abstracts Vol. 22, Issue 2 [page]

1982 Dsh Abstracts  
A quantitative analysis of the values obtained after treatment reveals a clear shift towards normalization.  ...  Within a behavior training, reversal, and reinstatement design, only the uncontracti- ble auxiliary are was trained, reversed, and reinstated using operant training contingencies.  ... 

How Mentorship Improves Reverse Transfer of Tacit Knowledge in Chinese Multinational Companies (MNCs) [chapter]

Zhenjiao Chen, Doug Vogel
2016 Lecture Notes in Information Systems and Organisation  
; trust; shared language and vision), which in turn, improve reverse transfer of tacit knowledge between mentors and mentees. (2) International adjustment of mentors (i.e., work adjustment, interaction  ...  By integrating mentorship , social capital and international adjustment theories, this study developed a theoretical framework to demonstrate when and how mentoring improves reverse transfer of tacit knowledge  ...  A mentor and a mentee in an informal mentorship often have a high quality relationship and have frequent interactions which generate trust and psychosocial functions (Lankau and Scandura, 2002) .  ... 
doi:10.1007/978-3-319-30133-4_9 fatcat:ipjddfxfjjhxxhxk3trkhjzuly
« Previous Showing results 1 — 15 out of 320,971 results