| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISOBSOBE00060235 |
|
|
Autore |
Sansovino, Francesco <1521-1583> |
|
|
Titolo |
Delle orationi volgarmente scritte da molti hvomini illvstri de tempi nostri parte prima [-seconda]. Nella quale si contengono discorsi appartenenti a principi, a senatori, a capitani, et ad ogni altra qualità di persone. Raccolte, rivedute et corrette da m. Francesco Sansovino. Con la tauola delle cose notabili per ordine d'alfabeto |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
In Venetia : al segno della Luna, 1575 |
|
|
|
|
|
|
|
Descrizione fisica |
|
2 parti [8], 1-280, [4] , 281-345 [i.e. 355, 1] carte ; 4° |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Marca V454-Z396 sui frontespizi |
Titolo della 2. parte.: Delle orationi volgarmente scritte da molti hvomini illvstri de tempi nostri nella quale si contengono ragionamenti filosofici, criminali, & funebri, appartenenti ad ogni qualità di persone .. |
Iniziali e fregi xilogrici |
Corsivo ; romano |
Segnatura: *-2*⁴ A-4A⁴ *⁴ A-T⁴ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996465689803316 |
|
|
Titolo |
Computational Logic in Multi-Agent Systems [[electronic resource] ] : 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers / / edited by Jürgen Dix, Michael Fisher, Peter Novák |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-280-39027-1 |
9786613568199 |
3-642-16867-1 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2010.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (IX, 197 p. 40 illus.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence ; ; 6214 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Mathematical logic |
Computer communication systems |
Software engineering |
Application software |
Computer logic |
Artificial Intelligence |
Mathematical Logic and Formal Languages |
Computer Communication Networks |
Software Engineering |
Information Systems Applications (incl. Internet) |
Logics and Meanings of Programs |
Kongress. |
Hamburg <2009> |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Planning for Multiagent Using ASP-Prolog -- Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL -- Reasoning about Multi-agent Domains Using Action Language : A Preliminary Study -- Model Checking Normative Agent Organisations -- |
|
|
|
|
|
|
|
|
|
|
|
|
Operational Semantics for BDI Modules in Multi-agent Programming -- InstQL: A Query Language for Virtual Institutions Using Answer Set Programming -- Interacting Answer Sets -- Argumentation-Based Preference Modelling with Incomplete Information -- A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier -- On the Implementation of Speculative Constraint Processing. |
|
|
|
|
|
|
3. |
Record Nr. |
UNISA996647864503316 |
|
|
Autore |
Li Haizhou |
|
|
Titolo |
Social Robotics : 16th International Conference, ICSR + InnoBiz 2024, Shenzhen, China, September 25–28, 2024, Proceedings / / edited by Haizhou Li, Tanja Schultz, Yalei Bi, Jian Zhu, Hongsheng He, Jun Ma, Siqi Cai, Wanyue Jiang, Shuzhi Sam Ge |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2025 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2025.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (0 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 15170 |
|
|
|
|
|
|
Altri autori (Persone) |
|
SchultzTanja |
BiYalei |
ZhuJian |
HeHongsheng |
MaJun |
CaiSiqi |
JiangWanyue |
GeShuzhi Sam |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Social sciences - Data processing |
User interfaces (Computer systems) |
Human-computer interaction |
Computer networks |
Computers, Special purpose |
Computer vision |
Artificial Intelligence |
Computer Application in Social and Behavioral Sciences |
User Interfaces and Human Computer Interaction |
Computer Communication Networks |
Special Purpose and Application-Based Systems |
Computer Vision |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
-- Diverse Gaussian Sampling for Human Motion Prediction. -- Multi-Scale Separable Convolution and Dilated Attention for Machinery Fault Diagnosis. -- SegmentAnything-Based Approach to Scene Understanding and Grasp Generation. -- Content-Aware Efficient Learner for Audio-Visual Emotion Recognition. -- The Impact of Synchronized Visual and Auditory Attention on Human Perception. -- CollectiveSFT: Scaling Large Language Models for Chinese Medical Benchmark with Collective Instructions in Healthcare. -- A New Multi-Axis Force Sensor for Measuring the Wheel-Terrain Interaction ahead of the Robotic Vehicles. -- Potential-field-based Motion Planning for Social Robots by Adapting Social Conventions. -- Parametrically-Designed Artificial Hand with Multifunctional Grasps. -- Tolerant Tracking Control Protocol for PMSM Based on Policy Iteration Algorithm and Fault Compensation. -- ROOTED: an Open Source Toolkit for Dialogue Systems in Human Robot Interaction. -- Educational-Psychological Dialogue Robot Based on Multi-Agent Collaboration. -- Human-Robot Pose Tracking Based on CNN with Color and Geometry Aggregation. -- Cued Speech-Integrated Audio-Visual Variational Autoencoder for Speech Enhancement. -- Semi-Supervised Speaker Localization with Gaussian-like Pseudo-labeling. -- MCCS: The First Open Multi-Cuer Mandarin Chinese Cued Speech Dataset and Benchmark. -- A Review of Human Mesh Reconstruction: Beyond 2D Video Object Segmentation. -- A Transformer-based Depression Detection Network Leveraging Speech Emotional Expression Cues. -- Am I a social buddy? A literature review on socially appealing design and implementation methods for social robots. -- Optimization-based Trajectory Planning for Autonomous Ground Vehicles. -- Alzheimer's disease detection based on large language model prompt engineering. -- Mapless Navigation in Factory Environments with Safe RL Approach. -- Video Question Answering Based on Audio-Visual Hyper Graphs. -- Synergized Twin Layer for Federated Action Recognition. -- Controllable Talking Head Synthesis by Equivariant Data Augmentation for Spatial Coordinates. -- Multi-Source-Domain Adaptation for TMS-EEG based Depression Detection. -- Structured Dialogue System for Mental Health: An LLM Chatbot Leveraging the PM+ Guidelines. -- Feature Extraction Method Based on Contrastive Learning for Dysarthria Detection. -- Flying Together with Audio and Video: Enhancing Communication for the Hearing-impaired Through an Emerging Closed Captioning Standard. -- FARD: Fully Automated Railway Anomaly Detection System. -- M-Vec: Matryoshka Speaker Embeddings with Flexible Dimensions. -- Complex instructions translation using fine-tuned Large Language Models. -- Autonomous Multi-Robot Action Planning through Controlled Robot Language. -- Omnisurface: Common Reality for Intuitive Human-Robot Collaboration. -- Grasp Intention Interpretation in Object Handover for Human-Robot Teaming. -- Leader-Follower Formation of a Car-like Robot Using ROS and Trajectory Tracking. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 16th International Conference on Social Robotics, ICSR + InnoBiz 2024, held in Shenzhen, China, during September 25–28, 2024. The 36 full papers included in this book were carefully reviewed and selected from 82 |
|
|
|
|
|
|
|
|
|
|
submissions. The theme of this year’s conference was “Social Robotics: Embracing Innovation for Business”, focusing on recent technological innovation in the robotic industry. |
|
|
|
|
|
| |