Algorithms in Decision Support Systems |
Autore | García-Díaz Vicente |
Pubbl/distr/stampa | Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 |
Descrizione fisica | 1 electronic resource (162 p.) |
Soggetto topico | History of engineering & technology |
Soggetto non controllato |
semi-supervised learning
transfer learning radar emitter decision support systems population health management big data machine learning deep learning personalized patient care Nonlinear regression interactive platform component-based approach software architecture Eclipse-RCP (Rich Client Platform) spatial prediction rule-based expert systems tennis hitting technique computer algebra systems Groebner bases Boolean logic data envelopment analysis dimensionality reduction ensembles exhaustive state space search entropy associative classification class association rule vertical data representation classification algorithm evaluation parallel algorithms multi-objective optimization train rescheduling very large-scale decision support systems very large-scale data and program cores of information systems meta-database teleological meta-database thematic list indicators list computational methods list geographically dispersed systems external sources |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910557109603321 |
García-Díaz Vicente
![]() |
||
Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Automated Deduction - CADE 28 [[electronic resource] ] : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings |
Autore | Platzer André |
Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2021 |
Descrizione fisica | 1 online resource (655 p.) |
Altri autori (Persone) | SutcliffeGeoff |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Artificial intelligence
Mathematical theory of computation Computer programming / software development Software Engineering |
Soggetto non controllato |
Artificial Intelligence
Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming automata theory boolean functions computer programming first order logic formal languages formal logic logic programming model checking program verification semantics software architecture software design software quality software verification theorem provers theorem proving Mathematical theory of computation Computer programming / software engineering Computer architecture & logic design |
ISBN | 3-030-79876-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
Automated Deduction â CADE 28
Automated Deduction - CADE 28 |
Record Nr. | UNISA-996464423903316 |
Platzer André
![]() |
||
Cham, : Springer International Publishing AG, 2021 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings |
Autore | Platzer André |
Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2021 |
Descrizione fisica | 1 online resource (655 p.) |
Altri autori (Persone) | SutcliffeGeoff |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Artificial intelligence
Mathematical theory of computation Computer programming / software development Software Engineering |
Soggetto non controllato |
Artificial Intelligence
Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming automata theory boolean functions computer programming first order logic formal languages formal logic logic programming model checking program verification semantics software architecture software design software quality software verification theorem provers theorem proving Mathematical theory of computation Computer programming / software engineering Computer architecture & logic design |
ISBN | 3-030-79876-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
Automated Deduction â CADE 28
Automated Deduction - CADE 28 |
Record Nr. | UNINA-9910491025703321 |
Platzer André
![]() |
||
Cham, : Springer International Publishing AG, 2021 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson |
Autore | Blanchette Jasmin |
Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
Descrizione fisica | 1 online resource (xv, 756 pages) : illustrations (some color) |
Disciplina | 006.333 |
Altri autori (Persone) |
BlanchetteJasmin
KovácsLaura PattinsonDirk <1970-> |
Collana | Lecture notes in computer science |
Soggetto topico |
Automatic theorem proving
Computer logic |
Soggetto non controllato |
artificial intelligence
automata theory computer hardware computer networks computer programming computer systems embedded systems formal languages formal logic logic programming network protocols semantics software architecture software design software engineering theoretical computer science |
ISBN | 3-031-10769-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996483156703316 |
Blanchette Jasmin
![]() |
||
Cham, : Springer Nature, 2022 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson |
Autore | Blanchette Jasmin |
Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
Descrizione fisica | 1 online resource (xv, 756 pages) : illustrations (some color) |
Disciplina | 006.333 |
Altri autori (Persone) |
BlanchetteJasmin
KovácsLaura PattinsonDirk <1970-> |
Collana | Lecture notes in computer science |
Soggetto topico |
Automatic theorem proving
Computer logic |
Soggetto non controllato |
artificial intelligence
automata theory computer hardware computer networks computer programming computer systems embedded systems formal languages formal logic logic programming network protocols semantics software architecture software design software engineering theoretical computer science |
ISBN | 3-031-10769-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910585785003321 |
Blanchette Jasmin
![]() |
||
Cham, : Springer Nature, 2022 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Computational Intelligence and Human- Computer Interaction: Modern Methods and Applications |
Autore | Cojocar Grigoreta-Sofia |
Pubbl/distr/stampa | Basel, : MDPI - Multidisciplinary Digital Publishing Institute, 2022 |
Descrizione fisica | 1 electronic resource (192 p.) |
Soggetto topico |
Research & information: general
Mathematics & science |
Soggetto non controllato |
virtual dialogue assistant
natural language processing machine learning online distance learning ubiquitous computing smart cars natural interfaces multimodal interaction smart devices gesture input voice input digital storytelling cultural heritage usability evaluation multi-platform evaluation fingerspelling recognition depth sensor finger attention receptive field inter-finger relation speaker diarization spontaneous speech processing voice activity detection overlapping speech detection speaker extractor models speaker number estimation model fusion quality estimation distant speech processing artificial neural networks agile global software engineering architectural knowledge management knowledge condensing edutainment applications emotions aware applications adaptive learning software architecture services formal concept analysis conceptual knowledge processing virtual reality human–computer interaction automatic speech recognition acoustic modeling highly inflected word forms acoustic background |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | Computational Intelligence and Human- Computer Interaction |
Record Nr. | UNINA-9910576880303321 |
Cojocar Grigoreta-Sofia
![]() |
||
Basel, : MDPI - Multidisciplinary Digital Publishing Institute, 2022 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings . Part II. / / editors, Sharon Shoham, Yakir Vizel |
Autore | Shoham Sharon |
Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
Descrizione fisica | 1 online resource (560 pages) : illustrations (black and white) |
Altri autori (Persone) | VizelYakir |
Collana | Lecture notes in computer science |
Soggetto topico | Computer software - Verification |
Soggetto non controllato |
architecting
architecture verification and validation artificial intelligence computer programming computer science computer systems databases distributed computer systems embedded systems engineering formal languages formal logic linguistics mathematics model checking software architecture software design software engineering software quality theoretical computer science |
ISBN | 3-031-13188-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910586580503321 |
Shoham Sharon
![]() |
||
Cham, : Springer Nature, 2022 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings . Part II. / / editors, Sharon Shoham, Yakir Vizel |
Autore | Shoham Sharon |
Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
Descrizione fisica | 1 online resource (560 pages) : illustrations (black and white) |
Altri autori (Persone) | VizelYakir |
Collana | Lecture notes in computer science |
Soggetto topico | Computer software - Verification |
Soggetto non controllato |
architecting
architecture verification and validation artificial intelligence computer programming computer science computer systems databases distributed computer systems embedded systems engineering formal languages formal logic linguistics mathematics model checking software architecture software design software engineering software quality theoretical computer science |
ISBN | 3-031-13188-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996485664103316 |
Shoham Sharon
![]() |
||
Cham, : Springer Nature, 2022 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings . Part I. / / editors, Sharon Shoham, Yakir Vizel |
Autore | Shoham Sharon |
Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
Descrizione fisica | 1 online resource (563 pages) : illustrations (black and white) |
Disciplina | 005.14 |
Collana | Lecture Notes in Computer Science |
Soggetto topico | Computer software - Verification |
Soggetto non controllato |
architecting
architecture verification and validation artificial intelligence computer programming computer science computer systems distributed computer systems distributed systems embedded systems formal logic mathematics model checking programming languages software architecture software design software engineering software quality theoretical computer science verification verification and validation |
ISBN | 3-031-13185-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996485664203316 |
Shoham Sharon
![]() |
||
Cham, : Springer Nature, 2022 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings . Part I. / / editors, Sharon Shoham, Yakir Vizel |
Autore | Shoham Sharon |
Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
Descrizione fisica | 1 online resource (563 pages) : illustrations (black and white) |
Disciplina | 005.14 |
Collana | Lecture Notes in Computer Science |
Soggetto topico | Computer software - Verification |
Soggetto non controllato |
architecting
architecture verification and validation artificial intelligence computer programming computer science computer systems distributed computer systems distributed systems embedded systems formal logic mathematics model checking programming languages software architecture software design software engineering software quality theoretical computer science verification verification and validation |
ISBN | 3-031-13185-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910586580203321 |
Shoham Sharon
![]() |
||
Cham, : Springer Nature, 2022 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|