Results 11 to 20 of about 27,419 (227)
Introduction to Computer-Aided Learning [PDF]
, 2020 In modern times, technology has taken on a dominant role in many aspects of human life, and computeraided learning (CAL) is an educational tool that makes learning easier. By employing user interface (UI) design it is easy for students to access learning
L. K. Pulasthi Dhananjaya Gunawardhana
core +2 more sources
Computer‐based laboratory simulation: Evaluations of student perceptions [PDF]
, 1996 Providing resources to meet the needs of oil workers who miss blocks of an engineering course was the motivation for producing computer‐based simulations of laboratory equipment. This paper reports on student perceptions of various aspects of the package.
Edward, Norrie, Norrie S. Edward
core +1 more source
Feelings of Being for Mobile User Experience Design [PDF]
, 2023 | openaire: EC/H2020/856602/EU//FINEST TWINSCreating emotionally engaging mobile applications requires consideration of constantly evolving technology, content richness, usability, and user experience (UX).
Nieminen, Marko +2 more
core +1 more source
Applications of real number theorem proving in PVS [PDF]
, 2012 This work is supported by funding from the EPSRC under grants EP/H500162, EP/F02309X and GR/S31242Real number theorem proving has many uses, particularly for verification of safety critical systems and systems for which design errors may be costly.
Martin, Ursula +7 more
core +1 more source
Understanding cognitive activities in parametric design [PDF]
, 2013 Parametric design offers a new paradigm in the field of Computer-Aided Design; a paradigm focused on the potential for producing design variations. However, despite this potential, the cognitive activities associated with parametric design are not well ...
Julie Jupp +11 more
core +1 more source
Merging enriched Finite Element triangle meshes for fast prototyping of alternate solutions in the context of industrial maintenance [PDF]
, 2010 A new approach to the merging of Finite Element (FE) triangle meshes is proposed. Not only it takes into account the geometric aspects, but it also considers the way the semantic information possibly associated to the groups of entities (nodes, faces ...
PERNOT, Jean-Philippe +3 more
core +1 more source
Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, FMCAD 2025 [PDF]
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification.
Formal Methods in Computer Aided Design
core +2 more sources
Self-Parameterization Based Multi-Resolution Mesh Convolution Networks [PDF]
, 2023 This paper addresses the challenges of designing mesh convolution neural networks for 3D mesh dense prediction. While deep learning has achieved remarkable success in image dense prediction tasks, directly applying or extending these methods to irregular
Hezi Shi +7 more
core +1 more source
FEBS Letters, EarlyView.Fluorescent probes allow dynamic visualization of phosphoinositides in living cells (left), whereas mass spectrometry provides high‐sensitivity, isomer‐resolved quantitation (right). Their synergistic use captures complementary aspects of lipid signaling. This review illustrates how these approaches reveal the spatiotemporal regulation and quantitative
Hiroaki Kajiho +3 more
wiley +1 more source
FEBS Letters, EarlyView.We reconstituted Synechocystis glycogen synthesis in vitro from purified enzymes and showed that two GlgA isoenzymes produce glycogen with different architectures: GlgA1 yields denser, highly branched glycogen, whereas GlgA2 synthesizes longer, less‐branched chains.
Kenric Lee +3 more
wiley +1 more source