作者：
Birnbaum, L.S.Bukzin, E.A.Saroyan, J.R.Leon S. Birnbaum holds a B.S. degree in Chemistry from City College of New York. He has completed graduate work in Chemistry at the University of Maryland and Temple University
and in Technology and Management at American University. He has been with the Navy Department Washington since 1949 and is currently Head of the Coatings and Chemistry Branch of the Materials Development and Application Office of the Naval Ship Engineering Center. Responsibilities of this Branch include such items as coatings corrosion control techniques insulation chemical cleaning water treatment toxicology and detection and decontamination of biological and chemical warfare agents. Prior to this Mr. Birnbaum was employed in the Industrial Test Laboratory Philadelphia Naval Shipyard from 1938 to 1949. Work during this period included supervision of a section which inspected paints and allied materials and petroleum products to determine their suitability for Naval use and direction of research in fire retardant treatments. He is a member of the American Chemical Society
Washington Paint Technical Group. National Association of Corrosion Engineers and the American Society of Naval Engineers. Mr. Bukzin is a research and development program manager in the Naval Ship Systems Command of the Department of the Navy in the fields of non-metallic materials
fuels lubricants cold weather operations and several other areas. He is a graduate chemical engineer from New York University with additional training in naval architecture and management which culminated in his participation in the Senior Development Program at Cornell University during the summer of 1960. He has been employed by the Command and its predecessor for the past 2b years and has been in his present position of R&D planning and programming for the past six years. Prior to that his major technical responsibilities were in the field of elastomers and their applications. He received several awards and published a number of papers during those years. Mr. Bukzin is a me
Report on paints used on surface ships and submarines for protection against corrosion and prevention of fouling, and on work connected with development and evaluation of such coatings;experiences with "hot plast...
详细信息
Report on paints used on surface ships and submarines for protection against corrosion and prevention of fouling, and on work connected with development and evaluation of such coatings;experiences with "hot plastic", "cold plastic" and vinyl paints;hazards in use of vinyl paints and safety precautions;test techniques;new toxics (which are only kind so far satisfactory antifouling formulations) under test.
This book constitutes the refereed proceedings of the International Conference on Multiscore Software Engineering, Performance, and Tools, MSEPT 2012, held in Prague in May/June 2012. The 9 revised papers, 4 of which ...
详细信息
ISBN:
(数字)9783642312021
ISBN:
(纸本)9783642312014
This book constitutes the refereed proceedings of the International Conference on Multiscore Software Engineering, Performance, and Tools, MSEPT 2012, held in Prague in May/June 2012. The 9 revised papers, 4 of which are short papers were carefully reviewed and selected from 24 submissions. The papers address new work on optimization of multicore software, program analysis, and automatic parallelization. They also provide new perspectives on programming models as well as on applications of multicore systems.
This book constitutes the refereed proceedings of the 21st International Symposium on Methodologies for Intelligent systems, ISMIS 2014, held in Roskilde, Denmark, in June 2014. The 61 revised full papers were careful...
详细信息
ISBN:
(数字)9783319083261
ISBN:
(纸本)9783319083254
This book constitutes the refereed proceedings of the 21st International Symposium on Methodologies for Intelligent systems, ISMIS 2014, held in Roskilde, Denmark, in June 2014. The 61 revised full papers were carefully reviewed and selected from 111 submissions. The papers are organized in topical sections on complex networks and data stream mining; data mining methods; intelligent systems applications; knowledge representation in databases and systems; textual data analysis and mining; special session: challenges in text mining and semantic information retrieval; special session: warehousing and OLAPing complex, spatial and spatio-temporal data; ISMIS posters.
This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First International Workshop on C- straint Solving and Language Processing, held in Roskilde, Denma...
详细信息
ISBN:
(数字)9783540319283
ISBN:
(纸本)9783540261650
This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First International Workshop on C- straint Solving and Language Processing, held in Roskilde, Denmark, September 1–3, 2004. Constraint programming and Constraint Solving, in particular Constraint Logic programming, appear to be a very promising platform, perhaps the most promising present platform, for bringing forward the state of the art in natural language processing, this due to the naturalness in speci?cation and the direct relation to e?cient implementation. Language, in the present context, may - fer to written and spoken language, formal and semiformal language, and even general input data to multimodal and pervasive systems, which can be handled in very much the same ways using constraint programming. The notion of constraints, with slightly di?ering meanings, apply in the ch- acterization of linguistic and cognitive phenomena, in formalized linguistic m- els as well as in implementation-oriented frameworks. programming techniques for constraint solving have been, and still are, in a period with rapid devel- ment of new e?cient methods and paradigms from which language processing can pro?t. A common metaphor for human language processing is one big c- straintsolvingprocessinwhichthedi?erent(-lyspeci?ed)linguisticandcognitive phases take place in parallel and with mutual cooperation, which ?ts quite well with current constraint programming paradigms.
This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during O...
详细信息
ISBN:
(数字)9783642347818
ISBN:
(纸本)9783642347801
This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria, under the auspices of the International Symposium Series on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA. The topics covered by the papers of the SARS and the MLSC workshop demonstrate the breadth and the richness of the respective fields of the two workshops stretching from robot programming to languages and compilation techniques, to real-time and fault tolerance, to dependability, software architectures, computer vision, cognitive robotics, multi-robot-coordination, and simulation to bio-inspired algorithms, and from machine learning for anomaly detection, to model construction in software product lines to classification of web service interfaces. In addition the SARS workshop hosted a special session on the recently launched KOROS project on collaborating robot systems that is borne by a consortium of researchers of the faculties of architecture and planning, computer science, electrical engineering and information technology, and mechanical and industrial engineering at the Vienna University of Technology. The four papers devoted to this session highlight important research directions pursued in this interdisciplinary research project.
A " basic English" to enable editors, writers, librarians, educators, and others to instruct computers to perform mechanical text processing conveniently has been defined (see Tables II to V for partial summ...
详细信息
A " basic English" to enable editors, writers, librarians, educators, and others to instruct computers to perform mechanical text processing conveniently has been defined (see Tables II to V for partial summary). It has been given the name SNAP (Stylized Natural Procedural) language for reference. A processor that executes procedures expressed in a subset of this language has worked for some months on several computers. It was used successfully last semester by 40 students with humanities background, in a graduate course in the School of Library Service of Columbia University, for elementary mechanized library and documentation tasks. The processor for the larger subset of the language shown in Tables II to V now works, and is being applied to several practical problems. The processor for the full language is being completed. A SNAP procedure consists of a succession of well-formed English sentences of a few simple types. Most of these begin with imperative verbs that are concerned with input and output operations, and with the manipulation of strings of characters, numbers, and arrays of strings and numbers. Conditional sentences begin with IF. Several constructions that extract and concatenate portions of strings and lists of strings are used in the objects of SNAP sentences. The SNAP processor is written (apart from specialized input-output routines) in FORTRAN IV. It deals directly with some 25 "built-in" verbs, and will allow the user to define further verbs by subroutines that are also written in SNAP.
Software watermarking is a means of protection against piracy and unauthorized tampering. We propose three dynamic software watermarking techniques and show how we automatically insert them into to-be-watermarked code...
详细信息
Software watermarking is a means of protection against piracy and unauthorized tampering. We propose three dynamic software watermarking techniques and show how we automatically insert them into to-be-watermarked code. All three select many spots in the code and insert randomly generated and computationally different hash-like arithmetics that at runtime transform a secret input into a watermark *** Register Expansion Watermark expands 32 bit values to 64 bits and piggy-backs hash computed values upon existing computations to spread the message around. The SemaCall Watermark performs its hash arithmetics on the results of a set of library functions that the to-be-watermarked code calls. As the semantics of the library functions is known, we can compare the generated hash values to the ones expected for the secret input and then trigger an easter-egg that generates the message. The SideData Watermark adapts the techniques from the SemaCall Watermark to work on memory allocations. By detecting the secret input in the allocated memory with an adapted hash generation, we can reuse the same procedures to generate the message in an easter-egg. We show that leveraging many and different hash-like arithmetics, our watermarks are hard to attack and also have a low performance overhead.
暂无评论