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.
The golden ticket [[electronic resource] ] : P, NP, and the search for the impossible / / Lance Fortnow
| The golden ticket [[electronic resource] ] : P, NP, and the search for the impossible / / Lance Fortnow |
| Autore | Fortnow Lance <1963-> |
| Edizione | [Course Book] |
| Pubbl/distr/stampa | Princeton, : Princeton University Press, 2013 |
| Descrizione fisica | 1 online resource (189 p.) |
| Disciplina | 511.3/52 |
| Soggetto topico |
NP-complete problems
Computer algorithms |
| Soggetto non controllato |
Facebook
Frenemy Hamiltonian paths Internet Ketan Mulmuley Leonid Levin Martin Hellman NP problem NP problems NP-complete problems NP-complete P versus NP problem P versus NP Richard Feynman Steve Cook Urbana algorithm Whitfield Diffie academic work algebraic geometry algorithm algorithms approximation big data computational problems computer science computers computing cryptography cryptosystem database decryption digital computers efficient algorithms efficient computation encryption factoring fast computers graph isomorphism heuristics linear programming mathematics max-cut network security networking new technologies parallel computation perebor prime numbers problems programming public-key cryptography quantum computers quantum computing quantum cryptography quantum mechanics quantum physical systems research community secret messages social networking data solution teleportation |
| ISBN |
1-4008-4661-7
1-299-15656-8 |
| Classificazione | COM051300MAT015000MAT017000MAT034000 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Contents -- Preface -- Chapter 1 The Golden Ticket -- Chapter 2 The Beautiful World -- Chapter 3 P and NP -- Chapter 4 The Hardest Problems in NP -- Chapter 5 The Prehistory of P versus NP -- Chapter 6 Dealing with Hardness -- Chapter 7 Proving P ≠ NP -- Chapter 8 Secrets -- Chapter 9 Quantum -- Chapter 10 The Future -- Acknowledgments -- Chapter Notes and Sources -- Index |
| Record Nr. | UNINA-9910779319903321 |
Fortnow Lance <1963->
|
||
| Princeton, : Princeton University Press, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The golden ticket : P, NP, and the search for the impossible / / Lance Fortnow
| The golden ticket : P, NP, and the search for the impossible / / Lance Fortnow |
| Autore | Fortnow Lance <1963-> |
| Edizione | [Course Book] |
| Pubbl/distr/stampa | Princeton, : Princeton University Press, 2013 |
| Descrizione fisica | 1 online resource (189 p.) |
| Disciplina | 511.3/52 |
| Soggetto topico |
NP-complete problems
Computer algorithms |
| Soggetto non controllato |
Facebook
Frenemy Hamiltonian paths Internet Ketan Mulmuley Leonid Levin Martin Hellman NP problem NP problems NP-complete problems NP-complete P versus NP problem P versus NP Richard Feynman Steve Cook Urbana algorithm Whitfield Diffie academic work algebraic geometry algorithm algorithms approximation big data computational problems computer science computers computing cryptography cryptosystem database decryption digital computers efficient algorithms efficient computation encryption factoring fast computers graph isomorphism heuristics linear programming mathematics max-cut network security networking new technologies parallel computation perebor prime numbers problems programming public-key cryptography quantum computers quantum computing quantum cryptography quantum mechanics quantum physical systems research community secret messages social networking data solution teleportation |
| ISBN |
1-4008-4661-7
1-299-15656-8 |
| Classificazione | COM051300MAT015000MAT017000MAT034000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Contents -- Preface -- Chapter 1 The Golden Ticket -- Chapter 2 The Beautiful World -- Chapter 3 P and NP -- Chapter 4 The Hardest Problems in NP -- Chapter 5 The Prehistory of P versus NP -- Chapter 6 Dealing with Hardness -- Chapter 7 Proving P ≠ NP -- Chapter 8 Secrets -- Chapter 9 Quantum -- Chapter 10 The Future -- Acknowledgments -- Chapter Notes and Sources -- Index |
| Record Nr. | UNINA-9910818849503321 |
|
Fortnow Lance <1963->
|
||
| Princeton, : Princeton University Press, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Huawei and Snowden Questions [[electronic resource] ] : Can Electronic Equipment from Untrusted Vendors be Verified? Can an Untrusted Vendor Build Trust into Electronic Equipment? / / by Olav Lysne
| The Huawei and Snowden Questions [[electronic resource] ] : Can Electronic Equipment from Untrusted Vendors be Verified? Can an Untrusted Vendor Build Trust into Electronic Equipment? / / by Olav Lysne |
| Autore | Lysne Olav |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2018 |
| Descrizione fisica | 1 online resource (XIV, 116 p. 6 illus., 5 illus. in color.) |
| Disciplina | 005.8 |
| Collana | Simula SpringerBriefs on Computing |
| Soggetto topico |
Computer security
Computer engineering Management information systems Computer science Political science Economic policy Privacy Computer Engineering Management of Computing and Information Systems Governance and Government R & D/Technology Policy |
| Soggetto non controllato |
cyber security
IT management computer science computer engineering digital vulnerability |
| ISBN | 3-319-74950-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Introduction -- 2 Trust -- 3 What is an ICT-System? -- 4 Development of ICT Systems -- 5 Theoretical Foundation -- 6 Reverse Engineering of Code -- 7 Static Detection of Malware -- 8 Dynamic Detection Methods -- 9 Formal Methods -- 10 Software Quality and Quality Management -- 11 Containment of Untrusted Modules -- 12 Summary and Way Forward. |
| Record Nr. | UNINA-9910293145603321 |
|
Lysne Olav
|
||
| Cham, : Springer Nature, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Informatics of Time and Events : Inaugural lecture delivered on Thursday 28 March 2013 / / Gérard Berry
| The Informatics of Time and Events : Inaugural lecture delivered on Thursday 28 March 2013 / / Gérard Berry |
| Autore | Berry Gérard |
| Pubbl/distr/stampa | Paris, : Collège de France, 2016 |
| Altri autori (Persone) |
BerryGérard
HarocheSerge |
| Soggetto topico |
Multidisciplinary
informatique programmation embedded systems computer science programming language computer programming synchronization time |
| Soggetto non controllato |
computer science
computer programming embedded systems synchronization programming language time |
| ISBN | 2-7226-0429-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910149220103321 |
|
Berry Gérard
|
||
| Paris, : Collège de France, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Integrated STEM and STEM Partnerships: Teaching and Learning
| Integrated STEM and STEM Partnerships: Teaching and Learning |
| Autore | Burrows Andrea |
| Pubbl/distr/stampa | Basel, : MDPI - Multidisciplinary Digital Publishing Institute, 2022 |
| Descrizione fisica | 1 electronic resource (200 p.) |
| Soggetto topico |
Humanities
Education |
| Soggetto non controllato |
mathematics professional development
teachers of color mathematical identities gender gap ICT education human capital extracurricular STEM activities in-presence and online education STEM education professional development qualitative case study teacher conceptions high school research experience STEM scientific inquiry educational reform teacher preparation partnership diverse learners STEM school distributed leadership school administration microcredential cybersecurity education computer science systems thinking precollegiate teachers self-efficacy coding integrated STEM partnerships interdisciplinary teams informal education team building real-world problems authentic science effective collaboration partnership dimensions scientific literacy engineering literacy integrated STEM curriculum microbial fuel cell design-based inquiry engineering education pre-service teacher education social cognitive theory |
| ISBN | 3-0365-5650-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Building improvised microbial fuel cells: A model integrated STEM curriculum for middle-school learners in Singapore / Timothy Ter Ming Tan and Yew-Jin Lee. |
| Altri titoli varianti | Integrated STEM and STEM Partnerships |
| Record Nr. | UNINA-9910673906603321 |
|
Burrows Andrea
|
||
| Basel, : MDPI - Multidisciplinary Digital Publishing Institute, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model Order Reduction . Volume 3 Applications / / Peter Benner, Wil Schilders, Stefano Grivet-Talocia, Alfio Quarteroni, Gianluigi Rozza, Luís Miguel Silveira
| Model Order Reduction . Volume 3 Applications / / Peter Benner, Wil Schilders, Stefano Grivet-Talocia, Alfio Quarteroni, Gianluigi Rozza, Luís Miguel Silveira |
| Autore | Benner Peter |
| Pubbl/distr/stampa | Berlin/Boston, : De Gruyter, 2020 |
| Descrizione fisica | 1 online resource (VIII, 466 p.) |
| Disciplina | 515.353 |
| Collana | Model Order Reduction |
| Soggetto topico | MATHEMATICS / Numerical Analysis |
| Soggetto non controllato |
Complexity reduction
applications in engineering biomedical engineering computational physics computer science |
| ISBN |
3-11-049775-1
3-11-049900-2 |
| Classificazione | SK 955 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface to the third volume of Model Order Reduction -- Contents -- 1 Model reduction in chemical process optimization -- 2 Model order reduction in mechanical engineering -- 3 Case studies of model order reduction for acoustics and vibrations -- 4 Model order reduction in microelectronics -- 5 Complexity reduction of electromagnetic systems -- 6 Model reduction in computational aerodynamics -- 7 Model order reduction in neuroscience -- 8 Reduced-order modeling for applications to the cardiovascular system -- 9 From the POD-Galerkin method to sparse manifold models -- 10 Model order reduction in uncertainty quantification -- 11 Reduced-order modeling of large-scale network systems -- 12 Model order reduction and digital twins -- 13 MOR software -- Index |
| Record Nr. | UNINA-9910437642603321 |
|
Benner Peter
|
||
| Berlin/Boston, : De Gruyter, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model Order Reduction . Volume 3 Applications / / Peter Benner, Wil Schilders, Stefano Grivet-Talocia, Alfio Quarteroni, Gianluigi Rozza, Luís Miguel Silveira
| Model Order Reduction . Volume 3 Applications / / Peter Benner, Wil Schilders, Stefano Grivet-Talocia, Alfio Quarteroni, Gianluigi Rozza, Luís Miguel Silveira |
| Autore | Benner Peter |
| Pubbl/distr/stampa | Berlin/Boston, : De Gruyter, 2020 |
| Descrizione fisica | 1 online resource (VIII, 466 p.) |
| Disciplina | 515.353 |
| Collana | Model Order Reduction |
| Soggetto topico | MATHEMATICS / Numerical Analysis |
| Soggetto non controllato |
Complexity reduction
applications in engineering biomedical engineering computational physics computer science |
| ISBN |
3-11-049775-1
3-11-049900-2 |
| Classificazione | SK 955 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface to the third volume of Model Order Reduction -- Contents -- 1 Model reduction in chemical process optimization -- 2 Model order reduction in mechanical engineering -- 3 Case studies of model order reduction for acoustics and vibrations -- 4 Model order reduction in microelectronics -- 5 Complexity reduction of electromagnetic systems -- 6 Model reduction in computational aerodynamics -- 7 Model order reduction in neuroscience -- 8 Reduced-order modeling for applications to the cardiovascular system -- 9 From the POD-Galerkin method to sparse manifold models -- 10 Model order reduction in uncertainty quantification -- 11 Reduced-order modeling of large-scale network systems -- 12 Model order reduction and digital twins -- 13 MOR software -- Index |
| Record Nr. | UNISA-996398645103316 |
|
Benner Peter
|
||
| Berlin/Boston, : De Gruyter, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Multi-Agent Systems
| Multi-Agent Systems |
| Autore | Botti Vicent |
| Pubbl/distr/stampa | MDPI - Multidisciplinary Digital Publishing Institute, 2019 |
| Descrizione fisica | 1 electronic resource (392 p.) |
| Soggetto non controllato |
multi-agent systems
agent development framework semantic web online double auction agent development methodology intelligent agents travel behavior computational accountability coordinated control directed graph agent methodologies surface vehicle SEA_ML sociogram formation tracking socio-technical systems agreement technologies electronic bartering system delay social commitments human-machine interaction regression models collision avoidance electric vehicles mechanism design model-driven development agent technology multi agent systems computer science 3D representation multiagent systems scaled consensus multi-agent simulation multiple passive agents type-2 fuzzy inference system Artificial Intelligence bike sharing systems (BSS) trajectory mining Mobile Robot Navigation open data RBFNNs agent-based programming methodologies for agent-based systems socio–technical systems underactuated vehicle BDI agents autonomous agents Behavior Trees (BTs) coordination models pedestrian environment person tracking cognitive disabilities coordination commuting genetic algorithm ontology Genetic Programming (GP) user interaction levels intelligent hybrid systems complex network agent-oriented technologies agent-based modeling network management behavior modeling semantic web service mobile communication smart cities mobile device agent organizational model [-5]agent-based simulation agent-based social simulation agent-based simulation data visualization linked data ambient intelligence orientation velocity obstacle multi-agent system kinodynamic planning agent-based modelling charging stations organizations and institutions agent behavior tree mining agent-oriented software engineering carpooling perishable goods |
| ISBN | 3-03897-925-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910346690503321 |
|
Botti Vicent
|
||
| MDPI - Multidisciplinary Digital Publishing Institute, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Participative Urban Health and Healthy Aging in the Age of AI : 19th International Conference, ICOST 2022, Paris, France, June 27-30, 2022, Proceedings
| Participative Urban Health and Healthy Aging in the Age of AI : 19th International Conference, ICOST 2022, Paris, France, June 27-30, 2022, Proceedings |
| Autore | Aloulou Hamdi |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (317 pages) |
| Altri autori (Persone) |
AbdulrazakBessam
de Marassé-EnoufAntoine MokhtariMounir |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Network hardware
Software Engineering Information retrieval User interface design & usability Computer vision Information technology: general issues |
| Soggetto non controllato |
architecture types
artificial intelligence communication systems computer hardware computer networks computer science computer systems engineering Human-Computer Interaction (HCI) internet Internet of Things (IoT) network protocols sensors signal processing software architecture software design software engineering telecommunication systems ubiquitous computing user interfaces |
| ISBN | 3-031-09593-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910580293903321 |
|
Aloulou Hamdi
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Participative Urban Health and Healthy Aging in the Age of AI : 19th International Conference, ICOST 2022, Paris, France, June 27-30, 2022, Proceedings
| Participative Urban Health and Healthy Aging in the Age of AI : 19th International Conference, ICOST 2022, Paris, France, June 27-30, 2022, Proceedings |
| Autore | Aloulou Hamdi |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (317 pages) |
| Altri autori (Persone) |
AbdulrazakBessam
de Marassé-EnoufAntoine MokhtariMounir |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Network hardware
Software Engineering Information retrieval User interface design & usability Computer vision Information technology: general issues |
| Soggetto non controllato |
architecture types
artificial intelligence communication systems computer hardware computer networks computer science computer systems engineering Human-Computer Interaction (HCI) internet Internet of Things (IoT) network protocols sensors signal processing software architecture software design software engineering telecommunication systems ubiquitous computing user interfaces |
| ISBN | 3-031-09593-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996478861503316 |
|
Aloulou Hamdi
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
