SHARE Virtual Discovery Environment

English

Pubblicazioni (Istanze)

Vai a Persone/Opere

Home / (Tutto) >> LNCS sublibrary. SL 1, Theoretical computer science and general issues

Info

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

Info

Utilizzare questo link per rimuovere la selezione effettuata.

Export / Download (0)

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

Biblioteca

University of Pennsylvania (2129)
Stanford University (1721)
New York University (663)
University of Alberta / NEOS Library Consortium (235)
Duke University (137)

Tutto
+

MARC Lista (tabellare) Raggruppa

Seleziona tutti

Learning and intelligent optimization : 14th International Conference, LION 14, Athens, Greece, May 24-28, 2020, Revised selected papers / Ilias S. Kotsireas, Panos M. Pardalos (eds.).

[LION (Conference) (14th : 2020 : Athens, Greece)]

Materiale a stampa

Lo trovi qui: New York University

Applied reconfigurable computing [electronic resource] : architectures, tools, and applications : 16th International Symposium, ARC 2020, Toledo, Spain, April 1-3, 2020, proceedings / Fernando Rincón, Jesús Barba, Hayden K.H. So, Pedro Diniz, Julián Caba (eds.).

[ARC (Symposium) (16th : 2020 : Toledo, Spain)]

Materiale a stampa

Lo trovi qui: New York University

Computational science and its applications -- ICCSA 2015 : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings. Part IV / Osvaldo Gervasi [and 7 more] (eds.).

[ICCSA (Conference) (15th : 2015 : Banff, Alta.)]

Materiale a stampa

Lo trovi qui: New York University

Computational science and its applications -- ICCSA 2015 : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings. Part III / Osvaldo Gervasi [and 7 more] (eds.).

[ICCSA (Conference) (15th : 2015 : Banff, Alta.)]

Materiale a stampa

Lo trovi qui: New York University

Algebraic informatics : 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings / Andreas Maletti (ed.).

[CAI (Conference) (6th : 2015 : Stuttgart, Germany)]

Materiale a stampa

Lo trovi qui: New York University

Theory and applications of satisfiability testing -- SAT 2015 : 18th International Conference Austin, TX, USA, September 24-27, 2015, Proceedings / Marijn Heule, Sean Weaver (eds.).

[SAT (Conference) (18th : 2015 : Austin, Texas)]

Materiale a stampa

Lo trovi qui: New York University

Distributed computing [electronic resource] : 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings / edited by Yoram Moses

[DISC (Symposium) (29th : 2015 : Tokyo, Japan)]

Materiale a stampa

Lo trovi qui: New York University

Graph drawing and network visualization [electronic resource] : 23rd International Symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, Revised Selected Papers / edited by Emilio Di Giacomo, Anna Lubiw

[GD (Symposium) (23rd : 2015 : Los Angeles, Calif.)]

Materiale a stampa

Lo trovi qui: New York University

Applications of evolutionary computation : 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30-April 1, 2016, Proceedings, Part I / Giovanni Squillero, Paolo Burelli et al. (eds.).

[EvoApplications (Conference) (19th : 2016 : Porto, Portugal)]

Materiale a stampa

Lo trovi qui: New York University

Sequences and their applications -- SETA 2014 : 8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014 : proceedings / Kai-Uwe Schmidt, Arne Winterhof (Eds.).

[SETA (Conference) (8th : 2014 : Melbourne, Vic.)]

Materiale a stampa

Lo trovi qui: New York University

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

Formato

Livello bibliografico

Monografie (4885)

Data

Data di pubblicazione

2019 (527)
2007 (410)
2010 (388)
2012 (366)
2008 (356)
2015 (356)
2011 (349)
2014 (327)
2013 (307)
2009 (267)
2016 (262)

Soggetto-Autore

Bjørner, D. (Dines), 1937- (3)
De Nicola, Rocco (3)
Zhou, Chaochen, 1937- (3)
Bjørner, D. (Dines), 1937- -- Congresses (2)
Bjørner, D., 1937- (2)
Maurer, Hermann A., 1941- (2)

