Search Results - Nagrig~

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems -- Model Checking -- Bounded Model Checking for Asynchronous Hyperproperties -- Model Checking Linear Dynamical Systems under Floating-point Rounding -- Efficient Loop Conditions for Bounded Model Checking Hyperproperties -- Reconciling Preemption Bounding with DPOR -- Optimal Stateless Model Checking for Causal Consistency -- Symbolic Model Checking for TLA+ Made Faster -- AutoHyper: Explicit-State Model Checking for HyperLTL -- Machine Learning/Neural Networks -- Feature Necessity & Relevancy in ML Classifier Explanations -- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks -- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks -- Neural Network-Guided Synthesis of Recursive List Functions -- Automata -- Modular Mix-and-Match Complementation of Buechi automata -- Validating Streaming JSON Documents With Learned VPAs -- Antichains Algorithms for the Inclusion Problem Between ω -VPL -- Stack-Aware Hyperproperties -- Proofs -- Propositional Proof Skeletons -- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers -- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format -- Constraint Solving/Blockchain -- The Packing Chromatic Number of the Infinite Square Grid is 15 -- Active Learning for SAT Solver Benchmarking -- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving -- Inferring Needless Write Memory Accesses on Ethereum Bytecode -- Markov Chains/Stochastic Control -- A Practitioner's Guide to MDP Model Checking Algorithms -- Correct Approximation of Stationary Distributions -- Robust Almost-Sure Reachability in Multi-Environment MDPs -- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning -- Verification -- A Formal CHERI-C Semantics for Verification -- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm -- Parameterized Verification under TSO with Data Types -- Verifying Learning-Based Robotic Navigation Systems: A Case Study -- Make flows small again: revisiting the flow framework -- ALASCA: Reasoning in Quantified Linear Arithmetic -- A Matrix-Based Approach to Parity Games -- A GPU Tree Database for Many-Core Explicit State Space Exploration.…”
Link to Metadata

Constructing Roma Migrants European Narratives and Local Governance /

Table of Contents: “…Identity game for welfare: Circumventing surveillance of legal migrants in Europe: Veronika Nagy -- 10. Contesting the structural constraints. …”
Link to Metadata

Putting Responsible Research and Innovation into Practice A Multi-Stakeholder Approach /

Table of Contents: “…Part 1 - Responsible Research & Innovation as EU policy -- Chapter 1: The drama of Responsible Research and Innovation: the ups and downs of a policy concept -- Chapter 2: The Institutionalisation of a New Paradigm at Policy Level -- Chapter 3: Democratic Experimentation with Responsibility: A Pragmatist Approach to RRI -- Chapter 4: Cultural particularities and its role in the "innovation divide": A closer look at the origins of "Spreading Excellence and Widening Participation" -- Chapter 5: Joining forces - staying unique: Adapting RRI to different research and innovation funding agency contexts -- Part 2 - Public Engagement for Responsible Research & Innovation -- Chapter 6: Public engagement in the tradition of participatory approaches - an approximation -- Chapter 7: Social Labs in Public Engagement Processes for RRI -- Chapter 8: Exploring the ambivalent nature of diversity in social experimental settings: First insights from social labs established to promote Responsible Research and Innovation -- Chapter 9: Engaging stakeholders by implementing RRI in the Social Lab Process - A Single Case Study -- Part 3 - Governance of Responsible Research & Innovation -- Chapter 10: Implementing Responsible Research and Innovation: From New Public Management to New Public Governance -- Chapter 11: STAKEHOLDERS IN RESEARCH AND INNOVATION: TOWARDS RESPONSIBLE GOVERNANCE -- Chapter 12: Managing the responsibilities of doing good and avoiding harm in sustainability-orientated innovations: Example from agri-tech start-ups in the Netherlands -- Chapter 13: Conclusion: Implementation of Responsible Research and Innovation by social labs. …”
Link to Metadata

The Future of Consumption How Technology, Sustainability and Wellbeing will Transform Retail and Customer Experience /

