| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA990002050430203316 |
|
|
Titolo |
64/1990: Lakonika : ricerche e nuovi materiali di ceramica laconica / a cura di P. Pelagatti, C.M. Stibbe |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Roma : Istituto poligrafico e Zecca dello Stato, 1995 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Arredamento - Roma - Palazzo del Quirinale - Sec.19 - Progetti |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
In testa al front.: Ministero per i beni culturali e ambientali. Ufficio centrale per i beni architettonici, artistici e storici |
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910466319303321 |
|
|
Autore |
Stark Evan |
|
|
Titolo |
Coercive control : the entrapment of women in personal life / / Evan Stark |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York, New York : , : Oxford University Press, , 2007 |
|
©2007 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (465 p.) |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Wife abuse - United States |
Abused women - United States |
Psychological abuse - United States |
Control (Psychology) |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Contents; Introduction; I: The Domestic Violence Revolution: Promise and Disappointment; 1 The Revolution Unfolds; 2 The Revolution Stalled; II: The Enigmas of Abuse; 3 The Proper Measure of Abuse; 4 The Entrapment Enigma; 5 Representing Battered Women; III: From Domestic Violence to Coercive Control; 6 Up to Inequality; 7 The Theory of Coercive Control; 8 The Technology of Coercive Control; IV: Living With Coercive Control; 9 When Battered Women Kill; 10 For Love or Money; 11 The Special Reasonableness of Battered Women; Conclusion: Freedom Is Not Free; Notes; Index; A; B; C; D; E; F; G; H |
IJ; K; L; M; N; O; P; Q; R; S; T; U; V; W; Y; Z |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
One of the most important books ever written on domestic violence, Coercive Control reframes spousal abuse as a liberty crime rather than a crime of assault. Evan Stark, founder of one of America's first battered women's shelters, shows how ""domestic violence"" is neither primarily domestic nor necessarily violent, but a pattern of controlling behaviors more akin to terrorism and hostage-taking. Drawing on court records, interviews, and FBI statistics, Stark details coercive strategies that men use to deny women their very personhood. |
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNISA996206952003316 |
|
|
Titolo |
Trends in constraint programming / / edited by Frédéric Benhamou, Narendra Jussien, Barry O'Sullivan |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Newport Beach, CA : , : ISTE USA, , 2007 |
|
|
|
|
|
|
|
ISBN |
|
1-280-84786-7 |
9786610847860 |
0-470-61230-4 |
0-470-39494-3 |
1-84704-647-9 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (410 p.) |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Constraint programming (Computer science) |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Trends in Constraint Programming; Contents; Introduction; Part I. The Past, Present and Future of Constraint Programming; Chapter 1. Constraint Programming as Declarative Algorithmics; 1.1. The CHIP project; 1.2. The Numerica project; 1.3. The OPL project; 1.4. The Comet project; 1.5. The future of constraint programming; Chapter 2. Constraint Programming Tools; 2.1. Introduction; 2.2. Invited talks; 2.2.1. The development of an industrial CP tool; 2.2.1.1. Design goals; 2.2.1.2. The future; 2.2.2. System design: taking informed decisions; 2.2.2.1. Search; 2.2.2.2. Constraint propagation |
2.2.2.3. Variables2.3. System presentations; 2.3.1. ECLiPSe; 2.3.2. SICStus FD; 2.3.3. G12; 2.3.4. DiSolver; 2.3.5.MINION; 2.3.6. Choco; 2.3.7. Gecode; 2.3.8. Comet; 2.3.9. JaCoP; 2.3.10. Borderwijk; 2.4. Panels; 2.5. Conclusion; 2.6. References; Chapter 3. The Next 10 Years of Constraint Programming; 3.1. Pedro Barahona; 3.2. Christian Bessiere; 3.3. Peter Jeavons; 3.4. Pedro Meseguer; 3.5. Gilles Pesant; 3.6. Francesca Rossi; 3.7. Thomas Schiex; 3.8. Christian Schulte; 3.9. Meinolf Sellmann; 3.10. Mark Wallace; 3.11. Toby Walsh; 3.12. Roland Yap; 3.13. References |
Chapter 4. Constraint Propagation and Implementation4.1. Filtering algorithms for precedence and dependency constraints; 4.1.1. Problem description and related works; 4.1.2. Filtering rules for precedence and dependency constraints; 4.1.3. Summary; 4.2. A study of residual supports in arc consistency; 4.3. Maintaining singleton arc consistency; 4.3.1. Mixed consistency; 4.3.2. Checking existential-SAC; 4.3.3. Conclusion; 4.4. Probabilistic singleton arc consistency; 4.5. Simplification and extension of the SPREAD constraint; 4.5.1. Filtering of π; 4.5.2. Filtering of X; 4.5.3. Conclusion |
4.6. A new filtering algorithm for the graph isomorphism problem4.6.1. A global constraint for the graph isomorphism problem; 4.6.2. ILL-consistency and ILL-filtering; 4.6.3. Experimental results; 4.7. References; Chapter 5. On the First SAT/CP Integration Workshop; 5.1. The technical program; 5.1.1. The invited talk; 5.1.2. Contributions related to SMT and solver integration; 5.1.3. Contributions related to the use of SAT techniques to improve CSP/CP solvers; 5.1.4. Other contributions; 5.2. The panel session; 5.2.1. Are SAT and CP different or similar? |
5.2.2. Why has SAT succeeded in reducing the tuning issue?5.2.3. How long can the current generation of SAT solvers evolve?; 5.2.4. Were performance issues correctly addressed by CP?; 5.2.5. Was CP too ambitious?; 5.2.6. Do we still need CP?; 5.3. Summary, future directions and conclusion; 5.4. References; Chapter 6. Constraint-Based Methods for Bioinformatics; 6.1. On using temporal logic with constraints to express biological properties of cell processes; 6.2. Modeling biological systems in stochastic concurrent constraint programming |
6.3. Chemera: constraints in protein structural problems |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This title brings together the best papers on a range of topics raised at the annual International Conference on Principles and Practice of Constraint Programming. This conference provides papers and workshops which produce new insights, concepts and results which can then be used by those involved in this area to develop their own work. |
|
|
|
|
|
|
|
| |