Results 1  10
of
278
A Non Functional Calculus: Linear Logic and Concurrency
, 2000
"... this paper to an interaction mechanism inspired to the computational behaviour of proof nets, a deduction system of linear logic [7]. In this setting the conclusion of a derivation is the type of the corresponding proof net. The computational mechanism is cut elimination that can only occur between ..."
Abstract
 Add to MetaCart
and Valentini [13, 14]. Yuxi Fu [6] studies a computational model in which the role of process and proofs is reversed with respect to the Abramsky's view. The corresponding paradigm is thus communication as cutelimination for classical proofs. Bellin and Scott implements the cutelimination of linear
A description of
 the Advanced Research WRF version 2; NCAR Technical Note: NCAR/TN468+STR 2005; NCAR
, 2005
"... The Technical Note series provides an outlet for a variety of NCAR manuscripts that contribute in specialized ways to the body of scientific knowledge but which are not suitable for journal, monograph, or book publication. Reports in this series are issued by the NCAR Scientific Divisions; copies m ..."
Abstract

Cited by 98 (5 self)
 Add to MetaCart
The Technical Note series provides an outlet for a variety of NCAR manuscripts that contribute in specialized ways to the body of scientific knowledge but which are not suitable for journal, monograph, or book publication. Reports in this series are issued by the NCAR Scientific Divisions; copies may be obtained on request from the Publications Office of NCAR. Designation symbols for the series include: EDD: Engineering, Design, or Development Reports Equipment descriptions, test results, instrumentation, and operating and maintenance manuals. IA: Instructional Aids Instruction manuals, bibliographies, film supplements, and other research or instructional aids. PPR: Program Progress Reports Field program reports, interim and working reports, survey reports, and plans for experiments. PROC: Proceedings Documentation of symposia, colloquia, conferences, workshops, and lectures. (Distribution may be limited to attendees.) STR: Scientific and Technical Reports Data compilations, theoretical and numerical investigations, and experimental results.
Full λcalculus
, 2009
"... Technical background Encoding the full λcalculus into the picalculus How does the encoding work? Conclusion ..."
Abstract
 Add to MetaCart
Technical background Encoding the full λcalculus into the picalculus How does the encoding work? Conclusion
On Asymptotic Variational Wave Equations
, 2004
"... We investigate the equation (ut + (f(u))x)x = f ′ ′ (u)(ux) 2 /2 where f(u) is a given smooth function. Typically f(u) = u 2 /2 or u 3 /3. This equation models unidirectional and weakly nonlinear waves for the variational wave equation utt − c(u)(c(u)ux)x = 0 which models some liquid crystals with ..."
Abstract

Cited by 17 (9 self)
 Add to MetaCart
We investigate the equation (ut + (f(u))x)x = f ′ ′ (u)(ux) 2 /2 where f(u) is a given smooth function. Typically f(u) = u 2 /2 or u 3 /3. This equation models unidirectional and weakly nonlinear waves for the variational wave equation utt − c(u)(c(u)ux)x = 0 which models some liquid crystals
A prooftheoretical approach to communication
 Proceedings of ICALP '97, volume 1256 of LNCS
, 1997
"... Abstract. The paper investigates a concurrent computation model, chi calculus, in which communications resemble cut eliminations for classical proofs. The algebraic properties of the model are studied. Its relationship to sequential computation is illustrated by showing that it incorporates the oper ..."
Abstract

Cited by 25 (8 self)
 Add to MetaCart
Abstract. The paper investigates a concurrent computation model, chi calculus, in which communications resemble cut eliminations for classical proofs. The algebraic properties of the model are studied. Its relationship to sequential computation is illustrated by showing that it incorporates the operational semantics of the callbyname lambda calculus. Practically the model has pi calculus as a submodel. 1 Communication as Cut Elimination Concurrent computation is currently an openended issue. The situation is in contrast with sequential computation whose operational semantics is formalized by, among others, the λcalculus ([2]). In retrospect, the λcalculus can be seen as a fallout of proof theory. CurryHoward’s propositionastype principle allows one to code up constructive proofs as typed terms. At the core of the constructive logic is the minimal logic, whose type theoretical formulation gives rise to, roughly, the simply typed λcalculus. Now the untyped λcalculus is obtained from the simply typed λcalculus by removing all the typing information.
Color Aesthetics and Social Networks in Complete Tang Poems: Explorations and Discoveries
"... The Complete Tang Poems (CTP) is the most important source to study Tang poems. We look into CTP with computational tools from specific linguistic perspectives, including distributional semantics and collocational analysis. From such quantitative viewpoints, we compare the usage of “wind ” and “moon ..."
Abstract
 Add to MetaCart
