Results 81 to 90 of about 1,260,399 (325)

Software engineering and Ada in design [PDF]

Modern software engineering promises significant reductions in software costs and improvements in software quality. The Ada language is the focus for these software methodology and tool improvements.
Oneill, Don
core   +1 more source

GEANT4 : a simulation toolkit [PDF]

, 2005
Geant4 is a toolkit for simulating the passage of particles through matter. It includes a complete range of functionality including tracking, geometry, physics models and hits.
Agostinelli, S., Allison, J., Amako, K., Apostolakis, J., Araujo, H., Arce, P., Asai, M., Axen, D., Banerjee, S., Barrand, G., Behner, F., Bellagamba, L., Boudreau, J., Broglia, L., Brunengo, A., Burkhardt, H., Chauvie, S., Chuma, J., Chytracek, R., Cooperman, G., Cosmo, G., Degtyarenko, P., Dell'Acqua, A., Depaola, G., Di Salvo, E., Dietrich, D., Enami, R., Feliciello, A., Ferguson, C., Fesefeldt, H., Folger, G., Foppiano, F., Forti, A., Garelli, S., Giani, S., Giannitrapani, R., Gibin, D., González, I., Gracia Abril, G., Greeniaus, G., Greiner, W., Grichine, V., Grossheim, A., Guatelli, S., Gumplinger, P., Gómez Cadenas, J.J., Hamatsu, R., Hashimoto, K., Hasui, H., Heikkinen, A., Howard, A., Ivanchenko, V., Johnson, A., Jones, F.W., Kallenbach, J., Kanaya, N., Kawabata, M., Kawabata, Y., Kawaguti, M., Kelner, S., Kent, P., Kimura, A., Kodama, T., Kokoulin, R., Kossov, M., Kurashige, H., Lamanna, E., Lampén, T., Lara, V., Lefebure, V., Lei, F., Liendl, M., Lockman, W., Longo, F., Magni, S., Maire, M., Medernach, E., Minamimoto, K., Mora De Freitas, P., Morita, Y., Murakami, K., Nagamatu, M., Nartallo, R., Nieminen, P., Nishimura, T., O'Neale, S., Ohtsubo, K., Okamura, M., Oohata, Y., Paech, K., Perl, J., Pfeiffer, A., Pia, M.G., Ranjard, F., Rybin, A., Sadilov, S., Safai Tehrani, E., Santin, G., Sasaki, T., Savvas, N., Sawada, Y., Scherer, S., Sei, S., Sirotenko, V., Smith, D., Starkov, N., Stoecker, H., Sulkimo, J., Takahata, M., Tanaka, S., Tcherniaev, E., Tropeano, M., Truscott, P., Uno, H., Urban, L., Urban, P., Verderi, M., Walkden, A., Wander, W., Weber, H., Wellisch, J.P., Wenaus, T., Williams, D.C., Wright, D., Yamada, T., Yoshida, H., Zschiesche, D.   +126 more
core   +1 more source

Remote Monitoring in Myasthenia Gravis: Exploring Symptom Variability

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Myasthenia gravis (MG) is a rare, autoimmune disorder characterized by fluctuating muscle weakness and potential life‐threatening crises. While continuous specialized care is essential, access barriers often delay timely interventions. To address this, we developed MyaLink, a telemedical platform for MG patients.
Maike Stein, Maximilian Mönch, Meret Herdick, Frauke Stascheit, Sarah Hoffmann, Hannah Preßler, Philipp Mergenthaler, Carla Dusemund, Paolo Doksani, Haoqi Sun, Pushpa Narayanaswami, Andreas Meisel, Lea Gerischer, Sophie Lehnerer   +13 more
wiley   +1 more source

Preconditions and Postconditions as Design Constraints for LLM Code Generation

IEEE Access
Large Language Models (LLMs) have significantly advanced automated code generation, but current methods predominantly rely on natural language descriptions during prompting.
Luke Newcomb, Alexandra Newcomb, Omar Ochoa   +2 more
doaj   +1 more source

A Language for the Description of Program Instrumentation and Automatic Generation of Instrumenters

CLEI Electronic Journal, 2018
Instrumentation is a technique frequently used in software engineering for several different purposes, e.g. program and/or specification execution trace, testing criteria coverage analy- sis, and reverse engineering.
Adenilso S. Simao, Auri M. R. Vincenzi, Antonio C. L. Santana, Jose C. Maldonado   +3 more
doaj   +1 more source

AR2B: FORMALIZATION OF ARABIC TEXTS WITH EVENT-B

Jordanian Journal of Computers and Information Technology, 2020
Transforming natural software requirements into a more formal specification is difficult and may be an excellent application for natural language processing. This problem is not recent.
Kheira-Zineb Bousmaha Ossoukine, Lamia Belguith Hadrich   +1 more
doaj   +1 more source

Development of a comprehensive software engineering environment [PDF]

The generation of a set of tools for software lifecycle is a recurring theme in the software engineering literature. The development of such tools and their integration into a software development environment is a difficult task because of the magnitude (
Hartrum, Thomas C., Lamont, Gary B.
core   +1 more source

Remote Assessment of Ataxia Severity in SCA3 Across Multiple Centers and Time Points

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Spinocerebellar ataxia type 3 (SCA3) is a genetically defined ataxia. The Scale for Assessment and Rating of Ataxia (SARA) is a clinician‐reported outcome that measures ataxia severity at a single time point. In its standard application, SARA fails to capture short‐term fluctuations, limiting its sensitivity in trials.
Marcus Grobe‐Einsler, Vivian Maas, Arian Taheri Amin, Jennifer Faber, Tamara Schaprian, Katharina Hill, Matthis Synofzik, Lisa H. Graf, Heike Jacobi, Manuela Lima, Ana F. Ferreira, Bart P. van de Warrenburg, Ilse H. J. Willemse, Dagmar Timmann, Andreas Thieme, Paola Giunti, Hector Garcia‐Moreno, Magda M. Santana, Jeannette Hübener‐Schmid, Elin H. Davies, Thomas Klockgether   +20 more
wiley   +1 more source

Teaching Software Development to Non-Software Engineering Students [PDF]

This paper argues that although the object-oriented programming (OOP) paradigm is appropriate for students taking programming modules on Higher Education (HE) software engineering course, this paradigm is not as relevant for students from other courses ...
Colvin, John
core  

Value of MRI Outcomes for Preventive and Early‐Stage Trials in Spinocerebellar Ataxias 1 and 3

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To examine the value of MRI outcomes as endpoints for preventive and early‐stage trials of two polyglutamine spinocerebellar ataxias (SCAs). Methods A cohort of 100 participants (23 SCA1, 63 SCA3, median Scale for the Assessment and Rating of Ataxia (SARA) score = 5, 42% preataxic, and 14 gene‐negative controls) was scanned at 3T up ...
Thiago J. R. Rezende, Emilien Petit, Young Woo Park, Sophie Tezenas du Montcel, James M. Joers, Jonathan M. DuBois, H. Moore Arnold, Michal Povazan, Ipek Özdemir, Guita Banan, Romain Valabregue, Philipp Ehses, Jennifer Faber, Chiadi U. Onyike, Peter B. Barker, Jeremy D. Schmahmann, Eva‐Maria Ratai, Sub H. Subramony, Thomas H. Mareci, Khalaf O. Bushara, Henry Paulson, Thomas Klockgether, Alexandra Durr, Tetsuo Ashizawa, Christophe Lenglet, Gülin Öz, READISCA Investigators   +26 more
wiley   +1 more source