Listing 1 - 10 of 13 | << page >> |
Sort by
|
Choose an application
Choose an application
MIPS (Computer architecture) --- RISC microprocessors. --- Embedded computer systems --- MIPS (Architecture d'ordinateurs) --- Systèmes enfouis (Informatique) --- Programming. --- Programmation --- RISC microprocessors --- Programming --- Systèmes enfouis (Informatique) --- Embedded computer systems - Programming
Choose an application
Choose an application
This second edition is not only a thorough update of the first edition, it is also a marriage of the best-known RISC architecture--MIPS--with the best-known open-source OS--Linux. The first part of the book begins with MIPS design principles and then describes the MIPS instruction set and programmers' resources. It uses the MIPS32 standard as a baseline (the 1st edition used the R3000) from which to compare all other versions of the architecture and assumes that MIPS64 is the main option. The second part is a significant change from the first edition. It provides concrete examples of operating
MIPS (Computer architecture) --- RISC microprocessors --- Embedded computer systems --- Programming --- Information Technology --- General and Others --- RISC microprocessors. --- Microprocessors --- Reduced instruction set computers --- Microcomputer without Interlocked Pipeline Stages (Computer architecture) --- Computer architecture --- Programming. --- Linux. --- Slackware Linux --- SUSE Linux --- Embedded computer systems - Programming
Choose an application
Programming --- MIPS (Computer architecture) --- 681.3*D32 --- Microcomputer without Interlocked Pipeline Stages (Computer architecture) --- Computer architecture --- language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- MIPS (Computer architecture). --- 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages)
Choose an application
The purpose of this volume is to show how in this area the technology, creativity and inventiveness are the basis of new and encouraging results not only in the environmental field but also in the monitoring of xenobiotics of organic and inorganic origin in complex matrices. The final objective will always be on determining the fundamental parameters of interest to set up an analytical procedure, such as precision and trueness (that together give accuracy), the limits of detection and quantification, selectivity, and especially sensitivity, or attempting to increase this
Research & information: general --- azides --- screen-printed sensors --- poly (3-octylthiophene) --- solid contact potentiometric sensors --- iron-phthalocyanine --- nitron-azide complexes --- microwave-assisted aqueous two-phase extraction --- Solasodine --- alkaloid --- response surface methodology --- high-performance liquid chromatography --- pre-development process --- clotrimazole --- itraconazole --- stability --- method validation --- sporotrichosis --- differential pulse voltammetry --- hydrochlorothiazide --- pyridoxine --- chemometrics --- bioindication --- heavy metals --- urban soil --- Senecio vulgaris --- Poa annua --- Polygonum aviculare --- predictive models --- MIPs --- parabens --- biological matrix --- extraction procedure --- HPLC-PDA --- stationary phase characterization --- phenol --- 3-aminophenol --- wastewater --- SPMMTE --- capillary electrophoresis --- deoxynivalenol --- dcELISA kit --- performance measurement --- development --- grapevine --- bioaccumulation --- biomonitoring --- laser-induced breakdown spectroscopy --- surface pollution --- high voltage insulators --- quantitatively analysis
Choose an application
The purpose of this volume is to show how in this area the technology, creativity and inventiveness are the basis of new and encouraging results not only in the environmental field but also in the monitoring of xenobiotics of organic and inorganic origin in complex matrices. The final objective will always be on determining the fundamental parameters of interest to set up an analytical procedure, such as precision and trueness (that together give accuracy), the limits of detection and quantification, selectivity, and especially sensitivity, or attempting to increase this
Research & information: general --- azides --- screen-printed sensors --- poly (3-octylthiophene) --- solid contact potentiometric sensors --- iron-phthalocyanine --- nitron-azide complexes --- microwave-assisted aqueous two-phase extraction --- Solasodine --- alkaloid --- response surface methodology --- high-performance liquid chromatography --- pre-development process --- clotrimazole --- itraconazole --- stability --- method validation --- sporotrichosis --- differential pulse voltammetry --- hydrochlorothiazide --- pyridoxine --- chemometrics --- bioindication --- heavy metals --- urban soil --- Senecio vulgaris --- Poa annua --- Polygonum aviculare --- predictive models --- MIPs --- parabens --- biological matrix --- extraction procedure --- HPLC-PDA --- stationary phase characterization --- phenol --- 3-aminophenol --- wastewater --- SPMMTE --- capillary electrophoresis --- deoxynivalenol --- dcELISA kit --- performance measurement --- development --- grapevine --- bioaccumulation --- biomonitoring --- laser-induced breakdown spectroscopy --- surface pollution --- high voltage insulators --- quantitatively analysis
Choose an application
The purpose of this volume is to show how in this area the technology, creativity and inventiveness are the basis of new and encouraging results not only in the environmental field but also in the monitoring of xenobiotics of organic and inorganic origin in complex matrices. The final objective will always be on determining the fundamental parameters of interest to set up an analytical procedure, such as precision and trueness (that together give accuracy), the limits of detection and quantification, selectivity, and especially sensitivity, or attempting to increase this
azides --- screen-printed sensors --- poly (3-octylthiophene) --- solid contact potentiometric sensors --- iron-phthalocyanine --- nitron-azide complexes --- microwave-assisted aqueous two-phase extraction --- Solasodine --- alkaloid --- response surface methodology --- high-performance liquid chromatography --- pre-development process --- clotrimazole --- itraconazole --- stability --- method validation --- sporotrichosis --- differential pulse voltammetry --- hydrochlorothiazide --- pyridoxine --- chemometrics --- bioindication --- heavy metals --- urban soil --- Senecio vulgaris --- Poa annua --- Polygonum aviculare --- predictive models --- MIPs --- parabens --- biological matrix --- extraction procedure --- HPLC-PDA --- stationary phase characterization --- phenol --- 3-aminophenol --- wastewater --- SPMMTE --- capillary electrophoresis --- deoxynivalenol --- dcELISA kit --- performance measurement --- development --- grapevine --- bioaccumulation --- biomonitoring --- laser-induced breakdown spectroscopy --- surface pollution --- high voltage insulators --- quantitatively analysis
Choose an application
This monograph is based on the third author's lectures on computer architecture, given in the summer semester 2013 at Saarland University, Germany. It contains a gate level construction of a multi-core machine with pipelined MIPS processor cores and a sequentially consistent shared memory. The book contains the first correctness proofs for both the gate level implementation of a multi-core processor and also of a cache based sequentially consistent shared memory. This opens the way to the formal verification of synthesizable hardware for multi-core processors in the future. Constructions are in a gate level hardware model and thus deterministic. In contrast the reference models against which correctness is shown are nondeterministic. The development of the additional machinery for these proofs and the correctness proof of the shared memory at the gate level are the main technical contributions of this work.
Computer science. --- Computer hardware. --- Microprocessors. --- Computer communication systems. --- Software engineering. --- Programming languages (Electronic computers). --- Algorithms. --- Computer Science. --- Algorithm Analysis and Problem Complexity. --- Software Engineering. --- Computer Hardware. --- Processor Architectures. --- Computer Communication Networks. --- Programming Languages, Compilers, Interpreters. --- Computer software. --- Software, Computer --- Computer systems --- Computer software engineering --- Engineering --- Informatics --- Science --- MIPS (Computer architecture) --- Memory management (Computer science) --- Multiprocessors. --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Minicomputers --- Algorism --- Algebra --- Arithmetic --- Distributed processing --- Foundations --- Computers. --- Computer architecture. --- Computer networks. --- Compilers (Computer programs). --- Compilers and Interpreters. --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software --- Architecture, Computer --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Cybernetics --- Machine theory --- Calculators --- Cyberspace
Choose an application
Biosensors, i.e., devices where biological molecules or bio(mimetic)structures are intimately coupled to a chemo/physical transducer for converting a biorecognition event into a measurable signal, have recently gained a wide (if not huge) academic and practical interest for the multitude of their applications in analysis, especially in the field of bioanalysis, medical diagnostics, and clinical assays. Indeed, thanks to their very simple use (permitting sometimes their application at home), the minimal sample pretreatment requirement, the higher selectivity, and sensitivity, biosensors are an essential tool in the detection and monitoring of a wide range of medical conditions from glycemia to Alzheimer’s disease as well as in the monitoring of drug responses. Soon, we expect that their importance and use in clinical diagnostics will expand rapidly so as to be of critical importance to public health in the coming years. This Special Issue would like to focus on recent research and development in the field of biosensors as analytical tools for clinical assays and medical diagnostics.
Technology: general issues --- molecularly imprinted polymers (MIPs) --- surface imprinted polymers (SIPs) --- electrochemical biosensor --- biomarkers for infectious diseases --- choline biosensor --- amperometric detection --- overoxidized polypyrrole film --- phospholipase D assay --- phosphatidylcholine --- human epididymis protein 4 --- competitive electrochemical immunosensor --- WiFi portable potentiostat --- on-board calibration --- Internet of Things --- 1-methoxy-5-ethyl phenazinium ethyl sulfate --- disposable enzyme sensor --- lactate oxidase --- glucose dehydrogenase --- fructosyl peptide oxidase --- electrochemical enzyme sensor --- biomedical engineering --- surface plasmon resonance --- biosensors --- bio-functionalization optimization --- cost-effective biosensors --- lab-on-a-chip --- aptamer --- labeling --- enzyme --- zinc finger protein --- electrochemical sensor --- vascular endothelial growth factor --- breast cancer --- nanobiosensors --- biomarkers --- electrochemistry --- impedance --- immobilization --- nanomaterial --- nanoparticles (NPs) --- magnetic NPs --- self-assembled monolayers (SAMs) --- signal amplification --- optogenetics --- micro-electrode array --- in situ detection --- electrophysiology --- neural circuit recognition --- biosensor --- carbon dots --- norepinephrine --- tyrosinase --- voltammetry --- folic acid --- real samples --- analytical methods --- electrochemical tools --- choline analysis --- phosphocholine analysis --- choline oxidase --- alkaline phosphatase --- enzyme immobilization --- overoxidized polypyrrole --- electropolymerized non-conducting polymer --- dual electrode biosensor --- simultaneous determination --- flow injection analysis --- capacitive sensing --- alternating current electrokinetic effects --- miRNA sensing --- point-of-care diagnostics
Listing 1 - 10 of 13 | << page >> |
Sort by
|