Filters








224,209 Hits in 8.2 sec

EJM volume 1 issue 3 Cover and Back matter

1990 European journal of applied mathematics  
at the address below | Cambridge University Press A NEW journal in the applications of categorical, algebraic and geometric methods in Computer Science Mathematical Structures in Computer Science  ...  Mathematical Structures in Computer Science (MSCS) is a new journal of theoretical computerscience which focuses on the application of ideas from the structural side of mathematics and mathematical logic  ... 
doi:10.1017/s0956792500000164 fatcat:khurkqm6nza6ti5lazoohuvvfu

Computing with lambda-terms: A special issue dedicated to Corrado Böhm for his 90th birthday

STEFANO GUERRINI, HENK BARENDRENGT, ADOLFO PIPERNO
2015 Mathematical Structures in Computer Science  
We are very proud and honoured to dedicate this volume to Corrado Böhm, who has been for us a teacher, mentor, colleague, and friend. But most of all, he was a brilliant role-model to follow.  ...  We thank Peppe Longo for his immediate acceptance and encouragement of our proposition to create a special issue of Mathematical Structures in Computer Science.  ...  In response to our call for papers, we received 16 submissions, among which 6 invited. All the papers were peer reviewed according to the high standard of Mathematical Structure in Computer Science.  ... 
doi:10.1017/s0960129515000274 fatcat:pkouaebsvzdfnak7ozhzeu4zzq

Elicitation of Non-functional Requirement Preference for Actors of Usecase from Domain Model [chapter]

G. S. Anandha Mala, G. V. Uma
2006 Lecture Notes in Computer Science  
Languages,Lecture Notes in Computer Science,3316:738-743,2004. 9.Line Languages,Electronic notes in Discrete Mathematics,Volume 12,2002.  ...  Work Experience :15 years 6. Area of Specializations : Computer Science and Engg. 7.  ... 
doi:10.1007/11961239_23 fatcat:dg6msn5xebaofl37ixdcxmhpam

Page 327 of Mathematical Reviews Vol. , Issue 83a [page]

1983 Mathematical Reviews  
15 volumes.  ...  Volume 4 contains 14 articles from brain models to chemical structures computer handling.  ... 

European association for theoretical computer science

1993 Theoretical Computer Science  
Science), LICS (Logic in Computer Science), Conference on Structure in Complexity Theory, SPAA (Symposium on Parallel Algorithms and Architectures), Workshop on Graph Theoretic Concepts in Computer Science  ...  Rozenberg Department of Mathematics and Computer Science University of Leiden P.O.  ...  Theoretical Computer Science The journal Theoretical Computer Science, founded in 1975, is published by Elsevier Science Publishers, Amsterdam, currently in 16 volumes (32 issues) a year.  ... 
doi:10.1016/0304-3975(93)90204-7 fatcat:3k4lluho2bfb7epu6skav5fthy

Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra [chapter]

Rumen Dimitrov, Valentina Harizanov, Andrei Morozov
2016 Lecture Notes in Computer Science  
The authors are listed lexicographically, as customary in mathematics.) 62. E. Fokina, V. Harizanov, and D.  ...  Melnikov, "Computable model theory," in: Turing's Legacy:  ...  Remmel, " and equivalence structures," in the volume: Mathematical Theory and Computational Practice, K. Ambos-Spies, B. Löwe, and W. Merkle, editors (Springer-Verlag, Berlin, 2009), pp. 99-108. 37.  ... 
doi:10.1007/978-3-319-40189-8_26 fatcat:2p5s2kf5xzfwfdf7zakfx43mpy

European Association for Theoretical Computer Science

1993 Theoretical Computer Science  
Theoretical Computer Science The journal Theoretical Computer Science, founded in 1975, is published by Elsevier Science Publishers, Amsterdam, currently in 16 volumes (32 issues) a year.  ...  Science), LICS (Logic in Computer Science), Conference on Structure in Complexity Theory, SPAA (Symposium on Parallel Algorithms and Architectures), Workshop on Graph Theoretic Concepts in Computer Science  ...  Janssens V.U.B., Department of Mathematics and Computer Science Pleinlaan 2 B-1050 Brussels, Belgium Email: dmjans@tinfl.vub.ac.be The dues can be paid (in order of preference) by cheques in DM or US$,  ... 
doi:10.1016/0304-3975(93)90177-u fatcat:q7n4giyfhzazvchnss3pr3yzsy

