Search

Your search keyword '"ERNST, GEORGE A."' showing total 90 results
Start Over Author "ERNST, GEORGE A."
90 results on '"ERNST, GEORGE A."'

1. Cybersecurity best practices.

Author

Stanton, Mandy, Ernst, George, and Janik, Anton L., Jr.

Subjects
Risk management -- Methods, Data security -- Management, Best practices -- Methods, Right of privacy -- Laws, regulations and rules, Government regulation, Company business management, Data security issue, Risk management
Abstract

During the last few years, it has become clear that threats to cybersecurity are increasing and therefore establishing sound cybersecurity risk management policies and procedures will remain a critical consideration [...]

Published
2017

3. Modular verification of data abstractions with shared realizations

Author

Ernst, George W., Hookway, Raymond J., and Ogden, William F.

Subjects
Scientific Research, Modular Programming, Program Development Techniques, New Technique, Abstract Data Types, Software Metrics, Semantics, Specifications, Formal Languages, Software engineering, Computer programming -- Innovations, Abstract data types -- Research, Software engineering -- Research
Published
1994

4. Generality and GPS

Author

Ernst, George W. and Newell, Allen

Subjects
FOS: Computer and information sciences, ComputingMilieux_COMPUTERSANDEDUCATION, 89999 Information and Computing Sciences not elsewhere classified, ComputingMilieux_MISCELLANEOUS
Abstract

Computer Science Department

Published
2018
Full Text
View/download PDF

5. Developments with GPS

Author

Banerji, Ranan B., Ernst, George W., Loveland, D. W., editor, Amarel, S., editor, Bundy, A., editor, Joshi, A., editor, Sandewall, E., editor, Biermann, A., editor, Gallaire, H., editor, Lenat, D., editor, Siekmann, J., editor, Bolc, L., editor, Hayes, P., editor, Mackworth, A., editor, Wahlster, W., editor, Kanal, Laveen, editor, and Kumar, Vipin, editor

Published
1988
Full Text
View/download PDF

11. LETTERS.

Author

WILLIAMS, ALAN, DAVIS, ELMER, HARRIS, LYDIA, MACK, JAMES A., SATTERLEE, HERBERT L., COREY, LEWIS, ERNST, GEORGE A., CLARK, D F., USILTON III, WILLIAM B., HARRIS, RUTH H., MANGAN, SHERRY, GRIMES, FRANK, SPENCER, LYLE M., FANT, GLENN E., HILL, CLARKSON, and MARX, GROUCHO

Subjects
RADIO commentaries
Published
1940

12. Formal Program Verification Using Symbolic Execution

Author

Dannenberg, Roger B and Ernst, George W.

Subjects
FOS: Computer and information sciences, 89999 Information and Computing Sciences not elsewhere classified
Abstract

Symbolic execution provides a mechanism for formally proving programs correct. A notation is introduced which allows a concise presentation of rules of inference based on symbolic execution. Using this notation, rules of inference are developed to handle a number of language features, including loops and procedures with multiple exits. An attribute grammar is used to formally describe symbolic expression evaluation, and the treatment of function calls with side effects is shown to be straightforward. Because symbolic execution is related to program interpretation, it is an easy-to-comprehend, yet powerful technique. The rules of inference are useful in expressing the semantics of a language and form the basis of a mechanical verification condition generator.

Published
2002
Full Text
View/download PDF

13. Generality and GPS

Author

Ernst, George W. and Newell, Allen

Subjects
FOS: Computer and information sciences, ComputingMilieux_COMPUTERSANDEDUCATION, 89999 Information and Computing Sciences not elsewhere classified, ComputingMilieux_MISCELLANEOUS
Abstract

Computer Science Department

Published
1990
Full Text
View/download PDF

14. Carefully consider H-1B sponsorship before April

Author

Ernst, George

Subjects
Employers, Corporate sponsorship, Business, Business, regional
Abstract

Over the next few months Arkansas employers should carefully consider if they want to hire and sponsor foreign national employees under the H-1B program. If current trends continue, it appears [...]

