| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996271950103316 |
|
|
Autore |
CARMINATI, Arianna |
|
|
Titolo |
Libertà di cura e autonomia del medico : profili costituzionali / Arianna Carminati |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Studi di diritto pubblico . Nuova serie ; 6 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Salute - Tutela - Diritto costituzionale |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910702739503321 |
|
|
Titolo |
Gym memberships, gift cards and hair salons : examining the misuse of government-supplied credit cards : hearing before the Subcommittee on Government Operations of the Committee on Oversight and Government Reform, House of Representatives, One Hundred Thirteenth Congress, second session, October 14, 2014 |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Washington : , : U.S. Government Printing Office, , 2014 |
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (iii, 60 pages) |
|
|
|
|
|
|
Soggetti |
|
Government purchase cards - United States |
Government purchasing - Corrupt practices - United States |
Credit card fraud - United States |
Waste in government spending - United States |
Credit card fraud |
Government purchase cards |
Government purchasing - Corrupt practices |
Waste in government spending |
Legislative hearings. |
United States |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Title from title screen (viewed on Dec. 2, 2014). |
Paper version available for sale by the Superintendent of Documents, U.S. Government Printing Office. |
"Serial No. 113-149." |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910555140703321 |
|
|
Autore |
Jan Najeeb A. |
|
|
Titolo |
The metacolonial state : Pakistan, critical ontology, and the biopolitical horizons of political Islam / / Najeeb A. Jan |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Hoboken, NJ : , : Wiley, , 2019 |
|
|
|
|
|
|
|
ISBN |
|
1-118-97940-0 |
1-118-97939-7 |
1-118-97941-9 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (289 pages) |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Islam and politics - Pakistan |
Pakistan Politics and government 1988- |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
4. |
Record Nr. |
UNINA9910894328103321 |
|
|
Titolo |
Journal of automation and control |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Newark, De : , : Science and Educational Publishing, , 2013- |
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Periodico |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
5. |
Record Nr. |
UNINA9910298987803321 |
|
|
Titolo |
Semantic Web Evaluation Challenge : SemWebEval 2014 at ESWC 2014, Anissaras, Crete, Greece, May 25-29, 2014, Revised Selected Papers / / edited by Valentina Presutti, Milan Stankovic, Erik Cambria, Iván Cantador, Angelo Di Iorio, Tommaso Di Noia, Christoph Lange, Diego Reforgiato Recupero, Anna Tordai |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2014.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XV, 205 p. 31 illus.) |
|
|
|
|
|
|
Collana |
|
Communications in Computer and Information Science, , 1865-0937 ; ; 475 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Information storage and retrieval systems |
Database management |
Artificial intelligence |
Application software |
Information Storage and Retrieval |
Database Management |
Artificial Intelligence |
Computer and Information Systems Applications |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed post conference proceedings of the first edition of the Semantic Web Evaluation Challenge, SemWebEval 2014, co-located with the 11th Extended Semantic Web conference, held in Anissaras, Crete, Greece, in May 2014. This book includes the descriptions of all methods and tools that competed at SemWebEval 2014, together with a detailed description of the tasks, evaluation procedures and datasets. The contributions are grouped in three areas: semantic publishing (sempub), concept-level sentiment analysis (ssa), and linked-data enabled recommender systems (recsys). |
|
|
|
|
|
|
|
|
6. |
Record Nr. |
UNINA9910633937403321 |
|
|
Titolo |
Static Analysis : 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings / / edited by Gagandeep Singh, Caterina Urban |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2022 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2022.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (482 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 13790 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Computer science |
Computer engineering |
Computer networks |
Natural language processing (Computer science) |
Machine theory |
Compilers (Computer programs) |
Computer Science Logic and Foundations of Programming |
Computer Engineering and Networks |
Natural Language Processing (NLP) |
Formal Languages and Automata Theory |
Compilers and Interpreters |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Talks -- Specification-Guided Reinforcement Learning -- Towards Efficient Reasoning of Quantum Programs -- Regular Papers -- Solving Invariant Generation for Unsolvable Loops -- Principles of Staged Static+Dynamic Partial Analysis -- SecWasm: Information Flow Control for WebAssembly -- Lifting Numeric Relational Domains to Algebraic Data Types -- Automated Synthesis of Asynchronizations -- Case Study on Veri cation-Witness Validators: Where We Are and Where We Go -- Deciding program properties via complete abstractions on bounded domains -- Invariant Inference With Provable Complexity From the Monotone Theory -- Efficient Modular SMT-Based Model Checking of Pointer Programs -- Property-driven code obfuscations - Reinterpreting Jones-optimality in Abstract Interpretation -- Bootstrapping Library-Based Synthesis -- Boosting Robustness Veri cation of Semantic Feature Neighborhoods -- Fast and incremental computation of weak control closure -- Local Completeness Logic on Kleene Algebra with Tests -- Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs -- Parameterized Recursive Re nement Types for Automated Program Verification -- Adversarial Logic -- CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 29th International Symposium on Static Analysis, SAS 2022, held in Auckland, New Zealand, in December 2022. The 18 full papers included in this book were carefully reviewed and selected from 43 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers deal with theoretical, practical and application advances in the area. . |
|
|
|
|
|
|
|
| |