Results for 'Bahareh Alaei'

20 found
Order:
  1. MoMLA: From Gallery to Webtext.Victor Vitanza, Virginia Kuhn, Robert Leston, Justin Hodgson, Jason Helms, Geoffrey V. Carter, Sarah J. Arroyo & Bahareh Alaei - forthcoming - Kairos: A Journal of Rhetoric, Technology, and Pedagogy 17 (2):np.
     
    Export citation  
     
    Bookmark  
  2.  18
    Seismic Imaging of Fault Damaged Zone and its Scaling Relation with Displacement.Behzad Alaei & Anita Torabi - 2017 - Interpretation: SEG 5 (4):SP83-SP93.
    We have studied seismically resolved damaged zone of normal faults in siliciclastic rocks of the Norwegian continental shelf. The workflow we have developed reveals structural details of the fault damaged zone and in particular, the subsidiary synthetic faults, horsetail at the main lateral fault tips at different depths and fault bend. These subsidiary or small fault segments form an area that can be clearly followed laterally and vertically. We call this area fault damaged zone. The studied damaged zone on seismic (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  8
    Fault Visualization and Identification in Fault Seismic Attribute Volumes: Implications for Fault Geometric Characterization.Audun Libak, Behzad Alaei & Anita Torabi - 2017 - Interpretation: SEG 5 (2):B1-B16.
    Fault seismic attribute volumes represent an efficient and objective way to visualize and identify faults in seismic cubes. Fault geometric attributes such as length, height, and fault segmentation can be extracted from such fault seismic attribute volumes. We evaluate the strengths and pitfalls of using coherence volumes for characterization of fault geometry. The results are obtained using a database from the Barents Sea, which contains 35 3D seismic cubes, together with conceptual synthetic seismic models. A high signal-to-noise ratio is a (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  4.  23
    A Note on the Theory of Positive Induction, $${{\Rm ID}^*_1}$$.Bahareh Afshari & Michael Rathjen - 2010 - Archive for Mathematical Logic 49 (2):275-281.
    The article shows a simple way of calibrating the strength of the theory of positive induction, ${{\rm ID}^{*}_{1}}$ . Crucially the proof exploits the equivalence of ${\Sigma^{1}_{1}}$ dependent choice and ω-model reflection for ${\Pi^{1}_{2}}$ formulae over ACA 0. Unbeknown to the authors, D. Probst had already determined the proof-theoretic strength of ${{\rm ID}^{*}_{1}}$ in Probst, J Symb Log, 71, 721–746, 2006.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  5.  38
    Reverse Mathematics and Well-Ordering Principles: A Pilot Study.Bahareh Afshari & Michael Rathjen - 2009 - Annals of Pure and Applied Logic 160 (3):231-237.
    The larger project broached here is to look at the generally sentence “if X is well-ordered then f is well-ordered”, where f is a standard proof-theoretic function from ordinals to ordinals. It has turned out that a statement of this form is often equivalent to the existence of countable coded ω-models for a particular theory Tf whose consistency can be proved by means of a cut elimination theorem in infinitary logic which crucially involves the function f. To illustrate this theme, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  6.  20
    Spatial Task Context Makes Short-Latency Reaches Prone to Induced Roelofs Illusion.Bahareh Taghizadeh & Alexander Gail - 2014 - Frontiers in Human Neuroscience 8.
  7.  4
    Zero, Successor and Equality in BDDs.Bahareh Badban & Jaco van de Pol - 2005 - Annals of Pure and Applied Logic 133 (1-3):101-123.
    We extend BDDs for plain propositional logic to the fragment of first order logic, consisting of quantifier free logic with zero, successor and equality. We allow equations with zero and successor in the nodes of a BDD, and call such objects -BDDs. We extend the notion of Ordered BDDs in the presence of zero, successor and equality. -BDDs can be transformed to equivalent Ordered -BDDs by applying a number of rewrite rules until a normal form is reached. All paths in (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  18
    Corrigendum: Spatial Task Context Makes Short-Latency Reaches Prone to Induced Roelofs Illusion.Bahareh Taghizadeh & Alexander Gail - 2014 - Frontiers in Human Neuroscience 8.
  9.  10
    Herbrand's Theorem as Higher Order Recursion.Bahareh Afshari, Stefan Hetzl & Graham E. Leigh - 2020 - Annals of Pure and Applied Logic 171 (6):102792.
  10.  24
    Ordinal Analysis and the Infinite Ramsey Theorem.Bahareh Afshari & Michael Rathjen - 2012 - In S. Barry Cooper (ed.), How the World Computes. pp. 1--10.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  6
    Intellectual Property Right of Transgenic Crops and Right to Work: Bioethical Challenges in Rural Communities.Bahareh Heydari & Najmeh Razmkhah - 2014 - Bangladesh Journal of Bioethics 5 (2):49-60.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12.  6
    Madness in Vernor Vinge’s the Rainbows End.Bahareh Mohammadinasab & Hossein Moradi - 2015 - Asian Culture and History 7 (1).
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  9
    Don DeLillo’s White Noise: A Virilian Perspective.Bahareh Bagherzadeh Samani & Hossein Pirnajmuddin - 2019 - Text Matters - a Journal of Literature, Theory and Culture 9 (9):356-373.
    Don DeLillo’s White Noise depicts a world of rapid techno-scientific and economical changes. Paul Virilio’s concepts of dromology and speed, as well as his notions of accident and technology, seem to be the most relevant in order to examine a novel centrally concerned with change, speed and technology. This article first offers an analysis of White Noise in the light of Virilio’s concept of integral accident in relation to the negative consequences brought about by industrial and technological progress. This is (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  14.  44
    US News Media Portrayal of Islam and Muslims: A Corpus-Assisted Critical Discourse Analysis.Mahmoud Samaie & Bahareh Malmir - 2017 - Educational Philosophy and Theory 49 (14):1351-1366.
    This article exploits the synergy of critical discourse studies and Corpus Linguistics to study the pervasive representation of Islam and Muslims in an approximate 670,000-word corpus of US news media stories published between 2001 and 2015. Following collocation and concordance analysis of the most frequent topics or categories which revolve around the representation of Islam and Muslims in US news stories, the Discourse-Historical Approach to critical discourse analysis was adopted to investigate how the discursive strategies of nomination and predication are (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15.  8
    The Content Analyses of Occult Scenarios of Video Discourse (Caricature) in 44 Th Usa Presidential Election.Mohammad Soltanifar & Bahareh Bakhshi - 2011 - Social Research (Islamic Azad University Roudehen Branch) 4 (12):37-54.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  3
    Cloud Computing in Geoscience: Mysteries, Miseries, and Benefits.Dimitrios Oikonomou, Ehsan Zabihi Naeini, Behzad Alaei & Eirik Larsen - 2021 - Interpretation 9 (1):SA17-SA22.
    Cloud computing has become an integral part of our daily life and work. In the oil and gas industry, cloud computing is becoming increasingly attractive to experts, operators, and software companies. However, we believe that there is still some level of mystery for many geoscientists in what cloud computing can actually offer, what the pros and cons are, and how it is different from the preceding technologies. We attempt to explain some of the mysteries around the concept of cloud computing (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  39
    Individual Members 2006.Martın Abadi, Yoshihiro Abe, Francine F. Abeles, Andrew Aberdein, Nathanael Ackerman, Bryant Adams, Klaus T. Aehlig, Fritz Aeschbach, Henry Louis Africk & Bahareh Afshari - 2006 - Bulletin of Symbolic Logic 12 (4):625-681.
  18.  1
    Clever COVID-19, Clever Citizens-98: Critical and Creative Reflections From Tehran, Toronto, and Sydney.Laura Bisaillon, Mehdi Khosravi, Bahareh Jahandoost & Linda Briskman - 2020 - Journal of Bioethical Inquiry 17 (4):619-625.
    Our world suffers. Some people suffer more than others. Since the first part of 2020, ours is justly described as a time of uncertainty, threat, and upheaval. In this article, we offer reflections threaded narratively, told from the specificity of our societal contexts in Iran, Canada, and Australia. What might we learn in the present and anticipated future from people living chronically within conditions of uncertainty and immobility and also those experiencing uncertainty and immobility for the first time? We argue (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  10
    Herbrand Confluence for First-Order Proofs with Π2-Cuts.Graham E. Leigh, Stefan Hetzl & Bahareh Afshari - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. De Gruyter. pp. 5-40.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  12
    A Novel Approach to Numerical Modeling of Metabolic System: Investigation of Chaotic Behavior in Diabetes Mellitus.Payam Sadeghi Shabestari, Karthikeyan Rajagopal, Bahareh Safarbali, Sajad Jafari & Prakash Duraisamy - 2018 - Complexity 2018:1-11.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark