| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990010077920403321 |
|
|
Autore |
Baldi, Alberto |
|
|
Titolo |
Magie di mare : fabulazioni e raffigurazioni di antiche paure / Alberto Baldi |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910427689303321 |
|
|
Titolo |
Natural Language Processing for Electronic Design Automation / / edited by Mathias Soeken, Rolf Drechsler |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2020.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (115 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Physics |
Electronic circuits |
Electronics |
Microelectronics |
Computer-aided engineering |
Applied and Technical Physics |
Circuits and Systems |
Electronics and Microelectronics, Instrumentation |
Computer-Aided Engineering (CAD, CAE) and Design |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Chapter 1. (Semi-)Automatic Translation of Legal Regulations to Formal Representations: Expanding the Horizon of EDA Applications -- Chapter 2. Semi-Formalization of Requirements for Analog/Mixed-Signal Products with Application in Automotive Domain -- Chapter 3. Generation of Verification Artifacts from Natural Language Descriptions -- Chapter 4. Real-world Events Discovering with TWIST. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book describes approaches for integrating more automation to the early stages of EDA design flows. Readers will learn how natural language processing techniques can be utilized during early design stages, in order to automate the requirements engineering process and the translation of natural language specifications into formal descriptions. This book brings together leading experts to explain the state-of-the-art in natural language processing, enabling designers to integrate these techniques into algorithms, through existing frameworks. Serves as a single-source reference to natural language processing for electronic design automation; Provides techniques that can be used without a deep understanding of computer linguistics; Includes illustrative examples that make it easy to apply the techniques presented to the reader’s own design flow. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9911049175003321 |
|
|
Autore |
Lu Huimin |
|
|
Titolo |
Artificial Intelligence and Robotics : 10th International Symposium, ISAIR 2025, Nantong, China, August 24-26, 2025, Revised Selected Papers, Part I |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Singapore : , : Springer, , 2026 |
|
©2026 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (540 pages) |
|
|
|
|
|
|
Collana |
|
Communications in Computer and Information Science Series ; ; v.2745 |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 10th International Symposium Conference on Artificial Intelligence and Robotics, ISAIR 2025, in Nantong, China, in August 24-26, 2025. |
|
|
|
|
|
|
|
| |