A 16-year-old was arrested for using a remote-controlled car to smuggle drugs across the border, officials say
by CNN(CNN) — A 16-year-old who allegedly used a remote-controlled car to attempt to smuggle methamphetamine across the US-Mexico border has been arrested by US Border Patrol agents, the agency announced Tuesday.
The teenager, a US citizen, was arrested Sunday after agents spotted him carrying two large duffel bags and ducking in-and-out of an agent’s view, US Customs and Border Protection said in a statement.
He was found hiding in thick brush along the border. When they searched him, agents found a remote-controlled car and 50 packages of methamphetamine, CBP said.
The agency says the 55.84 pounds of methamphetamine seized has an estimated street value of $106,096.
The teenager faces drug smuggling charges, the CBP statement said.
“I am extremely proud of the agents’ heightened vigilance and hard work in stopping this unusual smuggling scheme,” said San Diego Sector Chief Patrol Agent Douglas Harrison.
A similar event occurred in August 2017, when agents arrested a 25-year-old man for attempting to smuggle drugs across the border with a remote-controlled drone.
The man was found with 13.44 pounds of methamphetamine, the agency said.
The-CNN-Wire™ & © 2019 Cable News Network, Inc., a Time Warner Company. All rights reserved.


My research activities address software engineering with issues related to
composition (the software system is made up of several sub-units),
distribution (there are sub-units that execute on different deployment units), and
interaction (there are sub-units that synchronize or communicate in some way).
Further, I have a specific focus on the behavioural aspects of software.
These emerge when systems or their sub-units have a state, conditioning the legal ordering of
operations within them or communications between them.
I am also particularly interested in the use and the integration of formal
methods within the software development processes.
This includes activities such as design, verification, adaptation, automatic composition, and testing.
The objective is twofold:
first, to increase the confidence one may have in a software system and,
second, to foster automation and tool-support of the development processes.
Applicative domains and relation to standards are important in my work.
This includes business processes and service-based applications, e.g., with
the formal verification and the analysis of the evolution of business processes modelled using BPMN,
the automatic generation of service compositions and service adaptors models and corresponding WS-BPEL implementations from high-level requirements,
and
the testing of service orchestrations and service choreographies.
Damien Jaime, Joyce El Haddad, and Pascal Poizat. A Preliminary Study of Rhythm and Speed in the Maven Ecosystem. In: 21st Belgium-Netherlands Software Evolution Workshop (BENEVOL) 2022.
@inproceedings{PP_JEHP22,
author = {Jaime, Damien and El Haddad, Joyce and Poizat, Pascal},
booktitle = {21st Belgium-Netherlands Software Evolution Workshop (BENEVOL)},
title = {A Preliminary Study of Rhythm and Speed in the Maven Ecosystem},
series = {CEUR Workshop Proceedings},
volume = {3245},
year = {2022},
hal_id = {hal-03725099},
pdf = {https://hal.inria.fr/hal-03725099/document/}
}
Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec, and Laid Kahloul. A First-Order Logic Verification Framework for Communication-Parametric and Time-Aware BPMN Collaborations. Information Systems, 104 :101765, 2022.
@article{PP_HBPQK21,
author = {Houhou, Sara and Baarir, Souheib and Poizat, Pascal and Quéinnec, Philippe and Kahloul, Laid},
year = {2022},
title = {A First-Order Logic Verification Framework for Communication-Parametric and Time-Aware BPMN Collaborations},
journal = {Information Systems},
pages = {101765},
volume = {104},
doi = {10.1016/j.is.2021.101765},
hal_id = {hal-03170863},
optpdf = {}
}
Rim Saddem-Yagoubi, Pascal Poizat, and Sara Houhou. Business Processes Meet Spatial Concerns: the sBPMN Verification Framework. In: 24th International Symposium on Formal Methods (FM), pp. 218–234, Springer, 2021.
@inproceedings{PP_SYPH21,
author = {Saddem-Yagoubi, Rim and Poizat, Pascal and Houhou, Sara},
title = {Business Processes Meet Spatial Concerns: the sBPMN Verification Framework},
booktitle = {24th International Symposium on Formal Methods (FM)},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
volume = {13047},
pages = {218--234},
year = {2021},
doi = {10.1007/978-3-030-90870-6_12},
hal_id = {hal-03289951},
pdf = {https://hal.inria.fr/hal-03289951/document}
}
Sara Houhou, Souheib Baarir, Pascal Poizat, and Philippe Quéinnec. A Direct Formal Semantics for BPMN Time-Related Constructs. In: 16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), pp. 138–149, SCITEPRESS, 2021.
@inproceedings{PP_HBPQ21,
author = {Houhou, Sara and Baarir, Souheib and Poizat, Pascal and Quéinnec, Philippe},
title = {A Direct Formal Semantics for BPMN Time-Related Constructs},
booktitle = {16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)},
publisher = {SCITEPRESS},
pages = {138--149},
year = {2021},
doi = {10.5220/0010462901380149},
hal_id = {hal-03170814},
pdf = {https://hal.inria.fr/hal-03170814/document}
}
Sara Houhou, Souheib Baarir, Pascal Poizat, and Philippe Quéinnec. A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations. In: 17th International Conference on Business Process Management (BPM), pp. 52–68, Springer, 2019.
Best paper award
@inproceedings{PP_HBPQ19,
author = {Houhou, Sara and Baarir, Souheib and Poizat, Pascal and Quéinnec, Philippe},
title = {A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations},
booktitle = {17th International Conference on Business Process Management (BPM)},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
volume = {11675},
pages = {52--68},
year = {2019},
note = {Best paper award},
doi = {10.1007/978-3-030-26619-6_6},
hal_id = {hal-02138366},
pdf = {https://hal.inria.fr/hal-02138366/document}
}
Ajay Krishna, Pascal Poizat, and Gwen Salaün. Checking Business Process Evolution. Science of Computer Programming, 170 :1–26, 2019.
@article{PP_KPS19,
author = {Krishna, Ajay and Poizat, Pascal and Salaün, Gwen},
year = {2019},
title = {Checking Business Process Evolution},
journal = {Science of Computer Programming},
pages = {1--26},
volume = {170},
number = {},
doi = {10.1016/j.scico.2018.09.007},
hal_id = {hal-01920273},
pdf = {https://hal.inria.fr/hal-01920273/document}
}
Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec, and Laid Kahloul. A First-Order Logic Verification Framework for Communication-Parametric and Time-Aware BPMN Collaborations. Information Systems, 104 :101765, 2022.
@article{PP_HBPQK21,
author = {Houhou, Sara and Baarir, Souheib and Poizat, Pascal and Quéinnec, Philippe and Kahloul, Laid},
year = {2022},
title = {A First-Order Logic Verification Framework for Communication-Parametric and Time-Aware BPMN Collaborations},
journal = {Information Systems},
pages = {101765},
volume = {104},
doi = {10.1016/j.is.2021.101765},
hal_id = {hal-03170863},
optpdf = {}
}
Ajay Krishna, Pascal Poizat, and Gwen Salaün. Checking Business Process Evolution. Science of Computer Programming, 170 :1–26, 2019.
@article{PP_KPS19,
author = {Krishna, Ajay and Poizat, Pascal and Salaün, Gwen},
year = {2019},
title = {Checking Business Process Evolution},
journal = {Science of Computer Programming},
pages = {1--26},
volume = {170},
number = {},
doi = {10.1016/j.scico.2018.09.007},
hal_id = {hal-01920273},
pdf = {https://hal.inria.fr/hal-01920273/document}
}
Matthias Güdemann, Pascal Poizat, Gwen Salaün, and Lina Ye. VerChor: A Framework for the Design and Verification of Choreographies. IEEE Transactions on Services Computing, 9(4) :647–660, 2016.
@article{PP_GPSY16,
author = {Güdemann, Matthias and Poizat, Pascal and Salaün, Gwen and Ye, Lina},
year = {2016},
title = {VerChor: A Framework for the Design and Verification of Choreographies},
journal = {IEEE Transactions on Services Computing},
pages = {647--660},
volume = {9},
number = {4},
doi = {10.1109/TSC.2015.2413401},
hal_id = {hal-01198918},
pdf = {https://hal.inria.fr/hal-01198918/document}
}
Radu Mateescu, Pascal Poizat, and Gwen Salaün. Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques. IEEE Transactions on Software Engineering, 38(4) :755–777, 2012.
@article{PP_MPS12,
author = {Mateescu, Radu and Poizat, Pascal and Salaün, Gwen},
year = {2012},
title = {Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques},
journal = {IEEE Transactions on Software Engineering},
pages = {755--777},
volume = {38},
number = {4},
doi = {10.1109/TSE.2011.62},
hal_id = {hal-00717252},
pdf = {https://hal.inria.fr/hal-00717252/document}
}
Carlos Canal, Pascal Poizat, and Gwen Salaün. Model-based Adaptation of Behavioural Mismatching Components. IEEE Transactions on Software Engineering, 34(4) :546–563, 2008.
@article{PP_CPS08,
author = {Canal, Carlos and Poizat, Pascal and Salaün, Gwen},
year = {2008},
title = {Model-based Adaptation of Behavioural Mismatching Components},
journal = {IEEE Transactions on Software Engineering},
pages = {546--563},
volume = {34},
number = {4},
doi = {10.1109/TSE.2008.31},
hal_id = {hal-00340122},
pdf = {https://hal.inria.fr/hal-00340122/document}
}
Christian Attiogbé, Pascal Poizat, and Gwen Salaün. A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes. IEEE Transactions on Software Engineering, 33(3) :157–170, 2007.
@article{PP_APS07,
author = {Attiogbé, Christian and Poizat, Pascal and Salaün, Gwen},
year = {2007},
title = {A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes},
journal = {IEEE Transactions on Software Engineering},
pages = {157--170},
volume = {33},
number = {3},
doi = {10.1109/TSE.2007.21},
hal_id = {hal-00470280},
pdf = {https://hal.inria.fr/hal-00470280/document}
}
Pascal Poizat and Jean-Claude Royer. A Formal Architectural Description Language based on Symbolic Transition Systems and Modal Logic. Journal of Universal Computer Science (J.UCS), 12(12) :1741–1782, 2006.
@article{PP_PR06,
author = {Poizat, Pascal and Royer, Jean-Claude},
year = {2006},
title = {A Formal Architectural Description Language based on Symbolic Transition Systems and Modal Logic},
journal = {Journal of Universal Computer Science (J.UCS)},
pages = {1741--1782},
volume = {12},
number = {12},
doi = {10.3217/jucs-012-12-1741},
hal_id = {hal-00342156},
pdf = {http://hal.inria.fr/hal-00342156/document}
}
Carlos Canal, Juan Manuel Murillo, and Pascal Poizat. Software Adaptation. RTSI - L’Objet, 12(1) :9–31, 2006.
Introduction to the special issue by the guest editors
@article{PP_CMP06b,
author = {Canal, Carlos and Murillo, Juan Manuel and Poizat, Pascal},
year = {2006},
title = {Software Adaptation},
journal = {RTSI - L'Objet},
pages = {9--31},
volume = {12},
number = {1},
note = {Introduction to the special issue by the guest editors},
hal_id = {hal-00342014},
pdf = {../documents/publications/CMP06b.pdf}
}
Christine Choppy, Pascal Poizat, and Jean-Claude Royer. The Korrigan Environment. Journal of Universal Computer Science (J.UCS), 7(1) :19–36, 2001.
Special Issue on Tools for System Design and Verication
@article{PP_CPR01a,
author = {Choppy, Christine and Poizat, Pascal and Royer, Jean-Claude},
year = {2001},
title = {The Korrigan Environment},
journal = {Journal of Universal Computer Science (J.UCS)},
pages = {19--36},
volume = {7},
number = {1},
note = {Special Issue on Tools for System Design and Verication},
doi = {10.3217/jucs-007-01-0019},
hal_id = {hal-00444026},
pdf = {http://hal.inria.fr/hal-00444026/document}
}
Rania Khéfifi, Pascal Poizat, and Fatiha Saïs. Vers une utilisation automatique des Informations Personnelles pour la réalisation de e-procedures. Revue des Nouvelles Technologies de l’Information (RNTI), RNTI-W-2 :75–89, 2014.
@article{PP_KPS14,
author = {Khéfifi, Rania and Poizat, Pascal and Saïs, Fatiha},
year = {2014},
title = {Vers une utilisation automatique des Informations Personnelles pour la réalisation de e-procedures},
journal = {Revue des Nouvelles Technologies de l'Information (RNTI)},
pages = {75--89},
volume = {RNTI-W-2},
optnumber = {},
optdoi = {},
hal_id = {hal-01198920}
}
Damien Jaime, Joyce El Haddad, and Pascal Poizat. A Preliminary Study of Rhythm and Speed in the Maven Ecosystem. In: 21st Belgium-Netherlands Software Evolution Workshop (BENEVOL) 2022.
@inproceedings{PP_JEHP22,
author = {Jaime, Damien and El Haddad, Joyce and Poizat, Pascal},
booktitle = {21st Belgium-Netherlands Software Evolution Workshop (BENEVOL)},
title = {A Preliminary Study of Rhythm and Speed in the Maven Ecosystem},
series = {CEUR Workshop Proceedings},
volume = {3245},
year = {2022},
hal_id = {hal-03725099},
pdf = {https://hal.inria.fr/hal-03725099/document/}
}
Rim Saddem-Yagoubi, Pascal Poizat, and Sara Houhou. Business Processes Meet Spatial Concerns: the sBPMN Verification Framework. In: 24th International Symposium on Formal Methods (FM), pp. 218–234, Springer, 2021.
@inproceedings{PP_SYPH21,
author = {Saddem-Yagoubi, Rim and Poizat, Pascal and Houhou, Sara},
title = {Business Processes Meet Spatial Concerns: the sBPMN Verification Framework},
booktitle = {24th International Symposium on Formal Methods (FM)},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
volume = {13047},
pages = {218--234},
year = {2021},
doi = {10.1007/978-3-030-90870-6_12},
hal_id = {hal-03289951},
pdf = {https://hal.inria.fr/hal-03289951/document}
}
Sara Houhou, Souheib Baarir, Pascal Poizat, and Philippe Quéinnec. A Direct Formal Semantics for BPMN Time-Related Constructs. In: 16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), pp. 138–149, SCITEPRESS, 2021.
@inproceedings{PP_HBPQ21,
author = {Houhou, Sara and Baarir, Souheib and Poizat, Pascal and Quéinnec, Philippe},
title = {A Direct Formal Semantics for BPMN Time-Related Constructs},
booktitle = {16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)},
publisher = {SCITEPRESS},
pages = {138--149},
year = {2021},
doi = {10.5220/0010462901380149},
hal_id = {hal-03170814},
pdf = {https://hal.inria.fr/hal-03170814/document}
}
Sara Houhou, Souheib Baarir, Pascal Poizat, and Philippe Quéinnec. A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations. In: 17th International Conference on Business Process Management (BPM), pp. 52–68, Springer, 2019.
Best paper award
@inproceedings{PP_HBPQ19,
author = {Houhou, Sara and Baarir, Souheib and Poizat, Pascal and Quéinnec, Philippe},
title = {A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations},
booktitle = {17th International Conference on Business Process Management (BPM)},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
volume = {11675},
pages = {52--68},
year = {2019},
note = {Best paper award},
doi = {10.1007/978-3-030-26619-6_6},
hal_id = {hal-02138366},
pdf = {https://hal.inria.fr/hal-02138366/document}
}
Pascal Poizat, Gwen Salaün, and Ajay Krishna. Checking Business Process Evolution. In: 13th International Conference on Formal Aspects of Component Software (FACS), pp. 36–53, Springer, 2016.
@inproceedings{PP_PSK16,
author = {Poizat, Pascal and Salaün, Gwen and Krishna, Ajay},
title = {Checking Business Process Evolution},
booktitle = {13th International Conference on Formal Aspects of Component Software (FACS)},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
volume = {10231},
pages = {36--53},
year = {2016},
doi = {10.1007/978-3-319-57666-4_4},
hal_id = {hal-01366641},
pdf = {https://hal.inria.fr/hal-01366641/document}
}
Huu Nghia Nguyen, Pascal Poizat, and Fatiha Zaïdi. Automatic Skeleton Generation for Data-Aware Service Choreographies. In: 24th International Symposium on Software Reliability Engineering (ISSRE), pp. 320–329, IEEE, 2013.
@inproceedings{PP_NPZ13,
author = {Nguyen, Huu Nghia and Poizat, Pascal and Zaïdi, Fatiha},
title = {Automatic Skeleton Generation for Data-Aware Service Choreographies},
booktitle = {24th International Symposium on Software Reliability Engineering (ISSRE)},
pages = {320--329},
year = {2013},
publisher = {IEEE},
doi = {10.1109/ISSRE.2013.6698885},
hal_id = {hal-01216413},
pdf = {../documents/publications/NPZ13.pdf}
}
Rania Khéfifi, Pascal Poizat, and Fatiha Saïs. Automatic Composition of Form-Based Services in a Context-Aware Personal Information Space. In: 11th International Conference on Service-Oriented Computing (ICSOC), pp. 575–583, Springer, 2013.
@inproceedings{PP_KPS13,
author = {Khéfifi, Rania and Poizat, Pascal and Saïs, Fatiha},
title = {Automatic Composition of Form-Based Services in a Context-Aware Personal Information Space},
booktitle = {11th International Conference on Service-Oriented Computing (ICSOC)},
series = {Lecture Notes in Computer Science},
volume = {8274},
pages = {575--583},
year = {2013},
publisher = {Springer},
doi = {10.1007/978-3-642-45005-1_48},
hal_id = {hal-01216430},
pdf = {../documents/publications/KPS13.pdf}
}
Matthias Güdemann, Pascal Poizat, Gwen Salaün, and Alexandre Dumont. VerChor: A Framework for Verifying Choreographies. In: 16th International Conference on Fundamental Approaches to Software Engineering (FASE), pp. 226–230, Springer, 2013.
@inproceedings{PP_GPSD13,
author = {Güdemann, Matthias and Poizat, Pascal and Salaün, Gwen and Dumont, Alexandre},
title = {VerChor: A Framework for Verifying Choreographies},
booktitle = {16th International Conference on Fundamental Approaches to Software Engineering (FASE)},
series = {Lecture Notes in Computer Science},
volume = {7793},
pages = {226--230},
year = {2013},
publisher = {Springer},
doi = {10.1007/978-3-642-37057-1_16},
hal_id = {hal-00806788},
pdf = {https://hal.inria.fr/hal-00806788/document}
}
Huu Nghia Nguyen, Pascal Poizat, and Fatiha Zaïdi. Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing. In: 9th International Symposium on High-Assurance Systems Engineering (HASE), pp. 106–113, IEEE Comp. Soc., 2012.
@inproceedings{PP_NPZ12c,
author = {Nguyen, Huu Nghia and Poizat, Pascal and Zaïdi, Fatiha},
title = {Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing},
booktitle = {9th International Symposium on High-Assurance Systems Engineering (HASE)},
pages = {106--113},
year = {2012},
publisher = {IEEE Comp. Soc.},
doi = {10.1109/HASE.2012.15},
hal_id = {hal-01367296},
pdf = {https://hal.inria.fr/hal-01367296/document}
}
Huu Nghia Nguyen, Pascal Poizat, and Fatiha Zaïdi. A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies. In: 10th International Conference on Service-Oriented Computing (ICSOC), pp. 525–532 2012.
@inproceedings{PP_NPZ12b,
author = {Nguyen, Huu Nghia and Poizat, Pascal and Zaïdi, Fatiha},
title = {A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies},
booktitle = {10th International Conference on Service-Oriented Computing (ICSOC)},
series = {Lecture Notes in Computer Science},
volume = {7636},
pages = {525--532},
year = {2012},
doi = {10.1007/978-3-642-34321-6_36},
hal_id = {hal-01367304},
pdf = {https://hal.inria.fr/hal-01367304/document}
}
Pascal Poizat and Gwen Salaün. Checking the Realizability of BPMN 2.0 Choreographies. In: 27th ACM Symposium on Applied Computing (SAC), pp. 1927–1934, ACM, 2012.
@inproceedings{PP_PS12,
author = {Poizat, Pascal and Salaün, Gwen},
title = {Checking the Realizability of BPMN 2.0 Choreographies},
booktitle = {27th ACM Symposium on Applied Computing (SAC)},
pages = {1927--1934},
year = {2012},
publisher = {ACM},
doi = {10.1145/2245276.2232095},
hal_id = {hal-00685393},
pdf = {https://hal.inria.fr/hal-00685393/document}
}
Huu Nghia Nguyen, Pascal Poizat, and Fatiha Zaïdi. Passive Conformance Testing of Service Choreographies. In: 27th ACM Symposium on Applied Computing (SAC), pp. 1528–1535, ACM, 2012.
@inproceedings{PP_NPZ12a,
author = {Nguyen, Huu Nghia and Poizat, Pascal and Zaïdi, Fatiha},
title = {Passive Conformance Testing of Service Choreographies},
booktitle = {27th ACM Symposium on Applied Computing (SAC)},
pages = {1528--1535},
year = {2012},
publisher = {ACM},
doi = {10.1145/2245276.2232020},
hal_id = {hal-01367307},
pdf = {https://hal.inria.fr/hal-01367307/document}
}
Yuhong Yan, Pascal Poizat, and Ludeng Zhao. Self-Adaptive Service Composition through Graphplan Repair. In: Proceedings of the International Conference on Web Services (ICWS 10), work-in-progress papers, pp. 624–627, IEEE Computer Society, 2010.
@inproceedings{PP_YPZ10b,
author = {Yan, Yuhong and Poizat, Pascal and Zhao, Ludeng},
title = ,
booktitle = {Proceedings of the International Conference on Web Services (ICWS 10), work-in-progress papers},
pages = {624--627},
year = {2010},
publisher = {IEEE Computer Society}
}
Lina Bentakouk, Pascal Poizat, and Fatiha Zaïdi. Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver. In: International Conference on Tests & Proofs (TAP), pp. 33–50, Springer, 2010.
@inproceedings{PP_BPZ11,
author = {Bentakouk, Lina and Poizat, Pascal and Zaïdi, Fatiha},
title = {Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver},
booktitle = {International Conference on Tests & Proofs (TAP)},
pages = {33--50},
year = {2010},
volume = {6706},
series = {Lecture Notes in Computer Science},
publisher = {Springer}
}
Pascal Poizat and Yuhong Yan. Adaptive Composition of Conversational Services through Graph Planning Encoding. In: Proceedings of the International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 10), pp. 35–50, Springer, 2010.
@inproceedings{PP_PY10,
author = {Poizat, Pascal and Yan, Yuhong},
title = ,
booktitle = {Proceedings of the International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 10)},
pages = {35--50},
year = {2010},
volume = {6416},
series = {Lecture Notes in Computer Science},
publisher = {Springer}
}
Yuhong Yan, Pascal Poizat, and Ludeng Zhao. Repairs vs. Recomposition for Broken Service Compositions. In: Proceedings of the International Conference on Service Oriented Computing (ICSOC 10), pp. 152–166, Springer, 2010.
@inproceedings{PP_YPZ10c,
author = {Yan, Yuhong and Poizat, Pascal and Zhao, Ludeng},
title = ,
booktitle = {Proceedings of the International Conference on Service Oriented Computing (ICSOC 10)},
pages = {152--166},
year = {2010},
volume = {6470},
series = {Lecture Notes in Computer Science},
publisher = {Springer}
}
Yuhong Yan, Pascal Poizat, and Ludeng Zhao. Repairing Service Compositions in a Changing World. In: Selected papers from the 8th ACIS conference on Software Engineering Research, Management & Applications (SERA 10), pp. 17–36, Springer, 2010.
@inproceedings{PP_YPZ10a,
author = {Yan, Yuhong and Poizat, Pascal and Zhao, Ludeng},
title = ,
booktitle = {Selected papers from the 8th ACIS conference on Software Engineering Research, Management & Applications (SERA 10)},
pages = {17--36},
year = {2010},
volume = {296},
series = {Studies in Computational Intelligence},
publisher = {Springer}
}
Lina Bentakouk, Pascal Poizat, and Zaı̈di Fatiha. A Formal Framework for Service Orchestration Testing based on Symbolic Transition Systems. In: Proceedings of the 21th IFIP International Conference on Testing of Communicating Systems (TESTCOM 09), pp. 16–32, Springer, 2009.
@inproceedings{PP_BPZ09,
author = {Bentakouk, Lina and Poizat, Pascal and Za{\"{\i}}di, Fatiha},
title = ,
booktitle = {Proceedings of the 21th IFIP International Conference on Testing of Communicating Systems (TESTCOM 09)},
pages = {16--32},
year = {2009},
volume = {5826},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
pdf = {../documents/publications/RR-BPZ09.pdf}
}
Radu Mateescu, Pascal Poizat, and Gwen Salaün. Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques. In: Proceedings of the International Conference on Service Oriented Computing (ICSOC 08), pp. 84–99, Springer, 2008.
@inproceedings{PP_MPS08,
author = {Mateescu, Radu and Poizat, Pascal and Sala{\"u}n, Gwen},
title = ,
booktitle = {Proceedings of the International Conference on Service Oriented Computing (ICSOC 08)},
pages = {84--99},
year = {2008},
publisher = {Springer},
volume = {5364},
series = {Lecture Notes in Computer Science},
doi = {10.1007/978-3-540-89652-4_10},
ibiscequipes = {},
ibisccountry = {},
ibiscpp_kind = {intconf},
ibisclang = {english},
ibiscdomain = {}
}
Sandrine Beauche and Pascal Poizat. Automated Service Composition with Adaptive Planning. In: Proceedings of the International Conference on Service Oriented Computing (ICSOC 08), pp. 530–537, Springer, 2008.
@inproceedings{PP_BP08,
author = {Beauche, Sandrine and Poizat, Pascal},
title = ,
booktitle = {Proceedings of the International Conference on Service Oriented Computing (ICSOC 08)},
pages = {530--537},
year = {2008},
publisher = {Springer},
volume = {5364},
series = {Lecture Notes in Computer Science},
doi = {10.1007/978-3-540-89652-4_42},
ibiscequipes = {},
ibisccountry = {},
ibiscpp_kind = {intconf},
ibisclang = {english},
ibiscdomain = {},
pdf = {../documents/publications/RR-BP08.pdf}
}
Tarek Melliti, Pascal Poizat, and Sonia Ben Mokhtar. Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services. In: Proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE 08), pp. 146–162, Springer, 2008.
@inproceedings{PP_MPBM08,
author = {Melliti, Tarek and Poizat, Pascal and {Ben Mokhtar}, Sonia},
title = ,
booktitle = ,
year = {2008},
pages = {146--162},
volume = {4961},
publisher = {Springer},
series = ,
doi = {10.1007/978-3-540-78743-3_12},
pdf = {../documents/publications/RR-MPBM07.pdf},
ibiscequipes = {},
ibisccountry = {},
ibiscpp_kind = {intconf},
ibisclang = {english},
ibiscdomain = {}
}
Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, and Pascal Poizat. A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. In: Proceedings of the Workshop on Formal Aspects of Component Software (FACS 07), pp. 39–55, Elsevier, 2008.
@inproceedings{PP_CSCPP08,
author = {Cubo, Javier and Sala{\"u}n, Gwen and Canal, Carlos and Pimentel, Ernesto and Poizat, Pascal},
year = {2008},
title = {A Model-Based Approach to the Verification and Adaptation of WF/.NET Components},
booktitle = {Proceedings of the Workshop on Formal Aspects of Component Software (FACS 07)},
pages = {39--55},
volume = {215},
series = {Electronic Notes in Theoretical Computer Science},
publisher = {Elsevier},
doi = {doi:10.1016/j.entcs.2008.06.020},
pdf = {../documents/publications/CSCPP08.pdf},
ibiscequipes = {},
ibisccountry = {},
ibiscpp_kind = {intconf},
ibisclang = {english},
ibiscdomain = {}
}
Serge Haddad and Pascal Poizat. Transactional Reduction of Component Compositions. In: Proceedings of the IFIP International Conference on Formal Methods for Networked and Distributed Systems (FORTE 07), pp. 341–357, Springer, 2007.
@inproceedings{PP_HP07,
author = {Haddad, Serge and Poizat, Pascal},
ibiscequipes = {},
year = {2007},
ibisccountry = {},
title = {Transactional Reduction of Component Compositions},
ibiscpp_kind = {intconf},
ibisclang = {english},
booktitle = {Proceedings of the IFIP International Conference on Formal Methods for Networked and Distributed Systems (FORTE 07)},
ibiscdomain = {},
pages = {341--357},
volume = {4574},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
doi = {10.1007/978-3-540-73196-2_22},
pdf = {../documents/publications/HP07.pdf}
}
Radu Mateescu, Pascal Poizat, and Gwen Salaün. Behavioral Adaptation of Component Compositions based on Process Algebra Encodings. In: Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 07), pp. 385–388, ACM,IEEE, 2007.
@inproceedings{PP_MPS07,
author = {Mateescu, Radu and Poizat, Pascal and Sala{\"u}n, Gwen},
ibiscequipes = {},
year = {2007},
ibisccountry = {},
title = {Behavioral Adaptation of Component Compositions based on Process Algebra Encodings},
ibiscpp_kind = {intconf},
ibisclang = {english},
booktitle = {Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 07)},
ibiscdomain = {},
pages = {385--388},
organization = {ACM,IEEE},
doi = {10.1145/1321631.1321690},
pdf = {../documents/publications/RR-MPS07.pdf}
}
Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, and Pascal Poizat. Relating Model-Based Adaptation and Implementation Platforms: A Case Study with WF/.NET 3.0. In: Proceedings of the 12th International Workshop on Component-Oriented Programming (WCOP 07), pp. 155–170, Elsevier, 2007.
@inproceedings{PP_CSCPP07,
author = {Cubo, Javier and Sala{\"u}n, Gwen and Canal, Carlos and Pimentel, Ernesto and Poizat, Pascal},
ibiscequipes = {},
year = {2007},
ibisccountry = {},
title = {Relating Model-Based Adaptation and Implementation Platforms: A Case Study with WF/.NET 3.0},
ibiscpp_kind = {intconf},
ibisclang = {english},
booktitle = {Proceedings of the 12th International Workshop on Component-Oriented Programming (WCOP 07)},
ibiscdomain = {},
pages = {155--170},
pdf = {../documents/publications/CSCPP07.pdf},
volume = {182},
series = {Electronic Notes in Theoretical Computer Science},
publisher = {Elsevier}
}
Pascal Poizat and Gwen Salaün. Adaptation of Open Component-based Systems. In: Proceedings of the IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 07), pp. 141–156, Springer, 2007.
@inproceedings{PP_PS07,
author = {Poizat, Pascal and Sala{\"u}n, Gwen},
ibiscequipes = {},
year = {2007},
ibisccountry = {},
title = {Adaptation of Open Component-based Systems},
ibiscpp_kind = {intconf},
ibisclang = {english},
booktitle = {Proceedings of the IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 07)},
ibiscdomain = {},
pages = {141--156},
volume = {4468},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
doi = {10.1007/978-3-540-72952-5_9},
pdf = {../documents/publications/PS07.pdf}
}
Pascal Poizat, Gwen Salaün, and Massimo Tivoli. An Adaptation-based Approach to Incrementally Build Component Systems. In: Proceedings of the International Workshop on Formal Aspects of Component Software (FACS 06), pp. 155–170, Elsevier, 2007.
@inproceedings{PP_PST07,
author = {Poizat, Pascal and Sala{\"u}n, Gwen and Tivoli, Massimo},
ibiscequipes = {},
year = {2007},
ibisccountry = {},
title = {An Adaptation-based Approach to Incrementally Build Component Systems},
ibiscpp_kind = {intconf},
ibisclang = {english},
booktitle = {Proceedings of the International Workshop on Formal Aspects of Component Software (FACS 06)},
ibiscdomain = {},
pages = {155--170},
volume = {182},
series = {Electronic Notes in Theoretical Computer Science},
publisher = {Elsevier},
doi = {10.1016/j.entcs.2006.09.037},
pdf = {../documents/publications/PST07.pdf}
}
Pascal Poizat, Jean-Claude Royer, and Gwen Salaün. Bounded Analysis and Decomposition for Behavioural Descriptions of Components. In: Proceedings of the 8th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), pp. 33–47 2006.
@inproceedings{PP_PRS06,
author = {Poizat, Pascal and Royer, Jean-Claude and Sala\"un, Gwen},
ibiscequipes = {},
year = {2006},
ibisccountry = {Italy},
title = {Bounded Analysis and Decomposition for Behavioural Descriptions of Components},
ibiscpp_kind = {intconf},
ibisclang = {english},
booktitle = {Proceedings of the 8th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)},
ibiscdomain = {},
pages = {33--47},
volume = {4037},
series = {Lecture Notes in Computer Science},
doi = {10.1007/11768869_5},
pdf = {../documents/publications/PRS06.pdf}
}
Carlos Canal, Pascal Poizat, and Gwen Salaün. Synchronizing Behavioural Mismatch in Software Composition. In: Proceedings of the 8th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), pp. 63–77 2006.
@inproceedings{PP_CPS06b,
author = {Canal, Carlos and Poizat, Pascal and Sala\"un, Gwen},
ibiscequipes = {},
year = {2006},
ibisccountry = {Italy},
title = {Synchronizing Behavioural Mismatch in Software Composition},
ibiscpp_kind = {intconf},
ibisclang = {english},
booktitle = {Proceedings of the 8th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)},
ibiscdomain = {},
pages = {63--77},
volume = {4037},
series = {Lecture Notes in Computer Science},
doi = {10.1007/11768869_7},
pdf = {../documents/publications/CPS06b.pdf}
}
Pascal Poizat, Gwen Salaün, and Massimo Tivoli. On Dynamic Reconfiguration of Behavioural Adaptation. In: Proceedings of the third International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT 06), pp. 61–69 2006.
@inproceedings{PP_PST06,
author = {Poizat, Pascal and Sala\"un, Gwen and Tivoli, Massimo},
ibiscequipes = {},
year = {2006},
ibisccountry = {France},
title = {On Dynamic Reconfiguration of Behavioural Adaptation},
ibiscpp_kind = {intconf},
ibisclang = {english},
booktitle = {Proceedings of the third International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT 06)},
ibiscdomain = {},
pages = {61--69},
pdf = {../documents/publications/PST06.pdf}
}
Sebastian Pavel, Jacques Noyé, Pascal Poizat, and Jean-Claude Royer. Java Implementation of a Component Model with Explicit Symbolic Protocols. In: Software Composition (SC), pp. 115–124 2005.
@inproceedings{PP_PNPR05,
author = {Pavel, Sebastian and Noy\'{e}, Jacques and Poizat, Pascal and Royer, Jean-Claude},
ibiscequipes = {},
year = {2005},
ibisccountry = {},
title = {Java Implementation of a Component Model with Explicit Symbolic Protocols},
ibiscpp_kind = {intconf},
ibisclang = {english},
booktitle = {Software Composition (SC)},
ibiscdomain = {},
pages = {115--124},
volume = {3628},
series = {Lecture Notes in Computer Science},
pdf = {../documents/publications/PNPR05.pdf},
doi = {10.1007/11550679_9}
}
Gwen Salaün and Pascal Poizat. Interacting Extended State Diagrams. In: Proceedings of the International Workshop on Semantic Foundations of Engineering Design Languages (SFEDL 04), pp. 49–57, Elsevier, 2005.
@inproceedings{PP_SP05,
author = {Sala{\"u}n, Gwen and Poizat, Pascal},
ibiscequipes = {},
year = {2005},
ibisccountry = {},
title = {Interacting Extended State Diagrams},
ibiscpp_kind = {intconf},
ibisclang = {english},
booktitle = {Proceedings of the International Workshop on Semantic Foundations of Engineering Design Languages (SFEDL 04)},
ibiscdomain = {},
pages = {49--57},
volume = {115},
series = {Electronic Notes in Theoretical Computer Science},
publisher = {Elsevier},
doi = {10.1016/j.entcs.2004.09.028},
pdf = {../documents/publications/SP05.pdf}
}
Carlos Canal, Pascal Poizat, and Gwen Salaün. Adaptation de composants logiciels. Une approche automatisée basée sur des expressions régulières de vecteurs de synchronisation. In: Actes de la Première Conférence Francophone sur les Architectures Logicielles (CAL) 2006.
@inproceedings{PP_CPS06a,
author = {Canal, Carlos and Poizat, Pascal and Sala\"un, Gwen},
ibiscequipes = {},
year = {2006},
ibisccountry = {France},
title = {Adaptation de composants logiciels. Une approche automatis\'{e}e bas\'{e}e sur des expressions r\'{e}guli\`{e}res de vecteurs de synchronisation},
ibiscpp_kind = {natconf},
ibisclang = {francais},
booktitle = {Actes de la Premi\`{e}re Conf\'{e}rence Francophone sur les Architectures Logicielles (CAL)},
ibiscdomain = {},
pages = {}
}
Min Chen, Pascal Poizat, and Yuhong Yan. Adaptive Composition and QoS Optimization of Conversational Services through Graph Planning Encoding. In: Web Services Foundations, Springer, 2014.
@inbook{PP_CPY14,
author = {Chen, Min and Poizat, Pascal and Yan, Yuhong},
year = {2014},
booktitle = {Web Services Foundations},
chapter = {17},
title = {Adaptive Composition and QoS Optimization of Conversational Services through Graph Planning Encoding},
publisher = {Springer},
doi = {10.1007/978-1-4614-7518-7_17},
hal_id = {hal-01221701}
}
Marc Frappier, Henri Habrias, and Pascal Poizat. A Comparison of the Specification Methods. In: Software Specification Methods: an Overview Using a Case Study, ISTE, Hermes Science Publishing, 2006.
@inbook{PP_FHP06,
author = {Frappier, Marc and Habrias, Henri and Poizat, Pascal},
year = {2006},
booktitle = {Software Specification Methods: an Overview Using a Case Study},
chapter = {19},
title = {A Comparison of the Specification Methods},
publisher = {ISTE, Hermes Science Publishing},
hal_id = {hal-00342080},
optlink = {http://iste.co.uk/index.php?f=a&ACTION=View&id=100}
}
Henri Habrias, Pascal Poizat, and Marc Frappier. Glossary. In: Software Specification Methods: an Overview Using a Case Study, ISTE, Hermes Science Publishing, 2006.
@inbook{PP_HPF06,
author = {Habrias, Henri and Poizat, Pascal and Frappier, Marc},
year = {2006},
booktitle = {Software Specification Methods: an Overview Using a Case Study},
chapter = {20},
title = {Glossary},
publisher = {ISTE, Hermes Science Publishing},
hal_id = {hal-00342085},
optlink = {http://iste.co.uk/index.php?f=a&ACTION=View&id=100}
}
Pascal Poizat and Thomas Vergnaud. Langages de description d’architecture. In: Méthodes formelles pour les systèmes répartis et coopératifs, Hermes, Lavoisier, 2006.
@inbook{PP_PV06,
author = {Poizat, Pascal and Vergnaud, Thomas},
year = {2006},
booktitle = {Méthodes formelles pour les systèmes répartis et coopératifs},
chapter = {5},
title = {Langages de description d'architecture},
publisher = {Hermes, Lavoisier},
hal_id = {hal-00342165},
optlink = {http://eol.lavoisier.fr/fr/ebook/9782746214477/methodes-formelles-pour-les-systemes-repartis-et-cooperatifs-traite-ic2-serie-informatique-et-systemes-d-information}
}
Pascal Poizat. SDL : a Language based on Extended Finite State Machines with Abstract Data Types. In: Software Specification Methods. An Overview Using a Case Study, Springer, 2000.
out of print
@inbook{PP_Poi00,
author = {Poizat, Pascal},
year = {2000},
booktitle = {Software Specification Methods. An Overview Using a Case Study},
chapter = {9},
title = {SDL : a Language based on Extended Finite State Machines with Abstract Data Types},
publisher = {Springer},
series = {Formal Approaches to Computing and Information Technology (FACIT)},
note = {out of print},
doi = {10.1007/978-1-4471-0701-9_9}
}
Pascal Poizat. Formal Model-Based Approaches for the Development of Composite Systems, Habilitation thesis, Université Paris Sud, November 2011.
@phdthesis{PP_HDR,
author = {Poizat, Pascal},
title = {Formal Model-Based Approaches for the Development of Composite Systems},
school = {Université Paris Sud},
year = {2011},
type = {Habilitation thesis},
month = nov,
hal_id = {tel-02963225},
pdf = {https://tel.archives-ouvertes.fr/tel-02963225/document},
month_numeric = {11}
}
Pascal Poizat. Korrigan : un formalisme et une méthode pour la spécification formelle et structurée de systèmes mixtes, PhD thesis (in French), Université de Nantes, December 2000.
@phdthesis{PP_PHD,
author = {Poizat, Pascal},
title = {Korrigan : un formalisme et une méthode pour la spécification formelle et structurée de systèmes mixtes},
school = {Université de Nantes},
year = {2000},
type = {PhD thesis (in French)},
month = dec,
hal_id = {tel-02963222},
pdf = {https://tel.archives-ouvertes.fr/tel-02963222/document},
month_numeric = {12}
}


Collections
-
Extend your class, struct or enum with this protocol, to make it mappable
See moreDeclaration
Swift
public protocol ProntoCollectionMappable : ProntoFilterable
-
Individual mappable values (e.g. string, int, date, etc)
Declaration
Swift
public protocol ProntoCollectionMapValue
-
The main mapper class for all pronto related entry types
See moreDeclaration
Swift
public class ProntoCollectionMapper
-
Define how the pagination (offset + limit) of the list request should be
See moreDeclaration
Swift
public struct Pagination
-
ProntoFilterable protocol. These implemtentation can be used in
See moreProntoCollection<_>().list(filterBy:)
Declaration
Swift
public protocol ProntoFilterable
-
The results of a Collection.list() It’s bundled into a seperate
See morePaginatedResult
generic, because we want to know how many items the collection has in total.Declaration
Swift
public class PaginatedResult<CollectionType> where CollectionType : ProntoCollectionMappable
-
Helper class to handle all the collections logic
See moreDeclaration
Swift
public class ProntoCollection<CollectionType> : PluginBase where CollectionType : ProntoCollectionMappable
-
ProntoCollectionError enum
See moreDeclaration
Swift
public enum ProntoCollectionError : Swift.Error, CustomStringConvertible
-
A coordinate entry type
See moreDeclaration
Swift
public class Coordinate : Decodable, ProntoCollectionMapValue, CustomStringConvertible
-
Declaration
Swift
public class TextURL : Codable, CustomStringConvertible, ProntoCollectionMapValue


Neal Ardley believes big claim from National League rivals about Notts County has been shot down
Magpies were beaten 3-0 by Barrow at the weekend
by Leigh CurtisNeal Ardley insisted that Notts County’s convincing defeat to promotion-chasing Barrow has shot down claims that they are the best side in the National League.
The Magpies were thumped 3-0 by Ian Evatt’s side at Meadow Lane on Saturday which was their first home defeat since Barnet triumped 2-1 in August.
Notts were 2-0 down after 13 minutes after goals from Dior Angus and John Rooney, before substitute Jack Hindle added a third in the second half.
Ardley confessed that his team performed well below the standards they have set this season which had seen them lost just three of their last 19 games ahead of Saturday’s contest.
That had led to some managers claiming they were the best team in the league, but the Notts boss said Barrow proved that wasn’t the case.
“We’ve been shown we are not the best team in the league like people are saying,” he said.
“Part of me is disappointed and we deserved the boos when you play like that, but part of me feels that we have come a hell of a long way.
“And sometimes you have bad days in the office.”


COVID-19
As a result of the Covid-19 Pandemic, all salon services have been temporarily closed and we will not be accepting any appointments until our local governments announce that it is safe to do so. Thank you for your understanding, and please stay safe.
All hair services are by appointment only. Currently, we are taking appointments Fridays through Sundays only. For fastest response you may send text requests to the number below. You may also reach out through Instagram DM in the menu link.
Text
310-210-9214


Adam matan
Developer & DevRel @ Binaris. Cloud & Serverless developer. Previously Vioozer, Yahoo and Waze.
Talk: Think Functions
What would apps look like if we never had to think about servers, performance or even cost? This session demonstrates how an Uber-like ridesharing application can be built entirely from functions - starting with a architectural overview and progressing to actual JS code.
This session demonstrates how a real-time app can be built solely out of functions while remaining responsive and cost-effective. We present a architecture overview of the app, and walk through the process of splitting it into individual services.


SOFTWARE COMPANY
Menu
Home
About
Portfolio
Contact
Contact Us
Contact
Adress: 241. Street nu:25 Hamburg/GERMANY
Phone: 5xxxx 5xxx
Message
Please Enter Name
Please Enter E-mail
Send


Utah Environmental Interactive Map Change Log
Back to the app
Open Issues
1.9.1 Nov 9, 2022
- Fix bug causing searches on multiple data layers to results in an empty results grid.
1.9.0 Nov 4, 2022
- Add Qualtrics survey button (#471).
1.8.6 May 30, 2022
- Fix bug causing points to be drawn beneath polygons in some instances.
- Support layers with no label.
- Add Environmental Justice Layers (#441).
1.8.5 Mar 25, 2022
- "Define Search Criteria" -> "Advanced Search" (#435).
- "Select Query Layers" -> "Select Map Data" (#434).
- Default to state-wide search (#433).
- Add above-ground storage tanks data (#431).
- Improved accordion pane user experience (#430).
- Improved related table grid width to be dependant on the number of columns.
- Point "Environmental Covenants" layer at the newly created DEQ AGOL service (#432).
1.8.3 Jan 21, 2022
- Make three DW secure query layers public (#424).
- Remove lock icon if user is authenticated and authorized to view the layer (#425).
1.8.2 Jan 7, 2022
- Add support for more generic related tables.
1.8.1 Oct 8, 2021
- Fix bug preventing filters from working with field values that have parenthesis's.
1.8.0 Sep 2, 2021
- Add "Drinking Water System Ratings" query layer (#419).
- Added feature to identify pane that automatically turns URL values into clickable links.
- Added "MS4 Permits" query layer (#420).
1.7.4 Apr 15, 2021
- Fix missing layer includes causing issues with the user management page.
1.7.3 Apr 12, 2021
1.7.2 Dec 16, 2020
1.7.3 Apr 12, 2021
- Fix Esri JS map click bug
1.7.1 Aug 4, 2020
1.7.0 Jun 22, 2020
- Add parcels reference layer (#398).
- Enable better caching for application config file in the browser (#382).
- A variety of back end/code enhancements.
1.6.4 Jun 5, 2020
- Remove risk reference layers (#395).
1.6.3 Apr 27, 2020
- Add integrated disclaimer dialog (#393).
- Add actual number of max records to error message (#378).
1.6.2 Mar 25, 2020
- Fix bug preventing shape searches after the "Clear Search" button was clicked.
1.6.1 Mar 24, 2020
- Minor fixes for Address search.
1.6.0 Feb 17, 2020
- Switch to serverless print proxy.
- Add "Land Reuse Initiative" query layer.
- Add support for html markup in the TYPE field for query layers.
- Add support for html in identify attribute values.
1.5.1 Dec 20, 2018
- Disable browser auto-complete on city and zip search fields. This was interfering with the app's auto-complete functionality.
1.5.0 Oct 1, 2018
- Removed Indian Country and Tribal reference layer (#384).
1.4.0 Sep 4, 2018
- Add "Pre-1978 Residential Structures" and "UPDES Storm Water" query layers (#375).
- Add "Permit Information" link to the identify pane.
- Add triangle marker to map to represent the matched address location when searching by street address.
- Fix bug causing buffers on address searches to be smaller than they should be.
- Upgrade Esri JS API to latest version (3.25)
- Add "Zip Code" search method (#380).
- Add "Dry Cleaners" query layer.
1.3.4 Feb 22, 2018
- Implement better caching strategy to make sure that users get updates immediately upon release while still taking advantage of caching.
1.3.3 Feb 16, 2018
- Fix URL to SITLA map service.
- Fix nightly script so that it updates data even if there are duplicate features.
1.3.2 Feb 12, 2018
- Updated URL to SITLA's new Land Ownership service.
1.3.1 Aug 7, 2017
- Fix bug in download tool that prevented all records from being returned for related tables that have more than one parent.
1.3.0 Aug 1, 2017
- Force longitude coordinate values to always be positive (negative is assumed) (368).
- Show legend for NHD Streams reference layer (366).
- Search by Coordinate: Add logic to clear search graphics when coordinate values are updated (365).
- Fix stream search and stream reference layer (data issues).
Remove duplicate data in UST related tables.
- Add min buffer constraint of 0.2 miles (363).
- Increase stream search max results to 20 (362).
- Update "Assessed Waters" symbology to be empty polygons (364).
- Upgrade ESRI JS API to 3.20
- Add new "Coordinates" search option (#353).
- Add " (HUC8)" to "Hydrologic Units" reference layer name (#354).
- Add new "Hydrologic Units (HUC8)" query layer (#354).
- Increase search results polygon transparency (#361).
- Add custom symbology to "Assessed Waters" query layer (#351).
- Add halo to NHD Streams reference layer labels (#360).
- Fix a bug causing buffers to be smaller than they should have been (#348).
- Switch "Land Ownership" reference layer to point to SITLA map service (#358).
- Add new "NHD Stream Name" search option (#349).
- Add new "NHD Streams" reference layer (#350).
1.2.1 Aug 29, 2016
- Fix bug preventing IE10 & IE11 from displaying search results of more than ~200 features on the map.
1.2.0 Aug 29, 2016
- Port nightly script to forklift pallet.
- Add DSHW layers (#346).
1.1.5 May 26, 2016
1.1.4 Apr 28, 2016
- Send `location` parameter to download tool rather than accepting the default.
1.1.3 Apr 28, 2016
- Switch back to `SGID10.BOUNDARIES.Municipalities_Carto` (related: #254).
1.1.2 Apr 12, 2016
- Fixed bug related to logged in users who have geographic restrictions (#343).
1.1.1 Apr 7, 2016
- Small patch to fix cors servers bug.
1.1.0 Apr 7, 2016
- Fixed visible scale ranges for risk and township/range/section layers (#341).
- Switched the TRS layer to point to a vector tiles service.
- Fixed bug causing the city search graphics to overlap with search results (#342).
- Added a "Coded Values" column to the config spreadsheet allowing for display of descriptions for coded values within the application (#154).
- Fixed bug causing an error when attempting to download Irrigated Crop Consumptive Use Zones as XLS (#339).
- Switch to web mercator and layer selector resulting in access to new Google imagery (#336).
- Add a search tolerance of 250 meters for searches on polygon features (#259).
- Clear selected feature on "Clear Search" button click (#338).
- Pinned the "Apply" and "Clear" buttons to the bottom of the popup window (#324).
- Updated the filter and legend for the "NPDES_Discharges" layer (#323).
- Updated the legend for the "Source Water Assessment Zones" layer (#321).
- Added titles to query layer legends (#302).
- Added functional tests via Intern and ported all unit tests from Jasmine to Intern (#319).
- Fixed bug that was causing the map to zoom incorrectly after searching so that some features were off the side of the map (#273).
- Reordered the columns in the related table grids so that "Additional Info" is in the 2nd position (#305).
- Fixed a bug causing the "?" popup window to remain open after clicking on it (#309).
- Enable the ability for a user to use a selected feature as the input geometry for the shape search (#310).
- Added an additional "Points of Diversion" query layer under the "Drinking Water" heading (#307).
- Added addition coordinate types (including UTM) to the measurement tool (#207).
- Update the query layer result headers with custom legends to include a message about hovering over the icon to see the legend (#303).
- Various updates for upgrading to ArcGIS Server 10.3.
- Updated DEQ logo
- Add risk data reference layers (#294).
- Added the option for a title in the query layer legends (#302).
- Query layer order in the results grid now matches the order in the search panel (#297).
1.0.0 Apr 9, 2015
- Fixed bug causing incorrect links to be built when selecting features on the map (#311).
1.0.0-4 Mar 20, 2015
- Switch geometries to be drawn by FeatureLayer instead of returned from API. This helped performance significantly.
- Made improvements to the nightly update script to enhance data quality and reliability.
1.0.0-3 Feb 26, 2015
- Added custom symbology to the "Consuptive Use Zones" query layer (#300).
- Fixed a bug causing the map reference layer legends to stop working after closing and re-opening the popup (#299).
- Fixed a bug causing the sorting of ID"s not to work for the full ID value (#298).
- Fixed a bug causing the features from the "NPDES Dischargers" query layer to not draw on the map (#296 & #295).
- Added a custom filter for the "Assessed Waters" query layer (#275).
1.0.0-2 Jan 9, 2015
- Fixed a bug preventing successful searches in Firefox (#274).
- Fixed a bug causing the query layer checkboxes to not be cleared when the "Clear Search" button was clicked (#276).
- Added the "Environmental Covenants" reference layer to the nightly update script (#277).
- Updated the DWQ query layer symbologies (#279).
- Refined feature generalization code that was causing polygons defined using arcs to be returned as diamonds instead of circles (#280).
- Refined code for the selection of features. This fixed a bug preventing users from selecting polygons that were overlapped by the currently selected polygon (#281).
- Added code to throw an error if search results contain more than 50,000 features. This fixed a bug related to searches on datasets with a very large number of features (#283) & (#290).
- Updated NPDES_Dischargers symbology (#284).
- Fixed a bug that was causing the query layer checkbox to incorrectly toggle when clicking on the "?" icon (#285).
- Integrated SauceLabs browser testing for unit tests (https://saucelabs.com/u/agrc-deq-enviro).
1.0.0-1 Nov 24, 2014
- ID & Name searches only appear if supported by any of the selected query layers (#34).
- Implemented custom symbology for query layer results (#104), (#147) & (#125).
- For query layers with custom symbology enabled: Hover over the empty symbol in the results grid to see a popover with the corresponding legend (#261).
- Fixed a bug preventing additional attributes showing in IE 10 (#264).
- Fixed a bug preventing the print to PDF from working in IE 10 (#266).
- Fixed a data issue causing only one point to draw on the map for the mercury in fish data (#267).
- Fixed a bug causing incorrect coordinates to be displayed in the measure tool (#268).
- Tweaked text in the filter popover for the Points of Diversion query layers (#270).
- Enhanced nightly update script to skip records with bad coordinate values.
- Enhanced nightly update script to better report bad field names in the query layers spreadsheet.
0.13.0 Nov 6, 2014
- Added a script to update the "Air Monitoring by Station" data hourly (#84).
- Added query layer filters (#145).
- Click on the filter icon next to a query layer that has a custom filter defined. Use the controls in the associated popup to apply a filter to the query layer.
- Added additional searches for specific query layers (#251).
- Select a query layer that has a custom search defined for it (e.g. "Oil and Gas - Wells"). Make sure that it"s the only layer selected. Notice the additional search options in the search type drop down.
- Removed wizard and added a "Hot Tips" link (#247).
- Enhanced the nightly update script to convert DAQ ids to be whole numbers. This also fixed a bug causing searches on those id"s to not work (#248).
- Fixed a data issue causing city boundaries that overlap county boundaries to be split into separate polygons (#254).
- Print template enhancements (#256).
- Added a North arrow
- Updated the legend to use the query layer names.
- Removed the extraneous layers from the legend.
- Enhanced the user export to CSV to display better formatted dates (#257).
- Took another stab at correctly calculating dates (#153).
0.12.0 Oct 28, 2014
- Implemented custom workflow for approving new users taking into account the assignment of geographic locations (counties) and end dates (#197).
- Added button on user admin page to export the user table to CSV (#198).
- Added a notification for users who"s membership have expired (#200).
- Added the JURISDICTION field to the "Oil and Gas Wells" query layer (#204).
- Fixed a data issue causing duplicate search results (#210).
- Added the "Points of Diversion" query layer (#213).
- Upgraded ESRI JavaScript API to the most current version (#225).
- Fixed a bug preventing the checked state of secure query layers from being remembered correctly (#231).
- Fixed a layout bug that was causing the "?" bubble to be pushed to a new line on query layers with longer names (#232).
- Updated the label for the map layers in the request access dialog to make it more clear (#233).
- Implemented better sorting for the user table on the user admin page (#234).
- Fixed a bug that was causing statewide downloads to fail in CSV format for the "CERCLA - CERCLIS List" query layer (#237).
- Renamed the print button text and made the download link disappear on click (#239).
- Fixed a bug preventing secured layers from restricting records outside of the current users allowed counties (#240).
- Fixed a bug that was preventing end date, location text, and geographic regions from being stored correctly (#241).
- Implemented a edge-case, custom query for the "Underground Storage Tanks" query layer (#243).
- Reordered the legend items for reference layers (#246).
- Added a title to the pdf map export (#238).
- Added list of successfully updated datasets to the nightly script success email.
- Updated shape drawing toolbar to deactivate when the user clicks search.
- Refined labeling code to draw better labels.
0.11.0 Oct 14, 2014
- Enabled secure query layers and added drinking water layers (#144).
- Added labels for all query layers (#146).
- Enabled print functionality (#149).
- Added support for external URL links with existing query parameters (#203).
- Moved download link to below the download button (#206).
- Change download button text from "Download" to "Process Download" (#205).
- Fixed layout issue causing the horizontal scrollbar to overlap the last record in related table grids with lots of rows (#208).
- Fixed a bug that caused the map to go blank if no features were found (#209).
- Fixed some corrupt data that was causing duplicate results to be returned for the "Underground Storage Tanks" query layer (#210).
- Added logic to sort numeric id"s appropriately (#211).
- Added help text for measure tool (#215).
- Updated results grid to sort by ID (ascending) by default (#216).
0.10.0 Sept 17, 2014
- Data Download (#143)
- Users can now download data in four different formats: file geodatabase, shapefile, .csv and .xls.
- Downloaded data includes all related tables including nested relationships (#180).
- Users can select a subset of the search results by clicking on the rows in the grid for download (#113).
- Added ESRI"s Measure Tool widget (#148).
- Fixed a bug that was preventing a successful search by name with multiple search terms (#159).
- Fixed a bug on touch devices (originally reported on Samsung Galaxy Note) that was causing searches to be performed with previously drawn shapes (#179).
- Fixed a bug causing the results grid to be truncated after a sort (#181).
- Renamed the "Clear Parameters" button to "Clear Search" and updated the functionality to clear not only the search parameters but all search graphics, results and grid rows (#182).
- Fixed a bug that was preventing searchs to be performed on the "Solid Waste, Hazardous Waste, and Used Oil Regulated Facilities" layer (#183).
- Map now zooms to the extent of the search results when a successful search has been performed. This addresses a problem the occurs when the user searches by ID or name for features that are not within the current extent of the map (#186).
- Fixed a bug that was causing the shapes of smaller polygon features to be over-generalized. This was first noticed within the "Underground Injection Control" layer (#190).
- Significantly improved sorting performance.
- Fixed bugs relating to incorrect parsing of dates before 1970 and dates off by one day.
0.9.0 Aug 21, 2014
- Related Tables: Added an "info" link to the grid that links to the additional info url and passes the relevant fields (#127).
- Fixed a bug preventing users from clicking on the identify ellipsis button in the results grid while using Safari on iOS (#138).
- Improved the layout of the message that shows when there are no related records (#142).
- Fixed a bug that prevented users from preforming a state search after clicking on the "Clear Parameters" button (#151).
- Fixed a layout bug preventing users from scrolling the related table grids appropriately on window"s machines (#152).
- Fixed a bug that caused null dates to show up as "12/31/69" and causing all dates to be off by one day (#153).
- Updated the message displayed when there are no related tables (#156).
- Added a legend for the "Environmental Covenants" reference layer (#158).
- Fixed a bug causing three different types of sorting errors within the results grid (#160).
- Fixed a bug causing the search by ID and Name to be case sensitive (#157).
0.8.0 Aug 6, 2014
- Updated legend labels for the "Indian Country and Tribal Lands" reference layer (#3 & #121).
- Added related tables to identify pane (#116). Still need to handle nested relationships (#127).
- Added a help title popup to the map layers button (#122).
- Adjusted transparency of result polygons down to 75% (#124).
- Fixed a bug that was causing strange zooming when searching by address or buffered shapes (#126).
- Fixed a bug that was causing field aliases with parentheses to not show up in the identify attributes (#135).
- Fixed a misspelling in the "Hydrologic Units" reference layer label (#136).
- Fixed a bug that was causing the "There was an error with the search service!" error with certain layers (#137).
- Fixed a variety of misspellings of field names in the query layers doc (eg. (#140). Added functionality to the nightly update script to validate field names (#141).
I"m sure that there are more that need to be fixed.
0.7.0 Jul 28, 2014
- Made improvements to the error log that is emailed by the nightly script if there are data errors (#3 & #107).
- Fixed a bug that was preventing an appropriate error message from being displayed if there was an error returned from the search service (#3 & #109).
- Created the identify pane and associated ellipsis (...) button on the grid. Also wired identify pane to show when clicking on a result feature on the map (#3 & #110).
- "Attributes" tab shows additional attribute fields from query layers.
- "Links" tab shows links to external pages with the five main fields passed as url query parameters.
- "Zoom to feature" and "Back to results" links also working.
- Related Records is not implemented yet (#3 & #116).
- Made links in the "Links" tab in the identify pane only show up if there is a value in the associated column in the query layers spreadsheet (#3 & #22).
- The map extent is now preserved when the results grid is shown or hidden. Also added buttons to allow you to show or hide the grid (#3 & #111).
- Fixed a layout bug that was causing the "No results" message to be cut off in the grid (#3 & #112).
- Fixed a bug that was preventing the search graphics from clearing when switching search types (#3 & #114).
- Fixed a bug that was preventing the search by name function to find all features (#3 & #115).
- Cleaned up and simplified the grid colors and layout.
0.6.0 Jul 18, 2014
- Major components of nightly script built. Still some data issues left to work through (#3 & #70).
- The "Land Ownership" and "Indian Country and Tribal" reference layers now have popup legends (#25).
- The result graphics now show up on top of the yellow search graphic (#97). In addition, result points will always be drawn on top of result polygons.
- Added "water" to wizard text as per Mark Jenson (#102).
- Added support for generic polygon symbology (#105). Custom symbology is not supported in the app currently but there are plans to look at it in the future.
0.5.0 Jun 20, 2014
- Selected query layers are now persisted between sessions (#48).
- Polygon searchs now honor the buffer value (#61).
- Any existing yellow search graphics are cleared when you switch shape type (#62).
- "Clear Parameters" button now clears all search parameters including selected query layers, all search fields and any existing search geometry (#64).
- When you switch search types all search parameters are cleared (#65).
- Search results now show up as points on the map (#72).
- There is now a better error message displayed when you try to search without selecting a search type (#78).
- Fixed a bug that occurred when you selected multiple query layers, then searched, then unselected a query layer and tried to search again. (#85).
- Added the total features found for each query layer in the grid header (#86).
- The entire grid header row that expands the results is now clickable instead of having to click on the tiny triangle (#88).
- The grid is now cleared in-between searches (#90).
- Fixed a bug that showed the grid and loader even if there was an error with the search (#96).
0.4.0 May 27, 2014
- Search service results now displayed in popup grid (#71).
- Fixed bug in county search with Beaver county (#63).
- Fixed layout bug in Wizard widget (#60).
- Back end search service (#40).
- Only query layers that have actual data in the database are shown.
0.3.0 Apr 24, 2014
- Wizard widget (#20).
- Closed state is persisted between sessions.
- "Back" and "Next" buttons automatically expand relevant panes.
- Address search (#36).
- City, County and Statewide searches (#37).
- Name and ID searches (#38).
- Shape search (#39).
- Updated Indian Country and Tribal layer to be symbolized with two colors (#47).
0.2.0 Apr 10, 2014
- Nightly script was created to scrape the Query Layers spreadsheet for config data for the app. Any changes made to
the spreadsheet will show up in the app the next morning (#23).
- Query Layers are grouped by heading (#18).
- Define Search Location pane layout fleshed out including drop down, stack container and buttons (#19).
- The disclaimer dialog was replaced with an external link from the Query Layers spreadsheet "Other Links" tab. This
data is also scraped nightly so that the URL can be maintained by DEQ (#21).
- The Township/Range/Section checkbox and label are now disabled at the smaller scales when the layer would not be visible on the map. A popup is also displayed to help the user know what"s going on. The popup goes away and the controls are enabled
as the user zooms into scales at which the layer would be visible (#24).
- Query layer features are no longer displayed when you check them in the "Select Query Layers" pane. The plan is to only show found features on the map after a search is performed (#26).
0.1.0 Mar 28, 2014
- Initial app layout framework and build system wired up.
- Added Disclaimer link and associated modal dialog (#11).
- Fleshed out initial draft of QueryLayer widget. (#10).
- Toggle features on the map with checkbox.
- Shows layer description and links to meta data page.
- Grid/Identify window toggle. Not exposed in the UI yet (#9).
- Added simple user management including request access, sign in, change/reset password. No custom geographic extent or time frame restrictions yet (#8).
- Added reference layers popup (#6).
- Added reference layers toggle controls and base map selector (#7).


Fill an easy online registration form
learn the basics of coding in 2-3 weeks course
Select from 9 tracks and complete the course within 6 months to earn a certificate of completion.
Select from 9 tracks and complete the course within 6 months to earn a certificate of completion.
Select from 9 tracks and complete the course within 6 months to earn a certificate of completion.
Select from 9 tracks and complete the course within 6 months to earn a certificate of completion.
Lorem ipsum dolor sit amet, consectetur adipisicing elit. Consequuntur ea, quis magnam deserunt eius incidunt repellat molestiae.
READ MORELorem ipsum dolor sit amet, consectetur adipisicing elit. Consequuntur ea, quis magnam deserunt eius incidunt repellat molestiae.
READ MORELorem ipsum dolor sit amet, consectetur adipisicing elit. Consequuntur ea, quis magnam deserunt eius incidunt repellat molestiae.
READ MOREloading


Thank you for registering as {{registeredRole}}.  Do you have an idea/project (250 symbols max)"}}
{{/autoForm}}
{{/if}}
{{else}}
Sign in/Sign up if you want to register for the event
{{/if}}
{{/if}}


[gecode-users] Dynamic Branching Support?
Christian Schulte
cschulte at kth.se
Mon Apr 13 21:32:04 CEST 2015
Hi Matthias,
Well there is a very simple answer which might be not very satisfying, though: the variable-value based branchings are just some pre-defined abstractions that come with Gecode. In principle you can implement whatever you like, the entire Part B of MPG is devoted to this.
I do not know how much you have been exploring with the pre-defined variable selection strategies. But maybe you want to try ideas such as AFC and using restarts for search first. They sometimes can be remarkably effective.
Cheers
Christian
--
Christian Schulte, www.gecode.org/~schulte
Professor of Computer Science, KTH, cschulte at kth.se
Expert Researcher, SICS, cschulte at sics.se
-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf Of Matthias Goldhoorn
Sent: Monday, April 13, 2015 04:04 PM
To: users at gecode.org
Subject: [gecode-users] Dynamic Branching Support?
Hi to everyone on the ML,
i'm new to gecode and have already a kind of bug problem .
My Search will not Terminate within days. I have several SetVarArrays, BoolArrays and so on on my Space.
The Solutions they are found are valid for me, but the search is simply to slow (and sometimes to memory exhaustive).
I used already gist for introspection, my problem is that i first branch on a BoolVarArrays which reduces the search space quite well until a spefici point. At this point i would like to keep Post prune the BoolVarArray and Continue branching on a SetVarArray. This wold faster reduce my search space than continue the branching on the Bool one.
My question therefore is: is there a way to select dynamically the branching set?. I found on the documentation that it is possible to select a variable INSIDE a structure for branching. But that i need is a dynamic selection of the Set/Array where the branching should be done.
Is this possible in gecode. Or (@dev's) is the extension possible?
Best,
Matthias
(P.S. Since i do open-source development i could provide my application if this helps the understanding.)
--
Dipl.-Inf. Matthias Goldhoorn
Space and Underwater Robotic
Universität Bremen
FB 3 - Mathematik und Informatik
AG Robotik
Robert-Hooke-Straße 5
28359 Bremen, Germany
Tel.: +49 421 178 45-4193
Zentrale: +49 421 178 45-6550
Fax: +49 421 178 45-4150
E-Mail: matthias.goldhoorn at uni-bremen.de
Weitere Informationen: http://www.informatik.uni-bremen.de/robotik
_______________________________________________
Gecode users mailing list
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
More information about the users
mailing list


Sundays
Every Sunday Garden City gathers as a big family to worship God, hear the preaching of God’s Word, grow in discipleship, love and serve one another, take part in the sacraments, be equipped for ministry, and be a gospel witness to Silicon Valley. Sundays fuel us for a new week of ministry in the city.
Life Groups
Every week, Garden City gathers in smaller family units called Life Groups. Life Groups are the backbone of our church–the place where knowing and loving one another, disciple-making, and advancing the mission take place at a more intimate and accountable level.
Every Life Group operates around three commitments:
- We will live on mission: We will be disciples making disciples who enjoy Jesus and love people.
- We will gather as a family each week to eat together, know and love one another, study along with the Garden City sermon series, and pray (Acts 2:42). This will include an emphasis on having fun together, gathering with our whole church family on Sundays, and taking a few short breaks throughout the year for the sake of refreshment.
- We will multiply. We will train and send people out of this Life Group to start at least one new Life Group within the span of two years.
Expectations
We expect everyone who becomes a member to make gathering at Garden City a high priority—to schedule life so as to be present and contribute to what takes place on Sundays and in Life Group. We think there are three great and acceptable reasons to miss gathering at Garden City.
- Vacation: We want you to take vacation in order to rest, recharge, and have a lot of fun!
- Sickness: Please stay home if you’re sick! It is important that you rest and get well so that you can gather with your family again.
- A Special Event: Throughout the course of a year we expect that there will be rare and special events that you feel God has called you to, and which require you to miss out on gathering with your family. Examples include emergencies, business trips, weddings, etc.
Gathering on Sundays and in your Life Group is critical to your own health, our whole church’s health, and it’s what fuels you for each new week of ministry in our city. Members prioritize gathering at the top of their weekly schedule. We are a church body that needs each member of the body to be present and functioning as a member of the body. We live in a city that is highly individualistic, where decisions are made only in reference to “me” and where even many Christians believe that passively attending a church service once or twice a month represents healthy Christianity. We are seeking to directly challenge and change this culture, to show our city what it looks like to belong to something much more exciting: a family on a mission to enjoy God, love one another, and love our city. We are seeking to be obedient to the New Testament, “Now you are the body of Christ and individually members of it” (1 Cor. 12:27).
Garden City Events
From time to time we also gather at events that are sprinkled throughout the year— training classes, meetings, conferences, retreats, etc.—that supplement our disciple- making mission, but our focus remains on Sundays and Life Groups.


God lets you be successful because he trusts you that you will do the right thing with it. Now, does he get disappointed often? All the time, because people get there and they forget how they got it.
Steve Harvey
{% if stock_empty_object %}
Hey {{full_name}}..!! Hurry up..!! Please order these items.


1
Rivalry in worldly increase distracteth you
2
Until ye come to the graves.
3
Nay, but ye will come to know!
4
Nay, but ye will come to know!
5
Nay, would that ye knew (now) with a sure knowledge!
6
For ye will behold hell-fire.
7
Aye, ye will behold it with sure vision.
8
Then, on that day, ye will be asked concerning pleasure.


Have an Account?
SignIn
How it Works
Privacy
#FireStarChallenge
SIGN IN
or Register
Forgot your password?
Click here


--- layout: post title: Adding Atlassian Confluence to your Google Webmaster Tools account date: 2014-06-03 14:58:48.000000000 +01:00 type: post published: true status: publish categories: - web tags: - atlassian - confluence meta: _syntaxhighlighter_encoded: '1' _edit_last: '1' _yoast_wpseo_focuskw: google webmaster tools _yoast_wpseo_linkdex: '79' tmac_last_id: '618797305295163392' author: David Simpson excerpt_separator: ---
I want to add my Confluence system to Google WebMaster Tools. I upload the file verification to server but when I load, I see that include template of Confluence in plain text of the Google file verification...
Is there any way to not include template of Confluence when I load this file? Google search to find the text verification but is unable to find it if it includes apart the CSS and HTML code of Confluence
There are 2 methods of verification for Google Webmaster Tools. File upload, and meta tag verificsation. For Atlassian Confluence, the latter is much easier to perform. To verify your site by adding a meta tag, browse to Google Webmaster Tools:
<meta name="google-site-verification" content="..." >
In a new browser tab, open Confluence.
Browse to Confluence Admin | Look and Feel | Custom HTML | At the End of the HEAD
Paste the meta tag into the form and submit:
<meta name="google-site-verification" content="..." >
Back in Google Webmaster Tools, click on Verify. That's it.
If you're using Zen Foundation to theme your site, then you're probably out of luck. That add-on removes the At the End of the HEAD functionality, so this method just won't work. Sorry.


author with book
{% for author in authors %}
{{author.name}}
{% for book in author.book_set.all %}
{{book}}
{% endfor %} {% endfor %}


Registration
Return to Home Page
User Last Name
User First Name:
User Date of Birth (DOB):
User Social Security Number (SSN):
User Street Address:
User City:
User State:
User ZIP Code:
User Phone Number:
User Point of Contact (POC) Name:
User Point of Contact (POC) Phone Number:
User Agent ID Number:
None
Choose a User Agent
User Doctor Name:
User Doctor Phone Number:
User Insurance Company:
User Insurance Policy Number:
Advance Directive?
User Advance Directive Type:
User Comments:
User Email / User Name:
Password:
User Security Question:
User Security Answer:
Register
Return to Home Page


THANK YOU!
Thank you for your purchase. Your order will be delivered within 7 working days.
The table below contains your order information
Order Information
| Order Number |
#{{OrderId}} |
| Order Date |
{{OrderDate}} |
| Order Status |
Confirmed by shopper |
| Payment |
{{PaymentMethod}} |
| E-Mail |
{{Email}} |
| Fullname |
{{Fullname}} |
| Address |
{{Address}} |
| Phone |
{{Phone}} |
| Comment |
{{Message}} |
| Total |
${{TotalCost}} |
***FREE SHIPPING. FREE RETURNS. ALL THE TIME. This offer is only available for Standard Shipping on Shop Mart. Please visit Shop Mart for details about their shipping and return policies.


|
CmdMessenger
3.0
CmdMessenger is a serial port messaging library for the .Net / Mono Platform.
|
Fas Manager for serial port data. More...
Public Member Functions | |
| SerialTransport () | |
| Default constructor. | |
| void | Initialize () |
| Initializes this object. | |
| bool | StartListening () |
| Connects to a serial port defined through the current settings. | |
| bool | Open () |
| Opens the serial port. | |
| bool | IsConnected () |
| bool | PortExists () |
| Queries if a given port exists. | |
| bool | Close () |
| Closes the serial port. | |
| bool | IsOpen () |
| Query ifthe serial port is open. | |
| bool | StopListening () |
| Stops listening to the serial port. | |
| void | Write (byte[] buffer) |
| Writes a parameter to the serial port. | |
| bool | UpdateBaudRateCollection () |
| Retrieves the possible baud rates for the currently selected serial port. | |
| byte[] | Read () |
| Reads the serial buffer into the string buffer. | |
| int | BytesInBuffer () |
| Gets the bytes in buffer. | |
| void | Kill () |
| Kills this object. | |
| bool | Join (int millisecondsTimeout) |
| Joins the thread. | |
Protected Member Functions | |
| void | ProcessQueue () |
| override void | Dispose (bool disposing) |
| Remove all references and remove children. | |
Properties | |
| ThreadRunStates | ThreadRunState [get, set] |
| Gets or sets the run state of the thread . | |
| SerialSettings | CurrentSerialSettings [get, set] |
| Gets or sets the current serial port settings. | |
| SerialPort | SerialPort [get] |
| Gets the serial port. | |
Events | |
| EventHandler | NewDataReceived |
Fas Manager for serial port data.
Default constructor.
Gets the bytes in buffer.
Implements CommandMessenger.TransportLayer.ITransport.
Closes the serial port.
| override void CommandMessenger.TransportLayer.SerialTransport.Dispose | ( | bool | disposing | ) | [protected, virtual] |
Remove all references and remove children.
| disposing | If true, cleanup |
Reimplemented from CommandMessenger.DisposableObject.
Initializes this object.
Query ifthe serial port is open.
| bool CommandMessenger.TransportLayer.SerialTransport.Join | ( | int | millisecondsTimeout | ) |
Joins the thread.
| millisecondsTimeout | The milliseconds timeout. |
Kills this object.
Opens the serial port.
Queries if a given port exists.
Reads the serial buffer into the string buffer.
Implements CommandMessenger.TransportLayer.ITransport.
Connects to a serial port defined through the current settings.
Implements CommandMessenger.TransportLayer.ITransport.
Stops listening to the serial port.
Implements CommandMessenger.TransportLayer.ITransport.
Retrieves the possible baud rates for the currently selected serial port.
| void CommandMessenger.TransportLayer.SerialTransport.Write | ( | byte[] | buffer | ) |
Writes a parameter to the serial port.
| buffer | The buffer to write. |
Implements CommandMessenger.TransportLayer.ITransport.
Gets or sets the current serial port settings.
The current serial settings.
Gets the serial port.
The serial port.
ThreadRunStates CommandMessenger.TransportLayer.SerialTransport.ThreadRunState [get, set] |
Gets or sets the run state of the thread .
The thread run state.


THE PIANO A film review by James Berardinelli Copyright 1993 James Berardinelli
Rating (Linear 0 to 10): 7.9
Date Released: 11/19/93 Running Length: 2:01 Rated: R (Nudity, sex, violence, mature themes)
Starring: Holly Hunter, Harvey Keitel, Sam Neill, Anna Paquin Director: Jane Campion Producer: Jan Chapman Screenplay: Jane Campion Music: Michael Nyman Released by Miramax Pictures
THE PIANO is a film about passion, the most basic and primal element of human nature. No matter how thick the veneer of civilization is, or how deeply-buried beneath layers of social repression those latent emotions are, passion ultimately cannot be denied. This is something that the three principals of this movie learn in various, not-always-pleasant, ways.
In the mid-1800s, Ada (Holly Hunter) arrives on the stormy shores of New Zeland, a mute bride sold by her father to a British emigrant named Stewart (Sam Neill). In addition to a normal assortment of baggage, Ada brings with her eight-year old Flora (Anna Paquin), her illegitimate daughter, and a piano. Initially, Stewart declares that the piano is too bulky to move from the beach, and resists bringing it to his house despite Ada's wordless pleadings. Next, he sells it to fellow Englishman Baines (Harvey Keitel), a man who has embraced the local Maori ways. In addition to the piano, Baines wants a reluctant Ada as his teacher. When he offers her a deal to get the instrument back, she is unprepared for the price she must ultimately pay.
THE PIANO has powerful emotional themes resonating through it, all dealing with the release of repressed passion. Baines, who has embraced the native Maori methods of living, no longer clings to the values of British society, and is therefore quite capable of expressing himself freely--which he does, albeit in some strange ways. Stewart, however, views the Maori with suspicion and hostility and, in clinging to the tenants of English society, refuses to allow himself to feel until one violent moment when everything comes pouring out. Ada, hampered as much by her lack of voice as by social pressures, is yearning to break free, and only through Baines does she find the courage to do so.
Jane Campion's story is often stirring and occasionally gut-wrenching; the latter perhaps to a fault. There is a single visceral scene in this movie which becomes the most stark and enduring image taken from the theater. While definitely an expression of passion, this is perhaps not intended as the single defining moment of THE PIANO, although it may be remembered as such.
Symbolism abounds, and most of it is clear enough for even the casual viewer to grasp. Ada's piano is obviously more than a source of music - it is her voice; her only means of expressing herself. The Maori society is representative of released inhibitions. Stewart's rejection of this, like Baines' acceptance, defines the basis of who he is. The final scenes of THE PIANO abound with symbols, the recognition of which will help in understanding all the facets of the ending.
The three main actors give dazzling performances. Everything previously written about Holly Hunter is true. To be able to convey this much energy and emotion without ever speaking a word (except in a pair of short voiceovers) requires someone of astonishing talent and ability. Hunter's Ada is every bit as powerful a presentation as Anthony Hopkins' Stevens in THE REMAINS OF THE DAY.
Harvey Keitel is as good, although the complexities of his character don't allow for quite as obvious a standout performance. Sam Neill has the most incomplete material to work from, but he does all he can with Stewart.
Like their adult counterparts, child actors come with varying ranges of ability. Anna Paquin is one of those who shows capabilities far beyond her years. While not in the category of a Valentina Scalici (from IL LADRO DI BAMBINI, and who I have stated is the best child performer I have ever seen), Ms. Paquin is ultimately believable in her role, and a great asset to the film. She compliments the main trio effectively.
As good as Ms. Campion's basic story is, both characterization and technical presentation are lacking. Taken in tandem, these flaws prevent THE PIANO from attaining its full potential.
While Ada is as fully-rounded as she can be, the others all have elements missing from their personalities. Stewart never attains three-dimensionality, despite Sam Neill's best attempts, and Baines is occasionally little more than a sounding board for Ada's emotions to reverberate off of. Flora's personality undergoes a radical shift that, at best, is only partially-motivated by what we see on screen.
The editing of THE PIANO is choppy, at times causing the narrative to seem disjointed or confusing. More than one transition is jarringly abrupt. There were several instances when my connection with the film was broken because of this.
It's odd that, with a name like THE PIANO, one of the weaknesses is the score. There are instances when Michael Nyman's themes are inappropriate for the scenes where they are used, and it has been pointed out to me that the New Age strains coming from Ada's instrument have no place during the time period in which THE PIANO is supposed to have taken place.
THE PIANO is a good film with a potent message and occasional splashes of genius, but it is not remarkable experience, except perhaps where Holly Hunter's performance is concerned. While it's true that individuals will attribute different importance to the various flaws, there exists the distinct possibility that those going to see THE PIANO with the expectation of watching the best movie of the year, will leave the theater disappointed.
- James Berardinelli<EMAIL_ADDRESS>.
The review above was posted to the
rec.arts.movies.reviews newsgroup (de.rec.film.kritiken for German reviews).
The Internet Movie Database accepts no responsibility for the contents of the
review and has no editorial control. Unless stated otherwise, the copyright
belongs to the author.
Please direct comments/criticisms of the review to relevant newsgroups.
Broken URLs inthe reviews are the responsibility of the author.
The formatting of the review is likely to differ from the original due
to ASCII to HTML conversion.
Related links: index of all rec.arts.movies.reviews reviews


YARN commands are invoked by the bin/yarn script. Running the yarn script without any arguments prints the description for all commands.
Usage: yarn [--config confdir] COMMAND [--loglevel loglevel] [GENERIC_OPTIONS] [COMMAND_OPTIONS]
YARN has an option parsing framework that employs parsing generic options as well as running classes.
| COMMAND_OPTIONS | Description |
|---|---|
| --config confdir | Overwrites the default Configuration directory. Default is ${HADOOP_PREFIX}/conf. |
| --loglevel loglevel | Overwrites the log level. Valid log levels are FATAL, ERROR, WARN, INFO, DEBUG, and TRACE. Default is INFO. |
| GENERIC_OPTIONS | The common set of options supported by multiple commands. See the Hadoop Commands Manual for more information. |
| COMMAND COMMAND_OPTIONS | Various commands with their options are described in the following sections. The commands have been grouped into User Commands and Administration Commands. |
Commands useful for users of a Hadoop cluster.
Usage: yarn application [options]
| COMMAND_OPTIONS | Description |
|---|---|
| -appId <ApplicationId> | Specify Application Id to be operated |
| -appStates <States> | Works with -list to filter applications based on input comma-separated list of application states. The valid application state can be one of the following: ALL, NEW, NEW_SAVING, SUBMITTED, ACCEPTED, RUNNING, FINISHED, FAILED, KILLED |
| -appTypes <Types> | Works with -list to filter applications based on input comma-separated list of application types. |
| -list | Lists applications from the RM. Supports optional use of -appTypes to filter applications based on application type, and -appStates to filter applications based on application state. |
| -kill <ApplicationId> | Kills the application. |
| -status <ApplicationId> | Prints the status of the application. |
| -updatePriority <Priority> | Update priority of an application. ApplicationId can be passed using ‘appId’ option. |
Prints application(s) report/kill application
Usage: yarn applicationattempt [options]
| COMMAND_OPTIONS | Description |
|---|---|
| -help | Help |
| -list <ApplicationId> | Lists applications attempts for the given application. |
| -status <Application Attempt Id> | Prints the status of the application attempt. |
prints applicationattempt(s) report
Usage: yarn classpath [--glob |--jar <path> |-h |--help]
| COMMAND_OPTION | Description |
|---|---|
| --glob | expand wildcards |
| --jar path | write classpath as manifest in jar named path |
| -h, --help | print help |
Prints the class path needed to get the Hadoop jar and the required libraries. If called without arguments, then prints the classpath set up by the command scripts, which is likely to contain wildcards in the classpath entries. Additional options print the classpath after wildcard expansion or write the classpath into the manifest of a jar file. The latter is useful in environments where wildcards cannot be used and the expanded classpath exceeds the maximum supported command line length.
Usage: yarn container [options]
| COMMAND_OPTIONS | Description |
|---|---|
| -help | Help |
| -list <Application Attempt Id> | Lists containers for the application attempt. |
| -status <ContainerId> | Prints the status of the container. |
prints container(s) report
Usage: yarn jar <jar> [mainClass] args...
Runs a jar file. Users can bundle their YARN code in a jar file and execute it using this command.
Usage: yarn logs -applicationId <application ID> [options]
| COMMAND_OPTIONS | Description |
|---|---|
| -applicationId <application ID> | Specifies an application id |
| -appOwner <AppOwner> | AppOwner (assumed to be current user if not specified) |
| -containerId <ContainerId> | ContainerId (must be specified if node address is specified) |
| -help | Help |
| -nodeAddress <NodeAddress> | NodeAddress in the format nodename:port (must be specified if container id is specified) |
Dump the container logs
Usage: yarn node [options]
| COMMAND_OPTIONS | Description |
|---|---|
| -all | Works with -list to list all nodes. |
| -list | Lists all running nodes. Supports optional use of -states to filter nodes based on node state, and -all to list all nodes. |
| -states <States> | Works with -list to filter nodes based on input comma-separated list of node states. |
| -status <NodeId> | Prints the status report of the node. |
Prints node report(s)
Commands useful for administrators of a Hadoop cluster.
Usage:
yarn daemonlog -getlevel <host:httpport> <classname> yarn daemonlog -setlevel <host:httpport> <classname> <level>
| COMMAND_OPTIONS | Description |
|---|---|
| -getlevel <host:httpport> <classname> | Prints the log level of the log identified by a qualified <classname>, in the daemon running at <host:httpport>. This command internally connects to http://<host:httpport>/logLevel?log=<classname> |
| -setlevel <host:httpport> <classname> <level> | Sets the log level of the log identified by a qualified <classname> in the daemon running at <host:httpport>. This command internally connects to http://<host:httpport>/logLevel?log=<classname>&level=<level> |
Get/Set the log level for a Log identified by a qualified class name in the daemon.
Example: $ bin/yarn daemonlog -setlevel <IP_ADDRESS>:8088 org.apache.hadoop.yarn.server.resourcemanager.rmapp.RMAppImpl DEBUG
Usage: yarn resourcemanager [-format-state-store]
| COMMAND_OPTIONS | Description |
|---|---|
| -format-state-store | Formats the RMStateStore. This will clear the RMStateStore and is useful if past applications are no longer needed. This should be run only when the ResourceManager is not running. |
| -remove-application-from-state-store <appId> | Remove the application from RMStateStore. This should be run only when the ResourceManager is not running. |
Start the ResourceManager
Usage:
Usage: yarn rmadmin -refreshQueues -refreshNodes [-g [timeout in seconds]] -refreshNodesResources -refreshSuperUserGroupsConfiguration -refreshUserToGroupsMappings -refreshAdminAcls -refreshServiceAcl -getGroups [username] -addToClusterNodeLabels <"label1(exclusive=true),label2(exclusive=false),label3"> -removeFromClusterNodeLabels <label1,label2,label3> (label splitted by ",") -replaceLabelsOnNode <"node1[:port]=label1,label2 node2[:port]=label1,label2"> [-failOnUnknownNodes] -directlyAccessNodeLabelStore -refreshClusterMaxPriority -updateNodeResource [NodeID] [MemSize] [vCores] ([OvercommitTimeout]) -transitionToActive [--forceactive] <serviceId> -transitionToStandby <serviceId> -failover [--forcefence] [--forceactive] <serviceId> <serviceId> -getServiceState <serviceId> -checkHealth <serviceId> -help [cmd]
| COMMAND_OPTIONS | Description |
|---|---|
| -refreshQueues | Reload the queues’ acls, states and scheduler specific properties. ResourceManager will reload the mapred-queues configuration file. |
| -refreshNodes | Refresh the hosts information at the ResourceManager. |
| -refreshNodesResources | Refresh resources of NodeManagers at the ResourceManager. |
| -refreshSuperUserGroupsConfiguration | Refresh superuser proxy groups mappings. |
| -refreshUserToGroupsMappings | Refresh user-to-groups mappings. |
| -refreshAdminAcls | Refresh acls for administration of ResourceManager |
| -refreshServiceAcl | Reload the service-level authorization policy file ResourceManager will reload the authorization policy file. |
| -getGroups [username] | Get groups the specified user belongs to. |
| -addToClusterNodeLabels <“label1(exclusive=true),label2(exclusive=false),label3”> | Add to cluster node labels. Default exclusivity is true. |
| -removeFromClusterNodeLabels <label1,label2,label3> (label splitted by “,”) | Remove from cluster node labels. |
| -replaceLabelsOnNode <“node1[:port]=label1,label2 node2[:port]=label1,label2”> [-failOnUnknownNodes] | Replace labels on nodes (please note that we do not support specifying multiple labels on a single host for now.) -failOnUnknownNodes is optional, when we set this option, it will fail if specified nodes are unknown. |
| -directlyAccessNodeLabelStore | This is DEPRECATED, will be removed in future releases. Directly access node label store, with this option, all node label related operations will not connect RM. Instead, they will access/modify stored node labels directly. By default, it is false (access via RM). AND PLEASE NOTE: if you configured yarn.node-labels.fs-store.root-dir to a local directory (instead of NFS or HDFS), this option will only work when the command run on the machine where RM is running. |
| -refreshClusterMaxPriority | Refresh cluster max priority |
| -updateNodeResource [NodeID] [MemSize] [vCores] ([OvercommitTimeout]) | Update resource on specific node. |
| -transitionToActive [–forceactive] [–forcemanual] <serviceId> | Transitions the service into Active state. Try to make the target active without checking that there is no active node if the –forceactive option is used. This command can not be used if automatic failover is enabled. Though you can override this by –forcemanual option, you need caution. This command can not be used if automatic failover is enabled. |
| -transitionToStandby [–forcemanual] <serviceId> | Transitions the service into Standby state. This command can not be used if automatic failover is enabled. Though you can override this by –forcemanual option, you need caution. |
| -failover [–forceactive] <serviceId1> <serviceId2> | Initiate a failover from serviceId1 to serviceId2. Try to failover to the target service even if it is not ready if the –forceactive option is used. This command can not be used if automatic failover is enabled. |
| -getServiceState <serviceId> | Returns the state of the service. |
| -checkHealth <serviceId> | Requests that the service perform a health check. The RMAdmin tool will exit with a non-zero exit code if the check fails. |
| -help [cmd] | Displays help for the given command or all commands if none is specified. |
Runs ResourceManager admin client


Hacking game
Messages:
Resources
Cash:
$
Hacks per/s
:
Revenue per hack
: $
Manual Hack
Items
Single board Computer
Quantity
:
Next upgrade at
Cost:
$
Description
: adds
hacks per/s.
Buy
Upgrades


Hi, I'm Wojtek!
Web developer from Poland, focused on front-end, but aiming to become full-stack developer. Feel free to check out my projects down below. I'm currently looking for an entry-level position or an internship.
resumeWhat do I use?
I have experience in the following tools and technologies:
- HTML5
- CSS3
- JavaScript
- jQuery
- Sass
- React
- Adobe Xd
- Git
- Node.js
Currently learning Sass.
My projects
Some of projects I have created:
Coniunctum App
Coniunctum is couples-focused web app which allows to communicate with your other half and keep track of relationship events.
Technologies:
Weather App
WeatherApp is using openweathermap API. It delivers current and 5 days forecast info based on localization or provided city name.
Technologies:
Contact
If you like my work or have any question, please feel free to contact me.


This example processes an stream of inputs using a TransformStream
inside a page script.
A small delay is added between each chunk using setTimeout
, such that the page can be repainted
after receiving a result.
However, the page is still unresponsive while processing each chunk, since all processing happens on the main
thread.


Now that we have almost reached the end of the CS50x course,
I would like to use this website to list my top three favourite problems that we all have come across
in the psets of this course.
Along with the problems I would also like to give a discription
of the ups and downs along with the specialities of the problem.
Well, the choice is not easy as most of the problems were equally challenging
and all the more interesting. But here goes: