Filters








98,881 Hits in 5.9 sec

10. The relation between language and theory of mind in development and evolution [chapter]

Bertram F. Malle
2002 Typological Studies in Language  
called a language. A key component of language is that it offers choices in its representational repertoire.  ...  Among the functions of a theory of mind, the achievement of social coordination (of both behavior and mind) seems critical.  ... 
doi:10.1075/tsl.53.14mal fatcat:kvmadk3ex5auzf3vu7r46gzjoe

Coordinating Global Virtual Teams: Building Theory from a Case Study of Software Development [chapter]

Gaye Kiely, Tom Butler, Patrick Finnegan
2010 Lecture Notes in Computer Science  
It then develops a refined conceptual model to guide future research on GVTs involved in software development.  ...  The study employs a mixed methodology grounded theory approach to examine the effect that specific virtual team issues have on the effectiveness of team coordination mechanisms.  ...  Towards a Theoretical Model for Studying the Coordination of Virtual Teams Coordination Mechanisms This study employ's Sabherwal's [13] classification of coordination mechanisms as a foundation for  ... 
doi:10.1007/978-3-642-13094-6_23 fatcat:yuxsysaoo5febjpj37lifbf4li

Book Review: Language Evolved in Two StagesA review of TomaselloMichael, A Natural History of Human Thinking. Harvard University Press: Cambridge, MA, 2014, 192 pp., US$35.00, ISBN #978-0-674-72477-8 (Hardcover)