Table of Contents: “…, Matthias Lehner, Jessika Luth Richter & Oksana Mont -- The Challenge of Overproduction and Overconsumption, Gabriella Wulff -- Creating Tomorrow's Vintage, Kevin Gelsi & Sandya Lang -- Part 3 - Wellbeing -- The Future of Wellbeing: Value Creation in Digital Mental Health Services, Alisa Minina Jeunemaître -- No cash, no coins, no cards, but you: Biohacking the future of payments, Vitor Lima & Russell Belk -- Contemporary Consumption of Brand Activism, Natasha Lewis & Jessica Vredenburg -- Vegan Consumption: Insights into the consumer-driven emergence of the vegan market, Rachel Lamarche-Beauchesne -- Buying Happiness, Tomas de Souza -- Part 4 - Customer Experience -- Re-examining the Place of the Physical Store During the Digital Retail Era, Elin Nilsson -- Employee-to-Customer Improvisation: A Value Creation Strategy for Navigating the Contemporary Consumption Experience, Jessica Vredenburg, Simon J. …”
Link to Metadata

Übersetzen in der Frühen Neuzeit - Konzepte und Methoden / Concepts and Practices of Translation in the Early Modern Period

Table of Contents: “…Zur Selbstdarstellung arabischer Christen in Europa am Beispiel Salomon Negris (1665-1727) -- Birth, Berat, and Banishment. …”
Link to Metadata

European Cultural Diplomacy and Arab Christians in Palestine, 1918-1948 Between Contention and Connection /

Table of Contents: “…- Sarah Irving -- Orthodox Clubs and Associations: Cultural, Educational and Religious Networks Between Palestine and Jordan, 1925-1970 - Norig Neveu -- Palestinian Translators and Intellectuals during Ottoman and Mandatory Palestine: Russian Language in the Experiences of Khalil Baydas and Najati Sidqi - Sadia Agsous -- Sound Power: Musical Diplomacy Within the Franciscan Custody in Mandate Jerusalem - Maria Chiara Rioli and Riccardo Castagnetti -- The Melkite Community, Educational Policy and French Cultural Diplomacy: Archbishop Grigorios Hajjar and Mandatory Galilee - Charbel Nassif -- Cultural Diplomacy in Mandatory Haifa: The Role of Christian Communities in the City's Cultural Transformation - Maayan Hillel -- Part II Showing and Telling: Cultural and Historical Entanglements under the Mandate -- Introduction: Arab Virtù and the Philosophy of History: Excavating, Exhibiting and Cultural Diplomacy in the Palestine Mandate - Philippe Bourmaud -- Palestinian Christians in the Mandate Department of Antiquities: Historical and Archaeological Narratives in a Colonial Space - Sarah Irving -- Between Diplomacy and Science: British Mandate Palestine and its International Network of Archaeological Organisations, 1918-1938 - Mathilde Sigalas -- Competition in the Cultural Sector: Handicrafts and the Rise of the Trade Fair in British Mandate Palestine - Nisa Ari -- Part III Influencing the Other: European Private and Governmental Actors -- Introduction: European Soft Power and Christian Cultures at the Crossroads in Mandate Palestine - Heather J. …”
Link to Metadata

Oral and Maxillofacial Surgery for the Clinician

Table of Contents: “…-- Pre-Operative Evaluation & Investigations -- Management of Medically Compromised Patients -- Management of Medical Emergencies -- Local Anaesthesia -- Oral and Maxillofacial Surgery -- Ambulatory Anesthesia Model and Training -- Anesthesia for OMFS -- Radiology for the Oral and Maxillofacial Surgeon: The Essentials -- Sterilisation and Operating Room Protocols -- Pharmacotherapy in OMFS -- Wound closure and Suturing Methods -- Management of the Post operative OMFS Patient -- Principles and Techniques of Exodontia -- Management of the Impacted tooth: A : Third Moalr impactions -- Canine Impactions -- Endodontic surgery -- Pre prosthetic Surgery -- Basic Implantology -- Bone Augmentation Procedures in Implantology -- Odontogenic Infections - General Principles -- Space Infections -- Osteomyelitis /ORN/ MRONJ -- Maxillary Sinusitis -- Management of Oro Antral Communications & Fistulae -- Trigeminal Nerve Injuries -- Trigeminal Neuralgia -- Cysts of the OMF region -- Odontogenic Tumours -- Reactive Lesions of the Oro Maxillofacial Region -- Fibro Osseous Lesions -- Vascular Anomalies of the Oro Maxillofacial Region -- Non-Surgical Modalities of Facial Rejuvenation & Aesthetics -- Botox & Fillers -- Hair Transplant -- Ear Reconstruction -- Management of Scars -- Face Lifts -- Rhinoplasty -- Lasers in OMFS -- Peizo Surgery in OMFS -- Role of Computer-assisted Navigation Surgery in Oral and Maxillofacial Surgery -- Human Factors and Reducing Medical Error.…”
Link to Metadata

Software Business 14th International Conference, ICSOB 2023, Lahti, Finland, November 27-29, 2023, Proceedings /

Table of Contents: “…A case study on Agile teams in a large company -- Investigating Open Innovation Practices to Support Requirements Management in Software Ecosystems -- Requirements tool practices that drive business agility -- Software Procurement -- On Public Procurement of ICT Systems: Stakeholder Views and Emerging Tensions -- Improving Communication and Collaboration in Enterprise Architecture Projects: Three Propositions from Three Public Sector EA Projects -- Navigating ICT In-House Procurement in Finland: Evaluating Legal Frameworks and Practical Challenges -- Artificial Intelligence Procurement Assistant: Enhancing Bid Evaluation -- Platforms, Ecosystems & Data -- Who Does What? …”
Link to Metadata

Radiation Monitoring and Dose Estimation of the Fukushima Nuclear Accident

Table of Contents: “…Fuji to Investigate the Radioactive Contamination Due to TEPCO's Fukushima Daiichi Nuclear Plant Accident (Kazuaki YAJIMA) -- 7 Development of a Carborne Survey System, KURAMA (Minoru TANIGAKI) -- 8 Radiation Measurement in East Japan in 2011 After the Fukushima Nuclear Accident (Takumi KUBOTA) -- Part 4 Environmental Radioactivity -- 9 Distribution of Plutonium Isotopes in Marine Sediments Off Japan Before and After the Fukushima Daiichi Nuclear Power Plant Accident: A Review (Jian ZHENG) -- 10 Time Trend Change of Air Dose Rate on Paved Area in Fukushima City After the Fukushima Daiichi Nuclear Power Plant Accident (Shin-ya HOHARA) -- 11 Observation of Radionuclides in Marine Biota off the Coast of Fukushima Prefecture After TEPCO's Fukushima Daiichi Nuclear Power Plant Accident (Tatsuo AONO) -- Part 5 Transfer Models and/or Parameters -- 12 Evaluating Removal of Radionuclides from Landfill Leachate Using Generally Practiced Wastewater Treatment Processes (Nao ISHIKAWA) -- 13 Studies on Radiocesium Transfer in Agricultural Plants in Fukushima Prefecture (Takashi SAITO) -- Part 6 Source Estimation -- 14 Investigation of Uncertainty in the Release Rates of I 131 and Cs 137 from Fukushima Daiichi Nuclear Power Station Estimated from Environmental Data (Shigekazu HIRAO) -- 15 Source Term Estimation of 131I and 137Cs Discharged from the Fukushima Daiichi Nuclear Power Plant into the Atmosphere (Haruyasu NAGAI) -- Part 7 Dose Assessment -- 16 NIRS's Activities for the Reconstruction of Early Internal Exposure in the TEPCO Fukushima Daiichi Nuclear Power Station Accident (Osamu KURIHARA) -- 17 Internal Radiation Dose of KURRI Volunteers Working at Evacuation Shelters After TEPCO's Fukushima Daiichi Nuclear Power Plant Accident (Yuko KINASHI) -- 18 Probabilistic Assessment of Doses to the Public Living in Areas Contaminated by the Fukushima Daiichi Nuclear Power Plant Accident (Shogo TAKAHARA) -- 19 Reduction of External Exposure for Residents Owing to the Fukushima Nuclear Accident by Weathering and Decontamination (Hiroko YOSHIDA).…”
Link to Metadata

Beyond 100: The Next Century in Geodesy Proceedings of the IAG General Assembly, Montreal, Canada, July 8-18, 2019 /

