SHARE Virtual Discovery Environment

English

Storico ricerche

Pubblicazioni (Istanze)

Vai a Persone/Opere

Home / (Tutto) >> Software Engineering/Programming and Operating Systems

Info

Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

Info

Utilizzare questo link per rimuovere la selezione effettuata.

Export / Download (0)

Esporta in PDF
Esporta in Excel
Esporta in HTML
Esporta in Marc21 (binary)
Esporta in MARC XML
Export in Marc21 (text)
Invia tramite E-Mail

Biblioteca

Tutto
+

MARC Lista (tabellare) Raggruppa

Seleziona tutti

Formal methods for components and objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised selected papers / Bernhard Beckert [and others] (eds.).

[FMCO 2011 (2011 : Turin, Italy)]

Materiale a stampa

Lo trovi qui: New York University

Handbook of neuroevolution through Erlang / Gene I. Sher

[Sher, Gene I.]

Materiale a stampa

Lo trovi qui: New York University

The future of EU agricultural markets by AGMEMOD / Frédéric Chantreuil, Kevin Hanrahan, Myrna van Leeuwen, editors

Materiale a stampa

Lo trovi qui: New York University

NASA formal methods : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings / Alwyn E. Goodloe, Suzette Person (eds.).

[NFM 2012 (2012 : Norfolk, Va.)]

Materiale a stampa

Lo trovi qui: New York University

Handbook of neuroevolution through Erlang / Gene I. Sher

[Sher, Gene I.]

Materiale a stampa

Lo trovi qui: New York University

Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes / by Christian Storm

[Storm, Christian]

Materiale a stampa

Lo trovi qui: New York University

Knowledge science, engineering and management : 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings / Mingzheng Wang (ed.).

[KSEM (Conference) (6th : 2013 : Dalian Shi, China)]

Materiale a stampa

Lo trovi qui: New York University

Software and network engineering / Roger Lee (ed.).

[ACIS International Symposium on Software and Network Engineering (1st : 2012 : Seoul, Korea)]

Materiale a stampa

Lo trovi qui: New York University

Advances in computer science, engineering & applications [electronic resource] : proceedings of the Second International Conference on Computer Science, Engineering and Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India. Volume 1 / David C. Wyld, Jan Zizka, and Dhinaharan Nagamalai (eds.).

[ICCSEA 2012 (2012 : New Delhi, India)]

Materiale a stampa

Lo trovi qui: New York University

Information computing and applications : second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011, proceedings. Part I / Chunfeng Liu, Jincai Chang, Aimin Yang (eds.).

[ICICA (Conference) (2nd : 2011 : Qinhuangdao, China)]

Materiale a stampa

Lo trovi qui: New York University

1 2 3 4 5 6 7 8 9 10 11 12 13 ...

Formato

Livello bibliografico

Monografie (436)

Data

Ultimi 10 anni (296)
Ultimi 50 anni (436)

Data di pubblicazione

2012 (141)
2013 (74)
2011 (50)
2010 (24)
2005 (19)
2006 (18)
2009 (17)
2003 (13)
2008 (12)
1997 (10)
2004 (10)