Csaba Pléh
2014 Evolutionary Psychology  
The theoretically-motivated and brilliant combination of infant research, studies on child language, and chimpanzee cognition is a unique mixture of the heritage of James Baldwin (1894) and Vygotsky (Luria  ...  The novelty of the new theory is thatcompared to his earlier cultural learning theory-Tomasello now postulates two dramatic changes.  ...  Tomasello seems to be more careful in proposing a time period for these changes towards more explicit communication, compared to the birth of joint intentionality.  ... 
doi:10.1177/147470491401200508 fatcat:g7xcv74cl5fmnhzlws56smjtl4

Scientific Foundations: A Case for Technology- Mediated Social- Participation Theory

R Kraut, M L Maher, J Olson, T W Malone, P Pirolli, J C Thomas
2010 Computer  
Acknowledgments We thank the other members of the Technology-Mediated Social-Participation workshops who shaped this article: Amy Bruckman, Stuart Card, Noshir Contractor, Holger Dick, Jenny Preece, and  ...  At the core, however, would be a distributed coordination center, made up of a coordinating and cooperative superset of researchers and providing a place to share ideas, tools, and findings.  ...  theories, and then, when the theories are sufficiently refined, use them to guide the design of real-world systems.  ... 
doi:10.1109/mc.2010.324 fatcat:27t3i7cme5bzpamh6lv5jwlzby

Contents EATCS bulletin Number 60, October 1996

1997 Theoretical Computer Science  
University of Amsterdam, hswcrcts o/'Ph.D. Thaw A. Cau: Compositional Verification and Specification or Refinement for Reactive Systems in a Dense Time Temporal Logic 291 R.  ...  Kreinovich: Towards a More Realistic Definition of Feasibility A.K.  ... 
doi:10.1016/s0304-3975(97)84198-9 fatcat:c3emfpmkyrf45gmbrpldlirnp4

Towards a Theory of Genericity Based on Government and Binding [chapter]

Alexander Bienemann, Klaus-Dieter Schewe, Bernhard Thalheim
2006 Lecture Notes in Computer Science  
Story Actor Media types WIS Our main contributions Development of database and information systems based on stepwise refinement and intensions of already specified content Background of genericity: linguistics  ...  (government and binding) linguistics and Web IS (word fields, media types) programming languages (higher-order functions)  ...  Portfolio Workflow Documents Society task Time Contract Restrictions Coordinate Cooperate ...  ... 
doi:10.1007/11901181_24 fatcat:widy3y6znvgurjp6fayd6ho3tm

Carving language for social coordination: A dynamical approach

2012 Interaction Studies  
In this article, we propose a dynamical framework for the study of the coordinative role of language.  ...  Such patterns in turn come to facilitate and refine social coordination by enabling the alignment, joint construction and navigation of conceptual models and actions.  ...  A number of existing studies cited in previous parts of the article give us valuable insights in various aspects of the coordinative role of language: its dynamical evolution toward meeting local coordinative  ... 
doi:10.1075/is.13.1.07fus fatcat:lrsxnshd4bd4llufowhfdxkir4

KReach: A Tool for Reachability in Petri Nets [chapter]

Alex Dixon, Ranko Lazić
2020 Lecture Notes in Computer Science  
We include a comprehensive suite of libraries for development with Vector Addition Systems (with States) in the Haskell programming language.  ...  We present KReach, a tool for deciding reachability in general Petri nets. The tool is a full implementation of Kosaraju's original 1982 decision procedure for reachability in VASS.  ...  Coverability has seen considerable study in recent years, in particular with a view towards minimising the running time of coverability decision procedures [2, 11] .  ... 
doi:10.1007/978-3-030-45190-5_22 fatcat:4vbpzzrf3vffdfaage7j5brxgm

Key cognitive preconditions for the evolution of language

Merlin Donald
2016 Psychonomic Bulletin & Review  
The time-depth of this mimetic adaptation, and its role in both the construction and acquisition of languages, explains the importance of mimetic expression in the media, religion, and politics.  ...  This supported a style of embodied mimetic imagination that improved the coordination of shared activities such as fire tending, but also in rituals and reciprocal mimetic games.  ...  Thus the evolution of a capacity for refining complex skill-hierarchies is a prior consideration in any theory of language evolution.  ... 
doi:10.3758/s13423-016-1102-x pmid:27368636 fatcat:74u3xw7zsre6zcsqp3qrimlhii

Contents EATCS Bulletin number 61, February 1997

1997 Theoretical Computer Science  
Fourth AMAST Workshop on Real-Time Systems, Concurrent and Distributed Software Towards a Mathematical transformation-based development, City of Mallorca, Mallorca, 21-23 May 1997 . . . . . . .  ...  Conference on Coordination Models and Languages (COORDINATION '97), Berlin, Germany, l-3 September 1997 201 Eleventh International Symposium on Fundamentals of Computation Theory (FCT '97), Krakow  ... 
doi:10.1016/s0304-3975(97)84330-7 fatcat:crayjadturb5jee3g2heonaaay

Integrating Theories and Techniques for Program Modelling, Design and Verification [chapter]

Bernard K. Aichernig, He Jifeng, Zhiming Liu, Mike Reed
2008 Lecture Notes in Computer Science  
This submission presents our understanding of the Grand Challenge and propose an agenda on how we will position our research to contribute to this world-wide collaborative research project.  ...  This proposal is made on behalf of all members of the academic staff at UNU-IIST. We would like to thank our colleagues, Chris George, Dang Van Hung and Tomasz Janowski for the discussions.  ...  A conclusion that we can draw from the above discussion is that working towards a Verifying Compiler still needs a great amount of investigation in, among other areas discussed in the description of the  ... 
doi:10.1007/978-3-540-69149-5_31 fatcat:6wvzxhedpfdmxbzrzjumjov75m

FieldML: concepts and implementation

G. R. Christie, P. M.F. Nielsen, S. A. Blackett, C. P. Bradley, P. J. Hunter
2009 Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences  
The field modelling language FieldML is being developed as a standard for modelling and interchanging field descriptions in software, suitable for a wide range of computation techniques.  ...  It comprises a rich set of operators for defining generalized fields as functions of other fields, starting with basic domain fields including sets of discrete objects and coordinate systems.  ...  This work is a part of the IUPS Physiome Project, which is supported by a number of public good funding agencies, including the Wellcome Trust as part of its Heart Physiome project, NIH, the New Zealand  ... 
doi:10.1098/rsta.2009.0025 pmid:19380316 pmcid:PMC2665020 fatcat:u4qjxzlhyjfypdbjis2jnx6jwe

Resources for Refining Mathematical Conceptions: Case Studies in Learning About Linear Functions

Judith N. Moschkovich
1998 The Journal of the Learning Sciences  
) using a mathematical procedure, and (d) refining their verbal descriptions of how the graph of a line changes as a result of a change in the equation.  ...  In this article, I describe the refinement of a conception in the domain of linear functions, the use of the x-intercept in equations of the form y = mx + b, to illustrate the resources used by students  ...  Writing of this article was supported in part by the National Academy of Education through a Spencer Postdoctoral fellowship at the Institute for Research on Learning.  ... 
doi:10.1207/s15327809jls0702_3 fatcat:s4kqcw26rndhto2sq2sifeei24

Theories for the Global Ubiquitous Computer [chapter]

Robin Milner
2004 Lecture Notes in Computer Science  
It must combine a bottom-up development of theories in directions that are currently pursued with success, together with a top-down approach in the form of collaborative projects relating these theories  ...  in the course of the next few decades.  ...  A pivotal component in all three is a programming language informed by the theory. (3) A Theoretical Hierarchy.  ... 
doi:10.1007/978-3-540-24727-2_2 fatcat:4qosxhy6sjcdzbbnfyvsbagoua

Comparing Theories: The Dynamics of Changing Vocabulary [chapter]

Hajnal Andréka, István Németi
2014 Outstanding Contributions to Logic  
In this paper, we elaborate a comparison, in the framework of mathematical logic, between these FOL theories for special relativity.  ...  For this comparison, we use a version of mathematical definability theory in which new entities can also be defined besides new relations over already available entities.  ...  To refine the basic concepts of this Signalling theory, we can interpret it to, say, in a theory of electromagnetism, or in a quantum-mechanical theory.  ... 
doi:10.1007/978-3-319-06025-5_6 fatcat:oi4ojwf6jffxpf63p2e67ytcrq
« Previous Showing results 1 — 15 out of 98,881 results