Results 121 to 130 of about 109,966 (284)
Model-based testing of Internet Mail Protocols
Труды Института системного программирования РАН, 2018 The paper discusses model-based testing of the modern Internet e-mail protocols, including the method of protocol modeling by means of formal notations, peculiarities of e-mail protocols in the context of testing.
N. V. Pakulin, A. N. Tugaenko
doaj
An Investigation into Misuse of Java Security APIs by Large Language Models
Proceedings of the 19th ACM Asia Conference on Computer and Communications SecurityThis paper has been accepted by ACM ASIACCS ...
Zahra Mousavi +4 more
openaire +2 more sources
International Journal of Gynecology &Obstetrics, EarlyView.Abstract Intrauterine insemination (IUI) is a widely used first‐line fertility treatment, yet its success rates vary considerably. This review synthesizes evidence from peer‐reviewed studies published between 2000 and 2024, including randomized controlled trials, cohort and case–control studies, as well as systematic and narrative reviews identified ...
Kasuni Akalanka
wiley +1 more source
SoftwareXWe present a new tool called RIPN, implemented in Java programming language, that enables the development of cyber-physical systems by integrating interpreted Petri nets and teleo-reactive programs.
Pedro Sánchez +3 more
doaj +1 more source
Journal of Organizational Behavior, EarlyView.ABSTRACT Although contextual factors have been shown to facilitate ethical voice, research on team‐level antecedents that may inhibit it has been limited. Drawing on self‐verification theory, we develop a multilevel moderation–mediation model that examines how team ethical conflict inhibits individual ethical voice. Ethical self‐verification perception
Yilin Xiang, Lu Chen
wiley +1 more source
A logic for the Java modeling language JML
, 2000 17 p.
Jacobs, B.P.F., Poll, E.
openaire +1 more source
From Niche to Mainstream: A Knowledge Exchange Model for Sustainable Housing Adoption
Knowledge and Process Management, EarlyView.ABSTRACT As climate change intensifies the demand for sustainable practices, the residential housing sector remains a critical yet underutilized area for promoting energy efficiency. Although consumer awareness is increasing, sustainable and energy‐efficient (SEE) housing continues to occupy a niche market.
Lianne Foti
wiley +1 more source
Genetic and Pathological Testing Attitudes for Parkinson's Disease in At‐Risk Relatives
Movement Disorders Clinical Practice, EarlyView.Abstract Background Parkinson's disease (PD) is increasingly recognized as a neurodegenerative disorder with a broad clinical spectrum and diverse biomarkers enabling early detection. α‐synuclein seed amplification assays (SAA) and genetic testing now allow identification of PD pathology in asymptomatic individuals.
Tal Weil +5 more
wiley +1 more source
Missense Variants in the A Isoform of FGF13 as a Novel Cause of Paroxysmal Dyskinesia
Movement Disorders, EarlyView.Abstract Background Pathogenic variants within the unique N‐terminal inactivation particle of FGF13 isoform A (FGF13A) have so far been associated only with an X‐linked dominant epileptic encephalopathy (DEE). Objective The aim was to expand the clinical and molecular spectrum of FGF13A‐related disorder.
Cyril Mignot +22 more
wiley +1 more source
A Graphical User Interface for R in a Rich Client Platform for Ecological Modeling
Journal of Statistical Software, 2012 For many ecological analyses powerful statistical tools are required for a profound analysis of spatial and time based data sets. In order to avoid many common errors of analysis and data acquisition a graphical user interface can help to focus on the ...
Wofram Beyschlag, Marcel Austenfeld
doaj