Search Results - "Wilke, Richard"

On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics by Hoelzel, Matthias, Wilke, Richard

“…We present syntactic characterisations for the union closed fragments of existential second-order logic and of logics with team semantics. Since union closure…”
Get full text

On the Presburger fragment of logics with multiteam semantics by Wilke, Richard

“…In team semantics, which is the basis of modern logics of dependence and independence, formulae are evaluated on sets of assignments, called teams. Multiteam…”
Get full text

Environmental Education Teacher Resource Handbook: A Practical Guide for K-12 Environmental Education by Wilke, Richard J., Ed

“…This handbook is one of a series of practical references for curriculum developers, education faculty, veteran teachers, and student teachers. The handbook is…”
Get more information

Promoting Environmental Education: An Action Handbook for Strengthening EE in Your State and Community by Ruskey, Abby, Wilke, Richard

“…This book is designed to be a resource tool for all environmental education advocates and supporters, particularly those seeking to fully incorporate…”
Get more information

Separation logic and logics with team semantics by Haase, Darion, Grädel, Erich, Wilke, Richard

“…Separation logic is a successful logical system for formal reasoning about programs that mutate their data structures. Team semantics, on the other side, is…”
Get full text

Calcium Compartments in Brain by Newman, George C., Hospod, Frank E., Patlak, Clifford S., Trowbridge, Sean D., Wilke, Richard J., Fuhrmann, Mark, Jones, Keith W.

“…Excellent progress has been made toward understanding the physiology and pharmacology of specific calcium-related cellular processes of the brain, but few…”
Get full text

Coulometric total carbon dioxide analysis for marine studies : assessment of the quality of total inorganic carbon measurements made during the US Indian Ocean CO2 Survey 1994-1996 by JOHNSON, K. M, DICKSON, A. G, WALLACE, D. W. R, WILKE, R. J, WINN, C. D, EISCHEID, G, GOYET, C, GUENTHER, P, KEY, R. M, MILLERO, F. J, PURKERSON, D, SABINE, C. L, SCHOTTLE, R. G

Get full text

On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics by Hoelzel, Matthias, Wilke, Richard

“…Logical Methods in Computer Science, Volume 17, Issue 3 (July 30, 2021) lmcs:6501 We present syntactic characterisations for the union closed fragments of…”
Get full text

Logics with Multiteam Semantics by Grädel, Erich, Wilke, Richard

“…Team semantics is the mathematical basis of modern logics of dependence and independence. In contrast to classical Tarski semantics, a formula is evaluated not…”
Get full text

The Atmospheric Background of Perfluorocarbon Compounds Used as Tracers by Watson, Thomas B, Wilke, Richard, Dietz, Russell N, Heiser, John, Kalb, Paul

“…There are seven cyclic perfluoroalkane compounds, which can be detected in extremely low concentrations, that are used to track mass movement and transfer in a…”
Get full text

Goals for Curriculum Development in Environmental Education by Hungerford, Harold, Peyton, R. Ben, Wilke, Richard J.

Get full text

The Atmospheric Background of Periluorocarbon Compounds Used as Tracers by Watson, Thomas B, Wilke, Richard, Dietz, Russell N, Heiser, John, Kalb, Paul

“…There are seven cyclic perfluoroalkane compounds, which can be detected in extremely low concentrations, that are used to track mass movement and transfer in a…”
Get full text

Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics by Grädel, Erich, Helal, Hayyan, Naaf, Matthias, Wilke, Richard

“…Semiring semantics evaluates logical statements by values in some commutative semiring K. Random semiring interpretations, induced by a probability…”
Get full text

A Survey of the Status of State-Level Environmental Education in the United States-1998 Update by Ruskey, Abby, Wilke, Richard, Beasley, Tracie

“…This study was designed to determine changes in the status of state-level environmental education (EE) programs between 1995 and 1998. A baseline study was…”
Get full text

Level of Teacher Preparation and Implementation of EE: Mandated and Non-Mandated EE Teacher Preparation States by Plevyak, Linda H., Bendixen-Noe, Mary, Henderson, Janet, Roth, Robert E., Wilke, Richard

“…This descriptive, correlational study examined associations between the level of teacher (K-6) preparation in environmental education and the level of…”
Get full text

A Survey of the Status of State-Level Environmental Education in the United States by Kirk, Michelle, Wilke, Richard, Ruskey, Abby

“…Information was obtained about the status of comprehensive state-level environmental education (EE) programs in the United States. Comprehensive state-level EE…”
Get full text

Strengths and Weaknesses of Teacher Environmental Education Preparation in Wisconsin by Lane, Jennie, Wilke, Richard, Champeau, Randy, Sivek, Dan

“…In spring 1992, a survey was conducted to assess teachers' perceived competencies in, attitudes toward, and amount of class time devoted to teaching about the…”
Get full text

Should Action Be a Goal? Yes by Wilke, Richard

“…Debates what the role of activism should be in environmental education. Argues that there is a proper place for citizen action in the environmental education…”
Get more information

Mandating Preservice Enviromental Education Teacher Training: The Wisconsin Experience by Wilke, Richard J.

“…All future Wisconsin elementary, science, social studies, and agriculture teachers must achieve specific competencies in environmental education before they…”
Get full text

Environmental Education in Wisconsin: A Teacher Survey by Lane, Jennie, Wilke, Richard, Champeau, Randy, Sivek, Dan

“…This study assessed Wisconsin teachers' perceived competencies in, attitudes toward, and class time devoted to teaching about the environment. A valid and…”
Get full text