Journal articles on the topic 'Abramsky'

To see the other types of publications on this topic, follow the link: Abramsky.

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Abramsky.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

HYTTINEN, TAPANI, GIANLUCA PAOLINI, and JOUKO VÄÄNÄNEN. "QUANTUM TEAM LOGIC AND BELL’S INEQUALITIES." Review of Symbolic Logic 8, no. 4 (June 11, 2015): 722–42. http://dx.doi.org/10.1017/s1755020315000192.

Full text
Abstract:
AbstractA logical approach to Bell’s Inequalities of quantum mechanics has been introduced by Abramsky and Hardy (Abramsky & Hardy, 2012). We point out that the logical Bell’s Inequalities of Abramsky & Hardy (2012) are provable in the probability logic of Fagin, Halpern and Megiddo (Fagin et al., 1990). Since it is now considered empirically established that quantum mechanics violates Bell’s Inequalities, we introduce a modified probability logic, that we call quantum team logic, in which Bell’s Inequalities are not provable, and prove a Completeness theorem for this logic. For this end we generalise the team semantics of dependence logic (Väänänen, 2007) first to probabilistic team semantics, and then to what we call quantum team semantics.
APA, Harvard, Vancouver, ISO, and other styles
2

HAGHVERDI, ESFANDIAR. "Unique decomposition categories, Geometry of Interaction and combinatory logic." Mathematical Structures in Computer Science 10, no. 2 (April 2000): 205–30. http://dx.doi.org/10.1017/s0960129599003035.

Full text
Abstract:
In another paper (Abramsky et al. 1999), we have developed Abramsky's analysis of Girard's Geometry of Interaction programme in detail. In this paper, our goal is to study the data ow based computational aspects of that analysis. We introduce unique decomposition categories that provide a suitable categorical framework for such computational analysis. The current study also serves to establish connections with the work on proof nets and paths by Girard and Danos and Regnier in this categorical setting. The latter goal is partially achieved here by the presentation of categorical models for dynamic algebras.
APA, Harvard, Vancouver, ISO, and other styles
3

Milner, Robin. "Functions as processes." Mathematical Structures in Computer Science 2, no. 2 (June 1992): 119–41. http://dx.doi.org/10.1017/s0960129500001407.

Full text
Abstract:
This paper exhibits accurate encodings of the λ-calculus in the π-calculus. The former is canonical for calculation with functions, while the latter is a recent step (Milner et al. 1989) towards a canonical treatment of concurrent processes. With quite simple encodings, two λ-calculus reduction strategies are simulated very closely; each reduction in λ-calculus is mimicked by a short sequence of reductions in π-calculus. Abramsky's precongruence of applicative bisimulation (Abramsky 1989) over λ-calculus is compared with that induced by the encoding of the lazy λ-calculus into π-calculus; a similar comparison is made for call-by-value λ-calculus.
APA, Harvard, Vancouver, ISO, and other styles
4

Paperno, Denis. "Conjunction is Parallel Computation." Semantics and Linguistic Theory 22 (April 3, 2015): 403. http://dx.doi.org/10.3765/salt.v22i0.2630.

Full text
Abstract:
This paper proposes a new, game theoretical, analysis of conjunction which provides a single logical translation of AND in its sentential, predicate, and NP uses, including both Boolean and non-Boolean cases. In essence it analyzes conjunction as parallel composition, based on game-theoretic semantics and logical syntax by Abramsky (2007).
APA, Harvard, Vancouver, ISO, and other styles
5

Paperno, Denis. "Conjunction is Parallel Computation." Semantics and Linguistic Theory 22 (September 3, 2012): 403. http://dx.doi.org/10.3765/salt.v22i0.3160.

Full text
Abstract:
This paper proposes a new, game theoretical, analysis of conjunction which provides a single logical translation of and in its sentential, predicate, and NP uses, including both Boolean and non-Boolean cases. In essence it analyzes conjunction as parallel composition, based on game-theoretic semantics and logical syntax by Abramsky (2007).
APA, Harvard, Vancouver, ISO, and other styles
6

Löwe, Heinz-Dietrich. "Jewish History: Essays in Honour of Chimen Abramsky." Journal of Jewish Studies 40, no. 2 (October 1, 1989): 272–74. http://dx.doi.org/10.18647/1503/jjs-1989.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Rapoport-Albert, Ada. "Chimen Abramsky 12 September 1916–14 March 2010." Polin: Studies in Polish Jewry 24, no. 1 (January 2012): 427–29. http://dx.doi.org/10.3828/polin.2012.24.427.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

