Open Access. Powered by Scholars. Published by Universities.®

Physical Sciences and Mathematics Commons™

Open Access. Powered by Scholars. Published by Universities.®

Journal

2013

Discipline
Institution
Keyword
Publication
File Type

Articles 31 - 60 of 1080

Full-Text Articles in Physical Sciences and Mathematics

Semantic And Conceptual Issues In Geographic Information Systems, Eliseo Clementini, Esteban Zimanyi Dec 2013

Semantic And Conceptual Issues In Geographic Information Systems, Eliseo Clementini, Esteban Zimanyi

Journal of Spatial Information Science

No abstract provided.

Go to article

Testing Ogc Web Feature And Coverage Service Performance: Towards Efficient Delivery Of Geospatial Data, Gregory Giuliani, Alain Dubois, Pierre Lacroix Dec 2013

Testing Ogc Web Feature And Coverage Service Performance: Towards Efficient Delivery Of Geospatial Data, Gregory Giuliani, Alain Dubois, Pierre Lacroix

Journal of Spatial Information Science

OGC Web Feature Service (WFS) and Web Coverage Service (WCS) specifications allow interoperable access to distributed geospatial data made available through spatial data infrastructures (SDIs). To ensure that a service is sufficiently responsive to fulfill users’ expectations and requirements performance of services must be measured and monitored to track latencies bottlenecks and errors that may negatively influence its over- all quality. Despite the importance of data retrieval and access little research has been published on this topic and mostly concentrates on the usability of services when integrating distributed data sources. Considering these issues this paper extends and validates the FOSS4G …

Go to article

Ancestor Worship In The Logic Of Games. How Foundational Were Aristotle's Contributions?, John Woods Dec 2013

Ancestor Worship In The Logic Of Games. How Foundational Were Aristotle's Contributions?, John Woods

Baltic International Yearbook of Cognition, Logic and Communication

Notwithstanding their technical virtuosity and growing presence in mainstream thinking, game theoretic logics have attracted a sceptical question: "Granted that logic can be done game theoretically, but what would justify the idea that this is the preferred way to do it?'' A recent suggestion is that at least part of the desired support might be found in the Greek dialectical writings. If so, perhaps we could say that those works possess a kind of foundational significance. The relation of being foundational for is interesting in its own right. In this paper, I explore its ancient applicability to relevant, paraconsistent and …

Go to article

Games And Logic, Gabriel Sandu Dec 2013

Games And Logic, Gabriel Sandu

Baltic International Yearbook of Cognition, Logic and Communication

The idea behind these games is to obtain an alternative characterization of logical notions cherished by logicians such as truth in a model, or provability (in a formal system). We offer a quick survey of Hintikka's evaluation games, which offer an alternative notion of truth in a model for first-order langauges. These are win-lose, extensive games of perfect information. We then consider a variation of these games, IF games, which are win-lose extensive games of imperfect information. Both games presuppose that the meaning of the basic vocabulary of the language is given. To give an account of the linguistic conventions …

Go to article

Constructive Type Theory And The Dialogical Approach To Meaning, Shahid Rahman, Nicolas Clerbout Dec 2013

Constructive Type Theory And The Dialogical Approach To Meaning, Shahid Rahman, Nicolas Clerbout

Baltic International Yearbook of Cognition, Logic and Communication

In its origins Dialogical logic constituted one part of a new movement called the Erlangen School or Erlangen Constructivism. Its goal was to provide a new start to a general theory of language and of science. According to the Erlangen-School, language is not just a fact that we discover, but a human cultural accomplishment whose construction reason can and should control. The resulting project of intentionally constructing a scientific language was called the Orthosprache-project. Unfortunately, the Orthosprache-project was not further developed and seemed to fade away. It is possible that one of the reasons for this fading away is that …

Go to article

Ludics, Dialogue And Inferentialism, Alain Lecomte Dec 2013

Ludics, Dialogue And Inferentialism, Alain Lecomte

Baltic International Yearbook of Cognition, Logic and Communication

In this paper, we try to show that Ludics, a (pre-)logical framework invented by J-Y. Girard, enables us to rethink some of the relationships between Philosophy, Semantics and Pragmatics. In particular, Ludics helps to shed light on the nature of dialogue and to articulate features of Brandom's inferentialism.

Go to article

Ptarithmetic, Giorgi Japaridze Dec 2013

Ptarithmetic, Giorgi Japaridze

Baltic International Yearbook of Cognition, Logic and Communication

