Results 141 to 150 of about 3,675 (190)
Some of the next articles are maybe not open access.
composing(media) = composing(embodiment)
Reflections: A Journal of Community-Engaged Writing and Rhetoric, 2016Review of composing(media) = composing(embodiment): bodies, technologies, writing, the teaching of writing by editors Arola, K. l., & Wysocki, A. F.
openaire +1 more source
Composing Composing Instruments
This exposition aims to provide insights into my artistic practice and research 'Tipping Points', working within the field of live electronics and focusing on the exploration of tipping points in chaotic processes. The activities associated with my practice are profoundly interdisciplinary and include designing and buildinginstruments, composing ...openaire +1 more source
Composing in the School: Composing for the School
British Journal of Music Education, 1988This article describes some of the experiences of, and lessons learnt by a composer working as Head of Music in a secondary school. The article highlights in particular aspects which are considered to be of value to teachers and other colleagues now embarking on a new era of musical education in schools, notably aspects relevant to the composing ...
openaire +1 more source
ACM Transactions on Programming Languages and Systems, 1990
A rigorous modular specification method requires a proof rule asserting that if each component behaves correctly in isolation, then it behaves correctly in concert with other components. Such a rule is subtle because a component need behave correctly only when its environment does, and each component is part of the others' environments.
Martín Abadi, Leslie Lamport
openaire +2 more sources
A rigorous modular specification method requires a proof rule asserting that if each component behaves correctly in isolation, then it behaves correctly in concert with other components. Such a rule is subtle because a component need behave correctly only when its environment does, and each component is part of the others' environments.
Martín Abadi, Leslie Lamport
openaire +2 more sources
Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96, 1996
We present a theory of types for concurrency based on a simple notion of typed algebras, and discuss its applications. The basic idea is to determine a partial algebra of processes by a partial algebra of types, thus controlling process composability, just as types in a typed applicative structure [25] determine composability of elements of the ...
openaire +1 more source
We present a theory of types for concurrency based on a simple notion of typed algebras, and discuss its applications. The basic idea is to determine a partial algebra of processes by a partial algebra of types, thus controlling process composability, just as types in a typed applicative structure [25] determine composability of elements of the ...
openaire +1 more source
J. Funct. Program., 2004
Summary: This paper describes a simple but flexible family of Haskell programs for drawing pictures of fractals such as Mandelbrot and Julia sets. Its main goal is to showcase the elegance of a compositional approach to program construction, and the benefits of a clean separation between different aspects of program behavior.
openaire +1 more source
Summary: This paper describes a simple but flexible family of Haskell programs for drawing pictures of fractals such as Mandelbrot and Julia sets. Its main goal is to showcase the elegance of a compositional approach to program construction, and the benefits of a clean separation between different aspects of program behavior.
openaire +1 more source
Composing Standards and Composing Teachers
Journal of Teacher Education, 2001This article considers whether National Board for Professional Teaching Standards (NBPTS) certification may be as much an evaluation of a teacher’s writing about his or her teaching as it is an evaluation of the teaching itself. The experiences of two NBPTS certification candidates are explored.
openaire +1 more source
Composing Conflict: The Lawyer as Composer
2015A lawyer with "situation sense" will have, among many skills, those captured by the word compose -- understanding when and how to settle conflicts, how to bring together varied and disparate parts and parties, how to create coherence and bring things into proper form, and how to engender repose, soothe agitation, and quite volatile situations.
openaire +1 more source
Proceedings Sixth International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000) (Cat. No. PR00586), 2002
Igor Benko, Jo C. Ebergen
openaire +2 more sources
Igor Benko, Jo C. Ebergen
openaire +2 more sources