Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Artificial Intelligence and Robotics (184)
- Social and Behavioral Sciences (110)
- Software Engineering (100)
- Programming Languages and Compilers (92)
- Databases and Information Systems (70)
-
- Arts and Humanities (68)
- Other Computer Sciences (61)
- Information Security (55)
- Theory and Algorithms (51)
- Graphics and Human Computer Interfaces (48)
- Engineering (46)
- Data Science (40)
- Linguistics (40)
- Life Sciences (39)
- Medicine and Health Sciences (37)
- Philosophy (36)
- Cognitive Science (29)
- Systems Architecture (29)
- Computer Engineering (28)
- Numerical Analysis and Scientific Computing (28)
- Mathematics (26)
- OS and Networks (26)
- Philosophy of Mind (26)
- Education (23)
- Physics (18)
- Sociology (18)
- Statistics and Probability (18)
- Communication (17)
- Keyword
-
- Intro to Data Science (33)
- Computer Science (29)
- Cybersecurity (27)
- Refactoring (25)
- Computer science (23)
-
- Deep learning (23)
- Software engineering (23)
- Machine learning (22)
- Artificial intelligence (20)
- Core-Modulation Architecture (17)
- Java (17)
- Machine Learning (17)
- CMA (15)
- Cognitive architecture (15)
- Layered cognition (15)
- Python (14)
- Cloud computing (13)
- Deep Learning (13)
- Java 8 (12)
- Artificial Intelligence (11)
- Lib_pub (11)
- Software evolution (11)
- AI (10)
- Automated refactoring (9)
- Cryptography (9)
- Empirical studies (9)
- Imperative programs (9)
- Programming (9)
- Programming languages (9)
- Streams (9)
- Publication Year
- Publication
- Publication Type
- File Type
Articles 841 - 870 of 956
Full-Text Articles in Computer Sciences
Anatomy Of An Arabetic Type Design, Saad D. Abulhab
Anatomy Of An Arabetic Type Design, Saad D. Abulhab
Publications and Research
Arabetic type design, like type design in general, should not be limited by rigid rules, other than those advocating open choice and user options. But as with all design fields, highlighting certain principles and guidelines is crucial to realizing a successful project. In an Arabetic font design environment, such guidelines and principles should reveal deeper understanding of various scripts visual and behavioral defining characteristics rather than mere traditional calligraphic and handwriting norms. A main goal of this study is to emphasize that designing Arabetic fonts is much easier than it is portrayed, and designers of all backgrounds should be more …
Reasoning About The Behavior Of Aspect-Oriented Programs, Neelam Soundarajan, Raffi Khatchadourian, Johan Dovland
Reasoning About The Behavior Of Aspect-Oriented Programs, Neelam Soundarajan, Raffi Khatchadourian, Johan Dovland
Publications and Research
Aspect-oriented programming (AOP) has become increasingly popular over the last few years. At the same time, reasoning about the behavior of these programs poses serious challenges. In this paper, we present a rely-guarantee approach to such reasoning. The rely-guarantee approach has proven useful in reasoning about concurrent and distributed programs. We show that some of the key problems encountered in reasoning about aspect-oriented programs are similar to those encountered in reasoning about concurrent programs; and that the rely-guarantee approach, appropriately modified, helps address these problems. We illustrate our approach with a simple example.
Automated Refactoring Of Legacy Java Software To Enumerated Types, Raffi Khatchadourian, Jason Sawin, Atanas Rountev
Automated Refactoring Of Legacy Java Software To Enumerated Types, Raffi Khatchadourian, Jason Sawin, Atanas Rountev
Publications and Research
Modern Java languages introduce several new features that offer significant improvements over older Java technology. In this article we consider the new enum construct, which provides language support for enumerated types. Prior to recent Java languages, programmers needed to employ various patterns (e.g., the weak enum pattern) to compensate for the absence of enumerated types in Java. Unfortunately, these compensation patterns lack several highly-desirable properties of the enum construct, most notably, type safety. We present a novel fully-automated approach for transforming legacy Java code to use the new enumeration construct. This semantics-preserving approach increases type safety, produces code that is …
Automated Refactoring Of Legacy Java Software To Enumerated Types, Raffi Khatchadourian, Jason Sawin, Atanas Rountev
Automated Refactoring Of Legacy Java Software To Enumerated Types, Raffi Khatchadourian, Jason Sawin, Atanas Rountev
Publications and Research
Modern Java languages introduce several new features that offer significant improvements over older Java technology. In this article we consider the new enum construct, which provides language support for enumerated types. Prior to recent Java languages, programmers needed to employ various patterns (e.g., the weak enum pattern) to compensate for the absence of enumerated types in Java. Unfortunately, these compensation patterns lack several highly-desirable properties of the enum construct, most notably, type safety. We present a novel fully-automated approach for transforming legacy Java code to use the new enumeration construct. This semantics-preserving approach increases type safety, produces code that is …
Rely-Guarantee Approach To Reasoning About Aspect-Oriented Programs, Raffi Khatchadourian, Neelam Soundarajan
Rely-Guarantee Approach To Reasoning About Aspect-Oriented Programs, Raffi Khatchadourian, Neelam Soundarajan
Publications and Research
Over the last few years, the question of reasoning about aspect-oriented programs has been addressed by a number of authors. In this paper, we present a rely-guarantee approach to such reasoning. The rely-guarantee approach has proven extremely successful in reasoning about concurrent and distributed programs. We show that some of the key problems encountered in reasoning about aspect-oriented programs are similar to those encountered in reasoning about concurrent programs; and that the rely-guarantee approach, appropriately modified, helps address these problems. We illustrate our approach with a simple example.
Tr-2007011: Numerical Computation Of Determinants With Additive Preconditioning, V. Y. Pan, B. Murphy, G. Qian, R. E. Rosholt, I. Taj-Eddin
Tr-2007011: Numerical Computation Of Determinants With Additive Preconditioning, V. Y. Pan, B. Murphy, G. Qian, R. E. Rosholt, I. Taj-Eddin
Computer Science Technical Reports
No abstract provided.
Tr-2007010: Error-Free Computations Via Floating-Point Operations, V. Y. Pan, B. Murphy, G. Qian, R. E. Rosholt
Tr-2007010: Error-Free Computations Via Floating-Point Operations, V. Y. Pan, B. Murphy, G. Qian, R. E. Rosholt
Computer Science Technical Reports
No abstract provided.
Tr-2007007: Independent Component Analysis: An Introduction, Rave Harpaz
Tr-2007007: Independent Component Analysis: An Introduction, Rave Harpaz
Computer Science Technical Reports
No abstract provided.
Tr-2007009: Computations In The Null Spaces With Additive Preprocessing, Victor Y. Pan
Tr-2007009: Computations In The Null Spaces With Additive Preprocessing, Victor Y. Pan
Computer Science Technical Reports
No abstract provided.
Tr-2007014: The Schur Aggregation And Extended Iterative Refinement, V. Y. Pan, B. Murphy, R. E. Rosholt
Tr-2007014: The Schur Aggregation And Extended Iterative Refinement, V. Y. Pan, B. Murphy, R. E. Rosholt
Computer Science Technical Reports
No abstract provided.
Tr-2007001: On Developing User Interfaces For Children In Educational Virtual Reality Environments, Lori Scarlatos, Rebecca Friedman
Tr-2007001: On Developing User Interfaces For Children In Educational Virtual Reality Environments, Lori Scarlatos, Rebecca Friedman
Computer Science Technical Reports
No abstract provided.
Tr-2007020: S4lp And Local Realizability, Melvin Fitting
Tr-2007020: S4lp And Local Realizability, Melvin Fitting
Computer Science Technical Reports
No abstract provided.
Tr-2007002: Additive Preconditioning And Aggregation In Matrix Computations, Victor Y. Pan, Brian Murphy, Rhys Eric Rosholt, Dmitriy Ivolgin, Yuqing Tang, Xiaodong Yan
Tr-2007002: Additive Preconditioning And Aggregation In Matrix Computations, Victor Y. Pan, Brian Murphy, Rhys Eric Rosholt, Dmitriy Ivolgin, Yuqing Tang, Xiaodong Yan
Computer Science Technical Reports
No abstract provided.
Tr-2007004: Additive Preconditioning, Eigenspaces, And The Inverse Iteration, Victor Y. Pan, Xiaodong Yan
Tr-2007004: Additive Preconditioning, Eigenspaces, And The Inverse Iteration, Victor Y. Pan, Xiaodong Yan
Computer Science Technical Reports
No abstract provided.
Tr-2007005: Interpreting Knowledge Into Belief In The Presence Of Negative Introspection, Evan Goris
Tr-2007005: Interpreting Knowledge Into Belief In The Presence Of Negative Introspection, Evan Goris
Computer Science Technical Reports
No abstract provided.
Tr-2007006: Realizing Substitution Instances Of Modal Theorems, Melvin Fitting
Tr-2007006: Realizing Substitution Instances Of Modal Theorems, Melvin Fitting
Computer Science Technical Reports
No abstract provided.
Tr-2007008: The Satisfiability Problem—From The Theory Of Np-Completeness To State-Of-The-Art Sat Solvers, Rave Harpaz
Tr-2007008: The Satisfiability Problem—From The Theory Of Np-Completeness To State-Of-The-Art Sat Solvers, Rave Harpaz
Computer Science Technical Reports
No abstract provided.
Tr-2007015: Justification Logics And Conservative Extensions, Melvin Fitting
Tr-2007015: Justification Logics And Conservative Extensions, Melvin Fitting
Computer Science Technical Reports
No abstract provided.
Tr-2007017: Linear Logic With Explicit Resources, Hirohiko Kushida
Tr-2007017: Linear Logic With Explicit Resources, Hirohiko Kushida
Computer Science Technical Reports
No abstract provided.
Tr-2007019: Justification Logic, Sergei Artemov
Tr-2007019: Justification Logic, Sergei Artemov
Computer Science Technical Reports
No abstract provided.
Tr-2007021: Row-Column Pivoting In Gaussian Elimination, Victor Y. Pan, Guoliang Qian, Ai-Long Zheng, Severin Ngnosse
Tr-2007021: Row-Column Pivoting In Gaussian Elimination, Victor Y. Pan, Guoliang Qian, Ai-Long Zheng, Severin Ngnosse
Computer Science Technical Reports
No abstract provided.
Tr-2007022: The Schur Aggregation For Linear Systems And Determinants, V. Y. Pan, B. Murphy, G. Qian, R. E. Rosholt
Tr-2007022: The Schur Aggregation For Linear Systems And Determinants, V. Y. Pan, B. Murphy, G. Qian, R. E. Rosholt
Computer Science Technical Reports
No abstract provided.
Tr-2007023: The Schur Aggregation For Linear Systems And Determinants, V. Y. Pan, B. Murphy, G. Qian, R. E. Rosholt
Tr-2007023: The Schur Aggregation For Linear Systems And Determinants, V. Y. Pan, B. Murphy, G. Qian, R. E. Rosholt
Computer Science Technical Reports
No abstract provided.
Tr-2007024: A Register-Free Abstract Prolog Machine With Jumbo Instructions, Neng-Fa Zhou
Tr-2007024: A Register-Free Abstract Prolog Machine With Jumbo Instructions, Neng-Fa Zhou
Computer Science Technical Reports
No abstract provided.
Tr-2007025: Public Communication In Justification Logic, Bryan Renne
Tr-2007025: Public Communication In Justification Logic, Bryan Renne
Computer Science Technical Reports
No abstract provided.
Tr-2007003: Additive Preconditioning For Matrix Computations, Victor Y. Pan, Dmitriy Ivolgin, Brian Murphy, Rhys Eric Rosholt, Yuqing Tang, Xiaodong Yan
Tr-2007003: Additive Preconditioning For Matrix Computations, Victor Y. Pan, Dmitriy Ivolgin, Brian Murphy, Rhys Eric Rosholt, Yuqing Tang, Xiaodong Yan
Computer Science Technical Reports
No abstract provided.
Tr-2007012: The Relative Expressivity Of Public And Private Communication In Bms Logic, Bryan Renne
Tr-2007012: The Relative Expressivity Of Public And Private Communication In Bms Logic, Bryan Renne
Computer Science Technical Reports
No abstract provided.
Tr-2007013: Error-Free Computations Via Floating-Point Operations: The Code, V. Y. Pan, B. Murphy, G. Qian, R. E. Rosholt
Tr-2007013: Error-Free Computations Via Floating-Point Operations: The Code, V. Y. Pan, B. Murphy, G. Qian, R. E. Rosholt
Computer Science Technical Reports
No abstract provided.
Tr-2007016: Symmetric Logic Of Proofs, Sergei Artemov
Tr-2007016: Symmetric Logic Of Proofs, Sergei Artemov
Computer Science Technical Reports
No abstract provided.
Tr-2007018: Peak Shaving Through Resource Buffering, Amotz Bar-Noy, Matthew P. Johnson, Ou Liu
Tr-2007018: Peak Shaving Through Resource Buffering, Amotz Bar-Noy, Matthew P. Johnson, Ou Liu
Computer Science Technical Reports
No abstract provided.