نتایج جستجو برای: while javanrood

تعداد نتایج: 1065612  

2016
Andreana C. Kenrick Stacey Sinclair Jennifer Richeson Sara C. Verosky Janetta Lun

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...

Journal: :Journal of palliative medicine 2010
Elizabeth S Menkin

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 ...

2007
Miller Puckette

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...

2009
Yi Luo Ladislau Bölöni

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...

Journal: :Archive of Formal Proofs 2017
Andreas Lochbihler

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.

Journal: :CoRR 2016
Cláudio Vasconcelos António Ravara

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...

2000
Kurt Englmeier

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 ...

Journal: :The Journal of Cell Biology 2004
William A. Wells

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 ...

1997
John Bateman Leonoor Oversteegen Gisela Redeker Jo Calder Claire Grover Janet Hitzeman

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...

Journal: :J. Artif. Intell. Res. 1994
Shmuel Safra Moshe Tennenholtz

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...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید