Results 51 to 60 of about 13,380 (311)

A Fresh Look at Novice Programmers’ Performance and Their Teachers’ Expectations [PDF]

, 2013
This paper describes the results of an ITiCSE working group convened in 2013 to review and revisit the influential ITiCSE 2001 McCracken working group that reported [18] on novice programmers' ability to solve a specified programming problem.
Bouvier, Dennis, Kolikant, Yifat Ben-David, McCracken, Mike, Sorva, Juha, Thomas, Lynda, Caspersen, Michael, Yifat Ben-David Kolikant, Ben-David Kolikant , Yfat, Paterson, James, Elliott Tew, Alison, Elliott Tew, Allison, Tadeusz Wilusz, Paterson, James; id_orcid, Mike McCracken, Dennis Bouvier, Ian Utting, Lynda Thomas, Wilusz, Tadeusz, Allison Elliott Tew, James Paterson, Michael Caspersen, Roger Frye, Utting, Ian, Frye, Roger, Juha Sorva   +24 more
core   +1 more source

Spatiotemporal and quantitative analyses of phosphoinositides – fluorescent probe—and mass spectrometry‐based approaches

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, Shin Morioka, Junko Sasaki, Takehiko Sasaki   +3 more
wiley   +1 more source

About Algebraic Program Models with Procedures

Modeling and Analysis of Information Systems, 2013
Algebraic program models with procedures are designed to analyze program semantic properties on their models called program schemes. The concepts that give foundation to the theory of such models are stated along with a description of their implementation.
R. I. Podlovchenko, A. E. Molchanov
openaire   +4 more sources

Organ‐specific redox imbalances in spinal muscular atrophy mice are partially rescued by SMN antisense oligonucleotides

FEBS Letters, EarlyView.
We identified a systemic, progressive loss of protein S‐glutathionylation—detected by nonreducing western blotting—alongside dysregulation of glutathione‐cycle enzymes in both neuronal and peripheral tissues of Taiwanese SMA mice. These alterations were partially rescued by SMN antisense oligonucleotide therapy, revealing persistent redox imbalance as ...
Sofia Vrettou, Brunhilde Wirth
wiley   +1 more source

Transferrin receptor 1‐mediated iron uptake supports thermogenic activation in human cervical‐derived adipocytes

FEBS Letters, EarlyView.
In this study, we found that human cervical‐derived adipocytes maintain intracellular iron level by regulating the expression of iron transport‐related proteins during adrenergic stimulation. Melanotransferrin is predicted to interact with transferrin receptor 1 based on in silico analysis.
Rahaf Alrifai, Mizuki Seo, Gyath Karadsheh, Fachrur Rizal Mahendra, Máté Á Demény, Ferenc Győry, János András Mótyán, László Fésüs, Endre Kristóf, Rini Arianti   +9 more
wiley   +1 more source

Knowledge restructing and the development of expertise in computer programming [PDF]

, 1992
This thesis reports a number of empirical studies exploring the development of expertise in computer programming. Experiments 1 and 2 are concerned with the way in which the possession of design experience can influence the perception and use of cues to ...
Davies, Simon P.
core  

Peri-procedural management of patients with cardiac implantable electrical devices. Guidelines by the Working Group on Cardiac Arrhythmias and Pacing of the Hungarian Society of Cardiology for anaesthesiologists and for professionals in surgical fields and emergency care

Cardiologia Hungarica
The peri-procedural management of the increasing number of patients living with cardiac implantable electronic devices (such as pacemakers or implantable cardioverter-defibrillators) presents a growing burden for electrophysiologists, anesthesiologists ...
Gábor Sándorfi, Márton Miklós, Annamária Kosztin, István Osztheimer, Nándor Szegedi, Péter Kupó, Gábor Zoltán Duray, Előd János Zsigmond, László Gellér, Csaba Földesi, Endre Zima, Vámos Máté   +11 more
doaj   +1 more source

A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING

International Journal of Foundations of Computer Science, 2004
In this paper, we propose a new resolution proof procedure for the branching-time logic programming language Cactus. The particular strength of the new proof procedure, called CSLD-resolution, is that it can handle, in a more general way, open-ended queries, i.e.
Gergatsoulis, M., Nomikos, C.
openaire   +2 more sources

Tau acetylation at K331 has limited impact on tau pathology in vivo

FEBS Letters, EarlyView.
We mapped tau post‐translational modifications in humanized MAPT knock‐in mice and in amyloid‐bearing double knock‐in mice. Acetylation within the repeat domain, particularly around K331, showed modest increases under amyloid pathology. To test functional relevance, we generated MAPTK331Q knock‐in mice.
Shoko Hashimoto, Yukio Matsuba, Mika Takahashi, Takaomi C. Saido   +3 more
wiley   +1 more source

Relational and Object-Oriented Methodology in Data Bases Systems [PDF]

Informatică economică, 2006
Database programming languages integrate concepts of databases and programming languages to provide both implementation tools for data-intensive applications and high-level user interfaces to databases.
Marian Pompiliu CRISTESCU, Gabriel SOFONEA, Eugen COJOCARIU   +2 more
doaj