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.
Air quality networks : data analysis, calibration & data fusion / / edited by Saverio De Vito, [and three others]
| Air quality networks : data analysis, calibration & data fusion / / edited by Saverio De Vito, [and three others] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
| Descrizione fisica | 1 online resource (183 pages) |
| Disciplina | 069 |
| Collana | Environmental Informatics and Modeling |
| Soggetto topico | Air quality management |
| ISBN | 3-031-08476-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Contents -- New Challenges in Air Quality Measurements -- 1 Introduction -- 2 Current Standard and Equivalence Measuring Methods -- 2.1 Problems Related to Current Air Quality Monitoring -- 3 Role of Low-Cost Sensors (LCS) in the Future Air Quality Networks -- 3.1 Low-Cost Sensor Technology -- 4 Data Elaboration of Low-Cost Sensors -- 4.1 Advantages of LCSs -- 4.2 Caveats of LCSs -- 5 Satellite Remote Sensors -- 5.1 Data Treatment -- 5.2 Advantages of Satellite Data -- 5.3 Caveats -- 5.4 Temporal and Spatial Resolution -- 5.5 Conclusion About Satellite Data -- 6 New Networks for Air Quality Monitoring -- 7 Conclusions -- References -- A Data Processing Architecture for Intelligent Hierarchical Air Quality Monitoring Networks in Urban Innovation and Citizen Science Applications -- 1 Introduction -- 2 General Architecture -- 2.1 AirHeritage IoT Inception and Storage Architecture -- 3 Data Processing Pipeline -- 3.1 Sensor Data Capture Stage: The MONICA Device -- 3.2 Calibration Stage -- 3.3 Sensor Fusion Stage -- 3.4 Personalized Feedback Stage -- 4 Conclusions -- References -- Using Continuous Integration Processes to Build Environments for Processing Air Quality Data from IoT Devices -- 1 Introduction -- 2 Software Engineering Processes in the Development of Complex Systems -- 3 Building an Environment for the Development of IoT Systems Using Good Software Engineering Practices -- 4 Verification of the IoT System Manufacturing Environment for the Construction of a Hybrid Information System on Air Quality for Gdańsk -- 5 Summary -- References -- AQ Mapping Through Low-Cost Sensor Networks -- 1 Introduction -- 2 Pollution Variables and Low-Cost Sensors -- 2.1 Common Pollutants in Urban Areas -- 2.2 Sensors -- 2.3 Low-Cost Commercial Sensors and Stations -- 3 AQ Data Collection Initiatives -- 3.1 Governmental and Private Efforts.
3.2 Crowdsensing -- 4 Spatial Interpolation and Data Visualization -- 4.1 Deterministic Approach -- 4.2 Statistical Approach -- 4.3 Qualitative Comparison and Use Cases -- 5 Trends and Challenges -- References -- Odour Nuisance Monitoring -- 1 Odour Nuisance -- 1.1 Definition -- 1.2 Odour Measurement Techniques -- 2 Instrumental Odour Monitoring Systems -- 2.1 Description -- 2.2 Sensing Systems -- 2.3 Data Processing -- 3 The Use of IOMS for the Environmental Monitoring -- 3.1 General Aspects -- 3.2 Calibration -- 3.3 Validation -- 4 Examples of Applications -- 4.1 IOMS Monitoring at the Receptor -- 4.2 IOMS Monitoring at the Plant Fenceline -- 4.3 IOMS Monitoring at Emissions -- 5 Future Outlooks -- References -- Drone-Based Monitoring of Environmental Gases -- 1 Introduction -- 2 Integration of Chemical Sensing into Drones -- 2.1 Sensor Technologies -- 3 Air Pollution Tasks Requiring the Integration of Multiple Sensor Measurements -- 3.1 Algorithms for Chemical Mapping -- 3.2 Chemical Maps Based on Data Fusion and Model Integration -- 3.3 Software Tools for Spatial Interpolation and Mapping -- 4 Summary -- References -- Environmental Education for High School Students-Investigation of Air Quality with Low-Cost Sensors -- 1 Air Pollutants and Gas Sensors -- 1.1 Volatile Organic Compounds -- 1.2 CO2 and Indoor Air Quality -- 1.3 Particulate Matter -- 2 Learning Modules -- 2.1 Module 1: Function Principle of MOS Gas Sensors -- 2.2 Module 2: Calibration of MOS Gas Sensors -- 2.3 Module 3: Environmental Measurements -- 3 Development of Environmental Studies Using the "Internet of Things" -- 3.1 Example Environmental Study-Air Composition in Beehives -- 3.2 Example Environmental Study-Early Warning System for Forest Fires -- 4 Conclusion and Outlook -- References. Analysis and Modelling of an Optical Particulate Matter Sensor Data Towards Its Performance Improvement -- 1 Introduction -- 2 Materials and Methods -- 2.1 The Pollutant of Interest: Particulate Matter -- 2.2 Low-Cost Sensors and Systems -- 2.3 The Data -- 2.4 Data Modeling Methods -- 2.5 Model Evaluation -- 3 Results and Discussion -- 3.1 Statistical Analysis -- 3.2 Modeling Results -- 4 Conclusions -- 5 Suggestions -- References. |
| Record Nr. | UNINA-9910637718203321 |
| Cham, Switzerland : , : Springer, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Al museo : dalla parte del visitatore / Andrea Perin
| Al museo : dalla parte del visitatore / Andrea Perin |
| Autore | Perin, Andrea |
| Pubbl/distr/stampa | [Milano], : Milieu, ©2022 |
| Descrizione fisica | 127 p. : ill. ; 21 cm |
| Disciplina | 069 |
| Collana | Frontiere |
| Soggetto non controllato | Musei - Fruizione |
| ISBN | 9791280682321 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-9910840494503321 |
Perin, Andrea
|
||
| [Milano], : Milieu, ©2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Alcohol and Alcohol-related Diseases [[electronic resource] /] / edited by Sebastian Mueller, Markus Heilig
| Alcohol and Alcohol-related Diseases [[electronic resource] /] / edited by Sebastian Mueller, Markus Heilig |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (1577 pages) |
| Disciplina | 069 |
| Soggetto topico |
Gastroenterology
Psychiatry Epidemiology |
| ISBN | 3-031-32483-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Alcohol and Alcohol-related Diseases: An Introduction to the Book -- I Alcohol consumption: Epidemiology, policies and legal aspects I Alcohol consumption: Epidemiology, policies and legal aspects I Alcohol consumption: Epidemiology, policies and legal aspects I Alcohol consumption: Epidemiology, policies and legal aspects I Alcohol consumption: Epidemiology, policies and legal aspects I Alcohol consumption: Epidemiology, policies and legal aspects I Alcohol consumption: Epidemiology, policies and legal aspects I Alcohol consumption: Epidemiology, policies and legal aspects I Alcohol consumption: Epidemiology, policies and legal aspects II Alcohol addiction: Introduction and diagnosis Alcohol addiction: Introduction and diagnosis II Alcohol addiction: Introduction and diagnosis II Alcohol addiction: Introduction and diagnosis III Treatment of alcohol addiction Treatment of alcohol addiction III Treatment of alcohol addiction III Treatment of alcohol addiction III Treatment of alcohol addiction III Treatment of alcohol addiction III Treatment of alcohol addiction III Treatment of alcohol addiction Fetal Alcohol Spectrum Disorders (FASD) IV Fetal Alcohol Spectrum Disorders (FASD) IV Fetal Alcohol Spectrum Disorders (FASD) Structural and functional central nervous system pathology in alcohol addi V Structural and functional central nervous system pathology in alcohol addi V Structural and functional central nervous system pathology in alcohol addi V Structural and functional central nervous system pathology in alcohol addi V Structural and functional central nervous system pathology in alcohol addi V Structural and functional central nervous system pathology in alcohol addi VI Risk factors for Alcohol Addiction and Lessons from Basic Science Risk factors for Alcohol Addiction and Lessons from Basic Science VI Risk factors for Alcohol Addiction and Lessons from Basic Science VI Risk factors for Alcohol Addiction and Lessons from Basic Science VI Risk factors for Alcohol Addiction and Lessons from Basic Science VII Alcohol-related liver disease: Diagnosis Alcohol-related liver disease: Diagnosis VII Alcohol-related liver disease: Diagnosis VII Alcohol-related liver disease: Diagnosis VII Alcohol-related liver disease: Diagnosis VII Alcohol-related liver disease: Diagnosis Medical aspects of alcohol consumption and alcohol-related liver disease VIII Medical aspects of alcohol consumption and alcohol-related liver disease VIII Medical aspects of alcohol consumption and alcohol-related liver disease VIII Medical aspects of alcohol consumption and alcohol-related liver disease VIII Medical aspects of alcohol consumption and alcohol-related liver disease -- Epidemiology of Alcohol and Opioids Epidemiology of Alcohol-related Liver Disease in Europe Epidemiology of Alcohol-related Liver Disease in Romania Epidemiology of Alcohol-related Liver Disease in China Epidemiology of Alcohol-related Liver Disease in Russia Alcohol and mortality: First Preliminary Lessons from a Prospective 15 year Follow-up Study#xa0; Legal aspects of alcohol intake: A Romanian perspective COVID-19 and Alcohol Use Disorder The Principles of Policies to Reduce the Burden of Liver Disease Medical Treatment of Alcohol use Disorder: A Multidisciplinary Approach Diagnosis of Alcohol use Disorder and Identification of Unhealthy Alcohol Consumption#xa0; State Markers of Alcohol Use and their Application Addictions Neuroclinical Assessment Evidence-based Behavioral Treatments Approved, Promising, and Experimental Medications for Treatment of Alcohol Use Disorder#xa0; Comorbidity with substance use disorders and/or psychiatric disorders Treatment of Adolescents Transcranial Magnetic Stimulation in Addiction Therapies The Clinical Benefits of Non-Abstinent Outcomes in Alcohol Use Disorder Treatment: Evidence from Clinical Trials and Treatment Implications; Laboratory Based Approaches To Medications Development For Alcohol Addiction Emergency Room: Acute Alcohol Intoxication and Other Alcohol-related Acute Problems Including Alcohol Withdrawal Syndrome Introductory comments on FASD and the Collaborative Initiative on FASD Image Analysis of Neurofacial Effects of Prenatal Alcohol Exposure From Surviving to Thriving”: A Focused Review of Interventions for Fetal Alcohol Spectrum Disorders to Guide a Shift Toward Strengths-Based Intervention Development. Structural and Functional Imaging of Alcohol’s Effects on the Brain Brain Microstructure in Alcohol Addiction: Characterization of Diffusion-based MRI Biomarkers, Neuropathological Substrates, and Functional Consequences Determinants of Risk Developmental Trajectories for Risky and Harmful Alcohol Use: Lessons from the IMAGEN Consortium Impulsivity and Alcohol Use Disorder Brain-Immune Mechanisms in Alcohol Use Disorder Targeting Neuroimmune Signaling in Alcohol Use Disorder: Opportunities for Translation Brain Alterations and Cognitive Deficits Induced by Alcohol Use Disorder The Genetics of Alcohol Use Disorder Alcohol Responses as Phenotypic Markers of AUD Risk - Lessons from Longitudinal Studies#xa0; Early Life Adversity as a Risk Factor in Alcohol Addiction Animals Models Used to Study Alcohol Use Disorder Alcohol Use Disorder: Stress, Negative Reinforcement, and Negative Urgency Laboratory Parameters in Heavy Drinkers Histology of Alcohol-related Liver Disease Non-Invasive Fibrosis Assessment in Alcohol-Related Liver Disease Noninvasive Biomarker Screening and Alcohol-Related Liver Disease in the General Population Evidence for Red Blood Cell-derived Aspartate Aminotransferase in Heavy Drinkers#xa0; Fibrosis Screening of Alcohol-related Liver Disease Based on Elastography Portal Hypertension in ALD The impact of alcohol components in ulcerative colitis and Crohn's disease Coagulation Disorders in Patients with Alcoholic Liver Cirrhosis Hepato-renal Syndrome in Patients with Alcohol-related#xa0;Liver Disease Acute Liver Failure Due to Alcohol Intoxication- therapeutic Options Medical aspects of alcohol consumption and alcohol-related liver disease IX Molecular mechanisms of of alcohol-related liver disease Molecular mechanisms of of alcohol-related liver disease IX Molecular mechanisms of of alcohol-related liver disease IX Molecular mechanisms of of alcohol-related liver disease IX Molecular mechanisms of of alcohol-related liver disease IX Molecular mechanisms of of alcohol-related liver disease IX Molecular mechanisms of of alcohol-related liver disease IX Molecular mechanisms of of alcohol-related liver disease IX Molecular mechanisms of of alcohol-related liver disease IX Molecular mechanisms of of alcohol-related liver disease IX Molecular mechanisms of of alcohol-related liver disease IX Molecular mechanisms of of alcohol-related liver disease IX Molecular mechanisms of of alcohol-related liver disease IX Molecular mechanisms of of alcohol-related liver disease IX Molecular mechanisms of of alcohol-related liver disease X Severe alcoholic hepatitis Severe alcoholic hepatitis X Severe alcoholic hepatitis X Severe alcoholic hepatitis X Severe alcoholic hepatitis Alcohol-related damage of other organs XI Alcohol-related damage of other organs XI Alcohol-related damage of other organs XI Alcohol-related damage of other organs XII Alcohol and cancer Alcohol and cancer XII Alcohol and cancer Center experiences for the interdisclipninary managment of alcohol use XIII Center experiences for the interdisclipninary managment of alcohol use -- Management of Acute Alcohol Withdrawal: Practical Considerations and Role of Comorbidities Pathophysiology of Ethanol and Unexplained Observations Ethanol Metabolism Modulation of Alcohol-related Liver Disease by Obesity and Diabetes The Genetics Of Alcohol-Related Liver Disease (ALD) Mechanisms of Alcohol-related Liver Cirrhosis Alcoholic Fibrosis/Cirrhosis And Its Reversibility Alterations in Methionine Metabolic Pathway in the Pathogenesis of Alcohol-associated Liver Disease Mitochondria and Alcohol Hepatic Iron Overload in Heavy Drinkers: Molecular Mechanisms and Relation to Hemolysis and Enhanced Red Blood Cell Turnover Ethanol-Mediated Bone Marrow Toxicity And Impaired Erythropoiesis: Implications For Alcohol-Related Liver Disease The “Matrisome” and Alcohol-related Liver Disease MicroRNAs and Alcohol-associated Liver Disease Intestinal bacteria and bacterial endotoxin in the development and therapy of alcohol-related liver disease Microbiota and alcoholic liver disease Alcohol Potentiates HIV-induced Hepatotoxicity via Induction of Lysosomal Damage in Hepatocytes Pathophysiology Of Alcoholic Hepatitis: Emerging Role Of Enhanced Red Blood Cell Turnover#xa0; Diagnosis and Staging of Disease-severity in Symptomatic Alcoholic Hepatitis Management of Severe Forms of Alcoholic Hepatitis Mechanisms of Recovery from and Strategies for Survival of Severe Alcoholic Hepatitis and ACLF The Role of Liver Biopsy and Hepatic Venous Pressure Gradient for the Diagnosis and Prognosis of Severe Al oholic Hepatitis Skeletal Muscle and Adipose Tissue; Targets or Relays for Interorgan Axis in Alcohol-induced Tissue Injury? Alcoholic Cardiomyopathy: Pathogenic Aspects Ethanol and heart failure: A clinical perspective Wernicke-Korsakoff Syndrome Mechanisms of Alcohol-mediated Cancer ; Alcohol and Cancer: The Epidemiological Evidence Alcohol-related Cancers of the Esophagus, Head and Neck, and Stomach in East Asians Model for Secondary Health Care Alcohol Services Optimising the Response to Alcohol Use Disorders in Acute Hospitals The Interdisciplinary Approach to AUD: What a Hepatologist can do in a Resource Limited Setting. . |
| Record Nr. | UNINA-9910755084103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algebraic informatics : 9th International Conference, CAI 2022, virtual event, October 27-29, 2022, proceedings / / edited by Dimitrios Poulakis, George Rahonis
| Algebraic informatics : 9th International Conference, CAI 2022, virtual event, October 27-29, 2022, proceedings / / edited by Dimitrios Poulakis, George Rahonis |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (233 pages) |
| Disciplina | 069 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Algebra - Data processing |
| ISBN | 3-031-19685-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Abstracts of Invited Talks -- Weighted Automata Over Monotonic Strong Bimonoids: Decidability and Undecidability of Finite Image -- Constraints, Graphs, Algebra, Logic, and Complexity -- Contents -- Invited Papers -- Chaining Multiplications in Finite Fields with Chudnovsky-Type Algorithms and Tensor Rank of the k-Multiplication -- 1 Introduction -- 1.1 Context, Notation and Basic Results -- 1.2 New Results and Organisation -- 2 Theoretical Construction of a Multiplying Algorithm -- 2.1 Notations -- 2.2 Algorithm -- 3 On the Existence of These Algorithms -- 3.1 Strategy of Construction -- 3.2 Towers of Algebraic Function Fields -- 4 Uniform Upper Bounds -- References -- On Some Algebraic Ways to Calculate Zeros of the Riemann Zeta Function -- 1 The Riemann Hypothesis -- 2 The Riemann Hypothesis in the Arithmetical Hierarchy -- 3 Calculation of the Zeta Zeros by Solving Algebraic Equations -- 4 Calculation of Summands from Dirichlet Series for the Zeta Function at Its Zeros -- References -- Shuffle Product of Regular Languages: Results and Open Problems -- 1 Introduction -- 2 Shuffle and Recognition -- 2.1 Shuffle Product -- 2.2 Monoids and Ordered Monoids -- 2.3 Power Monoids and Lower Set Monoids -- 3 Classes of Languages Closed Under Shuffle -- 3.1 Varieties of Languages Closed Under Shuffle -- 3.2 Positive Varieties of Languages Closed Under Shuffle -- 3.3 Intermixed Languages -- 4 Sequential and Parallel Decompositions -- 4.1 Definitions and Examples -- 4.2 Closure Properties -- 4.3 Schnoebelen's Problem -- 5 Conclusion -- References -- Contributed Papers -- Ordering the Boolean Cube Vectors by Their Weights and with Minimal Change -- 1 Introduction -- 2 Basic Notions and Preliminary Results -- 3 Ordering the Vectors of the Boolean Cube by Their Weights and with Minimal Change.
4 Algorithm for Generating the Vectors of the Boolean Cube Ordered by Weights and with Minimal Change -- 5 Conclusions -- References -- Designated-Verifier Linkable Ring Signatures with Unconditional Anonymity -- 1 Introduction -- 2 Preliminaries -- 2.1 Notation -- 2.2 Security Assumptions -- 3 UDVLRS Definition and Security Model -- 3.1 UDVLRS Definition -- 3.2 Correctness -- 3.3 Adversarial Capabilities -- 3.4 Unforgeability -- 3.5 Anonymity -- 3.6 Non-transferability -- 3.7 Linkability -- 3.8 Non-slanderability -- 4 Our Construction -- 5 Security Analysis -- 6 Conclusion and Future Work -- References -- Finding Points on Elliptic Curves with Coppersmith's Method -- 1 Introduction -- 2 Preliminaries -- 2.1 Some ECC Cryptosystems -- 2.2 Lattice Basis Reduction and Coppersmith's Method -- 3 Small Solutions of the Elliptic Curve Equation -- 4 A Numerical Example -- 5 Conclusion -- References -- Weighted Propositional Configuration Logic over De Morgan Algebras -- 1 Introduction -- 2 Related Work -- 3 Preliminaries -- 4 Unweighted PCL -- 5 Weighted PCL over De Morgan Algebras -- 6 Examples -- 7 Discussion -- 8 Conclusion -- References -- Weighted Two-Way Transducers -- 1 Introduction -- 2 Preliminaries -- 3 Weighted Two-Way Transducers -- 4 Relation to Unweighted Case -- 5 Closure Properties -- References -- A Formal Algebraic Approach for the Quantitative Modeling of Connectors in Architectures -- 1 Introduction -- 2 Related Work -- 3 Preliminaries -- 4 The Weighted Algebra of Interactions -- 5 The Weighted Algebra of Connectors -- 6 On Congruence Relation for Fusion-wAC(P) Connectors -- 7 Discussion -- 8 Conclusion -- References -- Watson-Crick Powers of a Word -- 1 Introduction -- 2 Preliminaries -- 3 A Binary Operation Generating Watson-Crick Powers -- 4 Watson-Crick Conjugate Equations -- 5 Conjugacy and Commutativity with Respect to. 6 -Primitive Words, and a Word's -Primitive Root Pair -- 7 Conclusions -- References -- A Normal Form for Matrix Multiplication Schemes -- 1 Introduction -- 2 Matrix Multiplication Schemes -- 3 The Symmetry Group -- 4 Minimal Orbit Elements -- 5 Minimizing the First Row -- 6 Timings and Analysis -- References -- Bideterministic Weighted Automata -- 1 Introduction -- 2 Preliminaries -- 3 Bideterministic Weighted Automata over a Semiring -- 4 The Minimality Property of Bideterministic Automata -- 4.1 Fields and Integral Domains -- 4.2 Other Commutative Rings -- 4.3 Positive Semirings -- 5 Decidability of Bideterminisability -- 5.1 Fields -- 5.2 Tropical Semirings -- References -- How to Decide Functionality of Compositions of Top-Down Tree Transducers -- 1 Introduction -- 2 Top-Down Tree Transducers -- 3 Functionality of Two-Fold Compositions -- 3.1 Construction of the LA-Transducer M -- 3.2 Correctness of the LA-Transducer M -- 3.3 Functionality of Arbitrary Compositions -- 4 Conclusion -- References -- Computation of Solutions to Certain Nonlinear Systems of Fuzzy Relation Inequations -- 1 Introduction -- 2 Preliminaries -- 3 Certain Types of Fuzzy Relation Inequations and Their Solutions -- References -- When Variable-Length Codes Meet the Field of Error Detection -- 1 Introduction -- 2 Preliminaries -- 3 Error Detection and the Prefix Metric -- 4 Error Detection and the Factor Metric -- 5 Error Detection in the Topologies Associated to (anti-)automorphisms -- 6 Concluding Remark -- References -- Author Index. |
| Record Nr. | UNISA-996495569703316 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algebraic informatics : 9th International Conference, CAI 2022, virtual event, October 27-29, 2022, proceedings / / edited by Dimitrios Poulakis, George Rahonis
| Algebraic informatics : 9th International Conference, CAI 2022, virtual event, October 27-29, 2022, proceedings / / edited by Dimitrios Poulakis, George Rahonis |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (233 pages) |
| Disciplina | 069 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Algebra - Data processing |
| ISBN | 3-031-19685-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Abstracts of Invited Talks -- Weighted Automata Over Monotonic Strong Bimonoids: Decidability and Undecidability of Finite Image -- Constraints, Graphs, Algebra, Logic, and Complexity -- Contents -- Invited Papers -- Chaining Multiplications in Finite Fields with Chudnovsky-Type Algorithms and Tensor Rank of the k-Multiplication -- 1 Introduction -- 1.1 Context, Notation and Basic Results -- 1.2 New Results and Organisation -- 2 Theoretical Construction of a Multiplying Algorithm -- 2.1 Notations -- 2.2 Algorithm -- 3 On the Existence of These Algorithms -- 3.1 Strategy of Construction -- 3.2 Towers of Algebraic Function Fields -- 4 Uniform Upper Bounds -- References -- On Some Algebraic Ways to Calculate Zeros of the Riemann Zeta Function -- 1 The Riemann Hypothesis -- 2 The Riemann Hypothesis in the Arithmetical Hierarchy -- 3 Calculation of the Zeta Zeros by Solving Algebraic Equations -- 4 Calculation of Summands from Dirichlet Series for the Zeta Function at Its Zeros -- References -- Shuffle Product of Regular Languages: Results and Open Problems -- 1 Introduction -- 2 Shuffle and Recognition -- 2.1 Shuffle Product -- 2.2 Monoids and Ordered Monoids -- 2.3 Power Monoids and Lower Set Monoids -- 3 Classes of Languages Closed Under Shuffle -- 3.1 Varieties of Languages Closed Under Shuffle -- 3.2 Positive Varieties of Languages Closed Under Shuffle -- 3.3 Intermixed Languages -- 4 Sequential and Parallel Decompositions -- 4.1 Definitions and Examples -- 4.2 Closure Properties -- 4.3 Schnoebelen's Problem -- 5 Conclusion -- References -- Contributed Papers -- Ordering the Boolean Cube Vectors by Their Weights and with Minimal Change -- 1 Introduction -- 2 Basic Notions and Preliminary Results -- 3 Ordering the Vectors of the Boolean Cube by Their Weights and with Minimal Change.
4 Algorithm for Generating the Vectors of the Boolean Cube Ordered by Weights and with Minimal Change -- 5 Conclusions -- References -- Designated-Verifier Linkable Ring Signatures with Unconditional Anonymity -- 1 Introduction -- 2 Preliminaries -- 2.1 Notation -- 2.2 Security Assumptions -- 3 UDVLRS Definition and Security Model -- 3.1 UDVLRS Definition -- 3.2 Correctness -- 3.3 Adversarial Capabilities -- 3.4 Unforgeability -- 3.5 Anonymity -- 3.6 Non-transferability -- 3.7 Linkability -- 3.8 Non-slanderability -- 4 Our Construction -- 5 Security Analysis -- 6 Conclusion and Future Work -- References -- Finding Points on Elliptic Curves with Coppersmith's Method -- 1 Introduction -- 2 Preliminaries -- 2.1 Some ECC Cryptosystems -- 2.2 Lattice Basis Reduction and Coppersmith's Method -- 3 Small Solutions of the Elliptic Curve Equation -- 4 A Numerical Example -- 5 Conclusion -- References -- Weighted Propositional Configuration Logic over De Morgan Algebras -- 1 Introduction -- 2 Related Work -- 3 Preliminaries -- 4 Unweighted PCL -- 5 Weighted PCL over De Morgan Algebras -- 6 Examples -- 7 Discussion -- 8 Conclusion -- References -- Weighted Two-Way Transducers -- 1 Introduction -- 2 Preliminaries -- 3 Weighted Two-Way Transducers -- 4 Relation to Unweighted Case -- 5 Closure Properties -- References -- A Formal Algebraic Approach for the Quantitative Modeling of Connectors in Architectures -- 1 Introduction -- 2 Related Work -- 3 Preliminaries -- 4 The Weighted Algebra of Interactions -- 5 The Weighted Algebra of Connectors -- 6 On Congruence Relation for Fusion-wAC(P) Connectors -- 7 Discussion -- 8 Conclusion -- References -- Watson-Crick Powers of a Word -- 1 Introduction -- 2 Preliminaries -- 3 A Binary Operation Generating Watson-Crick Powers -- 4 Watson-Crick Conjugate Equations -- 5 Conjugacy and Commutativity with Respect to. 6 -Primitive Words, and a Word's -Primitive Root Pair -- 7 Conclusions -- References -- A Normal Form for Matrix Multiplication Schemes -- 1 Introduction -- 2 Matrix Multiplication Schemes -- 3 The Symmetry Group -- 4 Minimal Orbit Elements -- 5 Minimizing the First Row -- 6 Timings and Analysis -- References -- Bideterministic Weighted Automata -- 1 Introduction -- 2 Preliminaries -- 3 Bideterministic Weighted Automata over a Semiring -- 4 The Minimality Property of Bideterministic Automata -- 4.1 Fields and Integral Domains -- 4.2 Other Commutative Rings -- 4.3 Positive Semirings -- 5 Decidability of Bideterminisability -- 5.1 Fields -- 5.2 Tropical Semirings -- References -- How to Decide Functionality of Compositions of Top-Down Tree Transducers -- 1 Introduction -- 2 Top-Down Tree Transducers -- 3 Functionality of Two-Fold Compositions -- 3.1 Construction of the LA-Transducer M -- 3.2 Correctness of the LA-Transducer M -- 3.3 Functionality of Arbitrary Compositions -- 4 Conclusion -- References -- Computation of Solutions to Certain Nonlinear Systems of Fuzzy Relation Inequations -- 1 Introduction -- 2 Preliminaries -- 3 Certain Types of Fuzzy Relation Inequations and Their Solutions -- References -- When Variable-Length Codes Meet the Field of Error Detection -- 1 Introduction -- 2 Preliminaries -- 3 Error Detection and the Prefix Metric -- 4 Error Detection and the Factor Metric -- 5 Error Detection in the Topologies Associated to (anti-)automorphisms -- 6 Concluding Remark -- References -- Author Index. |
| Record Nr. | UNINA-9910619279803321 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algorithms and complexity : 13th international conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, proceedings / / edited by Marios Mavronicolas
| Algorithms and complexity : 13th international conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, proceedings / / edited by Marios Mavronicolas |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
| Descrizione fisica | 1 online resource (412 pages) |
| Disciplina | 069 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Algorithms |
| ISBN |
9783031304484
9783031304477 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Unifying Gathering Strategies for Swarms of Mobile Robots -- The Complexity of Secure RAMs -- Selected Combinatorial Problems Through the Prism of Random Intersection Graphs Models -- The power of the Binary Value Principle -- Independent Set under a Change Constraint from an Initial Solution -- Asynchronous Fully-Decentralized SGD in the Cluster-Based Model -- Non-Crossing Shortest Paths Lengths in Planar Graphs in Linear Time -- How Vulnerable is an Undirected Planar Graph with respect to Max Flow -- Maximum Flows in Parametric Graph Templates -- Dynamic Coloring on Restricted Graph Classes -- Enumeration of Minimal Tropical Connected Sets -- Dynamic Flows with Time-Dependent Capacities -- On One-Sided Testing Affine Subspaces -- Stable Scheduling in Transactional Memory -- Parameterizing Path Partitions -- Maintaining Triconnected Components under Node Expansion -- Approximating Power Node-Deletion Problems -- Phase transition in count approximation by Count-Min sketch with conservative updates -- Minimum-link ´ $C$-Oriented Paths Visiting a Sequence of Regions in the Plane -- Grouped Domination Parameterized by Vertex Cover, Twin Cover, and Beyond -- Broadcasting in Split Graphs -- Partitioning Subclasses of Chordal Graphs with Few Deletions -- Complete Decomposition of Symmetric Tensors in Linear Time and Polylogarithmic Precision -- Improved Deterministic Leader Election in Diameter-Two Networks -- Fast Cauchy Sum Algorithms for Polynomial Zeros and Matrix Eigenvalues -- On the Parameterized Complexity of the Structure of Lineal Topologies (Depth-First Spanning Trees) of Finite Graphs: The Number of Leaves -- Efficiently Enumerating All Spanning Trees of a Plane 3-Tree -- Communication-Efficient Distributed Graph Clustering and Sparsification under Duplication Models. |
| Record Nr. | UNISA-996525671503316 |
| Cham, Switzerland : , : Springer, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algorithms and complexity : 13th international conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, proceedings / / edited by Marios Mavronicolas
| Algorithms and complexity : 13th international conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, proceedings / / edited by Marios Mavronicolas |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
| Descrizione fisica | 1 online resource (412 pages) |
| Disciplina | 069 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Algorithms |
| ISBN |
9783031304484
9783031304477 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Unifying Gathering Strategies for Swarms of Mobile Robots -- The Complexity of Secure RAMs -- Selected Combinatorial Problems Through the Prism of Random Intersection Graphs Models -- The power of the Binary Value Principle -- Independent Set under a Change Constraint from an Initial Solution -- Asynchronous Fully-Decentralized SGD in the Cluster-Based Model -- Non-Crossing Shortest Paths Lengths in Planar Graphs in Linear Time -- How Vulnerable is an Undirected Planar Graph with respect to Max Flow -- Maximum Flows in Parametric Graph Templates -- Dynamic Coloring on Restricted Graph Classes -- Enumeration of Minimal Tropical Connected Sets -- Dynamic Flows with Time-Dependent Capacities -- On One-Sided Testing Affine Subspaces -- Stable Scheduling in Transactional Memory -- Parameterizing Path Partitions -- Maintaining Triconnected Components under Node Expansion -- Approximating Power Node-Deletion Problems -- Phase transition in count approximation by Count-Min sketch with conservative updates -- Minimum-link ´ $C$-Oriented Paths Visiting a Sequence of Regions in the Plane -- Grouped Domination Parameterized by Vertex Cover, Twin Cover, and Beyond -- Broadcasting in Split Graphs -- Partitioning Subclasses of Chordal Graphs with Few Deletions -- Complete Decomposition of Symmetric Tensors in Linear Time and Polylogarithmic Precision -- Improved Deterministic Leader Election in Diameter-Two Networks -- Fast Cauchy Sum Algorithms for Polynomial Zeros and Matrix Eigenvalues -- On the Parameterized Complexity of the Structure of Lineal Topologies (Depth-First Spanning Trees) of Finite Graphs: The Number of Leaves -- Efficiently Enumerating All Spanning Trees of a Plane 3-Tree -- Communication-Efficient Distributed Graph Clustering and Sparsification under Duplication Models. |
| Record Nr. | UNINA-9910717420803321 |
| Cham, Switzerland : , : Springer, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algorithms for Satellite Orbital Dynamics [[electronic resource] /] / by Lin Liu
| Algorithms for Satellite Orbital Dynamics [[electronic resource] /] / by Lin Liu |
| Autore | Liu Lin <1474-1561, > |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (576 pages) |
| Disciplina | 069 |
| Collana | Springer Series in Astrophysics and Cosmology |
| Soggetto topico |
Outer space—Exploration
Astronautics Aerospace engineering Mathematical physics Astronomy—Observations Space Exploration and Astronautics Aerospace Technology and Astronautics Theoretical, Mathematical and Computational Physics Astronomy, Observations and Techniques |
| ISBN | 981-19-4839-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Introduction -- Chapter 1 Selection and Conversions of Coordinate System -- Chapter 2 Complete Solutions of the two-body Problem -- Chapter 3 Analytical methods of structural solutions for a perturbed satellite orbit -- Chapter 4 Non-singular point analytical solutions for a perturbed Earth’s satellite orbit by extrapolation -- Chapter 5 Design of satellite orbit and lifespan estimation -- Chapter 6 Orbital solutions of satellites of the Moon and major planets -- Chapter 7 Orbits in the restricted three-body problem and calculation methods -- Chapter 8 Numerical methods for satellite orbit extrapolation -- Chapter 9 Formulation of orbit determination and calculation of initial orbit -- Chapter 10 Determination of precession orbit -- Appendix. |
| Record Nr. | UNINA-9910731488903321 |
|
Liu Lin <1474-1561, >
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ali nel Museo : percorsi di didattica museale dall'osservazione alla creazione / Simona Astolfi ; saggio introduttivo di Mario Turci
| Ali nel Museo : percorsi di didattica museale dall'osservazione alla creazione / Simona Astolfi ; saggio introduttivo di Mario Turci |
| Autore | Astolfi, Simona |
| Pubbl/distr/stampa | Imola : La Mandragora, c1998 |
| Descrizione fisica | 80 p. ; 21 cm |
| Disciplina | 069 |
| Altri autori (Persone) | Turci, Mario |
| Soggetto topico | Museums - Didactic activity |
| ISBN | 8886123485 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991003579299707536 |
|
Astolfi, Simona
|
||
| Imola : La Mandragora, c1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Allestimento museale : questioni di dettaglio / Saverio Ciarcia ; presentazione di Nicola Pagliara
| Allestimento museale : questioni di dettaglio / Saverio Ciarcia ; presentazione di Nicola Pagliara |
| Autore | Ciarcia, Saverio |
| Pubbl/distr/stampa | Napoli : CLEAN, 1998 |
| Descrizione fisica | 145 p. ; 21 cm. |
| Disciplina | 069 |
| Soggetto topico |
Musei
Museologia |
| ISBN | 88-86701-41-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNIBAS-000004285 |
|
Ciarcia, Saverio
|
||
| Napoli : CLEAN, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
