Computer and information sciences topic list of research papers
-
Prediction of NEP of Rotor Spinning Yarn by Means of Intelligent Theory
Abstract In this work, we use a multi-layer perceptron (MLP) artificial neural network(ANN) model to predict the nep of rotor spun cotton yarn from the processing parameters. Statistical performance indicators such as MSE, MAE, and MAPE values of...
2012 / Zhao Bo -
A Unified Approach to Teach Computational Thinking for First Year Non–CS Majors in an Introductory Course
Abstract In this paper, we report our two–year experience offering an introductory computational thinking course for all first year students with no prior related background. In this course, we explore to seek a unified approach to teach non–CS...
2012 / Tun Li, Ting Wang -
HAZID, A Computer Aid for Hazard Identification
The hazard and operability, or HAZOP, study is a prime method for the identification of hazards on process plants. This is the second in a series of papers which describes progress in the emulation of hazard identification in the style of HAZOP. The work reported...
2002 / S.A. McCoy, S.J. Wakeman, F.D. Larkin, P.W.H. Chung, A.G. Rushton, et al. -
Web-enhanced learning scenarios
Abstract There are various perspectives on how to blend face to face with on line experiences as well as on the rationale for blending face-to-face learning with technology. In this paper we focus on how collaborative scripts may inform the design...
2011 / Kyparisia Papanikolaou -
A Software Decoupling Partition Method Based on Interactive Genetic Algorithm
Abstract With the development of software component technology, extraction of components from legacy systems has become a reasearch focus of both software reuse and program comprehension for its lower cost and high efficiency. In this paper, we...
2011 / Zhe Ma, Kerong Ben -
The opinions of academicians regarding distance learning: a sample of Dicle University
Abstract This research is conducted in order to define the opinions of academicians in Dicle University regarding distance learning. This research is carried out with 61 academicians from Ziya Gökalp Eğitim Faculty of Education,...
2009 / Ferit Karakoyun, M. Tahir Kavak -
Application of ADOX in SQL Server Skill Assessment
Abstract For lack of SQL Server skills assessment system, Propose a model about skills assessment of SQL Server Base on ADOX. Logic formal method is used to Descript control information of automatic marking. Using the ADOX method to obtain...
2012 / Chen Yaofei, Chen Huantong, Ni Yinghua -
Ontology Alignment—A Survey with Focus on Visually Supported Semi-Automatic Techniques2010 / Michael Granitzer, Vedran Sabol, Kow Weng Onn, Dickson Lukose, Klaus Tochtermann
-
Mono and Stereoscopic Image Analysis for Detecting the Transverse Profile of Worn-Out Rails
Abstract The purpose of this paper is to suggest a new procedure for reconstructing the transverse profile of rails in operation by means of image-processing technique. This methodological approach is based on the “information” contained in...
2012 / Marco Guerrieri, Giuseppe Parla, Dario Ticali -
Computing eigenvectors of block tridiagonal matrices based on twisted block factorizations
Abstract New methods for computing eigenvectors of symmetric block tridiagonal matrices based on twisted block factorizations are explored. The relation of the block where two twisted factorizations meet to an eigenvector of the block tridiagonal...
2011 / Gerhard König, Michael Moldaschl, Wilfried N. Gansterer -
Cross Layer Adaptation of Check Intervals in Low Power Listening MAC Protocols for Lifetime Improvement in Wireless Sensor Networks2012 / Soledad Escolar, Stefano Chessa, Jesús Carretero, Maria-Cristina Marinescu
-
First price auctions: Monotonicity and uniqueness2002 / Gustavo E. Rodriguez
-
Necessary and sufficient optimality conditions for scheduling unit time jobs on identical parallel machines2016 / Peter Brucker, Natalia V. Shakhlevich
-
Performance analysis of analog network coding based two-way amplify-and-forward system in mixed Rician and Nakagami-m fading environment2012 / Muhammad Hasanain Chaudary, Nandana Rajatheva
-
Network-coded retransmissions in wireless demodulate-and-forward relay channels2013 / Ye Liu, Chi Sung
-
A hierarchical graph model for object cosegmentation2013 / Yanli Li, Zhong Zhou, Wei Wu
-
Gardner's Multiple Intelligence and Mathematics Education
Abstract In this paper, we assessed Gardner's multiple intelligence and pay attention style of application it's, in, mathematics education and examined relation between Bloom's educational goals and Gardner's multiple intelligence in teaching of...
2012 / Nasrin karamikabir -
Representing topological relationships for spatiotemporal objects2010 / Erlend Tøssebro, Mads Nygård
-
Complexity of stacked book graph and cone graphs
Abstract The number of spanning trees in graphs (networks) is an important invariant, and it is also an important measure of reliability of a network. In this paper we derive simple formulas of the complexity, number of spanning trees, of some...
2013 / Salama N. Daoud -
Reachability Analysis of Concurrent Boolean Programs with Symbolic Counter Abstraction
Abstract A basic problem in software model checking is the choice of a model for software. Boolean program is the most popular representation and is amenable to model checking. We show how to apply counter abstraction to real world concurrent...
2012 / Junyan Qian, Min Li, Lingzhong Zhao