Creatore	[FMCO 2011 (2011 : Turin, Italy)]
Estensione	1 online resource.
Disciplina	004.01/51
Accesso persona	Beckert, Bernhard
Genere/Forma	Congresses Electronic books Conference papers and proceedings
Soggetto non controllato	Computer science Software engineering Logic design Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Information Systems Applications (incl. Internet)
ISBN	9783642358876 364235887X 9783642358869
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	The ASCENS Project -- ASCENS: Engineering Autonomic Service-Component Ensembles / Martin Wirsing, Matthias Hölzl, Mirco Tribastone, Franco Zambonelli -- A Language-Based Approach to Autonomic Computing / Rocco De Nicola, Gianluigi Ferrari, Michele Loreti, Rosario Pugliese -- A Survey on Basic Connectors and Buffers / Roberto Bruni, Hernán Melgratti, Ugo Montanari -- The EternalS Coordination Action -- Synthesis-Based Variability Control: Correctness by Construction / Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen -- Modeling Application-Level Management of Virtualized Resources in ABS / Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa -- HATS Abstract Behavioral Specification: The Architectural View / Reiner Hähnle, Michiel Helvensteijn, Einar Broch Johnsen, Michael Lienhardt. Automatic Service Categorisation through Machine Learning in Emergent Middleware / Amel Bennaceur, Valérie Issarny, Richard Johansson, Alessandro Moschitti -- Towards a Model- and Learning-Based Framework for Security Anomaly Detection / Matthias Gander, Basel Katt, Michael Felderer, Ruth Breu -- Enhancing Model Driven Security through Pattern Refinement Techniques / Basel Katt, Matthias Gander, Ruth Breu, Michael Felderer -- Project Zeppelin: A Modern Web Application Development Framework / Leigh Griffin, Peter Elger, Eamonn de Leastar -- The ParaPhrase Project -- Managing Adaptivity in Parallel Systems / Marco Aldinucci, Marco Danelutto, Peter Kilpatrick, Carlo Montangero, Laura Semini -- The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems / Kevin Hammond, Marco Aldinucci, Christopher Brown, Francesco Cesarini, Marco Danelutto. Paraphrasing: Generating Parallel Programs Using Refactoring / Christopher Brown, Kevin Hammond, Marco Danelutto, Peter Kilpatrick, Holger Schöner -- An Abstract Annotation Model for Skeletons / Marco Aldinucci, Sonia Campa, Peter Kilpatrick, Fabio Tordini, Massimo Torquati -- The PRO3D Project -- PRO3D, Programming for Future 3D Manycore Architectures: Project's Interim Status / Christian Fabre, Iuliana Bacivarov, Ananda Basu, Martino Ruggiero, David Atienza -- Thermal-Aware Task Assignment for Real-Time Applications on Multi-Core Systems / Lars Schor, Hoeseok Yang, Iuliana Bacivarov, Lothar Thiele -- Component Assemblies in the Context of Manycore / Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Mayur Maheshwari -- Low-Cost Dynamic Voltage and Frequency Management Based upon Robust Control Techniques under Thermal Constraints / Sylvain Durand, Suzanne Lesecq, Edith Beigné, Christian Fabre, Lionel Vincent.
Record Nr.	NYU-004389901

Creatore	[Sher, Gene I.]
Estensione	1 online resource
Disciplina	570.285
Genere/Forma	Handbooks Electronic books Handbooks and manuals
Soggetto non controllato	Computer science Software engineering Artificial intelligence Bioinformatics Software Engineering/Programming and Operating Systems Computational Biology/Bioinformatics
ISBN	9781461444633 1461444632 1461444624 9781461444626
Classificazione	54.10 54.72
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Part 1. FOUNDATIONS -- Introduction to Neural Networks -- Introduction to Evolutionary Computation -- Introduction to Neuroevolutionary Methods -- The Unintentional Neural Network Programming Language -- Introduction: Applications & Motivations -- Part 2. NEUROEVOLUTION: TAKING THE FIRST STEP -- Developing a Feed Forward Neural Network -- Adding the "Stochastic Hill-Climber" Learning Algorithm -- Developing a Simple Neuroevolutionary Platform -- Testing the Neuroevolutionary System -- Part 3. A Case Study -- DXNN: A Case Study -- Part 4. Advanced Neuroevolution: Creating the Cutting Edge -- Decoupling & Modularizing Our Neuroevolutionary Platform -- Keeping Track of Important Population and Evolutionary Stats -- The Benchmarker -- Creating the Two Slightly More Complex Benchmarks -- Neural Plasticity -- Substrate Encoding -- Substrate Plasticity -- Part 5. Applications -- Artificial Life -- Evolving Currency Trading Agents -- Part 6. Promises Kept -- Conclusion.
Record Nr.	NYU-004388749

Estensione	1 online resource (xv, 128 pages)
Disciplina	338.1094
Accesso persona	Chantreuil, Frédéric Hanrahan, K. F. (Kevin F.) Leeuwen, Myrna van.
Genere/Forma	Electronic books
Soggetto non controllato	Economics Software engineering Farm economics Economics/Management Science Agricultural Economics Software Engineering/Programming and Operating Systems
ISBN	9789400722910 9400722915 9400722907 9789400722903 128345503X 9781283455039
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	PART I -- Introduction -- 1. Background -- 2. Model Structure and Parameterisation -- 3. AGMEMOD Model -- PART II -- 4. EU Market Outlook -- 5. The CAP Beyond 2013 -- 6. Conclusions and Future Work -- Index.
Record Nr.	NYU-004372226