Published
2013

15. Requests to hire foreign workers on rise

Author

Ernst, George

Subjects
Employers, Alien labor, Skilled labor, Business, Business, regional
Abstract

The H-1B visa category permits U.S. employers to employ foreign workers in 'specialty occupations.' These are typically highly skilled workers with a minimum of a bachelor's degree or its equivalent. [...]

Published
2012

23. Formal Program Verification Using Symbolic Execution.

Author

Dannenberg, Roger B. and Ernst, George W.

Subjects
*SOFTWARE verification, *PROGRAMMING languages, *INFERENCE (Logic), *SEMANTICS, *GENERATORS (Computer programs), *SOFTWARE engineering
Abstract

Symbolic execution provides a mechanism for formally proving programs correct. A notation is introduced which allows a concise presentation of rules of inference based on symbolic execution. Using this notation, rules of inference are developed to handle a number of language features, including loops and procedures with multiple exits. An attribute grammar is used to formally describe symbolic expression evaluation, and the treatment of function calls with side effects is shown to be straightforward. Because symbolic execution is related to program interpretation, it is an easy-to-comprehend, yet powerful technique. The rules of inference are useful in expressing the semantics of a language and form the basis of a mechanical verification condition generator. [ABSTRACT FROM AUTHOR]

Published
1982

26. Basic Reinforced Concrete Frame Performance Under Vertical and Lateral Loads.

Author

ERNST, GEORGE C., SMITH, GERALD M., RIVELAND, ARVIN R., and PIERCE, DONALD N.

Abstract

Tests on fifteen two-hinged frames investigate the performance of continuous reinforced concrete under vertical and lateral loads. Three steel ratios, three spans, two grades of steel, and two steel stress-strain curves provide an insight to the performance of reinforced concrete frames. Actual redistribution of moments can differ significantly from plastic theory, particularly for reinforcement without a yield plateau. The lack of a yield plateau may have an advantage in resisting lateral loads. Ductility factors based on lateral displacements of a frame were significantly lower than the flexural unit rotation ductility factors for the critical section. Ultimate lateral resistance and distortion of the frames tested were independent of span length. For the frames subjected to vertical loading only, loads for equivalent stress states were inversely proportional to the length of span. Connection details were extremely important, and tack welding of cages inhibited full development of frame ductility. [ABSTRACT FROM AUTHOR]

Published
1973
Full Text
View/download PDF

29. ON THE RELATIONSHIP BETWEEN STRONG AND WEAK PROBLEM SOLVERS

Author

Ernst, George W. and Banerji, Ranan B.

Abstract

The basic thesis put forth in this article is that a problem solver is essentially an interpreter that carries out computations implicit in the problem formulation A good problem formulation gives rise to what is conventionally called a strong problem solver; poor formulations correspond to weak problem solvers Knowledge‐based systems are discussed in the context of this thesis We also make some observations about the relationship between search strategy and problem formulation

Published
1983
Full Text
View/download PDF

30. Pattern Recognition for the Automatic Reduction of Reconnaissance Data.

Author

CASE WESTERN RESERVE UNIV CLEVELAND OH DEPT OF COMPUTER ENGINEERING, Banerji, Ranan B., Ernst, George W., CASE WESTERN RESERVE UNIV CLEVELAND OH DEPT OF COMPUTER ENGINEERING, Banerji, Ranan B., and Ernst, George W.

Abstract

Three specific projects were undertaken during this contract, (1) The investigation of the generalization capability of patterns learned by linear, piecewise linear, and quadratic discriminant functions, (2) The development of a deductive information retrieval system based on a pattern recognition language previously developed, and (3) The investigation of feature extraction techniques in algebraic and interpreted linguistic pattern description languages. A separate section of this report is devoted to each of these three projects.

Published
1974

31. Brief an Johann II Bernoulli

Author

Podewils, Karl Ernst George

Subjects
Bernoulli, Johann1744-1807
Abstract

