Search results for "CSTR"

showing 5 items of 45 documents

Introduction to Mathematical Logic (Edition 2017)

2017

Hyper-textbook for students in mathematical logic, Edition 2017

first order logiclogicresolution methodpredicate logicMathematicsofComputing_GENERALresolutionintuitionistic logicHerbrand theorempropositional logicmodel theoryconstructive logicData_FILESComputingMilieux_COMPUTERSANDEDUCATIONnormal formsmathematical logicHardware_ARITHMETICANDLOGICSTRUCTUREScompleteness theorem
researchProduct

Design and simulation of efficient combinational circuits based on a new XOR structure in QCA technology

2021

AbstractQuantum-dot cellular automata (QCA), due to its unique characteristics like low power consumption, nanoscale design, and high computing speed is considered as an emerging technology, and it can be used as an alternative for CMOS technology in circuit design for quantum computers in the near future. XOR gate has many applications in the design of digital circuits in QCA. In this paper, an efficient novel structure of XOR gate is proposed in QCA. Also, a novel 1-bit comparator circuit, 1-bit full adder, binary to gray and gray to binary convertor code based on the proposed XOR is designed and simulated using QCADesigner 2.0.3. The simulation results demonstrated that the proposed stru…

full adderAdderComparatorComputer scienceCircuit designelektroniset piiritBinary numberHardware_PERFORMANCEANDRELIABILITYElectronic engineeringHardware_INTEGRATEDCIRCUITSElectrical and Electronic EngineeringHardware_ARITHMETICANDLOGICSTRUCTURESXOR gateCombinational logicDigital electronicsbusiness.industrykvanttitietokoneetkvanttilaskentaconverterAtomic and Molecular Physics and OpticsElectronic Optical and Magnetic MaterialsCMOSsoluautomaatitbusinessquantum-dot cellular automataXOR gatecomparatorHardware_LOGICDESIGN
researchProduct

Šķīrējtiesas nolēmumu apstrīdēšanas institūts starptautiskajā praksē

2015

Šķīrējtiesa ir pasaulē iecienītākais komercstrīdu izšķiršanas veids. Lai šķīrējtiesas institūts atbilstu mūsdienu komercvidei, gan starptautiskie, gan nacionālie šķīrējtiesas procesu regulējošie normatīvie akti tiek mainīti, modernizēti un pielāgoti jaunajiem apstākļiem. Šodien svarīgs šķīrējtiesas procesa elements ir šķīŗējtiesas nolēmuma tiesiskuma un taisnīguma uzraudzība, kuru var īstenot valsts institūcija izskatot pieteikumus par šķīrējtiesas nolēmuma atcelšanu. Latvijā, atšķirībā no citu pasaules valstu tiesību sistēmām, normas, kuras regulē šķīrējtiesas nolēmuma atcelšanu, ilgstoši nav grozītas. Jaunā Šķīrējtiesu likuma normas nesaskan ar starptautisko šķīrējtiesas nolēmumu atcelšan…

nolēmuma atcelšanas sekasnolēmuma atcelšanašķīrējtiesastarptautiskskomercstrīdiJuridiskā zinātne
researchProduct

Single Event Upsets Induced by Direct Ionization from Low-Energy Protons in Floating Gate Cells

2017

Floating gate cells in advanced NAND Flash memories, with single-level and multi-level cell architecture, were exposed to low-energy proton beams. The first experimental evidence of single event upsets by proton direct ionization in floating gate cells is reported. The dependence of the error rate versus proton energy is analyzed in a wide energy range. Proton direct ionization events are studied and energy loss in the overlayers is discussed. The threshold LET for floating gate errors in multi-level and single-level cell devices is modeled and technology scaling trends are analyzed, also discussing the impact of the particle track size. peerReviewed

protonitNuclear and High Energy PhysicsProtonfloating gate devicesNAND gateFlash memories01 natural sciencesComputer Science::Hardware ArchitectureIonizationFlash memories; floating gate devices; protons; single event effects; Nuclear and High Energy Physics; Nuclear Energy and Engineering; Electrical and Electronic Engineering0103 physical sciencesHardware_ARITHMETICANDLOGICSTRUCTURESElectrical and Electronic Engineeringflash-muistit010302 applied physicsPhysicsRange (particle radiation)ta114ta213protons010308 nuclear & particles physicsbusiness.industryElectrical engineeringsingle event effectsNon-volatile memoryNuclear Energy and EngineeringLogic gateAtomic physicsbusinessEvent (particle physics)Energy (signal processing)IEEE Transactions on Nuclear Science
researchProduct

Testing and implementing a new approach to estimating interregional output multipliers using input-output data for South Korean regions

2020

Flegg's location quotient (FLQ) is a useful tool for estimating intraregional output multipliers. This paper uses it as one component when estimating interregional multipliers. Using statistical information criteria and official data for 16 South Korean regions, it is found that the best approach is to combine the FLQ with a simple trade model. The paper explains how the proposed procedure can be implemented for both multiple and individual regions, and also how a region-specific value for the unknown parameter δ in the FLQ formula can be determined. Finally, an illustrative case study of one of the regions is carried out.

sijaintiMathematical optimizationalueelliset erotComputer scienceGeography Planning and Development0211 other engineering and technologiestalousmaantiedealuetutkimusInformation Criteria02 engineering and technologyEtelä-KoreaFlegg's location quotient (FLQ)Component (UML)0502 economics and businessinterregional multipliersEarth and Planetary Sciences (miscellaneous)Economic base analysisHardware_ARITHMETICANDLOGICSTRUCTURES050207 economicspanos-tuotosanalyysiinformation criteriaInput/outputgravity model05 social sciencestuloksellisuus021107 urban & regional planninganalyysimenetelmätGravity model of tradeStatistics Probability and UncertaintyGeneral Economics Econometrics and Finance
researchProduct