Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
9,636
Why a diagram is (sometimes) worth ten thousand words
- Cognitive Science
, 1987
"... We distinguish diagrammatic from sentential paper-and-pencil representationsof information by developing alternative models of information-processing systems that are informationally equivalent and that can be characterized as sentential or diagrammatic. Sentential representations are sequential, li ..."
Abstract
-
Cited by 804 (2 self)
- Add to MetaCart
We distinguish diagrammatic from sentential paper-and-pencil representationsof information by developing alternative models of information-processing systems that are informationally equivalent and that can be characterized as sentential or diagrammatic. Sentential representations are sequential
A calculus of mobile processes, I
, 1992
"... We present the a-calculus, a calculus of communicating systems in which one can naturally express processes which have changing structure. Not only may the component agents of a system be arbitrarily linked, but a communication between neighbours may carry information which changes that linkage. The ..."
Abstract
-
Cited by 1184 (31 self)
- Add to MetaCart
-calculus of higher-order functions (the I-calculus and com-binatory algebra), the transmission of processes as values, and the representation of data structures as processes. The paper continues by presenting the algebraic theory of strong bisimilarity and strong equivalence, including a new notion of equivalence
Experimental verification of a negative index of refraction,”
- Science,
, 2001
"... Abstract: We studied a two-dimensional square-lattice photonic crystal with all-angle negative refraction at its first band. Using this photonic crystal, we designed and fabricated a flat lens functioning as a cylindrical lens by increasing the vertical dimension of the photonic crystal. Twodimensi ..."
Abstract
-
Cited by 377 (9 self)
- Add to MetaCart
Abstract: We studied a two-dimensional square-lattice photonic crystal with all-angle negative refraction at its first band. Using this photonic crystal, we designed and fabricated a flat lens functioning as a cylindrical lens by increasing the vertical dimension of the photonic crystal
Magnetism from conductors and enhanced nonlinear phenomena,”
- IEEE Trans. on Microwave Theory and Techniques,
, 1999
"... Abstract: We analyze the transmission properties of double negative metamaterials (DNM). Numerical simulations, based on the transfer matrix algorithm, show that some portion of the electromagnetic wave changes its polarization inside the DNM structure. As the transmission properties depend strongl ..."
Abstract
-
Cited by 465 (3 self)
- Add to MetaCart
strongly on the polarization, this complicates the interpretation of experimental and numerical data, both inside and outside of the pass band. From the transmission data, the effective permittivity, permeability and refractive index are calculated. In the pass band, we found that the real part
Johann Radon Institute for Computational and Applied Mathematics Austrian Academy of Sciences (ÖAW)
, 2014
"... The equivalent refraction index for the acoustic scattering by many small obstacles: with error estimates Powered by TCPDF (www.tcpdf.org) The equivalent refraction index for the acoustic scattering by many small obstacles: with error estimates. ..."
Abstract
- Add to MetaCart
The equivalent refraction index for the acoustic scattering by many small obstacles: with error estimates Powered by TCPDF (www.tcpdf.org) The equivalent refraction index for the acoustic scattering by many small obstacles: with error estimates.
Effective Mapping of Biomedical Text to the UMLS Metathesaurus: The MetaMap Program
, 2001
"... The UMLS® Metathesaurus®, the largest thesaurus in
the biomedical domain, provides a representation of
biomedical knowledge consisting of concepts classified
by semantic type and both hierarchical and nonhierarchical
relationships among the concepts. This
knowledge has proved useful for many applica ..."
Abstract
-
Cited by 380 (4 self)
- Add to MetaCart
) to map biomedical
text to the Metathesaurus or, equivalently, to
discover Metathesaurus concepts referred to in text.
MetaMap uses a knowledge intensive approach based
on symbolic, natural language processing (NLP) and
computational linguistic techniques. Besides being
applied for both IR and data mining
Negative refraction makes a perfect lens
- Phys. Rev. Lett
, 2000
"... With a conventional lens sharpness of the image is always limited by the wavelength of light. An unconventional alternative to a lens, a slab of negative refractive index material, has the power to focus all Fourier components of a 2D image, even those that do not propagate in a radiative manner. Su ..."
Abstract
-
Cited by 292 (3 self)
- Add to MetaCart
With a conventional lens sharpness of the image is always limited by the wavelength of light. An unconventional alternative to a lens, a slab of negative refractive index material, has the power to focus all Fourier components of a 2D image, even those that do not propagate in a radiative manner
Logic Programming in a Fragment of Intuitionistic Linear Logic
, 1994
"... When logic programming is based on the proof theory of intuitionistic logic, it is natural to allow implications in goals and in the bodies of clauses. Attempting to prove a goal of the form D ⊃ G from the context (set of formulas) Γ leads to an attempt to prove the goal G in the extended context Γ ..."
Abstract
-
Cited by 340 (44 self)
- Add to MetaCart
if they are based on linear logic. After presenting two equivalent formulations of a fragment of linear logic, we show that the fragment has a goal-directed interpretation, thereby partially justifying calling it a logic programming language. Logic programs based on the intuitionistic theory of hereditary Harrop
Results 1 - 10
of
9,636