Der Brief ist aus Turin datiert. P. war dort preussischer Gesandter. Er hatte seiner Zeit Johann III B. eingeladen, auf der Reise bei ihm zu wohnen, wusste aber damals noch nicht, wo und wie er in Turin untergebracht sein würde. Die Verhältnisse sind so, dass er bedauert, seine Einladung rückgängig machen zu müssen, von [Karl Ernst Georg] Graf von Podewils, Öffentliche Bibliothek der Universität Basel, Französisch, Datenimport aus LIDOS / Bernoulli (2004-07-02)

Published
1777
Full Text
View/download PDF

32. GENERALITY AND GPS

Author

CARNEGIE INST OF TECH PITTSBURGH PA, Ernst, George W., Newell, Allen, CARNEGIE INST OF TECH PITTSBURGH PA, Ernst, George W., and Newell, Allen

Abstract

The General Problem Solver (GPS) is a computer program which has been used for explorations into both general mechanisms involved in problem solving and the way that humans solve problems. Several approaches to the construction of a general problem solver are surveyed in order to place GPS in perspective with other approaches and to formulate a meaningful problem of generality. The initial need for generalizing the representation of GPS-2-5 stems from the inadequacy of its representation for some tasks. However, the majority of the representational issues investigated in this research are concerned with the interaction between the problem solving techniques of GPS and its representation of tasks. The main consideration in generalizing the representation of GPS-2-5 is that problem solving techniques are applicable only if processes exist that can abstract certain information from the representation of a task. (Author)

Published
1967

33. Changes in Representation which Preserve Strategies in Games

Author

CASE WESTERN RESERVE UNIV CLEVELAND OHIO, Ernst,George W., Ganerji,Ranan B., CASE WESTERN RESERVE UNIV CLEVELAND OHIO, Ernst,George W., and Ganerji,Ranan B.

Abstract

One reason for changing the representation of a game is to make it similar to a previously solved one. As a definition of similarity, people have previously often proposed homomorphismlike structures. One such structure, the S sub 0-homomorphism, is defined and studied in the paper. It is indicated that a useful winning strategy exists for any game in a general class called, positional games. A set of sufficient conditions is derived which a game has to fulfill to have an S sub 0-homomorphism with a positional game. The conditions are exemplified by applying it to a class of games shown by Newell to be representable as tic-tac-toe. (Author)

Published
1971

41. SICSOFT (Paper Session)

Author

Leavenworth, B. M., additional, Hookway, Raymond J., additional, Ernst, George W., additional, Standish, T. A., additional, Kibler, D. F., additional, and Neighbors, J. M., additional

Published
1976
Full Text
View/download PDF

48. Discussion of “Grinter on Plastic Theory”

Author

Grinter, L. E., primary, Sourochnikoff, Basil, additional, Stewart, R. W., additional, Ernst, George C., additional, Hadley, Homer M., additional, Abbett, Robert W., additional, Andersen, Paul, additional, Caughey, R. A., additional, Contini, Roberto, additional, Eremin, A. A., additional, Polivka, Jaroslav J., additional, Abeles, Paul W., additional, and Julian, O. G., additional

Published
1942
Full Text
View/download PDF

50. Discussion of “Ayres on Professional Conduct”

Author

Ayres, Louis E., primary, Crawford, Ivan C., additional, Wheeler, Walter H., additional, Gow, Charles R., additional, McNew, J. T. L., additional, Waters, W. L., additional, Scott, Charles F., additional, Evans, M. J., additional, Sackett, R. L., additional, Hammond, Alonzo J., additional, McDaniel, A. B., additional, Burdick, C. B., additional, Hayes, John M., additional, Howard, G. W., additional, Allen, C. Frank, additional, Consoer, Arthur W., additional, Ernst, George C., additional, Bailey, Frank S., additional, McCosh, S. A., additional, Meursinge, John H., additional, Lemcke, Karl W., additional, Peck, John Sanford, additional, Ayres, E. D., additional, Turneaure, F. E., additional, Barnes, Fred Asa, additional, Mead, C. A., additional, and Ackerman, Adolph J., additional

Published
1941
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results