• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 11 - 20 of 101
Next 10 →

IT Security for Automation Systems – Motivations and Mechanisms

by Martin Naedele, Abb Schweiz Ag - In: atpi 01/2004, Oldenbourg Industrieverlag , 2004
"... The protection of safety-critical and infrastructure systems (such as automation systems for utilities, but also for manufacturing plants) against electronic and communication network based attacks becomes more and more important. This paper examines how such safety-critical plants and automation sy ..."
Abstract - Cited by 3 (1 self) - Add to MetaCart
systems can be secured against information system and network based attacks. Based on the defense-in-depth approach, a conceptional, generic security zone model for use in analysis and synthesis of a plant security architecture is proposed, and for each of its zones a survey of the available

The Datacenter as a Computer An Introduction to the Design of Warehouse-Scale Machinesiii Synthesis Lectures on Computer Architecture Editor

by unknown authors
"... ..."
Abstract - Add to MetaCart
Abstract not found

The Datacenter as a Computer An Introduction to the Design of Warehouse-Scale Machinesiii Synthesis Lectures on Computer Architecture Editor

by unknown authors
"... ..."
Abstract - Add to MetaCart
Abstract not found

The Datacenter as a Computer An Introduction to the Design of Warehouse-Scale Machinesiii Synthesis Lectures on Computer Architecture Editor

by unknown authors
"... ..."
Abstract - Add to MetaCart
Abstract not found

Research Article Optimizing Nitrogen Management in Food and Energy Production and Environmental Protection

by U Singh , K E Giller , C A Palm , J K Ladha , H Breman
"... , and the environmental and management factors. This paper will synthesize the information generated from integrated nutrient management trials in subSaharan Africa and the Philippines. Management strategies based on an organic resources database and a dynamic soil-crop simulation model are used to ..."
Abstract - Add to MetaCart
fertilizers, legumes, cereals, N release, crop N demand, organic resources, mineral fertilizers DOMAINS: plant sciences, agronomy, soil systems, plant processes, nutrition, environmental chemistry, ecosystems management, modeling, information management, environmental modeling. In intensive cropping systems

Research Article Protection Effect of Endomorphins on Advanced Glycation End Products Induced Injury in Endothelial Cells

by Suhong Wei, Qian Guo , 2013
"... Copyright © 2013 Jing Liu et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Endomorphins (EMs) have a very important bridge-func ..."
Abstract - Add to MetaCart
-function in cardiovascular, endocrinological, and neurological systems. This study is to investigate the effects of EMs on the synthesis and secretion of vasoactive substances induced by advanced glycation end products in primary cultured human umbilical vein endothelial cells (HUVECs). Firstly, HUVECs were stimulated

SYNTHESIS OF ANION EXCHANGE/ACTIVATED CARBON FIBER HYBRID MATERIALS FOR AQUEOUS ADSORPTION OF TOXIC HEXAVALENT CHROMIUM BY

by Weihua Zheng
"... Hexavalent chromium, also known popularly as the “Erin Brockwich chemical”, has recently been identified as a carcinogen by ingestion. Unfortunately, it is present in drinking water supplies in United States. An effective, Point-of-Use (POU) based technology to remove Cr(VI) in tap water is urgently ..."
Abstract - Add to MetaCart
is urgently needed to protect human beings against this carcinogen. Due to the inadequate state-of-the-art technology for rapid, selective removal of Cr(VI), a unique hybrid activated carbon/anion exchange system (HACAX) has been developed for the first time in our group. HACAX was synthesized by methylation

IT-Security for Safety-Critical Automation Systems

by Martin Naedele - In Programmable Electronic Systems in Safety Related Applications, 5th International Symposium , 2002
"... The protection of safety-critical and infrastructure systems (such as automation systems for utilities, but also for manufacturing plants) against electronic and communication network based attacks becomes more and more important. This paper investigates how such safety-critical plants and automatio ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
and automation systems can be secured against information system and network based attacks. The two common approaches, hard perimeter, and defense-in-depth are discussed. Based on the defense-in-depth approach, a conceptional, generic security zone model for use in analysis and synthesis of a plant security

Promoter and operator determinants for Fur-mediated iron regulation in the bidirectional fepA-fes control region of the Escherichia coli enterobactin gene system

by Marjorie D. Hunt, Gregg S. Pettis, Mark A. Mcintosh - J , 1994
"... The fepA-entD and fes-entF operons in the enterobactin synthesis and transport system are divergently transcribed from overlapping promoters, and both are inhibited by the Fur repressor protein under iron-replete conditions. A plasmid harboring divergentfepA'-'phoA andfes-entF'-' ..."
Abstract - Cited by 17 (3 self) - Add to MetaCart
The fepA-entD and fes-entF operons in the enterobactin synthesis and transport system are divergently transcribed from overlapping promoters, and both are inhibited by the Fur repressor protein under iron-replete conditions. A plasmid harboring divergentfepA'-'phoA andfes

Types for Atomicity: Static Checking and Inference for Java

by Cormac Flanagan, Stephen N. Freund, Marina Lifshin
"... Atomicity is a fundamental correctness property in multithreaded programs. A method is atomic if, for every execution, there is an equivalent serial execution in which the actions of the method are not interleaved with actions of other threads. Atomic methods are amenable to sequential reasoning, wh ..."
Abstract - Cited by 22 (6 self) - Add to MetaCart
, which significantly facilitates subsequent analysis and verification. This article presents a type system for specifying and verifying the atomicity of methods in multithreaded Java programs using a synthesis of Lipton’s theory of reduction and type systems for race detection. The type system supports
Next 10 →
Results 11 - 20 of 101
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University