Creatore	[NFM 2012 (2012 : Norfolk, Va.)]
Estensione	1 online resource (xii, 466 pages).
Disciplina	005.13/1
Accesso persona	Goodloe, Alwyn E. Person, Suzette
Genere/Forma	Electronic books Conference papers and proceedings
Soggetto non controllato	Computer science Software engineering Operating systems (Computers) Logic design Programming Languages, Compilers, Interpreters Operating Systems Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Programming Techniques
ISBN	9783642288913 364228891X 9783642288906
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	SMT-Based Model Checking / Cesare Tinelli -- Verified Software Toolchain / Andrew W. Appel -- Formal Verification by Abstract Interpretation / Patrick Cousot -- Quantitative Timed Analysis of Interactive Markov Chains / Dennis Guck, Tingting Han, Joost-Pieter Katoen and Martin R. Neuhäußer -- Lessons Learnt from the Adoption of Formal Model-Based Development / Alessio Ferrari, Alessandro Fantechi and Stefania Gnesi -- Symbolic Execution of Communicating and Hierarchically Composed UML-RT State Machines / Karolina Zurowska and Juergen Dingel -- Inferring Definite Counterexamples through Under-Approximation / Jörg Brauer and Axel Simon -- Modifying Test Suite Composition to Enable Effective Predicate-Level Statistical Debugging / Ross Gore and Paul F. Reynolds -- Rigorous Polynomial Approximation Using Taylor Models in Coq / Nicolas Brisebarre, Mioara Joldeş, Érik Martin-Dorel, Micaela Mayero and Jean-Michel Muller, et al. -- Enhancing the Inverse Method with State Merging / Étienne André, Laurent Fribourg and Romain Soulat -- Class-Modular, Class-Escape and Points-to Analysis for Object-Oriented Languages / Alexander Herz and Kalmer Apinis -- Testing Static Analyzers with Randomly Generated Programs / Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto and John Regehr, et al. -- Compositional Verification of Architectural Models / Darren Cofer, Andrew Gacek, Steven Miller, Michael W. Whalen and Brian LaValley, et al. -- A Safety Case Pattern for Model-Based Development Approach / Anaheed Ayoub, BaekGyu Kim, Insup Lee and Oleg Sokolsky. PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL / Heber Herencia-Zapana, Romain Jobredeaux, Sam Owre, Pierre-Loïc Garoche and Eric Feron, et al. -- Temporal Action Language (TAL): A Controlled Language for Consistency Checking of Natural Language Temporal Requirements / (Preliminary Results) / Wenbin Li, Jane Huffman Hayes and Mirosław Truszczyński -- Some Steps into Verification of Exact Real Arithmetic / Norbert Th. Müller and Christian Uhrhan -- Runtime Verification Meets Android Security / Andreas Bauer, Jan-Christoph Küster and Gil Vegliach -- Specification in PDL with Recursion / Xinxin Liu and Bingtian Xue -- Automatically Proving Thousands of Verification Conditions Using an SMT Solver: An Empirical Study / Aditi Tagore, Diego Zaccai and Bruce W. Weide -- Sound Formal Verification of Linux's USB BP Keyboard Driver / Willem Penninckx, Jan Tobias Mühlberg, Jan Smans, Bart Jacobs and Frank Piessens -- Learning Markov Models for Stationary System Behaviors / Yingke Chen, Hua Mao, Manfred Jaeger, Thomas Dyhre Nielsen and Kim Guldstrand Larsen, et al. -- The Use of Rippling to Automate Event-B Invariant Preservation Proofs / Yuhui Lin, Alan Bundy and Gudmund Grov -- Thread-Modular Model Checking with Iterative Refinement / Wenrui Meng, Fei He, Bow-Yaw Wang and Qiang Liu -- Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs / Jiři Barnat, Luboš Brim and Petr Ročkai -- Integrating Statechart Components in Polyglot / Daniel Balasubramanian, Corina S. Păsăreanu, Jason Biatek, Thomas Pressburger and Gabor Karsai, et al. Using PVS to Investigate Incidents through the Lens of Distributed Cognition / Paolo Masci, Huayi Huang, Paul Curzon and Michael D. Harrison -- Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms / Roberto Bruttomesso, Alessandro Carioni, Silvio Ghilardi and Silvio Ranise -- Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems / Jason Belt, Robby, Patrice Chalin, John Hatcliff and Xianghua Deng -- Generating Verifiable Java Code from Verified PVS Specifications / Leonard Lensink, Sjaak Smetsers and Marko van Eekelen -- Belief Bisimulation for Hidden Markov Models / Logical Characterisation and Decision Algorithm / David N. Jansen, Flemming Nielson and Lijun Zhang -- Abstract Model Repair / George Chatzieleftheriou, Borzoo Bonakdarpour, Scott A. Smolka and Panagiotis Katsaros -- CLSE: Closed-Loop Symbolic Execution / Rupak Majumdar, Indranil Saha, K.C. Shashidhar and Zilong Wang -- On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols / Michael Backes, Alex Busenius and Cătălin Hrițcu -- Incremental Verification with Mode Variable Invariants in State Machines / Temesghen Kahsai, Pierre-Loïc Garoche, Cesare Tinelli and Mike Whalen -- A Semantic Analysis of Wireless Network Security Protocols / Damiano Macedonio and Massimo Merro -- Runtime Verification with Predictive Semantics / Xian Zhang, Martin Leucker and Wei Dong -- A Case Study in Verification of Embedded Network Software / Kalyan C. Regula, Hampton Smith, Heather Harton Keown, Jason O. Hallstrom and Nigamanth Sridhar, et al. -- Checking and Distributing Statistical Model Checking / Peter Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay and Marius Mikučionis, et al.
Record Nr.	NYU-004622307

