top

  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.
Foundational and practical aspects of resource analysis : second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised selected papers / Ricardo Peña, Marko van Eekelen, Olha Shkaravska (eds.).
Foundational and practical aspects of resource analysis : second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised selected papers / Ricardo Peña, Marko van Eekelen, Olha Shkaravska (eds.).
Creatore [FOPARA (Workshop) (2nd : 2011 : Madrid, Spain)]
Estensione 1 online resource (141 pages) : illustrations.
Disciplina 005.1/2
Accesso persona Peña, Ricardo, 1950-
Eekelen, M. C. J. D. van.
Shkaravska, Olha
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer system performance
Software engineering
Computer software
Logic design
System Performance and Evaluation
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Computation by Abstract Devices
ISBN 9783642324956
3642324959
9783642324949
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Higher-Order Characterization of Probabilistic Polynomial Time / Ugo Dal Lago and Paolo Parisen Toldin -- Typing a Core Binary-Field Arithmetic in a Light Logic / Emanuele Cesena, Marco Pedicini and Luca Roversi -- Interpolation-Based Height Analysis for Improving a Recurrence Solver / Manuel Montenegro, Olha Shkaravska, Marko van Eekelen and Ricardo Peña -- Interval-Based Resource Usage Verification: Formalization and Prototype / Pedro Lopez-Garcia, Luthfi Darmawan, Francisco Bueno and Manuel Hermenegildo -- Certifying and Reasoning on Cost Annotations of Functional Programs / Roberto M. Amadio and Yann Régis-Gianas -- On Abstractions for Timing Analysis in the \mathbbKK Framework / Mihail Asăvoae, Irina Măriuca Asăvoae and Dorel Lucanu -- Certifying Execution Time / Vítor Rodrigues, João Pedro Pedroso, Mário Florido and Simão Melo de Sousa -- Counter Automata for Parameterised Timing Analysis of Box-Based Systems / Christoph A. Herrmann and Kevin Hammond.
Record Nr. NYU-004623658
[FOPARA (Workshop) (2nd : 2011 : Madrid, Spain)]  
Materiale a stampa
Lo trovi qui: New York University
Wireless internet : 6th International ICST Conference, WICON 2011, Xi'an, China, October 19-21, 2011, Revised selected papers / Pinyi Ren [and others] (eds.).
Wireless internet : 6th International ICST Conference, WICON 2011, Xi'an, China, October 19-21, 2011, Revised selected papers / Pinyi Ren [and others] (eds.).
Creatore [International Conference on Wireless Internet (6th : 2011 : Xi'an, China)]
Estensione 1 online resource.
Disciplina 004.67/8
Accesso persona Ren, Pinyi
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Computer software
Artificial intelligence
Information Systems
Algorithm Analysis and Problem Complexity
Information Systems Applications (incl. Internet)
Computation by Abstract Devices
Management of Computing and Information Systems
ISBN 9783642304934
3642304931
3642304923
9783642304927
Classificazione 54.84
53.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto pt. 1. PHY Track. Optimal Joint Subcarrier Assignment and Power Allocation for Multi-user Video Streaming over OFDMA Downlink Systems / Fan Li, Pinyi Ren and Qinghe Du -- Throughput and Sensing Bandwidth Tradeoff in Cognitive Radio Networks / Wenshan Yin, Pinyi Ren and Shuangcheng Yan -- A Common Symbol Timing Offset Synchronization (post FFT) Method for OFDM System / Di Na, Ji longli, Yang Ming and Gao Peng -- Statistical QoS Driven Power and Rate Allocation over Rayleigh Fading Cognitive Radio Links / Yichen Wang, Pinyi Ren and Qinghe Du -- Joint Subcarrier and Power Allocation Considering Fairness in OFDM-Based Cognitive Radio Systems / Shuangcheng Yan, Pinyi Ren and Yu Hong -- Analysis and Implementation of a Precise Paging Mode in Co-LAC for 2G/3G Convergence Core Networks with Path Diversity / Yu Su and Xian Feng -- Peak-to-Average Power-Ratio Reduction Scheme Employing Fountain Codes / Juan Zhou, Ying Shen and Youxi Tang -- Antenna Location Design for Distributed Antenna Systems Based on Timing Acquisition / Tian Xia, Chaojin Qing, Shihai Shao, Mintao Zhang and Youxi Tang -- A Novel Image Transmission System Based on Joint Source-Channel Coding / Junhong Chen and Qinyu Zhang.
Uplink Interference Rejection Combining for WCDMA Using Multiple Antennas / Zhanghong Hao, Hongzhi Zhao, Taofu Mo, Youxi Tang and Huiyue Yu -- A Simplified Fair Scheduling Algorithm for Multiuser MIMO System / Zhao Shen, Daiyu Fu and Fan Jin -- A New Cooperative Spectrum Sensing Scheme for Cognitive Ad-Hoc Networks / Yang Du, Hongxiang Li, Sentang Wu, Weiyao Lin and Xudong Wang -- Iterative DS-CDMA Anti-interference Technique Based on Interference Power Cognition / Taofu Mo, Zhanghong Hao and Youxi Tang -- Outage-Based Optimal Transmit Antenna Location for Distributed Antenna Systems with Selection Transmission / Liang Han, Tian Liu, Shihai Shao, Chaojin Qing and Youxi Tang -- Signal Detection for Joint Distributed Space-Time Coding in Asynchronous Cooperative Cellular Systems / Zhuo Wu, Luodan Liu and Xin Wang -- Enhanced Algorithm for MMIB in Distributed MIMO System / Jian Sun, Shidong Zhou, Xibin Xu, Yunzhou Li and Jing Wang -- A Novel Transmission Scheme Based on Sine/Chirp Hybrid Carriers / Qiming Zhao, Qinyu Zhang and Naitong Zhang -- Dynamic Bayesian Spectrum Bargaining with Non-myopic Users / Yang Yan, Jianwei Huang, Ming Zhao and Jing Wang.
Study on Frequency Synchronization in 3GPP LTE System for FDD and TDD Modes / Meilin Wang, Xin Qi, Limin Xiao, Min Huang and Ming Zhao -- Optimal Power Allocation for OFDM-Based Wire-Tap Channels with Arbitrarily Distributed Inputs / Haohao Qin, Yin Sun, Xiang Chen, Ming Zhao and Jing Wang -- MASS: Multiple ASSociation Scheme in IEEE 802.11 Wireless Mesh Networks / Haidong Zhang, Pin Lv, Yingwen Chen and Ming Xu -- A Weighted UWB Transmitted-Reference Receiver for Indoor Positioning Using MMSE Estimation / Gang Yang, Hui Jiang, Zhiqiang Bao and Jie Shan -- Multi-cell Joint Detection and Macrodiversity for TD-SCDMA Trunking System / Xiaoxiang Shen, Hui Zhi, Shixiang Shao and Meiling Ding -- New Half-Voting Cooperative Sensing Algorithms in Cognitive Radio / Haijun Wang, Yi Xu, Xin Su, Jie Zeng and Jing Wang -- Fast Blind Spectrum Sensing Method Based on Multi-stage Wiener Filter / Zhiqiang Bao, Guangyue Lu, Gang Yang and Huang Qingdong -- A Distributed Resource Admission Control Mechanism Supporting Multicast and Heterogeneous Receivers for MANETs / Wei Wu, Jianli Guo, Xuan Zhu, Huixing Peng and Lianhe Luo, et al. -- Visual Cognitive Radio / Tian Liu, Daixiong Ye, Shihai Shao, Youxi Tang and Juan Zhou.
A Full-Rate Cooperative Communication Strategy in Wireless Relay Networks / Lei Zhan, Fei Yang, Sihai Zhang and Wuyang Zhou -- A Semi-distributed Network Selection Scheme in Heterogeneous Wireless Networks / Juan Fan, Sihai Zhang and Wuyang Zhou -- A Practical Performance Analysis of CRS-Aided Channel Estimation Algorithms for LTE Downlink System / Yannan Yuan, Lianfen Huang, Ruogui Xiao, Xin Qi and Min Huang -- A Joint Optimal Algorithm Based on Relay Nodes Selection and Power Allocation / Zhao Shen, Daiyu Fu and Yu Jin -- A Novel Simple User Scheduling Algorithm for MIMO Downlink System / Haitao Lin, Zhao Shen and Desheng Wang -- Frequency Saving OFDMA Resource Allocation with QoS Provision / Guanying Ru, Hongxiang Li, Yanhui Lu, Yong Cheng and Weiyao Lin -- Distributed Fast Convergent Power Allocation Algorithm in Underlay Cognitive Radio Networks / Yanan Mei, Yanhui Lu, Xiaomin Mu and Xin Liu -- An Adaptive Anti-narrowband Jamming Receiver for CI/OFDM System / Xiaohu Chen, Jun Wang, Pei Gao and ShaoQian Li -- Cooperative Coarse Timing Synchronization for OFDM-Based Distributed Antenna Systems / Chaojin Qing, Shihai Shao, Mintao Zhang and Youxi Tang -- Pilot Design Based on Distributed Transmit Antennas in V-BLAST for Full Frequency Reuse / Zhigang Li, Tian Liu, Shihai Shao and Youxi Tang.
Energy-Efficient Distributed Relay Selection Based on Statistical Channel State Information / Haifang Jiang, Sihai Zhang and Wuyang Zhou -- Secondary User Selection in Cooperative Sensing Scheduling: A Spectrum Opportunity-Energy Tradeoff View / Xiangxia Sun, Tengyi Zhang and Danny H.K. Tsang -- Performance Analysis of Opportunistic Spectrum Sharing System / Wanbin Tang, Yanfeng Han, Hua Jin and ShaoQian Li -- A Cellular-Assisted Mobile UE Cluster Head Selection Algorithm for Wireless Sensor Networks / Lianhai Shan, Yuling Ouyang, Zhi Yuan, Honglin Hu and Zhenhong Li -- pt. 2. Network and Application Track. Interference Mitigation Based on Enhanced Interference PMI Notification / Jiqing Ni, Bingquan Li, Zesong Fei and Jingming Kuang -- Machine Learning Based Autonomous Network Flow Identifying Method / Hongbo Shi, Tomoki Hamagami and Haoyuan Xu -- Leasing and Pricing Strategies for Wireless Service Providers in Dynamic Spectrum Sharing / Peipei Chen, Qinyu Zhang and Yazhen Ren -- LRD Traffic Predicting Based on ARMA / Bo Gao, Qinyu Zhang and Naitong Zhang -- The Master-Slave Stochastic Knapsack Modelling for Fully Dynamic Spectrum Allocation / Sihai Zhang, Fei Yang and Wuyang Zhou.
Evaluation and Enhancement of TCP with Network Coding in Wireless Multihop Networks / Yanli Xu, Xiaolin Bai, Ping Wu and Lianghui Ding -- Fine-Grained Metrics for Quantifying Admission Control Performance in Mobile Ad Hoc Networks / Jianli Guo, Wei Wu, Xiaoxia Liu, Lianhe Luo and Changjiang Yan, et al. -- WiEyeTNB: A Wireless Sensor Based Drowning Detection System for Enhanced Parental Care / Balaji Hariharan, Riji N. Das and Arjun S. -- An Effective Scheme for Detecting Articulation Points in Zone Routing Protocol / Tsung-Chuan Huang, Wei-Chung Cheng and Lung Tang -- Demand-Matching Spectrum Sharing in Cognitive Radio Networks: A Classified Game / Shaohang Cui and Jun Cai -- QoS-Based Spectrum Access Control in MIMO Cognitive Radio Networks / Mei Rong and Shihua Zhu -- pt. 3. Hardware Track. A Tunable CMOS Continuous-Time Filter Designed for a 5.8 GHz ETC Demodulator / Hang Yu, Lai Jiang, Shengyue Lin, Yan Li and Rongchen Wei, et al. -- An Offset-Free 10 MHz Limiting Amplifier Designed for a 5.8 GHz ETC Receiver / Lai Jiang, Hang Yu, Rongchen Wei, Yan Li and Shengyue Lin, et al. -- A Novel Miniature Four-Band CPW-Fed Antenna Optimized Using ISPO Algorithm / Huihui Li, Xuanqin Mou, Zhen Ji, Hang Yu and Yan Li, et al.
Record Nr. NYU-004624935
[International Conference on Wireless Internet (6th : 2011 : Xi'an, China)]  
Materiale a stampa
Lo trovi qui: New York University
Algorithmic learning theory : 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012. Proceedings / Nader H. Bshouty [and others] (eds.).
Algorithmic learning theory : 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012. Proceedings / Nader H. Bshouty [and others] (eds.).
Creatore [ALT 2012 (2012 : Lyon, France)]
Estensione 1 online resource.
Disciplina 006.3/1
Accesso persona Bshouty, Nader H.
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Logic design
Artificial intelligence
Optical pattern recognition
Mathematical Logic and Formal Languages
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
ISBN 9783642341069
3642341063
3642341055
9783642341052
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Editors' Introduction / Nader H. Bshouty, Gilles Stoltz, Nicolas Vayatis and Thomas Zeugmann -- Declarative Modeling for Machine Learning and Data Mining / Luc De Raedt -- Learnability beyond Uniform Convergence / Shai Shalev-Shwartz -- Some Rates of Convergence for the Selected Lasso Estimator / Pascal Massart and Caroline Meynet -- Recent Developments in Pattern Mining / Toon Calders -- Exploring Sequential Data / Gilbert Ritschard -- Enlarging Learnable Classes / Sanjay Jain, Timo Kötzing and Frank Stephan -- Confident and Consistent Partial Learning of Recursive Functions / Ziyuan Gao and Frank Stephan -- Automatic Learning from Positive Data and Negative Counterexamples / Sanjay Jain and Efim Kinber -- Regular Inference as Vertex Coloring / Christophe Costa Florêncio and Sicco Verwer -- Sauer's Bound for a Notion of Teaching Complexity / Rahim Samei, Pavel Semukhin, Boting Yang and Sandra Zilles -- On the Learnability of Shuffle Ideals / Dana Angluin, James Aspnes and Aryeh Kontorovich -- New Analysis and Algorithm for Learning with Drifting Distributions / Mehryar Mohri and Andres Muñoz Medina -- On the Hardness of Domain Adaptation and the Utility of Unlabeled Target Samples / Shai Ben-David and Ruth Urner -- Efficient Protocols for Distributed Classification and Optimization / Hal Daumé III, Jeff M. Phillips, Avishek Saha and Suresh Venkatasubramanian.
The Safe Bayesian / Learning the Learning Rate via the Mixability Gap / Peter Grünwald -- Data Stability in Clustering: A Closer Look / Lev Reyzin -- Thompson Sampling: An Asymptotically Optimal Finite-Time Analysis / Emilie Kaufmann, Nathaniel Korda and Rémi Munos -- Regret Bounds for Restless Markov Bandits / Ronald Ortner, Daniil Ryabko, Peter Auer and Rémi Munos -- Minimax Number of Strata for Online Stratified Sampling Given Noisy Samples / Alexandra Carpentier and Rémi Munos -- Weighted Last-Step Min-Max Algorithm with Improved Sub-logarithmic Regret / Edward Moroshko and Koby Crammer -- Online Prediction under Submodular Constraints / Daiki Suehiro, Kohei Hatano, Shuji Kijima, Eiji Takimoto and Kiyohito Nagano -- Lower Bounds on Individual Sequence Regret / Eyal Gofer and Yishay Mansour -- A Closer Look at Adaptive Regret / Dmitry Adamskiy, Wouter M. Koolen, Alexey Chernov and Vladimir Vovk -- Partial Monitoring with Side Information / Gábor Bartók and Csaba Szepesvári -- PAC Bounds for Discounted MDPs / Tor Lattimore and Marcus Hutter -- Buy Low, Sell High / Wouter M. Koolen and Vladimir Vovk -- Kernelization of Matrix Updates, When and How? / Manfred K. Warmuth, Wojciech Kotłowski and Shuisheng Zhou -- Predictive Complexity and Generalized Entropy Rate of Stationary Ergodic Processes / Mrinalkanti Ghosh and Satyadev Nandakumar.
Record Nr. NYU-004624990
[ALT 2012 (2012 : Lyon, France)]  
Materiale a stampa
Lo trovi qui: New York University
Computational intelligence and intelligent systems : 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012. Proceedings / Zhenhua Li [and others] (eds.).
Computational intelligence and intelligent systems : 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012. Proceedings / Zhenhua Li [and others] (eds.).
Creatore [ISICA (Symposium) (6th : 2012 : Wuhan, China)]
Estensione 1 online resource.
Disciplina 006.3
Accesso persona Li, Zhenhua
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Information theory
Computer software
Electronic data processing
Data mining
Theory of Computation
Computing Methodologies
Algorithm Analysis and Problem Complexity
Numeric Computing
Models and Principles
ISBN 9783642342899
3642342892
9783642342882
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto pt. 1. Section I: Artificial Life, Adaptive Behavior, Agents, and Ant Colony Optimization / Dynamic Weapon Target Assignment Method Based on Artificial Fish Swarm Algorithm / Chengfei Wang, Zhaohui Zhang, Runping Xu and Ming Li -- An Agent-Based Model for Simulating Human-Like Crowd in Dense Places / Muzhou Xiong, Yunliang Chen, Hao Wang and Min Hu -- A Novel Heuristic Filter Based on Ant Colony Optimization for Non-linear Systems State Estimation / Hadi Nobahari and Alireza Sharifi.
pt. 2. Section II: Combinatorial and Numerical Optimization / New Proofs for Several Combinatorial Identities / Chuanan Wei and Ling Wang -- Construction of Standard College Tuition Model and Optimization / Cuirong Chen, Sa Zhao and Chengyu Hu -- Research and Realization of N-Queens Problem Based on the Logic Language Prolog / Baolei Gu.
pt. 3. Section III: Communications and Computer Networks / Enterprise Information Management Based on Cloud Platform / Mengyu Hua and Junkai Yang -- uDisC: An Ultra-Lightweight and Distributed Scheme for Defending against Data Loss Attack in RFID Networks / Zebo Feng, Xiaoping Wu, Liangli Ma and Wei Ren -- A Motion Planning Framework for Simulating Virtual Crowds / Muzhou Xiong, Yunliang Chen, Hao Wang and Min Hu -- Personalized Friend Recommendation in Social Network Based on Clustering Method / Zhiwei Deng, Bowei He, Chengchi Yu and Yuxiang Chen.
pt. 4. Section IV: Data Mining / The Research of Intrusion Detection Based on Mixed Clustering Algorithm / Nanyan Liu -- Applying Support Vector Machine to Time Series Prediction in Oracle / Xiangning Wu, Xuan Hu, Chengyu Hu and Guiling Li -- Dynamic FP-Tree Pruning for Concurrent Frequent Itemsets Mining / Wei Song, Wenbo Liu and Jinhong Li -- MapReduce-Based Bayesian Automatic Text Classifier Used in Digital Library / Zhen Niu, Zelong Yin and Huayang Cui -- On Dependences among Objects and Attributes / Sylvia Encheva -- An Improved Bayesian Inference Method for Data-Intensive Computing / Feng Ma and Weiyi Liu -- Preferences Predictions of Learning Objects Supported by Collaborative Recommendations / Sylvia Encheva -- A Method of Face Detection Based on Skin Color Model in Fixed Scene / Yan Rao and Ruliang Zhang -- Parallel Remote Sensing Image Processing: Taking Image Classification as an Example / Xiaoyue Wang, Zhenhua Li and Song Gao -- CNAR-M: A Model for Mining Critical Negative Association Rules / Tutut Herawan and Zailani Abdullah -- MT2Way: A Novel Strategy for Pair-Wise Test Data Generation / Khandakar Fazley Rabbi, Abul Hashem Beg and Tutut Herawan -- MaxD K-Means: A Clustering Algorithm for Auto-generation of Centroids and Distance of Data Points in Clusters / Wan Maseri Wan Mohd, Abul Hashem Beg, Tutut Herawan and Khandakar Fazley Rabbi -- Real-Time and Automatic Vehicle Type Recognition System Design and Its Application / Wei Zhan and Qiong Wan.
pt. 5. Section V: Evolutionary Multi-objective and Dynamic Optimization / Comparison of Three Multi-objective Optimization Algorithms for Hydrological Model / Xiaomin Huang, Xiaohui Lei and Yunzhong Jiang -- The Application Study of Dynamic Pricing Decision System Based on Multi-objective Optimization / Qing Zhou and Qinlan Yuan -- Twisted Helical Antenna for Satellite-Mobile Handset Using Dynamic Multi-objective Self-adapting Differential Evolution Algorithm / Lian Zhang, Sanyou Zeng, Zhu Liu, Steven Gao and Zhengjun Li, et al. -- Task Scheduling for Imaging Reconnaissance Satellites Using Multiobjective Scatter Search Algorithm / Zilong Shen, Huanxin Zou and Hao Sun -- A Multi-objective Differential Evolutionary Algorithm Applied in Antenna Optimal Problem / Yuanyuan Fan, Qingzhong Liang and Sanyou Zeng -- A Complete On-chip Evolvable Hardware Technique Based on Pareto Dominance / Qingzhong Liang, Yuanyuan Fan and Sanyou Zeng.
pt. 6. Section VI: Intelligent Computation / An Effective Particle Swarm Optimization for Global Optimization / Mahdiyeh Eslami, Hussain Shareef, Mohammad Khajehzadeh and Azah Mohamed -- Double Diffusive Natural Convection in Hydrothermal Systems: Numerical Simulation by Lattice Boltzmann Method / Wei Qiang and Hui Cao -- Research on Biogeography Differential Evolution Algorithm / Hongwei Mo, Zhenzhen Li and Luolin Zhang -- Improving Multi Expression Programming Using Reuse-Based Evaluation / Wei Deng and Pei He -- Improved Environmental Adaption Method for Solving Optimization Problems / K.K. Mishra, Shailesh Tiwari and A.K. Misra -- An Optimization Algorithm Based on Evolution Rules on Cellular System / Jieqing Xing and Houqun Yang -- An Evolutionary Approach for Image Registration / Jing Zhang, Aimin Zhou and Guixu Zhang -- Non-negative Matrix Factorization: A Short Survey on Methods and Applications / Zhengyu Huang, Aimin Zhou and Guixu Zhang -- Application of Differential Evolution to the Parameter Optimization of the Unscented Kalman Filter / Yao Jin -- Multi-scale Segmentation Algorithm Parameters Optimization Based on Evolutionary Computation / Xin Zhang, Hengjian Tong and Xiaowen Chen -- An Architecture for Internet-Based Distributed Evolutionary Computation / Hui Li, Xiaoming Liu, Song Gao and Dongdong Zhao -- An Improved GEP-GA Algorithm and Its Application / Lei Yao and Hui Li.
pt. 7. Section VII: Intelligent Learning Systems / Balancing Ensemble Learning between Known and Unknown Data / Yong Liu -- A Simulation Research on a Biased Estimator in Logistic Regression Model / Jiewu Huang -- Multi-model Combination Techniques for Flood Forecasting from the Distributed Hydrological Model EasyDHM / Weihong Liao and Xiaohui Lei -- The Study of Item Selection Method in CAT / Peng Lu, Dongdai Zhou, Shanshan Qin, Xiao Cong and Shaochun Zhong -- Weighted Splicing Systems / S. Turaev, Y.S. Gan, M. Othman, N.H. Sarmin and W.H. Fong -- Individual Paths in Self-evaluation Processes / Sylvia Encheva -- Learning Sequential Investment Strategy in High-Frequency Environment / Hao Cui, Yunyan Zhang and Hanming Chen -- An Efficient ID-Based Directed Signature Scheme from Optimal Eta Pairing / Junhua Ku, Dawei Yun, Bing Zheng and She Wei -- WCD-New Approach Combining Words, Concepts and Documents Based on Ontology / Haoming Wang, Ye Guo and Xibing Shi -- A Knowledgeable Decision Tree Classification Model for Multivariate Heart Disease Data-A Boon to Healthcare / G. NaliniPriya, A. Kannan and P. Anandhakumar -- The Research of Abnormal Target Detection Algorithm in Intelligent Surveillance System / Junkai Yang and Mengyu Hua -- A Simulation Study of Modular Robot Self-replication / Lei Zhang, Zhenhua Li, Hao Zhang and Huaming Zhong -- Wavelet Application in Classification of Strata / Yueqin Dun, Yu Kong and Wei Zhang -- Duality Results of Nonlinear Symmetric Cone Programming / Xiaoqin Jiang -- The Linear Convergence of a Merit Function Method for Nonlinear Complementarity Problems / Xiaoqin Jiang and Liyong Lu -- A Knowledge Representation in Possible World / Yangxin Ou, Ping Zou and Chunyan Shuai.
pt. 8. Section VIII: Neural Networks / Grid Resource Scheduling Method Based on BP Neural Network / Min Li and Zhenhua Li -- A Comparison of Artificial Neural Networks and Support Vector Machines on Land Cover Classification / Yan Guo, Kenneth De Jong, Fujiang Liu, Xiaopan Wang and Chan Li -- A Neural Network for Episodic Memory with Pattern Interrelation / Min Xia, Liguo Weng, Xiaoling Ye and An Wang.
pt. 9. Section IX: Real-World Applications / The Application of Improved RHT in High-voltage Transmission Lines Detection / Fang Li, Yishui Shui, Lan Liu and Zhiqiang Guo -- VQ Codebook Design Using Genetic Algorithms for Speech Line Spectral Frequencies / Fatiha Merazka -- Numerical Simulation of an Optimized Xiaermen Oilfield Adjustment Plan / Zhenliang Guan, Congjiao Xie and Guoping Luo -- Research of Grid Map Services Implementation for Spatial Information Grid / Jing Zhu, Zheng Liu and Junqing Fan -- Application and Research of Shortest Time Limit-Resource Leveling Optimization Problem Based on a New Modified Evolutionary Programming / Yuanfei Luo, Jiehui Tang, Si Xu, Li Zhu and Xiang Li -- Design and Validation of a Parallel Parameter Inversion for Program Based on Genetic Algorithm / Yuan Cao, Wenke Wang, Tieliang Wang and Feng Liu -- Charge Stations Deployment Strategy for Maximizing the Charge Oppurnity of Electric Vehicles (EVs) / Hong Yao, Zheng Zhao, Huawei Huang and Lei Cong -- Efficient Arctangent Computation for Real-Time Histograms of Oriented Gradients Descriptor Extraction / Seung Eun Lee -- Single Photon Counting X-Ray Imaging System / Seung Eun Lee and Sang Don Kim -- Evaluation of CUDA for X-Ray Imaging System / Seung Eun Lee and Dae-Young Park -- Ambulatory Pattern Extraction for U-Health Care / Seung Eun Lee, Yeong-seob Jeong, Seung-jun Son and Hyeon-Min Choi -- Study on Signals Sources of Earth's Natural Pulse Electromagnetic Fields / Guocheng Hao and Hongliang Wang.
Record Nr. NYU-004625167
[ISICA (Symposium) (6th : 2012 : Wuhan, China)]  
Materiale a stampa
Lo trovi qui: New York University
Applications of graph transformations with industrial relevance : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised selected and invited papers / Andy Schürr, Dániel Varró, Gergely Varró (eds.).
Applications of graph transformations with industrial relevance : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised selected and invited papers / Andy Schürr, Dániel Varró, Gergely Varró (eds.).
Creatore [AGTIVE (Symposium) (4th : 2011 : Budapest, Hungary)]
Estensione 1 online resource.
Disciplina 004
Accesso persona Schürr, Andreas
Varró, Dániel
Varró, Gergely
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Data structures (Computer science)
Computer software
Logic design
Computational complexity
Discrete Mathematics in Computer Science
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
ISBN 9783642341762
3642341764
3642341756
9783642341755
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Best Practices to Model Business Services in Complex IT Environments / Zsolt Kocsis -- Drools: A Rule Engine for Complex Event Processing / Mark Proctor -- Graph Transformation Concepts for Meta-model Evolution Guaranteeing Permanent Type Conformance throughout Model Migration / Florian Mantz, Stefan Jurack and Gabriele Taentzer -- A Graph Transformation-Based Semantics for Deep Metamodelling / Alessandro Rossini, Juan de Lara, Esther Guerra, Adrian Rutle and Yngve Lamo -- Reusable Graph Transformation Templates / Juan de Lara and Esther Guerra -- Towards an Automated 3D Reconstruction of Plant Architecture / Florian Schöler and Volker Steinhage -- Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors / Torsten Strobl and Mark Minas -- AGG 2.0 -- New Features for Specifying and Analyzing Algebraic Graph Transformations / Olga Runge, Claudia Ermel and Gabriele Taentzer -- Integration of a Pattern-Based Layout Engine into Diagram Editors / Sonja Maier and Mark Minas -- Tool Demonstration of the Transformation Judge / Steffen Mazanek, Christian Rutetzki and Mark Minas -- Knowledge-Based Graph Exploration Analysis / Ismênia Galvão, Eduardo Zambon, Arend Rensink, Lesley Wevers and Mehmet Aksit -- Graph Grammar Induction as a Parser-Controlled Heuristic Search Process / Luka Fürst, Marjan Mernik and Viljan Mahnič -- Planning Self-adaption with Graph Transformations / Matthias Tichy and Benjamin Klöpper -- From Graph Transformation Units via MiniSat to GrGen.NET / Marcus Ermler, Hans-Jörg Kreowski, Sabine Kuske and Caroline von Totth -- Locality in Reasoning about Graph Transformations / Martin Strecker -- Contextual Hyperedge Replacement / Frank Drewes, Berthold Hoffmann and Mark Minas -- The Added Value of Programmed Graph Transformations -- A Case Study from Software Configuration Management / Thomas Buchmann, Bernhard Westfechtel and Sabine Winetzhammer -- A Case Study Based Comparison of ATL and SDM / Sven Patzina and Lars Patzina -- Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata / Joel Greenyer and Jan Rieke -- Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations / Stephan Hildebrandt, Leen Lambers, Holger Giese, Dominic Petrick and Ingo Richter.
Record Nr. NYU-004625168
[AGTIVE (Symposium) (4th : 2011 : Budapest, Hungary)]  
Materiale a stampa
Lo trovi qui: New York University
Evolutionary computation, machine learning and data mining in bioinformatics : 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013, proceedings / Leonardo Vanneschi, William S. Bush, Mario Giacobini (eds.).
Evolutionary computation, machine learning and data mining in bioinformatics : 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013, proceedings / Leonardo Vanneschi, William S. Bush, Mario Giacobini (eds.).
Creatore [EvoBIO (Conference) (11th : 2013 : Vienna, Austria)]
Estensione 1 online resource (xii, 215 pages) : illustrations.
Disciplina 570.285
Accesso persona Vanneschi, Leonardo
Bush, William S.
Giacobini, Mario
Genere/Forma Electronic books
Conference papers and proceedings
Congresses
Soggetto non controllato Computer science
Computer software
Data mining
Bioinformatics
Computational Biology/Bioinformatics
Algorithm Analysis and Problem Complexity
ISBN 9783642371899
3642371892
3642371884
9783642371882
Classificazione 54.80
42.11
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Oral Contributions. Multiple Threshold Spatially Uniform ReliefF for the Genetic Analysis of Complex Human Diseases / Delaney Granizo-Mackenzie, Jason H. Moore -- Time-Point Specific Weighting Improves Coexpression Networks from Time-Course Experiments / Jie Tan, Gavin D. Grant, Michael L. Whitfield, Casey S. Greene -- Inferring Human Phenotype Networks from Genome-Wide Genetic Associations / Christian Darabos, Kinjal Desai, Richard Cowper-Sal·lari, Mario Giacobini -- Knowledge-Constrained K-Medoids Clustering of Regulatory Rare Alleles for Burden Tests / R. Michael Sivley, Alexandra E. Fish, William S. Bush -- Feature Selection and Classification of High Dimensional Mass Spectrometry Data: A Genetic Programming Approach / Soha Ahmed, Mengjie Zhang, Lifeng Peng -- Structured Populations and the Maintenance of Sex / Peter A. Whigham, Grant Dick, Alden Wright, Hamish G. Spencer -- Hybrid Multiobjective Artificial Bee Colony with Differential Evolution Applied to Motif Finding / David L. González-Álvarez, Miguel A. Vega-Rodríguez -- ACO-Based Bayesian Network Ensembles for the Hierarchical Classification of Ageing-Related Proteins / Khalid M. Salama, Alex A. Freitas -- Dimensionality Reduction via Isomap with Lock-Step and Elastic Measures for Time Series Gene Expression Classification / Carlotta Orsenigo, Carlo Vercellis -- Supervising Random Forest Using Attribute Interaction Networks / Qinxin Pan, Ting Hu, James D. Malley, Angeline S. Andrew, Margaret R. Karagas.
Poster Contributions. Hybrid Genetic Algorithms for Stress Recognition in Reading / Nandita Sharma, Tom Gedeon -- Optimal Use of Biological Expert Knowledge from Literature Mining in Ant Colony Optimization for Analysis of Epistasis in Human Disease / Arvis Sulovari, Jeff Kiralis, Jason H. Moore -- A Multiobjective Proposal Based on the Firefly Algorithm for Inferring Phylogenies / Sergio Santander-Jiménez, Miguel A. Vega-Rodríguez -- Mining for Variability in the Coagulation Pathway: A Systems Biology Approach / Davide Castaldi, Daniele Maccagnola, Daniela Mari, Francesco Archetti -- Improving the Performance of CGPANN for Breast Cancer Diagnosis Using Crossover and Radial Basis Functions / Timmy Manning, Paul Walsh -- An Evolutionary Approach to Wetlands Design / Marco Gaudesi, Andrea Marion, Tommaso Musner, Giovanni Squillero, Alberto Tonda -- Impact of Different Recombination Methods in a Mutation-Specific MOEA for a Biochemical Application / Susanne Rosenthal, Nail El-Sourani, Markus Borschbach -- Cell-Based Metrics Improve the Detection of Gene-Gene Interactions Using Multifactor Dimensionality Reduction / Jonathan M. Fisher, Peter Andrews, Jeff Kiralis, Nicholas A. Sinnott-Armstrong -- Emergence of Motifs in Model Gene Regulatory Networks / Marcin Zagórski.
Record Nr. NYU-004627844
[EvoBIO (Conference) (11th : 2013 : Vienna, Austria)]  
Materiale a stampa
Lo trovi qui: New York University
Information theory, combinatorics, and search theory : in memory of Rudolf Ahlswede / Harout Aydinian, Ferdinando Cicalese, Christian Deppe (eds.).
Information theory, combinatorics, and search theory : in memory of Rudolf Ahlswede / Harout Aydinian, Ferdinando Cicalese, Christian Deppe (eds.).
Estensione 1 online resource.
Disciplina 003/.54
Accesso persona Aydinian, Harout
Cicalese, Ferdinando
Deppe, Christian
Genere/Forma Llibres electrònics
Soggetto non controllato Computer science
Coding theory
Computer software
Computational complexity
Combinatorics
Coding and Information Theory
Discrete Mathematics in Computer Science
Algorithm Analysis and Problem Complexity
ISBN 9783642368998
3642368999
3642368980
9783642368981
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Information Theory. Two New Results for Identification for Sources / Christian Heup -- L-Identification for Uniformly Distributed Sources and the q-ary Identification Entropy of Second Order / Christian Heup -- Optimal Rate Region of Two-Hop Multiple Access Channel via Amplify-and-Forward Scheme / Binyue Liu, Ning Cai -- Strong Secrecy for Multiple Access Channels / Moritz Wiese, Holger Boche -- Capacity Results for Arbitrarily Varying Wiretap Channels / Igor Bjelaković, Holger Boche, Jochen Sommerfeld -- On Oblivious Transfer Capacity / Rudolf Ahlswede, Imre Csiszár -- Achieving Net Feedback Gain in the Linear-Deterministic Butterfly Network with a Full-Duplex Relay / Anas Chaaban, Aydin Sezgin, Daniela Tuninetti -- Uniformly Generating Origin Destination Tables / David M. Einstein, Lee K. Jones -- Identification via Quantum Channels / Andreas Winter -- Classical-Quantum Arbitrarily Varying Wiretap Channel / Vladimir Blinovsky, Minglai Cai -- Arbitrarily Varying and Compound Classical-Quantum Channels and a Note on Quantum Zero-Error Capacities / Igor Bjelakovic [and others].
On the Value of Multiple Read/Write Streams for Data Compression / Travis Gagie -- How to Read a Randomly Mixed Up Message / Matthias Löwe -- Multiple Objects: Error Exponents in Hypotheses Testing and Identification / Evgueni Haroutunian, Parandzem Hakobyan -- Combinatorics. Family Complexity and VC-Dimension / Christian Mauduit, András Sárközy -- The Restricted Word Shadow Problem / Rudolf Ahlswede, Vladimir Lebedev -- Mixed Orthogonal Arrays, k-Dimensional M-Part Sperner Multifamilies, and Full Multitransversals / Harout Aydinian, Éva Czabarka, László A. Székely -- Generic Algorithms for Factoring Strings / David E. Daykin, Jacqueline W. Daykin, Costas S. Iliopoulos, W.F. Smyth -- On Data Recovery in Distributed Databases / Sergei L. Bezrukov, Uwe Leck, Victor P. Piotrowski -- An Unstable Hypergraph Problem with a Unique Optimal Solution / Carlos Hoppen, Yoshiharu Kohayakawa, Hanno Lefmann -- Multiparty Communication Complexity of Vector-Valued and Sum-Type Functions / Ulrich Tamm -- Threshold Functions for Distinct Parts: Revisiting Erdős-Lehner / Éva Czabarka, Matteo Marsili, László A. Székely.
On Some Structural Properties of Star and Pancake Graphs / Elena Konstantinova -- Search Theory. Threshold and Majority Group Testing / Rudolf Ahlswede, Christian Deppe, Vladimir Lebedev -- Superimposed Codes and Threshold Group Testing / Arkadii D'yachkov [and others] -- New Construction of Error-Tolerant Pooling Designs / Rudolf Ahlswede, Harout Aydinian -- Density-Based Group Testing / Dániel Gerbner [and others] -- Group Testing with Multiple Mutually-Obscuring Positives / Hong-Bin Chen, Hung-Lin Fu -- An Efficient Algorithm for Combinatorial Group Testing / Andreas Allemann -- Randomized Post-optimization for t-Restrictions / Charles J. Colbourn, Peyman Nayeri -- Search for Sparse Active Inputs: A Review / Mikhail Malyutov -- Search When the Lie Depends on the Target / Gyula O.H. Katona, Krisztián Tichler -- A Heuristic Solution of a Cutting Problem Using Hypergraphs / Christian Deppe, Christian Wischmann -- Remarks on History and Presence of Game Tree Search and Research / Ingo Althöfer -- Multiplied Complete Fix-Free Codes and Shiftings Regarding the 3/4-Conjecture / Michael Bodewig -- Creating Order and Ballot Sequences / Ulrich Tamm.
Record Nr. NYU-004627893
Materiale a stampa
Lo trovi qui: New York University
Integrated uncertainty in knowledge modelling and decision making : International Symposium, IUKM 2011, Hangzhou, China, October 28-30, 2011, proceedings / edited by Yongchuan Tang, Van-Nam Huynh, Jonathan Lawry
Integrated uncertainty in knowledge modelling and decision making : International Symposium, IUKM 2011, Hangzhou, China, October 28-30, 2011, proceedings / edited by Yongchuan Tang, Van-Nam Huynh, Jonathan Lawry
Creatore [IUKM 2011 (2011 : Hangzhou, China)]
Estensione 1 online resource (xi, 267 pages).
Accesso persona Tang, Yongchuan
Huynh, Van-Nam
Lawry, Jonathan, 1968-
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Database management
Data mining
Information storage and retrieval systems
Artificial intelligence
Information Systems Applications (incl. Internet)
Information Storage and Retrieval
Data Mining and Knowledge Discovery
Algorithm Analysis and Problem Complexity
ISBN 9783642249181
3642249183
9783642249174
3642249175
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076111
[IUKM 2011 (2011 : Hangzhou, China)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Distributed graph algorithms for computer networks [electronic resource] / K. Erciyes
Distributed graph algorithms for computer networks [electronic resource] / K. Erciyes
Creatore [Erciyes, K.]
Estensione 1 online resource.
Disciplina 518/.1
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Computer software
Algorithm Analysis and Problem Complexity
Math Applications in Computer Science
ISBN 9781447151739 (electronic bk.)
1447151739 (electronic bk.)
9781447151722
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Fundamental Algorithms. Graphs -- The Computational Model -- Spanning Tree Construction -- Graph Traversals -- Minimum Spanning Trees -- Routing -- Self-Stabilization -- Graph Theoretical Algorithms. Vertex Coloring -- Maximal Independent Sets -- Dominating Sets -- Matching -- Vertex Cover -- Ad Hoc Wireless Networks. Introduction -- Topology Control -- Ad Hoc Routing -- Sensor Network Applications -- ASSIST: A Simulator to Develop Distributed Algorithms.
Record Nr. UCHICAGO-9851128
[Erciyes, K.]  
Materiale a stampa
Lo trovi qui: University of Chicago
Grid and pervasive computing : 8th International Conference, GPC 2013 and colocated Workshops, Seoul, Korea, May 9-11, 2013 : proceedings / James J. (Jong Hyuk) Park [and others] (eds.).
Grid and pervasive computing : 8th International Conference, GPC 2013 and colocated Workshops, Seoul, Korea, May 9-11, 2013 : proceedings / James J. (Jong Hyuk) Park [and others] (eds.).
Creatore [GPC (Conference) (8th : 2013 : Seoul, Korea)]
Estensione 1 online resource (xxxiv, 956 pages) : illustrations.
Accesso persona Park, James J.
Genere/Forma Electronic books
Conference papers and proceedings
Congresses
Soggetto non controllato Computer science
Computer hardware
Computer network architectures
Operating systems (Computers)
Computer software
Information storage and retrieval systems
Multimedia systems
Algorithm Analysis and Problem Complexity
Computer Systems Organization and Communication Networks
Operating Systems
ISBN 9783642380273
3642380271
9783642380266
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Cloud, Cluster and Grid I. Transparency in Cloud Business: Cluster Analysis of Software as a Service Characteristics / Jonas Repschlaeger -- Distributed Accounting in Scope of Privacy Preserving / Marcus Hilbrich, René Jäkel -- Distributed Virtual Machine Monitor for Distributed Cloud Computing Nodes Integration / Li Ruan [and others] -- Differentiated Policy Based Job Scheduling with Queue Model and Advanced Reservation Technique in a Private Cloud Environment / Shyamala Loganathan, Saswati Mukherjee -- Scaling Out Recommender System for Digital Libraries with MapReduce / Lun-Chi Chen [and others] -- Layering of the Provenance Data for Cloud Computing / Muhammad Imran, Helmut Hlavacs -- JCL: An OpenCL Programming Toolkit for Heterogeneous Computing / Tyng-Yeu Liang, Yu-Jie Lin -- Network-Aware Multiway Join for MapReduce / Kenn Slagter [and others] -- Automatic Resource Scaling for Web Applications in the Cloud / Ching-Chi Lin [and others] -- Implementation of Cloud-RAID: A Secure and Reliable Storage above the Clouds / Maxim Schnjakin, Christoph Meinel -- An Improved Min-Min Task Scheduling Algorithm in Grid Computing / Soheil Anousha, Mahmoud Ahmadi.
Cloud, Cluster and Grid II. Heterogeneous Diskless Remote Booting System on Cloud Operating System / Jin-Neng Wu [and others] -- RTRM: A Response Time-Based Replica Management Strategy for Cloud Storage System / Xiaohu Bai [and others] -- Secure Hadoop with Encrypted HDFS / Seonyoung Park, Youngseok Lee -- VM Migration for Fault Tolerance in Spot Instance Based Cloud Computing / Daeyong Jung [and others] -- A Cloud Based Natural Disaster Management System / Mansura Habiba, Shamim Akhter -- A Hybrid Grid/Cloud Distributed Platform: A Case Study / Mohamed Ben Belgacem, Haithem Hafsi, Nabil Abdennadher -- Comparison of Two Yield Management Strategies for Cloud Service Providers / Mohammad Mahdi Kashef [and others] -- Comparing Java Virtual Machines for Sensor Nodes / Oliver Maye, Michael Maaser -- Research on Opinion Formation of Microblog in the View of Multi-agent Simulation / Jianyong Zhang [and others] -- Implementation of Cloud IaaS for Virtualization with Live Migration / Chao-Tung Yang [and others] -- Middleware, Resource Management -- Security Considerations in Cloud Computing Virtualization Environment / Sang-Soo Yeo, Jong Hyuk Park -- Medicine Rating Prediction and Recommendation in Mobile Social Networks / Shuai Li [and others] -- Cloud Browser: Enhancing the Web Browser with Cloud Sessions and Downloadable User Interface / Antero Taivalsaari, Tommi Mikkonen, Kari Systä -- Visual Novels: An Methodology Guideline for Pervasive Educational Games that Favors Discernment / Francisco Lepe Salazar, Tatsuo Nakajima, Todorka Alexandrova -- An Optimal Radio Access Network Selection Method for Heterogeneous Wireless Networks / Glaucio H.S. Carvalho [and others] -- Desktop Grid Computing at the Age of the Web / Leila Abidi, Christophe Cerin, Mohamed Jemni -- A Novel Model for Greenhouse Control Architecture / Miran Baek [and others].
Mobile, Peer-to-Peer and Pervasive Computing. Enhanced Search in Unstructured Peer-to-Peer Overlay Networks / Chittaranjan Hota [and others] -- CE-SeMMS: Cost-Effective and Secure Mobility Management Scheme Based on SIP in NEMO Environments / Chulhee Cho [and others] -- A System-Level Approach for Designing Context-Aware Distributed Pervasive Applications / Kevin I-Kai Wang [and others] -- Architecture of a Context Aware Framework for Automated Mobile Device Configuration / Md. Fazla Rabbi Opu [and others] -- AMM-PF: Additional Mobility Management Scheme Based on Pointer Forwarding in PMIPv6 Networks / Seung Yoon Park, Jae Young Choi, Jong Pil Jeong.
Multi-core and High Performance Computing. The Evaluation and Optimization of 3-D Jacobi Iteration on a Stream Processor / Ying Zhang [and others] -- DDASTM: Ensuring Conflict Serializability Efficiently in Distributed STM / Yu Zhang, Hai Jin, Xiaofei Liao -- Research on Log Pre-processing for Exascale System Using Sparse Representation / Lei Zhu [and others] -- Other GPC Related Topics. Using Event-Based Style for Developing M2M Applications / Truong-Giang Le [and others] -- Scheduling Optimization of the RFID Tagged Explosive Storage Based on Genetic Algorithm / Xiaoling Wu [and others] -- Weighted Mining Association Rules Based Quantity Item with RFM Score for Personalized u-Commerce Recommendation System / Young Sung Cho, Si Choon Noh, Song Chul Moon -- Priority-Based Live Migration of Virtual Machine / Bangjie Jiang [and others] -- Improvement of the MCMA Blind Equalization Performance Using the Coordinate Change Method in 16-APSK / Youngguk Kim, Heung-Gyoon Ryu -- Postural Transition Detection Using a Wireless Sensor Activity Monitoring System / Richelle LeMay [and others] -- Parallel and Distributed Systems -- A Dedicated Serialization Scheme in Homogeneous Cluster RPC Communication / Yong Wan [and others] -- Friends Based Keyword Search over Online Social Networks / Jinzhou Huang, Hai Jin -- GPU Virtualization Support in Cloud System / Chih-Yuan Yeh [and others] -- MGMR: Multi-GPU Based MapReduce / Yi Chen [and others].
Security and Privacy. DDoS Analysis Using Correlation Coefficient Based on Kolmogorov Complexity / Sung-ju Kim, Byung Chul Kim, Jae Yong Lee -- An Efficient Attribute-Based Encryption and Access Control Scheme for Cloud Storage Environment / Jyun-Yao Huang, Chen-Kang Chiang, I-En Liao -- Active One-Time Password Mechanism for User Authentication / Chun-I Fan [and others] -- Hardware Acceleration for Cryptography Algorithms by Hotspot Detection / Jed Kao-Tung Chang, Chen Liu, Jean-Luc Gaudiot -- Chaotic Wireless Communication System Using Retrodirective Array Antenna for Advanced High Security / Junyeong Bok, Heung-Gyoon Ryu -- Policy-Based Customized Privacy Preserving Mechanism for SaaS Applications / Yuliang Shi, Zhen Jiang, Kun Zhang -- QoC-Aware Access Control Based on Fuzzy Inference for Pervasive Computing Environments / Yao Ma, Hongwei Lu, Zaobin Gan -- Per-File Secure Deletion Combining with Enhanced Reliability for SSDs / Yi Qin [and others] -- An Energy-Aware Secured Routing Protocol for Mobile Ad Hoc Networks Using Trust-Based Multipath / Isaac Woungang, Sanjay Kumar Dhurandher, Michael Sahai -- A Grid-Based Approximate K-NN Query Processing Algorithm for Privacy Protection in Location-Based Services / Miyoung Jang, Jae-Woo Chang -- Density-Based K-Anonymization Scheme for Preserving Users' Privacy in Location-Based Services / Hyunjo Lee, Jae-Woo Chang.
Ubiquitous Communications, Sensor Networking, and RFID. A Routing Mechanism Using Virtual Coordination Anchor Node Apply to Wireless Sensor Networks / Chih-Hsiao Tsai [and others] -- Effect of Genetic Parameters in Tour Scheduling and Recommender Services for Electric Vehicles / Junghoon Lee [and others] -- Enabling Massive Machine-to-Machine Communications in LTE-Advanced / Kyungkoo Jun -- Enhancements for Local Repair in AODV-Based Ad-Hoc Networks / Hyun-Ho Shin, Seungjin Lee, Byung-Seo Kim -- Smart Watch and Monitoring System for Dementia Patients / Dong-Min Shin, DongIl Shin, Dongkyoo Shin -- A Lesson from the Development of Surveillance and Reconnaissance Sensor Networks Systems / Daesik Kim, Seongkee Lee, Mirim Ahn -- A Classifier Algorithm Exploiting User's Environmental Context and Bio-signal for U-Home Services / HyunJu Lee [and others] -- DNA-S: Dynamic Cellular Network Architecture for Smart Communications / Taegyu Lee, Gi-Soo Chung.
Ubiquitous and Multimedia Application Systems. Predicting of Abnormal Behavior Using Hierarchical Markov Model Based on User Profile in Ubiquitous Environment / Jaewan Shin, Dongkyoo Shin, DongIl Shin -- Advanced Facial Skin Rendering with Actual Fresnel Refractive Index Reflecting Facial Tissue Features / Sunghee Lee, Seongah Chin -- Emotion Recognition Technique Using Complex Biomedical Signal Analysis / Guyoun Hwang [and others] -- RWA : Reduced Whole Ack Mechanism for Underwater Acoustic Sensor Network / Soo Young Shin, Soo Hyun Park -- Data Hiding Based on Palette Images Using Weak Bases of Z2-Modules / Phan Trung Huy [and others] -- Adaptive Smart Vehicle Middleware Platform for Aspect Oriented Software Engineering / Jin-Hong Kim, Seung-Cheon Kim.
Design, Analysis and Tools for Integrated Circuits and Systems. Parallel Generation of Optimal Mortgage Refinancing Threshold Rates / Nan Zhang [and others] -- Pricing American Options on Dividend-Paying Stocks and Estimating the Greek Letters Using Leisen-Reimer Binomial Trees / Nan Zhang [and others] -- A Resource-Centric Architecture for Service-Oriented Cyber Physical System / Kaiyu Wan, Vangalur Alagar -- Implied Volatilities of S & P 100 Index with Applications to Financial Market / Jin Zheng, Nan Zhang, Dejun Xie -- RF Characteristics of Wireless Capsule Endoscopy in Human Body / Meng Zhang [and others] -- Building a Laboratory Surveillance System via a Wireless Sensor Network / Chi-Un Lei [and others] -- S-Theory: A Unified Theory of Multi-paradigm Software Development / Danny Hughes [and others].
Future Science Technologies and Applications -- Design of J-VTS Middleware Based on IVEF Protocol / Taekyeong Kang, Namje Park -- On the Use of a Hash Function in a 3-Party Password-Based Authenticated Key Exchange Protocol / Youngsook Lee, Dongho Won -- A Sequence Classification Model Based on Pattern Coverage Rate / I-Hui Li [and others] -- Development of STEAM Program and Teaching Method for Using LEGO Line Tracer Robot in Elementary School / Yeonghae Ko, Namje Park -- Improved Authentication Scheme with Anonymity for Roaming Service in Global Mobility Networks / Youngseok Chung, Youngsook Lee, Dongho Won -- Cryptanalysis of an Authenticated Group Key Transfer Protocol Based on Secret Sharing / Mijin Kim, Namje Park, Dongho Won -- Development of the STEAM-Based Media Education Materials for Prevention of Media Dysfunction in Elementary School / Jaeho An, Namje Park -- Access Control Technique of Illegal Harmful Contents for Elementary Schoolchild Online Protection / Namje Park, Yeonghae Ko -- The Concept of Delegation of Authorization and Its Expansion for Multi Domain Smart Grid System / Mijin Kim, Namje Park -- Security Requirement of End Point Security Software / Hyun-Jung Lee, Youngsook Lee, Dongho Won -- Collecting and Filtering Out Phishing Suspicious URLs Using SpamTrap System / Inkyung Jeun, Youngsook Lee, Dongho Won -- Improvement of a Chaotic Map Based Key Agreement Protocol That Preserves Anonymity / Hyunsik Yang [and others] -- Solving Router Nodes Placement Problem with Priority Service Constraint in WMNs Using Simulated Annealing / Chun-Cheng Lin, Yi-Ling Lin, Wan-Yu Liu.
Green and Human Information Technology -- Topology Information Based Spare Capacity Provisioning in WDM Networks / Hoyoung Hwang, Seungcheon Kim -- A Contents Service Profit Model Based on the Quality of Experience and User Group Characteristics / Goo Yeon Lee [and others] -- Toward Hybrid Model for Architecture-Oriented Semantic Schema of Self-adaptive System / Jin-Hong Kim, Seung-Cheon Kim -- Optimal Channel Sensing in Cognitive Radio Network with Multiple Secondary Users / Heejung Yu -- H.264 Video Delivery over Wireless Mesh Networks Based on Joint Adaptive Cross-Layer Mapping and MDCA MAC / Byung Joon Oh, Ki Young Lee -- Automatic Tracking Angle of Arrival of Bandpass Sampling OFDM Signal by MUSIC Algorithm / Xin Wang, Heung-Gyoon Ryu -- A White-List Based Security Architecture (WLSA) for the Safe Mobile Office in the BYOD Era / Jaeho Lee, Yongjin Lee, Seung-Cheon Kim -- A Study of Vessel Deviation Prevention Scheme Using a Triangulation in a Seaway / Shu Chen [and others] -- Analysis of Energy Consumption in Edge Router with Sleep Mode for Green OBS Networks / Wonhyuk Yang [and others] VLC Based Multi-hop Audio Data Transmission System / Le The Dung, Seungwan Jo, Beongku An -- A Practical Adaptive Scheme for Enhancing Network Stability in Mobile Ad-Hoc Wireless Networks / Le The Dung, Sue Hyung Ha, Beongku An -- A Geomulticast Routing Protocol Based on Route Stability in Mobile Ad-Hoc Wireless Networks / Sue Hyung Ha, Le The Dung, Beongku An -- RFID-Based Indoor Location Recognition System for Emergency Rescue Evacuation Support / Dae-Man Do, Maeng-Hwan Hyun, Young-Bok Choi -- A Symmetric Hierarchical Clustering Related to the Sink Position and Power Threshold for Sensor Networks / Joongjin Kook -- A Study of Fire Refuge Guide Simulator Based on Sensor Networks / Jun-Pill Boo [and others] -- Design of Parallel Pipelined Algorithm for Field Arithmetic Architecture Based on Cellular Array / Kee-Won Kim, Jun-Cheol Jeon -- Follower Classification through Social Network Analysis in Twitter / Jae-Wook Seol, Kwang-Yong Jeong, Kyung-Soon Lee -- An Initial Quantization Parameter Decision Method Based on Frame Complexity with Multiple Objectives of GOP for Rate Control of H.264 / Yalin Wu, Sun-Woo Ko -- The Development of Privacy Telephone Sets in Encryption System against Eavesdropping / Seok-Pil Lee, Eui-seok Nahm -- New ID-Based Proxy Signature Scheme with Message Recovery / Eun-Jun Yoon, YongSoo Choi, Cheonshik Kim.
Record Nr. UCHICAGO-11078461
[GPC (Conference) (8th : 2013 : Seoul, Korea)]  
Materiale a stampa
Lo trovi qui: University of Chicago