Search

Your search keyword '"Maher, Michael J."' showing total 455 results
Start Over Author "Maher, Michael J."

Refine your results

more »

more »

more »

more »
455 results on '"Maher, Michael J."'

201. On inductive inference of cyclic structures

Author

Maher, Michael J. and Stuckey, Peter J.

Abstract

We examine the problem of inductive inference in the domain of pointer-based data structures. We show how these data structures can be formalized as rational trees. Our main technical results concern the expressiveness of a language of rational term expressions. These results place limitations on techniques of inductive inference for this description language. The results are also relevant to implementation of negation in logic programming languages.

Published
1995
Full Text
View/download PDF

202. Projecting CLPR constraints

Author

Jaffar, Joxan, Maher, Michael J., Stuckey, Peter J., and Yap, Roland H. C.

Abstract

The presentation of constraints in a usable form is an essential aspect of Constraint Logic Programming (CLP) systems. It is needed both in the output of constraints, as well as in the production of an internal representation of constraints for meta-level manipulation. Typically, only a small subsetof the variables in constraints is of interest, and so an informal statement of the problem at hand is: given a conjunctionof constraints, express the projectionofcontoin the simplest form.

Published
1993
Full Text
View/download PDF

203. Deja Vu in Fixpoints of Logic Programs

Author

Maher, Michael J and Ramakrishnan, Raghu

Abstract

We investigate properties of logic programs that permit refinements in their fixpoint evaluation and shed light on the choice of control strategy. A fundamental aspect of a bottom-up computation is that we must constantly check to see if the fixpoint has been reached. If the computation iteratively applies all rules, bottom-up, until the fixpoint is reached, this amounts to checking if any new facts were produced after each iteration. Such a check also enhances efficiency in that duplicate facts needs not be re-used in subsequent interations, if we use the Seminaive fixpoint evaluation strategy. However, the cost of this check is a significant component of the cost of bottom-up fixpoint evaluation, and for many programs the full check is unnecessary. We identify properties of programs that enable us to infer that a much simpler check (namely, whether any fact was produced in the previous iteration) suffices. While it is in general undecidable whether a given program has these properties, we develop techniques to test sufficient conditions, and we illustrate these techniques on some simple programs that have these properties.

Published
1989

221. Service pact wins one in state capital.

Author

Maher, Michael J.

Abstract

Focuses on the efforts of the Building Owners and Managers Association to persuade the government to exempt all labor and labor-related costs involving interior office building cleaning services from the 1991 Tax Act. Forming of the Alliance to Save Jobs with other industries; Implementation of the Tax Reduction Act of 1994.

Published
1994

223. Polarity-Switching Top Coats Enable Orientation of Sub-10-nm Block Copolymer Domains.

Author

Bates, Christopher M., Seshimo, Takehiro, Maher, Michael J., Durand, William J., Cushen, Julia D., Dean, Leon M., Blachut, Gregory, Ellison, Christopher J., and Willson, C. Grant

Subjects
*BLOCK copolymers, *CHEMICAL synthesis, *MOLECULAR self-assembly, *POLARITY (Chemistry), *INTERFACIAL stresses, *SURFACE coatings, *MALEIC anhydride, *SURFACE energy, *ORIENTATION (Chemistry), *THIN films
Abstract

