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.
Mobility in process calculi and natural computing / Bogdan Aman, Gabriel Ciobanu
Mobility in process calculi and natural computing / Bogdan Aman, Gabriel Ciobanu
Creatore [Aman, Bogdan]
Estensione 1 online resource (xiii, 208 pages).
Disciplina 004.01/51
Accesso persona Ciobanu, Gabriel
Genere/Forma Electronic books
Soggetto non controllato Computer science
Information theory
Electronic data processing
Engineering
Theory of Computation
Computing Methodologies
Computational Intelligence
ISBN 9783642248672
3642248675
1283477718
9781283477710
9783642248665
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Chap. 1, Mobility in Process Calculi -- Chap. 2, Mobility in Membrane Computing -- Chap. 3, Encodings -- References -- Index.
Record Nr. NYU-004372290
[Aman, Bogdan]  
Materiale a stampa
Lo trovi qui: New York University
Approximation and Online Algorithms : 9th International Workshop, WAOA 2011, Saarbrücken, Germany, September 8-9, 2011, Revised selected papers / Roberto Solis-Oba, Giuseppe Persiano (eds.).
Approximation and Online Algorithms : 9th International Workshop, WAOA 2011, Saarbrücken, Germany, September 8-9, 2011, Revised selected papers / Roberto Solis-Oba, Giuseppe Persiano (eds.).
Creatore [WAOA 2011 (2011 : Saarbrücken, Germany)]
Estensione 1 online resource (x, 273 pages).
Disciplina 005.1
Accesso persona Solis-Oba, Roberto
Persiano, Giuseppe
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Electronic data processing
Computational complexity
Algorithms
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Numeric Computing
Information Systems Applications (incl. Internet)
ISBN 9783642291166
3642291163
3642291155
9783642291159
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Approximation Algorithms for Scheduling and Packing Problems / Klaus Jansen -- Approximating Subset k-Connectivity Problems / Zeev Nutov -- Learning in Stochastic Machine Scheduling / Sebastián Marbán, Cyriel Rutten and Tjark Vredeveld -- An Online Algorithm Optimally Self-tuning to Congestion for Power Management Problems / Wolfgang Bein, Naoki Hatta, Nelson Hernandez-Cons, Hiro Ito and Shoji Kasahara, et al. -- Single Approximation for Biobjective Max TSP / Cristina Bazgan, Laurent Gourvès, Jérôme Monnot and Fanny Pascual -- Parameterized Approximation Algorithms for Hitting Set / Ljiljana Brankovic and Henning Fernau -- Approximation Algorithms for the Maximum Leaf Spanning Tree Problem on Acyclic Digraphs / Nadine Schwartges, Joachim Spoerhase and Alexander Wolff -- Optimization over Integers with Robustness in Cost and Few Constraints / Kai-Simon Goetzmann, Sebastian Stiller and Claudio Telha -- A Lower Bound on Deterministic Online Algorithms for Scheduling on Related Machines without Preemption / Tomáš Ebenlendr and Jiří Sgall -- Scheduling Jobs on Identical and Uniform Processors Revisited / Klaus Jansen and Christina Robenek.
Approximation Algorithms for Fragmenting a Graph against a Stochastically-Located Threat / David B. Shmoys and Gwen Spencer -- Non-clairvoyant Weighted Flow Time Scheduling on Different Multi-processor Models / Jianqiao Zhu, Ho-Leung Chan and Tak-Wah Lam -- A New Perspective on List Update: Probabilistic Locality and Working Set / Reza Dorrigiv and Alejandro López-Ortiz -- OnlineMin: A Fast Strongly Competitive Randomized Paging Algorithm / Gerth Stølting Brodal, Gabriel Moruz and Andrei Negoescu -- Faster and Simpler Approximation of Stable Matchings / Katarzyna Paluch -- Simpler 3/4-Approximation Algorithms for MAX SAT / Anke van Zuylen -- On Online Algorithms with Advice for the k-Server Problem / Marc P. Renault and Adi Rosén -- Improved Lower Bound for Online Strip Packing / (Extended Abstract) / Rolf Harren and Walter Kern -- Competitive Router Scheduling with Structured Data / Yishay Mansour, Boaz Patt-Shamir and Dror Rawitz -- Approximation with a Fixed Number of Solutions of Some Biobjective Maximization Problems / Cristina Bazgan, Laurent Gourvès and Jérôme Monnot -- Generalized Maximum Flows over Time / Martin Groß and Martin Skutella -- The Price of Anarchy for Minsum Related Machine Scheduling / Ruben Hoeksma and Marc Uetz.
Record Nr. NYU-004622260
[WAOA 2011 (2011 : Saarbrücken, Germany)]  
Materiale a stampa
Lo trovi qui: New York University
LATIN 2012: Theoretical informatics : 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings / David Fernández-Baca (ed.).
LATIN 2012: Theoretical informatics : 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings / David Fernández-Baca (ed.).
Creatore [Latin American Symposium on Theoretical Informatics (10th : 2012 : Arequipa, Peru)]
Estensione 1 online resource (xvii, 669 pages).
Disciplina 004
Accesso persona Fernández-Baca, David
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Computer software
Electronic data processing
Computational complexity
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Numeric Computing
Information Systems Applications (incl. Internet)
Computation by Abstract Devices
ISBN 9783642293443
3642293441
9783642293436
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Generalization of the Convex Kakeya Problem / Hee-Kap Ahn, Sang Won Bae, Otfried Cheong, Joachim Gudmundsson and Takeshi Tokuyama, et al. -- Low Complexity Scheduling Algorithm Minimizing the Energy for Tasks with Agreeable Deadlines / Eric Angel, Evripidis Bampis and Vincent Chau -- Bichromatic 2-Center of Pairs of Points / Esther M. Arkin, José Miguel Díaz-Báñez, Ferran Hurtado, Piyush Kumar and Joseph S.B. Mitchell, et al. -- Erdős-Rényi Sequences and Deterministic Construction of Expanding Cayley Graphs / Vikraman Arvind, Partha Mukhopadhyay and Prajakta Nimbhorkar -- A Better Approximation Ratio and an IP Formulation for a Sensor Cover Problem / Rafael da Ponte Barbosa and Yoshiko Wakabayashi -- On the Advice Complexity of the Knapsack Problem / Hans-Joachim Böckenhauer, Dennis Komm, Richard Královič and Peter Rossmanith -- Reoptimization of Some Maximum Weight Induced Hereditary Subgraph Problems / Nicolas Boria, Jérôme Monnot and Vangelis Th. Paschos -- On Plane Constrained Bounded-Degree Spanners / Prosenjit Bose, Rolf Fagerberg, André van Renssen and Sander Verdonschot.
Space-Efficient Approximation Scheme for Circular Earth Mover Distance / Joshua Brody, Hongyu Liang and Xiaoming Sun -- Density Classification on Infinite Lattices and Trees / Ana Bušić, Nazim Fatès, Jean Mairesse and Irène Marcovici -- Coloring Planar Homothets and Three-Dimensional Hypergraphs / Jean Cardinal and Matias Korman -- An Equivariance Theorem with Applications to Renaming / Armando Castañeda, Maurice Herlihy and Sergio Rajsbaum -- Renaming Is Weaker Than Set Agreement But for Perfect Renaming: A Map of Sub-consensus Tasks / Armando Castañeda, Damien Imbs, Sergio Rajsbaum and Michel Raynal -- Pseudorandomness of a Random Kronecker Sequence / Eda Cesaratto and Brigitte Vallée -- Revisiting the Cache Miss Analysis of Multithreaded Algorithms / Richard Cole and Vijaya Ramachandran -- Parameterized Complexity of MaxSat above Average / Robert Crowston, Gregory Gutin, Mark Jones, Venkatesh Raman and Saket Saurabh -- Solving the 2-Disjoint Connected Subgraphs Problem Faster Than 2n / Marek Cygan, Marcin Pilipczuk, Michał Pilipczuk and Jakub Onufry Wojtaszczyk.
On the Non-progressive Spread of Influence through Social Networks / MohammadAmin Fazli, Mohammad Ghodsi, Jafar Habibi, Pooya Jalaly Khalilabadi and Vahab Mirrokni, et al. -- Forbidden Patterns / Johannes Fischer, Travis Gagie, Tsvi Kopelowitz, Moshe Lewenstein and Veli Mäkinen, et al. -- Structural Complexity of Multiobjective NP Search Problems / Krzysztof Fleszar, Christian Glaßer, Fabian Lipp, Christian Reitwießner and Maximilian Witek -- k-Gap Interval Graphs / Fedor V. Fomin, Serge Gaspers, Petr Golovach, Karol Suchan and Stefan Szeider, et al. -- Decidability Classes for Mobile Agents Computing / Pierre Fraigniaud and Andrzej Pelc -- NE Is Not NP Turing Reducible to Nonexponentially Dense NP Sets / Bin Fu -- Efficient Arbitrary and Resolution Proofs of Unsatisfiability for Restricted Tree-Width / Martin Fürer -- Indexed Multi-pattern Matching / Travis Gagie, Kalle Karhu, Juha Kärkkäinen, Veli Mäkinen and Leena Salmela, et al. -- New Lower Bound on Max Cut of Hypergraphs with an Application to r-Set Splitting / Archontia C. Giannopoulou, Sudeshna Kolay and Saket Saurabh.
Cache Me If You Can: Capacitated Selfish Replication Games / Ragavendran Gopalakrishnan, Dimitrios Kanoulas, Naga Naresh Karuturi, C. Pandu Rangan and Rajmohan Rajaraman, et al. -- The Efficiency of MapReduce in Parallel External Memory / Gero Greiner and Riko Jacob -- Algorithms for Some H-Join Decompositions / Michel Habib, Antoine Mamcarz and Fabien de Montgolfier -- On the Bend-Number of Planar and Outerplanar Graphs / Daniel Heldt, Kolja Knauer and Torsten Ueckerdt -- Hiring above the m-th Best Candidate: A Generalization of Records in Permutations / Ahmed Helmi, Conrado Martínez and Alois Panholzer -- On the Performance of Smith's Rule in Single-Machine Scheduling with Nonlinear Cost / Wiebke Höhn and Tobias Jacobs -- Advantage of Overlapping Clusters for Minimizing Conductance / Rohit Khandekar, Guy Kortsarz and Vahab Mirrokni -- Independence of Tabulation-Based Hash Classes / Toryn Qwyllyn Klassen and Philipp Woelfel -- Oblivious Two-Way Finite Automata: Decidability and Complexity / Martin Kutrib, Andreas Malcher and Giovanni Pighizzini.
Clique-Colouring and Biclique-Colouring Unichord-Free Graphs / Hélio B. Macêdo Filho, Raphael C.S. Machado and Celina M.H. Figueiredo -- Random Walks and Bisections in Random Circulant Graphs / Bernard Mans and Igor E. Shparlinski -- The Feedback Arc Set Problem with Triangle Inequality Is a Vertex Cover Problem / Monaldo Mastrolilli -- Fully Analyzing an Algebraic Pólya Urn Model / Basile Morcrette -- Degree-Constrained Node-Connectivity / Zeev Nutov -- Survivable Network Activation Problems / Zeev Nutov -- On the Integrality Gap of the Subtour LP for the 1,2-TSP / Jiawei Qian, Frans Schalekamp, David P. Williamson and Anke van Zuylen -- A Theory and Algorithms for Combinatorial Reoptimization / Hadas Shachnai, Gal Tamir and Tami Tamir -- Capacity Achieving Two-Write WOM Codes / Amir Shpilka -- The Relationship between Inner Product and Counting Cycles / Xiaoming Sun, Chengu Wang and Wei Yu -- Approximating Minimum Label s-t Cut via Linear Programming / Linqing Tang and Peng Zhang.
A O(1/ε2)n-Time Sieving Algorithm for Approximate Integer Programming / Daniel Dadush -- Two-Dimensional Range Diameter Queries / Pooya Davoodi, Michiel Smid and Freek van Walderveen -- An Improved Upper Bound on the Density of Universal Random Graphs / Domingos Dellamonica, Yoshiharu Kohayakawa, Vojtěch Rödl and Andrzej Ruciński -- Logspace Computations in Graph Groups and Coxeter Groups / Volker Diekert, Jonathan Kausch and Markus Lohrey -- Approximating the Edge Length of 2-Edge Connected Planar Geometric Graphs on a Set of Points / Stefan Dobrev, Evangelos Kranakis, Danny Krizanc, Oscar Morales-Ponce and Ladislav Stacho -- On the Radon Number for P3-Convexity / Mitre C. Dourado, Dieter Rautenbach, Vinícius Fernandes dos Santos, Philipp M. Schäfer and Jayme L. Szwarcfiter, et al. -- Computing Minimum Geodetic Sets of Proper Interval Graphs / Tınaz Ekim, Aysel Erey, Pinar Heggernes, Pim van 't Hof and Daniel Meister -- Hausdorff Rank of Scattered Context-Free Linear Orders / Zoltán Ésik and Szabolcs Iván -- Opportunistic Information Dissemination in Mobile Ad-Hoc Networks: Adaptiveness vs. Obliviousness and Randomization vs. Determinism / Martín Farach-Colton, Antonio Fernández Anta, Alessia Milani, Miguel A. Mosteiro and Shmuel Zaks.
Record Nr. NYU-004622594
[Latin American Symposium on Theoretical Informatics (10th : 2012 : Arequipa, Peru)]  
Materiale a stampa
Lo trovi qui: New York University
Understanding high-dimensional spaces / David B. Skillicorn
Understanding high-dimensional spaces / David B. Skillicorn
Creatore [Skillicorn, David B.]
Estensione 1 online resource.
Disciplina 006.3/12
Genere/Forma Electronic books
Soggetto non controllato Computer science
Data protection
Data structures (Computer science)
Information systems
Electronic data processing
Information Systems and Communication Service
Computing Methodologies
Systems and Data Security
e-Commerce/e-business
ISBN 9783642333989
3642333982
3642333974
9783642333972
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction -- Basic Structure of High-Dimensional Spaces -- Algorithms -- Spaces with a Single Center -- Spaces with Multiple Centers -- Representation by Graphs -- Using Models of High-Dimensional Spaces -- Including Contextual Information -- Conclusions.
Record Nr. NYU-004624960
[Skillicorn, David B.]  
Materiale a stampa
Lo trovi qui: New York University
Ubiquitous information technologies and applications : CUTE 2012 / Youn-Hee Han [and others], editors
Ubiquitous information technologies and applications : CUTE 2012 / Youn-Hee Han [and others], editors
Creatore [International Conference on Ubiquitous Information Technologies & Applications (2012 : Hong Kong, China)]
Estensione 1 online resource.
Disciplina 004
Accesso persona Han, Youn-Hee
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Engineering
Computer science
Electronic data processing
Communications Engineering, Networks
Programming Languages, Compilers, Interpreters
Computing Methodologies
ISBN 9789400758575
940075857X
9400758561
9789400758568
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Adding Secure Communication Mechanism to Existing Distributed Applications by means of AOP / Ozgur Koray Sahingoz -- Multi-Level Dynamic Key Management for Scalable Wireless Sensor Networks with UAV / Ozgur Koray Sahingoz -- A Multi-Modal Coevolutionary Algorithm for Finding All Nash Equilibria of a Multi-Player Normal Form Game / Nona Helmi and Gelareh Veisi -- Study on Analysis Android Applications for Smartwork / Seung-hwan Ju, Hee-suk Seo and Jin Kwak -- Face Recognition System for the Enhanced Authentication in the Smart Work Environment / SangKon Han, Seokhwan Yang, Jae-hyuk Choi and Mokdong Chung -- The Innovation Telehospice System in Taiwan: A Home-Based Hospice Care Service Application / Mei-Ju Su, Yu-Jen Hsieh, Chien-An Yao, Fei-Pei Lai and May-Hua Liao, et al. -- MimicGesture: Secure Device Pairing with Accelerometer-Based Gesture Input / Oyuntungalag Chagnaadorj and Jiro Tanaka -- Worst Case Response Time Analysis of Sporadic Tasks with Precedence Constrained Subtasks Using Non-preemptive EDF Scheduling / Armaghan Darbandi and Myung Kyun Kim -- App Development for Jeju Spring Water Information Visualization / JinLong Piao and Seong Baeg Kim.
Novel Clustering Scheme to Guarantee Lifetime of Wireless Sensor Networks / Babar Shah, Chung-Jae Lee, JinYong Seong and Ki-Il Kim -- An Operation Scheduling Technique for Coarse Grained Reconfigurable Architectures / Yongjoo Kim, Jongwon Lee, Doosan Cho and Yunheung Paek -- An Implementation of Leaf Recognition System Based on Leaf Contour and Centroid for Plant Classification / Kue-Bum Lee, Kwang-Woo Chung and Kwang-Seok Hong -- The Relative Importance of Weather Factors and the Predictions About the Groundwater Level in Jeju / Chan Jung Park, Junghoon Lee, Seong Baeg Kim and Jung Suk Hyun -- Design of Web Simulation and Content Service on EDISON / Young Jin Jung, Du-Seok Jin, Bu-Young Ahn, Jerry Hyeon Seo and Hoon Ryu, et al. -- A Collusion-Resistant Trust Management Scheme for Distributed P2P Network / Byong-lae Ha and Gi-hwan Cho -- An Effective Routing Cost Approximation in Many-to-Many Communication for Wireless Sensor Networks / A.S.M. Sanwar Hosen and Gi-hwan Cho -- An Energy-Efficient Selective Forwarding Attack Detection Scheme Using Lazy Detection in Wireless Sensor Networks / Junho Park, Dong-ook Seong, Myungho Yeo, Byung-yup Lee and Jaesoo Yoo.
ID Globalization Across Multiple Convergence Spaces Using Smart Cameras / Geon Woo Kim and Jong Wook Han -- Vehicle Inside Information Recording System Using GPS and In-Vehicle Network / Sung-Hyun Baek and Jong-Wook Jang -- Security Based Semantic Context Awareness System for M2M Ubiquitous Healthcare Service / Yunjeong Choi, Inshil Doh, Seung-Soo Park and Ki-Joon Chae -- Energy-Efficient In-Network Density Query Processing in Wireless Sensor Networks / Dong-ook Seong, Junho Park, Jihee Lee, Myungho Yeo and Myoungho Kim, et al. -- A Sensor Positioning Scheme Using Neighbor Density Probability Models in Irregular Wireless Sensor Networks / Hyuk Park, Donggyo Hwang, Junho Park, Dong-ook Seong and Jaesoo Yoo -- A Certificate Enhanced Group Key Framework for Vehicular Ad Hoc Networks / Ching-Hung Yeh, Meng-Yen Hsieh and Kuan-Ching Li -- Migration of Application Data to REST-Based Online Storage Service / Tetsuya Hirai, Masanori Hirotomo, Masami Mohri and Yoshiaki Shiraishi -- Development of Knocking Identification and Engine Balance Correction Algorithms for CRDI Engine Electronic Control Unit / Hwa-seon Kim, Seong-jin Jang and Jong-wook Jang.
A Lightweight Remote User Interface and Content Sharing System for Smart Consumer Devices / Yuseok Bae and Jongyoul Park -- Reusable Context-Aware Software / Ichiro Satoh -- Byte-Addressable Persistent RAM APIs for Flexible Memory Management and Protection / Hidayat Febiansyah and Jin Baek Kwon -- Design and Implementation of Ubiquitous ECG Monitoring System by Using Android Tablet / Jiunn Huei Yap and Do Un Jeong -- An Approach to Creating an Ontology and Rule Set for Situation Aware Software in Mobile Environments / Joonseok Park, Soohye Shin and Keunhyuk Yeom -- Fast Coding Algorithm for High Efficient Video Coding (HEVC) / Jong-Hyeok Lee, Chang-Ki Kim, Jeong-Bae Lee and Byung-Gyu Kim -- Tour Schedule Generation Integrating Restaurant Options for Electric Vehicles / Junghoon Lee, Hye-Hin Kim, Gyung-Leen Park, Byung-Jun Lee and Seulbi Lee, et al. -- Modified Intensive Prototype Model for Better User Experience and Usability Improvements in Software and Web Application Design and Development / Sami Abduljalil Abdulhak, Gi-Hyun Hwang and Dae-Ki Kang -- An Equidistant Message Power Attack Using Restricted Number of Traces on Reduction Algorithm / Jong-Yeon Park, Dong-Guk Han, Okyeon Yi and JeongNyeo Kim.
An Efficient Continuous Reverse Skyline Query Processing Method Over Moving Objects / Jongtae Lim, Yonghun Park, Kyoungsoo Bok and Jaesoo Yoo -- Mobile P2P Social Network Using Location and Profile / He Li, Kyoungsoo Bok and Jaesoo Yoo -- Development of a 3D Digital Textbook Using X3D / Jeong-Hun Hong, Mihye Kim and Kwan-Hee Yoo -- Clustering Method Using Item Preference Based on RFM for Recommendation System in U-Commerce / Young Sung Cho, Song Chul Moon, Seon-phil Jeong, In-Bae Oh and Keun Ho Ryu -- Integrative In-Home Display Development for Smart Places / Junghoon Lee, Gyung-Leen Park and Jikwang Han -- Adaptive Packet Coalescing Mechanism in Energy Efficient Ethernet / Sung-Keun Lee, Yong-Jae Jang and Kyoung-Wook Park -- An Integration Framework of Cloud Computing with Wireless Sensor Networks / Pengfei You, Huiba Li, Yuxing Peng and Ziyang Li -- Dynamic Distributed PMIPv6 for Distributed Mobility Management / Seong-Mun Kim, Hyon-Young Choi, Sung-Gi Min and Youn-Hee Han -- Cloud-Based Mobile Distance Learning System / Jang Ho Lee -- A Practical Approach Implementing a Wearable Human Activity Detector for the Elderly Care / Chankyu Park, Jaehong Kim and Ho-jin Choi.
Formal Verification of SyncML Protocol for Ubiquitous Data Coherence / Seungsu Chun, Seungryong Lee and Donghoon Oh -- Cloud Authentication Based on Anonymous One-Time Password / Ali A. Yassin, Hai Jin, Ayad Ibrahim, Weizhong Qiang and Deqing Zou -- Efficient Scalable Video Coding (SVC) Scheme for Multiple Channel Connections / Chang-Ki Kim, Gwang-Soo Hong, Byung-Gyu Kim, Jeong-Bae Lee and Jeong-Ju Yoo -- GIS-Based Analysis of Personal Accessibility Measures of Daily Travel / Chen Ni and Suxia Liu -- Visual Analysis of Portable Computer Forensic Data / Keonwoo Kim and Sung Kyong Un -- A Universal Software Platform for a Smart Grid Service Gateway / Hae-jun Lee and Dae-young Seo -- Modeling the Collaborative User Groups and Their Effectiveness for the Contents Recommender / Saim Shin, Sung-Joo Park, Da-Hee Kim, Se-Jin Jang and Soek-Pil Lee -- Analysis of Transmission Rate Using Zigbee Routing Protocol for u-Health / Min Woo Jung and Jeonghun Cho -- MHB-Tree: A Distributed Spatial Index Method for Document Based NoSQL Database System / Yan Li, GyoungBae Kim, LongRi Wen and HaeYoung Bae -- Betweenness of Expanded Ego Networks in Sociality-Aware Delay Tolerant Networks / Yong-hwan Kim, Chan-Myung Kim, Youn-Hee Han, Young-Sik Jeong and Doo-Soon Park.
Extending Grid Infrastructure Using Cloud Computing / N. Mohan Krishna Varma and Eunmi Choi -- Experimental Development and Evaluation of IEEE 802.21 MIH for Enterprise WiMAX/WLAN Environments / Gyusun Yi, Eunchong Na and Sungwon Lee -- Performance Evaluation for Efficient Complex Event Processing System According to Event Types and Environment / Duckwon Chung, Mino Ku, Yunjung Park and Dugki Min -- Improved CloudSim for Simulating QoS-Based Cloud Services / Jun-Kwon Jung, Nam-Uk Kim, Sung-Min Jung and Tai-Myoung Chung -- An Improved Divisibility Test Algorithm for Primality Testing / Arjun Kumar, TaeYong Kim and HoonJae Lee -- IRDT-GEDIR: Next-Hop Selection in Intermittent Wireless Multihop Sensor Networks / Takanori Takehira and Hiroaki Higaki -- XML-RPC Driven UCR Broker / Rustam Rakhimov Igorevich, Eldor Primov Ismoilovich and Dugki Min -- A Study on Network Latency in the Concentric Clustering Scheme / Sung-Min Jung, Tae-Kyung Kim and Tai-Myoung Chung -- Social Cooperative Networking Framework Based on UCR Broker / Eldor Primov Ismoilovich, Rustam Rakhimov Igorevich and Dugki Min -- Ontology Usability Assessment Model for Context Information Process / Sukyoung Kim, Eungha Kim and Youngil Choi.
Wearable P2P Communication System Organization on Digital Yarn / Tae-Gyu Lee and Gi-Soo Chung -- An Energy Optimized Unequal Clustering Routing Protocol in Wireless Sensor Networks / Nurhayati Nurhayati, Gan Bayar and KyoungOh Lee -- Augmented Reality Based Bridge Information System Using Smartphone / Sung-Han Bae, Gi-Yeol Lee and HwaMin Lee -- Ant-Based Routing Protocol for Energy Efficient Use in Mobile Ad Hoc Networks / Jipeng Zhou, Jianzhu Lu and Jin Li -- A Study on the Framework of the Security-Based E-commerce Applications / Jianhong Li -- Fast and Secure Handover into Visited WLAN Networks / Imen El Bouabidi, Faouzi Zarai, Mohammad S. Obaidat and Lotfi Kamoun -- Congestion Control for Cognitive Multi-channel Wireless Mesh Networks / Wonyong Yoon and Wooseong Kim -- Exploiting Virtual Channel Flash Management Issue for Cost-Efficient NAND Usage in Mobile Devices / Seung-Ho Lim, Min Choi and Young-Sik Jeong -- Event-Aware Topology Management in Wireless Sensor Networks / Sankar Narayan Das, Sudip Misra and Mohammad S. Obaidat.
Implementation of Disaster Broadcasting System for Efficient Situation Management Using Mobile Devices / Geum Young Min, Hyoung Seop Shim and Duke Hoon Jeong -- Golf Ball Bouncing Model Based on Real Images / Seongmin Baek and Myunggyu Kim -- Study on Low-Power Transmission Protocols for ZigBee Wireless Network-Based Remote Biosignal Monitoring Systems / Young-Hyuk Kim, Il-Kown Lim, Jae-Pil Lee, Jae-Gwang Lee and Jae-Kwang Lee -- Security Enhancements of a Mutual Authentication Scheme Using Smart Cards / Younghwa An and Youngdo Joo -- Research on Meteorology Indices Forecasting Framework based on Hybrid Cloud Computing Platforms / Jia Fu, Junchao Wang, Lu Jing, Chen Zhenghong and Mingqiong He -- Qualitative Analysis of Skull Stripping Accuracy for MRI Brain Images / Shafaf Ibrahim, Noor Elaiza Abdul Khalid, Mazani Manaf and Mohd Ezane Aziz -- A Community Detection Scheme in Delay-Tolerant Networks / Chan-Myung Kim, In-Seok Kang, Youn-Hee Han and Chan Yeol Park -- Modified Reflective Petri Net for Performance Evaluation of Policy-Driven ASBS / Liang Ge, Bin Zhang, Changsheng Zhang and Fei Li.
Roadside Traffic Sensor Based Location-Aware Service for Road-Users / Jeong Ah Jang and Dong Yong Kwak -- Entropy-Based Grouping Techniques for Resource Management in Mobile Cloud Computing / Ji Su Park and EunYoung Lee -- A Deadlock Detection Algorithm Using Gossip in Cloud Computing Environments / JongBeom Lim, TaeWeon Suh and HeonChang Yu -- Detecting Return Oriented Programming by Examining Positions of Saved Return Addresses / Jae-Won Min, Sung-Min Jung and Tai-Myoung Chung -- Evaluation of DRAM Power Consumption in Server Platforms / Hyeonsang Eom, Chanho Choi, Shin-gyu Kim and Heon Y. Yeom -- Toggle Keyboard: Design and Implementation of a New Keyboard Application Based on Android / Tae-Kyu Yeom, Ji Soo Park, Il-Ho Park and Jong Hyuk Park -- Efficient Mobile Device Management Scheme Using Security Events from Wireless Intrusion Prevention System / Hyeokchan Kwon and Sin-Hyo Kim -- Extending Context Management for Proactive Adaptation in Pervasive Environments / Sebastian VanSyckel, Gregor Schiele and Christian Becker.
Implementation of 3D Deformable Objects on Smart Devices Using FFD-AABB Algorithm / Min Hong, Jae-Hong Jeon, Dong-Ik Oh and Min-Hyung Choi -- Social Activity-Based Content Metadata Modeling / KyungRog Kim, YongSub Lee and Nammee Moon -- Development of Smart Phone Apps as Active Learning Tools for U-Learning and its Learning Process for Middle School Students / Chan Jung Park, Jae Hee Kang, Myung Jin Kim, Ye Rim Yu and Hyo Sang Kim, et al. -- User Interface Design Model for Supporting Multi Interaction Content Creation / Jung-Min Oh, Ginam Ko, Kyong-Ah Kim and Nammee Moon -- An Adaptive Unchoking Algorithm for Efficient Mobile P2P Streaming in Wireless LAN / Hun-Hoi Choi and Geun-Hyung Kim -- WS-DIRECT: Web Service--Discoverability, Recoverability, Classifiability and Trustworthiness / Aziz Nasridinov and Jeongyong Byun -- Task Replication and Scheduling Based on Nearest Neighbor Classification in Desktop Grids / Joon-Min Gil, SungSuk Kim and JongHyuk Lee -- Information Technology Strategy Incorporating Dynamic Pricing in the Business Model of the Future / David S. Kung, Frank Lin and Harold Dyck -- A Motion and Haptic System for Immersive Games / Sang-Youn Kim, Dong-Soo Choi and Kyeong-Jin Jeon.
Record Nr. NYU-004626358
[International Conference on Ubiquitous Information Technologies & Applications (2012 : Hong Kong, China)]  
Materiale a stampa
Lo trovi qui: New York University
Rough sets and knowledge technology : 7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012. Proceedings / Tianrui Li [and others] (eds.).
Rough sets and knowledge technology : 7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012. Proceedings / Tianrui Li [and others] (eds.).
Creatore [RSKT 2012 (2012 : Chengdu, China)]
Estensione 1 online resource (xviii, 526 pages) : illustrations.
Disciplina 006.3
Accesso persona Li, Tianrui
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Electronic data processing
Data mining
Artificial intelligence
Computer vision
Mathematical Logic and Formal Languages
Computer Imaging, Vision, Pattern Recognition and Graphics
Numeric Computing
Information Systems Applications (incl. Internet)
ISBN 9783642319006
3642319009
3642318991
9783642318993
Classificazione 54.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Characterization of Rough Separability / Piotr Wasilewski and Andrzej Skowron -- Data-Driven Valued Tolerance Relation / Guoyin Wang and Lihe Guan -- Optimistic Multi-Granulation Fuzzy Rough Set Model Based on Triangular Norm / Weihua Xu, Wenxin Sun and Yufeng Liu -- Rough Set Model Based on Hybrid Tolerance Relation / Junyi Zhou and Xibei Yang -- Scalable Improved Quick Reduct: Sample Based / P.S.V.S. Sai Prasad and C. Raghavendra Rao -- Soft Rough Sets Based on Similarity Measures / Keyun Qin, Zhenming Song and Yang Xu -- Theory of Truth Degrees in Three Valued Formed System RSL / Huan Liu, Yingcang Ma and Xuezhen Dai -- Upper Approximation Reduction Based on Intuitionistic Fuzzy T Equivalence Information Systems / Weihua Xu, Yufeng Liu and Wenxin Sun -- A Fuzzy-Rough Sets Based Compact Rule Induction Method for Classifying Hybrid Data / Yang Liu, Qinglei Zhou, Elisabeth Rakus-Andersson and Guohua Bai -- A New Intuitionistic Fuzzy Rough Set Approach for Decision Support / Junyi Chai, James N.K. Liu and Anming Li -- A New Rule Induction Method from a Decision Table Using a Statistical Test / Tsukasa Matsubayashi, Yuichi Kato and Tetsuro Saeki -- A Rough Neurocomputing Approach for Illumination Invariant Face Recognition System / Singh Kavita, Zaveri Mukesh and Raghuwanshi Mukesh -- An Approximation Decision Entropy Based Decision Tree Algorithm and Its Application in Intrusion Detection / Hongbo Zhao, Feng Jiang and Chunping Wang -- Application of Rough Set Theory to Prediction of Antimicrobial Activity of Bis-quaternary Ammonium Chlorides / Łukasz Pałkowski, Jerzy Błaszczyński, Jerzy Krysiński, Roman Słowiński and Andrzej Skrzypczak, et al. -- Classification and Decision Based on Parallel Reducts and F-Rough Sets / Dayong Deng, Lin Chen and Dianxun Yan -- Evidential Clustering or Rough Clustering: The Choice Is Yours / Manish Joshi and Pawan Lingras -- Heuristic for Attribute Selection Using Belief Discernibility Matrix / Salsabil Trabelsi, Zied Elouedi and Pawan Lingras -- Incremental Rules Induction Based on Rule Layers / Shusaku Tsumoto and Shoji Hirano -- Optimization of Inhibitory Decision Rules Relative to Length and Coverage / Fawaz Alsolami, Igor Chikalov, Mikhail Moshkov and Beata Zielosko -- Parallelized Computing of Attribute Core Based on Rough Set Theory and MapReduce / Yong Yang and Zhengrong Chen.
Semi-supervised Vehicle Recognition: An Approximate Region Constrained Approach / Rui Zhao, Zhihua Wei, Duoqian Miao, Yan Wu and Lin Mei -- A Color Image Segmentation Algorithm by Integrating Watershed with Region Merging / Shuangqun Li, Jiucheng Xu, Jinyu Ren and Tianhe Xu -- A Mixed Strategy Multi-Objective Coevolutionary Algorithm Based on Single-Point Mutation and Particle Swarm Optimization / Xin Zhang, Hongbin Dong, Xue Yang and Jun He -- A Novel Distributed Machine Learning Method for Classification: Parallel Covering Algorithm / Yanping Zhang, Yuehua Wang and Shu Zhao -- A Spatial Clustering Method for Points-with-Directions / Jing Wang and Xin Wang -- An Argumentation Framework for Non-monotonic Reasoning in Description Logic / Geng Wang and Zuoquan Lin -- Analysis of Symmetry Properties for Bayesian Confirmation Measures / Salvatore Greco, Roman Słowiński and Izabela Szczęch -- Applying Verbal Decision Analysis in Selecting Specific Practices of CMMI / Thais Cristina Sampaio Machado, Plácido Rogério Pinheiro, Adriano Bessa Albuquerque and Marcelo Marcony Leal de Lima -- Belief Networks in Classification of Laryngopathies Based on Speech Spectrum Analysis / Teresa Mroczek, Krzysztof Pancerz and Jan Warchoł -- Comparing Similarity of Concepts Identified by Temporal Patterns of Terms in Biomedical Research Documents / Shusaku Tsumoto and Hidenao Abe -- Extracting Incidental and Global Knowledge through Compact Pattern Trees in Distributed Environment / K. Swarupa Rani, V. Kamakshi Prasad and C. Raghavendra Rao -- Hierarchical Path-Finding Based on Decision Tree / Yan Li, Lan-Ming Su and Wen-Liang Li -- Human Activity Recognition with Trajectory Data in Multi-floor Indoor Environment / Xu Zhang, Goung-Bae Kim, Ying Xia and Hae-Young Bae -- Remote Sensing Image Data Storage and Search Method Based on Pyramid Model in Cloud / Ying Xia and Xuanlun Yang -- Learning to Classify Service Data with Latent Semantics / Le Luo, Li Li and Ying Wang -- Link Communities Detection via Local Approach / Lei Pan, Chongjun Wang and Junyuan Xie -- Maximizing Influence Spread in a New Propagation Model / Hongchao Yang, Chongjun Wang and Junyuan Xie -- Semi-supervised Clustering Ensemble Based on Multi-ant Colonies Algorithm / Yan Yang, Hongjun Wang, Chao Lin and Jinyuan Zhang -- Semi-supervised Hierarchical Co-clustering / Feifei Huang, Yan Yang, Tao Li, Jinyuan Zhang and Tonny Rutayisire, et al.
A Granular Computing Perspective on Image Organization within an Image Retrieval Context / Orland Hoeber and Minglun Gong -- Granular Computing in Opinion Target Extraction / Jianyang Wu, Haipeng Wang, Xiaojun Xiang and Lin Shang -- Granular Covering Selection Methods Dependent on the Granule Size / Piotr Artiemjew -- Rough Set Approximations in Incomplete Multi-scale Information Systems / Shen-Ming Gu, Xiao-Hui Sun and Wei-Zhi Wu -- Three Granular Structure Models in Graphs / Guang Chen and Ning Zhong -- A Competition Strategy to Cost-Sensitive Decision Trees / Fan Min and William Zhu -- An Information-Theoretic Interpretation of Thresholds in Probabilistic Rough Sets / Xiaofei Deng and Yiyu Yao -- Cost-Sensitive Classification Based on Decision-Theoretic Rough Set Model / Huaxiong Li, Xianzhong Zhou, Jiabao Zhao and Bing Huang -- Decision-Theoretic Rough Sets with Probabilistic Distribution / Dun Liu, Tianrui Li and Decui Liang -- Multiple Criteria Decision Analysis with Game-Theoretic Rough Sets / Nouman Azam and JingTao Yao -- Granularity Analysis of Fuzzy Soft Set / Dengbao Yao, Cuicui Wang, Junjun Mao and Yanping Zhang -- Granular Approach in Knowledge Discovery: Real Time Blockage Management in Fire Service / Adam Krasuski, Karol Kreński, Piotr Wasilewski and Stanisław Łazowy -- Hybrid: A New Multigranulation Rough Set Approach / Xibei Yang, Cheng Yan, Cai Chen and Jingyu Yang -- Inclusion Degrees of Graded Ill-Known Sets / Masahiro Inuiguchi -- Information Granularity and Granular Structure in Decision Making / Baoli Wang, Jiye Liang and Yuhua Qian -- Semi-supervised Clustering Ensemble Based on Collaborative Training / Jinyuan Zhang, Yan Yang, Hongjun Wang, Amjad Mahmood and Feifei Huang -- Soft Set Approaches to Decision Making Problems / Keyun Qin, Jilin Yang and Xiaohong Zhang -- The Models of Variable Precision Multigranulation Rough Sets / Huili Dou, Xibei Yang, Jiyue Fan and Suping Xu -- Topological Properties of the Pessimistic Multigranulation Rough Set Model / Yanhong She and Xiaoli He -- Axiomatic Granular Approach to Knowledge Correspondences / A. Mani -- Definable and Rough Sets in Covering-Based Approximation Spaces / Arun Kumar and Mohua Banerjee -- Intuitionistic Fuzzy Topologies in Crisp Approximation Spaces / You-Hong Xu and Wei-Zhi Wu -- Oppositions in Rough Set Theory / Davide Ciucci, Didier Dubois and Henri Prade -- Partial First-order Logic with Approximative Functors Based on Properties / Tamás Mihálydeák.
Record Nr. NYU-004623878
[RSKT 2012 (2012 : Chengdu, China)]  
Materiale a stampa
Lo trovi qui: New York University
Euro-Par 2012 parallel processing : 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings / Christos Kaklamanis, Theodore Papatheodorou, Paul G. Spirakis (eds.).
Euro-Par 2012 parallel processing : 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings / Christos Kaklamanis, Theodore Papatheodorou, Paul G. Spirakis (eds.).
Creatore [International EURO-PAR Conference (18th : 2012 : Rhodes (Island), Greece)]
Estensione 1 online resource.
Disciplina 004.6/185
Accesso persona Kaklamanis, Christos
Papatheodorou, T. S. (Theodore S.)
Spirakis, P. G. (Paul G.), 1955-
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Computer system performance
Operating systems (Computers)
Electronic data processing
Programming Languages, Compilers, Interpreters
Operating Systems
System Performance and Evaluation
ISBN 9783642328206
3642328202
3642328199
9783642328190
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Selfish Distributed Optimization / Burkhard Monien and Christian Scheideler. Topic 1: Support Tools and Environments / Omer Rana, Marios Dikaiakos, Daniel S. Katz and Christine Morin -- Tulipse: A Visualization Framework for User-Guided Parallelization / Yi Wen Wong, Tomasz Dubrownik, Wai Teng Tang, Wen Jun Tan and Rubing Duan, et al. -- Enabling Cloud Interoperability with COMPSs / Fabrizio Marozzo, Francesc Lordan, Roger Rafanell, Daniele Lezzi and Domenico Talia, et al. -- Pattern-Independent Detection of Manual Collectives in MPI Programs / Alexandru Calotoiu, Christian Siebert and Felix Wolf -- A Type-Based Approach to Separating Protocol from Application Logic: A Case Study in Hybrid Computer Programming / Geoffrey C. Hulette, Matthew J. Sottile and Allen D. Malony.
Topic 2: Performance Prediction and Evaluation / Allen D. Malony, Helen Karatza, William Knottenbelt and Sally McKee -- Energy Consumption Modeling for Hybrid Computing / Ami Marowka -- HPC File Systems in Wide Area Networks: Understanding the Performance of Lustre over WAN / Alvaro Aguilera, Michael Kluge, Thomas William and Wolfgang E. Nagel -- Understanding I/O Performance Using I/O Skeletal Applications / Jeremy Logan, Scott Klasky, Hasan Abbasi, Qing Liu and George Ostrouchov, et al. -- ASK: Adaptive Sampling Kit for Performance Characterization / Pablo de Oliveira Castro, Eric Petit, Jean Christophe Beyler and William Jalby -- CRAW/P: A Workload Partition Method for the Efficient Parallel Simulation of Manycores / Shuai Jiao, Paolo Ienne, Xiaochun Ye, Da Wang and Dongrui Fan, et al.
Topic 3: Scheduling and Load Balancing / Denis Trystram, Ioannis Milis, Zhihui Du and Uwe Schwiegelshohn -- Job Scheduling Using Successive Linear Programming Approximations of a Sparse Model / Stephane Chretien, Jean-Marc Nicod, Laurent Philippe, Veronika Rehn-Sonigo and Lamiel Toch -- Speed Scaling on Parallel Processors with Migration / Eric Angel, Evripidis Bampis, Fadi Kacem and Dimitrios Letsios -- Dynamic Distributed Scheduling Algorithm for State Space Search / Ankur Narang, Abhinav Srivastava, Ramnik Jain and R.K. Shyamasundar -- Using Load Information in Work-Stealing on Distributed Systems with Non-uniform Communication Latencies / Vladimir Janjic and Kevin Hammond -- Energy Efficient Frequency Scaling and Scheduling for Malleable Tasks / Peter Sanders and Jochen Speck -- Scheduling MapReduce Jobs in HPC Clusters / Marcelo Veiga Neves, Tiago Ferreto and César De Rose -- A Job Scheduling Approach for Multi-core Clusters Based on Virtual Malleability / Gladys Utrera, Siham Tabik, Julita Corbalan and Jesús Labarta.
Topic 4: High-Performance Architecture and Compilers / Alex Veidenbaum, Nectarios Koziris, Toshinori Sato and Avi Mendelson -- Dynamic Last-Level Cache Allocation to Reduce Area and Power Overhead in Directory Coherence Protocols / Mario Lodde, Jose Flich and Manuel E. Acacio -- A Practical Approach to DOACROSS Parallelization / Priya Unnikrishnan, Jun Shirako, Kit Barton, Sanjay Chatterjee and Raul Silvera, et al. -- Exploiting Semantics of Virtual Memory to Improve the Efficiency of the On-Chip Memory System / Bin Li, Zhen Fang, Li Zhao, Xiaowei Jiang and Lin Li, et al. -- From Serial Loops to Parallel Execution on Distributed Systems / George Bosilca, Aurelien Bouteiller, Anthony Danalis, Thomas Herault and Jack Dongarra.
Topic 5: Parallel and Distributed Data Management / Domenico Talia, Alex Delis, Haimonti Dutta and Arkady Zaslavsky -- DS-Means: Distributed Data Stream Clustering / Alessio Guerrieri and Alberto Montresor -- 3D Inverted Index with Cache Sharing for Web Search Engines / Esteban Feuerstein, Veronica Gil-Costa, Mauricio Marin, Gabriel Tolosa and Ricardo Baeza-Yates -- Quality-of-Service for Consistency of Data Geo-replication in Cloud Computing / Sérgio Esteves, João Silva and Luís Veiga -- A Fault-Tolerant Cache Service for Web Search Engines: RADIC Evaluation / Carlos Gómez-Pantoja, Dolores Rexachs, Mauricio Marin and Emilio Luque.
Topic 6: Grid, Cluster and Cloud Computing / Erik Elmroth, Paraskevi Fragopoulou, Artur Andrzejak, Ivona Brandic and Karim Djemame, et al. -- Scalable Reed-Solomon-Based Reliable Local Storage for HPC Applications on IaaS Clouds / Leonardo Bautista Gomez, Bogdan Nicolae, Naoya Maruyama, Franck Cappello and Satoshi Matsuoka -- Caching VM Instances for Fast VM Provisioning: A Comparative Evaluation / Pradipta De, Manish Gupta, Manoj Soni and Aditya Thatte -- Improving Scheduling Performance Using a Q-Learning-Based Leasing Policy for Clouds / Alexander Fölling and Matthias Hofmann -- Impact of Variable Priced Cloud Resources on Scientific Workflow Scheduling / Simon Ostermann and Radu Prodan.
Topic 7: Peer to Peer Computing / Alberto Montresor, Evaggelia Pitoura, Anwitaman Datta and Spyros Voulgaris -- ID-Replication for Structured Peer-to-Peer Systems / Tallat M. Shafaat, Bilal Ahmad and Seif Haridi -- Changing the Unchoking Policy for an Enhanced Bittorrent / Vaggelis Atlidakis, Mema Roussopoulos and Alex Delis -- Peer-to-Peer Multi-class Boosting / István Hegedűs, Róbert Busa-Fekete, Róbert Ormándi, Márk Jelasity and Balázs Kégl.
Topic 8: Distributed Systems and Algorithms / Andrzej Goscinski, Marios Mavronicolas, Weisong Shi and Teo Yong Meng -- Towards Load Balanced Distributed Transactional Memory / Gokarna Sharma and Costas Busch -- CUDA-For-Clusters: A System for Efficient Execution of CUDA Kernels on Multi-core Clusters / Raghu Prabhakar, R. Govindarajan and Matthew J. Thazhuthaveetil -- From a Store-Collect Object and [Omega] to Efficient Asynchronous Consensus / Michel Raynal and Julien Stainer -- An Investigation into the Performance of Reduction Algorithms under Load Imbalance / Petar Marendić, Jan Lemeire, Tom Haber, Dean Vučinić and Peter Schelkens -- Achieving Reliability in Master-Worker Computing via Evolutionary Dynamics / Evgenia Christoforou, Antonio Fernández Anta, Chryssis Georgiou, Miguel A. Mosteiro and Angel (Anxo) Sánchez.
Topic 9: Parallel and Distributed Programming / Sergei Gorlatch, Rizos Sakellariou, Marco Danelutto and Thilo Kielmann -- Dynamic Thread Mapping Based on Machine Learning for Transactional Memory Applications / Márcio Castro, Luís Fabrício Wanderley Góes, Luiz Gustavo Fernandes and Jean-François Méhaut -- A Checkpoint-on-Failure Protocol for Algorithm-Based Recovery in Standard MPI / Wesley Bland, Peng Du, Aurelien Bouteiller, Thomas Herault and George Bosilca, et al. -- Hierarchical Partitioning Algorithm for Scientific Computing on Highly Heterogeneous CPU + GPU Clusters / David Clarke, Aleksandar Ilic, Alexey Lastovetsky and Leonel Sousa -- Encapsulated Synchronization and Load-Balance in Heterogeneous Programming / Yuri Torres, Arturo Gonzalez-Escribano and Diego Llanos -- Transactional Access to Shared Memory in StarSs, a Task Based Programming Model / Rahulkumar Gayatri, Rosa M. Badia, Eduard Ayguade, Mikel Luján and Ian Watson -- On-the-Fly Task Execution for Speeding Up Pipelined MapReduce / Diana Moise, Gabriel Antoniu and Luc Bougé -- Assessing the Performance and Scalability of a Novel Multilevel K-Nomial Allgather on CORE-Direct Systems / Joshua S. Ladd, Manjunath Gorentla Venkata, Richard Graham and Pavel Shamis.
Topic 10: Parallel Numerical Algorithms / Iain Duff, Efstratios Gallopoulos, Daniela di Serafino and Bora Ucar -- Avoiding Communication through a Multilevel LU Factorization / Simplice Donfack, Laura Grigori and Amal Khabou -- Locality Improvement of Data-Parallel Adams-Bashforth Methods through Block-Based Pipelining of Time Steps / Matthias Korch -- Parallel SOR for Solving the Convection Diffusion Equation Using GPUs with CUDA / Yiannis Cotronis, Elias Konstantinidis, Maria A. Louka and Nikolaos M. Missirlis.
Topic 11: Multicore and Manycore Programming / Eduard Ayguade, Dionisios Pnevmatikatos, Rudolf Eigenmann, Mikel Luján and Sabri Pllana -- Efficient Support for In-Place Metadata in Transactional Memory / Ricardo J. Dias, Tiago M. Vale and João M. Lourenço -- Folding of Tagged Single Assignment Values for Memory-Efficient Parallelism / Dragoş Sbîrlea, Kathleen Knobe and Vivek Sarkar -- High-Level Support for Pipeline Parallelism on Many-Core Architectures / Siegfried Benkner, Enes Bajrovic, Erich Marth, Martin Sandrieser and Raymond Namyst, et al. -- Node. Scala: Implicit Parallel Programming for High-Performance Web Services / Daniele Bonetta, Danilo Ansaloni, Achille Peternier, Cesare Pautasso and Walter Binder -- Task-Parallel Programming on NUMA Architectures / Christian Terboven, Dirk Schmidl, Tim Cramer and Dieter an Mey -- Speeding Up OpenMP Tasking / Spiros N. Agathos, Nikolaos D. Kallimanis and Vassilios V. Dimakopoulos -- An Efficient Unbounded Lock-Free Queue for Multi-core Systems / Marco Aldinucci, Marco Danelutto, Peter Kilpatrick, Massimiliano Meneghin and Massimo Torquati.
Topic 12: Theory and Algorithms for Parallel Computation / Geppino Pucci, Christos Zaroliagis, Kieran T. Herley and Henning Meyerhenke -- A Lower Bound Technique for Communication on BSP with Application to the FFT / Gianfranco Bilardi, Michele Scquizzato and Francesco Silvestri -- A Fast Parallel Algorithm for Minimum-Cost Small Integral Flows / Andrzej Lingas and Mia Persson.
Topic 13: High Performance Network and Communication / Chris Develder, Emmanouel Varvarigos, Admela Jukan and Dimitra Simeonidou -- Topology Configuration in Hybrid EPS/OCS Interconnects / Konstantinos Christodoulopoulos, Marco Ruffini, Donal O'Mahony and Kostas Katrinis -- Towards an Efficient Fat-Tree like Topology / D. Bermúdez Garzón, C. Gómez, M.E. Gómez, P. López and J. Duato -- An Adaptive, Scalable, and Portable Technique for Speeding Up MPI-Based Applications / Rosa Filgueira, Malcolm Atkinson, Alberto Nuñez and Javier Fernández -- Cost-Effective Contention Avoidance in a CMP with Shared Memory Controllers / Samuel Rodrigo, Frank Olaf Sem-Jacobsen, Hervé Tatenguem, Tor Skeie and Davide Bertozzi.
Topic 14: Mobile and Ubiquitous Computing / Paolo Santi, Sotiris Nikoletseas, Cecilia Mascolo and Thiemo Voigt -- Watershed-Based Clustering for Energy Efficient Data Gathering in Wireless Sensor Networks with Mobile Collector / Charalampos Konstantopoulos, Basilis Mamalis, Grammati Pantziou and Vasileios Thanasias -- Distribution of Liveness Property Connectivity Interval in Selected Mobility Models of Wireless Ad Hoc Networks / Jerzy Brzeziński, Michał Kalewski, Marcin Kosiba and Marek Libuda.
Topic 15: High Performance and Scientific Applications / Thomas Ludwig, Costas Bekas, Alice Koniges and Kengo Nakajima -- Memory-Access Optimization of Parallel Molecular Dynamics Simulation via Dynamic Data Reordering / Manaschai Kunaseth, Ken-ichi Nomura, Hikmet Dursun, Rajiv K. Kalia and Aiichiro Nakano, et al. -- On Analyzing Quality of Data Influences on Performance of Finite Elements Driven Computational Simulations / Michael Reiter, Hong-Linh Truong, Schahram Dustdar, Dimka Karastoyanova and Robert Krause, et al. -- Performance Evaluation and Optimization of Nested High Resolution Weather Simulations / Preeti Malakar, Vaibhav Saxena, Thomas George, Rashmi Mittal and Sameer Kumar, et al. -- Optimized Hybrid Parallel Lattice Boltzmann Fluid Flow Simulations on Complex Geometries / Jonas Fietz, Mathias J. Krause, Christian Schulz, Peter Sanders and Vincent Heuveline -- Topology-Aware Mappings for Large-Scale Eigenvalue Problems / Hasan Metin Aktulga, Chao Yang, Esmond G. Ng, Pieter Maris and James P. Vary -- Fast and Effective Lossy Compression Algorithms for Scientific Datasets / Jeremy Iverson, Chandrika Kamath and George Karypis.
Topic 16: GPU and Accelerators Computing / Alex Ramirez, Dimitrios S. Nikolopoulos, David Kaeli and Satoshi Matsuoka -- OpenACC -- First Experiences with Real-World Applications / Sandra Wienke, Paul Springer, Christian Terboven and Dieter an Mey -- accULL: An OpenACC Implementation with CUDA and OpenCL Support / Ruymán Reyes, Iván López-Rodríguez, Juan J. Fumero and Francisco de Sande -- Understanding the Performance of Concurrent Data Structures on Graphics Processors / Daniel Cederman, Bapi Chatterjee and Philippas Tsigas -- A New Programming Paradigm for GPGPU / Julio Toss and Thierry Gautier -- GPU-Accelerated Asynchronous Error Correction for Mixed Precision Iterative Refinement / Hartwig Anzt, Piotr Luszczek, Jack Dongarra and Vincent Heuveline -- GPURoofline: A Model for Guiding Performance Optimizations on GPUs / Haipeng Jia, Yunquan Zhang, Guoping Long, Jianliang Xu and Shengen Yan, et al. -- Building a Collision for 75-Round Reduced SHA-1 Using GPU Clusters / Andrew V. Adinetz and Evgeny A. Grechnikov -- GPU-Vote: A Framework for Accelerating Voting Algorithms on GPU / Gert-Jan van den Braak, Cedric Nugteren, Bart Mesman and Henk Corporaal.
Record Nr. NYU-004624384
[International EURO-PAR Conference (18th : 2012 : Rhodes (Island), Greece)]  
Materiale a stampa
Lo trovi qui: New York University
Computational intelligence for multimedia understanding : International Workshop, MUSCLE 2011, Pisa, Italy, December 13-15, 2011, Revised selected papers / Emanuele Salerno, A. Enis Çetin, Ovidio Salvetti (eds.).
Computational intelligence for multimedia understanding : International Workshop, MUSCLE 2011, Pisa, Italy, December 13-15, 2011, Revised selected papers / Emanuele Salerno, A. Enis Çetin, Ovidio Salvetti (eds.).
Creatore [MUSCLE (Workshop) (2011 : Pisa, Italy)]
Estensione 1 online resource.
Disciplina 006.7
Accesso persona Salerno, Emanuele
Cetin, A. Enis
Salvetti, Ovidio
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Electronic data processing
Data mining
Multimedia systems
Artificial intelligence
Computer vision
Optical pattern recognition
Multimedia Information Systems
Image Processing and Computer Vision
ISBN 9783642324369
3642324363
3642324355
9783642324352
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Learning an Ontology for Visual Tasks / Petra Perner -- Ontology and Algorithms Integration for Image Analysis / Sara Colantonio, Massimo Martinelli and Ovidio Salvetti -- EmotiWord: Affective Lexicon Creation with Application to Interaction and Multimedia Data / Nikos Malandrakis, Alexandros Potamianos, Elias Iosif and Shrikanth Narayanan -- A Bayesian Active Learning Framework for a Two-Class Classification Problem / Pablo Ruiz, Javier Mateos, Rafael Molina and Aggelos K. Katsaggelos -- Unsupervised Classification of SAR Images Using Hierarchical Agglomeration and EM / Koray Kayabol, Vladimir A. Krylov and Josiane Zerubia -- Geometrical and Textural Component Separation with Adaptive Scale Selection / Tamás Szirányi and Dániel Szolgay -- Bayesian Shape from Silhouettes / Donghoon Kim and Rozenn Dahyot -- Shape Retrieval and Recognition on Mobile Devices / Levente Kovács -- Directionally Selective Fractional Wavelet Transform Using a 2-D Non-separable Unbalanced Lifting Structure / Furkan Keskin and A. Enis Çetin -- Visible and Infrared Image Registration Employing Line-Based Geometric Analysis / Jungong Han, Eric Pauwels and Paul de Zeeuw.
Texture Recognition Using Robust Markovian Features / Pavel Vácha and Michal Haindl -- A Plausible Texture Enlargement and Editing Compound Markovian Model / Michal Haindl and Vojtěch Havlíček -- Bidirectional Texture Function Simultaneous Autoregressive Model / Michal Haindl and Michal Havlíček -- Analysis of Human Gaze Interactions with Texture and Shape / Jiří Filip, Pavel Vácha and Michal Haindl -- Rich Internet Application for Semi-automatic Annotation of Semantic Shots on Keyframes / Elisabet Carcel, Manuel Martos, Xavier Giró-i-Nieto and Ferran Marqués -- Labeling TV Stream Segments with Conditional Random Fields / Emmanuelle Martienne, Vincent Claveau and Patrick Gros -- Foreground Objects Segmentation for Moving Camera Scenarios Based on SCGMM / Jaime Gallego, Montse Pardàs and Montse Solano -- Real Time Image Analysis for Infomobility / Massimo Magrini, Davide Moroni, Gabriele Pieri and Ovidio Salvetti -- Tracking the Saliency Features in Images Based on Human Observation Statistics / Szilard Szalai, Tamás Szirányi and Zoltan Vidnyanszky.
Record Nr. NYU-004624571
[MUSCLE (Workshop) (2011 : Pisa, Italy)]  
Materiale a stampa
Lo trovi qui: New York University
GPU solutions to multi-scale problems in science and engineering / edited by David A. Yuen [and others]
GPU solutions to multi-scale problems in science and engineering / edited by David A. Yuen [and others]
Estensione 1 online resource.
Disciplina 004/.3
Accesso persona Yuen, David A.
Accesso convegno International Workshop of GPU Solutions to Multiscale Problems in Science and Engineering (1st : 2010 : Harbin, China)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Electronic data processing
Materials
Numeric Computing
Geophysics/Geodesy
Continuum Mechanics and Mechanics of Materials
ISBN 9783642164057
3642164056
3642164048
9783642164040
1299197469
9781299197466
Classificazione 54.73
54.79
54.29
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introductory Material -- Why Do Scientists and Engineers Need GPU's Today? / Matthew G. Knepley, David A. Yuen -- Happenings at the GPU Conference / Xian-yu Lang, Long Wang, David A. Yuen -- Hardware and Installations -- Efficiency, Energy Efficiency and Programming of Accelerated HPC Servers: Highlights of PRACE Studies / Lennart Johnsson -- GRAPE and GRAPE-DR / Junichiro Makino -- Software libraries -- Parray: A Unifying Array Representation for Heterogeneous Parallelism / Yifeng Chen, Xiang Cui, Hong Mei -- Practical Random Linear Network Coding on GPUs / Xiaowen Chu, Kaiyong Zhao -- Preliminary Implementation of PETSc Using GPUs / Victor Minden, Barry Smith, Matthew G. Knepley -- Industrial Applications -- Multi-scale Continuum-Particle Simulation on CPU-GPU Hybrid Supercomputer / Wei Ge, Ji Xu, Qingang Xiong, Xiaowei Wang, Feiguo Chen, Limin Wang, Chaofeng Hou.
GPU Best Practices for HPC Applications at Industry Scale / Peng Wang, Stan Posey -- Simulation of 1D Condensing Flows with CESE Method on GPU Cluster / Wei Ran, Wan Cheng, Fenghua Qin, Xisheng Luo -- Two-Way Coupled Sprays and Liquid Surface: A GPU-Based Multi-Scale Fluid Animation Method / Guijuan Zhang, Gaojin Wen, Shengzhong Feng -- High Performance Implementation of Binomial Option Pricing Using CUDA / Yechen Gui, Shenzhong Feng, Gaojin Wen, Guijuan Zhang, Yanyi Wan, Tao Liu -- Research of Acceleration MS-Alignment Identifying Post-Translational Modifications on GPU / Zhai Yantang, Tu Qiang, Lang Xianyu, Lu Zhonghua, Chi Xuebin -- Chemical Physical Applications -- GPU Tuning for First-Principle Electronic Structure Simulations / Yue Wu, Weile Jia, Lin-Wang Wang, Weiguo Gao, Long Wang, Xuebin Chi -- Nucleation and Reaction of Dislocations in Some Metals and Intermetallic Compound TiAl / D.S. Xu, H. Wang, R. Yang.
Geophysical and Fluid Dynamical Application -- Large-Scale Numerical Weather Prediction on GPU Supercomputer / Takayuki Aoki, Takashi Shimokawabe -- Targeting Atmospheric Simulation Algorithms for Large, Distributed-Memory, GPU-Accelerated Computers / Matthew R. Norman -- Investigation of Solving 3D Navier-Stokes Equations with Hybrid Spectral Scheme Using GPU / Ying Xu, Lei Xu, D.D. Zhang, J.F. Yao -- Correlation of Reservoir and Earthquake by Multi Temporal-Spatial Scale Flow Driven Pore-Network Crack Model in Parallel CPU and GPU Platform / B.J. Zhu, C. Liu, Y.L. Shi, D.A. Yuen -- A Full GPU Simulation of Evolving Fracture Networks in a Heterogeneous Poro-Elasto-Plastic Medium with Effective-Stress-Dependent Permeability / Boris Galvan, Stephen Miller -- GPU Implementation of Multigrid Solver for Stokes Equation with Strongly Variable Viscosity / Liang Zheng, Taras Gerya, Matthew Knepley, David A. Yuen, Huai Zhang, Yaolin Shi.
High Rayleigh Number Mantle Convection on GPU / David A. Sanchez, Christopher Gonzalez, David A. Yuen, Grady B. Wright -- High-Order Discontinuous Galerkin Methods by GPU Metaprogramming / Andreas Klöckner, Timothy Warburton, Jan S. Hesthaven -- Accelerating Large-Scale Simulation of Seismic Wave Propagation by Multi-GPUs and Three-Dimensional Domain Decomposition / Taro Okamoto, Hiroshi Takenaka, Takeshi Nakamura, Takayuki Aoki -- Support Operator Rupture Dynamics on GPU / Shenyi Song, Yichen Zhou, Tingxing Dong, David A. Yuen -- Algorithms and Solvers -- A Geometric Multigrid Solver on GPU Clusters / Harald Koestler, Daniel Ritter, Christian Feichtinger -- Accelerating 2-Dimensional CFD on Multi-GPU Supercomputer / Sen Li, Xinliang Li, Long Wang, Zhonghua Lu, Xuebin Chi -- Efficient Rendering of Order Independent Transparency on the GPUs / Fang Liu.
Performance Evaluation of Fast Fourier Transform Application on Heterogeneous Platforms / Xiaojun Li, Yang Gao, Xinyu Ma, Ying Liu -- Accurate Evaluation of Local Averages on GPGPUs / Dmitry A. Karpeev, Matthew G. Knepley, Peter R. Brune -- Accelerating Swarm Intelligence Algorithms with GPU-Computing / Robin M. Weiss -- Asynchronous Parallel Logic Simulation on Modern Graphics Processors / Yangdong Deng, Yuhao Zhu, Wang Bo -- Implementations of Main Algorithms for Generalized Symmetric Eigenproblem on GPU Accelerator / Yonghua Zhao, Fang Liu, Yangang Wang, Xuebin Chi -- Using Mixed Precision Algorithm for LINPACK Benchmark on AMD GPU / Xianyi Zhang, Yunquan Zhang, Lei Wang -- Parallel Lattice Boltzmann Method on CUDA Architecture / Weibing Feng, Wu Zhang, Bing He, Kai Wang.
Visualization -- Iterative Deblurring of Large 3D Datasets from Cryomicrotome Imaging Using an Array of GPUs / Thomas Geenen, Pepijn van Horssen, Jos A.E. Spaan, Maria Siebes -- WebViz: A Web-Based Collaborative Interactive Visualization System for Large-Scale Data Sets / Yichen Zhou, Robin M. Weiss, Elizabeth McArthur, David Sanchez, Xiang Yao, Dave Yuen -- Interactive Visualization Tool for Planning Cancer Treatment / R. Wcisło, W. Dzwinel, P. Gosztyla, D.A. Yuen, W. Czech -- High Throughput Heterogeneous Computing and Interactive Visualization on a Desktop Supercomputer / S. Zhang, R. Weiss, S. Wang, G.A. Barnett Jr., D.A. Yuen -- Applications of Microtomography to Multiscale System Dynamics: Visualisation, Characterisation and High Performance Computation / Jie Liu, Klaus Regenauer-Lieb, Chris Hines, Shuxia Zhang, Paul Bourke, Florian Fusseis -- Three-Dimensional Reconstruction of Electron Tomography Using Graphic Processing Units (GPUs) / Xiaohua Wan, Fa Zhang, Qi Chu, Zhiyong Liu.
Record Nr. NYU-004626558
Materiale a stampa
Lo trovi qui: New York University
Approximation and Online Algorithms : 9th International Workshop, WAOA 2011, Saarbrücken, Germany, September 8-9, 2011, Revised selected papers / Roberto Solis-Oba, Giuseppe Persiano (eds.).
Approximation and Online Algorithms : 9th International Workshop, WAOA 2011, Saarbrücken, Germany, September 8-9, 2011, Revised selected papers / Roberto Solis-Oba, Giuseppe Persiano (eds.).
Creatore [WAOA 2011 (2011 : Saarbrücken, Germany)]
Estensione 1 online resource (x, 273 pages).
Disciplina 005.1
Accesso persona Solis-Oba, Roberto
Persiano, Giuseppe
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Electronic data processing
Computational complexity
Algorithms
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Numeric Computing
Information Systems Applications (incl. Internet)
ISBN 9783642291166
3642291163
9783642291159
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Approximation Algorithms for Scheduling and Packing Problems / Klaus Jansen -- Approximating Subset k-Connectivity Problems / Zeev Nutov -- Learning in Stochastic Machine Scheduling / Sebastián Marbán, Cyriel Rutten and Tjark Vredeveld -- An Online Algorithm Optimally Self-tuning to Congestion for Power Management Problems / Wolfgang Bein, Naoki Hatta, Nelson Hernandez-Cons, Hiro Ito and Shoji Kasahara, et al. -- Single Approximation for Biobjective Max TSP / Cristina Bazgan, Laurent Gourvès, Jérôme Monnot and Fanny Pascual -- Parameterized Approximation Algorithms for Hitting Set / Ljiljana Brankovic and Henning Fernau -- Approximation Algorithms for the Maximum Leaf Spanning Tree Problem on Acyclic Digraphs / Nadine Schwartges, Joachim Spoerhase and Alexander Wolff -- Optimization over Integers with Robustness in Cost and Few Constraints / Kai-Simon Goetzmann, Sebastian Stiller and Claudio Telha -- A Lower Bound on Deterministic Online Algorithms for Scheduling on Related Machines without Preemption / Tomáš Ebenlendr and Jiří Sgall -- Scheduling Jobs on Identical and Uniform Processors Revisited / Klaus Jansen and Christina Robenek.
Approximation Algorithms for Fragmenting a Graph against a Stochastically-Located Threat / David B. Shmoys and Gwen Spencer -- Non-clairvoyant Weighted Flow Time Scheduling on Different Multi-processor Models / Jianqiao Zhu, Ho-Leung Chan and Tak-Wah Lam -- A New Perspective on List Update: Probabilistic Locality and Working Set / Reza Dorrigiv and Alejandro López-Ortiz -- OnlineMin: A Fast Strongly Competitive Randomized Paging Algorithm / Gerth Stølting Brodal, Gabriel Moruz and Andrei Negoescu -- Faster and Simpler Approximation of Stable Matchings / Katarzyna Paluch -- Simpler 3/4-Approximation Algorithms for MAX SAT / Anke van Zuylen -- On Online Algorithms with Advice for the k-Server Problem / Marc P. Renault and Adi Rosén -- Improved Lower Bound for Online Strip Packing / (Extended Abstract) / Rolf Harren and Walter Kern -- Competitive Router Scheduling with Structured Data / Yishay Mansour, Boaz Patt-Shamir and Dror Rawitz -- Approximation with a Fixed Number of Solutions of Some Biobjective Maximization Problems / Cristina Bazgan, Laurent Gourvès and Jérôme Monnot -- Generalized Maximum Flows over Time / Martin Groß and Martin Skutella -- The Price of Anarchy for Minsum Related Machine Scheduling / Ruben Hoeksma and Marc Uetz.
Record Nr. NYU-004374775
[WAOA 2011 (2011 : Saarbrücken, Germany)]  
Materiale a stampa
Lo trovi qui: New York University