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.
1998 5th International Conference on Solid-State and Integrated Circuit Technology : proceedings : October 21-23, 1998, Beijing, China
| 1998 5th International Conference on Solid-State and Integrated Circuit Technology : proceedings : October 21-23, 1998, Beijing, China |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Press, 1998 |
| Disciplina | 621.3815 |
| Soggetto topico |
Integrated circuits - Large scale integration
Semiconductors Electrical Engineering Electrical & Computer Engineering Engineering & Applied Sciences |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996212467003316 |
| [Place of publication not identified], : IEEE Press, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data [[electronic resource] ] : 14th China National Conference, CCL 2015 and Third International Symposium, NLP-NABD 2015, Guangzhou, China, November 13-14, 2015, Proceedings / / edited by Maosong Sun, Zhiyuan Liu, Min Zhang, Yang Liu
| Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data [[electronic resource] ] : 14th China National Conference, CCL 2015 and Third International Symposium, NLP-NABD 2015, Guangzhou, China, November 13-14, 2015, Proceedings / / edited by Maosong Sun, Zhiyuan Liu, Min Zhang, Yang Liu |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XVI, 426 p. 97 illus. in color.) |
| Disciplina | 006.35 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Natural language processing (Computer science)
Natural Language Processing (NLP) |
| ISBN | 3-319-25816-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Lexical semantics and ontologies -- Semantics -- Sentiment analysis, opinion mining and text classification -- Machine translation -- Multilinguality in NLP.-Machine learning methods for NLP;.-Knowledge graph and information extraction.-Discourse, coreference and pragmatics -- Information retrieval and question answering -- Social computing -- NLP applications. |
| Record Nr. | UNINA-9910484128403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data [[electronic resource] ] : 14th China National Conference, CCL 2015 and Third International Symposium, NLP-NABD 2015, Guangzhou, China, November 13-14, 2015, Proceedings / / edited by Maosong Sun, Zhiyuan Liu, Min Zhang, Yang Liu
| Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data [[electronic resource] ] : 14th China National Conference, CCL 2015 and Third International Symposium, NLP-NABD 2015, Guangzhou, China, November 13-14, 2015, Proceedings / / edited by Maosong Sun, Zhiyuan Liu, Min Zhang, Yang Liu |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XVI, 426 p. 97 illus. in color.) |
| Disciplina | 006.35 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Natural language processing (Computer science)
Natural Language Processing (NLP) |
| ISBN | 3-319-25816-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Lexical semantics and ontologies -- Semantics -- Sentiment analysis, opinion mining and text classification -- Machine translation -- Multilinguality in NLP.-Machine learning methods for NLP;.-Knowledge graph and information extraction.-Discourse, coreference and pragmatics -- Information retrieval and question answering -- Social computing -- NLP applications. |
| Record Nr. | UNISA-996466421603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data [[electronic resource] ] : 12th China National Conference, CCL 2013 and First International Symposium, NLP-NABD 2013, Suzhou, China, October 10-12, 2013, Proceedings / / edited by Maosong Sun, Min Zhang, Dekang Lin, Haifeng Wang
| Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data [[electronic resource] ] : 12th China National Conference, CCL 2013 and First International Symposium, NLP-NABD 2013, Suzhou, China, October 10-12, 2013, Proceedings / / edited by Maosong Sun, Min Zhang, Dekang Lin, Haifeng Wang |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XIV, 354 p. 87 illus.) |
| Disciplina | 495.1 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Natural language processing (Computer science)
Artificial intelligence Computers Natural Language Processing (NLP) Artificial Intelligence Information Systems and Communication Service |
| ISBN | 3-642-41491-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Word Segmentation -- Open-Domain Q&A -- Discourse, Coreference and Pragmatics -- Statistical and Machine Learning Methods in NLP -- Semantics -- Text Mining, Open-Domain Information Extraction and Machine Reading of the Web -- Sentiment Analysis, Opinion Mining and Text Classification -- Lexical semantics and Ontologies -- Language Resources and Annotation -- Machine Translation -- Speech Recognition and Synthesis -- Tagging and Chunking -- Large-scale Knowledge Acquisition and Reasoning. . |
| Record Nr. | UNINA-9910483894703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data [[electronic resource] ] : 12th China National Conference, CCL 2013 and First International Symposium, NLP-NABD 2013, Suzhou, China, October 10-12, 2013, Proceedings / / edited by Maosong Sun, Min Zhang, Dekang Lin, Haifeng Wang
| Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data [[electronic resource] ] : 12th China National Conference, CCL 2013 and First International Symposium, NLP-NABD 2013, Suzhou, China, October 10-12, 2013, Proceedings / / edited by Maosong Sun, Min Zhang, Dekang Lin, Haifeng Wang |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XIV, 354 p. 87 illus.) |
| Disciplina | 495.1 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Natural language processing (Computer science)
Artificial intelligence Computers Natural Language Processing (NLP) Artificial Intelligence Information Systems and Communication Service |
| ISBN | 3-642-41491-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Word Segmentation -- Open-Domain Q&A -- Discourse, Coreference and Pragmatics -- Statistical and Machine Learning Methods in NLP -- Semantics -- Text Mining, Open-Domain Information Extraction and Machine Reading of the Web -- Sentiment Analysis, Opinion Mining and Text Classification -- Lexical semantics and Ontologies -- Language Resources and Annotation -- Machine Translation -- Speech Recognition and Synthesis -- Tagging and Chunking -- Large-scale Knowledge Acquisition and Reasoning. . |
| Record Nr. | UNISA-996465498803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead [[electronic resource] ] : 21st International Conference, ICCPOL 2006, Singapore, December 17-19, 2006, Proceedings / / edited by Yuji Matsumoto, Richard Sproat, Kam-Fai Wong, Min Zhang
| Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead [[electronic resource] ] : 21st International Conference, ICCPOL 2006, Singapore, December 17-19, 2006, Proceedings / / edited by Yuji Matsumoto, Richard Sproat, Kam-Fai Wong, Min Zhang |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XVII, 546 p.) |
| Disciplina | 490 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Natural language processing (Computer science)
Artificial intelligence Mathematical logic Data mining Algorithms Natural Language Processing (NLP) Artificial Intelligence Mathematical Logic and Formal Languages Data Mining and Knowledge Discovery Algorithm Analysis and Problem Complexity |
| ISBN | 3-540-49668-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Information Retrieval/Document Classification/QA/ Summarization I -- Answering Contextual Questions Based on the Cohesion with Knowledge -- Segmentation of Mixed Chinese/English Document Including Scattered Italic Characters -- Using Pointwise Mutual Information to Identify Implicit Features in Customer Reviews -- Using Semi-supervised Learning for Question Classification -- Query Similarity Computing Based on System Similarity Measurement -- Machine Translation I -- An Improved Method for Finding Bilingual Collocation Correspondences from Monolingual Corpora -- A Syntactic Transformation Model for Statistical Machine Translation -- Word Alignment Between Chinese and Japanese Using Maximum Weight Matching on Bipartite Graph -- Improving Machine Transliteration Performance by Using Multiple Transliteration Models -- Information Retrieval/Document Classification/ QA/Summarization II -- Clique Percolation Method for Finding Naturally Cohesive and Overlapping Document Clusters -- Hybrid Approach to Extracting Information from Web-Tables -- A Novel Hierarchical Document Clustering Algorithm Based on a kNN Connection Graph -- Poster Session 1 -- The Great Importance of Cross-Document Relationships for Multi-document Summarization -- The Effects of Computer Assisted Instruction to Train People with Reading Disabilities Recognizing Chinese Characters -- Discrimination-Based Feature Selection for Multinomial Naïve Bayes Text Classification -- A Comparative Study on Chinese Word Clustering -- Populating FrameNet with Chinese Verbs Mapping Bilingual Ontological WordNet with FrameNet -- Collecting Novel Technical Terms from the Web by Estimating Domain Specificity of a Term -- Building Document Graphs for Multiple News Articles Summarization: An Event-Based Approach -- A Probabilistic Feature Based Maximum Entropy Model for Chinese Named Entity Recognition -- Correcting Bound Document Images Based on Automatic and Robust Curved Text Lines Estimation -- Cluster-Based Patent Retrieval Using International Patent Classification System -- Word Error Correction of Continuous Speech Recognition Using WEB Documents for Spoken Document Indexing -- Extracting English-Korean Transliteration Pairs from Web Corpora -- Word Segmentation/Chunking/Abbreviation Expansion/Writing-System Issues -- From Phoneme to Morpheme: Another Verification Using a Corpus -- Chinese Abbreviation Identification Using Abbreviation-Template Features and Context Information -- Word Frequency Approximation for Chinese Using Raw, MM-Segmented and Manually Segmented Corpora -- Identification of Maximal-Length Noun Phrases Based on Expanded Chunks and Classified Punctuations in Chinese -- A Hybrid Approach to Chinese Abbreviation Expansion -- Category-Pattern-Based Korean Word-Spacing -- An Integrated Approach to Chinese Word Segmentation and Part-of-Speech Tagging -- Kansuke: A Kanji Look-Up System Based on a Few Stroke Prototypes -- Modelling the Orthographic Neighbourhood for Japanese Kanji -- Reconstructing the Correct Writing Sequence from a Set of Chinese Character Strokes -- Machine Translation II -- Expansion of Machine Translation Bilingual Dictionaries by Using Existing Dictionaries and Thesauruses -- Feature Rich Translation Model for Example-Based Machine Translation -- Dictionaries for English-Vietnamese Machine Translation -- Poster Session 2 -- Translation Selection Through Machine Learning with Language Resources -- Acquiring Translational Equivalence from a Japanese-Chinese Parallel Corpus -- Deep Processing of Korean Floating Quantifier Constructions -- Compilation of a Dictionary of Japanese Functional Expressions with Hierarchical Organization -- A System to Indicate Honorific Misuse in Spoken Japanese -- A Chinese Corpus with Word Sense Annotation -- Multilingual Machine Translation of Closed Captions for Digital Television with Dynamic Dictionary Adaptation -- Acquiring Concept Hierarchies of Adjectives from Corpora -- Pronunciation Similarity Estimation for Spoken Language Learning -- A Novel Method for Rapid Speaker Adaptation Using Reference Support Speaker Selection -- Using Latent Semantics for NE Translation -- Chinese Chunking with Tri-training Learning -- Binarization Approaches to Email Categorization -- Investigating Problems of Semi-supervised Learning for Word Sense Disambiguation -- Developing a Dialog System for New Idea Generation Support -- Parsing/Semantics/Lexical Resources -- The Incremental Use of Morphological Information and Lexicalization in Data-Driven Dependency Parsing -- Pattern Dictionary Development Based on Non-compositional Language Model for Japanese Compound and Complex Sentences -- A Case-Based Reasoning Approach to Zero Anaphora Resolution in Chinese Texts -- Building a Collocation Net. |
| Record Nr. | UNINA-9910484192703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead [[electronic resource] ] : 21st International Conference, ICCPOL 2006, Singapore, December 17-19, 2006, Proceedings / / edited by Yuji Matsumoto, Richard Sproat, Kam-Fai Wong, Min Zhang
| Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead [[electronic resource] ] : 21st International Conference, ICCPOL 2006, Singapore, December 17-19, 2006, Proceedings / / edited by Yuji Matsumoto, Richard Sproat, Kam-Fai Wong, Min Zhang |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XVII, 546 p.) |
| Disciplina | 490 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Natural language processing (Computer science)
Artificial intelligence Mathematical logic Data mining Algorithms Natural Language Processing (NLP) Artificial Intelligence Mathematical Logic and Formal Languages Data Mining and Knowledge Discovery Algorithm Analysis and Problem Complexity |
| ISBN | 3-540-49668-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Information Retrieval/Document Classification/QA/ Summarization I -- Answering Contextual Questions Based on the Cohesion with Knowledge -- Segmentation of Mixed Chinese/English Document Including Scattered Italic Characters -- Using Pointwise Mutual Information to Identify Implicit Features in Customer Reviews -- Using Semi-supervised Learning for Question Classification -- Query Similarity Computing Based on System Similarity Measurement -- Machine Translation I -- An Improved Method for Finding Bilingual Collocation Correspondences from Monolingual Corpora -- A Syntactic Transformation Model for Statistical Machine Translation -- Word Alignment Between Chinese and Japanese Using Maximum Weight Matching on Bipartite Graph -- Improving Machine Transliteration Performance by Using Multiple Transliteration Models -- Information Retrieval/Document Classification/ QA/Summarization II -- Clique Percolation Method for Finding Naturally Cohesive and Overlapping Document Clusters -- Hybrid Approach to Extracting Information from Web-Tables -- A Novel Hierarchical Document Clustering Algorithm Based on a kNN Connection Graph -- Poster Session 1 -- The Great Importance of Cross-Document Relationships for Multi-document Summarization -- The Effects of Computer Assisted Instruction to Train People with Reading Disabilities Recognizing Chinese Characters -- Discrimination-Based Feature Selection for Multinomial Naïve Bayes Text Classification -- A Comparative Study on Chinese Word Clustering -- Populating FrameNet with Chinese Verbs Mapping Bilingual Ontological WordNet with FrameNet -- Collecting Novel Technical Terms from the Web by Estimating Domain Specificity of a Term -- Building Document Graphs for Multiple News Articles Summarization: An Event-Based Approach -- A Probabilistic Feature Based Maximum Entropy Model for Chinese Named Entity Recognition -- Correcting Bound Document Images Based on Automatic and Robust Curved Text Lines Estimation -- Cluster-Based Patent Retrieval Using International Patent Classification System -- Word Error Correction of Continuous Speech Recognition Using WEB Documents for Spoken Document Indexing -- Extracting English-Korean Transliteration Pairs from Web Corpora -- Word Segmentation/Chunking/Abbreviation Expansion/Writing-System Issues -- From Phoneme to Morpheme: Another Verification Using a Corpus -- Chinese Abbreviation Identification Using Abbreviation-Template Features and Context Information -- Word Frequency Approximation for Chinese Using Raw, MM-Segmented and Manually Segmented Corpora -- Identification of Maximal-Length Noun Phrases Based on Expanded Chunks and Classified Punctuations in Chinese -- A Hybrid Approach to Chinese Abbreviation Expansion -- Category-Pattern-Based Korean Word-Spacing -- An Integrated Approach to Chinese Word Segmentation and Part-of-Speech Tagging -- Kansuke: A Kanji Look-Up System Based on a Few Stroke Prototypes -- Modelling the Orthographic Neighbourhood for Japanese Kanji -- Reconstructing the Correct Writing Sequence from a Set of Chinese Character Strokes -- Machine Translation II -- Expansion of Machine Translation Bilingual Dictionaries by Using Existing Dictionaries and Thesauruses -- Feature Rich Translation Model for Example-Based Machine Translation -- Dictionaries for English-Vietnamese Machine Translation -- Poster Session 2 -- Translation Selection Through Machine Learning with Language Resources -- Acquiring Translational Equivalence from a Japanese-Chinese Parallel Corpus -- Deep Processing of Korean Floating Quantifier Constructions -- Compilation of a Dictionary of Japanese Functional Expressions with Hierarchical Organization -- A System to Indicate Honorific Misuse in Spoken Japanese -- A Chinese Corpus with Word Sense Annotation -- Multilingual Machine Translation of Closed Captions for Digital Television with Dynamic Dictionary Adaptation -- Acquiring Concept Hierarchies of Adjectives from Corpora -- Pronunciation Similarity Estimation for Spoken Language Learning -- A Novel Method for Rapid Speaker Adaptation Using Reference Support Speaker Selection -- Using Latent Semantics for NE Translation -- Chinese Chunking with Tri-training Learning -- Binarization Approaches to Email Categorization -- Investigating Problems of Semi-supervised Learning for Word Sense Disambiguation -- Developing a Dialog System for New Idea Generation Support -- Parsing/Semantics/Lexical Resources -- The Incremental Use of Morphological Information and Lexicalization in Data-Driven Dependency Parsing -- Pattern Dictionary Development Based on Non-compositional Language Model for Japanese Compound and Complex Sentences -- A Case-Based Reasoning Approach to Zero Anaphora Resolution in Chinese Texts -- Building a Collocation Net. |
| Record Nr. | UNISA-996466256403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foreign Aid in China [[electronic resource] /] / by Hong Zhou, Jun Zhang, Min Zhang
| Foreign Aid in China [[electronic resource] /] / by Hong Zhou, Jun Zhang, Min Zhang |
| Autore | Zhou Hong |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (376 p.) |
| Disciplina |
330
337 338.9 |
| Soggetto topico |
Economic policy
International economics Economic Policy International Economics |
| ISBN | 3-662-44273-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Foreign Assistance: Substance and Practice -- Soviet Aid to China -- Multilateral Foreign Aid to China After 1979 -- Bilateral Aid to China Since 1979 -- Aid in China and NGOs. |
| Record Nr. | UNINA-9910298517203321 |
Zhou Hong
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods and Software Engineering [[electronic resource] ] : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings / / edited by Adrian Riesco, Min Zhang
| Formal Methods and Software Engineering [[electronic resource] ] : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings / / edited by Adrian Riesco, Min Zhang |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (452 pages) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Computer programming Software engineering Compilers (Computer programs) Application software Natural language processing (Computer science) Theory of Computation Programming Techniques Software Engineering Compilers and Interpreters Computer and Information Systems Applications Natural Language Processing (NLP) |
| ISBN | 3-031-17244-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model checking quantum Markov chains -- Bridging Formal Methods and Machine Learning with Global Optimisation -- Canonical Narrowing for Variant-based Conditional Rewrite Theories -- Modular Analysis of Tree-Topology Models -- Non-linear optimization methods for learning regular distributions -- Separation of concerning things: a simpler basis for defining and programming with the C\C++ memory model -- Creusot: a Foundry for the Deductive Verification of Rust Programs -- Generation of a Reversible Semantics for Erlang in Maude -- Program slicing techniques with support for unconditional jumps -- Formal verification of the inter-core synchronization of a multi-core RTOS kernel -- SMT-Based Model Checking of Industrial Simulink Models -- PFMC: A Parallel Symbolic Model Checker for Security Protocol Verification -- A Formal Methodology for Verifying Side-channel Vulnerabilities in Cache Architectures -- Refined Modularization for Bounded Model Checking through Precondition Generation -- TTT/ik: Learning Accurate Mealy Automata Efficiently with an Imprecise Symbol Filter -- A Proof System for Cyber-physical Systems with Shared-Variable Concurrency -- Theorem proving for Maude specifications using Lean -- On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic -- Declassification predicates for controlled information release -- Trace Refinement in B and Event-B -- Model Checking B Models via High-level Code Generation -- On Probabilistic Extension of The Interaction Theory -- Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages -- RoboCert: Property Specification in Robotics -- Formally Verified Animation for RoboChart using Interaction Trees -- Machine-checked executable semantics of Stateflow. |
| Record Nr. | UNISA-996495572003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods and Software Engineering [[electronic resource] ] : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings / / edited by Adrian Riesco, Min Zhang
| Formal Methods and Software Engineering [[electronic resource] ] : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings / / edited by Adrian Riesco, Min Zhang |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (452 pages) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Computer programming Software engineering Compilers (Computer programs) Application software Natural language processing (Computer science) Theory of Computation Programming Techniques Software Engineering Compilers and Interpreters Computer and Information Systems Applications Natural Language Processing (NLP) |
| ISBN | 3-031-17244-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model checking quantum Markov chains -- Bridging Formal Methods and Machine Learning with Global Optimisation -- Canonical Narrowing for Variant-based Conditional Rewrite Theories -- Modular Analysis of Tree-Topology Models -- Non-linear optimization methods for learning regular distributions -- Separation of concerning things: a simpler basis for defining and programming with the C\C++ memory model -- Creusot: a Foundry for the Deductive Verification of Rust Programs -- Generation of a Reversible Semantics for Erlang in Maude -- Program slicing techniques with support for unconditional jumps -- Formal verification of the inter-core synchronization of a multi-core RTOS kernel -- SMT-Based Model Checking of Industrial Simulink Models -- PFMC: A Parallel Symbolic Model Checker for Security Protocol Verification -- A Formal Methodology for Verifying Side-channel Vulnerabilities in Cache Architectures -- Refined Modularization for Bounded Model Checking through Precondition Generation -- TTT/ik: Learning Accurate Mealy Automata Efficiently with an Imprecise Symbol Filter -- A Proof System for Cyber-physical Systems with Shared-Variable Concurrency -- Theorem proving for Maude specifications using Lean -- On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic -- Declassification predicates for controlled information release -- Trace Refinement in B and Event-B -- Model Checking B Models via High-level Code Generation -- On Probabilistic Extension of The Interaction Theory -- Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages -- RoboCert: Property Specification in Robotics -- Formally Verified Animation for RoboChart using Interaction Trees -- Machine-checked executable semantics of Stateflow. |
| Record Nr. | UNINA-9910616396703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
