1.

Record Nr.

UNINA9910458039203321

Titolo

Alleviating bullying : conquering the challenge of violent crimes / / edited by Ashraf Esmail

Pubbl/distr/stampa

Lanham, Maryland : , : University Press of America, , 2014

©2014

ISBN

0-7618-6362-1

Descrizione fisica

1 online resource (235 p.)

Collana

Issues in Black Education Series

Disciplina

371.58

Soggetti

Bullying - Prevention

Bullying in schools

Electronic books.

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Description based upon print version of record.

Nota di bibliografia

Includes bibliographical references.

Nota di contenuto

ALLEVIATING BULLYING; Contents; Tables; Foreword; Preface; Acknowledgments; Chapter One-Bullying in the School Environment; Chapter Two-Bullying . . . Even in Retirement; Chapter Three-'Bullying-Proofing' the Academe: Dealing with the Bunch and Bullies in a Whole School-Approach; Chapter Four-Cyberbullying: A By-Product of the Internet; Chapter Five-First Year Teachers' Perception on Their Self-Efficacy in Bullying Intervention: Teacher Preparation Programs; Chapter Six-Prison Bullying: The Ultimate State for the Battle of Institutional Power and Control

Chapter Seven-Is Bullying the Same as it Has Always Been? Are We Making Too Much of Typical Childhood Behaviors?Chapter Eight-The Importance of Play in Creating Social Awareness to Support a Bully-Free Environment; Chapter Nine-Bullying: Recognizing the Warning Signs; Chapter Ten-K-12 Bullying Through a Generational Lens: Consequences and Interventions; Chapter Eleven-Bullying, Gender Equity, Harassment, Drop-Out Anticipation, and Solution: What Would You Do?; Chapter Twelve-Cyberbullying From Schoolyard to Cyberspace: An Evolution; Contributors

Sommario/riassunto

Alleviating Bullying examines the facets of bullying that have become a major concern around the nation. This book explores the impact of



bullying on teachers, students, the elderly, prisoners, and other socio-economic groups. This book also identifies warning signs of bullying and provides suggestions on how to alleviate bullying.

2.

Record Nr.

UNISA996465600603316

Titolo

COLOG-88 [[electronic resource] ] : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings / / edited by Per Martin-Löf, Grigori Mints

Pubbl/distr/stampa

Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990

ISBN

3-540-46963-X

Edizione

[1st ed. 1990.]

Descrizione fisica

1 online resource (VI, 339 p.)

Collana

Lecture Notes in Computer Science, , 0302-9743 ; ; 417

Disciplina

004/.01/5113

Soggetti

Computers

Mathematical logic

Philosophy and science

Artificial intelligence

Computer programming

Theory of Computation

Mathematical Logic and Foundations

Philosophy of Science

Mathematical Logic and Formal Languages

Artificial Intelligence

Programming Techniques

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph

Nota di contenuto

Algebraic specified processes and enumerable models -- On conditions of full coherence in biclosed categories: A new application of proof theory -- The use of justification systems for integrated semantics -- An equational deductive system for the differential and integral calculus -- Inductively defined types -- Algorithms for probabilistic inference -- Geometry of interaction 2: Deadlock-free algorithms --



On the syntax of infinite objects: an extension of Martin-Löf's theory of expressions -- ?-Reductions and ?-developments of ?-terms with the least number of steps -- Group-theoretic approach to intractable problems -- On some applications of Heyting-valued analysis II -- Mathematics of infinity -- Gentzen-type systems and resolution rules part I propositional logic -- On the problem of reducing search in logic program execution -- Correctness of short proofs in theory with notions of feasibility -- A formulation of the simple theory of types (for Isabelle) -- On connections between classical and constructive semantics -- Flow-diagrams with sets -- The resolution program, able to decide some solvable classes -- A structural completeness theorem for a class of conditional rewrite rule systems -- A proof-search method for the first order logic.

Sommario/riassunto

This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries.