| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISOBE600200049287 |
|
|
Autore |
Destutt de Tracy, Antoine Louis Claude |
|
|
Titolo |
2 : Grammaire / Destutt De Tracy |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Bibliothèque des textes philosophiques |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNISA996465335803316 |
|
|
Autore |
Veanes Margus |
|
|
Titolo |
Testing of software and communicating systems : 19th IFIP TC6/WG6.1 international conference, TestCom 2007, 7th international workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, proceedings / / Margus Veanes, Jan Tretmans and Wolfgang Grieskamp |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer-Verlag, , [2007] |
|
©2007 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2007.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 379 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science ; ; 4581 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Telecommunication systems - Testing |
Computer software - Testing |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Implementing Conformiq Qtronic -- New Approach for EFSM-Based Passive Testing of Web Services -- Automation of Avionic Systems Testing -- Automatic Test Generation from Interprocedural Specifications -- A New Method for Interoperability Test Generation -- |
|
|
|
|
|
|
|
|
|
|
Component Testing Is Not Enough - A Study of Software Faults in Telecom Middleware -- Symbolic Model Based Testing for Component Oriented Systems -- A Compositional Testing Framework Driven by Partial Specifications -- Nodes Self-similarity to Test Wireless Ad Hoc Routing Protocols -- Testing and Model-Checking Techniques for Diagnosis -- Model-Based Testing of Service Infrastructure Components -- Testing Input/Output Partial Order Automata -- A Framework for Testing AIS Implementations -- An Object-Oriented Framework for Improving Software Reuse on Automated Testing of Mobile Phones -- Model Based Testing of an Embedded Session and Transport Protocol -- Utilising Code Smells to Detect Quality Problems in TTCN-3 Test Suites -- A Bounded Incremental Test Generation Algorithm for Finite State Machines -- Experimental Testing of TCP/IP/Ethernet Communication for Automatic Control -- Towards Systematic Signature Testing -- TPLan-A Notation for Expressing Test Purposes -- Testing Nondeterministic Finite State Machines with Respect to the Separability Relation -- Learning and Integration of Parameterized Components Through Testing -- An EFSM-Based Passive Fault Detection Approach -- Test Data Variance as a Test Quality Measure: Exemplified for TTCN-3 -- Model-Based Testing of Optimizing Compilers. |
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNISA996508666303316 |
|
|
Titolo |
Artificial Life and Evolutionary Computation : 15th Italian Workshop, WIVACE 2021, Winterthur, Switzerland, September 15–17, 2021, Revised Selected Papers / / edited by Johannes Josef Schneider, Mathias Sebastian Weyland, Dandolo Flumini, Rudolf Marcel Füchslin |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2022 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2022.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (296 pages) |
|
|
|
|
|
|
Collana |
|
Communications in Computer and Information Science, , 1865-0937 ; ; 1722 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Computer science - Mathematics |
Computer science |
Computer networks |
Computers, Special purpose |
Computer engineering |
Artificial Intelligence |
Mathematics of Computing |
Theory of Computation |
Computer Communication Networks |
Special Purpose and Application-Based Systems |
Computer Engineering and Networks |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
Networks -- Dynamical criticality in growing networks -- Effective Resistance based Weight Thresholding for Community Detection -- An Oracle for the Optimization of Underconstrained Compositions of Neural Networks - The Tick Hazard Use Case -- Droplets, Fluids, and Synthetic Biology -- Obstacles on the Pathway towards Chemical Programmability using Agglomerations of Droplets -- The Good, the Bad and the Ugly: droplet recognition by a "shootout"-heuristics -- Exploring the three-dimensional arrangement of droplets -- Geometric |
|
|
|
|
|
|
|
|
|
|
|
restrictions to the agglomeration of spherical particles -- Effectiveness of Dynamic Load Balancing in Parallel Execution of a Subsurface Flow Cellular Automata Model -- Two possible AI-related paths for bottom-up synthetic cell research -- Robot Systems -- A hybrid control system architecture for a mobile robot to provide an energy-efficient and fast data processing -- On the evolution of mechanisms for collective decision making in a swarm of robots -- A novel online adaptation mechanism in artificial systems provides phenotypic plasticity -- Computer Vision and Computational Creativity -- Exploration of Genetic Algorithms and CNN for Melanoma Classification -- Using Genetic Algorithms to optimize a deep learning based system for the prediction of cognitive impairments -- Autonomous inspections of power towers with an UAV -- Self-organizing Maps of Artificial Neural Classifiers - a Brain like Pin Factory -- Evolutionary Music: Statistical Learning and Novelty for automatic improvisation -- Semantic Search -- ARISE: Artificial Intelligence Semantic Search Engine -- Artificial Medicine and Pharmacy -- Influence of the Antigen Pattern Vector on the Dynamics in a Perceptron-based Artificial Immune - Tumour-Ecosystem during and after Radiation Therapy -- Two-level detection of dynamic organization in cancer evolution models -- Artificial chemical neural network for drug discovery applications -- Trade and Finance -- Information Flow Simulations in Multi-Dimensional and Dynamic Systems -- Investigation of the Ramsey-Pierce-Bowman Model -- Ethics in Computational Modelling -- Ethical Aspects of Computational Modelling in Science, Decision Support and Communication. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the 15th Italian Workshop on Artificial Life and Evolutionary Computation, WIVACE 2021, held in Winterthur, Switzerland, in September 2022. The 14 full papers and 10 short papers presented in this volume were carefully reviewed and selected from 25 submissions. The papers are organized in the following topical sections: Networks; Droplets, Fluids, and Synthetic Biology; Robot Systems; Computer Vision and Computational Creativity; Semantic Search; Artificial Medicine and Pharmacy; Trade and Finance; Ethics in Computational Modelling. |
|
|
|
|
|
|
|
| |