A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
Filters
10. The relation between language and theory of mind in development and evolution
[chapter]
2002
Typological Studies in Language
Preserved Fulltext
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]
2010
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 2020; you can also visit the original URL.
The file type is application/pdf.
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)
2014
Evolutionary Psychology
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.
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
2010
Computer
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.
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
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.
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]
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.
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
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.
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]
2020
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 2020; you can also visit the original URL.
The file type is application/pdf.
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
2016
Psychonomic Bulletin & Review
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.
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
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.
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]
2008
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 2018; you can also visit the original URL.
The file type is application/pdf.
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
2009
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
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.
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
1998
The Journal of the Learning Sciences
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.
) 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]
2004
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.
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]
2014
Outstanding Contributions to Logic
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:
2013 pre-print arXiv:1307.1885v1 fatcat:wpz4o43byrcprdcxonw332rthi
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