Table of Contents: “…Part I: Reference Systems and Frames -- Towards an International Height Reference Frame Using Clock Networks -- Towards the realization of the International Height Reference Frame (IHRF) in Argentina -- Comparing Vienna CRF solutions to Gaia-CRF2 -- Co-Location of Space Geodetic Techniques: Studies on Intra-Technique Short Baselines -- Status of IGS Reprocessing Activities at GFZ -- A Wavelet-based Outlier Detection and Noise Component Analysis for GNSS Position Time Series -- Part II: Gravity field modelling -- International Combination Service for Time-variable Gravity Fields (COST-G) - Start of operational phase and future perspectives -- LUH-GRACE2018: a new time series of monthly gravity field solutions from GRACE -- A Precise Geoid Model for Africa: AFRgeo2019 -- Part III: Earth rotation and geodynamics -- A first assessment of the corrections for the consistency of the IAU2000 and IAU2006 precession-nutation models -- Report of the IAU/IAG Joint Working Group on Theory of Earth rotation andvalidation -- Achievements of the first 4 years of the International Geodynamics and Earth Tide Service (IGETS) 2015 - 2019 -- Inter-comparison of ground gravity and vertical height measurements at collocated IGETS stations -- Part IV: Multi-Signal Positioning, Remote Sensing and Applications -- A Benchmarking Measurement Campaign to Support Ubiquitous Localization in GNSS Denied and Indoor Environments -- A method to correct the raw Doppler observations for GNSS velocity determination -- Assessment of a GNSS/INS/Wi-Fi Tight-Integration Method Using Support Vector Machine and Extended Kalman Filter -- Enhancing navigation in difficult environments with low-cost, dual-frequency GNSS PPP and MEMS IMU -- Part V: Monitoring and Understanding the Dynamic Earth with Geodetic Observations -- Water Depletion and Land Subsidence in Iran using Gravity, GNSS, InSAR and Precise Levelling Data -- Past and future sea level changes and land uplift in the Baltic Sea seen by geodetic observations -- Estimation ofLesser Antilles vertical velocity fields using a GNSS-PPP software comparison -- Time variations of the vertical component in Japanese GEONET GNSS sites -- An approximate method to simulate post-seismic deformations in a realistic Earth model -- Geodetic monitoring of the variable surface 1 deformation in Latin America -- Progress in GTEWS ground displacement measurements and tsunami warning -- Part VI: Geodesy for Atmospheric and Hydrospheric Climate Research (IAG, IAMAS, IACS, IAPSO) -- Characterization of the Upper Atmosphere from Neutral and Electron Density Observations -- Tropospheric products from high-level GNSS processing in Latin America -- Can vertical GPS displacements serve as proxies for climate variability in North America? …”
Link to Metadata

Blueprint for Success in College and Career by Dillon, Dave

Table of Contents: “…-- Chapter 9: Planning A College Schedule -- Chapter 10: Navigating The College Website -- Chapter 11: Words of Wisdom: These Are the Best Years of Your Life -- Chapter 12: Assessment Testing -- Chapter 13: Words of Wisdom: With a Little Help from My Friends -- Unit 2: Time, Tools, and Study Environment -- Chapter 14: Time Management Theory -- Chapter 15: Words of Wisdom: Time Is on Your Side -- Chapter 16: Time Management Reality -- Chapter 17: World View and Self-Efficacy -- Chapter 18: Procrastination -- Chapter 19: Words of Wisdom: Can You Listen to Yourself? …”
Access online version

The Impact of Digital Technologies on Public Health in Developed and Developing Countries 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceeding...