The article describes the self-assembly of block copolymers (BCPs) into domains smaller than 10 nanometers, with particular focus on a process of spin-coating BCP films with polarity-switching top coats to account for varying interfacial energies of the blocks. The top coat containing maleic anhydride in spin-coated in its aqueous acid salt form, but switches polarity after baking to create a BCP neutral layer. Topics include thermal annealing of coated block copolymers poly(styrene-block-trimethylsilylstyrene-block-styrene) and poly(trimethylsilylstyrene-block-lactide, orientation free energy, and surface energy of the top coat.

Published
2012
Full Text
View/download PDF

224. Patient Adherence Predicts Outcome From Cognitive Behavioral Therapy in Obsessive-Compulsive Disorder.

Author

Simpson, Helen Blair, Yuanjia Wang, Maher, Michael J., Yuanyuan Bao, Foa, Edna B., and Franklin, Martin

Subjects
*COGNITIVE therapy, *OBSESSIVE-compulsive disorder, *HEALTH outcome assessment, *BEHAVIOR therapy, *PATIENT compliance
Abstract

Objective: To examine the effects of patient adherence on outcome from exposure and response prevention (EX/RP) therapy in adults with obsessive-compulsive disorder (OCD). Method: Thirty adults with OCD were randomized to EX/RP (n 15) or EX/RP augmented by motivational interviewing strategies (n = 15). Both treatments included 3 introductory sessions and 15 exposure sessions. Because there were no significant group differences in adherence or outcome, the groups were combined to examine the effects of patient adherence on outcome. Independent evaluators assessed OCD severity using the Yale-Brown Obsessive Compulsive Scale. Therapists assessed patient adherence to between- session EX/RP assignments at each session using the Patient EXIRP Adherence Scale (PEAS). Linear regression models were used to examine the effects of PEAS scores on Outcome, adjusting for baseline severity. The relationship between patient adherence and other predictors of outcome was explored using structural equation modeling. Results: Higher average PEAS ratings significantly predicted lower posttreatment OCD severity in intent-to-treat and completer samples. PEAS ratings in early sessions (5-9) also significantly predicted posttreatment OCD severity. The effects of other significant predictors of outcome in this sample (baseline OCD severity, hoarding subtype, and working alliance) were fully mediated by patient adherence. Conclusions: Patient adherence to between-session EX/RP assignments significantly predicted treatment outcome, as did early patient adherence and change in early adherence. Patient adherence mediated the effects of other predictors of outcome. Future research should develop interventions that increase adherence and then test whether increasing adherence improves outcome. If effective, these interventions could then be used to personalize care. [ABSTRACT FROM AUTHOR]

Published
2011
Full Text
View/download PDF

225. Challenges using motivational interviewing as an adjunct to exposure therapy for obsessive-compulsive disorder

Author

Simpson, Helen Blair, Zuckoff, Allan M., Maher, Michael J., Page, Jessica R., Franklin, Martin E., Foa, Edna B., Schmidt, Andrew B., and Wang, Yuanjia

Subjects
*MOTIVATIONAL interviewing, *EXPOSURE therapy, *MENTAL health services, *OBSESSIVE-compulsive disorder, *TREATMENT effectiveness, *SYMPTOMS, *QUALITY of life, *MEDICAL care
Abstract

Abstract: Exposure and response prevention (EX/RP) is an efficacious treatment for obsessive-compulsive disorder (OCD). However, patients often do not adhere fully to EX/RP procedures. Motivational interviewing (MI) has been shown to improve treatment adherence in other disorders. This pilot study used a randomized controlled design to examine whether MI can be successfully added to EX/RP and whether this intervention (EX/RP+MI) could improve patient adherence to between-session EX/RP procedures relative to EX/RP alone. Thirty adults with OCD were randomized to 18 sessions of EX/RP or EX/RP+MI. Therapists rated patient adherence at each exposure session. Independent evaluators assessed change in OCD and depressive symptoms, and patients completed self-report measures of readiness for change and quality of life. The two treatment conditions differed in degree of congruence with MI but not in conduct of EX/RP procedures. Both groups experienced clinically significant improvement in OCD symptoms, without significant group differences in patient adherence. There are several possible reasons why EX/RP+MI had no effect on patient adherence compared to standard EX/RP, each of which has important implications for the design of future MI studies in OCD. We recommend that MI be further evaluated in OCD by exploring alternative modes of delivery and by focusing on patients less ready for change than the current sample. [ABSTRACT FROM AUTHOR]

Published
2010
Full Text
View/download PDF

226. From Medicine to Teaching: The Evolution of the Simulated Interaction Model.

Author

Dotger, Benjamin H., Dotger, Sharon C., and Maher, Michael J.

Subjects
*MEDICAL education, *MEDICAL schools, *PARENT-teacher relationships, *MEDICAL personnel, *PARAPROFESSIONALS, *TEACHERS' assistants, *EDUCATIONAL leadership, *EDUCATIONAL programs, *MANUSCRIPTS
Abstract

Medical education institutions frequently simulate interactions between future health professionals and standardized patients. This manuscript describes a partnership between a teacher preparation institution and a nearby medical institution, outlining specific procedures associated with the use of standardized parents, students, and paraprofessionals in helping future teachers and school leaders navigate common problems of practice. Implications center on the potential of this pedagogy to help bridge the gap between teacher preparation and practice as well as the applicability of this pedagogical approach to other higher education professional preparation programs. [ABSTRACT FROM AUTHOR]

Published
2010
Full Text
View/download PDF

228. A Simple Theory of Expressions, Judgments and Derivations

Author

Sato, Masahiko, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Maher, Michael J., editor

Published
2005
Full Text
View/download PDF

229. Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models (Summary)

Author

Saraswat, Vijay, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Maher, Michael J., editor

Published
2005
Full Text
View/download PDF

230. On the BDD of a Random Boolean Function

Author

Vuillemin, Jean, Béal, Fredéric, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Maher, Michael J., editor

Published
2005
Full Text
View/download PDF

231. The Feature Selection and Intrusion Detection Problems

Author

Sung, Andrew H., Mukkamala, Srinivas, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Maher, Michael J., editor

Published
2005
Full Text
View/download PDF

232. Reactive Framework for Resource Aware Distributed Computing

Author

Gupta, Rajesh, Shyamasundar, R. K., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Maher, Michael J., editor

Published
2005
Full Text
View/download PDF

233. Metadata Inference for Document Retrieval in a Distributed Repository

Author

Rigaux, P., Spyratos, N., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Maher, Michael J., editor

Published
2005
Full Text
View/download PDF

234. A Framework for Compiler Driven Design Space Exploration for Embedded System Customization

Author

Palem, Krishna V., Chakrapani, Lakshmi N., Yalamanchili, Sudhakar, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Maher, Michael J., editor

Published
2005
Full Text
View/download PDF

235. Rule-Based Programming and Proving: The ELAN Experience Outcomes

Author

Kirchner, Claude, Kirchner, Hélène, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Maher, Michael J., editor

Published
2005
Full Text
View/download PDF

236. Minimal Unsatisfiable Sets: Classification and Bounds

Author

Dasgupta, Sudeshna, Chandru, Vijay, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Maher, Michael J., editor

Published
2005
Full Text
View/download PDF

237. Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction

Author

Cabeza, Daniel, Hermenegildo, Manuel, Lipton, James, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Maher, Michael J., editor

Published
2005
Full Text
View/download PDF

238. Optimal Constraint Decomposition for Distributed Databases

Author

Brodsky, Alexander, Kerschberg, Larry, Varas, Samuel, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Maher, Michael J., editor

Published
2005
Full Text
View/download PDF

239. Towards Flexible Graphical Communication Using Adaptive Diagrams

Author

Marriott, Kim, Meyer, Bernd, Stuckey, Peter J., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Maher, Michael J., editor

Published
2005
Full Text
View/download PDF

240. Learnability of Simply-Moded Logic Programs from Entailment

Author

Rao, M. R. K. Krishna, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Maher, Michael J., editor

Published
2005
Full Text
View/download PDF

241. Online Stochastic and Robust Optimization

Author

Bent, Russell, Van Hentenryck, Pascal, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Maher, Michael J., editor

Published
2005
Full Text
View/download PDF

242. Spectral-Based Document Retrieval

Author

Ramamohanarao, Kotagiri, Park, Laurence A. F., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Maher, Michael J., editor

Published
2005
Full Text
View/download PDF

243. Graph Theoretic Models for Reasoning About Time

Author

Golumbic, Martin Charles, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Maher, Michael J., editor

Published
2005
Full Text
View/download PDF

244. Adaptive Random Testing

Author

Chen, T. Y., Leung, H., Mak, I. K., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Maher, Michael J., editor

Published
2005
Full Text
View/download PDF

245. LPOD Answer Sets and Nash Equilibria

Author

Foo, Norman, Meyer, Thomas, Brewka, Gerhard, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Maher, Michael J., editor

Published
2005
Full Text
View/download PDF

246. Assessment Aggregation in the Evidential Reasoning Approach to MADM Under Uncertainty: Orthogonal Versus Weighted Sum

Author

Huynh, Van-Nam, Nakamori, Yoshiteru, Ho, Tu-Bao, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Maher, Michael J., editor

Published
2005
Full Text
View/download PDF

247. Design Exploration Framework Under Impreciseness Based on Register-Constrained Inclusion Scheduling

Author

Chantrapornchai, Chantana, Surakumpolthorn, Wanlop, Sha, Edwin, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Maher, Michael J., editor

Published
2005
Full Text
View/download PDF

248. Chi-Square Matrix: An Approach for Building-Block Identification

Author

Aporntewan, Chatchawit, Chongstitvatana, Prabhas, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Maher, Michael J., editor

Published
2005
Full Text
View/download PDF

249. Robot Visual Servoing Based on Total Jacobian

Author

Zhao, Qingjie, Sun, Zengqi, Deng, Hongbin, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Maher, Michael J., editor

Published
2005
Full Text
View/download PDF

250. Probabilistic Space Partitioning in Constraint Logic Programming

Author

Angelopoulos, Nicos, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Maher, Michael J., editor

Published
2005
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results