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.
Agents and Robots for Reliable Engineered Autonomy
| Agents and Robots for Reliable Engineered Autonomy |
| Autore | Cardoso Rafael C |
| Pubbl/distr/stampa | Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 |
| Descrizione fisica | 1 electronic resource (150 p.) |
| Soggetto topico | Technology: general issues |
| Soggetto non controllato |
belief-desire-intention (BDI)
jason robot operating system (ROS) robotic agents collective autonomy self-organisation aggregate computing multi-agent systems coordination robotics software engineering verification and validation human-agent interaction Rules of the Road Autonomous Vehicles agents model checking self-driving vehicle formal verification rational agent decision-making ROS |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910557485603321 |
Cardoso Rafael C
|
||
| Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries [[electronic resource] ] : 7th International Workshop, BrainLes 2021, Held in Conjunction with MICCAI 2021, Virtual Event, September 27, 2021, Revised Selected Papers, Part I / / edited by Alessandro Crimi, Spyridon Bakas
| Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries [[electronic resource] ] : 7th International Workshop, BrainLes 2021, Held in Conjunction with MICCAI 2021, Virtual Event, September 27, 2021, Revised Selected Papers, Part I / / edited by Alessandro Crimi, Spyridon Bakas |
| Autore | Crimi Alessandro |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (XXI, 489 p. 171 illus., 134 illus. in color.) |
| Disciplina | 006.37 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer vision
Artificial intelligence Computer engineering Computer networks Application software Computer Vision Artificial Intelligence Computer Engineering and Networks Computer and Information Systems Applications |
| Soggetto non controllato |
artificial intelligence
bioinformatics computer science computer systems computer vision education image analysis image processing image segmentation learning machine learning medical images neural networks pattern recognition segmentation methods software design software engineering software quality validation verification and validation |
| ISBN | 3-031-08999-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Supervoxel Merging towards Brain Tumor Segmentation -- Challenging Current Semi-Supervised Anomaly Segmentation Methods for Brain MRI -- Modeling multi-annotator uncertainty as multi-class segmentation problem -- Modeling multi-annotator uncertainty as multi-class segmentation problem -- Adaptive unsupervised learning with enhanced feature representation for intra-tumor partitioning and survival prediction for glioblastoma -- Predicting isocitrate dehydrogenase mutation status in glioma using structural brain networks and graph neural networks -- Optimization of Deep Learning based Brain Extraction in MRI for Low Resource Environments. Reciprocal Adversarial Learning for Brain Tumor Segmentation: A Solution to BraTS Challenge 2021 Segmentation Task -- Unet3D with Multiple Atrous Convolutions Attention Block for Brain Tumor Segmentation -- BRATS2021: exploring each sequence in multi-modal input for baseline U-net performance -- Automatic Brain Tumor Segmentation using Multi-scale Features and Attention Mechanism -- Simple and Fast Convolutional Neural Network applied to median cross sections for predicting the presence of MGMT promoter methylation in FLAIR MRI scans -- MSViT: Multi Scale Vision Transformer forBiomedical Image Segmentation -- Unsupervised Multimodal -- HarDNet-BTS: A Harmonic Shortcut Network for Brain Tumor Segmentation -- Multimodal Brain Tumor Segmentation Algorithm -- Swin UNETR: Swin Transformers for Semantic Segmentation of Brain Tumors in MRI Images -- Multi-plane UNet++ Ensemble for Glioblastoma Segmentation -- Multimodal Brain Tumor Segmentation using Modified UNet Architecture -- A video data based transfer learning approach for classification of MGMT status in brain tumor MR images -- Multimodal Brain Tumor Segmentation Using a 3D ResUNet in BraTS 2021 -- 3D MRI brain tumour segmentation with autoencoder regularization and Hausdorff distance loss function -- 3D CMM-Net with Deeper Encoder for Semantic Segmentation of Brain Tumors in BraTS2021 Challenge -- Cascaded training pipeline for 3D brain tumor segmentation -- nnU-Net with Region-based Training and Loss Ensembles for Brain Tumor Segmentation -- Brain Tumor Segmentation Using Attention Activated U-Net with Positive Mining -- Automatic segmentation of brain tumor using 3D convolutional neural networks -- Hierarchical and Global Modality Interaction for Brain Tumor Segmentation -- Ensemble Outperforms Single Models in Brain Tumor Segmentation -- Brain Tumor Segmentation using UNet-Context Encoding Network -- Ensemble CNN Networks for GBM Tumors Segmentation using Multi-parametric MRI. |
| Record Nr. | UNINA-9910585786203321 |
|
Crimi Alessandro
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries [[electronic resource] ] : 7th International Workshop, BrainLes 2021, Held in Conjunction with MICCAI 2021, Virtual Event, September 27, 2021, Revised Selected Papers, Part I / / edited by Alessandro Crimi, Spyridon Bakas
| Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries [[electronic resource] ] : 7th International Workshop, BrainLes 2021, Held in Conjunction with MICCAI 2021, Virtual Event, September 27, 2021, Revised Selected Papers, Part I / / edited by Alessandro Crimi, Spyridon Bakas |
| Autore | Crimi Alessandro |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (XXI, 489 p. 171 illus., 134 illus. in color.) |
| Disciplina | 006.37 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer vision
Artificial intelligence Computer engineering Computer networks Application software Computer Vision Artificial Intelligence Computer Engineering and Networks Computer and Information Systems Applications |
| Soggetto non controllato |
artificial intelligence
bioinformatics computer science computer systems computer vision education image analysis image processing image segmentation learning machine learning medical images neural networks pattern recognition segmentation methods software design software engineering software quality validation verification and validation |
| ISBN | 3-031-08999-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Supervoxel Merging towards Brain Tumor Segmentation -- Challenging Current Semi-Supervised Anomaly Segmentation Methods for Brain MRI -- Modeling multi-annotator uncertainty as multi-class segmentation problem -- Modeling multi-annotator uncertainty as multi-class segmentation problem -- Adaptive unsupervised learning with enhanced feature representation for intra-tumor partitioning and survival prediction for glioblastoma -- Predicting isocitrate dehydrogenase mutation status in glioma using structural brain networks and graph neural networks -- Optimization of Deep Learning based Brain Extraction in MRI for Low Resource Environments. Reciprocal Adversarial Learning for Brain Tumor Segmentation: A Solution to BraTS Challenge 2021 Segmentation Task -- Unet3D with Multiple Atrous Convolutions Attention Block for Brain Tumor Segmentation -- BRATS2021: exploring each sequence in multi-modal input for baseline U-net performance -- Automatic Brain Tumor Segmentation using Multi-scale Features and Attention Mechanism -- Simple and Fast Convolutional Neural Network applied to median cross sections for predicting the presence of MGMT promoter methylation in FLAIR MRI scans -- MSViT: Multi Scale Vision Transformer forBiomedical Image Segmentation -- Unsupervised Multimodal -- HarDNet-BTS: A Harmonic Shortcut Network for Brain Tumor Segmentation -- Multimodal Brain Tumor Segmentation Algorithm -- Swin UNETR: Swin Transformers for Semantic Segmentation of Brain Tumors in MRI Images -- Multi-plane UNet++ Ensemble for Glioblastoma Segmentation -- Multimodal Brain Tumor Segmentation using Modified UNet Architecture -- A video data based transfer learning approach for classification of MGMT status in brain tumor MR images -- Multimodal Brain Tumor Segmentation Using a 3D ResUNet in BraTS 2021 -- 3D MRI brain tumour segmentation with autoencoder regularization and Hausdorff distance loss function -- 3D CMM-Net with Deeper Encoder for Semantic Segmentation of Brain Tumors in BraTS2021 Challenge -- Cascaded training pipeline for 3D brain tumor segmentation -- nnU-Net with Region-based Training and Loss Ensembles for Brain Tumor Segmentation -- Brain Tumor Segmentation Using Attention Activated U-Net with Positive Mining -- Automatic segmentation of brain tumor using 3D convolutional neural networks -- Hierarchical and Global Modality Interaction for Brain Tumor Segmentation -- Ensemble Outperforms Single Models in Brain Tumor Segmentation -- Brain Tumor Segmentation using UNet-Context Encoding Network -- Ensemble CNN Networks for GBM Tumors Segmentation using Multi-parametric MRI. |
| Record Nr. | UNISA-996483157303316 |
|
Crimi Alessandro
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Building Transformation Networks for Consistent Evolution of Interrelated Models
| Building Transformation Networks for Consistent Evolution of Interrelated Models |
| Autore | Klare Heiko |
| Pubbl/distr/stampa | Karlsruhe, : KIT Scientific Publishing, 2022 |
| Descrizione fisica | 1 electronic resource (598 p.) |
| Collana | The Karlsruhe Series on Software Design and Quality |
| Soggetto topico | Computer science |
| Soggetto non controllato |
Softwaretechnik
Modellgetriebene Entwicklung Modellkonsistenz Modelltransformationen Transformationsnetzwerke software engineering model-driven engineering model consistency model transformations transformation networks |
| ISBN | 1000138566 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910556098803321 |
|
Klare Heiko
|
||
| Karlsruhe, : KIT Scientific Publishing, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Coder's Path to Wealth and Independence / / by Mark Beckner
| The Coder's Path to Wealth and Independence / / by Mark Beckner |
| Autore | Beckner Mark |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2014 |
| Descrizione fisica | 1 online resource (234 p.) |
| Disciplina | 005.11 |
| Soggetto topico |
Success in business
Computer programmers |
| Soggetto non controllato |
computerwetenschappen
computer sciences programmeren programming software engineering operating systems Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen) |
| ISBN | 1-4842-0421-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Foreword; About the Author; Acknowledgments; Introduction; Roadmap to Content; Chapter 1: Travel; From Rest to Motion; The Two Types of Business Travel; Critical Business Travel; Noncritical Business Travel; Redefining the Rules; Seven Techniques to Avoid Unnecessary Travel; A Word on Staying in Motion Mentally; Nine Essential Rules for Travel; Conclusion; Chapter 2: Skills; The Nature of Programming; Programming Skills; Beyond Programming; The Nature of Business; Factors for Success; A Word on Luck and Chance; From Programmer to Entrepreneur; Conclusion.
Chapter 3: Discipline and EducationDiscipline; Eleven Steps for Professional Discipline; Six Activities for Mental Discipline; Types of Education; Traditional Education; Professional Education; Personal Education; Reading; Mentorships; A Word on Education; Conclusion; Chapter 4: Ethics; The Transitory Nature of Morality; Fundamental Ethics of Behavior; The Ethics of Business; The Ethics of Coding; Coding for the Next Generation; Focusing on Project and Client Priorities; Delivering the Best Possible Solution; Being a Strong Communicator; Dealing with Unethical People; Conclusion. Chapter 5: Structuring Your BusinessProtecting Yourself; Business Structure Options; Creating the Business; Taxes; Payroll; Insurance; Professional Insurance; Personal Insurance; Infrastructure; Retirement Planning; Conclusion; Chapter 6: Advertising and Marketing; Publishing; Ten Steps to Publishing a Book; Step 1: Select Several Topics; Step 2: Create the Title and Summary; Step 3: Contact a Publisher; Step 4: Submit Your Proposal; Step 5: Finalize Your Proposal; Step 6: Receive a Contract; Step 7: Write; Step 8: Respond to Edits; Step 9: Compile "Front Matter" Material; Biography. IntroductionForeword; Step 10: Prepare to Reach Out; Publishing an Article; Utilizing Your Published Material; Offer It to Known Contacts; Use It to Solidify Introductions; Use It to Open Conversations with New Contacts; Use It to Sell Your Services; Your Web Presence; Additional Collateral; A Word on Branding; Conclusion; Chapter 7: Sales; Networking; The Importance of Partnerships; Prospecting and Finding New Work; Converting Prospects to Sales; Six Steps to Close a Sale; Pricing Strategies; The Sales Plateau; Balancing Sales with Delivery; Conclusion; Chapter 8: Proposals and Contracts. The Proposal ProcessThe Contract Process; How to Write a Contract; Hourly Contracts; Retainer Contracts; Sample Fixed-Fee Contract; Invoicing; Payment Strategies; Conclusion; Chapter 9: Fees and Income; Get Comfortable with Money; Take Every Opportunity: Multiple Revenue Streams; Five Techniques for Delivering on Multiple Projects; Create Appropriate Fee Structures; Hourly Fees; Fixed Fees; Retainer-Based Fees; Determine Appropriate Fees; Define Your Goals for Income; Conclusion; Chapter 10: Goal Setting; Types of Goals; Business Goals; Personal Goals; How to Define and Execute on Goals. |
| Record Nr. | UNINA-9910300659903321 |
|
Beckner Mark
|
||
| Berkeley, CA : , : Apress : , : Imprint : Apress, , 2014 | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
