Filters








2,990 Hits in 3.6 sec

JSL volume 66 issue 2 Cover and Back matter

2001 Journal of Symbolic Logic (JSL)  
University, Stanford, CA 94305, USA (jetchAcsli.stanford.edu); or Robert Goldblatt, Department of Mathematics, Victoria University, Box 600, Wellington, New Zealand (rob. goldblattQvuw. ac. nz); or William  ...  , 1L 618204903, USA. studies in the history of logic in which modern technical developments are taken into account.  ... 
doi:10.1017/s0022481200010793 fatcat:wtqexbjxyfd2zfokuuual7dqsm

JSL volume 66 issue 3 Cover and Back matter

2001 Journal of Symbolic Logic (JSL)  
Compton, Department ofEECS, University of Michigan, Ann Arbor, MI 48109, USA (kjcauuich.edu); or Francoise Delon, UFR de Math., Univ. Paris VII, 2pi.  ...  logic or make use of its methods, and (4) studies in the history of logic in which modern technical, developments are taken into account.  ...  University, Stanford, CA 94305, USA (jetchacsli.stanford.edu); or Robert Gdldblatt, Department of Mathematics, Victoria University, Box 600, Wellington, New Zealand (rob. goldblattflvuw. ac. nz); or William  ... 
doi:10.1017/s0022481200010458 fatcat:ap64oonl7jerbgvygbyxnofo6q

Astrophysics in 2001

Virginia Trimble, Markus J. Aschwanden
2002 Publications of the Astronomical Society of the Pacific  
Next, logically, come the units in which astronomers of that era and succeeding ones were paid.  ...  The generic host description is "star forming galaxies with luminosity less than L* [the break in the Schechter luminosity function]" (Castro-Tirado et al. 2001; Holland et al. 2001; Sokolov et al. 2001  ... 
doi:10.1086/341673 fatcat:jjmegtx6jfbkjoozzbxvrti5v4

Page 2876 of The Journal of Neuroscience Vol. 21, Issue 8 [page]

2001 The Journal of Neuroscience  
Proc Natl Acad Sci USA 88:3932-3936.  ...  Sah P (1996) Calcium-activated K currents in neurones: types, physio- logical roles and modulation. Trends Neurosci 19:150-154.  ... 

Charge-trap memory device fabricated by oxidation of Si/sub 1-x/Ge/sub x/

Ya-Chin King, Tsu-Jae King, Chenming Hu
2001 IEEE Transactions on Electron Devices  
She received the B.S., M.S., and Ph.D. degrees in electrical engineering from Stanford University, Stanford, CA, in 1984, 1986, and 1994, respectively.  ...  Hu are with the Department of Electrical Engineering and Computer Science, University of California, Berkeley, CA 94720 USA (e-mail: ycking@ee.nthu.edu.tw). Fig. 1 . 1 Fig. 1.  ... 
doi:10.1109/16.915694 fatcat:fpfetbdalvdjnmmn2uniqv6lhe

Ninian Smart (6 May 1927 - 21 January 2001)

George Chryssides
2001 Buddhist Studies Review  
Isabelle Robinet, Taoism: Growth of a Religion (Stanford: Stanford University Press, 1997), p. 65.  ...  h#na Sutta Buddhist Studies Review 18, 1 (2001) Mikulas, W.  ... 
doi:10.1558/bsrv.v18i1.14472 fatcat:xtvwcshonvaq3h67mue43mz66i

Object-oriented domain specific compilers for programming FPGAs

O. Mencer, M. Platzner, M. Morf, M.J. Flynn
2001 IEEE Transactions on Very Large Scale Integration (vlsi) Systems  
Flynn are with the Computer Systems Laboratory, Department of Electrical Engineering, Stanford, CA 94305 USA (e-mail: {morf; flynn}@arith.stanford.edu).  ...  For data-paths it is therefore sufficient to specify the logic, map the logic to lookup-tables, and specify their location on the FPGA device.  ...  Reconfigurable logic devices achieve a high level of performance on a wide variety of applications.  ... 
doi:10.1109/92.920835 fatcat:qm53w6pj6fa3fjxnskuqjq6xta

Synthesis of hardware models in C with pointers and complex data structures

L. Semeria, K. Sato, G. De Micheli
2001 IEEE Transactions on Very Large Scale Integration (vlsi) Systems  
, Stanford, CA, in 1998 and 2001, respectively.  ...  De Micheli is with the Computer Systems Laboratory, Stanford University, Stanford, CA 95305 USA (e-mail: nanni@galileo.stanford.edu). K.  ...  Giovanni De Micheli (S'79-M'82-SM'89-F'94) is a Professor of Electrical Engineering, and by courtesy, of Computer Science at Stanford University, Stanford, CA.  ... 
doi:10.1109/92.974889 fatcat:d2wepcu4njdobj7rptqgt3m3de

Book reviews

2001 Mind  
Adams, A Primer of Probability Logic (Stanford, CA: CSLI Publications, )), or else to challenge Adams's thesis and contend that indicative conditionals, like subjunctives, have possible-worlds truth-conditions  ...  Therefore, a proper description of what it takes to grasp a logical norm must rely on psychology as an empirical investigation of our cognitive resources.  ... 
doi:10.1093/mind/110.437.149 fatcat:t6g3qqzvh5ca3bfzbdetzgpyuu

