Results 211 to 220 of about 204,557 (357)

Syntax in Exegesis [PDF]

, 1972
K.L. McKay
openalex   +1 more source

Perses: Syntax-Guided Program Reduction

International Conference on Software Engineering, 2018
Chengnian Sun, Yuanbo Li, Qirun Zhang, Tianxiao Gu, Z. Su   +4 more
semanticscholar   +1 more source

On the Usability of Reactive Programming APIs: A Mixed Evaluation

Software: Practice and Experience, EarlyView.
ABSTRACT Context Reactive Programming (RP) provides powerful abstractions for managing asynchronous and event‐driven behaviors, but its APIs are often perceived as complex and difficult to use, particularly due to their reliance on functional programming concepts. Objective This study investigates the usability of two prominent JavaScript RP libraries,
Carlos Zimmerle, Kiev Gama
wiley   +1 more source

The Prognostic Role of Residual SYNTAX Score in Older Patients with Acute Coronary Syndrome. [PDF]

Acta Cardiol Sin
Keskin K, Sarılar M, Gürdal A, Sümerkan MÇ, Orhan ZP, Şahin S, Alyan Ö.   +6 more
europepmc   +1 more source

Concurrent Processes and Their Syntax [PDF]

, 1979
George Milne, Robin Milner
openalex   +1 more source

Erving Goffman at 100: A Chameleon Seen as a Rorschach Test within a Kaleidoscope

Symbolic Interaction, EarlyView.
The 100th anniversary of Erving Goffman's birth was in 2022. Drawing on his work, the Goffman archives, the secondary literature, and personal experiences with him and those in his university of Chicago cohort, I reflect on some implications of his work and life, and the inseparable issues of understanding society.
Gary T. Marx
wiley   +1 more source

Association of epicardial fat volume with the severity of coronary artery disease: a preliminary study on risk prediction of obstructive coronary heart disease. [PDF]

BMC Cardiovasc Disord
Zhou H, Pan Y, Du J, Liang F, Ma X, Lv D.   +5 more
europepmc   +1 more source

The Syntax of Place-Names

, 1969
Vivian Zinkin
openalex   +2 more sources

Trust at Your Own Peril: A Mixed Methods Exploration of the Ability of Large Language Models to Generate Expert‐Like Systems Engineering Artifacts and a Characterization of Failure Modes

Systems Engineering, EarlyView.
ABSTRACT Multi‐purpose large language models (LLMs), a subset of generative artificial intelligence (AI), have recently made significant progress. While expectations for LLMs to assist systems engineering (SE) tasks are paramount; the interdisciplinary and complex nature of systems, along with the need to synthesize deep‐domain knowledge and ...
Taylan G. Topcu, Mohammed Husain, Max Ofsa, Paul Wach   +3 more
wiley   +1 more source

Constructing formal models of cryptographic protocols from Alice&Bob style specifications via LLM. [PDF]

Sci Rep
Li Q, Han J, Yuan L, Li X, Wang X.
europepmc   +1 more source