-
521
SSB: Smart Contract Security Detection Tool Suitable for Industrial Control Scenarios
Published 2025-07-01“…This suggests that semantic-based approaches, which integrate domain-specific invariants and runtime monitoring, can address the unique challenges of ICS, such as real-time constraints and semantic consistency between code and physical control logic. The framework’s ability to model industrial invariants—covering security, functionality, consistency, time-related, and resource consumption aspects—provides a robust mechanism to prevent critical errors like unauthorized access or premature equipment operation. …”
Get full text
Article -
522
Facilitating Robot Learning in Virtual Environments: A Deep Reinforcement Learning Framework
Published 2025-04-01“…However, applying DRL for practical robot development in realistic simulators like Webots remains challenging due to limitations in existing frameworks, such as complex dependencies and reliance on unrealistic control paradigms like a ‘supervisor’. …”
Get full text
Article -
523
A facile photonics reconfigurable memristor with dynamically allocated neurons and synapses functions
Published 2025-08-01Get full text
Article -
524
Requirements‐related fault prevention during the transformation from formal specifications to programs
Published 2023-06-01“…The approach works by analysing a specification, decomposing it into specification fragments with different levels like components, determining the correct implementation order among the components, and enabling automated code generation for the components and other low‐level specification fragments. …”
Get full text
Article -
525
Accumulare afflizione. Il tempo, la testimonianza e l’indicibile
Published 2024-12-01“…Tracing how refugee women relate to their own violation experience/trajectories and subjectivity, the article challenges the bureaucratic multiple encounters, showing how this violation is instead an accumulation of suffering. Like many other refugee stories, the story presented shows how the accumulation of suffering navigates inside and outside the social bonds and classifications that the language of state and humanitarian apparatuses struggle to code. …”
Get full text
Article -
526
Représentation pastorale et guérison mélancolique au tournant de la Renaissance : questions de poétique
Published 2003-04-01“…The Shakespearean pastoral, mainly As You Like It, allows the critic to raise the question of the melancholy style, and to question the various ways in which the disease of melancholy and the pastoral code of representation interact, in genres which are not predefined as pastoral. …”
Get full text
Article -
527
STRyper: A macOS application for microsatellite genotyping and chromatogram management.
Published 2025-01-01“…To fill this gap, I have developed STRyper, a macOS application whose source code is published under the General Public License. …”
Get full text
Article -
528
A dataset of US precinct votes allocated to Census geographies with precision
Published 2025-05-01“…Abstract Voting precincts are the finest spatial units for recording U.S. election results, while census geographies, including block groups, census tracts, and ZIP Code Tabulation Areas (ZCTAs), provide administrative data on demographic, economic, health, and environmental factors. …”
Get full text
Article -
529
Analysis of space labeling through binary fingerprinting
Published 2019-08-01“…Our approach can be considered, for example, when we use very small, inexpensive beacons, like those based on bluetooth low energy technology, radio frequency identification, or in the future context of the Internet of Things. …”
Get full text
Article -
530
A simple preprocessing approach for improving semantic segmentation in unsupervised domain adaptation
Published 2025-07-01“…In this work, we propose ProCST, a novel preprocessing framework that translates source images into target-like images while preserving essential semantic content. …”
Get full text
Article -
531
Carbon monoxide poisoning is associated with increased risk of migraine in the long term: a nationwide population-based cohort study
Published 2025-01-01“…ObjectiveCarbon monoxide poisoning can cause migraine-like attacks. However, the association between carbon monoxide poisoning and the risk of migraine has not been thoroughly studied. …”
Get full text
Article -
532
The Effectiveness of Large Language Models in Transforming Unstructured Text to Standardized Formats
Published 2025-01-01“…For further information, source code, and associated resources, please refer to the source code repository (<uri>https://github.com/fiit-ba/text-to-cooklang</uri>).…”
Get full text
Article -
533
-
534
Synthetic spectra of the aurora: N2, N2+, N, N+, O2+ and O emissions
Published 2025-01-01“…In this paper, we simulate auroral emission spectra for a given distribution of precipitating electrons using Transsolo, a kinetic code solving the transport equation of the electrons along the local magnetic field line. …”
Get full text
Article -
535
Polyurethane/Alginate Blends: A Review Account on Preparation, Properties and Applications
Published 2024-06-01Get full text
Article -
536
Programas de Educación Bilingüe en Cantabria: la mediación de las lenguas extranjeras en un nuevo escenario educativo. Bilingual Education Programmes in Cantabria: Foreign Language...
Published 2014-06-01“…(EN) The adoption, generalization and consolidation of bilingual programmes in Cantabria responds to the complete adscription of our Autonomous Community in the Education evolution characteristic of our national, European and international environment. Key documents like the Common European Framework of Reference; powerful tools like the European Language Portfolio; and methodological innovations like Content and Language Integrated Learning assume definitely the new role of foreign languages in general and English in particular as a mediation code to have access to new content and realities…The short history of bilingual programmes in Cantabria is a very significant example of adaptation of the big European decisions into a specific regional context through specific, coherent and highly recognisable Education policy.…”
Get full text
Article -
537
Recurrent myelitis secondary to peripheral nerve root stretching: A case report and review of the literature
Published 2025-05-01“…It is uncommon to observe peripheral or peripheral-like symptoms in patients with recurrent peripheral neuritis and myelitis affecting only the left upper extremity. …”
Get full text
Article -
538
Using multiplexed functional data to reduce variant classification inequities in underrepresented populations
Published 2024-12-01“…Further, essential code analysis showed equitable impact of MAVE evidence codes but inequitable impact of allele frequency (p = 7.47e − 06) and computational predictor (p = 6.92e − 05) evidence codes for individuals of non-European-like genetic ancestry. …”
Get full text
Article -
539
Panoptic Segmentation Method Based on Feature Fusion and Edge Guidance
Published 2025-05-01“…Panoptic segmentation, a pivotal research direction in computer vision, unifies pixel-level object and background recognition within a scene, crucial for applications like autonomous driving. However, existing methods, including State-of-the-Art models like Mask2Former, often exhibit limitations such as inadequate adaptation in multi-scale feature fusion and ambiguous boundary segmentation, particularly for small objects in complex scenes. …”
Get full text
Article -
540
A gyermekáldás mint örömforrás, – vagy szenvedés?2
Published 2015-12-01“…The short history of this issue presents that in ancient East the child was like an asset (for example in Hamurapi Code or Torah), gift of gods. …”
Get full text
Article