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 901 - 930 of 956
Full-Text Articles in Computer Sciences
Tr-2004004: Implementing And Automating Basic Number Theory In Metaprl Proof Assistant, Yegor Bryukhov, Alexei Kopylov, Vladimir Krupski, Aleksey Nogin
Tr-2004004: Implementing And Automating Basic Number Theory In Metaprl Proof Assistant, Yegor Bryukhov, Alexei Kopylov, Vladimir Krupski, Aleksey Nogin
Computer Science Technical Reports
No abstract provided.
Tr-2004003: Intuitionistic Logic With Classical Atoms, Hidenori Kurokawa
Tr-2004003: Intuitionistic Logic With Classical Atoms, Hidenori Kurokawa
Computer Science Technical Reports
No abstract provided.
Tr-2004006: A Coordinate Ascent Approach To Tomographic Reconstruction Of Label Images From A Few Projections, Hstau Y. Liao, Gabor T. Harman
Tr-2004006: A Coordinate Ascent Approach To Tomographic Reconstruction Of Label Images From A Few Projections, Hstau Y. Liao, Gabor T. Harman
Computer Science Technical Reports
No abstract provided.
Tr-2004007: Optimal Reversible Quantum Circuit For Multiplication, Anh Quoc Nguyen
Tr-2004007: Optimal Reversible Quantum Circuit For Multiplication, Anh Quoc Nguyen
Computer Science Technical Reports
No abstract provided.
Tr-2004010: Optimal Reversible Quantum Circuit For Multiplication, Anh Quoc Nguyen
Tr-2004010: Optimal Reversible Quantum Circuit For Multiplication, Anh Quoc Nguyen
Computer Science Technical Reports
No abstract provided.
Tr-2004011: Logic Of Knowledge With Justifications From The Provability Perspective, Sergei Artemov, Elena Nogina
Tr-2004011: Logic Of Knowledge With Justifications From The Provability Perspective, Sergei Artemov, Elena Nogina
Computer Science Technical Reports
No abstract provided.
Tr-2004012: Single-Hop Probing Asymptotics In Available Bandwidth Estimation: Sample-Path Analysis, Xiliang Liu, Kaliappa Ravindran, Benyuan Liu, Dmitri Loguinov
Tr-2004012: Single-Hop Probing Asymptotics In Available Bandwidth Estimation: Sample-Path Analysis, Xiliang Liu, Kaliappa Ravindran, Benyuan Liu, Dmitri Loguinov
Computer Science Technical Reports
No abstract provided.
Tr-2004014: A Homotopic/Factorization Process For Toeplitz-Like Matrices With Newton's/Conjugate Gradient Stages, Victor Y. Pan
Tr-2004014: A Homotopic/Factorization Process For Toeplitz-Like Matrices With Newton's/Conjugate Gradient Stages, Victor Y. Pan
Computer Science Technical Reports
No abstract provided.
Tr-2004017: Towards A Formal Concept Analysis Approach To Exploring Communities On The World Wide Web, Jayson E. Rome, Robert M. Haralick
Tr-2004017: Towards A Formal Concept Analysis Approach To Exploring Communities On The World Wide Web, Jayson E. Rome, Robert M. Haralick
Computer Science Technical Reports
No abstract provided.
Tr-2004018: Evidence-Based Common Knowledge, Sergei Artemov
Tr-2004018: Evidence-Based Common Knowledge, Sergei Artemov
Computer Science Technical Reports
No abstract provided.
Tr-2004019: Quantified Lp, Melvin Fitting
Tr-2004019: Quantified Lp, Melvin Fitting
Computer Science Technical Reports
No abstract provided.
Tr-2004002: Oopn: An Object-Oriented Petri Nets And Its Integrated Development Environment, Jinzhong Niu, Jing Zou, Aihua Ren
Tr-2004002: Oopn: An Object-Oriented Petri Nets And Its Integrated Development Environment, Jinzhong Niu, Jing Zou, Aihua Ren
Computer Science Technical Reports
No abstract provided.
Tr-2004005: A Parallel Monte Carlo Simulation Of Five-Dimensional Hyperspheres Using A Webcomputing Framework, P. A. Whitlock, Marvin Bishop, Dino Klein
Tr-2004005: A Parallel Monte Carlo Simulation Of Five-Dimensional Hyperspheres Using A Webcomputing Framework, P. A. Whitlock, Marvin Bishop, Dino Klein
Computer Science Technical Reports
No abstract provided.
Tr-2004008: Simultaneous Fuzzy Segmentation Of Multiple Objects, Bruno M. Carvalho, Gabor T. Herman, T. Yung Kong
Tr-2004008: Simultaneous Fuzzy Segmentation Of Multiple Objects, Bruno M. Carvalho, Gabor T. Herman, T. Yung Kong
Computer Science Technical Reports
No abstract provided.
Tr-2004009: A Reduction Of The Matrix Eigenproblem To Polynomial Rootfinding Via Similarity Transforms Into Arrow-Head Matrices, Victor Y. Pan
Tr-2004009: A Reduction Of The Matrix Eigenproblem To Polynomial Rootfinding Via Similarity Transforms Into Arrow-Head Matrices, Victor Y. Pan
Computer Science Technical Reports
No abstract provided.
Tr-2004013: Toeplitz And Hankel Meet Hensel And Newton: Nearly Optimal Algorithms And Their Practical Acceleration With Saturated Initialization, Victor Y. Pan, Brian Murphy, Rhys E. Rosholt, Xinmao Wang
Tr-2004013: Toeplitz And Hankel Meet Hensel And Newton: Nearly Optimal Algorithms And Their Practical Acceleration With Saturated Initialization, Victor Y. Pan, Brian Murphy, Rhys E. Rosholt, Xinmao Wang
Computer Science Technical Reports
No abstract provided.
Tr-2004015: Superfast Algorithms For Singular Toeplitz-Like Matrices, Victor Y. Pan
Tr-2004015: Superfast Algorithms For Singular Toeplitz-Like Matrices, Victor Y. Pan
Computer Science Technical Reports
No abstract provided.
Tr-2004016: Semantics And Tableaus For Lps4, Melvin Fitting
Tr-2004016: Semantics And Tableaus For Lps4, Melvin Fitting
Computer Science Technical Reports
No abstract provided.
The Mutamathil Type Style: Towards Free, Technology-Friendly, Arabetic Types, Saad D. Abulhab
The Mutamathil Type Style: Towards Free, Technology-Friendly, Arabetic Types, Saad D. Abulhab
Publications and Research
Efforts to adapt various Arabetic scripts to the machine are as old as the field of typography. But most of these efforts concentrated primarily on forcing the machine to duplicate the Arabetic handwritten forms. Others have practically advocated divorce from the calligraphic tradition rather than enrichment and reform. One reason why the few modern attempts to typographically solve the technology-induced Arabetic script problems had failed is that many typeforms (or many times just theoretical calligraphy style) was presented as replacement for the traditional ones rather than as optional working types. New “controversial” types should be made widely available for users …
Tr-2003002: A Knowledge Based Semantics Of Messages, Rohit Parikh, R. Ramanujam
Tr-2003002: A Knowledge Based Semantics Of Messages, Rohit Parikh, R. Ramanujam
Computer Science Technical Reports
No abstract provided.
Tr-2003012: A Semantics For The Logic Of Proofs, Melvin Fitting
Tr-2003012: A Semantics For The Logic Of Proofs, Melvin Fitting
Computer Science Technical Reports
No abstract provided.
Tr-2003005: Lambek Calculus Is Np-Complete, Mati Pentus
Tr-2003005: Lambek Calculus Is Np-Complete, Mati Pentus
Computer Science Technical Reports
No abstract provided.
Tr-2003006: Rijndael For Algebraists: An Expanded Version Of Lenstra's Manuscript, Hannes Moritz, Wei Zhu
Tr-2003006: Rijndael For Algebraists: An Expanded Version Of Lenstra's Manuscript, Hannes Moritz, Wei Zhu
Computer Science Technical Reports
No abstract provided.
Tr-2003009: A Hierarchical Projection Pursuit Clustering Algorithm, Jayson E. Rome, Alexei D. Miasnikov, Robert M. Haralick
Tr-2003009: A Hierarchical Projection Pursuit Clustering Algorithm, Jayson E. Rome, Alexei D. Miasnikov, Robert M. Haralick
Computer Science Technical Reports
No abstract provided.
Tr-2003004: Superfast Algorithms For Singular Toeplitz/Hankel-Like Matrices, Victor Y. Pan
Tr-2003004: Superfast Algorithms For Singular Toeplitz/Hankel-Like Matrices, Victor Y. Pan
Computer Science Technical Reports
No abstract provided.
Tr-2003003: Finite Information Logic, Rohit Parikh, Jouko Väänänen
Tr-2003003: Finite Information Logic, Rohit Parikh, Jouko Väänänen
Computer Science Technical Reports
No abstract provided.
Tr-2003008: Learning And Applying Temporal Patterns Through Experience, Esther Lock
Tr-2003008: Learning And Applying Temporal Patterns Through Experience, Esther Lock
Computer Science Technical Reports
No abstract provided.
Tr-2003011: Data Modelling And Description: A Guide To Using The Sylmodel Library, Jayson E. Rome, Alexei D. Miasnikov, Robert M. Haralick
Tr-2003011: Data Modelling And Description: A Guide To Using The Sylmodel Library, Jayson E. Rome, Alexei D. Miasnikov, Robert M. Haralick
Computer Science Technical Reports
No abstract provided.
Tr-2003013: Qr-Like Algorithms For Generalized Semiseparable Matrices, Dario A. Bini, Luca Gemignani, Victor Y. Pan
Tr-2003013: Qr-Like Algorithms For Generalized Semiseparable Matrices, Dario A. Bini, Luca Gemignani, Victor Y. Pan
Computer Science Technical Reports
No abstract provided.
Tr-2003001: States Of Knowledge And Group Action, Rohit Parikh
Tr-2003001: States Of Knowledge And Group Action, Rohit Parikh
Computer Science Technical Reports
No abstract provided.