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.
Advances in cryptology--CRYPTO '90 : proceedings / A.J. Menezes, S.A. Vanstone (eds.).
Advances in cryptology--CRYPTO '90 : proceedings / A.J. Menezes, S.A. Vanstone (eds.).
Creatore [CRYPTO (Conference) (10th : 1990 : University of California, Santa Barbara)]
Estensione xiii, 643 p. : ill. ; 25 cm.
Disciplina 005.8
Accesso persona Menezes, A. J. (Alfred J.), 1965-
Vanstone, Scott A.
ISBN 3540545085 (Berlin : alk. paper)
0387545085 (New York : alk. paper)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. DUKE-001019484
[CRYPTO (Conference) (10th : 1990 : University of California, Santa Barbara)]  
Materiale a stampa
Lo trovi qui: Duke University
Latin'98, theoretical informatics : Third Latin American Symposium, Campinas, Brazil, April 20-24, 1998 : proceedings / Cláudio L. Lucchesi, Arnaldo V. Moura (eds.).
Latin'98, theoretical informatics : Third Latin American Symposium, Campinas, Brazil, April 20-24, 1998 : proceedings / Cláudio L. Lucchesi, Arnaldo V. Moura (eds.).
Creatore [Latin American Symposium on Theoretical Informatics (3rd : 1998 : Campinas, São Paulo, Brazil)]
Estensione xi, 390 p. : ill. ; 24 cm.
Disciplina 004
Accesso persona Lucchesi, Cláudio L., 1945-
Moura, Arnaldo V., 1950-
ISBN 3540642757 (softcover : alk. paper)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. DUKE-002487062
[Latin American Symposium on Theoretical Informatics (3rd : 1998 : Campinas, São Paulo, Brazil)]  
Materiale a stampa
Lo trovi qui: Duke University
Hybrid systems : computation and control : First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998 : proceedings / Thomas A. Henzinger, Shankar Sastry (eds.).
Hybrid systems : computation and control : First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998 : proceedings / Thomas A. Henzinger, Shankar Sastry (eds.).
Creatore [HSCC (Conference) (1st : 1998 : Berkeley, Calif.)]
Estensione viii, 415 p. : ill. ; 24 cm.
Disciplina 629.8/9
Accesso persona Henzinger, T. A. (Thomas A.)
Sastry, Shankar
ISBN 3540643583 (softcover)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. DUKE-002487063
[HSCC (Conference) (1st : 1998 : Berkeley, Calif.)]  
Materiale a stampa
Lo trovi qui: Duke University
Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings / Rajeev Alur, Thomas A. Henzinger, eds.
Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings / Rajeev Alur, Thomas A. Henzinger, eds.
Creatore [CAV (Conference) (8th : 1996 : New Brunswick, N.J.)]
Estensione xii, 472 p. : ill. ; 24 cm.
Accesso persona Alur, Rajeev, 1966-
Henzinger, T. A. (Thomas A.)
ISBN 3540614745
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. DUKE-002213520
[CAV (Conference) (8th : 1996 : New Brunswick, N.J.)]  
Materiale a stampa
Lo trovi qui: Duke University
Ad-hoc, Mobile, and Wireless Networks [electronic resource] : 14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29 -- July 1, 2015, Proceedings / edited by Symeon Papavassiliou, Stefan Ruehrup
Ad-hoc, Mobile, and Wireless Networks [electronic resource] : 14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29 -- July 1, 2015, Proceedings / edited by Symeon Papavassiliou, Stefan Ruehrup
Estensione 1 online resource (XIII, 418 p. 151 illus.) online resource.
Disciplina 004.6
Accesso persona Papavassiliou, Symeon
Ruehrup, Stefan
Accesso ente SpringerLink (Online service)
Genere/Forma Electronic books
ISBN 9783319196626
9783319196619
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Routing, Connectivity, and Resource Allocation -- A Dynamic Topology Control Algorithm for Wireless Sensor Networks -- Geographic GReedy Routing with ACO Recovery Strategy GRACO -- Scheduling Connections via Path and Edge Multicoloring -- A Schedule Template Construction Technique for Duty Cycled Sensor Networks -- On the Impact of Network Evolution on NUM Resource Allocation Problems in Wireless Multihop Networks -- On the Problem of Resource Allocation and System Capacity Evaluation via a Blocking Queuing Model in D2D Enabled Overlay Cellular Networks -- Localization, Sensor Deployment, and Mobility Management Localization of a Mobile Node in Shaded Areas -- CAMS: Consensus-Based Anchor-Node Management Scheme for Train Localisation -- Delay Analysis of Context Aware Mobility Management Systems Addressing Multiple Connectivity Opportunities -- AdaMap: Adaptive Radiomap for Indoor Localization -- On the Displacement for Covering a Square with Randomly Placed Sensors -- Election-Based Sensor Deployment and Coverage Maintenance by a Team of Robots -- Distributed Computing with Mobile Agents Wireless Autonomous Robot Evacuation from Equilateral Triangles and Squares -- Rendezvous of Many Agents with Different Speeds in a Cycle -- The Random Bit Complexity of Mobile Robots Scattering -- On the Relations Between SINR Diagrams and Voronoi Diagrams -- Computations by Luminous Robots -- Online Lower Bounds and Offline Inapproximability in Optical Networks -- Efficient, Reliable, and Secure Smart Energy Networks A Modular and Flexible Network Architecture for Smart Grids -- A Linear Programming Approach for K-Resilient and Reliability-Aware Design of Large-Scale Industrial Networks -- Self-organised Key Management for the Smart Grid -- Information-Quality Based LV-Grid-Monitoring Framework and Its Application to Power-Quality Control -- Energy Efficient Small-Cell Discovery Using Users’ Mobility Prediction -- Emerging Communications, Networking and Computing Technologies for VANETs 2.0 Safety in Vehicular Networks—on the Inevitability of Short-Range Directional Communications -- Secure Incentive-Based Architecture for Vehicular Cloud -- EYES: A Novel Overtaking Assistance System for Vehicular Networks -- Study of Probabilistic Worst Case Inter-Beacon Delays Under Realistic Vehicular Mobility Conditions -- xRadio: An Novel Software Defined Radio (SDR) Platform and Its Exemplar Application to Vehicle-to-Vehicle Communications.
Record Nr. DUKE-007679708
Materiale a stampa
Lo trovi qui: Duke University
Ad-hoc, Mobile, and Wireless Networks [electronic resource] : 15th International Conference, ADHOC-NOW 2016, Lille, France, July 4-6, 2016, Proceedings / edited by Nathalie Mitton, Valeria Loscri, Alexandre Mouradian
Ad-hoc, Mobile, and Wireless Networks [electronic resource] : 15th International Conference, ADHOC-NOW 2016, Lille, France, July 4-6, 2016, Proceedings / edited by Nathalie Mitton, Valeria Loscri, Alexandre Mouradian
Estensione 1 online resource (XIII, 356 p. 141 illus.) online resource.
Disciplina 004.6
Accesso persona Mitton, Nathalie
Loscrì, Valeria
Mouradian, Alexandre
Accesso ente SpringerLink (Online service)
Genere/Forma Electronic books
ISBN 9783319405094
9783319405087
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Resource Allocation -- Theory and Communications -- PHY/MAC/Routing in Sensors/IoT -- DTN/Opportunistic Networks -- Sensors/IoT -- Security -- VANET and ITS -- Robots and MANETs.
Record Nr. DUKE-007679709
Materiale a stampa
Lo trovi qui: Duke University
Advanced Information Systems Engineering [electronic resource] : 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings / edited by Jelena Zdravkovic, Marite Kirikova, Paul Johannesson
Advanced Information Systems Engineering [electronic resource] : 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings / edited by Jelena Zdravkovic, Marite Kirikova, Paul Johannesson
Estensione 1 online resource (XXII, 530 p. 167 illus.) online resource.
Disciplina 005.7
Accesso persona Zdravkovic, Jelena
Kirikova, Marite
Johannesson, Paul
Accesso ente SpringerLink (Online service)
Genere/Forma Electronic books
ISBN 9783319190693
9783319190686
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Social and Collaborative Computing -- Game Aspect: An Approach to Separation of Concerns in Crowdsourced Data Management -- Editing Anxiety in Corporate Wikis: From Private Drafting to Public Edits -- Run-Time and Task-Based Performance of Event Detection Techniques for Twitter -- Business Process Modeling and Languages -- RALph: A Graphical Notation for Resource Assignments in Business Processes -- Revising the Vocabulary of Business Process Element Labels -- Declarative Process Modeling in BPMN -- High Volume and Complex Information Management -- The Requirements and Needs of Global Data Usage in Product Lifecycle Management -- Probabilistic Keys for Data Quality Management -- A Clustering Approach for Protecting GIS Vector Data -- Requirements Elicitation and Management -- Need-to-Share and Non-diffusion Requirements Verification in Exchange Policies -- Virtual Business Role-Play: Leveraging Familiar Environments to Prime Stakeholder Memory During Process Elicitation -- Handling Regulatory Goal Model Families as Software Product Lines -- Enterprise Data Management -- Managing Data Warehouse Traceability: A Life-Cycle Driven Approach -- Specification and Incremental Maintenance of Linked Data Mashup Views -- A Model-Driven Approach to Enterprise Data Migration -- Model Conceptualisation and Evolution -- Interactive Recovery of Requirements Traceability Links Using User Feedback and Configuration Management Logs -- Detecting Complex Changes During Metamodel Evolution -- ‘‘We Need to Discuss the Relationship’’: Revisiting Relationships as Modeling Constructs -- Process Mining, Monitoring and Predicting -- PM2: A Process Mining Project Methodology -- Completing Workflow Traces Using Action Languages -- A Novel Top-Down Approach for Clustering Traces -- Intra and Inter-Organizational Process Engineering Extracting Decision Logic from Process Models -- Equivalence Transformations for the Design of Interorganizational Data-Flow -- Automatic Generation of Optimized Process Models from Declarative Specifications -- Process Compliance and Alignment -- Towards the Automated Annotation of Process Models -- Discovery and Validation of Queueing Networks in Scheduled Processes -- Verification and Validation of UML Artifact-Centric Business Process Models -- Enterprise IT Integration and Management -- Empirical Challenges in the Implementation of IT Portfolio Management: A Survey in Three Companies -- Integration Adapter Modeling -- Service Science and Computing -- Modelling Service Level Agreements for Business Process Outsourcing Services -- Deriving Artefact-Centric Interfaces for Overloaded Web Services.
Record Nr. DUKE-007679717
Materiale a stampa
Lo trovi qui: Duke University
Advanced Intelligent Computing Theories and Applications [electronic resource] : 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III / edited by De-Shuang Huang, Kyungsook Han.
Advanced Intelligent Computing Theories and Applications [electronic resource] : 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III / edited by De-Shuang Huang, Kyungsook Han.
Edizione [1st ed. 2015.]
Estensione 1 online resource (XXII, 797 p. 235 illus.) online resource.
Disciplina 006.3
Accesso persona Huang, De-Shuang
Han, Kyungsook
Accesso ente SpringerLink (Online service)
Genere/Forma Electronic books
ISBN 9783319220536
9783319220529
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Machine Learning Theory and Methods -- A Review of Parameter Learning Methods in Bayesian Network -- The Hard-Cut EM Algorithm for Mixture of Sparse Gaussian Processes -- Maximum Principle in the Unbounded Domain of Heisenberg Type -- An Epidemic Propagation Model with Saturated Infection Rate on a Small World Network -- Granular Twin Support vector Machines based on Mixture Kernel -- Detecting Multiple Influential Observations in High Dimensional Linear Regression -- Drift Operator for States of Matter Search Algorithm -- Classification on Imbalanced Data Sets, Taking Advantage of Errors to Improve Performance -- PSO-Based Method for SVM Classification on Skewed Data Sets.-Set-Based Many-Objective Optimization Guided by Preferred Regions -- An Improved Incremental Error Minimized Extreme Learning Machine for Regression Problem Based on Particle Swarm Optimization -- A Systematic Comparison and Evaluation of Supervised Machine Learning Classifiers Using Headache Dataset.-A Generative Model with Ensemble Manifold Regularization for Multi-View Clustering -- On Classifying Diabetic Patients with Proliferative Retinopathies via a Radial Basis Probabilistic Neural Network -- Passivity Analysis of BAM NNs with Mixed Time Delays -- Soft Computing -- A Fuzzy Logic Controller for Indirect Matrix Converter under Abnormal Input Voltage Conditions.-On Denjoy-McShane-Stieltjes Integral of Fuzzy-Number-Valued Functions -- A Brief Survey on Fuzzy Cognitive Maps -- Sensor Data Driven Modeling and Control of Personalized Thermal Comfort Using Interval Type-2 Fuzzy Sets -- Knowledge Evaluation with Rough Sets -- On Solving CCR-DEA Problems Involving Type-2 Fuzzy Uncertainty Using Centroid-Based Optimization -- Image Processing and Computer Vision -- Adaptive Quantization of Local Directional Responses for Infrared Face Recognition.-Preliminary Study of Tongue Image Classification Based on Multi-Label Learning.-Online Kernel-Based Multimodal Similarity Learning with Application to Image Retrieval -- Reverse Training for Leaf Image Set Classification -- Visual Saliency Detection Based on Color Contrast and Distribution -- Moving Vehicle Detection Based on Visual Processing Mechanism with Multiple Pathways.-A Computer Vision Method for the Italian Fingerspelling Recognition.-A Spiking Neural Network for Extraction of Multi-Features in Visual Processing Pathways -- Image Set Classification Based on Synthetic Examples and Reverse Training -- Carried Baggage Detection and Classification Using Part-based Model -- Image Splicing Detection Based on Markov Features in QDCT Domain -- Facial Expression Recognition Based on Hybrid Approach -- A Local Feature Descriptor Based on Energy Information for Human Activity Recognition -- A Robust Online Non-Rigid Structure From Motion Algorithm -- A Multi-Feature Fusion Method for Automatic Multi-Label Image Annotation with Weighted Histogram Integral and Closure Regions Counting -- Diffusion-Based Hybrid Level Set Method for Complex Image Segmentation -- Knowledge Discovery and Data Mining -- The Optimization of Resource Allocation Based on Process Mining -- Research on Optimum Weighted Combination GM (1, 1) Model with Different Initial Value -- Spectral Clustering of High-dimensional Data via K-Nearest Neighbor Based Sparse Representation Coefficients -- Friend Recommendation by User Similarity Graph Based on Interest in Social Tagging -- Orchestrating Real-Valued Negative Selection Algorithm with Computational Efficiency for Crude Oil Price -- A New Algorithm of Automatic Grading in Computer Paperless Test System -- MLRF: Multi-Label Classification through Random Forest with Label-Set Partition -- Prediction of Oil and Water Layer by Kernel -- Local Fisher Discriminant Analysis -- Assessment of the Pillar 3 Financial and Risk Information -- Disclosures Usefulness to the Commercial Banks Users -- CKNNI: an Improved KNN-Based Missing Value Handling Technique -- An Item Based Collaborative Filtering System Combined with Genetic Algorithms Using Rating Behavior -- Natural Language Processing and Computational Linguistics -- Short Text Classification Based on Semantics -- Name Disambiguation Using Semi-Supervised Topic Model -- Automatic Evaluation of Machine Translation through the Residual Analysis -- Is the Most Frequent Sense of a Word Better Connected in a Semantic Network? -- Language Processing and Human Cognition -- An Ontology-Based Approach for Measuring Semantic Similarity between Words -- Intelligent Control and Automation -- Knowledge Bases’ Control for Intelligent Professional Activity Automatization -- Maximum Class-Separability Based Discriminant Feature Selection Using GA for Reliable Fault Diagnosis of Induction Motors -- Multi-Fault Diagnosis of Roller Bearings Using Support Vector Machines with an Improved Decision Strategy -- A Local Neural Networks Approximation Control of Uncertain Robot Manipulators -- Intelligent Communication Networks and Web Applications -- A Quantum-Inspired Immune Clonal Algorithm Based Handover Decision Mechanism with ABC Supported -- An IEEE 802.21 Based Heterogeneous Access Network Selection Mechanism -- A Dijkstra Based Multi-layer Satellite Network Routing Mechanism -- The Research on Optimizing Deployment Strategy for Aviation SWIM Application Servers -- Modeling Fault Tolerated Mobile Agents by Colored Petri Nets -- A Self-Adaptive Context-Aware Model for Mobile Commerce -- Research and Implementation on Autonomic Integration Technology of Smart Devices Based on DPWS -- Experimental Verification of the Dependence between the Expected and Observed Visit Rate of Web Pages -- Bioinformatics Theory and Methods.-Kernel Independent Component Analysis-Based Prediction on the Protein O-Glycosylation Sites Using Support Vectors Machine and Ensemble Classifiers -- Semantic Role Labeling for Biomedical Corpus Using Maximum Entropy Classifier -- Automatic Detection of Yeast and Pseudohyphal Form Cells in the Human Pathogen Candida Glabrata -- Semi-Supervised Feature Extraction for RNA-Seq Data Analysis -- Compound Identification Using Random Projection for Gas Chromatography-Mass Spectrometry Data -- A Random Projection Ensemble Approach to Drug-Protein Interaction Prediction -- Kernel Local Fisher Discriminant Analysis-Based Prediction on Protein O-Glycosylation Sites Using SVM Ensembles -- Identification of Colorectal Cancer Related Genes -- Based on Subnetwork Extraction Algorithm -- Detection of Protein-Protein Interactions from Amino Acid Sequences Using A Rotation Forest Model with a Novel PR-LPQ Descriptor -- Healthcare and Medical Methods -- Age-related Alterations in the Sign Series Entropy of Short-term Pulse Rate Variability -- An Assessment Method of Tongue Image Quality Based on Random Forest in Traditional Chinese Medicine.-Detection of Epileptic Seizure in EEG Signals with Rule-based Interpretation by Random Forest Approach -- Sparse-view X-ray Computed Tomography Reconstruction via Mumford-Shah Total Variation Regularization -- The Utilisation of Dynamic Neural Networks for Medical Data Classifications-Survey with Case Study -- Neural Network Classification of Blood Vessels and Tubules based on Haralick Features Evaluated in Histological Images of Kidney Biopsy -- Dependable Healthcare Service Automation: A Holistic Approach -- Information Security -- Improved Concurrent Signature on Conic Curve -- Double Compression Detection in MPEG-4 Videos Based on Block Artifact Measurement with Variation of Prediction Footprint.
Record Nr. DUKE-007679718
Materiale a stampa
Lo trovi qui: Duke University
Advances in Information Retrieval [electronic resource] : 38th European Conference on IR Research, ECIR 2016, Padua, Italy, March 20-23, 2016. Proceedings / edited by Nicola Ferro, Fabio Crestani, Marie-Francine Moens, Josiane Mothe, Fabrizio Silvestri, Giorgio Maria Di Nunzio, Claudia Hauff, Gianmaria Silvello
Advances in Information Retrieval [electronic resource] : 38th European Conference on IR Research, ECIR 2016, Padua, Italy, March 20-23, 2016. Proceedings / edited by Nicola Ferro, Fabio Crestani, Marie-Francine Moens, Josiane Mothe, Fabrizio Silvestri, Giorgio Maria Di Nunzio, Claudia Hauff, Gianmaria Silvello
Edizione [1st ed. 2016.]
Estensione 1 online resource (XXXIX, 906 p. 124 illus. in color.) online resource.
Disciplina 025.04
Accesso persona Ferro, Nicola
Crestani, Fabio
Moens, Marie-Francine
Mothe, Josiane
Silvestri, Fabrizio
Di Nunzio, Giorgio Maria
Hauff, Claudia
Silvello, Gianmaria
Accesso ente SpringerLink (Online service)
Genere/Forma Electronic books
ISBN 9783319306711
9783319306704
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Keynote Talks -- Social Context and News -- Machine Learning -- Question Answering -- Ranking -- Evaluation Methodology -- Probabilistic Modelling -- Evaluation Issues -- Multimedia -- Summarization -- Reproducibility -- Twitter -- Retrieval Models -- Applications -- Collaborative Filtering -- Short Papers -- Demos -- Industry Day -- Workshops -- Tutorials.
Record Nr. DUKE-007679752
Materiale a stampa
Lo trovi qui: Duke University
Advances in Knowledge Discovery and Data Mining [electronic resource] : 20th Pacific-Asia Conference, PAKDD 2016, Auckland, New Zealand, April 19-22, 2016, Proceedings, Part I / edited by James Bailey, Latifur Khan, Takashi Washio, Gill Dobbie, Joshua Zhexue Huang, Ruili Wang
Advances in Knowledge Discovery and Data Mining [electronic resource] : 20th Pacific-Asia Conference, PAKDD 2016, Auckland, New Zealand, April 19-22, 2016, Proceedings, Part I / edited by James Bailey, Latifur Khan, Takashi Washio, Gill Dobbie, Joshua Zhexue Huang, Ruili Wang
Estensione 1 online resource (XXIV, 608 p. 184 illus.) online resource.
Disciplina 006.312
Accesso persona Bailey, James
Khan, Latifur
Washio, Takashi, 1960-
Dobbie, Gillian
Huang, Joshua Zhexue
Wang, Ruili
Accesso ente SpringerLink (Online service)
Genere/Forma Electronic books
ISBN 9783319317533
9783319317526
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Classification -- Machine learning -- Applications -- Novel methods and algorithms -- Opinion mining and sentiment analysis -- Clustering -- Feature extraction and pattern mining -- Graph and network data -- Spatiotemporal and image data -- Anomaly detection and clustering -- Novel models and algorithms -- Text mining and recommender systems.
Record Nr. DUKE-007679757
Materiale a stampa
Lo trovi qui: Duke University