Creatore	[LION (Conference) (14th : 2020 : Athens, Greece)]
Estensione	1 online resource (443 p.).
Disciplina	006.3/1
Accesso persona	Kotsireas, Ilias Pardalos, P. M. (Panos M.), 1954-
Genere/Forma	Electronic books
ISBN	9783030535520 3030535525 9783030535513
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Intro -- Guest Editorial -- Organization -- Contents -- Optimization for Urban Air Mobility -- 1 Urban Air Mobility -- 2 Unmanned Aircraft System Service Providers Deconfliction -- 3 Deconfliction for Trajectory-Based Operations -- 4 Conclusion -- References -- A Matheuristic Algorithm for Solving the Vehicle Routing Problem with Cross-Docking -- 1 Introduction -- 2 Problem Description -- 3 Proposed Algorithm -- 4 Computational Results -- 5 Conclusion -- References -- Physical Activity as a Risk Factor in the Progression of Osteoarthritis: A Machine Learning Perspective -- 1 Introduction 2 Data Description -- 3 Methodology -- 3.1 Data Preprocessing -- 3.2 Learning with Different ML Models -- 3.3 Validation -- 4 Results and Discussion -- 4.1 Results on the Entire Feature Set -- 4.2 Results on Swartz Features -- 4.3 Results on Troiano Features -- 4.4 Results on Freedson Features -- 4.5 Results on the Combination of Swartz, Freedson and Troiano Features -- 5 Conclusions -- References -- QPTAS for the CVRP with a Moderate Number of Routes in a Metric Space of Any Fixed Doubling Dimension -- 1 Introduction -- 2 Problem Statement -- 3 Approximation Scheme: An Overview -- 4 Conclusion Travel Times Equilibration Procedure for Route-Flow Traffic Assignment Problem -- 1 Introduction -- 2 Traffic Assignment Problem -- 3 Descent Direction for Equilibrium Route-Flow Traffic Assignment Problem -- 4 Algorithm -- 5 Numerical Result -- 6 Conclusion -- References -- confStream: Automated Algorithm Selection and Configuration of Stream Clustering Algorithms -- 1 Introduction -- 2 Background -- 2.1 Stream Clustering -- 2.2 Automated Machine Learning -- 3 Automated Algorithm Selection and Configuration for Stream Clustering -- 4 Experiments -- 4.1 Experimental Setup -- 4.2 Results
Record Nr.	NYU-007644297

Creatore	[ARC (Symposium) (16th : 2020 : Toledo, Spain)]
Estensione	1 online resource (407 p.).
Disciplina	004
Accesso persona	Rincón, Fernando Barba, Jesús So, Hayden K. H. Diniz, Pedro C. Caba, Julián
Genere/Forma	Electronic books Conference papers and proceedings
ISBN	9783030445348 3030445348
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Intro -- Preface -- Organization -- Contents -- Design Methods and Tools -- Improving Performance Estimation for FPGA-Based Accelerators for Convolutional Neural Networks -- 1 Introduction -- 2 Background -- 3 Gaussian Process with an Analytic Mean Function -- 4 Accelerator and Dataset -- 4.1 Accelerator's Architecture -- 4.2 Dataset -- 5 Evaluation -- 6 Conclusion and Future Work -- References -- Judiciously Spreading Approximation Among Arithmetic Components with Top-Down Inexact Hardware Design -- 1 Introduction -- 2 State of the Art -- 3 Methodology -- 4 Experimental Evaluation 4.1 Experimental Setup -- 4.2 Combinatorial Designs -- 4.3 Sequential Design -- 5 Conclusion -- References -- Optimising Operator Sets for Analytical Database Processing on FPGAs -- 1 Introduction -- 2 Related Work -- 3 Database Primitives -- 4 Optimisation Targets -- 4.1 Hardware Operator Granularity -- 4.2 Matching of Composed Operators -- 5 Results -- 5.1 Evaluation Setup -- 5.2 Optimisation Process -- 5.3 Discussion -- 6 Conclusion -- References -- Automated Toolchain for Enhanced Productivity in Reconfigurable Multi-accelerator Systems -- 1 Introduction -- 2 Technical Background 2.1 Basic Concepts on Reconfiguration -- 2.2 IMPRESS -- 2.3 ARTICo3 -- 3 Enhancing Productivity with Advanced Reconfiguration Features -- 4 Integrating IMPRESS in ARTICo3 -- 4.1 Modifications in ARTICo3 Design Flow -- 4.2 Run-Time Reconfiguration Management of Relocatable Bitstreams -- 5 Model-Based Design of Hardware Accelerators -- 6 Experimental Results -- 7 Conclusions -- References -- Chisel Usecase: Designing General Matrix Multiply for FPGA -- 1 Introduction -- 2 High Level Methodology -- 2.1 High Level Description -- 2.2 From Application to Architecture -- 3 Methodology Usecase 4 Results -- 4.1 Experimental Setup -- 4.2 Control of Generated Hardware -- 4.3 Architecture Exploration: Dimensioning the Application -- 4.4 Existing Solutions -- 4.5 Analysis and Contribution -- 5 Conclusion -- References -- Cycle-Accurate Debugging of Embedded Designs Using Recurrent Neural Networks -- 1 Introduction -- 2 Related Work -- 3 Cycle-Accurate Debugging by RNN -- 3.1 Design Methodology -- 3.2 RNN Implementation -- 4 Obstacle Avoidance as Use Case -- 5 Results -- 5.1 Resource Utilization -- 5.2 Debugging Through RNNs -- 5.3 Training Dataset Requirement -- 6 Conclusions -- References Soft-Error Analysis of Self-reconfiguration Controllers for Safety Critical Dynamically Reconfigurable FPGAs -- 1 Introduction -- 2 Background and Related Works -- 2.1 Internal Configuration Access Port and Internal Configuration Controller -- 2.2 Dynamically Reconfigurable Processing Module -- 2.3 SRAM-Based FPGAs Radiation Sensitivity and Evaluation Methodologies -- 3 Evaluation Framework -- 3.1 DRPM Setup -- 3.2 Fault Injection Platform -- 4 Experimental Results -- 4.1 SEUs Injection Campaign Results -- Avionic Environment -- 4.2 MBUs Injection Campaign Results -- Space Environment
Record Nr.	NYU-007547042