HASUO, ICHIRO, and BART JACOBS. "Traces for coalgebraic components." Mathematical Structures in Computer Science 21, no. 2 (March 25, 2011): 267–320. http://dx.doi.org/10.1017/s0960129510000551.

Full text
Abstract:
This paper contributes a feedback operator, in the form of a monoidal trace, to the theory of coalgebraic, state-based modelling of components. The feedback operator on components is shown to satisfy the trace axioms of Joyal, Street and Verity. We employ McCurdy's tube diagrams, which are an extension of standard string diagrams for monoidal categories, to represent and manipulate component diagrams. The microcosm principle then yields a canonical ‘inner’ traced monoidal structure on the category of resumptions (elements of final coalgebras/components). This generalises an observation by Abramsky, Haghverdi and Scott.
APA, Harvard, Vancouver, ISO, and other styles
9

Bonsangue, Marcello M., and Joost N. Kok. "Toward an Infinitary Logic of Domains: Abramsky Logic for Transition Systems." Information and Computation 155, no. 1-2 (November 1999): 170–201. http://dx.doi.org/10.1006/inco.1999.2827.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

BELLIN, GIANLUIGI. "Subnets of proof-nets in multiplicative linear logic with MIX." Mathematical Structures in Computer Science 7, no. 6 (December 1997): 663–69. http://dx.doi.org/10.1017/s0960129597002326.

Full text
Abstract:
This paper studies the properties of the subnets of a proof-net for first-order Multiplicative Linear Logic without propositional constants (MLL−), extended with the rule of Mix: from [vdash ]Γ and [vdash ]Δ infer [vdash ]Γ, Δ. Asperti's correctness criterion and its interpretation in terms of concurrent processes are extended to the first-order case. The notions of kingdom and empire of a formula are extended from MLL− to MLL−+MIX. A new proof of the sequentialization theorem is given. As a corollary, a system of proof-nets is given for De Paiva and Hyland's Full Intuitionistic Linear Logic with Mix; this result gives a general method for translating Abramsky-style term assignments into proof-nets, and vice versa.
APA, Harvard, Vancouver, ISO, and other styles
11

WADLER, PHILIP. "Propositions as sessions." Journal of Functional Programming 24, no. 2-3 (January 31, 2014): 384–418. http://dx.doi.org/10.1017/s095679681400001x.

Full text
Abstract:
AbstractContinuing a line of work by Abramsky (1994), Bellin and Scott (1994), and Caires and Pfenning (2010), among others, this paper presents CP, a calculus, in which propositions of classical linear logic correspond to session types. Continuing a line of work by Honda (1993), Hondaet al. (1998), and Gay & Vasconcelos (2010), among others, this paper presents GV, a linear functional language with session types, and a translation from GV into CP. The translation formalises for the first time a connection between a standard presentation of session types and linear logic, and shows how a modification to the standard presentation yields a language free from races and deadlock, where race and deadlock freedom follows from the correspondence to linear logic.
APA, Harvard, Vancouver, ISO, and other styles
12

Kujala, Janne V., and Ehtibar N. Dzhafarov. "Measures of contextuality and non-contextuality." Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 377, no. 2157 (September 16, 2019): 20190149. http://dx.doi.org/10.1098/rsta.2019.0149.

Full text
Abstract:
We discuss three measures of the degree of contextuality in contextual systems of dichotomous random variables. These measures are developed within the framework of the Contextuality-by-Default (CbD) theory, and apply to inconsistently connected systems (those with ‘disturbance’ allowed). For one of these measures of contextuality, presented here for the first time, we construct a corresponding measure of the degree of non-contextuality in non-contextual systems. The other two CbD-based measures do not suggest ways in which degree of non-contextuality of a non-contextual system can be quantified. We find the same to be true for the contextual fraction measure developed by Abramsky, Barbosa and Mansfield. This measure of contextuality is confined to consistently connected systems, but CbD allows one to generalize it to arbitrary systems. This article is part of the theme issue ‘Contextuality and probability in quantum mechanics and beyond’.
APA, Harvard, Vancouver, ISO, and other styles
13

Mazzari, André, Gabriel Ruffolo, Carlos Vieira, Tassius Temistocles, Rafael Rabelo, and Marcelo Terra Cunha. "Generalized Bell Scenarios: Disturbing Consequences on Local-Hidden-Variable Models." Entropy 25, no. 9 (August 30, 2023): 1276. http://dx.doi.org/10.3390/e25091276.

