Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
6GN for Future Wireless Networks [[electronic resource] ] : 6th EAI International Conference, 6GN 2023, Shanghai, China, October 7-8, 2023, Proceedings, Part I / / edited by Jingchao Li, Bin Zhang, Yulong Ying
| 6GN for Future Wireless Networks [[electronic resource] ] : 6th EAI International Conference, 6GN 2023, Shanghai, China, October 7-8, 2023, Proceedings, Part I / / edited by Jingchao Li, Bin Zhang, Yulong Ying |
| Autore | Li Jingchao |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (438 pages) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
ZhangBin
YingYulong |
| Collana | Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering |
| Soggetto topico |
Artificial intelligence
Computer networks Image processing - Digital techniques Computer vision Signal processing Application software Machine learning Artificial Intelligence Computer Communication Networks Computer Imaging, Vision, Pattern Recognition and Graphics Signal, Speech and Image Processing Computer and Information Systems Applications Machine Learning |
| ISBN | 3-031-53401-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Intelligent Systems -- 2D Map Generation Considering 3D Spatial Information of Objects for a Guide Dog Robot -- Development of an Image Generation System for Expressing Auditory Environment to Hearing-impaired People -- Robust Object Recognition and Command Understanding for a House Tidying-up Robot -- 3D Point Cloud Based Object Recognition and 3D Mapping -- Intelligent Inspection System of Coal Preparation Plant Based on Dynamic QR Code -- On The Construction of Information Management System for Railroad Grouping Station Operation -- Research on short term power load forecasting based on Wavelet and BiLSTM -- Big data mining, D2D Communication, Security and Privacy for 6G Networks -- Spectrum Allocation Algorithm based on Improved Chimp Optimization Algorithm -- Research on Model Evaluation Technology Based on Modulated Signal Identification -- Parking space matching and pathplanning based on Wolf feeding decision algorithm in large underground garage -- Research on physical layer authentication method of internet of things based on contour stellar images and convolutional neural network -- Double IRS-Aided Dual-function Radar and Communication System -- Channel Estimation for RIS Communication System with Deep scaled Least Squares -- Algorithmic protection study based on a virtual location -- Artificial intelligent techniques for 6G Networks -- Subway Double-door Anti-pinch Based On RGBD Binary Classification Network -- Design and Implementation of Intelligent IoT Paper Pumping System Based on Face Recognition of Loongson Processor -- Aluminum Defect Detection based on Weighted Feature Fusion Mechanism -- MS TextSpotter: An Intelligent Instance Segmentation Scheme for Semantic Scene Text Recognition in Asian Social Networks -- Improved solar photovoltaic panel defect detection technology based on YOLOv5 -- YOLO-L:A YOLO-BASED ALGORITHM FOR REMOTE SENSING IMAGE TARGET DETECTION -- Power and Energy Systems I -- An effective N-BEATS network model for short term load forecasting -- A Novel Ultra Short-Term Load Forecasting Algorithm of a Small Microgrid Based on Support Vector Regression -- Laser welding process of lithium battery lugs based on finite element simulation -- Failure and Stress Analysis of Cylindrical Springs -- Detection of Corrosion Areas in Power Equipment Based on Improved YOLOv5s Algorithm with CBAM Attention Mechanism -- Power and Energy Systems -- TASE-net: a short-term load forecasting model based on Temperature Accumulation Sequence Effect -- Predicting time series energy consumption based on Transformer and LSTM -- Predicting Wind Turbine Power Output based on XGBoost -- Loop Closure Detection Based on Local and Global Descriptors with Sinkhorn Algorithm -- Stainless steel crack detection based on MATLAB -- Power and Energy Systems -- A new combination model for offshore wind power prediction considering the number of climbing features -- Fault Diagnosis Method of Gas Turbine Combustion Chamber Based on CNN-GRU Model Analysis -- Research on Key Intelligent System in Unmanned Surface Vessel -- Simulation research on thermal management of hydrogen fuel cell for UAV -- Performance analysis on a coupled system of gas turbine and air cycle driven by waste heat of flue gas. . |
| Record Nr. | UNINA-9910842495003321 |
Li Jingchao
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The 7th International Conference on Information Science, Communication and Computing [[electronic resource] /] / edited by Xuesong Qiu, Yang Xiao, Zhiqiang Wu, Yudong Zhang, Yuan Tian, Bo Liu
| The 7th International Conference on Information Science, Communication and Computing [[electronic resource] /] / edited by Xuesong Qiu, Yang Xiao, Zhiqiang Wu, Yudong Zhang, Yuan Tian, Bo Liu |
| Autore | Qiu Xuesong |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (362 pages) |
| Disciplina | 621.382 |
| Altri autori (Persone) |
XiaoYang
WuZhiqiang ZhangYudong TianYuan LiuBo |
| Collana | Smart Innovation, Systems and Technologies |
| Soggetto topico |
Telecommunication
Computational intelligence Artificial intelligence Communications Engineering, Networks Computational Intelligence Artificial Intelligence |
| ISBN | 981-9971-61-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Visualization Analysis of Research Hot Spots of Drug Patents in China -- Ceramic Tile Production Intelligent Decision Research Based on Reinforcement Learning Algorithm -- Distributed Physical Device Connection Relationship Discovery Technology Based on Traffic Information -- A Survey of RoCEv2 Congestion Control -- Analysis of the Process of Public Opinion Dissemination Based on the SCT Model and Model Improvement -- Blockchain Anomaly Transaction Detection: An Overview, Challenges, and Open Issues -- Cloud-Edge Collaborative Computing Offloading Method for IoT Terminals. |
| Record Nr. | UNINA-9910760263303321 |
|
Qiu Xuesong
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
7th International Conference on Knowledge Management in Organizations: Service and Cloud Computing [[electronic resource] /] / edited by Lorna Uden, Francisco Herrera, Javier Bajo Pérez, Juan Manuel Corchado Rodríguez
| 7th International Conference on Knowledge Management in Organizations: Service and Cloud Computing [[electronic resource] /] / edited by Lorna Uden, Francisco Herrera, Javier Bajo Pérez, Juan Manuel Corchado Rodríguez |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (592 p.) |
| Disciplina | 658.4038 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Computational intelligence
Artificial intelligence Application software Computational Intelligence Artificial Intelligence Information Systems Applications (incl. Internet) |
| Soggetto genere / forma | Conference proceedings. |
| ISBN |
1-283-63071-0
9786613943163 3-642-30867-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Innovation in Knowledge Management -- Knowledge Management in Business -- - Knowledge Management in Education -- Knowledge Management in the Internet age -- Knowledge Management and Service Science -- Technology applied to Knowledge Management -- Applications of Knowledge Management -- Special Session on Cloud Computing: Advances and Applications. |
| Record Nr. | UNINA-9910438043603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
7th International Conference on Practical Applications of Computational Biology & Bioinformatics [[electronic resource] /] / edited by Mohd Saberi Mohamad, Loris Nanni, Miguel P. Rocha, Florentino Fdez-Riverola
| 7th International Conference on Practical Applications of Computational Biology & Bioinformatics [[electronic resource] /] / edited by Mohd Saberi Mohamad, Loris Nanni, Miguel P. Rocha, Florentino Fdez-Riverola |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (153 p.) |
| Disciplina | 570.285 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Computational intelligence
Artificial intelligence Bioinformatics Computational Intelligence Artificial Intelligence Computational Biology/Bioinformatics |
| ISBN | 3-319-00578-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Sequencing and Microarray -- Analysis -- Tools. |
| Record Nr. | UNINA-9910438040403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The 8th International Conference on Advanced Machine Learning and Technologies and Applications (AMLTA2022) [[electronic resource] /] / edited by Aboul Ella Hassanien, Rawya Y. Rizk, Václav Snášel, Rehab F. Abdel-Kader
| The 8th International Conference on Advanced Machine Learning and Technologies and Applications (AMLTA2022) [[electronic resource] /] / edited by Aboul Ella Hassanien, Rawya Y. Rizk, Václav Snášel, Rehab F. Abdel-Kader |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (708 pages) |
| Disciplina | 006.3 |
| Collana | Lecture Notes on Data Engineering and Communications Technologies |
| Soggetto topico |
Computational intelligence
Artificial intelligence Big data Engineering - Data processing Computational Intelligence Artificial Intelligence Big Data Data Engineering |
| ISBN | 3-031-03918-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Honorary Chair -- General Chairs -- Co-chairs -- International Advisory Board -- Publication Chair -- Program Chairs -- Publicity Chairs -- Technical Program Committee -- Local Arrangement Chairs -- Contents -- Deep Learning and Applications -- Plant Leaf Diseases Detection and Identification Using Deep Learning Model -- 1 Introduction -- 2 Related Works -- 3 Proposed Method -- 4 Experimental Results -- 5 Conclusions -- References -- Reinforcement Learning for Developing an Intelligent Warehouse Environment -- 1 Introduction -- 2 Machine Learning Techniques -- 3 Results and Discussion -- 4 Conclusion and Future Research -- References -- A Low-Cost Multi-sensor Deep Learning System for Pavement Distress Detection and Severity Classification -- 1 Introduction -- 2 Related Work -- 3 Proposed Methodology -- 3.1 Overall System Architecture -- 3.2 Deep Learning Distress Detection -- 3.3 Dataset and Training Information -- 3.4 Projection onto the Depth 3D Point Cloud and ROI Filtering -- 4 Case Study: Pothole Severity Classification -- 5 Experimental Results -- 5.1 Results for the Distress Detection -- 5.2 Results for Pothole Severity Classification -- 6 Conclusion -- References -- An Intrusion Detection Model Based on Deep Learning and Multi-layer Perceptron in the Internet of Things (IoT) Network -- 1 Introduction -- 2 Related Work -- 2.1 Multi Agent Systems for IDS -- 2.2 Fuzzy Systems for IDS -- 2.3 Game Theory Models for IDS -- 3 Architecture of the Proposed Intrusion Detection System -- 3.1 Pre-processing and Feature Engineering -- 3.2 Deep Learning Layer -- 3.3 Evaluation Layer -- 4 The Experimental Results -- 5 Comparison Between Proposed Models and the Others -- 6 Conclusion -- References -- Transfer Learning and Recurrent Neural Networks for Automatic Arabic Sign Language Recognition -- 1 Introduction.
2 Related Work -- 3 Arabic Sign Language Dataset -- 4 Methodology -- 4.1 Prepare the Dataset -- 4.2 Extract the Spatial Features -- 4.3 Extract the Temporal Features -- 4.4 Video Augmentation -- 5 Experimental and Results -- 5.1 Experiment Settings -- 5.2 Models Results -- 6 Conclusion and Future Works -- References -- Robust Face Mask Detection Using Local Binary Pattern and Deep Learning -- 1 Introduction -- 2 Related Works -- 3 Proposed Method -- 4 Experimental Results -- 5 Conclusion -- References -- Steganography Adaptation Model for Data Security Enhancement in Ad-Hoc Cloud Based V-BOINC Through Deep Learning -- 1 Introduction -- 1.1 Ad-Hoc Cloud Computing -- 1.2 Deep Steganography -- 1.3 Contribution -- 1.4 Paper Organization -- 2 Literature Review -- 3 Proposed Solution -- 4 Experiment -- 5 Discussion and Analysis -- 6 Conclusion -- References -- Performance of Different Deep Learning Models for COVID-19 Detection -- 1 Introduction -- 2 Deep Learning (DL) -- 2.1 The DL-Algorithms Steps in COVID-19 Diagnosis -- 2.2 DL-Models for COVID-19 Detection -- 3 Discussion -- 4 Conclusion -- References -- Deep Learning-Based Apple Leaves Disease Identification Approach with Imbalanced Data -- 1 Introduction -- 2 Basics and Background -- 2.1 Data Imbalance -- 2.2 Convolutional Neural Networks -- 2.3 Transfer Learning -- 3 The Proposed Approach -- 3.1 Dataset Description -- 3.2 Data Preprocessing Phase -- 3.3 Training Phase -- 3.4 Evaluation Phase -- 4 Experimental Results and Analysis -- 4.1 Data Imbalance Problem -- 4.2 Data Augmentation -- 4.3 Setup of the Experiment -- 4.4 Evaluation of the Model -- 5 Conclusion and Future Work -- References -- Commodity Image Retrieval Based on Image and Text Data -- 1 Introduction -- 2 Related Work -- 3 Method -- 3.1 Image and Text Feature Fusion -- 3.2 Target Function -- 4 Experiment -- 4.1 Evaluation Metrics. 4.2 Datasets -- 4.3 Experimental Details -- 4.4 Experimental Results and Analysis -- 5 Conclusion -- References -- Machine Learning Technologies -- Artificial Intelligence Based Solutions to Smart Warehouse Development: A Conceptual Framework -- 1 Introduction -- 2 SWOT Analysis -- 2.1 Strengths -- 2.2 Weaknesses -- 2.3 Opportunities -- 2.4 Threats -- 3 Proposed Solutions and Current Approaches -- 3.1 WO Strategy (Improve): Testbed as a Trial for Investment Decision -- 3.2 WO Strategy (Improve): AI-Powered Solutions -- 3.3 SO Strategy (Attack): AI Resource Development -- 4 Conclusions and Future Research -- References -- Long-Short Term Memory Model with Univariate Input for Forecasting Individual Household Electricity Consumption -- 1 Introduction -- 2 Related Works -- 3 Deep Learning Models for Load Forecasting -- 3.1 LSTM and LSTM-ED Neural Networks -- 3.2 CNN-LSTM Neural Networks -- 3.3 GRU Neural Networks -- 3.4 BiLSTM Neural Networks -- 3.5 ConvLSTM Neural Networks -- 4 Results and Discussion -- 4.1 Dataset Description -- 4.2 Evaluation Metrics -- 4.3 Prediction Results of ConvLSTM -- 4.4 Discussion of the Forecasting Models -- 5 Conclusion and Future Work -- References -- DNA-Binding-Proteins Identification Based on Hybrid Features Extraction from Hidden Markov Model -- 1 Introduction -- 2 Materials and Methods -- 2.1 Datasets -- 2.2 Encoding -- 2.3 Framing -- 2.4 Hybrid Visual HMM Structure -- 2.5 Features Extraction -- 2.6 Classifier -- 3 Results and Discussions -- 4 Conclusions -- References -- Machine Learning Based Mobile Applications for Cardiovascular Diseases (CVDs) -- 1 Introduction -- 2 ML Based m-Health for CVDs -- 3 Characteristics of the Commercially Available CVDs Mobile Applications -- 4 Future Requirements -- 5 Conclusion -- References -- Regression Analysis for Remaining Useful Life Prediction of Aircraft Engines. 1 Introduction -- 2 Related Work -- 3 Aircraft Engine System -- 4 Proposed Model for Predicting the RUL -- 5 Experimental Results and Discussion -- 6 Conclusion and Future Work -- References -- Applying Machine Learning Technology to Perform Automatic Provisioning of the Optical Transport Network -- 1 Introduction -- 2 The Challenges in the Current Model of the Supervision of the OTN -- 3 Proposed Model for the Automatic Provision of the OTN -- 4 Results and Discussion -- 5 Conclusion and Future Work -- References -- Robo-Nurse Healthcare Complete System Using Artificial Intelligence -- 1 Introduction -- 1.1 Related Work -- 2 Research Method -- 2.1 Software Implementation -- 2.2 Hardware Implementation -- 2.3 External Design Implementation -- 3 Results and Discussions -- 4 Conclusion -- References -- Resolving Context Inconsistency Approach Based on Random Forest Tree -- 1 Introduction -- 2 Related Work -- 3 Proposed Approach -- 3.1 IoT Data Collection Phase -- 3.2 Context Inconsistency Validator -- 3.3 Best Resolution Selection -- 3.4 Random Forest Tree -- 4 Experimental Results and Evaluations -- 5 Conclusion and Future Directions -- References -- Arduino Line Follower Using Fuzzy Logic Control -- 1 Introduction -- 2 Methodology -- 2.1 Lab Simulation -- 2.2 The ATmega328p Microcontroller -- 2.3 Voltage Regulator -- 2.4 Circuit Diagram Explanation -- 2.5 Microcontroller-Motor Driver IC Interface -- 2.6 Microcontroller-IR Sensor Module Interface -- 2.7 Microcontroller-Variable Resistor Interface -- 2.8 Arduino IDE Interface with Microcontroller -- 3 Summary of Methodology -- 4 Physical Modeling -- 4.1 Block Diagram -- 4.2 Flow Chart -- 4.3 Working Principle -- 5 Result and Analysis -- 6 Conclusion -- References -- Evaluating Adaptive Facade Performance in Early Building Design Stage: An Integrated Daylighting Simulation and Machine Learning. 1 Introduction -- 2 Related Works -- 3 Building as a Machine and Machine Learning in Architecture -- 4 Adaptive Facade -- 5 Methodology -- 5.1 Data Collection: Available Forms of Kinetic Façade Systems -- 5.2 Data Preparation: Applying System Possibility Scores -- 5.3 Data Exploration and Case Study Setup -- 5.4 Prediction Stage: Applying the KNN Algorithm as a Selective Filter -- 6 Systems Modeling and Simulation -- 7 Results and Discussion -- 8 Conclusion -- References -- LTE Downlink Scheduling with Soft Policy Gradient Learning -- 1 Introduction -- 2 Downlink Resource Allocation in LTE -- 3 Related Work -- 4 DSPG Scheduler: The Proposed Scheduling Algorithm -- 4.1 Problem Statement -- 4.2 Model Design -- 5 Simulation Implementation and Results -- 6 Conclusions -- References -- Predicting the Road Accidents Severity Using Artificial Neural Network -- 1 Introduction -- 2 Literature Review -- 3 Dataset -- 4 The Proposed Methodology -- 5 Results and Discussions -- 5.1 Attributes vs Accident Severity -- 5.2 Accident Severity Prediction Results -- 6 Conclusion -- References -- Predicting the Intention to Use Audi and Video Teaching Styles: An Empirical Study with PLS-SEM and Machine Learning Models -- 1 Introduction -- 2 Theoretical Framework -- 2.1 Technology Acceptance Model (TAM) -- 2.2 Flow Theory -- 2.3 Virtual Reality Attributes -- 3 Research Methodology -- 3.1 Data Collection -- 3.2 Personal/Demographic Information -- 3.3 Study Instrument -- 3.4 Survey Structure -- 4 Findings and Discussion -- 4.1 Data Analysis -- 4.2 Convergent Validity -- 4.3 Discriminant Validity -- 4.4 Hypotheses Testing Using PLS-SEM -- 4.5 Hypothesis Testing Using Machine Learning Algorithms -- 5 Discussion of Results -- References -- Intellgenet Systems and Applications. Immunity of Signals Transmission Using Secured Unequal Error Protection Scheme with Various Packet Format. |
| Record Nr. | UNINA-9910561300503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
8th International Conference on Automated Deduction [[electronic resource] ] : Oxford, England, July 27- August 1, 1986. Proceedings / / edited by Jörg H. Siekmann
| 8th International Conference on Automated Deduction [[electronic resource] ] : Oxford, England, July 27- August 1, 1986. Proceedings / / edited by Jörg H. Siekmann |
| Edizione | [1st ed. 1986.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1986 |
| Descrizione fisica | 1 online resource (XII, 716 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Mathematical logic
Artificial intelligence Mathematical Logic and Foundations Mathematical Logic and Formal Languages Artificial Intelligence |
| ISBN | 3-540-39861-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Connections and higher-order logic -- Commutation, transformation, and termination -- Full-commutation and fair-termination in equational (and combined) term-rewriting systems -- An actual implementation of a procedure that mechanically proves termination of rewriting systems based on inequalities between polynomial interpretations -- Proving termination of associative commutative rewriting systems by rewriting -- Relating resolution and algebraic completion for Horn logic -- A simple non-termination test for the Knuth-Bendix method -- A new formula for the execution of categorical combinators -- Proof by induction using test sets -- How to prove equivalence of term rewriting systems without induction -- Sufficient completeness, term rewriting systems and ”anti-unification” -- A new method for establishing refutational completeness in theorem proving -- A theory of diagnosis from first principles -- Some contributions to the logical analysis of circumscription -- Modal theorem proving -- Computational aspects of three-valued logic -- Resolution and quantified epistemic logics -- A commonsense theory of nonmonotonic reasoning -- Negative paramodulation -- The heuristics and experimental results of a new hyperparamodulation: HL-resolution -- ECR: An equality conditional resolution proof procedure -- Using narrowing to do isolation in symbolic equation solving — an experiment in automated reasoning -- Formulation of induction formulas in verification of prolog programs -- Program verifier "Tatzelwurm": Reasoning about systems systems of linear inequalities -- An interactive verification system based on dynamic logic -- What you always wanted to know about clause graph resolution -- Parallel theorem proving with connection graphs -- Theory links in semantic graphs -- Abstraction using generalization functions -- An improvement of deduction plans: Refutation plans -- Controlling deduction with proof condensation and heuristics -- Nested resolution -- Mechanizing constructive proofs -- Implementing number theory: An experiment with Nuprl -- Parallel algorithms for term matching -- Unification in combinations of collapse-free theories with disjoint sets of function symbols -- Combination of unification algorithms -- Unification in the data structure sets -- NP-completeness of the set unification and matching problems -- Matching with distributivity -- Unification in boolean rings -- Some relationships between unification, restricted unification, and matching -- A classification of many-sorted unification problems -- Unification in many-sorted equational theories -- Classes of first order formulas under various satisfiability definitions -- Diamond formulas in the dynamic logic of recursively enumerable programs -- A prolog machine -- A prolog technology theorem prover: Implementation by an extended prolog compiler -- Paths to high-performance automated theorem proving -- Purely functional implementation of a logic -- Causes for events: Their computation and applications -- How to clear a block: Plan formation in situational logic -- Deductive synthesis of sorting programs -- The TPS theorem proving system -- Trspec: A term rewriting based system for algebraic specifications -- Highly parallel inference machine -- Automatic theorem proving in the ISDV system -- The karlsruhe induction theorem proving system -- Overview of a theorem-prover for a computational logic -- GEO-prover — A geometry theorem prover developed at UT -- The markgraf karl refutation procedure (MKRP) -- The J-machine: Functional programming with combinators -- The illinois prover: A general purpose resolution theorem prover -- Theorem proving systems of the Formel project -- The passau RAP system: Prototyping algebraic specifications using conditional narrowing -- RRL: A rewrite rule laboratory -- A geometry theorem prover based on Buchberger's algorithm -- REVE a rewrite rule laboratory -- ITP at argonne national laboratory -- Autologic at university of victoria -- Thinker -- The KLAUS automated deduction system -- The KRIPKE automated theorem proving system -- SHD-prover at university of texas at austin. |
| Record Nr. | UNISA-996465940003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The 8th International Conference on Computer Engineering and Networks (CENet2018) [[electronic resource] /] / edited by Qi Liu, Mustafa Mısır, Xin Wang, Weiping Liu
| The 8th International Conference on Computer Engineering and Networks (CENet2018) [[electronic resource] /] / edited by Qi Liu, Mustafa Mısır, Xin Wang, Weiping Liu |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (994 pages) |
| Disciplina | 621.39 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Computational intelligence
Artificial intelligence Computational Intelligence Artificial Intelligence |
| ISBN | 3-030-14680-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910484330003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
8th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2014) [[electronic resource] /] / edited by Julio Saez-Rodriguez, Miguel P. Rocha, Florentino Fdez-Riverola, Juan F. De Paz Santana
| 8th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2014) [[electronic resource] /] / edited by Julio Saez-Rodriguez, Miguel P. Rocha, Florentino Fdez-Riverola, Juan F. De Paz Santana |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (298 p.) |
| Disciplina | 570.285 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Computational intelligence
Artificial intelligence Bioinformatics Computational Intelligence Artificial Intelligence Computational Biology/Bioinformatics |
| ISBN | 3-319-07581-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Applications -- Data Analysis and Mining -- Proteins -- Sequence Analysis -- Systems Biology -- Text Mining. |
| Record Nr. | UNINA-9910299758303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The 8th International Conference on Robotic, Vision, Signal Processing & Power Applications [[electronic resource] ] : Innovation Excellence Towards Humanistic Technology / / edited by Harsa Amylia Mat Sakim, Mohd Tafir Mustaffa
| The 8th International Conference on Robotic, Vision, Signal Processing & Power Applications [[electronic resource] ] : Innovation Excellence Towards Humanistic Technology / / edited by Harsa Amylia Mat Sakim, Mohd Tafir Mustaffa |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (520 p.) |
| Disciplina | 621.3 |
| Collana | Lecture Notes in Electrical Engineering |
| Soggetto topico |
Control engineering
Robotics Mechatronics Artificial intelligence Signal processing Image processing Speech processing systems Electrical engineering Power electronics Control, Robotics, Mechatronics Artificial Intelligence Signal, Image and Speech Processing Communications Engineering, Networks Power Electronics, Electrical Machines and Networks |
| ISBN | 981-4585-42-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Robotics, Control, Mechatronics and Automation -- Vision, Image and Signal Processing -- Artificial Intelligence and Computer Applications -- Electronic Design and Applications -- Telecommunication Systems and Applications -- Power System and Industrial Applications. |
| Record Nr. | UNINA-9910299716103321 |
| Singapore : , : Springer Singapore : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
9th International Conference on Practical Applications of Computational Biology and Bioinformatics [[electronic resource] /] / edited by Ross Overbeek, Miguel P. Rocha, Florentino Fdez-Riverola, Juan F. De Paz
| 9th International Conference on Practical Applications of Computational Biology and Bioinformatics [[electronic resource] /] / edited by Ross Overbeek, Miguel P. Rocha, Florentino Fdez-Riverola, Juan F. De Paz |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource |
| Disciplina | 572.80285 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Computational intelligence
Artificial intelligence Bioinformatics Chemoinformatics Computational Intelligence Artificial Intelligence Computational Biology/Bioinformatics Computer Applications in Chemistry |
| ISBN |
3-319-19775-4
3-319-19776-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Preliminary Assessment of Three Strategies for the Agent-Based Modeling of Bacterial Conjugation -- Carotenoid Analysis of Cassava Genotypes Roots (Manihot Esculenta Crantz) Cultivated in Southern Brazil Using Chemometric Tools -- UV-Visible Scanning Spectrophotometry and Chemometric Analysis As Tools to Build Descriptive And Classification Models for Propolis from Southern Brazil -- UV-Visible Spectrophotometry-Based Metabolomic Analysis of Cedrela Fissilis Velozzo (Meliaceae) Calluses - A Screening Tool for Culture Medium Composition and Cell Metabolic Profiles -- An Integrated Computational Platform for Metabolomics Data Analysis -- Compound Identification in Comprehensive Gas Chromatography - Mass Spectrometry-Based Metabolomics by Blind Source Separation -- Dolphin 1D: Improving Automation of Targeted Metabolomics in Multi-Matrix Datasets Of 1H-NMR Spectra -- A New Dimensionality Reduction Technique Based On HMM for Boosting Document Classification -- Diagnostic Knowledge Extraction from Medlineplus: An Application for Infectious Diseases -- A Text Mining Approach for the Extraction Of Kinetic Information from Literature -- A Novel Search Engine Supporting Specific Drug Queries And Literature Management -- Ganoderma Australe Transcriptome Analysis with Hidden Markov Model And Bayesian Inference Approaches -- A New Bioinformatic Pipeline to Address The Most Common Requirements in RNA-Seq Data Analysis -- Microarray Gene Expression Data Integration: An Application to Brain Tumor Grade Determination -- Obtaining Relevant Genes by Analysis of Expression Arrays with a Multi-Agent System. |
| Record Nr. | UNINA-9910299817803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
Artificial Intelligence
(14156)
- Artificial intelligence (14109)
- Application software (4756)
- Information Systems Applications (incl. Internet) (3144)
- Computer Communication Networks (2641)