Creatore	[ICCSA (Conference) (15th : 2015 : Banff, Alta.)]
Estensione	1 online resource (xxxiv, 762 pages) : illustrations.
Disciplina	004
Accesso persona	Gervasi, Osvaldo, editor
Genere/Forma	Electronic books Conference papers and proceedings
ISBN	9783319214108 3319214101 9783319214092
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Agricultural and environment information and decision support systems -- Approaches or methods of security engineering -- Information systems and technologies for emergency preparedness and risk assessment -- Web-based learning -- Bio-inspired computing and applications -- Computer-aided modeling, simulation, and analysis -- Computational and applied statistics -- Computational geometry and security applications -- Computational algorithms and sustainable assessment -- Chemistry and materials sciences and technologies -- Computational optimization and applications -- Cities, technologies and planning -- Econometrics and multidimensional evaluation in the urban environment -- Future computing systems, technologies, and applications -- Geographical analysis, urban modeling, spatial statistics -- Land use monitoring for soil consumption reduction -- Mobile communications -- Mobile computing, sensing, and actuation for cyber physical systems -- Quantum mechanics: computational strategies and applications -- Scientific computing infrastructure -- Software engineering processes and applications -- Software quality -- Spatio-temporal analytics -- Virtual reality and its applications.
Record Nr.	NYU-004455748

Creatore	[ICCSA (Conference) (15th : 2015 : Banff, Alta.)]
Estensione	1 online resource (xxxiv, 826 pages) : illustrations.
Disciplina	004
Accesso persona	Gervasi, Osvaldo, editor
Genere/Forma	Electronic books Conference papers and proceedings
ISBN	9783319214702 3319214705 9783319214696
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Agricultural and environment information and decision support systems -- Approaches or methods of security engineering -- Information systems and technologies for emergency preparedness and risk assessment -- Web-based learning -- Bio-inspired computing and applications -- Computer-aided modeling, simulation, and analysis -- Computational and applied statistics -- Computational geometry and security applications -- Computational algorithms and sustainable assessment -- Chemistry and materials sciences and technologies -- Computational optimization and applications -- Cities, technologies and planning -- Econometrics and multidimensional evaluation in the urban environment -- Future computing systems, technologies, and applications -- Geographical analysis, urban modeling, spatial statistics -- Land use monitoring for soil consumption reduction -- Mobile communications -- Mobile computing, sensing, and actuation for cyber physical systems -- Quantum mechanics: computational strategies and applications -- Scientific computing infrastructure -- Software engineering processes and applications -- Software quality -- Spatio-temporal analytics -- Virtual reality and its applications.
Record Nr.	NYU-004455751