Polynomial circuit models for component matching in high-level synthesis

J. Smith, G. De Micheli
2001 IEEE Transactions on Very Large Scale Integration (vlsi) Systems  
The authors are with the Computer Systems Laboratory, Stanford University, Stanford, CA 94305 USA (e-mail: jsmith@mdv.com).Publisher Item Identifier S 1063-8210(01)07657-0.  ...  For example, can be approximated by This article presents methods for developing analogous wordlevel polynomial models for existing implementations given a 1063-8210/01$10.00 © 2001 IEEE bit-level description  ... 
doi:10.1109/92.974892 fatcat:br37ddwxhrccha5lpzhexbzzyy

Kava

David F. Bacon
2001 Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande - JGI '01  
Java Grande/ISCOPE '01 Stanford, CA, USA Copyright c 2001 ACM 0-89791-88-6/97/05 $5.00. metic types, fixed-pointed numbers, and extended precision arithmetic; in networking, IP or ethernet addresses; in  ...  In hardware terms, this is a description of a ripple-carry adder, and could be synthesized as such with a design compiler capable of recognizing the idiom.  ... 
doi:10.1145/376656.376812 fatcat:ugwwevda3rb5hibd26wodcxa2m

Issues of Validity in Intercultural Professional Communication Research

Barry Thatcher
2001 Journal of business and technical communication  
Stanford, CA: Stanford University Press, 1999. Lucy, John. “The Scope of Linguistic Relativity: An Analysis and Review of Empirical Re- search.” Rethinking Linguistic Relativity. Ed. John J.  ...  Stanford, CA: Stanford University Press, 1969. Moran, Charles, and Gail Hawisher. “The Rhetorics and Languages of Electronic Mail.” Page to Screen: Taking Literacy into the Electronic Era. Ed.  ... 
doi:10.1177/105065190101500403 fatcat:5tlpw3ekffgjzolgbenpw6f2ue

Resolution, optimization, and encoding of pointer variables for the behavioral synthesis from C

L. Semeria, G. De Micheli
2001 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  
Heine of Stanford University, Stanford, CA, for his help with the implementation using SUIF and J. Kunkel and A. Ghosh of Synopsys Inc., Mountain View, CA, for their comments and support.  ...  The authors are with the Computer Systems Laboratory, Stanford University, Stanford, CA 95305 USA (e-mail: lucs@azur.stanford.edu; nanni@galileo.stanford.edu).  ...  Since there are no synthesis benchmarks written in with pointers, the objective of this section is to show the technical feasibility of mapping descriptions to logic gates.  ... 
doi:10.1109/43.908442 fatcat:5zzc67vfsjdfnbgkrrpi647fpi

Page 677 of SMPTE Motion Imaging Journal Vol. 98, Issue 9 [page]

1989 SMPTE Motion Imaging Journal  
Stanford, Valencia, CA 91355 Booth: 2116 Product Description: Products: full line of CRT-based stereo audio phase and level moni- toring instruments.  ...  ., Shel- ton, CT 06484 Booth: 1134 Product Description: Logic Series batteries, chargers, and lighting products for use with camera/camcorder systems.  ... 

Relation of health literacy to gonorrhoea related care

J D Fortenberry
2001 Sexually Transmitted Infections  
DATA ANALYSES All analyses were conducted using STATA (Stata Corporation, College Station, TX, USA).  ...  Descriptive information on the variables used in the regression analysis are shown in table 1.  ... 
doi:10.1136/sti.77.3.206 pmid:11402232 pmcid:PMC1744316 fatcat:lj7w5e2knzetpbiqnr6nhvvubi
« Previous Showing results 1 — 15 out of 2,990 results