Results 31 to 40 of about 202,825 (266)
Interpolant-Based Transition Relation Approximation [PDF]
Logical Methods in Computer Science, 2007 In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, software model checkers typically use a weak approximation of the image.
Ranjit Jhala, Kenneth L. McMillan
doaj +1 more source
IEEE Access, 2017 Nowadays, remote collaborative learning tools for computer science education mostly emphasize providing learning resources and realizing virtual collaborative learning environment for students.
Qing Ding, Sitan Cao
doaj +1 more source
Development of an Educational Application for Software Engineering Learning
Computers, 2021 Software engineering is a complicated subject for computer engineering students since the explained knowledge and necessary competencies are more related to engineering as a general knowledge area than to computer science.
Antonio Sarasa-Cabezuelo +1 more
doaj +1 more source
On the robustness of generalization of drug–drug interaction models
BMC Bioinformatics, 2021 Background Deep learning methods are a proven commodity in many fields and endeavors. One of these endeavors is predicting the presence of adverse drug–drug interactions (DDIs).
Rogia Kpanou +4 more
doaj +1 more source
SE and CS Collaboration: Training Students for Engineering Large, Complex Systems
JISR Management and Social Sciences & Economics, 2007 Today’s software industry is characterized by fast growth and diversity. To engineer software in such an environment, software engineers are required to work with large teams and handle large complex systems, involving common off-the-shelf components ...
Mohammad Nauman, Muhammad Uzair
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Acute lymphoblastic leukaemia (ALL) is one of the most treatable forms of paediatric cancer; however, there is a substantial burden of treatment‐related toxicities (TRTs). In addition, the long‐term changes in children's health‐related quality of life (HRQoL) due to toxic treatments are not well understood.
Clare Ghows +19 more
wiley +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Introduction This study investigated the safety and efficacy of single‐needle Rheocarna therapy for chronic limb‐threatening ischemia (CLTI) with wounds. Methods Six patients with CLTI involving ulcers unresponsive to revascularization underwent single‐needle Rheocarna treatment.
Yasutaka Yamauchi +9 more
wiley +1 more source
Mathematics, Computer Science, Software Engineering
Electronic Notes in Theoretical Computer Science, 2001 AbstractIn this talk I want to examine three ideas: First, the traditional relationship between a science, the mathematics it uses, and the engineering for which it is the basis. Second, the role of mathematics in the practice of software engineering, which is sometimes called “formal methods.” And finally, the role of theory in computer science, and ...
openaire +1 more source
FEBS Letters, EarlyView.Enteropathogenic E. coli (EPEC) infects the human intestinal epithelium, resulting in severe illness and diarrhoea. In this study, we compared the infection of cancer‐derived cell lines with human organoid‐derived models of the small intestine. We observed a delayed in attachment, inflammation and cell death on primary cells, indicating that host ...
Mastura Neyazi +5 more
wiley +1 more source
Barriers Faced by Women in Software Development Projects
Information, 2019 Computer science is a predominantly male field of study. Women face barriers while trying to insert themselves in the study of computer science. Those barriers extend to when women are exposed to the professional area of computer science. Despite decades
Edna Dias Canedo +4 more
doaj +1 more source