Home
|
Learning Center
|
中文版
Publications
站内成果搜索:
搜索
Abstraction of mid-surfaces from solid models of thin-walled parts: A divide-and-conquer approach
Abstract picture generation and zooming user interface for intuitive music browsing
Abstract rule neurons in the endbrain support intelligent behaviour in corvid songbirds
Abstraction over implementation structure with symmetrically encapsulated multimethods
Abstract Korovkin-type theorems in modular spaces and applications
Abstract convexity of topical functions
Abstract argumentation and explanation applied to scientific debates
Abstinence after First Acute Alcohol-Associated Pancreatitis Protects Against Recurrent Pancreatitis and Minimizes the Risk of Pancreatic Dysfunction
Abstract convexity of radiant functions with applications
Abstraction and Idealization in the Formal Verification of Software Systems
Abstract Effects and Proof-Relevant Logical Relations
Abstract concept formation in African grey parrots (Psittacus erithacus) on the basis of a low number of cues
Abstract convexity of extended real-valued ICR functions
Abstracting the interaction of web services using IMWSC
Abstract modeling formalisms in software model checking
Abstracts of Original Contributions ASNC2015 The 20th Annual Scientific Session of the American Society of Nuclear Cardiology (vol 22, pg 744, 2015)
Abstinence or maintenance treatment in substance use disorders?
Abstract sectional category in model structures on topological spaces
Abstracting Gradual Typing
Abstraction Refinement Guided by a Learnt Probabilistic Model
Abstract linear partial differential equations related to size-structured population models with diffusion
Abstract Swiss cheese space and classicalisation of Swiss cheeses
Abstract Cauchy problem for weakly continuous operators
Abstract representation theory of Dynkin quivers of type A
Abstract topological Ramsey theory for nets
Abstract delta modelling
Abstract loop equations, topological recursion and new applications
Abstract convex approximations of nonsmooth functions
Abstracts From the Proceedings of the 2014 Annual Meeting of the Clerkship Directors of Internal Medicine (CDIM)
Abstracting meaning from complex information (gist reasoning) in adult traumatic brain injury
Abstract commensurators of lattices in Lie groups
Abstinence and relapse among smokers who use varenicline in a quit attempta pooled analysis of randomized controlled trials
Abstract extrapolation theorems for absolutely summing nonlinear operators
Abstract gringo
Abstract Representations of Associated Emotions in the Human Brain
Abstracts from the 2014 American Academy of Oral Medicine meeting (vol 117, pg e334, 2014)
Abstracts of the scientific communications presented at the 19th Congres de Pneumologie de Langue Francaise. January 30-February 1, 2015, Lille (France) (vol 32, pg A1, 2015)
Abstract-concept learning of difference in pigeons
Abstraction/Representation Theory for heterotic physical computing
Abstract categories of functions in anterior parietal lobe
Abstract Word Definition in Patients with Amnestic Mild Cognitive Impairment
Abstract Context Representations in Primate Amygdala and Prefrontal Cortex
Abstracts presented at the Association of British Neurologists: what becomes of them and what is their impact?
Abstraction networks for terminologies: Supporting management of "big knowledge"
Abstracting the principles of development using imaging and modeling
Abstract 066: Safety and Long Term Outcomes of Using Beta Blockers After Heart Transplantation (vol 21, pg S37, 2015)
Abstracts From the Proceedings of the 2013 Annual Meeting of the Council on Resident Education in Obstetrics and Gynecology (CREOG) and Association of Professors of Gynecology and Obstetrics (APGO) (vol 26, pg 431, 2014)
Abstract Explanations in Science
Abstraction and approximation in fuzzy temporal logics and models
Abstracting Sequences: Reasoning That Is a Key to Academic Achievement
Abstinence and current or former alcohol use as predictors of disability retirement in Finland
Abstracts on the 15th Conference of GDCh Division for Solid State Chemistry and Material Research
Abstraction-based verification of codiagnosability for discrete event systems
Abstract limit J-spaces
Abstinence-only education modestly delays initiation of sexual activity
Abstraction and Activity in Computer-Mediated Music Production
Abstinence Versus Harm Reduction: Considering Follow-up and Aftercare in First Nations Addictions Treatment
Abstracts from the 4th Annual Canadian Neuromodulation Society Meeting June 4-6, 2010 Quebec City, Quebec, Canada Abstracts
Abstract representation theorems for demonic refinement algebras
Abstract interpretation based verification of temporal properties for BioAmbients
Abstract Parsing for Two-staged Languages with Concatenation
Abstracts for the Forthcoming International Federation of Placenta Associations Meeting (vol 30, pg A1, 2009)
Abstract Differential and Difference Equations
Abstract mathematics should be added to the pre-medical curriculum
Abstraction for concurrent objects
Abstract Elementary Classes with Lowenheim-Skolem Number Cofinal with omega
Abstinence-dependent transfer of lithium chloride-induced sucrose aversion to a sucrose-paired cue in rats
Abstract deduction and inferential models for type theory
Abstract Results on the Finite Extinction Time Property: Application to a Singular Parabolic Equation
Abstract Hardy-Sobolev spaces and interpolation
Abstracts From the Proceedings of the 2015 Annual Meeting of the Clerkship Directors of Internal Medicine (CDIM)
Abstract Theory of Pointwise Decay with Applications to Wave and Schrodinger Equations
Abstract framework for the theory of statistical solutions
Abstract linguistic structure correlates with temporal activity during naturalistic comprehension
Abstinence From Drug Dependence After Bilateral Globus Pallidus Hypoxic-Ischemic Injury
Abstinence at Successful Discharge in Publicly Funded Addiction Health Services
Abstracts of Platform Presentations at the 2016 Combined Sections Meeting Abstracts
Abstinence Reinforcement Therapy (ART) for rural veterans: Methodology for an mHealth smoking cessation intervention
Abstract Concavity of Increasing Co-radiant and Quasi-Concave Functions with Applications in Mathematical Economics
Abstinence expectancies and quit attempts
Abstract and Effector-Selective Decision Signals Exhibit Qualitatively Distinct Dynamics before Delayed Perceptual Reports
Abstinence Funding Was Not Associated With Reductions In HIV Risk Behavior In Sub-Saharan Africa
Abstraction Reconceived