CPC volume 5 issue 1 Cover and Back matter

1996 Combinatorics, probability & computing  
Mathematical Structures in Computer Science Editor-in-Chief G.  ...  the structural side of mathematics and mathematical logic to computer science.  ... 
doi:10.1017/s0963548300001784 fatcat:q33vdvo7nnbelafp624cr5d5b4

MATHEMATICAL STRUCTURE THEORY AS A SOURCE FOR BIG DATA SCIENCE

MD Mobin Akhtar
2020 JOURNAL OF MECHANICS OF CONTINUA AND MATHEMATICAL SCIENCES  
, big data Computing information technology as well as big data Computer science.  ...  The paper's goal is to propose a possible theory of mathematical structure as per a basis of research into big data.  ...  Mathematical Structure (Modelling) for Big Data The science of decoding is the mathematical structure from the area of application for identifiable mathematical formulations, the Theoretical analysis and  ... 
doi:10.26782/jmcms.2020.01.00016 fatcat:jzap66qoinbrhhffy2svzlblqq

FLM volume 722 Cover and Back matter

2013 Journal of Fluid Mechanics  
Readers include academics working in statistics, operations research, computer science, engineering, management science and physical sciences as well as industrial practitioners engaged in telecommunications  ...  , probability theory and theoretical computer science.  ... 
doi:10.1017/jfm.2013.189 fatcat:jc3geabok5ghlimnqupbkf7d5y

The Encyclopedia of Neutrosophic Researchers, 2nd Volume

Florentin Smarandache
2018 Figshare  
In the past years, the fields of neutrosophics have been extended and applied in various fields, such as: artificial intelligence, data mining, soft computing, decision making in incomplete / indeterminate  ...  / inconsistent information systems, image processing, computational modelling, robotics, medical diagnosis, biomedical engineering, investment problems, economic forecasting, social science, humanistic  ...  founder and editor) Encyclopedia of Neutrosophic Researchers, 2 nd Volume PhD Candidate Nancy Teaching Assistant Profile Bachelor of Science (Computer Science, Mathematics and Statistics) in  ... 
doi:10.6084/m9.figshare.7076483.v1 fatcat:lywimpsh35hevfonzos5pxzvse

Page 147 of University Computing : The Bulletin of the IUCC Vol. 10, Issue 3 [page]

1988 University Computing : The Bulletin of the IUCC  
THE EVOLVING RELATIONSHIP BETWEEN COMPUTER SCIENCE AND MATHEMATICS 147 mathematically-oriented discipline, it identified the representation, structure and transformation of in- formation as a major focus  ...  lectures running for 15 weeks. model 2: Interpolation of the topics in discrete mathematics as part of the modules in computer sci- ence. model 3: Making some of the courses run by the mathematics depatment  ... 

Page 8173 of Mathematical Reviews Vol. , Issue 99k [page]

1999 Mathematical Reviews  
II, Tome 15 Publications of the Center for Research in Pure Mathematics. Ser.  ...  and computation for applications in mathematics, science, and engineering Models, algebras, and proofs Modular forms and Fermat’s last theorem ........  ... 

Page 641 of Mathematical Reviews Vol. 48, Issue 2 [page]

1974 Mathematical Reviews  
Waltman, University of lowa, lowa City, lowa 1974. v, 101p. 15 illus. paper $6.60 ISBN 0-387-06652-7 Lecture Notes in Computer Science reports new developments in computer science research and teaching—quickly  ...  Announcing 3 New Series Lecture Notes in Biomathematics report on the progress made in the application of mathematical methods to the life sciences.  ... 

CPC volume 5 issue 3 Cover and Front matter

1996 Combinatorics, probability & computing  
McKAY Computer Science Department, Australian National University, G.P.O.  ...  Ramsey theory, set systems, extremal problems VERA S 6 S Mathematical Research Institute, Realtanoda utca 13-15, P.O.  ... 
doi:10.1017/s0963548300001966 fatcat:cbgjsmlqffcbzncdpmchcdjlhm
« Previous Showing results 1 — 15 out of 224,209 results