Creatore	[CAI (Conference) (6th : 2015 : Stuttgart, Germany)]
Estensione	1 online resource (viii, 223 pages) : illustrations.
Disciplina	005.13
Accesso persona	Maletti, Andreas, editor
Genere/Forma	Electronic books Conference papers and proceedings
ISBN	9783319230214 3319230212 9783319230207
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Learning Weighted Automata -- More Than 1700 Years of Word Equations -- An Algebraic Geometric Approach to Multidimensional Words -- Why We Need Semirings in Automata Theory -- Unbordered Pictures: Properties and Construction -- Effective Invariant Theory of Permutation Groups using Representation Theory -- On differential uniformity of maps that may hide an algebraic trapdoor -- On the Lower Block Triangular Nature of the Incidence Matrices to Compute the Algebraic Immunity of Boolean Functions -- Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics -- A New Partial Key Exposure Attack on Multi-power RSA -- A Chomsky-Sch~%#~127;utzenberger Theorem for Weighted Automata with Storage -- EF+EX Forest Algebras -- On near prime-order elliptic curves with small embedding degrees -- Key-Policy Multi-Authority Attribute-Based Encryption -- Extended Explicit Relations Between Trace, Definition Field, and Embedding Degree -- Complexity of Uniform Membership of Context-Free Tree Grammars -- Attacking BEAR and LION schemes in a realistic scenario -- Weighted Restarting Automata and Pushdown Relations -- Equivalence checking problem for finite state transducers over semigroups.
Record Nr.	NYU-004457225

Creatore	[EvoApplications (Conference) (19th : 2016 : Porto, Portugal)]
Estensione	1 online resource (xxv, 849 pages) : illustrations.
Disciplina	005.1
Accesso persona	Squillero, Giovanni, editor Burelli, Paolo, editor
Genere/Forma	Electronic books Conference papers and proceedings
ISBN	9783319312040 3319312049 9783319312033
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	EvoBAFIN: Enhanced Multiobjective Population-Based Incremental Learning with Applications in Risk Treaty Optimization -- Genetic Programming with Memory for Financial Trading -- Improving Fitness Functions in Genetic Programming for Classification on Unbalanced Credit Card Data -- Evolving Classification Models for Prediction of Patient Recruitment in Multicentre Clinical Trials Using Grammatical Evolution -- Portfolio Optimization, a Decision-Support Methodology for Small Budgets -- Evolutionary Multiobjective Optimization for Portfolios in Emerging Markets: Contrasting Higher Moments and Median Models -- EvoBIO: On Combinatorial Optimisation in Analysis of Protein-Protein Interaction and Protein Folding Networks -- A Multi-objective Genetic Programming Biomarker Detection Approach in Mass Spectrometry Data -- Automating Biomedical Data Science Through Tree-Based Pipeline Optimization -- Bicliques in Graphs with Correlated Edges: From Artificial to Biological Networks -- Hybrid Biclustering Algorithms for Data Mining -- Discovering Potential Clinical Profiles of Multiple Sclerosis from Clinical and Pathological Free Text Data with Constraint Non-negative Matrix Factorization -- Application of Evolutionary Algorithms for the Optimization of Genetic Regulatory Networks -- EvoCOMNET: A Hybrid Discrete Artificial Bee Colony Algorithm for the Multicast Routing Problem -- Evolving Coverage Optimisation Functions for Heterogeneous Networks Using Grammatical Genetic Programming -- Joint Topology Optimization, Power Control and Spectrum Allocation for Intra-Vehicular Multi-hop Sensor Networks Using Dandelion-Encoded Heuristics -- A Heuristic Crossover Enhanced Evolutionary Algorithm for Clustering Wireless Sensor Network -- A Variable Local Search Based Memetic Algorithm for the Load Balancing Problem in Cloud Computing -- An (MI)LP-Based Primal Heuristic for 3-Architecture Connected Facility Location in Urban Access Network Design -- Reducing Efficiency of Connectivity-Splitting Attack on Newscast via Limited Gossip -- A Distributed Intrusion Detection Framework Based on Evolved Specialized Ensembles of Classifiers -- UAV Fleet Mobility Model with Multiple Pheromones for Tracking Moving Observation Targets -- EvoCOMPLEX: Towards Intelligent Biological Control: Controlling Boolean Networks with Boolean Networks -- The Emergence of Cooperation in Public Goods Games on Randomly Growing Dynamic Networks -- Influence Maximization in Social Networks with Genetic Algorithms -- Measuring Diversity of Socio-Cognitively Inspired ACO Search -- Multiwinner Voting in Genetic Algorithms for Solving Ill-Posed Global Optimization Problems -- EvoENERGY: A Decentralized PSO with Decoder for Scheduling Distributed Electricity Generation -- Comparison of Multi-objective Evolutionary Optimization in Smart Building Scenarios -- Stigmergy-Based Scheduling of Flexible Loads -- Electrical Load Pattern Shape Clustering Using Ant Colony Optimization -- Optimization of Operation and Control Strategies for Battery Energy Storage Systems by Evolutionary Algorithms -- EvoGAMES: Orthogonally Evolved AI to Improve Difficulty Adjustment in Video Games -- There Can Be only One: Evolving RTS Bots via Joust Selection -- Constrained Level Generation through Grammar-Based Evolutionary Algorithms -- Evolving Chess-Like Games Using Relative Algorithm Performance Profiles -- Online Evolution for Multi-action Adversarial Games -- The Story of Their Lives: Massive Procedural Generation of Heroes' Journeys Using Evolved Agent-Based Models and Logical Reasoning -- Dangerousness Metric for Gene Regulated Car Driving -- Using Isovists to Evolve Terrains with Gameplay Elements -- A Spatially-Structured PCG Method for Content Diversity in a Physics-Based simulation Game -- Design and Evaluation of an Extended Learning Classifier-Based StarCraft Micro AI -- EvoIASP: A Wrapper Feature Selection Approach to Classification with Missing Data -- Bare-Bone Particle Swarm Optimisation for Simultaneously Discretising and Selecting Features For High-Dimensional Classification -- Mutual Information Estimation for Filter Based Feature Selection Using Particle Swarm Optimization -- Speaker Verification on Unbalanced Data with Genetic Programming -- Binary Tomography Reconstruction by Particle Aggregation -- Population Based Ant Colony Optimization for Reconstructing ECG Signals -- EvoINDUSTRY: Can Evolutionary Algorithms Beat Dynamic Programming for Hybrid -- NSGA-II Based Auto-Calibration of Automatic Number Plate Recognition Camera for Vehicle Speed Measurement -- Environment-Model Based Testing with Differential Evolution in an Industrial Setting -- Workforce Scheduling in Inbound Customer Call Centres with a Case Study. .
Record Nr.	NYU-004461061

