Search Results - "Bodden, E."
-
1
Automated API Property Inference Techniques
Published in IEEE transactions on software engineering (01-05-2013)“…Frameworks and libraries offer reusable and customizable functionality through Application Programming Interfaces (APIs). Correctly using large and…”
Get full text
Journal Article -
2
Acute, Non-Specific Low Back Pain Does Not Impair Isometric Deadlift Force or Electromyographic Excitation: A Cross-Sectional Study
Published in Sports (Basel) (31-10-2022)“…Low back pain (LBP) is a leading cause of disability. The use of deadlift-based assessments in assessing LBP is becoming common in clinical settings, but these…”
Get full text
Journal Article -
3
Affective and cognitive theory of mind in patients with parkinson’s disease
Published in Parkinsonism & related disorders (01-08-2010)“…Abstract Theory of Mind (ToM), which is the ability to infer other people’s mental states such as beliefs or desires, is an important prerequisite for social…”
Get full text
Journal Article -
4
Comparing the neural correlates of affective and cognitive theory of mind using fMRI: Involvement of the basal ganglia in affective theory of mind
Published in Advances in cognitive psychology (2013)“…Theory of Mind (ToM) is the ability to infer other people's mental states like intentions or desires. ToM can be differentiated into affective (i.e.,…”
Get full text
Journal Article -
5
Comparing the neural correlates of affective and cognitive theory of mind using fMRI: Involvement of the basal ganglia in affective theory of mind
Published in Advances in cognitive psychology (31-03-2013)“…Theory of Mind (ToM) is the ability to infer other people's mental states like intentions or desires. ToM can be differentiated into affective (i.e.,…”
Get full text
Journal Article -
6
Efficient hybrid typestate analysis by determining continuation-equivalent states
Published in 2010 ACM/IEEE 32nd International Conference on Software Engineering (01-05-2010)“…Typestate analysis determines whether a program violates a set of finite-state properties. Because the typestate-analysis problem is statically undecidable,…”
Get full text
Conference Proceeding -
7
Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders
Published in 2011 33rd International Conference on Software Engineering (ICSE) (21-05-2011)“…Static program analyses and transformations for Java face many problems when analyzing programs that use reflection or custom class loaders: How can a static…”
Get full text
Conference Proceeding -
8
Collaborative Runtime Verification with Tracematches
Published in Journal of logic and computation (01-06-2010)“…Perfect pre-deployment test coverage is notoriously difficult to achieve for large applications. Given enough end users, however, many more test cases will be…”
Get full text
Journal Article -
9
Intestinal perforation: an infrequent complication during insertion of tension-free vaginal tape
Published in The Journal of urology (01-10-2004)Get more information
Journal Article -
10
Quantitative determination of glycosphingolipids illustrated by using erythrocyte membranes of various mammalian species [Rat, pig]
Published in European journal of biochemistry (01-09-1977)“…A procedure for the quantitative determination of glycosphingolipids is described, involving extraction of total lipids, fractionation on a column, acid…”
Get full text
Journal Article -
11
Effective API navigation and reuse
Published in 2010 IEEE International Conference on Information Reuse & Integration (01-08-2010)“…Most reuse libraries come with few source-code examples that demonstrate how the library at hand should be used. We have developed a source-code recommendation…”
Get full text
Conference Proceeding -
12
Ambulatory care: France, Federal Republic of Germany, and United States
Published in Vital and health statistics. Series 5. Comparative international vital and health statistics reports (01-06-1989)“…This study describes the results of a comparison of ambulatory medical care data for France, the Federal Republic of Germany (FRG), and the United States of…”
Get more information
Journal Article -
13
NOTES AND NEWS ITEMS
Published in The Bulletin of the National Tax Association (01-06-1919)Get full text
Journal Article -
14
Quantitative determination of glyceride-glycerin in cattle and swine serum
Published in Zentralblatt für Veterinärmedizin. Reihe A (01-03-1976)Get more information
Journal Article -
15
Frequency of medical consultation as reflected in 2 representative surveys: DHP-Survey and EVaS-Study (German Cardiovascular Disease Prevention and Survey of Ambulatory Care)
Published in Das öffentliche Gesundheitswesen (01-05-1991)“…The frequency of patient-doctor contacts in outpatient care is determined via two representative inquiries supplying complementary perspectives. They concern,…”
Get more information
Journal Article