Table of Contents: “…IoT and AI Solutions for E-health -- Alzheimer's Disease Early Detection Using a Low Cost Three-dimensional Densenet-121 Architecture -- Self-adaptative Early Warning Scoring System for Smart Hospital -- Machine Learning Based Rank Attack Detection for Smart Hospital Infrastructure -- Remote Health Monitoring Systems Based on Bluetooth Low Energy (BLE) Communication Systems -- Modeling and Specification of Bootstrapping and Registration Design Patterns for IoT Applications -- Biomedical and Health Informatics -- EEG-based Hypo-vigilance Detection Using Convolutional Neural Network -- Respiratory Activity Classification Based on Ballistocardiogram Analysis -- A Convolutional Neural Network for Lentigo Diagnosis -- Deep Learning-based Approach for Atrial Fibrillation Detection -- Unsupervised Method Based on Superpixel Segmentation for Corpus Callosum Parcellation in MRI Scans -- Behavior and Activity Monitoring -- Using Learning Techniques to Observe Elderly's Behavior Changes Over Time -- Personalized and Contextualized Persuasion System for Older Adults' Physical Activity Promoting -- Baseline Modelling and Composite Representation of Unobtrusively (IoT) Sensed Behaviour Changes Related to Urban Physical Well-being -- Wellbeing Technology -- Automatic Daily Activity Schedule Planning for Simulating Smart House with Elderly People Living Alone -- A Novel On-wrist Fall Detection System Using Supervised Dictionary Learning Technique -- Combined Machine Learning and Semantic Modelling for Situation Awareness and Healthcare Decision Support -- Improving Access and Mental Health for Youth Through Virtual Models of Care -- Short Contributions: IoT and AI Solutions for E-health -- Study of Middleware for Internet of Healthcare Things and Their Applications -- Uncertainty in IoT for Smart Healthcare: Challenges, and Opportunities -- Secure E-health Platform -- Hybrid and Secure E-health Data Sharing Architecture in Multi-Clouds Environment -- Blockchain for Internet of Medical Things: A technical Review -- Application of Blockchain Technology in Healthcare: A Comprehensive Study -- Trust Execution Environment and Multi-party Computation for Blockchain E-health Systems -- A Fuzzy-ontology Based Diabetes Monitoring System Using Internet of Things -- Short Contributions: Biomedical and Health Informatics -- A Hybrid Approach for Heart Disease Diagnosis and Prediction Using Machine Learning Techniques -- Context-aware Healthcare Adaptation Model for COPD Diseases -- Study of Healthcare Professionals' Interaction in the Patient Records with Annotations -- Multirate ECG Processing and Machine Learning Based Efficient Arrhythmia Diagnosis -- Comparative Study of Relevant Methods for MRI/X Brain Image Registration -- Machine Learning Classification Models with SPD/ED Dataset: Comparative Study of Abstract Versus Full Article Approach -- Evaluation of Stationary Wavelet Transforms in Reconstruction of Pure High Frequency Oscillations (HFOs) -- Ensuring theCorrectness and Well Modeling of Intelligent Healthcare Management Systems -- Short Contributions: Wellbeing Technology -- An Embedded ANN Raspberry PI for Inertial Sensor Based Human Activity Recognition -- Human Activities Recognition in Android Smartphone using WSVM-HMM Classifier -- Mobile Assistive Application for Blind People in Indoor Navigation -- Older People's Needs and Opportunities for Assistive Technologies -- Towards a Formal Context-Aware Workflow Model for Ambient Environment -- The PULSE Project: A Case of Use of Big Data Uses Toward a Cohomprensive Health Vision of City Well Being -- ForeSight - An AI-driven Smart Living Platform, Approach to Add Access Control to openHAB.…”
Link to Metadata

Commentary: What can augmented reality do for you? by Emilio Madrigal

Connect to this object online.

El Decreto Ejecutivo No. 35595-S y las implicaciones jurídicosanitarias de los medicamentos de libre venta en Costa Rica by Randall Madrigal Madrigal

Connect to this object online.

El Decreto Ejecutivo No. 35595-S y las implicaciones jurídicosanitarias de los medicamentos de libre venta en Costa Rica by Randall Madrigal Madrigal

Connect to this object online.

Linear and whorled nevoid hypermelanosis with pigmentary incontinence and congenital malformations by Kenneth Salazar Madrigal, Noelia Chaves Alfaro, Diego Morales-Neira

Connect to this object online.

Balansen mellom pasientens behov og organisatoriske hensyn - Ergoterapeuters erfaringer knyttet til eldre pasienters overgangsfase fra sykehus til eget hjem by Helene Hald, Bjørg Dale

Connect to this object online.

The Transcription Factor Nrf2

DOAB: download the publication
DOAB: description of the publication

Demografische und klinische Charakteristika der hausärztlichen Patienten, die im Frühjahr 2021 gegen Covid-19 geimpft wurden by Prof. Dr. rer. med. habil. Karel Kostev MA, Dr. rer. nat. Philipp Beinker, Kerstin Weber, Dr. med. Dr. phil. Jens Bohlken

Connect to this object online.

Claude Pierre Molard (1759-1837) Un technicien dans la cité

DOAB: download the publication
DOAB: description of the publication