Full text
Abstract:
Bell nonlocality and Kochen–Specker contextuality are among the main topics in the foundations of quantum theory. Both of them are related to stronger-than-classical correlations, with the former usually referring to spatially separated systems, while the latter considers a single system. In recent works, a unified framework for these phenomena was presented. This article reviews, expands, and obtains new results regarding this framework. Contextual and disturbing features inside the local models are explored, which allows for the definition of different local sets with a non-trivial relation among them. The relations between the set of quantum correlations and these local sets are also considered, and post-quantum local behaviours are found. Moreover, examples of correlations that are both local and non-contextual but such that these two classical features cannot be expressed by the same hidden variable model are shown. Extensions of the Fine–Abramsky–Brandenburger theorem are also discussed.
APA, Harvard, Vancouver, ISO, and other styles
14

Tollet, Daniel. "Chimien Abramsky, Maciej Jachimczyk, Antony Polonsky, The Jews in Poland, Oxford, Basil Blackwell, 1986, 264 p." Annales. Histoire, Sciences Sociales 43, no. 1 (February 1988): 219–21. http://dx.doi.org/10.1017/s0395264900070906.

Full text
APA, Harvard, Vancouver, ISO, and other styles
15

Qurashi, Saqib Mazher, Ferdous Tawfiq, Qin Xin, Rani Sumaira Kanwal, and Khushboo Zahra Gilani. "Different characterization of soft substructures in quantale modules dependent on soft relations and their approximations." AIMS Mathematics 8, no. 5 (2023): 11684–708. http://dx.doi.org/10.3934/math.2023592.

Full text
Abstract:
<abstract> <p>The quantale module introduced by Abramsky and Vickers, engaged a large number of researchers. This research article focuses the combined behavior of rough set, soft set and an algebraic structure quantale module with the left action. In fact, the paper reflects the generalization of rough soft sets. This combined effect is totally dependent on soft binary relation including aftersets and foresets. Different soft substructures in quantale modules are defined. The characterizations of soft substructures in quantale modules based on soft binary relation are presented. Further, in quantale modules, we define soft compatible and soft complete relations in terms of aftersets and foresets. Furthermore, we use soft compatible and soft complete relations to approximate soft substructures of quantale modules and these approximations are interpreted by aftersets and foresets. This concept generalizes the concept of rough soft quantale modules. Additionally, we describe the algebraic relationships between the upper (lower) approximations of soft substructures of quantale modules and the upper (lower) approximations of their homomorphic images using the concept of soft quantale module homomorphism.</p> </abstract>
APA, Harvard, Vancouver, ISO, and other styles
16

Graffy, Elisabeth A. "Sparking a Worldwide Energy Revolution: Social Struggles in the Transition to a Post-Petrol World - By Kolya Abramsky." Review of Policy Research 29, no. 2 (March 2012): 309–11. http://dx.doi.org/10.1111/j.1541-1338.2011.00555_1.x.

Full text
APA, Harvard, Vancouver, ISO, and other styles
17

Resta, Robert G. "Prenatal diagnosis: The human side. L. Abramsky and J. Chapple, Editors Chapman and Hall, London, 1994, 228 pp." American Journal of Medical Genetics 57, no. 3 (July 3, 1995): 513. http://dx.doi.org/10.1002/ajmg.1320570338.

Full text
APA, Harvard, Vancouver, ISO, and other styles
18

BOUDOL, GÉRARD, PIERRE-LOUIS CURIEN, and CAROLINA LAVATELLI. "A semantics for lambda calculi with resources." Mathematical Structures in Computer Science 9, no. 4 (August 1999): 437–82. http://dx.doi.org/10.1017/s0960129599002893.

Full text
Abstract:
We present the λ-calculus with resources λr, and two variants of it: a deterministic restriction λm and an extension λcr with a convergence testing operator. These calculi provide a control on the substitution process – deadlocks may arise if not enough resources are available to carry out all the substitutions needed to pursue a computation. The design of these calculi was motivated by Milner's encoding of the λ-calculus in the π-calculus. As Boudol and Laneve have shown elsewhere, the discriminating power of λm (given by the contextual observational equivalence) over λ-terms coincides with that induced by Milner's π-encoding, and coincides also with that provided by the lazy algebraic semantics (Lévy–Longo trees). The main contribution of this paper is model-theoretic. We define and solve an appropriate domain equation, and show that the model thus obtained is fully abstract with respect to λcr. The techniques used are in the line of those used by Abramsky for the lazy λ-calculus, the main departure being that the resource-consciousness of our calculi leads us to introduce a non-idempotent form of intersection types.
APA, Harvard, Vancouver, ISO, and other styles
19

Reif, S. C., and M. Cogan. "Beer-Sheva, Studies by the Department of Bible and Ancient Near East II, Presented to Shmuel Abramsky on His Retirement." Vetus Testamentum 38, no. 4 (October 1988): 506. http://dx.doi.org/10.2307/1519327.

Full text
APA, Harvard, Vancouver, ISO, and other styles
20

Garcia, Jo. "Prenatal Diagnosis. The Human Side. Edited by Lenore Abramsky & Jean Chapple. Pp. 228. (Chapman & Hall, London, 1994.) £15.99." Journal of Biosocial Science 27, no. 3 (July 1995): 372. http://dx.doi.org/10.1017/s0021932000022914.

Full text
APA, Harvard, Vancouver, ISO, and other styles
21

Kessler, Seymour. "Book Review: Prenatal Diagnosis: The Human Side. Edited by Lenore Abramsky and Jean Chapple. Chapman & Hall, London, 1994, pp. 228." Journal of Genetic Counseling 6, no. 2 (June 1997): 267–68. http://dx.doi.org/10.1023/a:1025680623129.

Full text
APA, Harvard, Vancouver, ISO, and other styles
22

Ewald, Alec. "Conned: How Millions Went to Prison, Lost the Vote, and Helped Send George W. Bush to the White Houseby Sasha Abramsky." Political Science Quarterly 122, no. 2 (June 2007): 319. http://dx.doi.org/10.1002/j.1538-165x.2007.tb01619.x.

Full text
APA, Harvard, Vancouver, ISO, and other styles
23

Złotkowski, Piotr. "Zaścianek Szpakowszczyzna a geneza powstania osady młyńskiej Abramiki – uwagi historyczno-onomastyczne." Studia Interkulturowe Europy Środkowo-Wschodniej 12 (November 15, 2019): 144–55. http://dx.doi.org/10.5604/01.3001.0013.5620.

Full text
Abstract:
This article is a contribution to the study of historical settlement of the central part of Podlasie region in the vicinity of Brańsk. On the basis of available archival sources, the author reconstructed the history of the Abramiki mill village and also established that the local family of millers was a branch of the Szpak boyar clan. The subject of the study was also the problem of origin of the toponym Abramiki and the microtoponym Szpakowszczyzna and their relations on the extra-linguistic level. The paper also discusses historical anthroponyms used to identify the members of the Abramik family of millers.
APA, Harvard, Vancouver, ISO, and other styles
24

Harmon, Mark G. "Book Review: Abramsky, S. (2007). American Furies: Crime, Punishment, and Vengeance in the Age of Mass Imprisonment. Boston: Beacon Press. 240 pp." International Criminal Justice Review 20, no. 1 (February 16, 2010): 92–93. http://dx.doi.org/10.1177/0734016809331751.

Full text
APA, Harvard, Vancouver, ISO, and other styles
25

Wray, Julie. "Book ReviewsPrenatal diagnosis: the human side Lenore Abramsky, Jean Chappie Chapman and Hall 1994 Pp 228. Price £17.99 ISBN 0 41255 3600." British Journal of Midwifery 5, no. 7 (July 1997): 426. http://dx.doi.org/10.12968/bjom.1997.5.7.426.

Full text
APA, Harvard, Vancouver, ISO, and other styles
26

CURIEN, PIERRE-LOUIS. "Abstract Böhm trees." Mathematical Structures in Computer Science 8, no. 6 (December 1998): 559–91. http://dx.doi.org/10.1017/s0960129598002631.

Full text
Abstract:
We present a formalism of trees with pointers, called abstract Böhm trees, that provide a suitable abstract framework in which various cut-free proofs or normal terms of several λ-calculus based languages (including PCF and Parigot's λμ-calculus) can be faithfully encoded. A simple abstract machine called the View Abstract Machine (VAM) allows us to compute over abstract Böhm trees. The VAM is closely related to Coquand's interaction sequences and debates. The VAM execution over finite abstract Böhm trees always terminates. We next introduce an abstract notion of type that fits the purpose of guaranteeing that the VAM cannot go into deadlock, i.e., that it always reaches a satisfactory final state. Typed abstract Böhm trees can be turned into a category – more naturally a ‘multi-category’ where the domains of arrows are sets of named objects or records. We then go from the abstract to the concrete by giving examples. Our sets of abstract (typed) Böhm trees are relative to an alphabet and a set of types. By instantiating these two parameter sets appropriately, we recover, successively: (η-long) typed Böhm trees; PCF trees as considered in the game models of Hyland–Ong or of Abramsky–Jagadeesan–Malacaria; a notion of classical Böhm tree due to Herbelin that provides a classical version of PCF trees in the style of λμ-calculus; and, finally, cut-free proofs in Novikov's infinitary propositional logic as investigated by Coquand. In a companion paper, we investigate the operational aspects of (untyped) Böhm trees in more depth.
APA, Harvard, Vancouver, ISO, and other styles
27

HAMANO, MASAHIRO, and PHILIP SCOTT. "On geometry of interaction for polarized linear logic." Mathematical Structures in Computer Science 28, no. 10 (September 28, 2017): 1639–94. http://dx.doi.org/10.1017/s0960129517000196.

Full text
Abstract:
We present Geometry of Interaction (GoI) models for Multiplicative Polarized Linear Logic, MLLP, which is the multiplicative fragment of Olivier Laurent's Polarized Linear Logic. This is done by uniformly adding multi-points to various categorical models of GoI. Multi-points are shown to play an essential role in semantically characterizing the dynamics of proof networks in polarized proof theory. For example, they permit us to characterize the key feature of polarization, focusing, as well as being fundamental to our construction of concrete polarized GoI models.Our approach to polarized GoI involves following two independent studies, based on different categorical perspectives of GoI: (i)Inspired by the work of Abramsky, Haghverdi and Scott, a polarized GoI situation is defined in which multi-points are added to a traced monoidal category equipped with a reflexive object U. Using this framework, categorical versions of Girard's execution formula are defined, as well as the GoI interpretation of MLLP proofs. Running the execution formula is shown to characterize the focusing property (and thus polarities) as well as the dynamics of cut elimination.(ii)The Int construction of Joyal–Street–Verity is another fundamental categorical structure for modelling GoI. Here, we investigate it in a multi-pointed setting. Our presentation yields a compact version of Hamano–Scott's polarized categories, and thus denotational models of MLLP. These arise from a contravariant duality between monoidal categories of positive and negative objects, along with an appropriate bimodule structure (representing ‘non-focused proofs’) between them.Finally, as a special case of (ii) above, a compact model of MLLP is also presented based on Rel (the category of sets and relations) equipped with multi-points.
APA, Harvard, Vancouver, ISO, and other styles
28

DREYER, DEREK, GEORG NEIS, and LARS BIRKEDAL. "The impact of higher-order state and control effects on local relational reasoning." Journal of Functional Programming 22, no. 4-5 (August 15, 2012): 477–528. http://dx.doi.org/10.1017/s095679681200024x.

Full text
Abstract:
AbstractReasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relations, for reasoning about equivalence in the setting of increasingly realistic languages—languages nearly as complex as ML or Haskell. Much of the recent work in this direction has considered the interesting representation independence principles enabled by the use of local state, but it is also important to understand the principles that powerful features like higher-order state and control effects disable. This latter topic has been broached extensively within the framework of game semantics, resulting in what Abramsky dubbed the “semantic cube”: fully abstract game-semantic characterizations of various axes in the design space of ML-like languages. But when it comes to reasoning about many actual examples, game semantics does not yet supply a useful technique for proving equivalences.In this paper, we marry the aspirations of the semantic cube to the powerful proof method of step-indexed Kripke logical relations. Building on recent work of Ahmed et al. (2009), we define the first fully abstract logical relation for an ML-like language with recursive types, abstract types, general references and call/cc. We then show how, under orthogonal restrictions to the expressive power of our language—namely, the restriction to first-order state and/or the removal of call/cc—we can enhance the proving power of our possible-worlds model in correspondingly orthogonal ways, and we demonstrate this proving power on a range of interesting examples. Central to our story is the use of state transition systems to model the way in which properties of local state evolve over time.
APA, Harvard, Vancouver, ISO, and other styles
29

Rajska-Jurgiel, Ewa. "Ecology of mammalian communities. Book review. D. W. Morris, Z. Abramsky, B. J. Fox, M. R. Willig (Eds.), 1989: Patterns in the structure of mammalian communities. Lubbock, Texas Tech University Press. 266 pp." Acta Theriologica 36 (June 12, 1991): 367–68. http://dx.doi.org/10.4098/at.arch.91-38.

Full text
APA, Harvard, Vancouver, ISO, and other styles
30

B.Cohen, Gary. "TheJews in Poland. Edited by Chimen Abramsky, Maciej Jachimczyk, and Antony Polonsky. Oxford: Basil Blackwell Ltd., 1986. xii, 264 pp. $81.25 Cdn. Distributed in Canada by Oxford University Press, Don Mills, Ontario." Canadian-American Slavic Studies 23, no. 3 (1989): 357–59. http://dx.doi.org/10.1163/221023989x01454.

Full text
APA, Harvard, Vancouver, ISO, and other styles
31

Oroskhan, Muhammad Hussein, and Esmaeil Zohdi. "Nima Yushij's "Afsaneh" as a Striking Exemplar of the 'Greater Romantic Lyric'." International Letters of Social and Humanistic Sciences 66 (February 2016): 23–30. http://dx.doi.org/10.18052/www.scipress.com/ilshs.66.23.

Full text
Abstract:
Persian poetry lingered upon the old classical Persian prosody for more than a thousand year that it stagnated and stopped flowering new concepts and forms. However, Nima broke the dull and monotonous routine of Persian poetry by writing the first true modernist poem. When Nima's "Afsaneh" appeared, traditionalist adamantly opposed its new artistic and aesthetic view due to revealing some similarity with great European romantic examples. The similarity can never be considered as a weak point of "Afsaneh" because Nima has masterfully used European romantic elements to refresh the long-standing tradition of Persian poetry. In this respect, Nima has written his poetry consciously or unconsciously in the same poetic style of great European romantic poets. M. H. Abrams has labeled this poetic style "the greater romantic lyric". As a result, it is tried to examine Nima's "Afsaneh" with respect to Abrams's definition of "the greater romantic lyric" so as to prove that Nima's "Afsaneh" closely conform to this new poetic genre.
APA, Harvard, Vancouver, ISO, and other styles
32

Rentoul, Lynette, and Julie Wray. "Book reviewsBecoming a mother RT Mercer Springer Publishing 1995 Price £37.99 ISBN 0 8261 8660 2Prenatal Diagnosis — The Human Side Lenore Abramsky and Jean Chappie Chapman Hall 1994 Pp 228. Price £17.99 ISBN 0 412 553600." British Journal of Midwifery 4, no. 12 (December 1996): 621. http://dx.doi.org/10.12968/bjom.1996.4.12.621.

Full text
APA, Harvard, Vancouver, ISO, and other styles
33

Richter, D. "Pitt, D.; Abramsky, S.; Poigné, A.; Rydeheard, D. (eds.), Category Theory and Computer Programming. Tutorial and Workshop, Guildford, U.K., September 16–20, 1985, Proceedings. Berlin etc., Springer-Verlag 1986. VII, 519 S., DM 66.–. ISBN 3-540-17162-2 (Lecture Notes in Computer Science 240)." ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik 68, no. 1 (1988): 62. http://dx.doi.org/10.1002/zamm.19880680134.

Full text
APA, Harvard, Vancouver, ISO, and other styles
34

Whalen, D. H., and Laura L. Koenig. "Arthur S. Abramson." Language and Speech 61, no. 2 (June 2018): 334–36. http://dx.doi.org/10.1177/0023830918780146.

Full text
APA, Harvard, Vancouver, ISO, and other styles
35

Whalen, D. H., and Laura L. Koenig. "Arthur S. Abramson." Language 94, no. 4 (2018): 969–75. http://dx.doi.org/10.1353/lan.2018.0057.

Full text
APA, Harvard, Vancouver, ISO, and other styles
36

ABRAMS, KYM M., JOEL A. HUEY, MIA J. HILLYER, RAPHAEL K. DIDHAM, and MARK S. HARVEY. "A systematic revision of Draculoides (Schizomida: Hubbardiidae) of the Pilbara, Western Australia, Part I: the Western Pilbara." Zootaxa 4864, no. 1 (October 22, 2020): 1–75. http://dx.doi.org/10.11646/zootaxa.4864.1.1.

Full text
Abstract:
The schizomid fauna of mainland Australia currently comprises 60 species within seven named genera, of which five are endemic to the continent: Attenuizomus Harvey, 2000, Brignolizomus Harvey, 2000, Draculoides Harvey, 1992, Julattenius Harvey, 1992, Notozomus Harvey, 2000. Most Australian schizomids have been described from eastern and northern Australia, but there is also a significant subterranean fauna that has been found in hypogean habitats in the semi-arid Pilbara region of Western Australia. The vast majority of these species can be assigned to the genus Draculoides and this study is the first in a proposed series to revise this highly diverse genus. We treat the species found in the western Pilbara region, which includes 13 new species and 13 previously named species, using morphological characters and multi-locus sequence data. We also incorporate a molecular “mini-barcode” approach for COI, 12S and ITS2 to diagnose the new species. The new species are named: Draculoides akashae Abrams and Harvey, n. sp., D. belalugosii Abrams and Harvey, n. sp., D. carmillae Abrams and Harvey, n. sp., D. christopherleei Abrams and Harvey, n. sp., D. claudiae Abrams and Harvey, n. sp., D. immortalis Abrams and Harvey, n. sp., D. karenbassettae Abrams and Harvey, n. sp., D. mckechnieorum Abrams and Harvey, n. sp., D. minae Abrams and Harvey, n. sp., D. noctigrassator Abrams and Harvey, n. sp., D. nosferatu Abrams and Harvey, n. sp., D. piscivultus Abrams and Harvey, n. sp. and D. warramboo Abrams and Harvey, n. sp. We also provide the first descriptions of males of D. anachoretus (Harvey, Berry, Edward and Humphreys, 2008) and D. gnophicola (Harvey, Berry, Edward and Humphreys, 2008). All of the new species are subterranean-dwelling, short-range endemic species that occur in regions subject to mining activities, rendering them of high conservation significance.
APA, Harvard, Vancouver, ISO, and other styles
37

Abramson, Arthur S. "The perception of word-initial consonant length: Pattani Malay." Journal of the International Phonetic Association 16, no. 1 (June 1986): 8–16. http://dx.doi.org/10.1017/s0025100300003054.

Full text
Abstract:
In experimental phonetic research, we often come across cases of multiple perceptual cues to a phonemic distinction, even though this distinction may be seen traditionally as dependent on some single phonetic feature. The question arises as to the relative power of these cues. How equally do they share the burden of communicative relevance? For example, among the several cues that emanate from the timing of the valvular action of the larynx (Lisker and Abramson (1965); Abramson (1977)), fundamental-frequency perturbations (House and Fairbanks (1953)) have been shown by some studies, apparently starting with Haggard, Ambler and Callow (1970) and Fujimura (1971), to help in the perceptual differentiation of voiced and voiceless stop consonants; however, recent work (Abramson and Lisker (1985)) suggests that this cue has very limited efficacy compared with other acoustic consequences of voice timing.
APA, Harvard, Vancouver, ISO, and other styles
38

Kuh, Anthony, and Norman Abramson. "In Memoriam: Norman Abramson." IEEE Communications Magazine 59, no. 1 (January 2021): 6–7. http://dx.doi.org/10.1109/mcom.2021.9356522.

Full text
APA, Harvard, Vancouver, ISO, and other styles
39

McCabe, Brian F. "Maxwell Abramson, 1935–1991." Annals of Otology, Rhinology & Laryngology 100, no. 11 (November 1991): 956. http://dx.doi.org/10.1177/000348949110001118.

Full text
APA, Harvard, Vancouver, ISO, and other styles
40

Lurigio, Arthur J. "Forty Years After Abramson." International Journal of Offender Therapy and Comparative Criminology 57, no. 7 (June 5, 2013): 763–65. http://dx.doi.org/10.1177/0306624x13490142.

Full text
APA, Harvard, Vancouver, ISO, and other styles
41

Whalen, D. H. "Obituary: Arthur S. Abramson." Journal of Phonetics 72 (January 2019): 83–84. http://dx.doi.org/10.1016/j.wocn.2019.01.001.

Full text
APA, Harvard, Vancouver, ISO, and other styles
42

Kahan, Dan M. "Response to Professor Abramson." Federal Sentencing Reporter 12, no. 1 (July 1, 1999): 59. http://dx.doi.org/10.2307/20640220.

Full text
APA, Harvard, Vancouver, ISO, and other styles
43

EVENS, RONALD G. "Charles L. Abramson, MD." Radiology 168, no. 2 (August 1988): 584. http://dx.doi.org/10.1148/radiology.168.2.584-b.

Full text
APA, Harvard, Vancouver, ISO, and other styles
44

McDermott, Vincent. "Abrams’ Angiography." Journal of Vascular and Interventional Radiology 9, no. 3 (May 1998): 486–94. http://dx.doi.org/10.1016/s1051-0443(98)70304-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
45

Ningsih, Iin Surya, and Aniswatun Khasanah. "Muslim Mukalaf Menurut Kiai Hasan Dimejo (Analisis Pragmatik pada Manuskrip Haqqul Islam)." Jumantara: Jurnal Manuskrip Nusantara 14, no. 2 (November 30, 2023): 175–86. http://dx.doi.org/10.37014/jumantara.v14i2.3519.

Full text
Abstract:
This research examined the Haqqul Islam (HI) manuscript by Kiai Hasan Dimejo. The manuscript belongs to KH. Amin Ridlo and is stored in the Manbaul Anwar Islamic Boarding School, Krasak Mojotengah Village, Wonosobo. The manuscript has been digitized and can be accessed through the website https://lektur.kemenag.go.id/ with the collection code LKK_WONOSOBO2015_MAR04. Apart from editing the text of Haqqul Islam, this research aims to explain the obligations of mukalaf Muslims according to the views of Kiai Hasan Dimejo. Apart from that, it was stated that the contents of the manuscripts were considered important because they contained a description of the flow of Islamic preaching during the pre-independence period and were the beginning of the birth of the oldest Islamic congregation in Indonesia. This research was conducted using descriptive and qualitative methods. The contents of the text were analyzed by referring to the theory of philology to describe the content of the text and combined with Abrams's pragmatic approach to reveal the values contained in the text. There are 21 points on the obligations of Muslim Mukalaf, according to Kiai Hasan Dimejo in this manuscript. Through analysis using the pragmatic approach of the Abrams model, it can be concluded that the HI manuscript contains five nuances of meaning, namely nuances of religious meaning, nuances of educational meaning, nuances of social meaning, nuances of linguistic meaning, and nuances of doctrinal meaning. The results of this research are in the form of information for the public and also make it easier for them to understand and apply the teachings contained in the HI manuscript regarding the obligations of a Muslim Mukalaf.
APA, Harvard, Vancouver, ISO, and other styles
46

Abramson, Paula. "Virtual training for midwives during a pandemic." British Journal of Midwifery 28, no. 8 (August 2, 2020): 502–3. http://dx.doi.org/10.12968/bjom.2020.28.8.502.

Full text
APA, Harvard, Vancouver, ISO, and other styles
47

Abramson, Paula. "Coping with baby loss as a midwife." British Journal of Midwifery 27, no. 12 (December 2, 2019): 800–801. http://dx.doi.org/10.12968/bjom.2019.27.12.800.

Full text
APA, Harvard, Vancouver, ISO, and other styles
48

Raphael, Lawrence J. "Lisker and Abramson: Teaching researchers." Journal of the Acoustical Society of America 115, no. 5 (May 2004): 2463. http://dx.doi.org/10.1121/1.4782368.

Full text
APA, Harvard, Vancouver, ISO, and other styles
49

BAILEY, B. J. "Max Abramson, MD, 1935-1991." Archives of Otolaryngology - Head and Neck Surgery 117, no. 7 (July 1, 1991): 717. http://dx.doi.org/10.1001/archotol.1991.01870190029007.

Full text
APA, Harvard, Vancouver, ISO, and other styles
50

Polenberg, Richard. "Progressivism and Anarchism: Judge Henry D. Clayton and the Abrams Trial." Law and History Review 3, no. 2 (1985): 397–408. http://dx.doi.org/10.2307/743635.

Full text
Abstract:
A highly symbolic confrontation occurred in a New York City courtroom on October 21, 1918. On the witness stand was Jacob Abrams, a thirty-two year old Russian immigrant, an alien, a Jew, a dedicated anarchist. On the bench sat Henry DeLamar Clayton, Jr., a sixty-one year old federal judge, a man who had represented Alabama in Congress for eighteen years, and who was an ardent Wilsonian progressive. Abrams, who came from Uman, a village near Odessa, had landed at Ellis Island in 1908. He worked as a bookbinder, and lived, in 1918, in a teeming, largely Jewish ghetto in East Harlem. Clayton's ancestors had emigrated to the colonies before the American Revolution. A fifth-generation American, he had lived, for most of his life, on his plantation near Eufala, a small town on the west bank of the Chattahoochee River. Now, Clayton was questioning the witness and Abrams was defending his anarchist beliefs. ‘This Government was built on a revolution’, Abrams said, ‘…When our forefathers of the American Revolution—’ That was as far as he got. ‘Your what?’ Judge Clayton interrupted. ‘My forefathers’, Abrams replied. ‘Do you mean to refer to the fathers of this nation as your forefathers?’ Clayton asked. Abrams said that indeed he did, that ‘we are all a big human family’ and ‘those that stand for the people, I call them father'. But the judge had made his point, and the jury had no doubt gotten it.
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography