|
|
smash sum ==>
coalesced sum
<theory> (Or "smash sum") In domain theory, the coalesced
sum of domains A and B, A (+) B, contains all the
non-bottom elements of both domains, tagged to show which
part of the sum they come from, and a new bottom element.
D (+) E = { bottom(D(+)E) }
U { (0,d) | d in D, d /= bottom(D) }
U { (1,e) | e in E, e /= bottom(E) }
The bottoms of the constituent domains are coalesced into a
single bottom in the sum. This may be generalised to any
number of domains.
The ordering is
bottom(D(+)E) <= v For all v in D(+)E
(i,v1) <= (j,v2) iff i = j & v1 <= v2
"<=" is usually written as LaTeX \sqsubseteq and "(+)" as
LaTeX \oplus - a "+" in a circle.
(1994-12-22)
Try this search on OneLook / Google
Nearby terms:
CO2 « Coad/Yourdon « COALA « coalesced sum » Coalition for Networked Information » coarse grain » COAST
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
UMAX 14-Inch TFT VGA Monitor w/Speakers (Black)UMAX 14-Inch TFT VGA Monitor w/Speakers (Black) ** 14-Inch TFT LCD Monitor **This UMAX 14-Inch TFT LCD Monitor offers excellent viewing quality! It features built-in speakers and 1024 x 768 maximum resolutions. Other features include 250:1 contrast ratio, 150 cd/m2 brightness, and 15 ms (Tr)/25 ms (Tf) response time. This black color monitor offers a compact design that saves space at your home or office desk!General Features:- Black case- 14-inch TFT LCD display- 1024 x 768 maximum resolution- 250:1 contrast ratio - 15 ms (Tr)/25 ms (Tf) response time- 150 cd/m2 brightness- Horizontal frequency: 31 –60 KHz- Vertical frequency: 60 Hz –75 Hz- Wall mount- Built-in speakers- Audio in jack- On-Screen Display (OSD) controls- Built-in 15-pin VGA connectorPower Specifications:- Input rating: 12 V DC, 3.5 A Regulatory Approvals:- FCC- CE- CCC- TUV-GSFactory Plain Box Includes:- 14-Inch TFT LCD Monitor- Manual- AC adapter (100-240 V, 50/60 Hz, 1.2 A max)- Power cord- Audio cableNotes:- LCD displays may have cosmetic imperfections that appear as small bright or dark spots. This is common to all LCD displays used in products by all vendors and is not specific to any one vendor or brand. Below are the acceptable amounts of dot defects for LCD displays that we sell: - 14-inch: - Total Defects: 6 - Bright or Dark Dots (random): 3 - Bright or Dark Dots (2 adjacent): 1 - Bright or Dark Dots (3 adjacent): 0 - Minimum distance between defects: 15mm (bright to bright dots); 5mm (dark to dark dots) Compatibility/Requirements/Disclosures:** Requirements *** VGA adapter * Audio source with 3.5 mm stereo mini-jack output * Available power outlet ** Disclosures *** LCD displays may have cosmetic imperfections that appear as small bright or dark spots. This is common to all LCD displays used in products by all vendors and is not specific to any one vendor or brand. Below are the acceptable amounts of dot defects for LCD displays that we sell:* 15-inch: * Total Defects: 6* Bright or Dark Dots (random): 3* Bright or Dark Dots (2 adjacent): 1* Bright or Dark Dots (3 adjacent): 0* Minimum distance between defects: 15mm (bright to bright dots); 5mm (dark to dark dots) More ...
SBT-TVFM FM Radio /TV Tuner PCI Capture CardSBT-TVFM FM Radio /TV Tuner PCI Capture Card ** SBT-TVFM FM Radio /TV Tuner PCI Capture Card **Capture video from your digital camcorder, watch TV, and listen to FM radio all from your PC with this SBT-TVFM PCI capture card! You can easily connect a DVD player, VCR or a game console to your PC with the S-Video and composite A/V jack.Watch TV on your monitor and record your favorite show at the same time, do all this with the SBT-TVFMPCI Capture Card! Order today!General Features:- PCI interface- Conexant Fusion 878A chipset- Watch TV on your PC without any delay.- OSD: On Screen Display- Favorite channel list- TV channel Fine tune +/-0.25 MHz- Maximum resolution up to 640 x 480 - Built-in TV Tuner allows you to receive up to 125 channels on cable or TV air broadcasts- Full Screen TV Display - Auto scan up to 125 TV channels - Supports Composite / S-Video input or Composite Video Camera- Capture Rate: 30 frames per second- TV Frequency: CATV / VHF / UHF- Favorite TV channel editing- VBI supports Teletext- Support Teletext Mode - FM Radio Front Bracket Connectors:- FM input- TV Tuner- Remote- AV in- Audio in- S-Video- Audio outRegulatory Approvals:- CERetail Package Includes:- SBT-TVFM FM Radi /TV Tuner PCI Capture Card - Install CD-ROM- Remote Control- Two (2) AAA Batteries- FM radio antenna- Remote Sensor cable- Audio cable- Quick installation GuideNotes:- Model: SBT-TVFM- UPC Code: 1 88218 00072 9 Compatibility/Requirements/Disclosures: ** Requirements *** Windows 98SE/ME/2000/XP* Available PCI slot* 366 MHz CPU or higher* 32 MB RAM or above* VGA Card with at least 8 MB memory* Analog TV signal source (Cable or antenna)* CD-ROM drive More ...
Quickstart: Spanish ImmersionQuickstart: Spanish Immersion Start quickly and maximize the full potential of the widely accepted method of learning a language -- the Immersion Method -- with Quickstart Spanish. 2000+ words, 1200+ phrases, games, exclusive Panoramic Immersion Scenes, and more. Windows 98/ME/2000/XP More ...
PS/2 3-Button Optical Scroll Mouse (Silver)PS/2 3-Button Optical Scroll Mouse (Silver) ** PS/2 3-Button Optical Scroll Mouse (Silver) **This PS/2 3-button mouse features a highprecision optical sensor so theres no mouseball to clean! Other features include 800 dpiresolution and a scroll wheel for easynavigation! Its sleek silver profile willlook great in any environment! Order yourstoday!General Features:- Silver profile- PS/2 interface- 3-button design- Scroll Wheel (acts as third button)- 800 dpi resolution- High precision optical sensor- Ergonomic shapeRegulatory Approvals:- FCC- CERetail Package Includes:- PS/2 3-Button Optical Scroll Mouse - Setup disk on floppyNotes:- Model: HTM-90WT Compatibility/Requirements/Disclosures:** Requirements *** Windows 95/98/Me/2000/XP* Available PS/2 port* Floppy drive (to load setup disk) More ...
3COM 3C905B-TX Fast EtherLink 10/100 PCI NIC3COM 3C905B-TX Fast EtherLink 10/100 PCI NIC ** 3Com Fast EtherLink XL PCI Card **This 3Com Fast Ethernet NIC provides support for 10Base-TXand 100Base-TX Ethernet networks. The PCI interface andParallel Tasking II ensures fast throughput!--> General Features:- 3Com/Broadcom chipset- Supports 10/100Base-TX Ethernet networks- Parallel Tasking II- 32-bit PCI bus- Auto-senses speed of network/switch- Boot ROM socket (no rom installed)- Bulk packed with no drivers (downloadable)- Hardware IP checksum enabled for better performance- Wake On LAN support--> NIC only (no drivers or cables provided)- Model: 3C905B-TX More ...
D-Link DCM-200 USB/Ethernet High-Speed Cable ModemD-Link DCM-200 USB/Ethernet High-Speed Cable Modem ** D-Link Cable Modem **The D-Link DCM-200 is a two-way DOCSIS 1.0 CableLabs certified Ethernet 10BaseT cable modem. The DCM-200 provides high-speed Internet access over a cable network and can connect to a computer via its Ethernet or USB port, which connects to an Ethernet card in a PC or a laptop. The DCM-200 provides intelligent IP allocation management, which can be configured to work on a static or DHCP network. For security purposes, the DCM-200 provides 56-bit DES (Data Encryption Standard) to encrypt data transaction for both upstream and downstream transmissions.General Features:- High-speed cable modem- USB 1.1 interface- RJ-45 Ethernet interface- IEEE 802.3 compliant- 10Base-T- MCNS/DOCSIS 1.0 compliant- 56-bit DES encryption- MCNS, DOCSIS 1.1 MAC protocolData Speeds:- 64QAM/256QAM demodulation- 30.342 Mbps (64QAM), 42.88 Mbps (256QAM) downstream- Reed-Solomon error correction- 91 MHz - 860 MHz frequency range- -15 dBmV to +15 dBmV input signal level- QPSK, 16QAM modulation- 0.3 to 5.1 Mbps (QPSK), 0.6 to 10.2 Mbps (16QAM) upstream- 5 MHz to 42 MHz frequency range- +8 to +55 dBmV (16QAM) input signal level- +8 to +58 dBmV (QPSK) input signal levelFront Panel Features:- Power LED indicator- Link LED indicator- Activity LED indicator- Status LED indicatorRear Panel Features:- One (1) RF F-type female 75-ohm connector- One (1) USB 1.1 type B jack- One (1) RJ-45 standard Ethernet jack- DC input jackPlain Package Includes:- D-Link refurbished DCM-200 cable modem- Quick Install Guide- USB A to B cable- Driver CD- RJ-45 standard Ethernet cable- AC adapter(100-120V ~ 1.0A, 50-60 Hz; +12V 1500mA)Notes:- Model: DCM-200- UPC: 7 90069 26079 7 Compatibility/Requirements/Disclosures: ** Requirements *** Microsoft Windows 98/98SE/NT 4.0/2000/ME/XP* CD-ROM drive* RF cable for Internet access* ISP* Available USB port or available RJ-45 jack* Available power outlet Informational Links: http://www.dlink.com/ http://usercenter.cox.net/sdckb/modems/compatible_modems.htm http://www.adelphia.net/high_speed_internet/modems.cfm More ...
|