Creatore	[Sher, Gene I.]
Estensione	1 online resource
Disciplina	570.285
Genere/Forma	Electronic books Handbooks and manuals Handbooks
Soggetto non controllato	Computer science Software engineering Artificial intelligence Bioinformatics Software Engineering/Programming and Operating Systems Computational Biology/Bioinformatics
ISBN	9781461444633 1461444632 1461444624 9781461444626
Classificazione	54.10 54.72
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Part 1. FOUNDATIONS -- Introduction to Neural Networks -- Introduction to Evolutionary Computation -- Introduction to Neuroevolutionary Methods -- The Unintentional Neural Network Programming Language -- Introduction: Applications & Motivations -- Part 2. NEUROEVOLUTION: TAKING THE FIRST STEP -- Developing a Feed Forward Neural Network -- Adding the "Stochastic Hill-Climber" Learning Algorithm -- Developing a Simple Neuroevolutionary Platform -- Testing the Neuroevolutionary System -- Part 3. A Case Study -- DXNN: A Case Study -- Part 4. Advanced Neuroevolution: Creating the Cutting Edge -- Decoupling & Modularizing Our Neuroevolutionary Platform -- Keeping Track of Important Population and Evolutionary Stats -- The Benchmarker -- Creating the Two Slightly More Complex Benchmarks -- Neural Plasticity -- Substrate Encoding -- Substrate Plasticity -- Part 5. Applications -- Artificial Life -- Evolving Currency Trading Agents -- Part 6. Promises Kept -- Conclusion.
Record Nr.	NYU-004625618

Creatore	[ACIS International Symposium on Software and Network Engineering (1st : 2012 : Seoul, Korea)]
Estensione	1 online resource (xii, 146 pages).
Disciplina	005.1
Accesso persona	Lee, Roger (Roger Chin Tat)
Genere/Forma	Electronic books Conference papers and proceedings
Soggetto non controllato	Engineering Software engineering Artificial intelligence Computational Intelligence Software Engineering/Programming and Operating Systems
ISBN	9783642286704 3642286704 3642286690 9783642286698
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Obtaining Factors Describing Impression of Questions and Answers and Estimation of Their Scores from Feature Values of Statements / Yuya Yokoyama, Teruhisa Hochin, Hiroki Nomiya and Tetsuji Satoh -- An Integrated Hierarchical Temporal Memory Network for Continuous Multi-Interval Prediction of Stock Price Trends / Hyun-Syug Kang and Jianhua Diao -- Web Prefetching by ART1 Neural Network / Wenying Feng, Toufiq Hossain Kazi and Gongzhu Hu -- A User-Adaptive Augmented Reality System in Mobile Computing Environment / Sejin Oh and Yung-Cheol Byun -- Software Development Education Based on UEC Software Repository / Takaaki Goto, Takahiro Homma, Kensei Tsuchida and Tetsuro Nishino -- A Winner Determination Method on GlobalAd Service: Model and Formulation / Satoshi Takahashi, Yuji Hashiura, Roger Y. Lee and Tokuro Matsuo -- Effects of Utility Functions on Network Response Time and Optimization / Chris Johns, Kevin Mak, Gongzhu Hu and Wenying Feng -- Features Detection from Industrial Noisy 3D CT Data for Reverse Engineering / Thi-Chau Ma, Chang-soo Park, Kittichai Suthunyatanakit, Min-jae Oh and Tae-wan Kim, et al. -- Design of Lifecycle for Reliability of Open Source Software / Eun-Ser Lee and Joong-soo Kim -- Evaluation of Risk Items for Open Source Software / Eun-Ser Lee and Haeng-Kon Kim -- Cloud Computing for Business / Jan Seruga and Ha Jin Hwang -- Design of Mobile Software Architecture / Ji-Uoo Tak, Roger Y. Lee and Haeng-Kon Kim.
Record Nr.	NYU-004375156

