JC

JC may refer to:

People with the given initials

Haplogroup J-M267

In Genetic genealogy and human genetics, Y DNA haplogroup J-M267, also commonly known as Haplogroup J1 is a subclade (branch) of Y-DNA haplogroup J-P209, (commonly known as Haplogroup J) along with its sibling clade Y DNA haplogroup J-M172 (commonly known as Haplogroup J2). (All these haplogroups have had other historical names listed below.)

Men from this lineage share a common paternal ancestor, which is demonstrated and defined by the presence of the SNP mutation referred to as M267, which was announced in (Cinnioğlu 2004). This haplogroup is found today in significant frequencies in many areas in order near the Middle East, and parts of the Caucasus, Sudan and Ethiopia. It is also found in high frequencies in parts of North Africa, Southern Europe, and amongst Jewish groups, especially those with Cohen surnames. It can also be found much less commonly, but still occasionally in significant amounts, throughout Europe and as far east as Central Asia and the Indian Subcontinent.

Java EE Connector Architecture

Java EE Connector Architecture (JCA) is a Java-based technology solution for connecting application servers and enterprise information systems (EIS) as part of enterprise application integration (EAI) solutions. While JDBC is specifically used to connect Java EE applications to databases, JCA is a more generic architecture for connection to legacy systems. JCA was developed under the Java Community Process as JSR 16 (JCA 1.0), JSR 112 (JCA 1.5) and JSR 322 (JCA 1.6).

JCA and Java EE

J2EE Version 1.3 requires application servers to support JCA Version 1.0. J2EE Version 1.4 requires application servers to support JCA Version 1.5. Java EE Version 6 requires application servers to support JCA version 1.6.

Contracts

The Java EE Connector Architecture defines a standard for connecting a compliant application server to an EIS. It defines a standard set of system-level contracts between the Java EE application server and a resource adapter. The system contracts defined by Version 1.0 of the Java EE Connector Architecture are described by the specification as follows:

Isabelle

Isabelle is a French feminine given name. It may refer to :

Isabelle (proof assistant)

The Isabelle theorem prover is an interactive theorem prover, a Higher Order Logic (HOL) theorem prover. It is an LCF-style theorem prover (written in Standard ML), so it is based on a small logical core to ease logical correctness. Isabelle is generic: it provides a meta-logic (a weak type theory), which is used to encode object logics like First-order logic (FOL), Higher-order logic (HOL) or Zermelo–Fraenkel set theory (ZFC). Isabelle's main proof method is a higher-order version of resolution, based on higher-order unification. Though interactive, Isabelle also features efficient automatic reasoning tools, such as a term rewriting engine and a tableaux prover, as well as various decision procedures. Isabelle has been used to formalize numerous theorems from mathematics and computer science, like Gödel's completeness theorem, Gödel's theorem about the consistency of the axiom of choice, the prime number theorem, correctness of security protocols, and properties of programming language semantics. The Isabelle theorem prover is free software, released under the revised BSD license.

Isabelle (disambiguation)

Isabelle may refer to:

Surname

Places

Other

See also