ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Atti di convegno  (49)
  • thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
  • Firenze University Press  (51)
  • Springer  (35)
  • American Chemical Society (ACS)
  • American Institute of Physics (AIP)
  • 2020-2024  (86)
  • 2015-2019
  • 1950-1954
Collection
Keywords
Publisher
Language
Years
  • 2020-2024  (86)
  • 2015-2019
  • 1950-1954
Year
  • 1
    facet.materialart.
    Unknown
    Chapter Gen AI and Interior Design Representation: Applying Design Styles Using Fine-Tuned Models (2024)
    Firenze University Press
    Details
    Publication Date: 2024-04-07
    Description: This paper explores the applicability of Image-generation AI in the field of interior architectural design, with a particular focus on automating interior design representation based on design styles. Interior design representation involves a complex process that integrates visual elements with functionality and user experience. Effectively visualizing this process is essential for facilitating communication among the various stakeholders involved in the design process. However, traditional visualization methods are constrained by expert resources, costs, and time limitations. In contrast, image-generation AI has the potential to automate various design elements, including design styles, components, and spatial arrangements, to enhance representation. In this study, we evaluated the performance of a base model using various design styles and, based on the evaluation results, selected styles for fine-tuning. The methodology for fine-tuning these design styles involved the following steps: 1) data preparation and preprocessing, 2) hyperparameter optimization, and 3) model training and construction. Utilizing the fine-tuned model thus constructed, we conducted image generation demonstrations. The research results revealed that design styles not well represented by the base model were effectively captured, and high-quality images were generated by the fine-tuned model. Notably, this fine-tuned model demonstrated the ability to represent images of specific design styles with a high degree of accuracy in capturing the characteristics and keywords associated with each style, compared to the base model. This implies that through fine-tuning image-generation AI, a wide range of applications can be inferred when aiming to create customized designs by considering these aspects. In conclusion, this study explores an efficient approach to interior design representation in the field of interior architecture by employing image-generation AI and proposes a method to effectively generate visualized images by training on design style keywords. Through this approach, our study can contribute to improving the interior design process by facilitating the generation of visualized images that reflect design styles. Furthermore, the study aims to suggest the potential for applying this approach not only to the field of interior architecture but also across various domains to achieve effective visualization
    Keywords: Interior Architecture Design ; Interior Design Representation ; Generative AI ; Model Fine-tuning ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 2
    facet.materialart.
    Unknown
    Chapter Digital Twins for Smart Decision Making in Asset Management (2024)
    Firenze University Press
    Details
    Publication Date: 2024-04-04
    Description: This study discusses the classification of Digital Twins (DTs) and their use in the Architecture, Engineering, Construction, and Operations (AECO) industry, the differences between building information modeling (BIM) and DT are emphasized and platforms for implementing DTs are compared. DTs are quickly gaining traction in the AECO industry because they create the ability to interact virtually with all physical smart devices in the built environment. The need for replicas goes all the way back to the 1960s, when NASA created physical replicas of spaceships and connected them to simulators to develop workshop solutions on the ground. DTs are simply building blocks of the metaverse that act as a real-time digital copy of a physical object. Based on data from the physical asset or system, the physical twin (PT), a DT unlocks value in supporting smart decision-making by combining artificial intelligence (AI) with the internet of things (IoT)
    Keywords: Digital Twins ; Internet of Things ; Artificial Intelligence ; Asset Management ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 3
    facet.materialart.
    Unknown
    Firenze e la lingua italiana fra nazione ed Europa (2022)
    Firenze University Press
    Details
    Publication Date: 2024-03-24
    Description: The volume collects the proceedings of the conference “Firenze e la lingua italiana tra nazione ed Europa” (Florence and the Italian language between nation and Europe), which was held from on May 27 and 28 2004 in the Aula Magna of the University of Florence and the Accademia della Crusca. As known, Florence played a central role in the process of national linguistic unification and thanks to its international vocation the city has promoted the spread and knowledge of the Italian language and culture all over Europe and in the world. Beyond any celebratory enthusiasm, the conference has been an occasion of open discussion on the cultural identity of the city in the contemporary context, through a critical reflection on its history (in particular on some significant moments of the Florentine culture between the nineteenth and twentieth centuries) and on its linguistic primacy.
    Keywords: Lingua italiana ; Linguistica ; Storia ; Atti di convegno ; Firenze ; Europa ; thema EDItEUR::C Language and Linguistics::CF Linguistics
    Language: Italian
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 4
    facet.materialart.
    Unknown
    Studi per l'insegnamento delle lingue europee (2022)
    Firenze University Press
    Details
    Publication Date: 2024-03-24
    Description: On 12, 13 and 14 May 2003 the second edition of the study days on didactic materials for the teaching of foreign languages was held in Florence. Numerous language teachers, mainly active in Italian universities but also in private and public high schools took part in these study days. The speakers addressed a wide range of issues ranging from the implications of the enlargement of the European Union to the educational use of new technologies, from aspects of contrastive linguistics to the use of foreign languages for the teaching of non-linguistic subjects. From this dialogue between different experiences and cultures, an extremely dynamic picture emerged, open to new methodological and scientific stimuli. The volume is the significant collection of over 40 interventions and represents a contribution to the discussion on the teaching of foreign languages.
    Keywords: Formazione ; Didattica ; Linguistica ; Atti di convegno ; thema EDItEUR::C Language and Linguistics::CJ Language teaching and learning::CJA Language teaching theory and methods ; thema EDItEUR::D Biography, Literature and Literary studies
    Language: Italian
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 5
    facet.materialart.
    Unknown
    Proceedings of the third International Workshop of the IFIP WG5.7 (2022)
    Firenze University Press
    Details
    Publication Date: 2022-06-02
    Description: Contents of the papers presented at the international workshop deal with the wide variety of new and computer-based techniques for production planning and control that has become available to the scientific and industrial world in the past few years: formal modeling techniques, artificial neural networks, autonomous agent theory, genetic algorithms, chaos theory, fuzzy logic, simulated annealing, tabu search, simulation and so on. The approach, while being scientifically rigorous, is focused on the applicability to industrial environment.
    Keywords: Ingegneria ; Tecnologia ; Scienza ; Atti di convegno ; bic Book Industry Communication::K Economics, finance, business & management::KN Industry & industrial studies ; bic Book Industry Communication::T Technology, engineering, agriculture::TG Mechanical engineering & materials
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 6
    facet.materialart.
    Unknown
    Models and analysis of vocal emissions for biomedical applications (2022)
    Firenze University Press
    Details
    Publication Date: 2024-04-11
    Description: This book of Proceedings collects the papers presented at the 4th International Workshop on Models and Analysis of Vocal Emissions for Biomedical Applications, MAVEBA 2005, held 29-31 October 2005, Firenze, Italy. The workshop is organised every two years, and aims to stimulate contacts between specialists active in research and industrial developments, in the area of voice analysis for biomedical applications. The scope of the Workshop includes all aspects of voice modelling and analysis, ranging from fundamental research to all kinds of biomedical applications and related established and advanced technologies.
    Keywords: Scienza ; Biomedica ; Ingegneria ; Medicina ; Atti di convegno ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: Italian
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 7
    facet.materialart.
    Unknown
    La logica dell'evoluzione dei viventi : spunti di riflessione. Atti del XII convegno del gruppo italiano di biologia evoluzionistica: Firenze, 18-21 febbraio 2004 (2022)
    Firenze University Press
    Details
    Publication Date: 2022-06-02
    Description: The book collects the works presented during the XII meeting of the Italian Group of Evolutionary Biology, held in Florence in February 2004. Evolutionary theories are illustrated with balance from different points of view (from the perspective of historians, zoologists, paleontologists, anthropologists, molecular biologists) in the light of some recent experimental and theoretical discoveries. The debate and the diversity of investigations demonstrate the validity and relevance of the study of biological evolution.
    Keywords: Biologia ; Biologia umana ; Evoluzione ; Antropologia ; Animali ; Atti di convegno ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHM Anthropology ; bic Book Industry Communication::M Medicine::MF Pre-clinical medicine: basic sciences::MFN Medical genetics ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences::PSA Life sciences: general issues ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences::PSV Zoology & animal sciences
    Language: Italian
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 8
    facet.materialart.
    Unknown
    Metalearning (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book as one of the fastest-growing areas of research in machine learning, metalearning studies principled methods to obtain efficient models and solutions by adapting machine learning and data mining processes. This adaptation usually exploits information from past experience on other tasks and the adaptive processes can involve machine learning approaches. As a related area to metalearning and a hot topic currently, automated machine learning (AutoML) is concerned with automating the machine learning processes. Metalearning and AutoML can help AI learn to control the application of different learning methods and acquire new solutions faster without unnecessary interventions from the user. This book offers a comprehensive and thorough introduction to almost all aspects of metalearning and AutoML, covering the basic concepts and architecture, evaluation, datasets, hyperparameter optimization, ensembles and workflows, and also how this knowledge can be used to select, combine, compose, adapt and configure both algorithms and models to yield faster and better solutions to data mining and data science problems. It can thus help developers to develop systems that can improve themselves through experience. This book is a substantial update of the first edition published in 2009. It includes 18 chapters, more than twice as much as the previous version. This enabled the authors to cover the most relevant topics in more depth and incorporate the overview of recent research in the respective area. The book will be of interest to researchers and graduate students in the areas of machine learning, data mining, data science and artificial intelligence. ; Metalearning is the study of principled methods that exploit metaknowledge to obtain efficient models and solutions by adapting machine learning and data mining processes. While the variety of machine learning and data mining techniques now available can, in principle, provide good model solutions, a methodology is still needed to guide the search for the most appropriate model in an efficient way. Metalearning provides one such methodology that allows systems to become more effective through experience. This book discusses several approaches to obtaining knowledge concerning the performance of machine learning and data mining algorithms. It shows how this knowledge can be reused to select, combine, compose and adapt both algorithms and models to yield faster, more effective solutions to data mining problems. It can thus help developers improve their algorithms and also develop learning systems that can improve themselves. The book will be of interest to researchers and graduate students in the areas of machine learning, data mining and artificial intelligence.
    Keywords: Metalearning ; Automating Machine Learning (AutoML) ; Machine Learning ; Artificial Intelligence ; algorithm selection ; algorithm recommendation ; algorithm configuration ; hyperparameter optimization ; automating the workflow/pipeline design ; metalearning in ensemble construction ; metalearning in deep neural networks ; transfer learning ; algorithm recommendation for data streams ; automating data science ; Open Access ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNF Data mining ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 9
    facet.materialart.
    Unknown
    Structural changes, international trade and multisectoral modelling (2022)
    Firenze University Press
    Details
    Publication Date: 2022-06-02
    Description: In September 2007 the national team members of the International Inforum (Interindustry Forecasting Project at the University of Maryland) group held the XV annual World Conference in Truijllo, Spain. Such Conferences offer the participants to report their achievements in the different fields concerning the macroeconomic multisectoral modeling approach and data development. The national partners build their country model based on a common input-output accounting structure and a similar econometric modeling approach for sectoral and macroeconomic variables. In each Conference, the contributions refer to the wide spectrum of research activities carried on within the Inforum system of models.
    Keywords: Economia ; Atti di convegno ; Politica economica ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCA Economic theory & philosophy ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCH Econometrics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 10
    facet.materialart.
    Unknown
    Statistical Modelling (2022)
    Firenze University Press
    Details
    Publication Date: 2024-04-04
    Description: The book collects the proceedings of the 19th International Workshop on Statistical Modelling held in Florence on July 2004. Statistical modelling is an important cornerstone in many scientific disciplines, and the workshop has provided a rich environment for cross-fertilization of ideas from different disciplines. It consists in four invited lectures, 48 contributed papers and 47 posters. The contributions are arranged in sessions: Statistical Modelling; Statistical Modelling in Genomics; Semi-parametric Regression Models; Generalized Linear Mixed Models; Correlated Data Modelling; Missing Data, Measurement of Error and Survival Analysis; Spatial Data Modelling and Time Series and Econometrics.
    Keywords: Statistica ; Economia ; Metodi statistici ; Indagine statistica ; Atti di convegno ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBT Probability and statistics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 11
    facet.materialart.
    Unknown
    La Facoltà di Architettura di Firenze fra tradizione e cambiamento (2022)
    Firenze University Press
    Details
    Publication Date: 2024-03-23
    Description: The volume comprises the proceedings of the study days in the Faculty of Architecture (29-30 April 2004) broken down into four thematic sections: The original characteristics of the Florentine school, From Higher School to Faculty, the Florentine school and the contributions from outside, Contemporary metamorphoses. The contributions focus the phases of formation and evolution of the Higher School (1926) and later Faculty (1936) of Architecture, underlining the most significant passages, starting from the initial consolidation of the didactic structure and the emergence of a "Florentine school" characterised by the two strands traceable to Raffaello Fanoni and Giovanni Michelucci. A parallel experience is provided by the contribution of the external teachers, in particular of the Roman school, with lively and at times conflicting approaches. The present situation, albeit with the necessary disciplinary dialectic, features a settlement of the divergences around themes of the relations between architecture, environment and landscape.
    Keywords: Università ; Architettura ; Atti di convegno ; Firenze ; thema EDItEUR::A The Arts::AM Architecture::AMV Landscape architecture and design ; thema EDItEUR::A The Arts::AM Architecture::AMX History of architecture ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RP Regional and area planning::RPC Urban and municipal planning and policy
    Language: Italian
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 12
    facet.materialart.
    Unknown
    AIMETA 2005. Atti del XVII Congresso dell'Associazione italiana di meccanica teorica e applicata. Firenze, 11-15 settembre 2005 (2022)
    Firenze University Press
    Details
    Publication Date: 2024-04-04
    Description: The volume collects the contributions presented at the XVII national congress of AIMETA. The contributions are grouped according to the various sectors of theoretical and applied mechanics and are offered by a vast scientific community. In addition to the classical sectors, themes of interdisciplinary significance and of considerable interest and highly innovative content were added, for the analysis of which small exchange symposia were proposed. Organised according to 52 sessions (plenary and parallel), the volume contains 290 scientific works that are mainly the result of international cooperation. Therefore, the work represents a significant picture of the current situation and future prospects for mechanics.
    Keywords: Ingegneria ; Fisica ; Atti di convegno ; Open Access ; bic Book Industry Communication::P Mathematics & science::PH Physics::PHD Classical mechanics ; bic Book Industry Communication::P Mathematics & science::PH Physics::PHU Mathematical physics ; bic Book Industry Communication::T Technology, engineering, agriculture::TG Mechanical engineering & materials ; bic Book Industry Communication::T Technology, engineering, agriculture::TG Mechanical engineering & materials::TGB Mechanical engineering ; bic Book Industry Communication::T Technology, engineering, agriculture::TN Civil engineering, surveying & building::TNF Hydraulic engineering ; bic Book Industry Communication::T Technology, engineering, agriculture::TN Civil engineering, surveying & building::TNK Building construction & materials ; bic Book Industry Communication::T Technology, engineering, agriculture::TN Civil engineering, surveying & building::TNT Building skills & trades ; bic Book Industry Communication::T Technology, engineering, agriculture::TR Transport technology & trades::TRP Aerospace & aviation technology ; thema EDItEUR::P Mathematics and Science::PH Physics::PHD Classical mechanics ; thema EDItEUR::P Mathematics and Science::PH Physics::PHU Mathematical physics ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGB Mechanical engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building::TNF Hydraulic engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building::TNK Building construction and materials ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building::TNT Building skills and trades ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TR Transport technology and trades::TRP Aerospace and aviation technology
    Language: Italian
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 13
    facet.materialart.
    Unknown
    L'Italia alla fine del Medioevo II (2022)
    Firenze University Press
    Details
    Publication Date: 2024-04-02
    Description: This is the second of two volumes examining some “original features” of late medieval Italy compared to the european reality of the time (the first volume of this collection was edited by Francesco Salvestrini). On this subject, two conferences have been held, whose proceedings have been published. The first conference, held in October 2000, tried to offer an account, in an introductory section, of the long-term environmental frameworks within which the path of Italian society is inscribed: the rural landscape and the framework of urban settlements, without forgetting, in one and in the another case, the legacy of the Roman world. The second conference, on the other hand - held in the autumn of 2002 - aimed to consider aspects of the history of culture and political ideologies, mentality, religious life, but also the history of techniques.
    Keywords: Storia ; Medioevo ; Comuni medievali ; Basso Medioevo ; Atti di convegno ; Italia ; thema EDItEUR::N History and Archaeology::NH History::NHB General and world history
    Language: Italian
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 14
    facet.materialart.
    Unknown
    Digital Interaction and Machine Intelligence (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This book is open access, which means that you have free and unlimited access. This book presents the Proceedings of the 9th Machine Intelligence and Digital Interaction Conference. Significant progress in the development of artificial intelligence (AI) and its wider use in many interactive products are quickly transforming further areas of our life, which results in the emergence of various new social phenomena. Many countries have been making efforts to understand these phenomena and find answers on how to put the development of artificial intelligence on the right track to support the common good of people and societies. These attempts require interdisciplinary actions, covering not only science disciplines involved in the development of artificial intelligence and human-computer interaction but also close cooperation between researchers and practitioners. For this reason, the main goal of the MIDI conference held on 9-10.12.2021 as a virtual event is to integrate two, until recently, independent fields of research in computer science: broadly understood artificial intelligence and human-technology interaction.
    Keywords: Computational Intelligence ; AI ; MIDI 2021 ; MIDI ; Machine Intelligence ; Digital Interaction ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 15
    facet.materialart.
    Unknown
    Formazione e società nella conoscenza (2022)
    Firenze University Press
    Details
    Publication Date: 2022-06-02
    Description: The volume collects the Proceedings of the conference “Formazione e società della conoscenza. Storia, teorie, professionalità” (“Education and society of knowledge. History, theories, professionalisms), which took place in Florence on November 9 and 10, 2004 on the occasion of the 80th anniversary of the University of Florence. The conference dealt with rethinking the history of the Faculty of Education together with education issues arising in the current phase of rethinking the organisation of university studies. The four sessions of the conference dealt with topics such as: the history of the Faculty and the education of teachers and professors; education processes, models and theories; some concepts / focuses of education and the professional skills offered by the Faculty.
    Keywords: Formazione ; Didattica ; Università ; Atti di convegno ; bic Book Industry Communication::J Society & social sciences::JN Education::JNS Teaching of specific groups & persons with special educational needs
    Language: Italian
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 16
    facet.materialart.
    Unknown
    L'albero della vita (2022)
    Firenze University Press
    Details
    Publication Date: 2024-04-02
    Description: The feast represents the quintessence of time, distinguished from time in general by a potent intensity. The dynamics of secularisation have attenuated and blurred the boundaries between sacred and profane, to the point that we ask ourselves if it is still legitimate to distinguish between a religious and a profane feast, or whether it is not more proficuous to seek within the feast the sacred dimension of time. Modernity does not lead to the eclipse of the sacred, but rather to its transformation. This book addresses such issues, putting itself forward as a working tool for further study.
    Keywords: Sociologia ; Ritualità religiosa ; Religioni ; Società ; Atti di convegno ; thema EDItEUR::N History and Archaeology::NH History::NHB General and world history ; thema EDItEUR::N History and Archaeology::NH History::NHT History: specific events and topics ; thema EDItEUR::Q Philosophy and Religion::QR Religion and beliefs::QRA Religion: general ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology
    Language: Italian
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 17
    facet.materialart.
    Unknown
    Tecnologia dell'architettura: creatività e innovazione nella ricerca (2022)
    Firenze University Press
    Details
    Publication Date: 2024-03-23
    Description: The book inaugurates a series of publications created to enhance the activity conducted in the Research Doctorates of Technology of Architecture and it does so by presenting the results of the first seminar of the Italian DdR. The didactic and scientific value of this innovative experience is testified by the interventions and by the working themes addressed which outline the research scenario and the proposals for the future. For this reason, the volume and the series have a didactic function at several levels (orienting those who approach the subject on the contents that the sector deals with in Italy) and as a tool for professional training aimed at achieving the highest quality levels.
    Keywords: Architettura ; Progettazione srchitettonica ; Atti di convegno ; thema EDItEUR::A The Arts::AM Architecture ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TT Other technologies and applied sciences
    Language: Italian
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 18
    facet.materialart.
    Unknown
    AIMETA 2005 (2022)
    Firenze University Press
    Details
    Publication Date: 2024-04-04
    Description: The volume collects the contributions presented at the XVII national congress of AIMETA which, for technical reasons, did not find space in the first volume dedicated to the proceedings of the congress. The new texts complete the picture of the current situation and future prospects of Mechanics that emerged from the congress held in Florence.
    Keywords: Ingegneria ; Fisica ; Atti di convegno ; bic Book Industry Communication::P Mathematics & science::PH Physics::PHD Classical mechanics ; bic Book Industry Communication::P Mathematics & science::PH Physics::PHU Mathematical physics ; bic Book Industry Communication::T Technology, engineering, agriculture::TG Mechanical engineering & materials ; bic Book Industry Communication::T Technology, engineering, agriculture::TG Mechanical engineering & materials::TGB Mechanical engineering ; bic Book Industry Communication::T Technology, engineering, agriculture::TN Civil engineering, surveying & building::TNF Hydraulic engineering ; bic Book Industry Communication::T Technology, engineering, agriculture::TN Civil engineering, surveying & building::TNK Building construction & materials ; bic Book Industry Communication::T Technology, engineering, agriculture::TN Civil engineering, surveying & building::TNT Building skills & trades ; bic Book Industry Communication::T Technology, engineering, agriculture::TR Transport technology & trades::TRP Aerospace & aviation technology ; thema EDItEUR::P Mathematics and Science::PH Physics::PHD Classical mechanics ; thema EDItEUR::P Mathematics and Science::PH Physics::PHU Mathematical physics ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGB Mechanical engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building::TNF Hydraulic engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building::TNK Building construction and materials ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building::TNT Building skills and trades ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TR Transport technology and trades::TRP Aerospace and aviation technology
    Language: Italian
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 19
    facet.materialart.
    Unknown
    Cyber Security (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the refereed proceedings of the 18th China Annual Conference on Cyber Security, CNCERT 2022, held in Beijing, China, in August 2022. The 17 papers presented were carefully reviewed and selected from 64 submissions. The papers are organized according to the following topical sections: ​​data security; anomaly detection; cryptocurrency; information security; vulnerabilities; mobile internet; threat intelligence; text recognition.
    Keywords: application service layer ; artificial intelligence ; communication systems ; computer crime ; computer networks ; computer security ; computer systems ; cryptography ; cyber security ; data communication systems ; data security ; databases ; machine learning ; network protocols ; network security ; privacy ; signal processing ; telecommunication networks ; telecommunication systems ; thema EDItEUR::U Computing and Information Technology::UR Computer security ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics::UBL Digital and information technologies: Legal aspects ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications::UTN Network security
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 20
    facet.materialart.
    Unknown
    Primate Cytogenetics and Comparative Genomics (2022)
    Firenze University Press
    Details
    Publication Date: 2022-06-02
    Description: This volume is a collection of contributions of a Florentine post congress symposium on "Primate Cytogenetics and Comparative Genomics" held on occasion of the XX International Primatological Congress (Turin in 2004). Comparative Molecular Cytogenetics and Genomics are two rapidly expanding fields. Researchers from Italy, Germany, Spain, United States and Japan meet in Florence to discuss over a two day period recent advances and summarize the current state of the science.
    Keywords: Biologia ; Biologia umana ; Antropologia ; Genetica ; Evoluzione ; Atti di convegno ; bic Book Industry Communication::M Medicine::MF Pre-clinical medicine: basic sciences::MFC Anatomy ; bic Book Industry Communication::M Medicine::MF Pre-clinical medicine: basic sciences::MFN Medical genetics ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences::PSA Life sciences: general issues
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 21
    facet.materialart.
    Unknown
    Università e territorio: il decentramento dell'Ateneo nella Provincia di Firenze (2022)
    Firenze University Press
    Details
    Publication Date: 2022-06-02
    Description: The volume collects the proceedings of the conference “Università e Territorio. Il decentramento dell'Ateneo nella Provincia di Firenze (“University and Territory. The decentralisation of the University in the Province of Florence”), which was held in Florence on January 23, 2004. The conference saw a wide participation of interventions and public debate, and dealt with the issues concerning the decentralisation of educational and scientific activities in the municipalities of the Province of Florence, with particular reference to the university settlements of Calenzano, Scandicci, Sesto Fiorentino, Vaglia, Figline Valdarno, San Casciano Val di Pesa and the district Circondario Empolese Valdelsa. The conference was conceived as an occasion of meeting and dialogue between Mayors of the Province, local administrators and deans of university degree courses. It highlighted the multiplicity and differentiation of the activities as well as the complexity of the problems related to the development of study courses in the different social-economical realities of the municipalities of the Province of Florence.
    Keywords: Università ; Territorio ; Atti di convegno ; Firenze ; bic Book Industry Communication::J Society & social sciences ; bic Book Industry Communication::J Society & social sciences::JP Politics & government
    Language: Italian
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 22
    facet.materialart.
    Unknown
    Seafood from Catch and Aquaculture for a Sustainable Supply (2022)
    Firenze University Press
    Details
    Publication Date: 2022-06-02
    Description: For the fist time, the WEFTA Annual Meeting takes place in Italy, at Firenze on September 17th to 19th, 2008. The WEFTA 2008 theme is "Seafood from Catch and Aquaculture for a Sustainable Supply". WEFTA 2008 aims the gathering of international researchers, scientists and technicians, as well as professionals from seafood Industry, particularly involved in research and development, quality control and management for a three-day conference involving scientific and technical presentations, discussion and social contacts. The book of abstracts contains the 117 full and short abstracts of the communications presented in this 38th WEFTA Annual Meeting by scientists coming from several European Countries but also from USA, Canada, Brazil and Japan, able to give up-to-date information of great interest, useful for the development of scientific knowledge in much of the seafood issues.
    Keywords: Alimentazione ; Tecnologia alimentare ; Atti di convegno ; Open Access ; bic Book Industry Communication::K Economics, finance, business & management::KN Industry & industrial studies::KNA Primary industries ; bic Book Industry Communication::M Medicine::MZ Veterinary medicine ; bic Book Industry Communication::M Medicine::MZ Veterinary medicine::MZC Veterinary medicine: small animals (pets) ; bic Book Industry Communication::M Medicine::MZ Veterinary medicine::MZD Veterinary medicine: large animals (domestic / farm) ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences::PSV Zoology & animal sciences ; bic Book Industry Communication::T Technology, engineering, agriculture::TV Agriculture & farming
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 23
    facet.materialart.
    Unknown
    Societas herpetologica italica. Atti del V congresso nazionale, Calci (Pisa), 29 settembre-3 ottobre 2004 (2022)
    Firenze University Press
    Details
    Publication Date: 2024-04-05
    Description: This book contains the proceedings of the Congress, thus making available the extensive range of research performed and in progress. The contributions, in synthetic form, illustrate the methods and results, with the support of data, tables and bibliographies, of 35 studies carried out by research teams of biologists from the universities of Roma-Sapienza, Roma Tor Vergata, Florence, Naples, Turin, Milan, Palermo, Genoa, Pisa, Padua, Pavia, Perugia and Calabria, as well as various museums, study centres, reserves and nature parks.
    Keywords: Animali ; Erpetologia ; Etologia ; Atti di convegno ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSV Zoology and animal sciences
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 24
    facet.materialart.
    Unknown
    Post-Disaster Reconstruction: Meeting Stakeholder Interests (2022)
    Firenze University Press
    Details
    Publication Date: 2022-06-02
    Description: This book collects together 46 papers presented at the Third Biennial Conference of i-Rec, International Group for the Diffusion of Research and Information on Post-Disaster Reconstruction. The various sections of the book cover the technical and administrative aspects of housing and other buildings after disaster. The approach to post-disaster shelter and reconstruction exemplified by this volume is fully interdisciplinary. A very wide range of perspectives is covered, including the disciplines and sub-disciplines of seismic and structural engineering, architecture, applied geography and geology, environmental psychology, paediatrics, development studies, economics, medicine and public health, management studies and political science. The volume is also intended to commemorate the 40th anniversary of the floods that severely damaged Florence in 1966 and did terrible damage to priceless art treasures.
    Keywords: Medicina ; Ingegneria ; Servizi sanitari ; Architettura ; Atti di convegno ; bic Book Industry Communication::M Medicine ; bic Book Industry Communication::M Medicine::MB Medicine: general issues::MBG Medical equipment & techniques ; bic Book Industry Communication::M Medicine::MQ Nursing & ancillary services::MQC Nursing
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 25
    facet.materialart.
    Unknown
    Lo spazio sociale europeo (2022)
    Firenze University Press
    Details
    Publication Date: 2022-06-02
    Description: For the last few years a group of European historians, under the direction of Professor Robert Frank of the Sorbonne University of Paris, has been conducting an extensive research aimed at identifying the characteristics of an European "space" in the context of the integration process. As part of the group's activities the conference, whose the proceedings are collected here, was held in October 2003 in Florence. The meeting had as its objective a reflection on the emergence and development of a "European social space" beginning from the origins of the integration process, in which historians, sociologists, political scientists and some lead actors of this important community dynamic had the opportunity to meet.
    Keywords: Sociologia ; Società ; Integrazione europea ; Integrazione sociale ; Atti di convegno ; Unione europea ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology
    Language: Italian
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 26
    facet.materialart.
    Unknown
    Vector Semantics (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book introduces Vector semantics, which links the formal theory of word vectors to the cognitive theory of linguistics. The computational linguists and deep learning researchers who developed word vectors have relied primarily on the ever-increasing availability of large corpora and of computers with highly parallel GPU and TPU compute engines, and their focus is with endowing computers with natural language capabilities for practical applications such as machine translation or question answering. Cognitive linguists investigate natural language from the perspective of human cognition, the relation between language and thought, and questions about conceptual universals, relying primarily on in-depth investigation of language in use. In spite of the fact that these two schools both have ‘linguistics’ in their name, so far there has been very limited communication between them, as their historical origins, data collection methods, and conceptual apparatuses are quite different. Vector semantics bridges the gap by presenting a formal theory, cast in terms of linear polytopes, that generalizes both word vectors and conceptual structures, by treating each dictionary definition as an equation, and the entire lexicon as a set of equations mutually constraining all meanings.
    Keywords: Semantics ; Natural Language Processing ; Computational Linguistics ; Artificial Intelligence ; explainable AI ; Artificial Neural Nets ; lexical semantics ; word vectors ; embeddings ; dynamic embeddings ; algebraic semantic ; knowledge bases ; machine learning ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation ; thema EDItEUR::C Language and Linguistics::CF Linguistics::CFX Computational and corpus linguistics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 27
    facet.materialart.
    Unknown
    Statistical Foundations of Actuarial Learning and its Applications (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-04
    Description: This open access book discusses the statistical modeling of insurance problems, a process which comprises data collection, data analysis and statistical model building to forecast insured events that may happen in the future. It presents the mathematical foundations behind these fundamental statistical concepts and how they can be applied in daily actuarial practice. Statistical modeling has a wide range of applications, and, depending on the application, the theoretical aspects may be weighted differently: here the main focus is on prediction rather than explanation. Starting with a presentation of state-of-the-art actuarial models, such as generalized linear models, the book then dives into modern machine learning tools such as neural networks and text recognition to improve predictive modeling with complex features. Providing practitioners with detailed guidance on how to apply machine learning methods to real-world data sets, and how to interpret the results without losing sight of the mathematical assumptions on which these methods are based, the book can serve as a modern basis for an actuarial education syllabus.
    Keywords: Deep Learning ; Actuarial Modeling ; Pricing and Claims Reserving ; Artificial Neural Networks ; Regression Modeling ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBW Applied mathematics ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBT Probability and statistics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 28
    facet.materialart.
    Unknown
    Models and analysis of vocal emissions for biomedical applications: 5th International Workshop: December 13-15, 2007, Firenze, Italy (2022)
    Firenze University Press
    Details
    Publication Date: 2024-04-11
    Description: The MAVEBA Workshop proceedings, held on a biannual basis, collect the scientific papers presented both as oral and poster contributions, during the conference. The main subjects are: development of theoretical and mechanical models as an aid to the study of main phonatory dysfunctions, as well as the biomedical engineering methods for the analysis of voice signals and images, as a support to clinical diagnosis and classification of vocal pathologies. The Workshop has the sponsorship of: Ente Cassa Risparmio di Firenze, COST Action 2103, Biomedical Signal Processing and Control Journal (Elsevier Eds.), IEEE Biomedical Engineering Soc. Special Issues of International Journals have been, and will be, published, collecting selected papers from the conference.
    Keywords: Scienza ; Biomedica ; Ingegneria ; Medicina ; Atti di convegno ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 29
    facet.materialart.
    Unknown
    E4 Thematic Network (2022)
    Firenze University Press
    Details
    Publication Date: 2024-03-23
    Description: This Thematic Network aims at developing the European dimension of Higher Engineering Education by enhancing the compatibility of the many diverse routes to the profession of engineer, by facilitating greater mobility and integration of skilled personnel throughout Europe, by favouring a mutual exchange of skills and competences and providing a platform for communication between academics and professionals. Five main activities have been organised under the overall umbrella of the Thematic Network.The work contains 6 volumes.
    Keywords: Ingegneria ; Formazione ; Atti di convegno ; thema EDItEUR::A The Arts::AM Architecture ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBC Engineering: general ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building ; thema EDItEUR::U Computing and Information Technology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 30
    facet.materialart.
    Unknown
    Immagini d'Italia e d'Europa nella letteratura e nella documentazione di viaggio nel XVIII e nel XIX secolo (2022)
    Firenze University Press
    Details
    Publication Date: 2024-04-02
    Description: The book collects the interventions at the seminar "Images of Italy and Europe in literature and travel documentation in the 18th and 19th centuries", held at the Department of Historical and Geographical Studies of the University of Florence in 1999-2001. It addresses the problem of the creation of borders (political, administrative, linguistic, religious) in Europe and in Brazil from the Middle Ages to the beginning of the 20th century, with particular regard to the period between the 17th and 18th centuries. The theme of the constitution of borders is a classic of the relationship between history and geography and involves the entire range of human sciences, enabling the comparison with international research results.
    Keywords: Storia ; Geografia ; Letteratura ; Atti di convegno ; Europa ; Italia ; Brasile ; Novecento ; thema EDItEUR::N History and Archaeology::NH History::NHB General and world history
    Language: Italian
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 31
    facet.materialart.
    Unknown
    Models and analysis of vocal emissions for biomedical applications (2022)
    Firenze University Press
    Details
    Publication Date: 2024-04-11
    Description: This book of Proceedings collects the papers presented at the 3rd International Workshop on Models and Analysis of Vocal Emissions for Biomedical Applications, MAVEBA 2003, held 10-12 December 2003, Firenze, Italy. The workshop is organised every two years, and aims to stimulate contacts between specialists active in research and industrial developments, in the area of voice analysis for biomedical applications. The scope of the Workshop includes all aspects of voice modelling and analysis, ranging from fundamental research to all kinds of biomedical applications and related established and advanced technologies.
    Keywords: Scienza ; Biomedica ; Ingegneria ; Medicina ; Atti di convegno ; Open Access ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 32
    facet.materialart.
    Unknown
    Prospettive nello studio del lessico italiano (2022)
    Firenze University Press
    Details
    Publication Date: 2024-03-24
    Description: The Proceedings of the 9th Conference of the International Society of Italian Linguistics and Philology (SILFI), «Prospects in the study of Italian vocabulary» (Florence, 14-17 June 2006), comprise 88 contributions by scholars from Italy and abroad. The essays are divided into twelve sections, each representing a study prospect, thus illustrating the vitality of the great tradition of Italian studies on language. The Conference confirms the importance of tradition, but also points up how the new areas of study – concerning the use of information infrastructures for the acquisition and conservation of the linguistic heritage – are by now pivotal both for research and for the establishment of essential resources for the defence and promotion of our language. Meditation on the Italian lexicon at this moment in time signifies retrieving the relation between our language and our culture, which tends to be overshadowed in a period of globalisation and of vehicular language such as the present.
    Keywords: Lingua italiana ; Linguistica ; Linguaggio ; Atti di convegno ; SILFI (Società Internazionale di Linguistica e Filologia) ; thema EDItEUR::C Language and Linguistics::CF Linguistics
    Language: Italian
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 33
    facet.materialart.
    Unknown
    Intelligent Systems for Sustainable Person-Centered Healthcare (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book establishes a dialog among the medical and intelligent system domains for igniting transition toward a sustainable and cost-effective healthcare. The Person-Centered Care (PCC) positions a person in the center of a healthcare system, instead of defining a patient as a set of diagnoses and treatment episodes. The PCC-based conceptual background triggers enhanced application of Artificial Intelligence, as it dissolves the limits of processing traditional medical data records, clinical tests and surveys. Enhanced knowledge for diagnosing, treatment and rehabilitation is captured and utilized by inclusion of data sources characterizing personal lifestyle, and health literacy, and it involves insights derived from smart ambience and wearables data, community networks, and the caregivers’ feedback. The book discusses intelligent systems and their applications for healthcare data analysis, decision making and process design tasks. The measurement systems and efficiency evaluation models analyze ability of intelligent healthcare system to monitor person health and improving quality of life.
    Keywords: Person-centered Healthcare Model ; Heterogeneous Healthcare Data ; Remote Care Feedback Mechanisms ; Monitoring Health Status ; Data-driven Decision Making for Person Health ; Efficiency of Healthcare ; Quality of Person-centered Care ; Big Data for Personal Self-sustainment ; Open Access ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::M Medicine and Nursing::MQ Nursing and ancillary services::MQW Biomedical engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 34
    facet.materialart.
    Unknown
    Haptics: Science, Technology, Applications (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, held in Hamburg, Germany, in May 2022. The 36 regular papers included in this book were carefully reviewed and selected from 129 submissions. They were organized in topical sections as follows: haptic science; haptic technology; and haptic applications.
    Keywords: communication systems ; computer networks ; data communication systems ; haptic interfaces ; human engineering ; Human-Computer Interaction (HCI) ; mobile computing ; mobile devices ; network protocols ; rehabilitation systems ; robotics ; signal processing ; telecommunication networks ; telecommunication systems ; user interfaces ; virtual reality ; wireless telecommunication systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 35
    facet.materialart.
    Unknown
    Computer Aided Verification (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.
    Keywords: 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 ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 36
    facet.materialart.
    Unknown
    Automated Reasoning (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs Search; Evolution, Termination and Decision Prolems. This is an open access book.
    Keywords: 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 ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 37
    facet.materialart.
    Unknown
    L'Italia alla fine del Medioevo I (2022)
    Firenze University Press
    Details
    Publication Date: 2024-04-02
    Description: This is the first of two volumes examining some “original features” of late medieval Italy compared to the European reality of the time (the second volume of this collection is curated by Federica Cengarle). On this subject, two conferences have been held, whose proceedings have been published. The first conference, held in October 2000, tried to offer an account, in an introductory section, of the long-term environmental frameworks within which the path of Italian society is inscribed: the rural landscape and the framework of urban settlements, without forgetting, in one and in the another case, the legacy of the Roman world. The second conference, on the other hand - held in the autumn of 2002 - aimed to consider aspects of the history of culture and political ideologies, mentality, religious life, but also the history of techniques.
    Keywords: Storia ; Medioevo ; Comuni medievali ; Basso Medioevo ; Atti di convegno ; Italia ; thema EDItEUR::N History and Archaeology::NH History::NHB General and world history
    Language: Italian
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 38
    facet.materialart.
    Unknown
    Proceedings of the 11th Toulon-Verona International Conference on Quality in Services (2022)
    Firenze University Press
    Details
    Publication Date: 2022-06-02
    Description: The Toulon-Verona Conference was founded in 1998 by prof. Claudio Baccarani of the University of Verona, Italy, and prof. Michel Weill of the University of Toulon, France. It has been organized each year in a different place in Europe in cooperation with a host university (Toulon 1998, Verona 1999, Derby 2000, Mons 2001, Lisbon 2002, Oviedo 2003, Toulon 2004, Palermo 2005, Paisley 2006, Thessaloniki 2007, Florence, 2008). Originally focusing on higher education institutions, the research themes have over the years been extended to the health sector, local government, tourism, logistics, banking services. Around a hundred delegates from about twenty different countries participate each year and nearly one thousand research papers have been published over the last ten years, making of the conference one of the major events in the field of quality in services.
    Keywords: Economia ; Formazione ; Turismo ; Servizi sanitari ; Atti di convegno ; Open Access ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJM Management & management techniques
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 39
    facet.materialart.
    Unknown
    53rd National Meeting of the Italian Society of Biochemistryand Molecular Biology (SIB)andNational Meeting of Chemistry of Biological Systems – Italian Chemical Society (SCI - Section CSB) (2022)
    Firenze University Press
    Details
    Publication Date: 2024-04-05
    Description: The 53rd National Congress of the Italian Society of Biochemistry and Molecular Biology (SIB), which will be held in Riccione from 23 to 26 September, is characterised by the elevated scientific level and interdisciplinary interest of the numerous sessions in which it is organised. The Scientific Programme comprises three joint Symposia of the SIB and the Chemistry of Biological Systems section of the Italian Chemistry Society (SCI) on Molecular Systems Biology, Chemistry of Nucleic Acids, Protein and Drug Structure, and Environmental Biotechnology. These Symposia address groundbreaking arguments, making the joint interest of the two societies particularly fascinating; the joint organisation of these events in fact signals the shared intention to proceed along the path of scientific exchange. The topics of the other sessions have been chosen by the Scientific Committee on the basis of their scientific relevance and topicality, with particular attention paid to the selection of the speakers. The SIB sessions will range from Signal Transduction and Biomolecular Targets, Protein Misfolding and its Relationship with Disease, Emerging Techniques in Biochemistry, Gene Silencing, Redox Signalling and Oxidative Stress, Lipids in Cell Communication and Signal Transduction, Mitochondrial Function and Dysfunction.
    Keywords: Biologia ; Chimica ; Atti di convegno ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSB Biochemistry
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 40
    facet.materialart.
    Unknown
    TRIZ Future Conference 2004 (2022)
    Firenze University Press
    Details
    Publication Date: 2024-04-02
    Description: TRIZ the Theory of Inventive Problem Solving is a living science and a practical methodology: millions of patents have been examined to look for principles of innovation and patterns of excellence. Large and small companies are using TRIZ to solve problems and to develop strategies for future technologies. The TRIZ Future Conference is the annual meeting of the European TRIZ Association, with contributions from everywhere in the world. The aims of the 2004 edition are the integration of TRIZ with other methodologies and the dissemination of systematic innovation practices even through SMEs: a broad spectrum of subjects in several fields debated with experts, practitioners and TRIZ newcomers.
    Keywords: Scienza ; Tecnologia ; Atti di convegno ; TRIZ ; Open Access ; thema EDItEUR::N History and Archaeology::NH History::NHB General and world history ; thema EDItEUR::N History and Archaeology::NH History::NHT History: specific events and topics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 41
    facet.materialart.
    Unknown
    Multi-Winner Voting with Approval Preferences (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: From fundamental concepts and results to recent advances in computational social choice, this open access book provides a thorough and in-depth look at multi-winner voting based on approval preferences. The main focus is on axiomatic analysis, algorithmic results and several applications that are relevant in artificial intelligence, computer science and elections of any kind. What is the best way to select a set of candidates for a shortlist, for an executive committee, or for product recommendations? Multi-winner voting is the process of selecting a fixed-size set of candidates based on the preferences expressed by the voters. A wide variety of decision processes in settings ranging from politics (parliamentary elections) to the design of modern computer applications (collaborative filtering, dynamic Q&A platforms, diversity in search results, etc.) share the problem of identifying a representative subset of alternatives. The study of multi-winner voting provides the principled analysis of this task. Approval-based committee voting rules (in short: ABC rules) are multi-winner voting rules particularly suitable for practical use. Their usability is founded on the straightforward form in which the voters can express preferences: voters simply have to differentiate between approved and disapproved candidates. Proposals for ABC rules are numerous, some dating back to the late 19th century while others have been introduced only very recently. This book explains and discusses these rules, highlighting their individual strengths and weaknesses. With the help of this book, the reader will be able to choose a suitable ABC voting rule in a principled fashion, participate in, and be up to date with the ongoing research on this topic.
    Keywords: Multi-Winner Voting ; Computational Social Choice ; Approval-Based Committee (ABC) Voting ; ABC Rules ; Proportionality ; Fairness Axioms ; Strategic Voting ; Collective Decisions ; Artificial Intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCA Economic theory and philosophy ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 42
    facet.materialart.
    Unknown
    Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This two-volume set LNCS 12962 and 12963 constitutes the thoroughly refereed proceedings of the 7th International MICCAI Brainlesion Workshop, BrainLes 2021, as well as the RSNA-ASNR-MICCAI Brain Tumor Segmentation (BraTS) Challenge, the Federated Tumor Segmentation (FeTS) Challenge, the Cross-Modality Domain Adaptation (CrossMoDA) Challenge, and the challenge on Quantification of Uncertainties in Biomedical Image Quantification (QUBIQ). These were held jointly at the 23rd Medical Image Computing for Computer Assisted Intervention Conference, MICCAI 2020, in September 2021. The 91 revised papers presented in these volumes were selected form 151 submissions. Due to COVID-19 pandemic the conference was held virtually. This is an open access book.
    Keywords: 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 ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 43
    facet.materialart.
    Unknown
    The Mediterranean coastal areas from watershed to the sea: interactions and changes (2022)
    Firenze University Press
    Details
    Publication Date: 2024-04-05
    Description: This volume presents the Proceedings of the International Conference of the MEDCORE project held in Florence, Italy, in November 2005. The MEDCORE project "From river catchment areas to the sea: a comparative and integrated approach to the ecology of Mediterranean coastal zones for sustainable management", funded by the European Commission, was carried out from 2002 to 2005 by a consortium of researchers from European and Mediterranean partner countries. It focused on coastal areas, with particular attention to the interactions and links between the elements. The approach was characterised by multidisciplinary research and integration of expertise. This book contributes to the information flow originated by the project and the conference. Despite the variety of the contributions, they have been gathered into this single volume to construct a baseline for an innovative interdisciplinary perspective.
    Keywords: Biologia ; Ambiente ; Animali ; Area mediterranea ; Atti di convegno ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNC Applied ecology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 44
    facet.materialart.
    Unknown
    Kiev e Leopoli: Il 'testo' culturale (2022)
    Firenze University Press
    Details
    Publication Date: 2024-03-24
    Description: Kiev has always revealed a surprising capacity for assimilation, giving rise over time to multi-ethnic, multi-faith and multi-cultural contexts of various types. Thinking of the "Kiev text" leads inevitably to consideration of the other emblematic text of the Ukrainian identity, the no less composite reality of Lviv. This publication contains the contributions presented at a Conference (Milan, February 2007) addressed to the "cultural text" of Kiev and Lviv. The authors are specialists with different cultural profiles, and the book is of a deliberately inter-disciplinary character. In view of the richness and variety of the information it is offered, within the Italian and international context, as a useful source even for the non-specialist public, and is one of a very small number of books dedicated to Ukraine available in Italian. Clearly, the arguments addressed represent only a tiny part of the vast spectrum of issues and questions inherent to the specificity and plurality of Kiev and Lviv. The hope is that the seed sewn here will grow into further fruitful interest.
    Keywords: Slavistica ; Cultura slava ; Letteratura ; Atti di convegno ; Kiev ; Leopoli ; Ucraina ; thema EDItEUR::C Language and Linguistics::CF Linguistics ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism
    Language: Italian
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 45
    facet.materialart.
    Unknown
    Computer Aided Verification (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.
    Keywords: 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 ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 46
    facet.materialart.
    Unknown
    AI in Learning: Designing the Future (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-03-29
    Description: AI (Artificial Intelligence) is predicted to radically change teaching and learning in both schools and industry causing radical disruption of work. AI can support well-being initiatives and lifelong learning but educational institutions and companies need to take the changing technology into account. Moving towards AI supported by digital tools requires a dramatic shift in the concept of learning, expertise and the businesses built off of it. Based on the latest research on AI and how it is changing learning and education, this book will focus on the enormous opportunities to expand educational settings with AI for learning in and beyond the traditional classroom. This open access book also introduces ethical challenges related to learning and education, while connecting human learning and machine learning. This book will be of use to a variety of readers, including researchers, AI users, companies and policy makers.
    Keywords: artificial intelligence ; life-long learning ; tutoring ; virtual learning ; learning analytics ; well-being ; simulations ; games ; intelligent digital tools ; deep learning ; robotics ; human-machine interaction ; bic Book Industry Communication::J Society & social sciences::JM Psychology ; bic Book Industry Communication::U Computing & information technology::UB Information technology: general issues ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::H Humanities::HP Philosophy::HPM Philosophy of mind ; bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::J Society and Social Sciences::JM Psychology ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::J Society and Social Sciences::JN Education ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTM Philosophy of mind ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 47
    facet.materialart.
    Unknown
    Le grandi infrastrutture: approcci di ordine giuridico, economico ed estimativo (2022)
    Firenze University Press
    Details
    Publication Date: 2022-06-02
    Description: The volume collects the proceedings of the XXXIV study meeting of Ce.S.E.T. - Centro di Estimo e di Economia territoriale (Centre for Estimation and Territorial Economics) held in Florence on 15-16 October 2004.
    Keywords: Diritto ; Economia ; Infrastrutture ; Atti di convegno ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCT Agricultural economics ; bic Book Industry Communication::T Technology, engineering, agriculture::TN Civil engineering, surveying & building::TNH Highway & traffic engineering ; bic Book Industry Communication::T Technology, engineering, agriculture::TR Transport technology & trades::TRP Aerospace & aviation technology
    Language: Italian
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 48
    facet.materialart.
    Unknown
    Des mots des femmes: rencontres linguistiques (2022)
    Firenze University Press
    Details
    Publication Date: 2024-03-24
    Description: To retrace the history of women's words, taken or given, their presence and their influence at the different periods of our history, in French-speaking literary and journalistic discourse, in the reference works that are dictionaries and encyclopedias, a variety of perspectives have been brought together, by specialists from different Countries and different scientific backgrounds. How do women fit into the definition of a language standard and into linguistic creation? What are the words that describe them or used to address them? Who are the female figures that emerge from the various works analyzed, vectors of our cultures and societies? From the mistress or the foreigner, the intellectual or the whore, the factory worker or the woman of power, different facets of women, exposed in their intentions or their intimacies, offer a dynamic vision of the female condition.
    Keywords: Linguistica ; Donne ; Atti di convegno ; thema EDItEUR::C Language and Linguistics::CF Linguistics ; thema EDItEUR::C Language and Linguistics::CF Linguistics::CFP Translation and interpretation
    Language: French
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 49
    facet.materialart.
    Unknown
    Performance of Wind Exposed Structures (2022)
    Firenze University Press
    Details
    Publication Date: 2024-04-11
    Description: PERBACCO (a free Italian acronym for Life-cycle Performance, Innovation and Design Criteria for Structures and Infrastructures Facing Æolian and Other Natural Hazards) is a research project partly funded by the Italian Ministry for University (MIUR) in the PRIN (Progetti di Ricerca di Interesse Nazionale) framework, for the years 2004-05.Within the project, a first attempt has been made to integrate different disciplines aiming at an overall optimization of the performance of a wide range of wind exposed structures and infrastructures, with consequent benefi cial impact on the society.The overall objectives were (a) to provide unifi ed concepts for "expected performance" and "risks induced by æolian and other natural hazards", to be applied to structures and infrastructures over their whole life-cycle, such to be acceptable to stakeholders in the construction process (i.e. from the owner to the end-user), (b) to provide models and methodologies for dynamic monitoring of the performance of structures and infrastructures, to be integrated in appropriately designed procedures, and (c) to collect, refi ne, fi le and disseminate the knowledge available on a European basis, concerning the performance of wind-exposed structures and facilities, in a way such to be of use to Construction Industry. This volume summarises the main results obtained during the Project, with each Section addressing a different class of problems, to which many research Units have contributed. A list of papers containing the main results of the research activities carried out within the Project is also provided in each Section.
    Keywords: Ingegneria ; Ingegneria del vento ; Infrastrutture ; Atti di convegno ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building::TNH Highway and traffic engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TR Transport technology and trades::TRP Aerospace and aviation technology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 50
    facet.materialart.
    Unknown
    Artificial Intelligence for a Better Future (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book proposes a novel approach to Artificial Intelligence (AI) ethics. AI offers many advantages: better and faster medical diagnoses, improved business processes and efficiency, and the automation of boring work. But undesirable and ethically problematic consequences are possible too: biases and discrimination, breaches of privacy and security, and societal distortions such as unemployment, economic exploitation and weakened democratic processes. There is even a prospect, ultimately, of super-intelligent machines replacing humans. The key question, then, is: how can we benefit from AI while addressing its ethical problems? This book presents an innovative answer to the question by presenting a different perspective on AI and its ethical consequences. Instead of looking at individual AI techniques, applications or ethical issues, we can understand AI as a system of ecosystems, consisting of numerous interdependent technologies, applications and stakeholders. Developing this idea, the book explores how AI ecosystems can be shaped to foster human flourishing. Drawing on rich empirical insights and detailed conceptual analysis, it suggests practical measures to ensure that AI is used to make the world a better place.
    Keywords: Artificial Intelligence ; Ethics ; Computers and Society ; Philosophy of Technology ; Business Ethics ; Applied Ethics ; Ethics of Technology ; Computer Ethics ; Information Ethics ; Responsible Research and Innovation ; Innovation Ecosystem ; Engineering Ethics ; Corporate Social Responsibility ; Open Access ; Ethics & moral philosophy ; Ethical & social aspects of IT ; Philosophy ; Business ethics & social responsibility ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTQ Ethics and moral philosophy ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics::UBJ Digital and information technologies: social and ethical aspects ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJG Business ethics and social responsibility
    Language: English
    Format: image/png
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 51
    facet.materialart.
    Unknown
    La civiltà comunale italiana nella storiografia internazionale (2021)
    Firenze University Press
    Details
    Publication Date: 2024-04-01
    Description: This book contains the proceedings of the first international conference organised by the Centro di Studi sulla civiltà comunale of the University of Florence, and offers a fine overview of the contribution made by international historiography to the history of the Italian Comunes. One of the most significant periods in the country's past is addressed here by some of the leading international specialists through the reconstruction of the approaches, issues and outcomes of the principal foreign historiographies (German, French, American, Spanish and English). The result is a fairly articulated picture of how the civilisation of the Comune has been treated and appraised over time outside Italy. Consequently, the book is offered as an updated tool of historiographic reflection and as a useful yardstick for studies devoted to the European urban world.
    Keywords: D111-203 ; Comuni medievali ; Storiografia ; Storia ; Medioevo ; Atti di convegno ; thema EDItEUR::N History and Archaeology ; thema EDItEUR::3 Time period qualifiers::3K CE period up to c 1500
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 52
    facet.materialart.
    Unknown
    Programming Languages and Systems (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
    Keywords: Programming Languages, Compilers, Interpreters ; Natural Language Processing (NLP) ; Software Engineering ; Logics and Meanings of Programs ; Computer Systems Organization and Communication Networks ; Compilers and Interpreters ; Computer Science Logic and Foundations of Programming ; Computer Engineering and Networks ; computer programming ; concurrency theory ; distributed computer systems ; formal logic ; lamdba calculi ; linguistics ; logic ; object-oriented programming ; parallel processing systems ; probabilistic programming ; process calculi ; program compilers ; semantics ; software design ; software quality ; theory ; types ; verification and validation ; Programming & scripting languages: general ; Compilers & interpreters ; Natural language & machine translation ; Computer programming / software engineering ; Computer architecture & logic design ; Computer networking & communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 53
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
    Keywords: Theory of Computation ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Logic in AI ; Information Systems and Communication Service ; Computer Engineering and Networks ; architecture verification and validation ; artificial intelligence ; automata theory ; computer networks ; embedded systems ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; model-checking ; SAT and SMT solving ; signal processing ; software and hardware verification ; software architecture ; software engineering ; specification and verification techniques ; static and dynamic program analysis ; system construction and transforamtion techniques ; theorem-proving ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Algorithms & data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 54
    facet.materialart.
    Unknown
    Graph Structures for Knowledge Representation and Reasoning (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence. The 7 revised full papers presented together with 2 invited contributions were reviewed and selected from 9 submissions. The contributions address various issues for knowledge representation and reasoning and the common graph-theoretic background, which allows to bridge the gap between the different communities.
    Keywords: Artificial Intelligence ; Information Systems Applications (incl. Internet) ; Computer Communication Networks ; Mathematical Logic and Formal Languages ; Computer and Information Systems Applications ; Formal Languages and Automata Theory ; open access ; concept lattices ; data mining ; databases ; fca ; formal concept analysis ; formal languages ; formal logic ; information analysis ; information systems ; knowledge-based system ; model-based reasoning ; network protocols ; ontologies ; Information retrieval ; Internet searching ; Network hardware ; Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 55
    facet.materialart.
    Unknown
    How safe is eating chicken? (2021)
    Firenze University Press
    Details
    Publication Date: 2023-12-21
    Description: Consumers' trust is a key factor in dealing with rising concerns about food safety and food quality, but only few studies have dealt with consumer attitudes and none of them has tried to model the process of consumer response. This book reports the main findings of an european project aimed at analysing trust along the food chain and its relationship with food risk communication. The papers collected investigate the mechanisms that determine the social diffusion of trust, examiConsumers trust is a key factor in dealing with rising concerns about food safety and food quality, but only few studies have dealt with consumer attitudes and none of them has tried to model the process of consumer response. This book reports the main findings of an european project aimed at analysing trust along the food chain and its relationship with food risk communication. The papers collected investigate the mechanisms that determine the social diffusion of trust, examining the interplay of the psychological, sociological and economic factors; and analyze the impact of the food risk communication policies on consumers and producers and on the society as a whole.ning the interplay of the psychological, sociological and economic factors; and analyze the impact of the food risk communication policies on consumers and producers and on the society as a whole.
    Keywords: TP368-456 ; Sociologia ; Economia ; Unione europea ; Alimentazione ; Atti di convegno ; bic Book Industry Communication::K Economics, finance, business & management::KN Industry & industrial studies::KND Manufacturing industries::KNDF Food manufacturing & related industries
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 56
    facet.materialart.
    Unknown
    The Impact of Digital Technologies on Public Health in Developed and Developing Countries (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2020, held in Hammamet, Tunisia, in June 2020.* The 17 full papers and 23 short papers presented in this volume were carefully reviewed and selected from 49 submissions. They cover topics such as: IoT and AI solutions for e-health; biomedical and health informatics; behavior and activity monitoring; behavior and activity monitoring; and wellbeing technology. *This conference was held virtually due to the COVID-19 pandemic.
    Keywords: Computer Communication Networks ; Artificial Intelligence ; Information Systems Applications (incl. Internet) ; Special Purpose and Application-Based Systems ; Computer System Implementation ; User Interfaces and Human Computer Interaction ; Computer and Information Systems Applications ; open access ; artificial intelligence ; communication systems ; computer vision ; databases ; hci ; human-computer interaction ; image processing ; Internet of Things ; IoT ; machine learning ; network protocols ; sensors ; signal processing ; software architecture ; software design ; telecommunication networks ; telecommunication systems ; user interfaces ; wireless telecommunication systems ; Network hardware ; Artificial intelligence ; Information retrieval ; Internet searching ; Expert systems / knowledge-based systems ; Systems analysis & design ; User interface design & usability ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 57
    facet.materialart.
    Unknown
    Concepts in Action (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-03-24
    Description: This open access book is a timely contribution in presenting recent issues, approaches, and results that are not only central to the highly interdisciplinary field of concept research but also particularly important to newly emergent paradigms and challenges. The contributors present a unique, holistic picture for the understanding and use of concepts from a wide range of fields including cognitive science, linguistics, philosophy, psychology, artificial intelligence, and computer science. The chapters focus on three distinct points of view that lie at the core of concept research: representation, learning, and application. The contributions present a combination of theoretical, experimental, computational, and applied methods that appeal to students and researchers working in these fields.
    Keywords: Conceptual Spaces ; Concept and Representation ; Learning, Language and Application ; Robotics and Typicality ; Compositionality and Concepts ; Concept Research ; Concept Research and Machine Learning ; thema EDItEUR::C Language and Linguistics::CB Language: reference and general::CBX Language: history and general works ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTM Philosophy of mind ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTL Philosophy: logic
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 58
    facet.materialart.
    Unknown
    Brain-Inspired Computing (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes revised selected papers from the 4th International Workshop on Brain-Inspired Computing, BrainComp 2019, held in Cetraro, Italy, in July 2019. The 11 papers presented in this volume were carefully reviewed and selected for inclusion in this book. They deal with research on brain atlasing, multi-scale models and simulation, HPC and data infra-structures for neuroscience as well as artificial and natural neural architectures.
    Keywords: artificial intelligence ; communication systems ; computer hardware ; computer networks ; computer programming ; computer systems ; computer vision ; deep learning ; distributed computer systems ; image analysis ; image processing ; machine learning ; network protocols ; neural networks ; signal processing ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 59
    facet.materialart.
    Unknown
    Formazione e società nella conoscenza (2021)
    Firenze University Press
    Details
    Publication Date: 2022-01-31
    Description: Il volume raccoglie gli Atti del convegno "Formazione e società della conoscenza. Storia, teorie, professionalità" che si è svolto a Firenze nei giorni 9 e 10 novembre 2004 in occasione della celebrazione degli 80 anni dell'Università degli studi di Firenze. Il convegno si è occupato di ripensare la storia della Facoltà di Scienze della Formazione e le questioni della formazione nell'attuale fase di ripensamento degli studi universitari. Le quattro sessioni del convegno hanno affrontato temi come: la storia della Facoltà e della formazione di maestri e professori; processi, modelli e teorie della formazione; alcuni concetti/focus della formazione e le professionalità a cui la Facoltà prepara.
    Keywords: LB5-3640 ; Didattica ; Universit&agrave ; Formazione ; Atti di convegno
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 60
    facet.materialart.
    Unknown
    Knowledge Graphs and Big Data Processing (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book is part of the LAMBDA Project (Learning, Applying, Multiplying Big Data Analytics), funded by the European Union, GA No. 809965. Data Analytics involves applying algorithmic processes to derive insights. Nowadays it is used in many industries to allow organizations and companies to make better decisions as well as to verify or disprove existing theories or models. The term data analytics is often used interchangeably with intelligence, statistics, reasoning, data mining, knowledge discovery, and others. The goal of this book is to introduce some of the definitions, methods, tools, frameworks, and solutions for big data processing, starting from the process of information extraction and knowledge representation, via knowledge processing and analytics to visualization, sense-making, and practical applications. Each chapter in this book addresses some pertinent aspect of the data processing chain, with a specific focus on understanding Enterprise Knowledge Graphs, Semantic Big Data Architectures, and Smart Data Analytics solutions. This book is addressed to graduate students from technical disciplines, to professional audiences following continuous education short courses, and to researchers from diverse areas following self-study courses. Basic skills in computer science, mathematics, and statistics are required.
    Keywords: Database Management ; Information Systems Applications (incl. Internet) ; Logic in AI ; Computer Appl. in Administrative Data Processing ; Business Information Systems ; Computer and Information Systems Applications ; Computer Application in Administrative Data Processing ; artificial intelligence ; big data ; data analytics ; data handling ; data integration ; data mining ; databases ; digital storage ; domain knowledge ; graph theory ; information management ; information technology ; integrated data ; internet ; knowledge management ; knowledge-based system ; ontologies ; semantics ; Databases ; Database programming ; Information retrieval ; Internet searching ; Artificial intelligence ; Public administration ; Information technology: general issues ; Business mathematics & systems ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPP Public administration ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 61
    facet.materialart.
    Unknown
    Computer Aided Verification (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
    Keywords: Software Engineering ; Theory of Computation ; Artificial Intelligence ; Computer Systems Organization and Communication Networks ; Computer Hardware ; Simulation and Modeling ; Computer Engineering and Networks ; Computer Science ; architecture verification and validation ; artificial intelligence ; automata theory ; computer systems ; correlation analysis ; distributed computer systems ; embedded systems ; formal languages ; formal logic ; linguistics ; model checking ; programming languages ; semantics ; software architecture ; software design ; software quality ; verification and validation ; Open Access ; Computer science ; Mathematical theory of computation ; Artificial intelligence ; Computer networking & communications ; Computer hardware ; Computer modelling & simulation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 62
    facet.materialart.
    Unknown
    Foundations of Software Science and Computation Structures (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
    Keywords: Mathematical Logic and Formal Languages ; Theory of Computation ; Natural Language Processing (NLP) ; Database Management ; Programming Techniques ; Formal Languages and Automata Theory ; automata theory ; databases ; formal languages ; formal logic ; computational linguistics ; open access ; semantics ; categorical models and logics ; language theory, automata, and games ; modal, spatial, and temporal logics ; type theory and proof theory ; concurrency theory and process calculi ; rewriting theory ; logical foundations of data bases ; models of software security ; logical aspects of computation complexity ; logics of programming ; Mathematical theory of computation ; Computer science ; Natural language & machine translation ; Database programming ; Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 63
    facet.materialart.
    Unknown
    Fundamental Approaches to Software Engineering (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic. The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions.
    Keywords: Software Engineering/Programming and Operating Systems ; Data Structures and Information Theory ; Natural Language Processing (NLP) ; Programming Techniques ; Theory of Computation ; Software Engineering ; architecture verification and validation ; artificial intelligence ; embedded systems ; empirical software validation ; formal logic ; formal methods ; model checking ; model-driven software engineering ; object-oriented programming ; parallel processing systems ; program analysis ; program compilers ; signal processing ; software architecture ; software performance ; software selection and adaptation ; software testing and debugging ; telecommunication systems ; verification ; Operating systems ; Algorithms & data structures ; Information theory ; Natural language & machine translation ; Computer programming / software engineering ; Computer science ; Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 64
    facet.materialart.
    Unknown
    Models and analysis of vocal emissions for biomedical applications (2021)
    Firenze University Press
    Details
    Publication Date: 2022-01-31
    Description: This book of Proceedings collects the papers presented at the 3rd International Workshop on Models and Analysis of Vocal Emissions for Biomedical Applications, MAVEBA 2003, held 10-12 December 2003, Firenze, Italy. The workshop is organised every two years, and aims to stimulate contacts between specialists active in research and industrial developments, in the area of voice analysis for biomedical applications. The scope of the Workshop includes all aspects of voice modelling and analysis, ranging from fundamental research to all kinds of biomedical applications and related established and advanced technologies.
    Keywords: R858-859.7 ; Biomedica ; Open Access ; Scienza ; Ingegneria ; Medicina ; Atti di convegno
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 65
    facet.materialart.
    Unknown
    Public Administration, Competitiveness and Sustainable Development (2021)
    Firenze University Press
    Details
    Publication Date: 2023-12-20
    Description: The debate over the question of the sustainability of development has been for some time underway in relation to the environment and to public health. More recently attention has turned to other aspects of sustainability as well, now that a generally accepted meaning of the term has been reached which defines it as the sum total of policies for satisfying the needs of the present generation without compromising the capacity of future generations to satisfy their own needs. Within this broader context the role of public administration is obvious. One of the key questions that this volume has attempted to provide an answer is: can the European vision hold true in the same terms for Italy as well?
    Keywords: K1-7720 ; Sviluppo sostenibile ; Economia ; Ambiente ; Diritto ; Atti di convegno ; bic Book Industry Communication::L Law
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 66
    facet.materialart.
    Unknown
    Proceedings of the International Conference on Dublin Core and Metadata for e-Communities (2021)
    Firenze University Press
    Details
    Publication Date: 2022-01-31
    Description: DC-2002 marks the tenth in the ongoing series of International Dublin Core Workshops, and the second that includes a full program of tutorials and peer-reviewed conference papers. Interest in Dublin Core metadata has grown from a small collection of pioneering projects to adoption by governments and international organizations worldwide. The greatest challenge of the current phase of metadata development is bringing together the diversity of local conventions, domain specific requirements, and different encoding conventions such taht cross-domain interoperability can be achieved.
    Keywords: CD1-6471 ; Z1001-8999 ; Editoria elettronica ; Biblioteconomia ; Informatica ; Atti di convegno
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 67
    facet.materialart.
    Unknown
    Computer Aided Verification (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification. This is an open access book.
    Keywords: architecture verification ; artificial intelligence ; automata theory ; computer programming ; distributed computer systems ; distributed systems ; embedded systems ; formal languages ; formal logic ; formal methods ; model checking ; software architecture ; software design ; software engineering ; software quality ; temporal logic ; verification techniques ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 68
    facet.materialart.
    Unknown
    La Facoltà di Architettura di Firenze fra tradizione e cambiamento (2021)
    Firenze University Press
    Details
    Publication Date: 2024-03-23
    Description: The volume comprises the proceedings of the study days in the Faculty of Architecture (29-30 April 2004) broken down into four thematic sections: The original characteristics of the Florentine school, From Higher School to Faculty, the Florentine school and the contributions from outside, Contemporary metamorphoses. The contributions focus the phases of formation and evolution of the Higher School (1926) and later Faculty (1936) of Architecture, underlining the most significant passages, starting from the initial consolidation of the didactic structure and the emergence of a "Florentine school" characterised by the two strands traceable to Raffaello Fanoni and Giovanni Michelucci. A parallel experience is provided by the contribution of the external teachers, in particular of the Roman school, with lively and at times conflicting approaches. The present situation, albeit with the necessary disciplinary dialectic, features a settlement of the divergences around themes of the relations between architecture, environment and landscape.
    Keywords: NA1-9428 ; Universit&agrave ; Firenze ; Architettura ; Atti di convegno ; thema EDItEUR::A The Arts::AM Architecture
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 69
    facet.materialart.
    Unknown
    Le tesi di laurea nelle biblioteche di architettura (2021)
    Firenze University Press
    Details
    Publication Date: 2022-01-31
    Description: Per le tesi manca un quadro legislativo generale e sono state elaborate alcune soluzioni a livello locale che possono essere importanti per i bibliotecari italiani delle Università. I problemi sono molteplici: tecnici, di copyright, ma anche più strettamente connessi alla biblioteconomia, come catalogazione, conservazione, accesso. Ogni biblioteca sembra aver trovato vie originali, ed è importante renderle note per dare suggerimenti per il trattamento di questo patrimonio documentale ancora di difficile accesso.
    Keywords: CD1-6471 ; Z1001-8999 ; Biblioteche pubbliche ; Open Access ; Biblioteconomia ; Tesi di laurea ; Atti di convegno
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 70
    facet.materialart.
    Unknown
    Smart Technologies for Precision Assembly (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the refereed post-conference proceedings of the 9th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2020, held virtually in December 2020. The 16 revised full papers and 10 revised short papers presented together with 1 keynote paper were carefully reviewed and selected from numerous submissions. The papers address topics such as assembly design and planning; assembly operations; assembly cells and systems; human centred assembly; and assistance methods in assembly.
    Keywords: Computer Applications ; Special Purpose and Application-Based Systems ; User Interfaces and Human Computer Interaction ; Robotics ; Computer and Information Systems Applications ; open access ; artificial intelligence ; computer vision ; hci ; human engineering ; human-computer interaction ; image processing ; manipulators ; mobile robots ; motion planning ; network protocols ; robots ; sensors ; signal processing ; software engineering ; telecommunication networks ; user interfaces ; Information technology: general issues ; Expert systems / knowledge-based systems ; User interface design & usability ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 71
    facet.materialart.
    Unknown
    AI based Robot Safe Learning and Control (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-11
    Description: This open access book mainly focuses on the safe control of robot manipulators. The control schemes are mainly developed based on dynamic neural network, which is an important theoretical branch of deep reinforcement learning. In order to enhance the safety performance of robot systems, the control strategies include adaptive tracking control for robots with model uncertainties, compliance control in uncertain environments, obstacle avoidance in dynamic workspace. The idea for this book on solving safe control of robot arms was conceived during the industrial applications and the research discussion in the laboratory. Most of the materials in this book are derived from the authors’ papers published in journals, such as IEEE Transactions on Industrial Electronics, neurocomputing, etc. This book can be used as a reference book for researcher and designer of the robotic systems and AI based controllers, and can also be used as a reference book for senior undergraduate and graduate students in colleges and universities.
    Keywords: Robotics and Automation ; Control and Systems Theory ; Artificial Intelligence ; Robotic Engineering ; Safe Control ; Deep Reinforcement Learning ; Recurrent Neural Network ; Force Control ; Obstacle Ovoidance ; Adaptive Control ; Trajectory Tracking ; Open Access ; Robotics ; Automatic control engineering ; Artificial intelligence ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFM Automatic control engineering::TJFM1 Robotics ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFM Automatic control engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 72
    facet.materialart.
    Unknown
    Models and analysis of vocal emissions for biomedical applications (2021)
    Firenze University Press
    Details
    Publication Date: 2022-01-31
    Description: This book of Proceedings collects the papers presented at the 4th International Workshop on Models and Analysis of Vocal Emissions for Biomedical Applications, MAVEBA 2005, held 29-31 October 2005, Firenze, Italy. The workshop is organised every two years, and aims to stimulate contacts between specialists active in research and industrial developments, in the area of voice analysis for biomedical applications. The scope of the Workshop includes all aspects of voice modelling and analysis, ranging from fundamental research to all kinds of biomedical applications and related established and advanced technologies.
    Keywords: R858-859.7 ; Biomedica ; Scienza ; Ingegneria ; Medicina ; Atti di convegno
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 73
    facet.materialart.
    Unknown
    Fundamental Approaches to Software Engineering (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions. The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution.
    Keywords: Software Engineering ; Special Purpose and Application-Based Systems ; Control Structures and Microprogramming ; Computer System Implementation ; Information Systems and Communication Service ; Artificial Intelligence ; open access ; software engineering ; requirements engineering ; model-based design ; software analysis ; testing ; software architectures ; security ; model transformations ; software evolution ; software product lines ; architecting ; artificial intelligence ; computer programming ; computer systems ; embedded systems ; mathematics ; software architecture ; software design ; Expert systems / knowledge-based systems ; Algorithms & data structures ; Systems analysis & design ; Computer networking & communications ; Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 74
    facet.materialart.
    Unknown
    L'innovazione per lo sviluppo locale: l'Università per il territorio (2021)
    Firenze University Press
    Details
    Publication Date: 2024-03-25
    Description: This book presents the proceedings of the conference held on 12 March 2004 at the "Il Momento" theatre in Empoli. The aim of the conference was to explore the significant aspects of the presence of the University of Florence in the Empoli-Valdelsa area, involving the Faculties of Agriculture, Architecture, Economics, Engineering, Medical Surgery and Mathematical, Physical and Natural Sciences. This presence is a response to the plan for a progressive consolidation of the University in the Florentine metropolitan vast area, in line with functional settlement logic and integrally connected with the specific economic and social demands of the territory.
    Keywords: D1-2009 ; L7-991 ; BF1-990 ; B1-5802 ; G1-922 ; Universit&agrave ; Firenze ; Territorio ; Atti di convegno ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DN Biography and non-fiction prose
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 75
    facet.materialart.
    Unknown
    Tecnologia dell'architettura: creatività e innovazione nella ricerca (2021)
    Firenze University Press
    Details
    Publication Date: 2024-03-23
    Description: This book is the first in a series conceived to valorise the activity carried out within the Research and Technology of Architecture Doctorates, through the presentation of the results of the first seminar of the Italian doctorates. The educational and scientific significance of this innovative experience is witnessed by the contributions and the issues tackled, which map out the scenario of the research and the proposals for the future. For this reason the book - and the entire series - are also proposed with a multi-level educational function (orienting those approaching the subject in terms of the contents tackled by the sector in Italy) and as a tool for professional updating directed at the achievement of the most elevated quality levels.
    Keywords: NA1-9428 ; Progettazione srchitettonica ; Architettura ; Atti di convegno ; thema EDItEUR::A The Arts::AM Architecture
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 76
    facet.materialart.
    Unknown
    Representation Learning for Natural Language Processing (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book provides an overview of the recent advances in representation learning theory, algorithms and applications for natural language processing (NLP). It is divided into three parts. Part I presents the representation learning techniques for multiple language entries, including words, phrases, sentences and documents. Part II then introduces the representation techniques for those objects that are closely related to NLP, including entity-based world knowledge, sememe-based linguistic knowledge, networks, and cross-modal entries. Lastly, Part III provides open resource tools for representation learning techniques, and discusses the remaining challenges and future research directions. The theories and algorithms of representation learning presented can also benefit other related domains such as machine learning, social network analysis, semantic Web, information retrieval, data mining and computational biology. This book is intended for advanced undergraduate and graduate students, post-doctoral fellows, researchers, lecturers, and industrial engineers, as well as anyone interested in representation learning and natural language processing.
    Keywords: Natural Language Processing (NLP) ; Computational Linguistics ; Artificial Intelligence ; Data Mining and Knowledge Discovery ; Open Access ; Deep Learning ; Representation Learning ; Knowledge Representation ; Word Representation ; Document Representation ; Big Data ; Machine Learning ; Natural Language Processing ; Natural language & machine translation ; Computational linguistics ; Artificial intelligence ; Data mining ; Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation ; thema EDItEUR::C Language and Linguistics::CF Linguistics::CFX Computational and corpus linguistics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNF Data mining
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 77
    facet.materialart.
    Unknown
    Computer Aided Verification (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.
    Keywords: architecture verification ; artificial intelligence ; computer programming ; distributed computer systems ; distributed systems ; embedded systems ; formal logic ; formal methods ; formal verifications ; model checker ; model checking ; signal processing ; software architecture ; software design ; software engineering ; software quality ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 78
    facet.materialart.
    Unknown
    An Introduction to Ethics in Robotics and AI (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-08
    Description: This open access book introduces the reader to the foundations of AI and ethics. It discusses issues of trust, responsibility, liability, privacy and risk. It focuses on the interaction between people and the AI systems and Robotics they use. Designed to be accessible for a broad audience, reading this book does not require prerequisite technical, legal or philosophical expertise. Throughout, the authors use examples to illustrate the issues at hand and conclude the book with a discussion on the application areas of AI and Robotics, in particular autonomous vehicles, automatic weapon systems and biased algorithms. A list of questions and further readings is also included for students willing to explore the topic further.
    Keywords: Engineering Ethics ; Robotics ; Applied Psychology ; Moral Philosophy and Applied Ethics ; Behavioral Sciences and Psychology ; AI and ethics ; ethics and robotics ; descriptive ethics ; relationship between ethics and law ; machine ethics ; machine meta-ethics ; machine normative ethics ; types of AI systems ; strong and weak AI ; challenges of AI ; Open Access ; Ethics & moral philosophy ; Technology: general issues ; Artificial intelligence ; Psychology ; bic Book Industry Communication::H Humanities::HP Philosophy::HPQ Ethics & moral philosophy ; bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ; bic Book Industry Communication::J Society & social sciences::JM Psychology ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTQ Ethics and moral philosophy ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::J Society and Social Sciences::JM Psychology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 79
    facet.materialart.
    Unknown
    Rappresentanza e governo alla svolta del nuovo secolo (2021)
    Firenze University Press
    Details
    Publication Date: 2022-01-31
    Description: The book presents the proceedings of the conference held in the Aula Magna of the University of Florence on 28 and 29 October 2004. The objective of the conference was to study, through a multidisciplinary approach, the question of government and representation at local, national and European level. Among the central issues addressed during the meeting were models of representation, the links between representation and civil society and the functions of the representative organs.
    Keywords: JA1-92 ; Rappresentanza politica ; Politica ; Societ&agrave ; Atti di convegno
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 80
    facet.materialart.
    Unknown
    Computer Aided Verification (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
    Keywords: Software Engineering ; Theory of Computation ; Computer Systems Organization and Communication Networks ; Artificial Intelligence ; Information Systems and Communication Service ; Computer Hardware ; Computer Engineering and Networks ; Database Management System ; architecture verification and validation ; artificial intelligence ; computer hardware ; computer networks ; computer programming ; computer systems ; data security ; distributed computer systems ; embedded systems ; formal logic ; linguistics ; model checking ; network protocols ; parallel processing systems ; signal processing ; software architecture ; software design ; software quality ; verification and validation ; Open Access ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Artificial intelligence ; Computer hardware ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 81
    facet.materialart.
    Unknown
    L'Università degli Studi di Firenze fra istituzioni e cultura nel decennale della scomparsa di Giovanni Spadolini (2021)
    Firenze University Press
    Details
    Publication Date: 2024-03-25
    Description: This book contains the proceedings of the conference held on 11 and 12 October 2004 in the Aula Magna of the University of Florence, in collaboration with the Fondazione Spadolini. The aim of the conference was to delineate the profiles of a series of emblematic figures, representative of the presence and activities of illustrious teachers from the University of Florence in local and national institutions and in civil society. The proceedings are conceived to act as permanent evidence of the close links between the University and the Institutions and of the major impact of the work of so many lecturers from the University of Florence in the recent history of Italian institutions.
    Keywords: D1-2009 ; JF20-2112 ; Universit&agrave ; Politica ; Storia ; Giovanni Spadolini ; Atti di convegno ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DN Biography and non-fiction prose
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 82
    facet.materialart.
    Unknown
    Fiume, paesaggio, difesa del suolo (2021)
    Firenze University Press
    Details
    Publication Date: 2024-03-23
    Description: Nei giorni 10 e 11 maggio 2006 si è tenuto a Firenze, presso l'Aula Magna del Rettorato, il Convegno internazionale sul tema "Fiume, paesaggio, difesa del suolo. Superare le emergenze, cogliere le opportunità". L'input culturale e scientifico di tale iniziativa (promossa ed organizzata dal Dottorato di Ricerca in Progettazione Paesistica – prof. Giulio G. Rizzo, dott. Michele Ercolini – e dal Master in Paesaggistica – prof. Guido Ferrara – dell'Università degli Studi di Firenze), vale a dire il tentativo di trasformare un "sistema di esigenze" (riconducibile a necessità di difesa del suolo) in un "sistema di opportunità" per la progettazione di "nuovi paesaggi", ha contraddistinto la maggior parte delle relazioni presentate nelle due giornate di lavoro ed inserite nel presente volume.
    Keywords: NA1-9428 ; TC1-978 ; Architettura del paesaggio ; Open Access ; Fiumi ; Ambiente ; Idrologia ; Territorio ; Atti di convegno ; thema EDItEUR::A The Arts::AM Architecture
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 83
    facet.materialart.
    Unknown
    L'inclusione sociale e il dialogo interculturale nei contesti europei (2021)
    Firenze University Press
    Details
    Publication Date: 2024-03-29
    Description: The book contains the proceedings of the European conference and review «Products and experiences for intercultural dialogue: Best practices for social inclusion in Italy and Europe" held in Florence on 18 January 2008 in the framework of the project «Social Inclusion: How Leonardo da Vinci Projects Contribueted to Make it Effective». With a social and pedagogic/educational approach, the text is designed to make a specific contribution to the knowledge and evaluation of quality products, carefully selected by European experts, regarding three fundamental aspects of social inclusion and intercultural dialogue: learning on the part of the immigrants of the language and culture of the host country; reception and inclusion in the workplace; the protection of the health and safety of the immigrants.
    Keywords: L7-991 ; Open Access ; Integrazione europea ; Pedagogia ; Atti di convegno ; bic Book Industry Communication::J Society & social sciences::JN Education ; thema EDItEUR::J Society and Social Sciences::JN Education
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 84
    facet.materialart.
    Unknown
    New Metropolitan Perspectives (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: ​This open access book presents the outcomes of the symposium “NEW METROPOLITAN PERSPECTIVES,” held at Mediterranea University, Reggio Calabria, Italy on May 26–28, 2020. Addressing the challenge of Knowledge Dynamics and Innovation-driven Policies Towards Urban and Regional Transition, the book presents a multi-disciplinary debate on the new frontiers of strategic and spatial planning, economic programs and decision support tools in connection with urban–rural area networks and metropolitan centers. The respective papers focus on six major tracks: Innovation dynamics, smart cities and ICT; Urban regeneration, community-led practices and PPP; Local development, inland and urban areas in territorial cohesion strategies; Mobility, accessibility and infrastructures; Heritage, landscape and identity;and Risk management,environment and energy. The book also includes a Special Section on Rhegion United Nations 2020-2030. Given its scope, the book will benefit all researchers, practitioners and policymakers interested in issues concerning metropolitan and marginal areas.
    Keywords: Computational Intelligence ; Urban Economics ; Regional and Spatial Economics ; Integrated Approach of Sustainable Urban Development ; Metropolitan City: Issues and Challenges ; Urban Regeneration: Community Involvement and PPP ; Heritage and Identity ; Economic-Estimative Dynamics and Valuation Tools ; Open Access ; Artificial intelligence ; Urban economics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCV Economics of specific sectors::KCVS Regional / urban economics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 85
    facet.materialart.
    Unknown
    Foundations of Software Science and Computation Structures (2020)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-04
    Description: This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.​
    Keywords: Mathematical Logic and Foundations ; Discrete Mathematics in Computer Science ; Programming Languages, Compilers, Interpreters ; Programming Techniques ; Logic in AI ; Computer Systems Organization and Communication Networks ; categorical models and logics ; language theory, automata, and games ; modal, spatial, and temporal logics ; type theory and proof theory ; concurrency theory and process calculi ; rewriting theory ; semantics of programming languages ; program analysis, correctness, transformation, and verification ; logics of programming ; software specification and refinement ; emerging models of computation ; logical aspects of computational complexity ; models of software security ; logical foundations of data bases ; mathematics ; artificial intellegence ; formal logic ; linguistics ; Mathematical foundations ; Mathematical logic ; Discrete mathematics ; Maths for computer scientists ; Programming & scripting languages: general ; Compilers & interpreters ; Computer programming / software engineering ; Artificial intelligence ; Computer networking & communications ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBD Discrete mathematics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 86
    facet.materialart.
    Unknown
    Haptics: Science, Technology, Applications (2020)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 12th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2020, held in Leiden, The Netherlands, in September 2020. The 60 papers presented in this volume were carefully reviewed and selected from 111 submissions. The were organized in topical sections on haptic science, haptic technology, and haptic applications. This year's focus is on accessibility.
    Keywords: User Interfaces and Human Computer Interaction ; Robotics ; Special Purpose and Application-Based Systems ; Information Systems Applications (incl. Internet) ; Image Processing and Computer Vision ; Computer and Information Systems Applications ; Computer Vision ; communication systems ; computer networks ; data communication systems ; display devices ; engineering ; haptic devices ; haptic interfaces ; human engineering ; Human-Computer Interaction (HCI) ; mobile computing ; network protocols ; robotics ; signal processing ; telecommunication networks ; user interfaces ; virtual reality ; wireless telecommunication systems ; User interface design & usability ; Artificial intelligence ; Expert systems / knowledge-based systems ; Information retrieval ; Internet searching ; Image processing ; Computer vision ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...