Creatore	[SETA (Conference) (8th : 2014 : Melbourne, Vic.)]
Estensione	1 online resource.
Disciplina	515.24
Accesso persona	Schmidt, Kai-Uwe Barani Winterhof, Arne
Genere/Forma	Electronic books Conference papers and proceedings
ISBN	9783319123257 3319123254 9783319123240 3319123246
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Relationships Between CCZ and EA Equivalence Classes and Corresponding Code Invariants -- Boolean Functions -- Results on Constructions of Rotation Symmetric Bent and Semi-bent Functions -- Properties of a Family of Cryptographic Boolean Functions -- A New Transform Related to Distance from a Boolean Function (Extended Abstract) -- Constructing Hyper-Bent Functions from Boolean Functions with the Walsh Spectrum Taking the Same Value Twice -- Characterizations of Plateaued and Bent Functions in Characteristic -- Perfect Sequences -- A Method of Optimisation of the Exhaustive Computer Search for Perfect Sequences -- Almost Six-Phase Sequences with Perfect Periodic Autocorrelation Function -- A Construction for Perfect Periodic Autocorrelation Sequences -- A Simple Construction of Almost Perfect Quinary ASK and QAM Sequences -- Correlation of Arrays -- Inflation of Perfect Arrays Over the Basic Quaternions of Size mn 1?4 ðq þ 1Þ=2 -- Families of 3D Arrays for Video Watermarking -- Relative Difference Sets -- The Nonexistence of ð18; 3; 18; 6Þ Relative Difference Sets -- Aperiodic Correlation -- Exhaustive Search for Optimal Minimum Peak Sidelobe Binary Sequences up to Length 80 -- The Inverse of the Star-Discrepancy Problem and the Generation of Pseudo-Random Numbers -- Pseudorandom Sequences and Stream Ciphers -- An Equivalence-Preserving Transformation of Shift Registers -- A Lattice Rational Approximation Algorithm for AFSRs Over Quadratic Integer Rings -- On the Lattice Structure of Inversive PRNG via the Additive Order -- Weaknesses in the Initialisation Process of the Common Scrambling Algorithm Stream Cipher -- Distribution Properties of Half-Sequence -- Crosscorrelation of Sequences -- A Note on Cross-Correlation Distribution Between a Ternary m-Sequence and Its Decimated Sequence -- Prime Numbers in Sequences -- Conjectures Involving Sequences and Prime Numbers -- OFDM and CDMA -- Optimal Sign Patterns for a Generalized Schmidl-Cox Method -- A Novel Construction of Asymmetric Sequence Pairs Set with Zero-Correlation Zone -- Frequency-Hopping Sequences On Low-Hit-Zone Frequency-Hopping Sequence Sets with Optimal Partial Hamming Correlation -- Improved Singleton Bound on Frequency Hopping Sequences.
Record Nr.	NYU-004452255