” and “moon” in the poems of Li Bai2 (李白) and Du Fu (杜甫). Colors in poems function like sounds in movies, and play a crucial role in the imageries of poems. Thus, words for colors are studied, and “白 ” (bai2, white) is the main focus because it is the most frequent color in CTP. We also explore some cases
Lucky Motifs in Chinese Folk Art: Interpreting Papercut from Chinese Shaanxi
"... Papercut is not simply a form of traditional Chinese folk art. Lucky motifs developed in papercut certainly acquired profound cultural connotations. As papercut is a timehonoured skill across the nation, interpreting those motifs requires cultural receptiveness and anthropological sensitivity. T ..."
Abstract
 Add to MetaCart
. The author of this article analyzes examples of papercut from Northern Shaanxi, China, to identify the cohesive motifs and explore the auspiciousness of the specific concepts of Fu, Lu, Shou, Xi. The papercut of Northern Shaanxi is an ideal representative of the craft as a whole because of the relative
QuasiOneDimensional Riemann Problems and Their Role in SelfSimilar TwoDimensional Problems
, 1998
"... We study twodimensional Riemann problems with piecewise constant data. We identify a class of twodimensional systems, including many standard equations of compressible flow, which are simplified by a transformation to similarity variables. For equations in this class, a twodimensional Riemann prob ..."
Abstract

Cited by 20 (10 self)
 Add to MetaCart
We study twodimensional Riemann problems with piecewise constant data. We identify a class of twodimensional systems, including many standard equations of compressible flow, which are simplified by a transformation to similarity variables. For equations in this class, a twodimensional Riemann problem with sectorially constant data becomes a boundaryvalue problem in the finite plane. For data leading to shock interactions, this problem separates into two parts: a quasionedimensional problem in supersonic regions, and an equation of mixed type in subsonic regions.
Temporal specificity in the cortical plasticity of visual space representation
 SCIENCE
, 2002
"... The circuitry and function of mammalian visual cortex are shaped by patterns of visual stimuli, a plasticity likely mediated by synaptic modifications. In the adult cat, asynchronous visual stimuli in two adjacent retinal regions controlled the relative spike timing of two groups of cortical neurons ..."
Abstract

Cited by 19 (1 self)
 Add to MetaCart
The circuitry and function of mammalian visual cortex are shaped by patterns of visual stimuli, a plasticity likely mediated by synaptic modifications. In the adult cat, asynchronous visual stimuli in two adjacent retinal regions controlled the relative spike timing of two groups of cortical neurons with high precision. This asynchronous pairing induced rapid modifications of intracortical connections and shifts in receptive fields. These changes depended on the temporal order and interval between visual stimuli in a manner consistent with spike timing–dependent synaptic plasticity. Parallel to the cortical modifications found in the cat, such asynchronous visual stimuli also induced shifts in human spatial perception. Persistent synaptic modification can be induced by repetitive pairing of pre and postsynaptic spikes, and the direction and magnitude of the modification depend on the relative spike timing (1–6). Presynaptic spiking
Weak solutions to a nonlinear variational wave equation with general data
 Annals of Inst. H. Poincaré
"... We establish the existence of a conservative weak solution to the Cauchy problem for the nonlinear variational wave equation utt − c(u)(c(u)ux)x = 0, for initial data of finite energy. Here c(·) is any smooth function with uniformly positive bounded values. ..."
Abstract

Cited by 17 (9 self)
 Add to MetaCart
We establish the existence of a conservative weak solution to the Cauchy problem for the nonlinear variational wave equation utt − c(u)(c(u)ux)x = 0, for initial data of finite energy. Here c(·) is any smooth function with uniformly positive bounded values.
Results 1  10
of
278