Creatore	[ICCSEA 2012 (2012 : New Delhi, India)]
Estensione	1 online resource (xxiii, 1048 pages).
Disciplina	004
Accesso persona	Wyld, David C. Žižka, Jan. Nagamalai, Dhinaharan
Genere/Forma	Electronic books Conference papers and proceedings
Soggetto non controllato	Engineering Software engineering Telecommunication Computational Intelligence Communications Engineering, Networks Software Engineering/Programming and Operating Systems Data Mining and Knowledge Discovery
ISBN	9783642301575 3642301576 3642301568 9783642301568
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Automatic FAPs Determination and Expressions Synthesis / Narendra Patel and Mukesh A. Zaveri -- Generation of Orthogonal Discrete Frequency Coded Waveform Using Accelerated Particle Swarm Optimization Algorithm for MIMO Radar / B. Roja Reddy and M. Uttara Kumari -- Text Independent Speaker Recognition Model Based on Gamma Distribution Using Delta, Shifted Delta Cepstrals / K. Suri Babu, Srinivas Yarramalle and Suresh Varma Penumatsa -- Skin Segmentation Based Elastic Bunch Graph Matching for Efficient Multiple Face Recognition / Sayantan Sarkar -- A Study of Prosodic Features of Emotional Speech / X. Arputha Rathina, K.M. Mehata and M. Ponnavaikko -- Gender Classification Techniques: A Review / Preeti Rai and Pritee Khanna -- Text Dependent Voice Based Biometric Authentication System Using Spectrum Analysis and Image Acquisition / Somsubhra Gupta and Soutrik Chatterjee -- Interactive Investigation Support System Design with Data Mining Extension / Somsubhra Gupta, Saikat Mazumder and Sourav Mondal -- Pattern Recognition Approaches to Japanese Character Recognition / Soumendu Das and Sreeparna Banerjee -- Fast Fingerprint Image Alignment / Jaspreet Kour, M. Hanmandlu and A.Q. Ansari -- Colour and Texture Feature Based Hybrid Approach for Image Retrieval / Dipti Jadhav, Gargi Phadke and Satish Devane -- Application of Software Defined Radio for Noise Reduction Using Empirical Mode Decomposition / Sapan H. Mankad and S.N. Pradhan. An Approach to Detect Hard Exudates Using Normalized Cut Image Segmentation Technique in Digital Retinal Fundus Image / Diptoneel Kayal and Sreeparna Banerjee -- Latency Study of Seizure Detection / Yusuf U. Khan, Omar Farooq, Priyanka Sharma and Nidal Rafiuddin -- Analysis of Equal and Unequal Transition Time Effects on Power Dissipation in Coupled VLSI Interconnects / Devendra Kumar Sharma, Brajesh Kumar Kaushik and Richa K. Sharma -- Image Analysis of DETECHIP® -- A Molecular Sensing Array / Marcus Lyon, Mark V. Wilson, Kerry A. Rouhier, David J. Symonsbergen and Kiran Bastola, et al. -- A Gaussian Graphical Model Based Approach for Image Inpainting / Krishnakant Verma and Mukesh A. Zaveri -- A Survey on MRI Brain Segmentation / M.C. Jobin Christ and R.M.S. Parvathi -- Can Ear and Soft-Biometric Traits Assist in Recognition of Newborn? / Shrikant Tiwari, Aruni Singh and Sanjay Kumar Singh -- Multi Segment Histogram Equalization for Brightness Preserving Contrast Enhancement / Mohd. Farhan Khan, Ekram Khan and Z.A. Abbasi -- Various Implementations of Advanced Dynamic Signature Verification System / Jin Whan Kim -- Performance of Face Recognition Algorithms on Dummy Faces / Aruni Singh, Shrikant Tiwari and Sanjay Kumar Singh -- Locally Adaptive Regularization for Robust Multiframe Super Resolution Reconstruction / S. Chandra Mohan, K. Rajan and R. Srinivasan -- Improved Watermark Extraction from Audio Signals by Scaling of Internal Noise in DCT Domain / Rajib Kumar Jha, Badal Soni, Rajlaxmi Chouhan and Kiyoharu Aizawa. Performance of Adders with Logical Optimization in FPGA / R. Uma and P. Dhavachelvan -- Robust Iris Templates for Efficient Person Identification / Abhishek Gangwar, Akanksha Joshi, Renu Sharma and Zia Saquib -- Thesaurus Based Web Searching / K.V.N. Sunitha and A. Sharada -- An Adaptive Design Pattern for Genetic Algorithm Based Autonomic Computing System / B. Naga Srinivas Repuri, Vishnuvardhan Mannava and T. Ramesh -- Cross-Layer Design in Wireless Sensor Networks / S. Jagadeesan and V. Parthasarathy -- Semantic Based Category-Keywords List Enrichment for Document Classification / Upasana Pandey, S. Chakraverty, Richa Mihani, Ruchika Arya and Sonali Rathee, et al. -- Selection of Fluid Film Journal Bearing: A Fuzzy Approach / V.K. Dwivedi, Satish Chand and K.N. Pandey -- Implementation of New Biorthogonal IOFDM / A.V. Meenakshi, R. Kayalvizhi and S. Asha -- Application of Real Valued Neuro Genetic Algorithm in Detection of Components Present in Manhole Gas Mixture / Varun Kumar Ojha, Paramarta Dutta, Hiranmay Saha and Sugato Ghosh -- Concept Adapting Real-Time Data Stream Mining for Health Care Applications / Dipti D. Patil, Jyoti G. Mudkanna, Dnyaneshwar Rokade and Vijay M. Wadhai -- Efficient Domain Search for Fractal Image Compression Using Feature Extraction Technique / Amol G. Baviskar and S.S. Pawale -- Case Study of Failure Analysis Techniques for Safety Critical Systems / Aiswarya Sundararajan and R. Selvarani. Implementation of Framework for Semantic Annotation of Geospatial Data / Preetam Naik, Madhuri Rao, S.S. Mantha and J.A. Gokhale -- Optimized Large Margin Classifier Based on Perceptron / Hemant Panwar and Surendra Gupta -- Study of Architectural Design Patterns in Concurrence with Analysis of Design Pattern in Safety Critical Systems / Feby A. Vinisha and R. Selvarani -- A Novel Scheme to Hide Identity Information in Mobile Captured Images / Anand Gupta, Ashita Dadlani, Rohit Malhotra and Yatharth Bansal -- A License Plate Detection Algorithm Using Edge Features / Mostafa Ayoubi Mobarhan, Asadollah Shahbahrami, Saman Parva, Mina Naghash Asadi and Atefeh Ahmadnya Khajekini -- Human and Automatic Evaluation of English to Hindi Machine Translation Systems / Nisheeth Joshi, Hemant Darbari and Iti Mathur -- A Novel Genetic Algorithm Based Method for Efficient QCA Circuit Design / Mohsen Kamrani, Hossein Khademolhosseini, Arman Roohi and Poornik Aloustanimirmahalleh -- Adaptation of Cognitive Psychological Framework as Knowledge Explication Strategy / S. Maria Wenisch, A. Ramachandran and G.V. Uma -- Comparing Fuzzy-C Means and K-Means Clustering Techniques: A Comprehensive Study / Sandeep Panda, Sanat Sahu, Pradeep Jena and Subhagata Chattopadhyay -- Comparative Analysis of Diverse Approaches for Air Target Classification Based on Radar Track Data / Manish Garg and Upasna Singh. Speed Optimization in an Unplanned Lane Traffic Using Swarm Intelligence and Population Knowledge Base Oriented Performance Analysis / Prasun Ghosal, Arijit Chakraborty and Sabyasachee Banerjee -- Automation of Regression Analysis: Methodology and Approach / Kumar Abhishek, Prabhat Kumar and Tushar Sharad -- A New Hybrid Binary Particle Swarm Optimization Algorithm for Multidimensional Knapsack Problem / Amira Gherboudj, Said Labed and Salim Chikhi -- A Cooperative Multi-Agent System for Traffic Congestion Management in VANET / Mohamed EL Amine Ameur and Habiba Drias -- An Aspectual Feature Module Based Service Injection Design Pattern for Unstructured Peer-to-Peer Computing Systems / Vishnuvardhan Mannava, T. Ramesh and B. Naga Srinivas Repuri -- A Novel Hybrid Approach to N-Queen Problem / Kavishi Agarwal, Akshita Sinha and M. Hima Bindu -- Testing for Software Security: A Case Study on Static Code Analysis of a File Reader Java Program / Natarajan Meghanathan and Alexander Roy Geoghegan -- Vital Signs Data Aggregation and Transmission over Controller Area Network (CAN) / Nadia Ishaque, Noveel Azhar, Atiya Azmi, Umm-e-laila and Ammar Abbas -- A Comparative Study on Different Biometric Modals Using PCA / G. Pranay Kumar, Harendra Kumar Ram, Naushad Ali and Ritu Tiwari -- Methodology for Automatic Bacterial Colony Counter / Surbhi Gupta, Priyanka Kamboj and Sumit Kaushik -- Sorting of Decision Making Units in Data Envelopment Analysis with Intuitionistic Fuzzy Weighted Entropy / Neeraj Gandotra, Rakesh Kumar Bajaj and Nitin Gupta. Reliability Quantification of an OO Design -Complexity Perspective- / A. Yadav and R.A. Khan -- A New Hybrid Algorithm for Video Segmentation / K. Mahesh and K. Kuppusamy -- Using Modularity with Rough Information Systems / Ahmed T. Shawky, Hesham A. Hefny and Ashraf H. Abd Elwhab -- Cost Optimized Approach to Random Numbers in Cellular Automata / Arnab Mitra and Anirban Kundu -- Selection of Views for Materializing in Data Warehouse Using MOSA and AMOSA / Rajib Goswami, D.K. Bhattacharyya and Malayananda Dutta -- Comparison of Deterministic and Probabilistic Approaches for Solving 0/1 Knapsack Problem / Ritika Mahajan, Sarvesh Chopra and Sonika Jindal -- Comparison of Content Based Image Retrieval System Using Wavelet Transform / Suchismita Das, Shruti Garg and G. Sahoo -- A New Approach for Hand Gesture Based Interface / T.M. Bhruguram, Shany Jophin, M.S. Sheethal and Priya Philip -- Multi-document Summarization Based on Sentence Features and Frequent Itemsets / J. Jayabharathy, S. Kanmani and Buvana -- Performance Evaluation of Evolutionary and Artificial Neural Network Based Classifiers in Diversity of Datasets / Pardeep Kumar, Nitin, Vivek Kumar Sehgal and Durg Singh Chauhan -- Some Concepts of Incomplete Multigranulation Based on Rough Intuitionistic Fuzzy Sets / B.K. Tripathy, G.K. Panda and Arnab Mitra -- Data Mining Model Building as a Support for Decision Making in Production Management / Pavol Tanuska, Pavel Vazan, Michal Kebisek, Oliver Moravcik and Peter Schreiber. Multi-Objective Zonal Reactive Power Market Clearing Model for Improving Voltage Stability in Electricity Markets Using HFMOEA / Ashish Saini and Amit Saraswat -- Comparative Study of Image Forgery and Copy-Move Techniques / M. Sridevi, C. Mala and Siddhant Sanyam -- Single Sideband Encoder with Nonlinear Filter Bank Using Denoising for Cochlear Implant Speech Processor / Rohini S. Hallikar, M. Uttara Kumari and K. Padmaraju -- Crosstalk Reduction Using Novel Bus Encoders in Coupled RLC Modeled VLSI Interconnects / G. Nagendra Babu, Brajesh Kumar Kaushik and Anand Bulusu -- Event Triggering Mechanism on a Time Base: A Novel Approach for Sporadic as well as Periodic Task Scheduling / Ramesh Babu Nimmatoori, A. Vinay Babu and C. Srilatha -- A High Level Approach to Web Content Verification / Liliana Alexandre and Jorge Coelho -- Histogram Correlation for Video Scene Change Detection / Nisreen I. Radwan, Nancy M. Salem and Mohamed I. El Adawy -- Microposts' Ontology Construction / Beenu Yadav, Harsh Verma, Sonika Gill and Prachi Bansal -- A Comparative Study of Clustering Methods for Relevant Gene Selection in Microarray Data / Manju Sardana and R.K. Agrawal -- An Optimal Approach for DICOM Image Segmentation Based on Fuzzy Techniques / J. Umamaheswari and G. Radhamani -- A Two-Phase Item Assigning in Adaptive Testing Using Norm Referencing and Bayesian Classification / R. Kavitha, A. Vijaya and D. Saraswathi. Implementation of Multichannel GPS Receiver Baseband Modules / Kota Solomon Raju, Y. Pratap, Virendra Patel, Gaurav Kumar and S.M.M. Naidu, et al. -- Towards a Practical "State Reconstruction" for Data Quality Methodologies: A Customized List of Dimensions / Reza Vaziri and Mehran Mohsenzadeh -- A Hybrid Reputation Model through Federation of Peers Having Analogous Function / G. Sreenu and P.M. Dhanya -- An Amalgam Approach for Feature Extraction and Classification of Leaves Using Support Vector Machine / N. Valliammal and S.N. Geethalakshmi -- Applying Adaptive Strategies for Website Design Improvement / Vinodani Katiyar, Kamal Kumar Srivastava and Atul Kumar -- WebTrovert: An AutoSuggest Search and Suggestions Implementing Recommendation System Algorithms / Akrita Agarwal, L. Annapoorani, Riya Tayal and Minakshi Gujral -- A Study of the Interval Availability and Its Impact on SLAs Risk / Andres J. Gonzalez and Bjarne E. Helvik -- Application of Intervention Analysis on Stock Market Forecasting / Mahesh S. Khadka, K.M. George, N. Park and J.B. Kim -- Partial Evaluation of Communicating Processes with Temporal Formulas and Its Application / Masaki Murakami -- Performance Analysis of a Hybrid Photovoltaic Thermal Single Pass Air Collector Using ANN / Deepali Kamthania, Sujata Nayak and G.N. Tiwari -- An Effective Software Implemented Data Error Detection Method in Real Time Systems / Atena Abdi, Seyyed Amir Asghari, Saadat Pourmozaffari, Hassan Taheri and Hossein Pedram. Preprocessing of Automated Blood Cell Counter Data and Generation of Association Rules in Clinical Pathology / D. Minnie and S. Srinivasan -- The Particular Approach for Personalised Knowledge Processing / Stefan Svetsky, Oliver Moravcik, Pavol Tanuska, Jana Stefankova and Peter Schreiber, et al. -- Metrics Based Quality Assessment for Retrieval Ability of Web-Based Bioinformatics Tools / Jayanthi Manicassamy, P. Dhavachelvan and R. Baskaran -- Exploring Possibilities of Reducing Maintenance Effort in Object Oriented Software by Minimizing Indirect Coupling / Nirmal Kumar Gupta and Mukesh Kumar Rohil -- A New Hashing Scheme to Overcome the Problem of Overloading of Articles in Usenet / Monika Saxena, Praneet Saurabh and Bhupendra Verma -- Bio-inspired Computational Optimization of Speed in an Unplanned Traffic and Comparative Analysis Using Population Knowledge Base Factor / Prasun Ghosal, Arijit Chakraborty and Sabyasachee Banerjee -- Transliterated SVM Based Manipuri POS Tagging / Kishorjit Nongmeikapam, Lairenlakpam Nonglenjaoba, Asem Roshan, Tongbram Shenson Singh and Thokchom Naongo Singh, et al. -- A Survey on Web Service Discovery Approaches / Debajyoti Mukhopadhyay and Archana Chougule -- Intensity Based Adaptive Fuzzy Image Coding Method: IBAFC / Deepak Gambhir and Navin Rajpal -- Periocular Feature Extraction Based on LBP and DLDA / Akanksha Joshi, Abhishek Gangwar, Renu Sharma and Zia Saquib -- Towards XML Interoperability / Sugam Sharma, S.B. Goyal, Ritu Shandliya and Durgesh Samadhiya.
Record Nr.	NYU-004375309