The present article introduces ptarithmetic (short for “polynomial time arithmetic”) — a formal number theory similar to the well known Peano arithmetic, but based on the recently born computability logic instead of classical logic. The formulas of ptarithmetic represent interactive computational problems rather than just true/false statements, and their “truth” is understood as existence of a polynomial time solution. The system of ptarithmetic elaborated in this article is shown to be sound and complete. Sound in the sense that every theorem T of the system represents an interactive number-theoretic computational problem with a polynomial time solution and, furthermore, such a …

Go to article

Argumentation And Inference: A Unified Approach, Christophe Fouqueré, Myriam Quatrini Dec 2013

Argumentation And Inference: A Unified Approach, Christophe Fouqueré, Myriam Quatrini

Baltic International Yearbook of Cognition, Logic and Communication

We propose in this paper to use Ludics as a unified framework for the analysis of dialogue and the reasoning system. Not only is Ludics a logical theory, but it may also be built by means of concepts of game theory. We first present the main concepts of Ludics. A design is an abstraction and a generalization of the concept of proof. Interaction between designs is equivalent to cut elimination or modus ponens in logical theories. It appears to be a natural means for representing dialogues and also for reasoning. A design is a set of sequences of alternate actions …

Go to article

Antilogic, Benoît Castelnérac, Mathieu Marion Dec 2013

Antilogic, Benoît Castelnérac, Mathieu Marion

Baltic International Yearbook of Cognition, Logic and Communication

This paper is an interim report of joint work begun in (Castelnérac & Marion 2009) on dialectic from Parmenides to Aristotle. In the first part we present rules for dialectical games, understood as a specific form of antilogikê developed by philosophers, and explain some of the key concepts of these dialectical games in terms of ideas from game semantics. In the games we describe, for a thesis A asserted by the answerer, a questioner must elicit the answerer’s assent to further assertions B1, B2,…, Bn, which form a scoreboard from which the questioner seeks …

Go to article

Trust And Risk In Games Of Partial Information, Robin Clark Dec 2013

Trust And Risk In Games Of Partial Information, Robin Clark

Baltic International Yearbook of Cognition, Logic and Communication

Games of partial information have been used to explicate Gricean implicature; their solution concept has been murky, however. In this paper, I will develop a simple solution concept that can be used to solve games of partial information, depending on the players' mutual trust and tolerance for risk. In addition, I will develop an approach to non-conventional quantity implicatures that relies on "face" (Goffman (1967), Brown and Levinson (1987)).

Go to article

Minerva 2013, The Honors College Dec 2013

Minerva 2013, The Honors College

Minerva

This issue of Minerva includes an article on the opening of Charlie's Terrace in honor of former Honors Dean, Charlie Slavin; a discussion on community engagement in the Honors curriculum and community; an article on the student recipients of the Rezendes Travel Scholarship; and several articles catching up with Honors alumni.

Go to article

Marine Micro And Macro Faunas Of Holocene Deposits Of Anadolu Hi̇sari (Anatolian Castle, Bosphorus) And The Presence Of Xantho Poressa (Olivi) (Crustacea: Decapoda: Xanthidae), Engin Meri̇ç, Hüsamettin Balkis, Niyazi Avşar, Atike Nazi̇k, Feyza Di̇nçer Dec 2013

Marine Micro And Macro Faunas Of Holocene Deposits Of Anadolu Hi̇sari (Anatolian Castle, Bosphorus) And The Presence Of Xantho Poressa (Olivi) (Crustacea: Decapoda: Xanthidae), Engin Meri̇ç, Hüsamettin Balkis, Niyazi Avşar, Atike Nazi̇k, Feyza Di̇nçer

Bulletin of the Mineral Research and Exploration

The presence of Xantho poressa (Olivi), known as the recent fossil, from Crustacea- Decapoda in Holocene deposits of Anadolu Hisarı has been revealed inthis study. This crab species is known as ranging from Mediterranean Sea to Black Sea and from Canary Islands to Portugal in Northeast Atlantic within depths of 0-15 meters in tidal and shallow subtidal environments. Remnants of broken crab shells with benthic foraminifera, ostracoda, bryozoan, pelecypoda and gastropoda were found in 78 samples which were collected from different levels of 8 of the cores taken from the basement of Küçüksu Palace at the Anadolu Hisarı. It was …

Go to article

The Tectono-Stratigraphic Features Of Metamorphites In Alacahan-Çeti̇nkaya Region (Kangal, Sivas), Metin Beyazpi̇ri̇nç, Ali Ekber Akçay Dec 2013

The Tectono-Stratigraphic Features Of Metamorphites In Alacahan-Çeti̇nkaya Region (Kangal, Sivas), Metin Beyazpi̇ri̇nç, Ali Ekber Akçay

Bulletin of the Mineral Research and Exploration

The study area covers Alacahan, Çetinkaya and Kangal regions. Allochthonous and autochthonous rock units are present in the region. Metamorphic rocks exposed in the region have been studied in detail as formation and member and have been incorporated into the Bolkardağ Nappe. Bolkardağ nappe which deposited in Late Devonian-Late Cretaceous and metamorphosed in green schist facies, has been distinguished into Late Devonian Düzce formation, Carboniferous Kınalar formation, late Permian Çayderesi formation, (?)Middle/Late Triassic-Cretaceous Kayaköy formation and Cretaceous Karaböğürtlen formation from base to top. The quartzites found at the base of the Kınalar formation and metaconglomerates at the base of the …

Go to article

The Segment Structure Of Southern Branch Of The North Anatolian Fault And Paleoseismological Behaviour Of The Gemli̇k Fault, Nw Anatolia, Selim Özalp, Ömer Emre, Ahmet Doğan Dec 2013

The Segment Structure Of Southern Branch Of The North Anatolian Fault And Paleoseismological Behaviour Of The Gemli̇k Fault, Nw Anatolia, Selim Özalp, Ömer Emre, Ahmet Doğan

Bulletin of the Mineral Research and Exploration

The North Anatolian Fault (NAF), which is an intra-continental transform fault, is divided
into two branches as Northern and Southern branches in Marmara Region. The southern
branch which separates from each other by rightward stepovers between Bandırma and
Dokurcun valley is formed by three main fault segments as Geyve, İznik and Gemlik from
East to West. The length of fault segments ranges between 40 and 57 km and GPS data in
Southern branch propose a 5 mm/year slip rate. Two surface faulting events were observed
during paleoseismological excavations which had been carried out on 40 km long Gemlik
segment and …

Go to article

First Determination Of Rudists (Bivalvia) From Ne Iraq: Systematic Palaeontology And Palaeobiogeography, Sacit Özer, Kamal Haji Karim, Dereen Mohamad Sadiq Dec 2013

First Determination Of Rudists (Bivalvia) From Ne Iraq: Systematic Palaeontology And Palaeobiogeography, Sacit Özer, Kamal Haji Karim, Dereen Mohamad Sadiq

Bulletin of the Mineral Research and Exploration

The Maastrichtian Aqra Formation around Mawat-Chwarta (Sulaimaniya city) in NE Iraq consists mainly of coarse grained detrital limestone, locally containing terrigenous clastics, and is characterized by abundant rudists in life position. The rudist biostromes are very common in the formation and benthic foraminifers, gastropods and non-rudist bivalves with scarcer echinoderms and solitary corals are associated with the rudists. This first determination of rudists from NE Iraq recognizes the following species, Dictyoptychus aff. morgani, Sauvagesia somalica, Hippurites cornucopiae, Praeradiolites subtoucasi and Lapeirousia jouanneti, as well as some indeterminable radiolitid sections. This rudist fauna is assigned to the Hippurites cornucopiae interval zone …

Go to article

Organic Geochemical And Petrographic Properties Of Hazro Dadaş (Di̇yarbakir) Coals, Orhan Kavak, Selami Toprak Dec 2013

Organic Geochemical And Petrographic Properties Of Hazro Dadaş (Di̇yarbakir) Coals, Orhan Kavak, Selami Toprak

Bulletin of the Mineral Research and Exploration

This study was carried out in Hazro-Dadaş (Diyarbakır) region which owns the only coal basin in the area. Chemical, petrographic analysis and organic geochemical evaluations of the Permian aged coals were taken into consideration. Coal quality investigation along with proximate (moisture, volatile matter, fixed carbon, ash) and elemental analyses (C, H, O, and S, N) were performed and revealed. The huminite reflectance of organically abundant matter and coal levels were found to be between 0.458 and 1.141 %. This parameter complies with fluorescence colors, calorific value (average original 3165 – 3432 Kcal/kg) and average Tmax (418 oC). Hasbro coals show …

Go to article

A New Medium To High Enthalpy Geothermal Field In Aegean Region (Akyar) Menderes – Seferi̇hi̇sar – İzmi̇r, Western Anatolia, Turkey, Metin Bulut Dec 2013

A New Medium To High Enthalpy Geothermal Field In Aegean Region (Akyar) Menderes – Seferi̇hi̇sar – İzmi̇r, Western Anatolia, Turkey, Metin Bulut

Bulletin of the Mineral Research and Exploration

This study was performed considering that low to medium enthalpy geothermal areas are important besides the geothermal fields with high temperature located in Western Anatolia for heating, thermal tourism and agricultural applications. It was also aimed at obtaining fluids at high temperature in areas which were observed at a temperature relatively lower than the surface temperature. The study area is located at a region between the towns of Menderes and Seferihisar to the south-southwest of Izmir. This is a multidisciplinary investigation which obtained fluids and studied the geothermal energy potential of the area. Field studies were finalized carrying out geological …

Go to article

Brief Note On New Data Related To The Chronostratigraphic Location Of Cumaovasi Volcanics, Fikret Göktaş Dec 2013

Brief Note On New Data Related To The Chronostratigraphic Location Of Cumaovasi Volcanics, Fikret Göktaş

Bulletin of the Mineral Research and Exploration

-

Go to article

The Airborne Magnetic Signature Of Gökova Gulf, Uğur Akin, Ahmet Üçer Dec 2013

The Airborne Magnetic Signature Of Gökova Gulf, Uğur Akin, Ahmet Üçer

Bulletin of the Mineral Research and Exploration

Gökova gulf situated in the Aegian extension zone in Turkey has been considered very interesting for numerous research workers. Gökova gulf is located in the N-S regional extentional tectonic regime. N-S extension of western Anatolia initiated development of E-W extended grabens here. The bay extends 100 km E-W and 25 km N-S directions. Datça peninsula is in the south, Bodrum peninsula is located in the north of the Gökova gulf. In recent years ‘Full Tensor Gradiometer Potential Field’ methods (FTG) has found a practice area in between the gravimetric and magnetic methods. In the past as it was in the …

Go to article

Slope Instability In Open Pits And An Example Of A Retrospective Analysis: Afşi̇n-Elbi̇stan-Kişlaköy Open Pit Coal Deposit, İbrahim Akbulut, İlker Çam, Tahsin Aksoy, Dinçer Çağlan, Tolga Ölmez Dec 2013

Slope Instability In Open Pits And An Example Of A Retrospective Analysis: Afşi̇n-Elbi̇stan-Kişlaköy Open Pit Coal Deposit, İbrahim Akbulut, İlker Çam, Tahsin Aksoy, Dinçer Çağlan, Tolga Ölmez

Bulletin of the Mineral Research and Exploration

The subject of this study is to study the instabilities that have developed in the permanent east and west slopes of the Kışlaköy open pit of the Elektrik Üretim A.Ş. Afşin-Elbistan Linyitleri İşletmesi and to work out the sliding mechanism causing it. In the Kışlaköy open pit to establish if mass movement is continuing and if so which direction it would move, amount of mass to be involved and the failing model. Six movement control observations stations were established along 3 lines in each of west and east slopes. No movement was observed in the west slopes. On the other …

Go to article

Original Findings On The Ore-Bearing Facies Of Volcanogenic Massive Sulphide Deposits In The Eastern Black Sea Region (Ne Turkey), M.Kemal Revan, Yurdal Genç, V. Valery Maslennikov, Taner Ünlü, Okan Deli̇baş, Semi Hamzaçebi̇ Dec 2013

Original Findings On The Ore-Bearing Facies Of Volcanogenic Massive Sulphide Deposits In The Eastern Black Sea Region (Ne Turkey), M.Kemal Revan, Yurdal Genç, V. Valery Maslennikov, Taner Ünlü, Okan Deli̇baş, Semi Hamzaçebi̇

Bulletin of the Mineral Research and Exploration

In the massive sulphide deposits of the eastern Black Sea region, there are ore facies and ore-bearing sedimentary facies. The former are subdivided into hydrothermal-metasomatic, seafloor hydrothermal, and biological facies. Hydrothermal-metasomatic facies refer to sub-seafloor processes and include network-disseminated, massive vein, and massive lens facies. The precipitation of sulphide minerals within pre-existing volcano-sedimentary rocks occurs largely beneath the seafloor, and these ores form an important component of some deposits. The term seafloor hydrothermal facies refers to sulphide accumulation on the seafloor and is characterised by hydrothermal chimneys and clastic sulphide ores. Clastic sulphide ores can be subdivided into proximal and …

Go to article

New Approaches On The Investigation Of Covered Geothermal Fields: Exploration Of Kütahya – Şaphane – Karacaderbent Buried Geothermal Fields And Their Developments, Musa Burçak, Hüseyin Dünya, Ömer Hacisali̇hoğlu Dec 2013

New Approaches On The Investigation Of Covered Geothermal Fields: Exploration Of Kütahya – Şaphane – Karacaderbent Buried Geothermal Fields And Their Developments, Musa Burçak, Hüseyin Dünya, Ömer Hacisali̇hoğlu

Bulletin of the Mineral Research and Exploration

The basement in Şaphane region is constituted by Paleozoic gneiss, schist and marbles belonging to northern margin of the Menderes Massif. These basement rocks are overlain by Cretaceous aged Dağardı ophiolitic melange. All these rocks are discordantly covered by Neogene – Quaternary sedimentary and volcanic rocks deposited under lacustrine – continental environments. The main purpose of this study is to explore buried geothermal system on a covered area using geological, geophysical and geochemical methods and to develop this system by drilling investigations. Geological, geophysical, geochemical and drilling investigations, well development and test studies were applied in this research. This study …

Go to article

A New Approach To The Numerical Solution Of Fractional Order Optimal Control Problems, T. Akbarian, M. Keyanpour Dec 2013

A New Approach To The Numerical Solution Of Fractional Order Optimal Control Problems, T. Akbarian, M. Keyanpour

Applications and Applied Mathematics: An International Journal (AAM)

In this article, a new numerical method is proposed for solving a class of fractional order optimal control problems. The fractional derivative is considered in the Caputo sense. This approach is based on a combination of the perturbation homotopy and parameterization methods. The control function u(t) is approximated by polynomial functions with unknown coefficients. This method converts the fractional order optimal control problem to an optimization problem. Numerical results are included to demonstrate the validity and applicability of the method.

Go to article

Graphic Illustration Of The Transmission Resonances For The Dkp Particles, B. Boutabia-Chéraitia, Abdenacer Makhlouf Dec 2013

Graphic Illustration Of The Transmission Resonances For The Dkp Particles, B. Boutabia-Chéraitia, Abdenacer Makhlouf

Applications and Applied Mathematics: An International Journal (AAM)

We consider the Duffin-Kemmer-Petiau (DKP) equation in the presence of a spatially one-dimensional Woods-Saxon (WS) potential and we show by graphics how the zero-reflection condition on the Klein interval depends on the shape of the potential.

Go to article

Exponentially Fitted Variants Of The Two-Step Adams-Bashforth Method For The Numerical Integration Of Initial Problems, Gurjinder Singh, V. Kanwar, Saurabh Bhatia Dec 2013

Exponentially Fitted Variants Of The Two-Step Adams-Bashforth Method For The Numerical Integration Of Initial Problems, Gurjinder Singh, V. Kanwar, Saurabh Bhatia

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, we propose new variants of the two-step Adams-Bashforth and the one-step Adams-Moulton methods for the numerical integration of ordinary differential equations (ODEs). The methods are constructed geometrically from an exponentially fitted osculating parabola. The accuracy and stability of the proposed variants is discussed and their applicability to some initial value problems is also considered. Numerical experiments demonstrate that the exponentially fitted variants of the two-step Adams-Bashforth and the one-step Adams-Moulton methods outperform the existing classical two-step Adams-Bashforth and one-step Adams- Moulton methods respectively.

Go to article

On The Exact Distribution Of The Maximum Of The Exponential Of The Generalized Normal-Inverse Gaussian Process With Respect To A Martingale Measure, Roman V Ivanov Dec 2013

On The Exact Distribution Of The Maximum Of The Exponential Of The Generalized Normal-Inverse Gaussian Process With Respect To A Martingale Measure, Roman V Ivanov

Communications on Stochastic Analysis

No abstract provided.

Go to article

Local Time Of A Multifractional Gaussian Process, Aissa Sghir Dec 2013

Local Time Of A Multifractional Gaussian Process, Aissa Sghir

Communications on Stochastic Analysis

No abstract provided.

Go to article

Generalization Of The Anticipative Girsanov Theorem, Hui-Hsiung Kuo, Yun Peng, Benedykt Szozda Dec 2013

Generalization Of The Anticipative Girsanov Theorem, Hui-Hsiung Kuo, Yun Peng, Benedykt Szozda

Communications on Stochastic Analysis

No abstract provided.

Go to article

Vertical Martingales, Stochastic Calculus And Harmonic Sections, Simão N Stelmastchuk Dec 2013

Vertical Martingales, Stochastic Calculus And Harmonic Sections, Simão N Stelmastchuk

Communications on Stochastic Analysis

No abstract provided.

Go to article

Analytically Weak Solutions To Linear Spdes With Unbounded Time-Dependent Differential Operators And An Application, Benedict Baur, Martin Grothaus, Thanh Tan Mai Dec 2013

Analytically Weak Solutions To Linear Spdes With Unbounded Time-Dependent Differential Operators And An Application, Benedict Baur, Martin Grothaus, Thanh Tan Mai

Communications on Stochastic Analysis

No abstract provided.

Go to article

First Prev Next Last