نتایج جستجو برای: while javanrood
تعداد نتایج: 1065612 فیلتر نتایج به سال:
Four experiments examined whether intergroup attitudes shape the speed with which Blacks are thought to be moving. When participants rated the speed of Black and White faces that appeared to be moving toward them, greater intergroup anxiety was associated with judging Black targets as moving more slowly relative to White targets (Experiments 1a and 1b). Experiment 2 demonstrated that this effec...
Being in the hospice business does not give one a getout-of-mourning-free card. Death that is personal is so very different from death I encounter in my professional role. My father, Peter Serrell, died in November after a 10-day elective fast, 7 weeks before his 94th birthday. He had been in the hospital for a couple of days with a poorly defined problem in his gut, where ischemic colitis was ...
The field of computer music can be thought of as having two fundamental branches, one concerned with the manipulation of musical sounds, and the other concerned with symbolic representations of music. The two are iconized by Max Mathews’s MUSIC program and Lejaren Hiller’s ILIAC Suite, both of 1957, although both have important antecedents. The two branches might provisionally be given the name...
In the convoy formation problem, two embodied agents are negotiating the synchronization of their movement for a portion of their respective paths from source to destinations. In this paper, we consider a setting in which the negotiation happens in physical time, thus the agents have the opportunity to perform actions, such as movement, while negotiating. In these settings, the agent’s behavior...
This AFP entry defines a probabilistic while operator based on subprobability mass functions and formalises zero-one laws and variant rules for probabilistic loop termination. As applications, we implement probabilistic algorithms for the Bernoulli, geometric and arbitrary uniform distributions that only use fair coin flips, and prove them correct and terminating with probability 1.
This article consists on the presentation of the While language, a simple imperative programming language based on the language with the same name presented in [3]. The objective is to study and develop ”hands-on” a formal specification of a programming language, namely its syntax, operational semantics and type system. This is an initial step to help us understand the fundamentals of imperativ...
The paper presents an approach to automatically construct hypertext structures out of large document samples for a context-oriented retrieval. It contributes to the design of future infrastructure for large-scale information retrieval systems. As its crucial trait, profiles of usage will furnish the process of semantically mapping. This will be based on automatic text analysis that extract the ...
ntercalation—the slotting of cells in between one another—is an established method for converting short and fat into long and slim. This is all very well in slippery, adhesion-sparse mesenchymal tissues. But many such extension events occur in epithelial tissues, where cells are glued together by adhesion complexes. Claire Bertet, Lawrence Sulak, and Thomas Lecuit (IBDM, Marseille, France) now ...
This paper gives an analysis of the connective while and the way it functions in context, based on a study of a set of while-clauses in two di erent text types. I propose to view while as one connective with a basic meaning and a number of di erent surface realizations. I show that di erent interpretations of while are subject to constraints coming from di erent directions, and that in determin...
This paper introduces a framework for Planning while Learning where an agent is given a goal to achieve in an environment whose behavior is only partially known to the agent. We discuss the tractability of various plan-design processes. We show that for a large natural class of Planning while Learning systems, a plan can be presented and veriied in a reasonable time. However, coming up algorith...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید